Publications

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. Advance online publication. https://doi.org/10.3758/s13414-017-1481-8

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

Quiroga Martinez, D. R., Hansen, N. C., Højlund, A., Brattico, E. & Vuust, P. (2017). A new multifeature mismatch negativity (MMN) paradigm for the study of music perception with more real-sounding stimuli. Poster session presented at Donders Discussions 2017, Nejmegen, Netherlands.

Spencer, B., Benedikt, M., Møller, A. & Breugel, F. V. (2017). ArtForm: A Tool for Exploring the Codebase of Form-based Websites. In K. Sen & T. Bultan (Eds.), ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 380-383). Association for Computing Machinery. https://doi.org/10.1145/3092703.3098226

Andreasen, E., Gong, L., Møller, A., Pradel, M., Selakovic, M., Sen, K. & Staicu, C-A. (2017). A Survey of Dynamic Analysis and Test Generation for JavaScript. A C M Computing Surveys, 50(5), 66:1-66:36. Article 66. https://doi.org/10.1145/3106739

Højlund, A. & Østergaard, K. (2017, Jan 9). Comment on Brocker et al. (2017, Sci Transl Med) at alzforum.org. http://www.alzforum.org/news/research-news/parkinsons-syncopated-dbs-may-beat-current-standard#comment-22906

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. Advance online publication. https://doi.org/10.1016/j.clinph.2017.04.014

Kristensen, E. K. & Møller, A. (2017). Inference and Evolution of TypeScript Declaration Files. In M. Huisman & J. Rubin (Eds.), Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Vol. 10202, pp. 99-115). Springer VS. https://doi.org/10.1007/978-3-662-54494-5_6

Ernst, E., Møller, A., Schwarz, M. & Strocco, F. (2017). Message safety in Dart. Science of Computer Programming, 133/1(1), 51-73. https://doi.org/10.1016/j.scico.2016.06.006

Petersen, B., Friis Andersen, A. S., Højlund, A., Dietz, M., Haumann, N. T., Brattico, E., Ovesen, T. & Vuust, P. (2017). Music Listening in Electric Hearing -designing and testing two novel EEG paradigms for measuring music perception in cochlear implant users. Poster session presented at 15th symposium on Cochlear Implants in children, San Francisco, California, United States.

Quiroga Martinez, D. R., Hansen, N. C., Højlund, A., Brattico, E. & Vuust, P. (2017). Perceptual processing of a complex auditory context: testing a new dichotic multifeature mismatch negativity (MMN) paradigm. Poster session presented at The Neurosciences and Music VI - Music, Sound and Health , Boston, Massachusetts, United States.

Quiroga Martinez, D. R., Hansen, N. C., Højlund, A., Brattico, E. & Vuust, P. (2017). Perceptual processing of a complex musical context: Testing a more realistic mismatch negativity (MMN) paradigm. Poster session presented at MEG NORD 2017, Aarhus, Denmark.

Quiroga Martinez, D. R., Hansen, N. C., Højlund, A., Brattico, E. & Vuust, P. (2017). Perceptual processing of a complex musical context: Testing a more realistic mismatch negativity paradigm. Abstract from European Society for Cognitive Sciences Of Music (ESCOM), Ghent, Belgium.

Adamsen, C. Q., Møller, A. & Tip, F. (2017). Practical Initialization Race Detection for JavaScript Web Applications. Proceedings of the ACM on Programming Languages , 1(OOPSLA), 66:1-66:22. Article 66. https://doi.org/10.1145/3133890

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

Adamsen, C. Q., Møller, A., Karim, R., Sridharan, M., Tip, F. & Sen, K. (2017). Repairing Event Race Errors by Controlling Nondeterminism. In Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017 (pp. 289-299). Article 7985670 IEEE Press. https://doi.org/10.1109/ICSE.2017.34

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.

Andreasen, E. S., Møller, A. & Nielsen, B. B. (2017). Systematic Approaches for Increasing Soundness and Precision of Static Analyzers. In K. Ali & C. Cifuentes (Eds.), SOAP 2017 - Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, co-located with PLDI 2017 (pp. 31-36). Association for Computing Machinery. https://doi.org/10.1145/3088515.3088521

Billes, M., Møller, A. & Pradel, M. (2017). Systematic black-box analysis of collaborative web applications. In PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (Vol. Part F128414, pp. 171-184). Association for Computing Machinery. https://doi.org/10.1145/3062341.3062364

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

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.

Adamsen, C. Q., Mezzetti, G. & Møller, A. (2016). Analyzing Test Completeness for Dynamic Languages. In ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis: ISSTA 2016 (pp. 142-153). Association for Computing Machinery. https://doi.org/10.1145/2931037.2931059

Sridharan, K. S., Højlund, A., Johnsen, E. L., Sunde, N., Beniczky, S. & Østergaard, K. (2016). Corticomuscular coherence during hand gripping with DBS and dopaminergic medication in PD patients. Poster session presented at International DBS Symposium of the Clinical Research Group KFO 247, Berling, Germany.

