Jensen, M., Hyder, R., Westner, B. U.
, Højlund, A. & Shtyrov, Y. (2023).
Speech comprehension across time, space, frequency, and age: MEG-MVPA classification of intertrial phase coherence.
Neuropsychologia,
188, Artikel 108602.
https://doi.org/10.1016/j.neuropsychologia.2023.108602
Klarlund, N.
, Møller, A. & Schwartzbach, M. I. (2001).
MONA Implementation Secrets. I S. Yu & A. Paun (red.),
Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24-25, 2000 Revised Papers (s. 182-194). Springer.
https://doi.org/10.1007/3-540-44674-5_4
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
Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A. (2023).
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. I S. Sankaranarayanan & N. Sharygina (red.),
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II (s. 353-371). Springer.
https://doi.org/10.1007/978-3-031-30820-8_22
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
Madsen, M. & Andreasen, E. (2014).
String Analysis for Dynamic Field Access. I A. Cohen (red.),
Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings (s. 197-217). Springer.
https://doi.org/10.1007/978-3-642-54807-9_12