Jensen, C. S., Møller, A., Raychev, V., Dimitrov, D. & Vechev, M. (2015).
Stateless Model Checking of Event-Driven Applications. I
OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (s. 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, Artikel 108602.
https://doi.org/10.1016/j.neuropsychologia.2023.108602
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), Artikel 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, Artikel 102718.
https://doi.org/10.1016/j.nicl.2021.102718
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 præsenteret på SNL 2016, London, Storbritannien.
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 præsenteret på 10th Annual International Conference Embodied and Situated Language Processing, Moscow, Rusland.
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 præsenteret på The Brain Prize Meeting 2017, Middelfart, Danmark.
Højlund, A., Horn, N. T., Sørensen, S. D., McGregor, W. B. & Wallentin, M. (2022).
Foreign language learning and the mismatch negativity (MMN): A longitudinal ERP study.
Neuroimage: Reports,
2(4), Artikel 100138.
https://doi.org/10.1016/j.ynirp.2022.100138
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 præsenteret på 14th International Conference on Music Perception and Cognition, San Francisco, USA.
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, Artikel 907540.
https://doi.org/10.3389/fnins.2022.907540
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), Artikel e13216.
https://doi.org/10.1111/psyp.13216
Ganardi, M., Majumdar, R.
, Pavlogiannis, A., Schütze, L. & Zetzsche, G. (2022).
Reachability in Bidirected Pushdown VASS. I M. Bojanczyk, E. Merelli & D. P. Woodruff (red.),
49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022 Artikel 124 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.ICALP.2022.124
Feldthaus, A., Millstein, T.
, Møller, A., Schäfer, M. & Tip, F. (2011).
Refactoring towards the good parts of JavaScript. Poster session præsenteret på SPLASH 2011, Portland, Oregon, USA.
https://doi.org/10.1145/2048147.2048200
Elgaard, J., Klarlund, N.
& Møller, A. (1998).
MONA 1.x: New Techniques for WS1S and WS2S. I A. J. Hu & M. Y. Vardi (red.),
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (s. 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. I G. Smolka (red.),
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 (s. 119-134). Springer.
https://doi.org/10.1007/3-540-46425-5_8