ISTA Research Explorer

Andreas Pavlogiannis

Chatterjee Group

49 Publications

[49]

2022 | Journal Article | IST-REx-ID: 10731 |

Svoboda, J., Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (2022). Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-022-05333-5

[Published Version] View | Files available | DOI | WoS | arXiv

[48]

2022 | Journal Article | IST-REx-ID: 12257 |

Chatterjee, K., Svoboda, J., Zikelic, D., Pavlogiannis, A., & Tkadlec, J. (2022). Social balance on networks: Local minima and best-edge dynamics. Physical Review E. American Physical Society. https://doi.org/10.1103/physreve.106.034321

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

[47]

2021 | Conference Paper | IST-REx-ID: 10629 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2021). Quantitative verification on product graphs of small treewidth. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 213). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42

[Published Version] View | Files available | DOI

[46]

2021 | Journal Article | IST-REx-ID: 9640 |

Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (2021). Fast and strong amplifiers of natural selection. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-24271-w

[45]

2021 | Conference Paper | IST-REx-ID: 9987 |

Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., & Toman, V. (2021). Stateless model checking under a reads-value-from equivalence. In 33rd International Conference on Computer-Aided Verification (Vol. 12759, pp. 341–366). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-81685-8_16

[Published Version] View | Files available | DOI | WoS | arXiv

[44]

2021 | Journal Article | IST-REx-ID: 10191 |

Bui, T. L., Chatterjee, K., Gautam, T., Pavlogiannis, A., & Toman, V. (2021). The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3485541

[Published Version] View | Files available | DOI | arXiv

[43]

2021 | Journal Article | IST-REx-ID: 9393 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-021-00373-5

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

[42]

2020 | Journal Article | IST-REx-ID: 8788

Pavlogiannis, A., Schaumberger, N., Schmid, U., & Chatterjee, K. (2020). Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE. https://doi.org/10.1109/TCAD.2020.3012803

View | DOI | WoS

[41]

2020 | Journal Article | IST-REx-ID: 7212 |

Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (2020). Limits on amplifiers of natural selection under death-Birth updating. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007494

[Published Version] View | Files available | DOI | WoS | arXiv

[40]

2020 | Conference Paper | IST-REx-ID: 7810 |

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-44914-8_5

[Published Version] View | Files available | DOI | WoS

[39]

2020 | Conference Paper | IST-REx-ID: 8728 |

Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K., & Pavlogiannis, A. (2020). Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In Automated Technology for Verification and Analysis (Vol. 12302, pp. 253–270). Hanoi, Vietnam: Springer Nature. https://doi.org/10.1007/978-3-030-59152-6_14

[Submitted Version] View | Files available | DOI | WoS

[38]

2019 | Journal Article | IST-REx-ID: 7210 |

Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (2019). Population structure determines the tradeoff between fixation probability and fixation time. Communications Biology. Springer Nature. https://doi.org/10.1038/s42003-019-0373-y

[37]

2019 | Conference Paper | IST-REx-ID: 10190 |

Chatterjee, K., Pavlogiannis, A., & Toman, V. (2019). Value-centric dynamic partial order reduction. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vol. 3). Athens, Greece: ACM. https://doi.org/10.1145/3360550

[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv

[36]

2019 | Journal Article | IST-REx-ID: 6380 |

Chatterjee, K., Goharshady, A. K., Okati, N., & Pavlogiannis, A. (2019). Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. ACM. https://doi.org/10.1145/3290366

[Published Version] View | Files available | DOI

[35]

2019 | Journal Article | IST-REx-ID: 7158 |

Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R., & Pavlogiannis, A. (2019). Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. ACM. https://doi.org/10.1145/3363525

[Submitted Version] View | Files available | DOI | WoS

[34]

2018 | Journal Article | IST-REx-ID: 738 |

Chatterjee, K., Pavlogiannis, A., Kößler, A., & Schmid, U. (2018). Automated competitive analysis of real time scheduling with graph games. Real-Time Systems. Springer. https://doi.org/10.1007/s11241-017-9293-4

[Published Version] View | Files available | DOI | WoS

[33]

2018 | Journal Article | IST-REx-ID: 5751 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. A. (2018). Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory. Communications Biology. Springer Nature. https://doi.org/10.1038/s42003-018-0078-7

[Published Version] View | Files available | DOI | WoS

[32]

2018 | Journal Article | IST-REx-ID: 6009 |

Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A. (2018). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM). https://doi.org/10.1145/3210257

