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
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.
Jensen, C. S., Møller, A., Raychev, V., Dimitrov, D. & Vechev, M. (2015).
Stateless Model Checking of Event-Driven Applications. In
OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (pp. 57-73). Association for Computing Machinery.
https://doi.org/10.1145/2814270.2814282
Nielsen, A. H., Horn, N. T., Sørensen, S. D., Mcgregor, W. & Wallentin, M. (2014).
A longitudinal study of adult foreign language learning. Paper presented at Bias in Auditory Perception, Aarhus, Denmark.
Madsen, M. & Andreasen, E. (2014).
String Analysis for Dynamic Field Access. In A. Cohen (Ed.),
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 (pp. 197-217). Springer.
https://doi.org/10.1007/978-3-642-54807-9_12
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
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/
Nielsen, A. H., Spyrou, L., Sadakata, M., Brandmeyer, A., Hoffmann, C., Grigore, M., Desain, P. W. M. & McQueen, J. M. (2012).
What's so funny about ha-ħa? Non-native MMN responses to Arabic phonemes. Poster session presented at Donders Discussions 2012, Nijmegen, Netherlands.
Chatzigiannakis, I., Michail, O., Nikolaou, S.
, Pavlogiannis, A. & Spirakis, P. G. (2011).
All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated Population Protocol Model.
Mathematical Foundations of Computer Science 2010, Lecture Notes in Computer Science,
6281, 270.
https://doi.org/10.1007/978-3-642-15155-2_25
Wallentin, M., Nielsen, A. H., Vuust, P., Dohn, A., Roepstorff, A. & Lund, T. E. (2011).
Amygdala and heart rate variability responses from listening to emotionally intense parts of a story.
NeuroImage,
58(3), 963-973.
Wallentin, M., Nielsen, A. H., Vuust, P., Roepstorff, A., Dohn, A. & Lund, T. E. (2011).
BOLD response to motion verbs in left posterior middle temporal gyrus during story comprehension.
Brain and Language,
119, 221-225.