Sridharan, K. S., Højlund, A., Johnsen, E. L., Sunde, N., Beniczky, S. & Østergaard, K. (2016). Corticomuscular coherence during hand gripping with DBS and medication in PD patients. Poster session presented at Neuroscience day 2016.

Sridharan, K. S., Nielsen, A. H., Johnsen, E. L., Sunde, N., Beniczky, S. & Østergaard, K. (2016). Corticomuscular coherence during isotonic contractions with DBS and medication in PD patients. Poster session presented at II. International Conference on Deep Brain Stimulation (DBS), Düsseldorf, Germany. https://doi.org/10.1016/j.clinph.2016.05.246

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.

Sridharan, K. S., Nielsen, A. H., Johnsen, E. L., Sunde, N., Beniczky, S. & Østergaard, K. (2016). EP 58. Corticomuscular coherence during isotonic contractions with DBS and medication in PD patients. Clinical Neurophysiology, 127(9), e198-e199. https://doi.org/10.1016/j.clinph.2016.05.246

Madsen, M., Tip, F., Andreasen, E. S., Sen, K. & Møller, A. (2016). Feedback-directed instrumentation for deployed JavaScript applications. In Proceedings - 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering Companion, ICSE 2016: ICSE 2016 (pp. 899-910). Association for Computing Machinery. https://doi.org/10.1145/2884781.2884846

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.

Sridharan, K. S., Højlund, A., Sunde, N., Johnsen, E. L., Johansen, L. G., Beniczky, S. & Østergaard, K. (2016). How do treatments affect somatosensory processing in Parkinson's disease - A MEG study. Poster session presented at PhD Day 2016, Aarhus, Denmark.

Heinze, T. S., Møller, A. & Strocco, F. (2016). Type safety analysis for dart. In R. Ierusalimschy (Ed.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages (pp. 1-12). Association for Computing Machinery. https://doi.org/10.1145/2989225.2989226

Mezzetti, G., Møller, A. & Strocco, F. (2016). Type unsoundness in practice: An empirical study of dart. In R. Ierusalimschy (Ed.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages (pp. 13-24). Association for Computing Machinery. https://doi.org/10.1145/2989225.2989227

Højlund, A., Petersen, M. V., Sridharan, K. S. & Østergaard, K. (2016). Worsening of Verbal Fluency After Deep Brain Stimulation in Parkinson's Disease: A Focused Review. Computational and Structural Biotechnology Journal, 15, 68-74.

Danvy, O. (Ed.) (2015). 2015 Workshop on Continuations: pre-proceedings. Department of Computer Science, University of Aarhus. https://doi.org/10.7146/aul.4.4

Biernacki, D., Danvy, O. & Millikin, K. (2015). A dynamic continuation-passing style for dynamic delimited continuations. A C M Transactions on Programming Languages and Systems, 38(1), Article 2. https://doi.org/10.1145/2794078

Jensen, C. S. (2015). Automated Testing of Event-Driven Applications. Department of Computer Science, Aarhus University.

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

Nielsen, A. H. (2015). Context and perceptual asymmetry effects on the mismatch response (MMR) to Danish speech sounds. Paper presented at Language and Perception 2015, Trondheim, Norway.

Sridharan, K. S., Johnsen, E. L., Nielsen, A. H., Beniczky, S., Johansen, L. G., Sunde, N. & Østergaard, K. (2015). Effect of deep brain stimulation (DBS) and medication on somatosensory function in Parkinson’s disease (PD). Poster session presented at Nordic Congress of Clinical Neurophysiology, Helsingør, Denmark.

Danvy, O. & Johannsen, J. (2015). From Outermost Reduction Semantics to Abstract Machine. Department of Computer Science, University of Aarhus. https://doi.org/10.7146/aul.3.2

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.

Ernst, E., Schwarz, M. R., Strocco, F. & Møller, A. (2015). Message Safety in Dart. In Dynamic Languages Symposium 2015, DLS http://cs.au.dk/~amoeller/papers/fletch/paper.pdf

Antoy, S., Johannsen, J. & Libby, S. (2015). Needed computations shortcutting needed steps. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 183, pp. 18-32). Open Publishing Association. https://doi.org/10.4204/EPTCS.183.2

Johannsen, J. (2015). On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction. Department of Computer Science, Aarhus University.

Nielsen, A. H., Gebauer, L., Mcgregor, W. & Wallentin, M. (2015). Perceptual asymmetry effects on the mismatch response (MMR) to Danish speech sounds. Poster session presented at Error Signals from the Brain, Leipzig, Germany.

Midtgaard, J. & Møller, A. (2015). QuickChecking Static Analysis Properties. In 8th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015 (pp. 1-10). IEEE. https://doi.org/10.1109/ICST.2015.7102603

Møller, A. & Naik, M. (2015). SOAP'15: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. In Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2771284

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

Madsen, M. (2015). Static Analysis of Dynamic Languages. Department of Computer Science, Aarhus University.

Displaying results 101 to 150 out of 439

Revised 17.04.2023

Sofia Hedegaard Rasmussen

Department of Computer Science

Publications

Magnus Madsen

Andreas Pavlogiannis

Publications

Faculty

Magnus Madsen

Andreas Pavlogiannis