Aarhus University Seal / Aarhus Universitets segl

Andreas Pavlogiannis

  1. 2022
  2. Udgivet

    A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. / Mathur, Umang; Pavlogiannis, Andreas; Tunc, Hunkar Can; Viswanathan, Mahesh.

    ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. red. / Babak Falsafi; Michael Ferdman; Shan Lu; Thomas F. Wenisch. Association for Computing Machinery, 2022. s. 710-725 (ASPLOS: Architectural Support for Programming Languages and Operating Systems, Proceedings).

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

  3. Udgivet

    Infection dynamics of COVID-19 virus under lockdown and reopening. / Svoboda, Jakub; Tkadlec, Josef; Pavlogiannis, Andreas; Chatterjee, Krishnendu; Nowak, Martin A.

    I: Scientific Reports, Bind 12, 1526, 01.2022.

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

  4. Udgivet

    The Decidability and Complexity of Interleaved Bidirected Dyck Reachability. / Kjelstrom, Adam Husted; Pavlogiannis, Andreas.

    I: Proceedings of the acm on programming languages, Bind 6, 12, 01.2022.

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

  5. 2021
  6. Udgivet

    Fast and strong amplifiers of natural selection. / Tkadlec, Josef; Pavlogiannis, Andreas; Chatterjee, Krishnendu; Nowak, Martin A.

    I: Nature Communications, Bind 12, Nr. 1, 4009, 12.2021.

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

  7. Udgivet

    The reads-from equivalence for the TSO and PSO memory models. / Bui, Truc Lam; Chatterjee, Krishnendu; Gautam, Tushar; Pavlogiannis, Andreas; Toman, Viktor.

    I: Proceedings of the ACM on Programming Languages , Bind 5, Nr. OOPSLA, 164, 10.2021.

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

  8. Udgivet

    Tight bounds for reachability problems on one-counter and pushdown systems. / Hansen, Jakob Cetti; Kjelstrøm, Adam Husted; Pavlogiannis, Andreas.

    I: Information Processing Letters, Bind 171, 106135, 10.2021.

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

  9. Udgivet

    Faster algorithms for quantitative verification in bounded treewidth graphs. / Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas.

    I: Formal Methods in System Design, Bind 57, Nr. 3, 09.2021, s. 401-428.

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

  10. Udgivet

    Optimal Prediction of Synchronization-Preserving Races. / Mathur, Umang; Pavlogiannis, Andreas; Viswanathan, Mahesh.

    I: Proceedings of the ACM on Programming Languages, Bind 5, Nr. POPL, 36, 01.2021.

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

  11. Udgivet

    The Fine-Grained and Parallel Complexity of Andersen’s Pointer Analysis. / Mathiasen, Anders Alnor; Pavlogiannis, Andreas.

    I: Proceedings of the ACM on Programming Languages, Bind 5, Nr. POPL, 34, 01.2021.

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

  12. Udgivet

    Dynamic Data-Race Detection Through the Fine-Grained Lens. / Kulkarni, Rucha; Mathur, Umang; Pavlogiannis, Andreas.

    32nd International Conference on Concurrency Theory (CONCUR 2021). red. / Serge Haddad; Daniele Varacca. Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2021. s. 16:1-16:23 (Leibniz International Proceedings in Informatics (LIPIcs), Bind 203).

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

  13. Udgivet

    Quantitative Verification on Product Graphs of Small Treewidth. / Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas.

    41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). Bind ´ 2021. s. 42:1-42:23 (Leibniz International Proceedings in Informatics, Bind 213).

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

  14. Udgivet

    Stateless Model Checking Under a Reads-Value-From Equivalence. / Agarwal, Pratyush; Chatterjee, Krishnendu; Pathak, Shreya; Pavlogiannis, Andreas; Toman, Viktor.

    Computer aided verification, CAV 2021: Proceedings. red. / Alexandra Silva; K. Rustan; M. Leino. Bind 1 Cham : Springer, 2021. s. 341-366 (Lecture Notes in Computer Science, Bind 12759).

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

  15. 2020
  16. Udgivet

    Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. / Pavlogiannis, Andreas; Schaumberger, Nico; Schmid, Ulrich; Chatterjee, Krishnendu.

    I: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Bind 39, Nr. 11, 9211419, 11.2020, s. 3981-3992.

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

  17. Udgivet

    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. s. 713–727 3394783.

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

  18. Udgivet

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

    ArXiv, 2020.

    Publikation: Working paper/Preprint Working paperForskning

  19. Udgivet

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

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

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

  20. 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

  21. 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

  22. Udgivet

    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. red. / Dang Van Hung; Oleg Sokolsky. Cham : Springer, 2020. s. 253-270 (Lecture Notes in Computer Science, Bind 12302).

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

  23. 2019
  24. 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

  25. 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

  26. 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

  27. 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

  28. 2018
  29. 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

  30. 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

  31. 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

  32. 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

  33. 2017
  34. 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

  35. 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

  36. 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, 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

  37. 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, 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

  38. 2016
  39. 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

  40. 2015
  41. 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

  42. 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

  43. 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

  44. 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

  45. 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, 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

  46. 2014
  47. 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

  48. 2013
  49. 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

  50. 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

  51. 2011
  52. 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

  53. 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