Banerjee, A.
, Danvy, O., Doh, K.-G. & Hatcliff , J. (red.) (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 Bind 129
https://doi.org/10.4204/EPTCS.129
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
Andreasen, E., Feldthaus, A., Jensen, S. H., Jensen, C. S., Jonsson, P. A., Madsen, M. & Møller, A. (2012).
Improving Tools for JavaScript Programmers (Position Paper). Afhandling præsenteret på International Workshop on Scripts to Programs, Beijing, Kina.
http://cs.au.dk/~amoeller/papers/stop/
Andreasen, E., Gong, L.
, Møller, A., Pradel, M., Selakovic, M., Sen, K. & Staicu, C.-A. (2017).
A Survey of Dynamic Analysis and Test Generation for JavaScript.
A C M Computing Surveys,
50(5), 66:1-66:36. Artikel 66.
https://doi.org/10.1145/3106739
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
Alves, J. N., Westner, B. U.
, Højlund, A., Weil, R. S.
& Dalal, S. S. (2023).
Structural and functional changes in the retina in Parkinson's disease.
Journal of neurology, neurosurgery, and psychiatry,
94(6), 448-456.
https://doi.org/10.1136/jnnp-2022-329342
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