Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. / Pavlogiannis, Andreas; Schaumberger, Nico; Schmid, Ulrich; Chatterjee, Krishnendu.
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 39, No. 11, 9211419, 11.2020, p. 3981-3992.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
The Complexity of Dynamic Data Race Prediction. / Mathur, Umang; Pavlogiannis, Andreas; Viswanathan, Mahesh.
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. New York : Association for Computing Machinery, 2020. p. 713–727 3394783.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
The Fine-Grained Complexity of Andersen's Pointer Analysis. / Pavlogiannis, Andreas.
ArXiv, 2020.Research output: Working paper › Research
Limits on amplifiers of natural selection under death-Birth updating. / Tkadlec, Josef; Pavlogiannis, Andreas; Chatterjee, Krishnendu; Nowak, Martin A.
In: PLOS Computational Biology, Vol. 16, No. 1, e1007494, 01.2020.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. / Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas.
Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. ed. / Peter Müller. Springer, 2020. p. 112-140 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12075).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Fast, Sound, and Effectively Complete Dynamic Race Prediction. / Pavlogiannis, Andreas.
In: Proceedings of the ACM on Programming Languages, Vol. 4, No. POPL, 17, 2020, p. 1-29.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. / Asadi, Ali; Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Mohammadi, Kiarash; Pavlogiannis, Andreas.
Automated Technology for Verification and Analysis. ed. / Dang Van Hung; Oleg Sokolsky. Cham : Springer, 2020. p. 253-270 (Lecture Notes in Computer Science, Vol. 12302).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Value-centric Dynamic Partial Order Reduction. / Chatterjee, Krishnendu; Pavlogiannis, Andreas; Toman, Viktor.
In: Proceedings of the ACM on Programming Languages, Vol. 3, No. OOPSLA, 124, 10.2019.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Population structure determines the tradeoff between fixation probability and fixation time. / Tkadlec, Josef; Pavlogiannis, Andreas; Chatterjee, Krishnendu; Nowak, Martin A.
In: Communications Biology, Vol. 2, 138, 23.04.2019.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Efficient Parameterized Algorithms for Data Packing. / Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Okati, Nastaran; Pavlogiannis, Andreas.
In: Proceedings of the ACM on Programming Languages, Vol. 3, No. POPL, 01.01.2019.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Faster algorithms for dynamic algebraicqueries in basic RSMs with constant treewidth. / Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Goyal, Prateesh; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas.
In: ACM Transactions on Programming Languages and Systems, Vol. 41, No. 4, 23, 2019.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. / Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Goharshady, Amir Kafshdar; Pavlogiannis, Andreas.
In: ACM Transactions on Programming Languages and Systems, Vol. 40, No. 3, 9, 08.2018.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Automated competitive analysis of real-time scheduling with graph games. / Chatterjee, Krishnendu; Pavlogiannis, Andreas; Koessler, Alexander; Schmid, Ulrich.
In: Real-Time systems, Vol. 54, No. 1, 01.2018, p. 166-207.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory. / Pavlogiannis, Andreas; Tkadlec, Josef; Chatterjee, Krishnendu; Nowak, Martin A.
In: Communications Biology, Vol. 1, 71, 2018.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Optimal Dyck Reachability for Data-Dependence and Alias Analysis. / Chatterjee, Krishnendu; Choudhary, Bhavya; Pavlogiannis, Andreas.
In: Proceedings of the ACM on Programming Languages, Vol. 2, No. POPL, 30, 2018.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Data-Centric Dynamic Partial Order Reduction. / Chalupa, Marek; Chatterjee, Krishnendu; Pavlogiannis, Andreas; Sinha, Nishant; Vaidya, Kapil.
In: Proc. ACM Program. Lang., Vol. 2, No. POPL, 01.12.2017.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Amplification on Undirected Population Structures: Comets Beat Stars. / Pavlogiannis, Andreas; Tkadlec, Josef; Chatterjee, Krishnendu; Nowak, Martin A.
In: Scientific Reports, Vol. 7, 01.03.2017, p. 82.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Faster algorithms for weighted recursive state machines. / Chatterjee, Krishnendu; Kragl, Bernhard; Mishra, Samarth; Pavlogiannis, Andreas.
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. ed. / Hongseok Yang. Springer-Verlag, 2017. p. 287-313 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10201 LNCS).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
JTDec : A tool for tree decompositions in soot. / Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Pavlogiannis, Andreas.
Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Proceedings. ed. / Deepak D’Souza; K. Narayan Kumar . Springer-Verlag, 2017. p. 59-66 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10482 LNCS).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs. / Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus Rasmus; Pavlogiannis, Andreas.
In: Leibniz International Proceedings in Informatics (LIPIcs), Vol. 57, 2016, p. 28:1-28:17.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research
Cellular cooperation with shift updating and repulsion. / Pavlogiannis, Andreas; Chatterjee, Krishnendu; Adlam, Ben; Nowak, Martin A.
In: Scientific Reports, Vol. 5, 01.11.2015, p. 17147.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. / Chatterjee, Krishnendu; Pavlogiannis, Andreas; Kossler, Alexander; Schmid, Ulrich.
Proceedings - IEEE 35th Real-Time Systems Symposium, RTSS 2014. January. ed. Institute of Electrical and Electronics Engineers Inc., 2015. p. 118-127 7010480 (Proceedings - Real-Time Systems Symposium; No. January, Vol. 2015-January).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. / Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas; Goyal, Prateesh.
POPL 2015 - Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, Inc., 2015. p. 97-109 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Vol. 2015-January).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Quantitative interprocedural analysis. / Chatterjee, Krishnendu; Pavlogiannis, Andreas; Velner, Yaron.
POPL 2015 - Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, Inc., 2015. p. 539-551 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Vol. 2015-January).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Faster algorithms for quantitative verification in constant treewidth graphs. / Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas.
Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. ed. / Corina S. Pasareanu; Daniel Kroening; Corina S. Pasareanu; Daniel Kroening. Springer-Verlag, 2015. p. 140-157 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9206).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
The Time Scale of Evolutionary Innovation. / Chatterjee, Krishnendu; Pavlogiannis, Andreas; Adlam, Ben; Nowak, Martin A.
In: PLoS Computational Biology, Edited by Niko Beerenwinkel, Vol. 10, No. 9, 01.09.2014.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Distributed synthesis for LTL fragments. / Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan; Pavlogiannis, Andreas.
2013 Formal Methods in Computer-Aided Design, FMCAD 2013. 2013. p. 18-25 6679386 (2013 Formal Methods in Computer-Aided Design, FMCAD 2013).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
A flood-based information flow analysis and network minimization method for gene regulatory networks. / Pavlogiannis, Andreas; Mozhayskiy, Vadim; Tagkopoulos, Ilias.
In: BMC Bioinformatics, Vol. 14, 137, 24.04.2013.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Passively mobile communicating machines that use restricted space. / Chatzigiannakis, Ioannis; Michail, Othon; Nikolaou, Stavros; Pavlogiannis, Andreas; Spirakis, Paul G.
In: Theoretical Computer Science, Vol. 412, No. 46, 28.10.2011, p. 6469-6483.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated Population Protocol Model. / Chatzigiannakis, Ioannis; Michail, Othon; Nikolaou, Stavros; Pavlogiannis, Andreas; Spirakis, Paul G.
In: Mathematical Foundations of Computer Science 2010, Lecture Notes in Computer Science, Vol. 6281, 2011, p. 270.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review