[31]

2017 | Journal Article | IST-REx-ID: 512 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2017). Amplification on undirected population structures: Comets beat stars. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/s41598-017-00107-w

[Published Version] View | Files available | DOI

[30]

2017 | Journal Article | IST-REx-ID: 10416 |

Chatterjee, K., Choudhary, B., & Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158118

[Published Version] View | Files available | DOI | arXiv

[29]

2017 | Technical Report | IST-REx-ID: 5455 |

Chatterjee, K., Choudhary, B., & Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and alias analysis. IST Austria. https://doi.org/10.15479/AT:IST-2017-870-v1-1

[Published Version] View | Files available | DOI

[28]

2017 | Journal Article | IST-REx-ID: 10417 |

Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., & Vaidya, K. (2017). Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158119

[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv

[27]

2017 | Technical Report | IST-REx-ID: 5456 |

Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., & Vaidya, K. (2017). Data-centric dynamic partial order reduction. IST Austria. https://doi.org/10.15479/AT:IST-2017-872-v1-1

[Published Version] View | Files available | DOI

[26]

2017 | Thesis | IST-REx-ID: 821 |

Pavlogiannis, A. (2017). Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_854

[Published Version] View | Files available | DOI

[25]

2017 | Conference Paper | IST-REx-ID: 1011 |

Chatterjee, K., Kragl, B., Mishra, S., & Pavlogiannis, A. (2017). Faster algorithms for weighted recursive state machines. In H. Yang (Ed.) (Vol. 10201, pp. 287–313). Presented at the ESOP: European Symposium on Programming, Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54434-1_11

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

[24]

2017 | Research Data | IST-REx-ID: 5559 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak , M. (2017). Strong amplifiers of natural selection. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:51

[Published Version] View | Files available | DOI

[23]

2017 | Conference Paper | IST-REx-ID: 949 |

Chatterjee, K., Goharshady, A. K., & Pavlogiannis, A. (2017). JTDec: A tool for tree decompositions in soot. In D. D’Souza (Ed.) (Vol. 10482, pp. 59–66). Presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India: Springer. https://doi.org/10.1007/978-3-319-68167-2_4

[Submitted Version] View | Files available | DOI | WoS

[22]

2016 | Technical Report | IST-REx-ID: 5445 |

Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2016). Quantitative interprocedural analysis. IST Austria. https://doi.org/10.15479/AT:IST-2016-523-v1-1

[Published Version] View | Files available | DOI

[21]

2016 | Technical Report | IST-REx-ID: 5449 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Amplification on undirected population structures: Comets beat stars. IST Austria. https://doi.org/10.15479/AT:IST-2016-648-v1-1

[Updated Version] View | Files available | DOI

[20]

2016 | Technical Report | IST-REx-ID: 5453 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-749-v3-1

[Published Version] View | Files available | DOI

[19]

2016 | Technical Report | IST-REx-ID: 5451 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2016-728-v1-1

[Published Version] View | Files available | DOI

[18]

2016 | Conference Paper | IST-REx-ID: 1071 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs (Vol. 57). Presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ESA.2016.28

[Published Version] View | Files available | DOI

[17]

2016 | Technical Report | IST-REx-ID: 5452 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-728-v2-1

[Published Version] View | Files available | DOI

[16]

2016 | Conference Paper | IST-REx-ID: 1437 |

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837624

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[15]

2015 | Journal Article | IST-REx-ID: 1624 |

Pavlogiannis, A., Chatterjee, K., Adlam, B., & Nowak, M. (2015). Cellular cooperation with shift updating and repulsion. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep17147

[Published Version] View | Files available | DOI

[14]

2015 | Technical Report | IST-REx-ID: 5437 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-330-v2-1

[Published Version] View | Files available | DOI

[13]

2015 | Technical Report | IST-REx-ID: 5430 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-319-v1-1

[Published Version] View | Files available | DOI

[12]

2015 | Journal Article | IST-REx-ID: 1602 |

Chatterjee, K., Ibsen-Jensen, R., Pavlogiannis, A., & Goyal, P. (2015). Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. Mumbai, India: ACM. https://doi.org/10.1145/2676726.2676979

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[11]

2015 | Journal Article | IST-REx-ID: 1604

Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2015). Quantitative interprocedural analysis. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . Mumbai, India: ACM. https://doi.org/10.1145/2676726.2676968

