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
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
Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K.
& Pavlogiannis, A. (2020).
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. In D. Van Hung & O. Sokolsky (Eds.),
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings (pp. 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), Article 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. In P. Müller (Ed.),
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 (pp. 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, Article 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), Article 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 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. Poster session presented at 2019 Conference on Implantable Auditory Prostheses (CIAP), Lake Tahoe, California, United States.
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 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.
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 presented at Neuroscience Day 2019, Aarhus, Denmark.
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.