Aarhus University Seal / Aarhus Universitets segl

Andreas Pavlogiannis

  1. 2020
  2. Published

    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 newspaperJournal articleResearchpeer-review

  3. Published

    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/proceedingArticle in proceedingsResearchpeer-review

  4. Published

    The Fine-Grained Complexity of Andersen's Pointer Analysis. / Pavlogiannis, Andreas.

    ArXiv, 2020.

    Research output: Working paperResearch

  5. Published

    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 newspaperJournal articleResearchpeer-review

  6. Published

    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/proceedingArticle in proceedingsResearchpeer-review

  7. Published

    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 newspaperJournal articleResearchpeer-review

  8. Published

    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/proceedingArticle in proceedingsResearchpeer-review

  9. 2019
  10. Published

    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 newspaperJournal articleResearchpeer-review

  11. Published

    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 newspaperJournal articleResearchpeer-review

  12. Published

    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 newspaperJournal articleResearchpeer-review

  13. Published

    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 newspaperJournal articleResearchpeer-review

  14. 2018
  15. Published

    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 newspaperJournal articleResearchpeer-review

  16. Published

    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 newspaperJournal articleResearchpeer-review

  17. Published

    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 newspaperJournal articleResearchpeer-review

  18. Published

    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 newspaperJournal articleResearchpeer-review

  19. 2017
  20. Published

    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 newspaperJournal articleResearchpeer-review

  21. Published

    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 newspaperJournal articleResearchpeer-review

  22. Published

    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/proceedingArticle in proceedingsResearchpeer-review

  23. Published

    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/proceedingArticle in proceedingsResearchpeer-review

  24. 2016
  25. Published

    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 newspaperConference articleResearch

  26. 2015
  27. Published

    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 newspaperJournal articleResearchpeer-review

  28. Published

    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/proceedingArticle in proceedingsResearchpeer-review

  29. Published

    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/proceedingArticle in proceedingsResearchpeer-review

  30. Published

    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/proceedingArticle in proceedingsResearchpeer-review

  31. Published

    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/proceedingArticle in proceedingsResearchpeer-review

  32. 2014
  33. Published

    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 newspaperJournal articleResearchpeer-review

  34. 2013
  35. Published

    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/proceedingArticle in proceedingsResearchpeer-review

  36. Published

    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 newspaperJournal articleResearchpeer-review

  37. 2011
  38. Published

    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 newspaperJournal articleResearchpeer-review

  39. Published

    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 newspaperJournal articleResearchpeer-review