Klarlund, N.
, Møller, A. & Schwartzbach, M. I. (2001).
MONA Implementation Secrets. In S. Yu & A. Paun (Eds.),
Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24-25, 2000 Revised Papers (pp. 182-194). Springer.
https://doi.org/10.1007/3-540-44674-5_4
Elgaard, J., Klarlund, N.
& Møller, A. (1998).
MONA 1.x: New Techniques for WS1S and WS2S. In A. J. Hu & M. Y. Vardi (Eds.),
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (pp. 516-520). Springer.
https://doi.org/10.1007/BFb0028773
Nielsen, A. H., Horn, N. T., Derdau Sørensen, S., Mcgregor, W. & Wallentin, M. (2015).
Intensive foreign language learning reveals effects on categorical perception of sibilant voicing after only 3 weeks.
i-Perception,
6(6), 1-26.
Kristensen, E. K.
& Møller, A. (2017).
Inference and Evolution of TypeScript Declaration Files. In M. Huisman & J. Rubin (Eds.),
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 (Vol. 10202, pp. 99-115). Springer VS.
https://doi.org/10.1007/978-3-662-54494-5_6
Svoboda, J., Tkadlec, J.
, Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2022).
Infection dynamics of COVID-19 virus under lockdown and reopening.
Scientific Reports,
12, Article 1526.
https://doi.org/10.1038/s41598-022-05333-5
Livshits, B., Sridharan, M., Smaragdakis, Y., Lhoták, O., Amaral, J. N., Chang, B.-Y. E., Guyer, S. Z., Khedker, U. P.
, Møller, A. & Vardoulakis, D. (2015).
In Defense of Soundiness: A Manifesto.
Communications of the A C M,
58(2).
https://doi.org/10.1145/2644805
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). Paper presented at International Workshop on Scripts to Programs, Beijing, China.
http://cs.au.dk/~amoeller/papers/stop/
Sridharan, K. S., Højlund, A., Sunde, N.
, Johnsen, E. L., Johansen, L. G., Beniczky, S. & Østergaard, K. (2016).
How do treatments affect somatosensory processing in Parkinson's disease - A MEG study. Poster session presented at PhD Day 2016, Aarhus, Denmark.