Find

For students
For PhDs
For employees

Department of Computer Science

Publications

Zerny, I. & Danvy, O. (2013). A synthetic operational account of call-by-need evaluation. In R. Peña & T. Schrijvers (Eds.), Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP '13 (pp. 97-108). Association for Computing Machinery. https://doi.org/10.1145/2505879.2505898

Wallentin, M., Vuust, P., Mouridsen, K., Dohn, A., Nielsen, A. H., Roepstorff, A. & Lund, T. E. (2009). Word co-occurrence effects driving language cortex during listening to a narrative. Poster session presented at Organization for Human Brain Mapping 2009 Annual Meeting, San Francisco, United States.

Wallentin, M., Nielsen, A. H., Friis-Olivarius, M., Vuust, C. & Vuust, P. (2010). The Musical Ear Test, a new reliable test for measuring musical competence. Learning and Individual Differences, 20, 188-196.

Wallentin, M., Nielsen, A. H., Vuust, P., Dohn, A., Roepstorff, A. & Lund, T. E. (2010). Amygdala responses from listening to intense parts of a story. Poster session presented at Organisation for Human Brain Mapping, Barcelona, Spain.

Wallentin, M., Nielsen, A. H., Friis-Olivarius, M., Vuust, C. & Vuust, P. (2010). Corrigendum to “The Musical Ear Test, a new reliable test for measuring musical competence” [Learning and Individual Differences Volume 20 (3) (2010) 188–196]. Learning and Individual Differences, 20(6), 705.

Wallentin, M., Nielsen, A. H., Vuust, P., Roepstorff, A., Dohn, A. & Lund, T. E. (2011). BOLD response to motion verbs in left posterior middle temporal gyrus during story comprehension. Brain and Language, 119, 221-225.

Wallentin, M., Nielsen, A. H., Vuust, P., Dohn, A., Roepstorff, A. & Lund, T. E. (2011). Amygdala and heart rate variability responses from listening to emotionally intense parts of a story. NeuroImage, 58(3), 963-973.

Wallentin, M., Kristensen, L. B., Olsen, J. H. & Nielsen, A. H. (2011). Eye movement suppression interferes with construction of object-centered spatial reference frames in working memory. Brain and Cognition, 77, 432-437. https://doi.org/10.1016/j.bandc.2011.08.015

Wallentin, M., Simonsen, A. & Nielsen, A. H. (2013). Action speaks louder than words: Empathy mainly modulates emotions from theory of mind-laden parts of a story. Scientific Study of Literature, 3(1), 137-153.

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 [¹⁸F]GE-179 positron emission tomography. Epilepsia, 62(12), 2899-2908. https://doi.org/10.1111/epi.17074

Veileborg, O. H., Saioc, G-V. & Møller, A. (2023). Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. In iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings (pp. 1-12). Article 32 Association for Computing Machinery. https://doi.org/10.1145/3551349.3561154

Veileborg, O. H. (2023). Localized Static Program Analysis for Optimization and Error Detection. Aarhus Universitet.

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

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

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

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. (2021). Fast and strong amplifiers of natural selection. Nature Communications, 12(1), Article 4009. https://doi.org/10.1038/s41467-021-24271-w

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

Stiévenart, Q. & Madsen, M. (2020). Fuzzing channel-based concurrency runtimes using types and effects. In Proceedings of the ACM on Programming Languages (OOPSLA ed., Vol. 4). Association for Computing Machinery. https://doi.org/10.1145/3428254

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

Starup, J. L., Madsen, M. & Lhoták, O. (2023). Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. In K. Ali & G. Salvaneschi (Eds.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 Article 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.31

Staicu, C. A., Torp, M. T., Schafer, M., Møller, A. & Pradel, M. (2020). Extracting Taint Specifications for JavaScript Libraries. In ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (pp. 198-209). Article 3380390 Association for Computing Machinery. https://doi.org/10.1145/3377811.3380390

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

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.

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.

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). 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

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., 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

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

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.

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.

Schultz, U. P., Danvy, O. (Ed.) & Filinski, A. (Ed.) (2001). Partial Evaluation for Class-Based Object-Oriented Languages. In Lecture Notes In Computer Science: Proceedings of the Second Symposium on Programs as Data Objects (Lecture Notes in Computer Science 2053 ed., Vol. 2053, pp. 173-197). Springer.

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

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.

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). 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.

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., 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. (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

Petsinis, P., Pavlogiannis, A. & Karras, P. (2023). Maximizing the Probability of Fixation in the Positional Voter Model. In B. Williams, Y. Chen & J. Neville (Eds.), AAAI-23 Technical Tracks 10 (pp. 12269-12277). Article 190493 AAAI Press.

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.

Petersen, B., Friis Andersen, A. S., Dietz, M., Højlund, A., Brattico, E., Haumann, N. T., Michel, F., Kamaric Riis, S. & Vuust, P. (2018). The CI MuMuFe - a new MMN paradigm for measuring music discrimination in electric hearing. Poster session presented at MMN 2018: The 8th Mismatch Negativity Conference, Helsinki, Finland.

Petersen, B., Friis Andersen, A. S., Dietz, M., Højlund, A., Brattico, E., Haumann, N. T., Michel, F., Kamaric Riis, S. & Vuust, P. (2018). Musical Listening in Electric Hearing –Two Novel EEG Paradigms for Studying Music Discrimination in Cochlear Implant Users. Poster session presented at 2nd International Music and CI symposium, Montreal, Canada.

Petersen, B., Friis Andersen, A. S., Trusbak Haumann, N., Højlund, A., Dietz, M., Brattico, E., Michel, F., Kamaric Riis, S. & Vuust, P. (2019). The Sound of Music – Two Novel EEG-Paradigms for Measuring Discrimination of Music in Cochlear Implant Users. Abstract from CI2019 Pediatric: 16th Symposium on Cochlear Implants in Children, Hollywood, FL, United States.

Petersen, B., Friis Andersen, A. S., Trusbak Haumann, N., Højlund, A., Dietz, M., Brattico, E., Michel, F., Kamaric Riis, S. & Vuust, P. (2019). Objective Measurements of Music Discrimination in Individual Experienced and Recently Implanted Cochlear Implant Users. Abstract from CI2019 Pediatric: 16th Symposium on Cochlear Implants in Children, Hollywood, FL, United States.

Petersen, B., Friis Andersen, A. S., Trusbak Haumann, N., Højlund, A., Dietz, M., Brattico, E., Michel, F., Kamaric Riis, S. & Vuust, P. (2019). The Sound of Music: Two Novel EEG-Paradigms for Measuring Discrimination of Music in Cochlear Implant Users. Abstract from 2019 Conference on Implantable Auditory Prostheses (CIAP), Lake Tahoe, California, United States.

Displaying results 1 to 50 out of 444

1

Revised 17.04.2023

-

Sofia Hedegaard Rasmussen