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
Elgaard, J.
, Møller, A. & Schwartzbach, M. I. (2000).
Compile-Time Debugging of C Programs Working on Trees. In G. Smolka (Ed.),
Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (pp. 119-134). Springer.
https://doi.org/10.1007/3-540-46425-5_8
Feldthaus, A., Millstein, T.
, Møller, A., Schäfer, M. & Tip, F. (2011).
Refactoring towards the good parts of JavaScript. Poster session presented at SPLASH 2011, Portland, Oregon, United States.
https://doi.org/10.1145/2048147.2048200
Ganardi, M., Majumdar, R.
, Pavlogiannis, A., Schütze, L. & Zetzsche, G. (2022).
Reachability in Bidirected Pushdown VASS. In M. Bojanczyk, E. Merelli & D. P. Woodruff (Eds.),
49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022 Article 124 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.ICALP.2022.124
Gansonre, C., Højlund, A., Leminen, A., Bailey, C. & Shtyrov, Y. (2018).
Task-free auditory EEG paradigm for probing multiple levels of speech processing in the brain.
Psychophysiology,
55(11), Article e13216.
https://doi.org/10.1111/psyp.13216
Hansen, N. C., Højlund, A., Møller, C., Pearce, M.
& Vuust, P. (2016).
Enhanced feature integration in musicians: Expertise modulates the additivity of the MMNm response. Poster session presented at 14th International Conference on Music Perception and Cognition, San Francisco, United States.
Hansen, N. C., Højlund, A., Møller, C., Pearce, M. & Vuust, P. (2022).
Musicians show more integrated neural processing of contextually relevant acoustic features.
Frontiers in Neuroscience,
16, Article 907540.
https://doi.org/10.3389/fnins.2022.907540
Højlund, A., Horn, N. T., Sørensen, S. D., Mcgregor, W. & Wallentin, M. (2016).
Foreign sound learning and mismatch negativity (MMN): a longitudinal ERP study. Poster session presented at SNL 2016, London, United Kingdom.
Højlund, A., Petersen, M. V., Sridharan, K. S., Møller, M. L. H., Staggemeier, A. G., Thomsen, S. G., Møller, M., Johnsen, E. L., Shtyrov, Y. & Østergaard, K. (2017).
Verbal fluency declines in Parkinson's disease patients with STN-DBS: combining MEG and tractography. Poster session presented at 10th Annual International Conference Embodied and Situated Language Processing, Moscow, Russian Federation.
Højlund, A., Petersen, M., Sridharan, K. S., Møller, M. L. H., Staggemeier, A. G., Thomsen, S. G., Møller, M., Johnsen, E. L., Shtyrov, Y. & Østergaard, K. (2017).
Response inhibition in Parkinson's disease patients with STN-DBS. Poster session presented at The Brain Prize Meeting 2017, Middelfart, Denmark.
Hyder, R., Højlund, A., Jensen, M., Østergaard, K. & Shtyrov, Y. (2020).
Objective assessment of automatic language comprehension mechanisms in the brain: Novel E/MEG paradigm.
Psychophysiology,
57(5), Article e13543.
https://doi.org/10.1111/psyp.13543
Hyder, R., Højlund, A., Jensen, M., Johnsen, E. L., Østergaard, K. & Shtyrov, Y. (2021).
STN-DBS affects language processing differentially in Parkinson's disease: Multiple-case MEG study.
Acta Neurologica Scandinavica,
144(2), 132-141.
https://doi.org/10.1111/ane.13423
Hyder, R., Jensen, M., Højlund, A., Kimppa, L., Bailey, C. J., Schaldemose, J. L., Kinnerup, M. B., Østergaard, K. & Shtyrov, Y. (2021).
Functional connectivity of spoken language processing in early-stage Parkinson's disease: An MEG study.
NeuroImage: Clinical,
32, Article 102718.
https://doi.org/10.1016/j.nicl.2021.102718
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
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, Article 108602.
https://doi.org/10.1016/j.neuropsychologia.2023.108602