Müller, M., Schuster, P.
, Starup, J. L., Ostermann, K. & Brachthäuser, J. I. (2023).
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers.
Proceedings of the ACM on Programming Languages ,
7(OOPSLA2), Article 255.
https://doi.org/10.1145/3622831
Møller, M. L. H., Høj, S. H.
, Østergaard, K., Wallentin, M. & Højlund, A. (2023).
No selective action verb impairment in patients with Parkinson's disease: Evidence from Danish patients reading naturalistic texts, a Commentary on García et al., 2018.
Cortex,
158, 176-180.
https://doi.org/10.1016/j.cortex.2022.07.006
Tunç, H. C., Abdulla, P. A., Chakraborty, S., Krishna, S., Mathur, U.
& Pavlogiannis, A. (2023).
Optimal Reads-From Consistency Checking for C11-Style Memory Models.
Proceedings of the ACM on Programming Languages ,
7(PLDI), 761–785. Article 137.
https://doi.org/10.1145/3591251
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
Alves, J. N., Westner, B. U.
, Højlund, A., Weil, R. S.
& Dalal, S. S. (2023).
Structural and functional changes in the retina in Parkinson's disease.
Journal of neurology, neurosurgery, and psychiatry,
94(6), 448-456.
https://doi.org/10.1136/jnnp-2022-329342
Caltais, G., Hojjat, H., Mousavi, M. R.
& Tunç, H. C. (2022).
DyNetKAT: An Algebra of Dynamic Networks. In P. Bouyer & L. Schröder (Eds.),
Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 184-204). Springer.
https://doi.org/10.1007/978-3-030-99253-8_10
Seeberg, A. B., Vuust, P., Højlund, A., Fletcher, M., Perry, S., F. Faulkner, K.
& Petersen, B. (2022).
Feel the beat and improve the groove: multimodal rhythm perception in cochlear implant users. Poster session presented at CI2022 DC Emerging Issues in Cochlear Implantation, Washington D. C., United States.
Seeberg, A. B., Vuust, P., Højlund, A., Fletcher, M., Perry, S., F. Faulkner, K.
& Petersen, B. (2022).
Feel the beat and improve the groove: multimodal rhythm perception in cochlear implant users. Poster session presented at SysMus22 - International Conference Series of Students of Systematic Musicology, Ghent, Belgium.
Brendborg, J.
, Karras, P., Pavlogiannis, A., Rasmussen, A. U. & Tkadlec, J. (2022).
Fixation Maximization in the Positional Moran Process.
Proceedings of the AAAI Conference on Artificial Intelligence,
36(9, AAAI Technical Track on Multiagent Systems), 9304-9312.
https://doi.org/10.1609/aaai.v36i9.21160
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
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
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
Chatterjee, K., Svoboda, J., Žikelić, Đ.
, Pavlogiannis, A. & Tkadlec, J. (2022).
Social balance on networks: Local minima and best-edge dynamics.
Physical Review E,
106(3), Article 034321.
https://doi.org/10.1103/PhysRevE.106.034321
Vibholm, A. K., Dietz, M. J., Beniczky, S., Christensen, J., Højlund, A., Jacobsen, J., Bender, D., Møller, A. & Brooks, D. J. (2021).
Activated N-methyl-D-aspartate receptor ion channels detected in focal epilepsy with [18F]GE-179 positron emission tomography.
Epilepsia,
62(12), 2899-2908.
https://doi.org/10.1111/epi.17074
Seeberg, A. B., Trusbak Haumann, N., Højlund, A., Andersen, A. S., F. Faulkner, K.
, Brattico, E., Vuust, P. & Petersen, B. (2021).
Adapting to the sound of music - Development of music discrimination skills in recently implanted cochlear implant users. Poster session presented at 3rd Music & Cohlear Implants Symposium, Cambridge [+ online], United Kingdom.
Seeberg, A. B., Trusbak Haumann, N., Højlund, A., Andersen, A. S., F. Faulkner, K.
, Brattico, E., Vuust, P. & Petersen, B. (2021).
Adapting to the sound of music - Development of music discrimination skills in recently implanted cochlear implant users. Poster session presented at Neuromusic VII: Connecting with music across lifespan.
Møller, C., Garza-Villarreal, E. A., Hansen, N. C., Højlund, A., Bærentsen, K. B., Chakravarty, M. M.
& Vuust, P. (2021).
Audiovisual structural connectivity in musicians and non-musicians: a cortical thickness and diffusion tensor imaging study.
Scientific Reports,
11(1), Article 4324.
https://doi.org/10.1038/s41598-021-83135-x
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
Quiroga-Martinez, D. R., Hansen, N. C., Hojlund, A., Pearce, M., Brattico, E., Holmes, E., Friston, K.
& Vuust, P. (2021).
Musicianship and melodic predictability enhance neural gain in auditory cortex during pitch deviance detection.
Human Brain Mapping,
42(17), 5595-5608.
https://doi.org/10.1002/hbm.25638
Agarwal, P., Chatterjee, K., Pathak, S.
, Pavlogiannis, A. & Toman, V. (2021).
Stateless Model Checking Under a Reads-Value-From Equivalence. In A. Silva, K. Rustan & M. Leino (Eds.),
Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: Proceedings (Vol. 1, pp. 341-366). Springer.
https://doi.org/10.1007/978-3-030-81685-8_16
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
Petersen, B., Friis Andersen, A. S.
, Trusbak Haumann, N., Højlund, A., Dietz, M., Michel, F., Kamaric Riis, S.
, Brattico, E. & Vuust, P. (2021).
The CI MuMuFe - a new MMN paradigm for measuring music discrimination in electric hearing: The CI MuMuFe. Poster session presented at Neuromusic VII: Connecting with music across lifespan.
Bui, T. L., Chatterjee, K., Gautam, T.
, Pavlogiannis, A. & Toman, V. (2021).
The reads-from equivalence for the TSO and PSO memory models.
Proceedings of the ACM on Programming Languages ,
5(OOPSLA), Article 164.
https://doi.org/10.1145/3485541