Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R.
& Pavlogiannis, A. (2020).
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. I P. Müller (red.),
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 (s. 112-140). Springer.
https://doi.org/10.1007/978-3-030-44914-8_5
Caltais, G., Hojjat, H., Mousavi, M. R.
& Tunç, H. C. (2022).
DyNetKAT: An Algebra of Dynamic Networks. I P. Bouyer & L. Schröder (red.),
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 (s. 184-204). Springer.
https://doi.org/10.1007/978-3-030-99253-8_10
Brabrand, C., Møller, A. & Schwartzbach, M. I. (2005).
Dual Syntax for XML Languages. I
Database Programming Languages: 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers (s. 27-41). Springer.
https://doi.org/10.1007/11601524_2
Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K.
& Pavlogiannis, A. (2020).
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. I D. Van Hung & O. Sokolsky (red.),
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings (s. 253-270). Springer.
https://doi.org/10.1007/978-3-030-59152-6_14
Agarwal, P., Chatterjee, K., Pathak, S.
, Pavlogiannis, A. & Toman, V. (2021).
Stateless Model Checking Under a Reads-Value-From Equivalence. I A. Silva, K. Rustan & M. Leino (red.),
Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: Proceedings (Bind 1, s. 341-366). Springer.
https://doi.org/10.1007/978-3-030-81685-8_16
Adamsen, C. Q., Møller, A., Karim, R., Sridharan, M., Tip, F. & Sen, K. (2017).
Repairing Event Race Errors by Controlling Nondeterminism. I
Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017 (s. 289-299). Artikel 7985670 IEEE Press.
https://doi.org/10.1109/ICSE.2017.34
Kristensen, E. K. & Møller, A. (2017).
Inference and Evolution of TypeScript Declaration Files. I M. Huisman & J. Rubin (red.),
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Bind 10202, s. 99-115). Springer VS.
https://doi.org/10.1007/978-3-662-54494-5_6
Amtoft, T., Consel, C.
, Danvy, O. & Malmkjær, K. (2002).
The Abstraction and Instantiation of String-Matching Programs. I T. Mogensen, D. Schmidt & H. Sudborough (red.),
The Essence of Computation: Complexity, Analysis, Transformation (s. 332-357). Springer.
https://doi.org/10.1007/3-540-36377-7_15