| Team semantics for the specification and verification of hyperproperties A Krebs, A Meier, J Virtema, M Zimmermann arXiv preprint arXiv:1709.08510, 2017 | 43 | 2017 |
| Problems on finite automata and the exponential time hypothesis H Fernau, A Krebs Algorithms 10 (1), 24, 2017 | 37 | 2017 |
| Worauf man sich verlässt: Sprach-und Erkenntnisphilosophie in Ludwig Wittgensteins" Über Gewißheit" A Krebs Königshausen & Neumann, 2007 | 26 | 2007 |
| Implications for the discovery of extraterrestrial life: a theological approach A Losch, A Krebs Theology and Science 13 (2), 230-244, 2015 | 24 | 2015 |
| Universal covers, color refinement, and two-variable counting logic: Lower bounds for the depth A Krebs, O Verbitsky 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 689-700, 2015 | 23 | 2015 |
| A team based variant of CTL A Krebs, A Meier, J Virtema 2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015 | 21 | 2015 |
| Streaming algorithms for recognizing nearly well-parenthesized expressions A Krebs, N Limaye, S Srinivasan International Symposium on Mathematical Foundations of Computer Science, 412-423, 2011 | 21 | 2011 |
| An effective characterization of the alternation hierarchy in two-variable logic A Krebs, H Straubing arXiv preprint arXiv:1205.4802, 2012 | 19 | 2012 |
| On the complexity of bounded context switching P Chini, J Kolberg, A Krebs, R Meyer, P Saivasan arXiv preprint arXiv:1609.09728, 2016 | 18 | 2016 |
| Characterizing TC0 in Terms of Infinite Groups A Krebs, KJ Lange, S Reifferscheid Theory of Computing Systems 40 (4), 303-325, 2007 | 17 | 2007 |
| Two-variable logic with a between relation A Krebs, K Lodaya, P Pandya, H Straubing Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 14 | 2016 |
| Ultrafilters on words for a fragment of logic M Gehrke, A Krebs, JÉ Pin Theoretical Computer Science 610, 37-58, 2016 | 14 | 2016 |
| Visibly counter languages and constant depth circuits A Krebs, KJ Lange, M Ludwig 32nd International Symposium on Theoretical Aspects of Computer Science …, 2015 | 14 | 2015 |
| Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership A Krebs, K Lodaya, PK Pandya, H Straubing Logical Methods in Computer Science 16, 2020 | 13 | 2020 |
| Stone duality and the substitution principle C Borlido, S Czarnetzki, M Gehrke, A Krebs 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017 | 12 | 2017 |
| The complexity of intersecting finite automata having few final states M Blondin, A Krebs, P McKenzie computational complexity 25 (4), 775-814, 2016 | 12 | 2016 |
| Languages with bounded multiparty communication complexity A Chattopadhyay, A Krebs, M Koucký, M Szegedy, P Tesson, D Thérien Annual Symposium on Theoretical Aspects of Computer Science, 500-511, 2007 | 12 | 2007 |
| Diminishable parameterized problems and strict polynomial kernelization H Fernau, T Fluschnik, D Hermelin, A Krebs, H Molter, R Niedermeier Computability 9 (1), 1-24, 2020 | 11 | 2020 |
| Typed monoids–An Eilenberg-like theorem for non regular languages C Behle, A Krebs, S Reifferscheid Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria …, 2011 | 11 | 2011 |
| Jungen erleben Schule A Krebs Personzentrierte Jungenforschung, 2008 | 11 | 2008 |
