Aarhus University Seal / Aarhus Universitets segl

Andreas Pavlogiannis

  1. 2020
  2. Udgivet

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

    ArXiv, 2020.

    Publikation: Working paperForskning

  3. Udgivet

    Limits on amplifiers of natural selection under death-Birth updating. / Tkadlec, Josef; Pavlogiannis, Andreas; Chatterjee, Krishnendu; Nowak, Martin A.

    I: PLOS Computational Biology, Bind 16, Nr. 1, e1007494, 01.2020.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  4. Udgivet

    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. red. / Peter Müller. Springer, 2020. s. 112-140 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12075).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  5. Udgivet

    Fast, Sound, and Effectively Complete Dynamic Race Prediction. / Pavlogiannis, Andreas.

    I: Proceedings of the ACM on Programming Languages, Bind 4, Nr. POPL, 17, 2020, s. 1-29.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  6. Udgivet

    The Complexity of Dynamic Data Race Prediction. / Mathur, Umang; Pavlogiannis, Andreas; Viswanathan, Mahesh.

    LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. New York : Association for Computing Machinery, 2020. s. 713–727.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  7. 2019
  8. Udgivet

    Value-centric Dynamic Partial Order Reduction. / Chatterjee, Krishnendu; Pavlogiannis, Andreas; Toman, Viktor.

    I: Proceedings of the ACM on Programming Languages, Bind 3, Nr. OOPSLA, 124, 10.2019.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  9. Udgivet

    Population structure determines the tradeoff between fixation probability and fixation time. / Tkadlec, Josef; Pavlogiannis, Andreas; Chatterjee, Krishnendu; Nowak, Martin A.

    I: Communications Biology, Bind 2, 138, 23.04.2019.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  10. Udgivet

    Efficient Parameterized Algorithms for Data Packing. / Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Okati, Nastaran; Pavlogiannis, Andreas.

    I: Proceedings of the ACM on Programming Languages, Bind 3, Nr. POPL, 01.01.2019.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  11. Udgivet

    Faster algorithms for dynamic algebraicqueries in basic RSMs with constant treewidth. / Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Goyal, Prateesh; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas.

    I: ACM Transactions on Programming Languages and Systems, Bind 41, Nr. 4, 23, 2019.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  12. 2018
  13. Udgivet

    Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. / Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Goharshady, Amir Kafshdar; Pavlogiannis, Andreas.

    I: ACM Transactions on Programming Languages and Systems, Bind 40, Nr. 3, 9, 08.2018.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  14. Udgivet

    Automated competitive analysis of real-time scheduling with graph games. / Chatterjee, Krishnendu; Pavlogiannis, Andreas; Koessler, Alexander; Schmid, Ulrich.

    I: Real-Time systems, Bind 54, Nr. 1, 01.2018, s. 166-207.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  15. Udgivet

    Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory. / Pavlogiannis, Andreas; Tkadlec, Josef; Chatterjee, Krishnendu; Nowak, Martin A.

    I: Communications Biology, Bind 1, 71, 2018.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  16. Udgivet

    Optimal Dyck Reachability for Data-Dependence and Alias Analysis. / Chatterjee, Krishnendu; Choudhary, Bhavya; Pavlogiannis, Andreas.

    I: Proceedings of the ACM on Programming Languages, Bind 2, Nr. POPL, 30, 2018.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  17. 2017
  18. Udgivet

    Data-Centric Dynamic Partial Order Reduction. / Chalupa, Marek; Chatterjee, Krishnendu; Pavlogiannis, Andreas; Sinha, Nishant; Vaidya, Kapil.

    I: Proc. ACM Program. Lang., Bind 2, Nr. POPL, 01.12.2017.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  19. Udgivet

    Amplification on Undirected Population Structures: Comets Beat Stars. / Pavlogiannis, Andreas; Tkadlec, Josef; Chatterjee, Krishnendu; Nowak, Martin A.

    I: Scientific Reports, Bind 7, 01.03.2017, s. 82.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  20. Udgivet

    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. red. / Hongseok Yang. Springer-Verlag, 2017. s. 287-313 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10201 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  21. Udgivet

    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. red. / Deepak D’Souza; K. Narayan Kumar . Springer-Verlag, 2017. s. 59-66 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10482 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  22. 2016
  23. Udgivet

    Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs. / Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus Rasmus; Pavlogiannis, Andreas.

    I: Leibniz International Proceedings in Informatics (LIPIcs), Bind 57, 2016, s. 28:1-28:17.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskning

  24. 2015
  25. Udgivet

    Cellular cooperation with shift updating and repulsion. / Pavlogiannis, Andreas; Chatterjee, Krishnendu; Adlam, Ben; Nowak, Martin A.

    I: Scientific Reports, Bind 5, 01.11.2015, s. 17147.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  26. Udgivet

    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. udg. Institute of Electrical and Electronics Engineers Inc., 2015. s. 118-127 7010480 (Proceedings - Real-Time Systems Symposium; Nr. January, Bind 2015-January).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  27. Udgivet

    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. s. 97-109 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Bind 2015-January).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  28. Udgivet

    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. s. 539-551 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Bind 2015-January).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  29. Udgivet

    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. red. / Corina S. Pasareanu; Daniel Kroening; Corina S. Pasareanu; Daniel Kroening. Springer-Verlag, 2015. s. 140-157 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9206).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  30. 2014
  31. Udgivet

    The Time Scale of Evolutionary Innovation. / Chatterjee, Krishnendu; Pavlogiannis, Andreas; Adlam, Ben; Nowak, Martin A.

    I: PLoS Computational Biology, Edited by Niko Beerenwinkel, Bind 10, Nr. 9, 01.09.2014.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  32. 2013
  33. Udgivet

    Distributed synthesis for LTL fragments. / Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan; Pavlogiannis, Andreas.

    2013 Formal Methods in Computer-Aided Design, FMCAD 2013. 2013. s. 18-25 6679386 (2013 Formal Methods in Computer-Aided Design, FMCAD 2013).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  34. Udgivet

    A flood-based information flow analysis and network minimization method for gene regulatory networks. / Pavlogiannis, Andreas; Mozhayskiy, Vadim; Tagkopoulos, Ilias.

    I: BMC Bioinformatics, Bind 14, 137, 24.04.2013.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  35. 2011
  36. Udgivet

    Passively mobile communicating machines that use restricted space. / Chatzigiannakis, Ioannis; Michail, Othon; Nikolaou, Stavros; Pavlogiannis, Andreas; Spirakis, Paul G.

    I: Theoretical Computer Science, Bind 412, Nr. 46, 28.10.2011, s. 6469-6483.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  37. Udgivet

    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.

    I: Mathematical Foundations of Computer Science 2010, Lecture Notes in Computer Science, Bind 6281, 2011, s. 270.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review