Find

For students
For PhDs
For employees

Department of Computer Science

Publications

Contribution to journal

Højlund, A., Gebauer, L., McGregor, W. B. & Wallentin, M. (2019). Context and perceptual asymmetry effects on the mismatch negativity (MMNm) to speech sounds: an MEG study. Language, Cognition and Neuroscience, 34(5), 545-560. https://doi.org/10.1080/23273798.2019.1572204

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

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

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

Kim, J., Yi, K. & Danvy, O. (1998). Assessing the Overhead of ML Exceptions by Selective CPS Transformation. B R I C S Report Series, (RS-98-15).

Kirkegaard, C., Møller, A. & Schwartzbach, M. I. (2004). Static Analysis of XML Transformations in Java. I E E E Transactions on Software Engineering, 30(3), 181-192. https://doi.org/10.1109/TSE.2004.1271173

Kjelstrom, A. H. & Pavlogiannis, A. (2022). The Decidability and Complexity of Interleaved Bidirected Dyck Reachability. Proceedings of the ACM on Programming Languages, 6(POPL), Article 12. https://doi.org/10.1145/3498673

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2000). Document Structure Description 1.0. B R I C S Notes Series, (NS-00-7).

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2002). MONA Implementation Secrets. International Journal of Foundations of Computer Science, 13(4), 571-586. https://doi.org/10.1142/S012905410200128X

Klarlund, N. & Møller, A. (2001). MONA Version 1.4 User Manual. B R I C S Notes Series, (NS-01-1).

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2002). The DSD Schema Language. Automated Software Engineering, 9(3), 285-319. https://doi.org/10.1023/A:1016376608070

Kristensen, E. K. & Møller, A. (2019). Reasonably-Most-General Clients for JavaScript Library Analysis. Proceedings of the International Conference on Software Engineering, 83-93. https://doi.org/10.1109/ICSE.2019.00026

Kristensen, L. B., Engberg-Pedersen, E., Nielsen, A. H. & Wallentin, M. (2013). The influence of context on word order processing - an fMRI study. Journal of Neurolinguistics, 26(1), 73-88. https://doi.org/10.1016/j.jneuroling.2012.05.001

Kristensen, E. K. & Møller, A. (2017). Type Test Scripts for TypeScript Testing. Proceedings of the ACM on Programming Languages , 1(OOPSLA), 90:1-90:25. Article 90. https://doi.org/10.1145/3133914

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2020). A Principled Approach to Selective Context Sensitivity for Pointer Analysis. ACM Transactions on Programming Languages and Systems, 42(2), Article 10. https://doi.org/10.1145/3381915

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2018). Precision-Guided Context Sensitivity for Pointer Analysis. Proceedings of the ACM on Programming Languages , 2(OOPSLA), 141:1-141:29. Article 141. https://doi.org/10.1145/3276511

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

Lutze, M., Madsen, M., Schuster, P. & Brachthäuser, J. I. (2023). With or Without You: Programming with Effect Exclusion. Proceedings of the ACM on Programming Languages , 7(ICFP), 448-475. https://doi.org/10.1145/3607846

Madsen, M., Van De Pol, J. & Henriksen, T. (2023). Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 516–543. Article 240. https://doi.org/10.1145/3622816

Midtgaard, J. & Møller, A. (2017). QuickChecking static analysis properties. Software Testing, Verification and Reliability, 27(6), Article e1640. https://doi.org/10.1002/stvr.1640

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

Møller, A. & Schwarz, M. R. (2014). Automated Detection of Client-State Manipulation Vulnerabilities. A C M Transactions on Software Engineering and Methodology, 23/4, Article 29. https://doi.org/10.1145/2531921

Møller, A. (2002). Document Structure Description 2.0. B R I C S Notes Series, (NS-02-7).

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

Møller, A. (2006). Static Analysis for Event-Based XML Processing. B R I C S Report Series, (RS-06-16).

Møller, A., Olesen, M. Ø. & Schwartzbach, M. I. (2007). Static Validation of XSL Transformations. A C M Transactions on Programming Languages and Systems, 29(4), Article 21. https://doi.org/10.1145/1255450.1255454

Møller, A. (2018). Technical Perspective: WebAssembly: A Quiet Revolution of the Web. Communications of the A C M, 61(12), 106-106. https://doi.org/10.1145/3282508

Møller, A. & Schwartzbach, M. I. (2001). The XML Revolution. B R I C S Notes Series, (NS-01-8).

