Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R.
& Pavlogiannis, A. (2020).
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. In P. Müller (Ed.),
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 (pp. 112-140). Springer.
https://doi.org/10.1007/978-3-030-44914-8_5
Chatterjee, K., Svoboda, J., Žikelić, Đ.
, Pavlogiannis, A. & Tkadlec, J. (2022).
Social balance on networks: Local minima and best-edge dynamics.
Physical Review E,
106(3), Article 034321.
https://doi.org/10.1103/PhysRevE.106.034321
Caltais, G., Hojjat, H., Mousavi, M. R.
& Tunç, H. C. (2022).
DyNetKAT: An Algebra of Dynamic Networks. In P. Bouyer & L. Schröder (Eds.),
Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 184-204). Springer.
https://doi.org/10.1007/978-3-030-99253-8_10
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 ,
5(OOPSLA), Article 164.
https://doi.org/10.1145/3485541
Brendborg, J.
, Karras, P., Pavlogiannis, A., Rasmussen, A. U. & Tkadlec, J. (2022).
Fixation Maximization in the Positional Moran Process.
Proceedings of the AAAI Conference on Artificial Intelligence,
36(9, AAAI Technical Track on Multiagent Systems), 9304-9312.
https://doi.org/10.1609/aaai.v36i9.21160
Brabrand, C., Møller, A. & Schwartzbach, M. I. (2005).
Dual Syntax for XML Languages. In
Database Programming Languages: 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers (pp. 27-41). Springer.
https://doi.org/10.1007/11601524_2
Banerjee, A.
, Danvy, O., Doh, K-G. & Hatcliff , J. (Eds.) (2013).
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday : Festschrift for Dave Schmidt, Manhattan, Kansas, USA, 19-20th September 2013. http://published.eptcs.org/. Electronic Proceedings in Theoretical Computer Science Vol. 129
https://doi.org/10.4204/EPTCS.129