Publications
Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.
ACM Symposium on Principles of Distributed Computing (PODC) Brief announcement: exponential speed-up of local algorithms using non-local communication
ACM Symposium on Principles of Distributed Computing (PODC) Optimal gradient clock synchronization in dynamic networks
International Symposium on Software Testing and Analysis (ISSTA) Automated fixing of programs with contracts
ACM Symposium on Theory of Computing (STOC) Tractable hypergraph properties for constraint satisfaction and conjunctive queries
IEEE Annual Conference on Computational Complexity (CCC) Completely inapproximable monotone and antimonotone parameterized problems
Workshop on Positioning, Navigation and Communication (WPNC) UWB impulse radio based distance bounding
ICST (Un-)Covering Equivalent Mutants
Pairing Pairing Computation on Elliptic Curves with Efficiently Computable Endomorphism and Small Embedding Degree