Møller, C., Højlund, A., Bærentsen, K. B., Hansen, N. C., Skewes, J. C. & Vuust, P. (2018). Visually induced gains in pitch discrimination: Linking audio-visual processing with auditory abilities. Attention, Perception & Psychophysics, 80(4), 999-1010. https://doi.org/10.3758/s13414-017-1481-8

Møller, A. & Schwartzbach, M. I. (2011). XML Graphs in Program Analysis. Science of Computer Programming, 76(6), 492-515. https://doi.org/10.1016/j.scico.2009.11.007

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

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.

Pavlogiannis, A., Tkadlec, J., Chatterjee, K. & Nowak, M. A. (2017). Amplification on Undirected Population Structures: Comets Beat Stars. Scientific Reports, 7(1), 82. Article 82. https://doi.org/10.1038/s41598-017-00107-w

Pavlogiannis, A., Chatterjee, K., Adlam, B. & Nowak, M. A. (2015). Cellular cooperation with shift updating and repulsion. Scientific Reports, 5, 17147. https://doi.org/10.1038/srep17147

Pavlogiannis, A., Tkadlec, J., Chatterjee, K. & Nowak, M. A. (2018). Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory. Communications Biology, 1(1), Article 71. https://doi.org/10.1038/s42003-018-0078-7

Pavlogiannis, A., Schaumberger, N., Schmid, U. & Chatterjee, K. (2020). Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11), 3981-3992. Article 9211419. https://doi.org/10.1109/TCAD.2020.3012803

Petersen, B., Andersen, A. S., Trusbak Haumann, N., Højlund, A., Dietz, M., Michel, F., Kamaric Riis, S., Brattico, E. & Vuust, P. (2020). The CI MuMuFe: A New MMN Paradigm for Measuring Music Discrimination in Electric Hearing. Frontiers in Neuroscience, 14, Article 2. https://doi.org/10.3389/fnins.2020.00002

Quiroga Martinez, D. R., Hansen, N. C., Højlund, A., Pearce, M., Brattico, E. & Vuust, P. (2020). Decomposing neural responses to melodic surprise in musicians and non-musicians: evidence for a hierarchy of predictions in the auditory system. NeuroImage, 215, Article 116816. https://doi.org/10.1016/j.neuroimage.2020.116816

Quiroga Martinez, D. R., Hansen, N. C., Højlund, A., Pearce, M., Brattico, E. & Vuust, P. (2020). Musical prediction error responses similarly reduced by predictive uncertainty in musicians and non-musicians. European Journal of Neuroscience, 51(11), 2250-2269. https://doi.org/10.1111/ejn.14667

Quiroga Martinez, D. R., Hansen, N. C., Højlund, A., Pearce, M., Brattico, E. & Vuust, P. (2019). Reduced prediction error responses in high-as compared to low-uncertainty musical contexts. Cortex, 120, 181-200. https://doi.org/10.1101/422949, https://doi.org/10.1016/j.cortex.2019.06.010

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

Sridharan, K. S., Højlund, A., Johnsen, E. L., Sunde, N., Johansen, L. G., Beniczky, S. & Østergaard, K. (2017). Differentiated effects of deep brain stimulation and medication on somatosensory processing in Parkinson's disease. Clinical neurophysiology : official journal of the International Federation of Clinical Neurophysiology, 128(7), 1327-1336. https://doi.org/10.1016/j.clinph.2017.04.014

Stein, B., Nielsen, B. B., Chang, B-Y. E. & Møller, A. (2019). Static Analysis with Demand-driven Value Refinement. Proceedings of the ACM on Programming Languages, 3(OOPSLA), Article 140. https://doi.org/10.1145/3360566

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

Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2021). Fast and strong amplifiers of natural selection. Nature Communications, 12(1), Article 4009. https://doi.org/10.1038/s41467-021-24271-w

Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2020). Limits on amplifiers of natural selection under death-Birth updating. PLOS Computational Biology, 16(1), Article e1007494. https://doi.org/10.1371/journal.pcbi.1007494

Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2019). Population structure determines the tradeoff between fixation probability and fixation time. Communications Biology, 2(1), Article 138. https://doi.org/10.1038/s42003-019-0373-y

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

Tunç, H. C., Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2023). Sound Dynamic Deadlock Prediction in Linear Time. Proceedings of the ACM on Programming Languages , 7, 1733-1758. https://doi.org/10.1145/3591291

Displaying results 151 to 200 out of 444

4

Revised 17.04.2023

-

Sofia Hedegaard Rasmussen