Agarwal, P., Chatterjee, K., Pathak, S.
, Pavlogiannis, A. & Toman, V. (2021).
Stateless Model Checking Under a Reads-Value-From Equivalence. I A. Silva, K. Rustan & M. Leino (red.),
Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: Proceedings (Bind 1, s. 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 præsenteret på 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), Artikel 164.
https://doi.org/10.1145/3485541
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, Artikel 116816.
https://doi.org/10.1016/j.neuroimage.2020.116816
Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K.
& Pavlogiannis, A. (2020).
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. I D. Van Hung & O. Sokolsky (red.),
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings (s. 253-270). Springer.
https://doi.org/10.1007/978-3-030-59152-6_14
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
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
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R.
& Pavlogiannis, A. (2020).
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. I P. Müller (red.),
Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings (s. 112-140). Springer.
https://doi.org/10.1007/978-3-030-44914-8_5
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, Artikel 2.
https://doi.org/10.3389/fnins.2020.00002
Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R.
& Pavlogiannis, A. (2019).
Faster algorithms for dynamic algebraicqueries in basic RSMs with constant treewidth.
ACM Transactions on Programming Languages and Systems,
41(4), Artikel 23.
https://doi.org/10.1145/3363525
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 fra CI2019 Pediatric: 16th Symposium on Cochlear Implants in Children, Hollywood, FL, USA.
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. Poster session præsenteret på 2019 Conference on Implantable Auditory Prostheses (CIAP), Lake Tahoe, California, USA.
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
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 fra CI2019 Pediatric: 16th Symposium on Cochlear Implants in Children, Hollywood, FL, USA.
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 fra 2019 Conference on Implantable Auditory Prostheses (CIAP), Lake Tahoe, California, USA.
Møller, C., Højlund, A., Bærentsen, K. B., Hansen, N. C., Skewes, J. & Vuust, P. (2019).
You get what you need: individual differences in visually-induced amplification of the auditory mismatch negativity. Poster session præsenteret på Neuroscience Day 2019, Aarhus, Danmark.
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 præsenteret på 2nd International Music and CI symposium, Montreal, Canada.