| Passively mobile communicating machines that use restricted space I Chatzigiannakis, O Michail, S Nikolaou, A Pavlogiannis, PG Spirakis Theoretical Computer Science 412 (46), 6469-6483, 2011 | 56 | 2011 |
| Data-centric dynamic partial order reduction M Chalupa, K Chatterjee, A Pavlogiannis, N Sinha, K Vaidya Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 37* | 2017 |
| The time scale of evolutionary innovation K Chatterjee, A Pavlogiannis, B Adlam, MA Nowak PLoS Comput Biol 10 (9), e1003818, 2014 | 29 | 2014 |
| Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory A Pavlogiannis, J Tkadlec, K Chatterjee, MA Nowak Communications biology 1 (1), 1-8, 2018 | 27 | 2018 |
| Distributed synthesis for LTL fragments K Chatterjee, TA Henzinger, J Otop, A Pavlogiannis 2013 Formal Methods in Computer-Aided Design, 18-25, 2013 | 23 | 2013 |
| Amplification on undirected population structures: comets beat stars A Pavlogiannis, J Tkadlec, K Chatterjee, MA Nowak Scientific reports 7 (1), 1-8, 2017 | 22 | 2017 |
| Optimal Dyck reachability for data-dependence and alias analysis K Chatterjee, B Choudhary, A Pavlogiannis Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 21 | 2017 |
| Faster algorithms for algebraic path properties in recursive state machines with constant treewidth K Chatterjee, R Ibsen-Jensen, A Pavlogiannis, P Goyal Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 20 | 2015 |
| Algorithms for algebraic path properties in concurrent systems of constant treewidth components K Chatterjee, AK Goharshady, R Ibsen-Jensen, A Pavlogiannis Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 18 | 2016 |
| Quantitative interprocedural analysis K Chatterjee, A Pavlogiannis, Y Velner Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 18 | 2015 |
| Passively mobile communicating logarithmic space machines I Chatzigiannakis, O Michail, S Nikolaou, A Pavlogiannis, PG Spirakis arXiv preprint arXiv:1004.3395, 2010 | 14 | 2010 |
| Population structure determines the tradeoff between fixation probability and fixation time J Tkadlec, A Pavlogiannis, K Chatterjee, MA Nowak Communications biology 2 (1), 1-8, 2019 | 13 | 2019 |
| Fast, sound, and effectively complete dynamic race prediction A Pavlogiannis Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019 | 12* | 2019 |
| Limits on amplifiers of natural selection under death-Birth updating J Tkadlec, A Pavlogiannis, K Chatterjee, MA Nowak PLoS computational biology 16 (1), e1007494, 2020 | 11 | 2020 |
| Faster algorithms for quantitative verification in constant treewidth graphs K Chatterjee, R Ibsen-Jensen, A Pavlogiannis International Conference on Computer Aided Verification, 140-157, 2015 | 11 | 2015 |
| All Symmetric Predicates in NSPACE(n2) Are Stably Computable by the Mediated Population Protocol Model I Chatzigiannakis, O Michail, S Nikolaou, A Pavlogiannis, PG Spirakis International Symposium on Mathematical Foundations of Computer Science, 270-281, 2010 | 11 | 2010 |
| Optimal reachability and a space-time tradeoff for distance queries in constant-treewidth graphs K Chatterjee, R Ibsen-Jensen, A Pavlogiannis Leibniz International Proceedings in Informatics, LIPIcs 57, 2016 | 10 | 2016 |
| Cellular cooperation with shift updating and repulsion A Pavlogiannis, K Chatterjee, B Adlam, MA Nowak Scientific reports 5 (1), 1-12, 2015 | 10 | 2015 |
| Algorithms for algebraic path properties in concurrent systems of constant treewidth components K Chatterjee, R Ibsen-Jensen, AK Goharshady, A Pavlogiannis ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (3), 1-43, 2018 | 9 | 2018 |
| JTDec: A Tool for Tree Decompositions in Soot A Pavlogiannis Automated Technology for Verification and Analysis: 15th International …, 2017 | 9* | 2017 |
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
