Andreas Pavlogiannis
Title
Cited by
Cited by
Year
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
562011
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
292014
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
272018
Distributed synthesis for LTL fragments
K Chatterjee, TA Henzinger, J Otop, A Pavlogiannis
2013 Formal Methods in Computer-Aided Design, 18-25, 2013
232013
Amplification on undirected population structures: comets beat stars
A Pavlogiannis, J Tkadlec, K Chatterjee, MA Nowak
Scientific reports 7 (1), 1-8, 2017
222017
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
212017
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
202015
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
182016
Quantitative interprocedural analysis
K Chatterjee, A Pavlogiannis, Y Velner
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
182015
Passively mobile communicating logarithmic space machines
I Chatzigiannakis, O Michail, S Nikolaou, A Pavlogiannis, PG Spirakis
arXiv preprint arXiv:1004.3395, 2010
142010
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
132019
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
112020
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
112015
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
112010
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
102016
Cellular cooperation with shift updating and repulsion
A Pavlogiannis, K Chatterjee, B Adlam, MA Nowak
Scientific reports 5 (1), 1-12, 2015
102015
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
92018
JTDec: A Tool for Tree Decompositions in Soot
A Pavlogiannis
Automated Technology for Verification and Analysis: 15th International …, 2017
9*2017
The system can't perform the operation now. Try again later.
Articles 1–20