View | Files available | DOI

[10]

2015 | Conference Paper | IST-REx-ID: 1607 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs (Vol. 9206, pp. 140–157). Presented at the CAV: Computer Aided Verification, San Francisco, CA, USA: Springer. https://doi.org/10.1007/978-3-319-21690-4_9

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[9]

2015 | Conference Paper | IST-REx-ID: 1714

Chatterjee, K., Pavlogiannis, A., Kößler, A., & Schmid, U. (2015). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In Real-Time Systems Symposium (Vol. 2015, pp. 118–127). Rome, Italy: IEEE. https://doi.org/10.1109/RTSS.2014.9

View | Files available | DOI

[8]

2015 | Technical Report | IST-REx-ID: 5441 |

Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria. https://doi.org/10.15479/AT:IST-2015-340-v1-1

[Published Version] View | Files available | DOI

[7]

2014 | Technical Report | IST-REx-ID: 5419 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-187-v1-1

[Published Version] View | Files available | DOI

[6]

2014 | Technical Report | IST-REx-ID: 5423 |

Chatterjee, K., Kössler, A., Pavlogiannis, A., & Schmid, U. (2014). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria. https://doi.org/10.15479/AT:IST-2014-300-v1-1

[Published Version] View | Files available | DOI

[5]

2014 | Technical Report | IST-REx-ID: 5427 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-314-v1-1

[Published Version] View | Files available | DOI

[4]

2014 | Journal Article | IST-REx-ID: 2039 |

Chatterjee, K., Pavlogiannis, A., Adlam, B., & Nowak, M. (2014). The time scale of evolutionary innovation. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1003818

[Published Version] View | Files available | DOI

[3]

2014 | Research Data Reference | IST-REx-ID: 9739

Chatterjee, K., Pavlogiannis, A., Adlam, B., & Novak, M. (2014). Detailed proofs for “The time scale of evolutionary innovation.” Public Library of Science. https://doi.org/10.1371/journal.pcbi.1003818.s001

[Published Version] View | Files available | DOI

[2]

2013 | Conference Paper | IST-REx-ID: 1376

Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL fragments. In 13th International Conference on Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679386

View | Files available | DOI

[1]

2013 | Technical Report | IST-REx-ID: 5406 |

Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria. https://doi.org/10.15479/AT:IST-2013-130-v1-1

[Published Version] View | Files available | DOI

49 Publications

Mark all

[49]

2022 | Journal Article | IST-REx-ID: 10731 |

[Published Version] View | Files available | DOI | WoS | arXiv

[48]

2022 | Journal Article | IST-REx-ID: 12257 |

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

[47]

2021 | Conference Paper | IST-REx-ID: 10629 |

[Published Version] View | Files available | DOI

[46]

2021 | Journal Article | IST-REx-ID: 9640 |

[45]

2021 | Conference Paper | IST-REx-ID: 9987 |

[Published Version] View | Files available | DOI | WoS | arXiv

[44]

2021 | Journal Article | IST-REx-ID: 10191 |

[Published Version] View | Files available | DOI | arXiv

[43]

2021 | Journal Article | IST-REx-ID: 9393 |

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

[42]

2020 | Journal Article | IST-REx-ID: 8788

View | DOI | WoS

[41]

2020 | Journal Article | IST-REx-ID: 7212 |

[Published Version] View | Files available | DOI | WoS | arXiv

[40]

2020 | Conference Paper | IST-REx-ID: 7810 |

[Published Version] View | Files available | DOI | WoS

[39]

2020 | Conference Paper | IST-REx-ID: 8728 |

[Submitted Version] View | Files available | DOI | WoS

[38]

2019 | Journal Article | IST-REx-ID: 7210 |

[37]

2019 | Conference Paper | IST-REx-ID: 10190 |

[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv

[36]

2019 | Journal Article | IST-REx-ID: 6380 |

[Published Version] View | Files available | DOI

[35]

2019 | Journal Article | IST-REx-ID: 7158 |

[Submitted Version] View | Files available | DOI | WoS

[34]

2018 | Journal Article | IST-REx-ID: 738 |

[Published Version] View | Files available | DOI | WoS

[33]

2018 | Journal Article | IST-REx-ID: 5751 |

[Published Version] View | Files available | DOI | WoS

[32]

2018 | Journal Article | IST-REx-ID: 6009 |

[31]

2017 | Journal Article | IST-REx-ID: 512 |

[Published Version] View | Files available | DOI

[30]

2017 | Journal Article | IST-REx-ID: 10416 |

[Published Version] View | Files available | DOI | arXiv

[29]

2017 | Technical Report | IST-REx-ID: 5455 |

Chatterjee, K., Choudhary, B., & Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and alias analysis. IST Austria. https://doi.org/10.15479/AT:IST-2017-870-v1-1

[Published Version] View | Files available | DOI

[28]

2017 | Journal Article | IST-REx-ID: 10417 |

[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv

[27]

2017 | Technical Report | IST-REx-ID: 5456 |

Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., & Vaidya, K. (2017). Data-centric dynamic partial order reduction. IST Austria. https://doi.org/10.15479/AT:IST-2017-872-v1-1

[Published Version] View | Files available | DOI

[26]

2017 | Thesis | IST-REx-ID: 821 |

Pavlogiannis, A. (2017). Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_854

[Published Version] View | Files available | DOI

[25]

2017 | Conference Paper | IST-REx-ID: 1011 |

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

[24]

2017 | Research Data | IST-REx-ID: 5559 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak , M. (2017). Strong amplifiers of natural selection. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:51

[Published Version] View | Files available | DOI

[23]

2017 | Conference Paper | IST-REx-ID: 949 |

[Submitted Version] View | Files available | DOI | WoS

[22]

2016 | Technical Report | IST-REx-ID: 5445 |

Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2016). Quantitative interprocedural analysis. IST Austria. https://doi.org/10.15479/AT:IST-2016-523-v1-1

[Published Version] View | Files available | DOI

[21]

2016 | Technical Report | IST-REx-ID: 5449 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Amplification on undirected population structures: Comets beat stars. IST Austria. https://doi.org/10.15479/AT:IST-2016-648-v1-1

[Updated Version] View | Files available | DOI

[20]

2016 | Technical Report | IST-REx-ID: 5453 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-749-v3-1

[Published Version] View | Files available | DOI

[19]

2016 | Technical Report | IST-REx-ID: 5451 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2016-728-v1-1

[Published Version] View | Files available | DOI

[18]

2016 | Conference Paper | IST-REx-ID: 1071 |

[Published Version] View | Files available | DOI

[17]

2016 | Technical Report | IST-REx-ID: 5452 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-728-v2-1

[Published Version] View | Files available | DOI

[16]

2016 | Conference Paper | IST-REx-ID: 1437 |

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[15]

2015 | Journal Article | IST-REx-ID: 1624 |

[Published Version] View | Files available | DOI

[14]

2015 | Technical Report | IST-REx-ID: 5437 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-330-v2-1

[Published Version] View | Files available | DOI

[13]

2015 | Technical Report | IST-REx-ID: 5430 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-319-v1-1

[Published Version] View | Files available | DOI

[12]

2015 | Journal Article | IST-REx-ID: 1602 |

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[11]

2015 | Journal Article | IST-REx-ID: 1604

View | Files available | DOI

[10]

2015 | Conference Paper | IST-REx-ID: 1607 |

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[9]

2015 | Conference Paper | IST-REx-ID: 1714

View | Files available | DOI

[8]

2015 | Technical Report | IST-REx-ID: 5441 |

[Published Version] View | Files available | DOI

[7]

2014 | Technical Report | IST-REx-ID: 5419 |

[Published Version] View | Files available | DOI

[6]

2014 | Technical Report | IST-REx-ID: 5423 |

[Published Version] View | Files available | DOI

[5]

2014 | Technical Report | IST-REx-ID: 5427 |

[Published Version] View | Files available | DOI

[4]

2014 | Journal Article | IST-REx-ID: 2039 |

[Published Version] View | Files available | DOI

[3]

2014 | Research Data Reference | IST-REx-ID: 9739

[Published Version] View | Files available | DOI

[2]

2013 | Conference Paper | IST-REx-ID: 1376

View | Files available | DOI

[1]

2013 | Technical Report | IST-REx-ID: 5406 |

Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria. https://doi.org/10.15479/AT:IST-2013-130-v1-1

[Published Version] View | Files available | DOI

Andreas Pavlogiannis

49 Publications

Search

Filter Publications

Display / Sort

Export / Embed

49 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Andreas Pavlogiannis

49 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options

49 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options