Mathur, U.
, Pavlogiannis, A., Tunc, H. C. & Viswanathan, M. (2022).
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. In B. Falsafi, M. Ferdman, S. Lu & T. F. Wenisch (Eds.),
ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (pp. 710-725). Association for Computing Machinery. ASPLOS: Architectural Support for Programming Languages and Operating Systems, Proceedings
https://doi.org/10.1145/3503222.3507734
Caltais, G., Hojjat, H., Mousavi, M. R.
& Tunç, H. C. (2022).
DyNetKAT: An Algebra of Dynamic Networks. In P. Bouyer & L. Schröder (Eds.),
Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 184-204). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 13242 LNCS
https://doi.org/10.1007/978-3-030-99253-8_10
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.
Brendborg, J.
, Karras, P., Pavlogiannis, A., Rasmussen, A. U. & Tkadlec, J. (2022).
Fixation Maximization in the Positional Moran Process.
Proceedings of the AAAI Conference on Artificial Intelligence,
36(9, AAAI Technical Track on Multiagent Systems), 9304-9312.
https://doi.org/10.1609/aaai.v36i9.21160
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, [1526].
https://doi.org/10.1038/s41598-022-05333-5
Hansen, N. C., Højlund, A., Møller, C., Pearce, M. & Vuust, P. (2022).
Musicians show more integrated neural processing of contextually relevant acoustic features.
Frontiers in Neuroscience,
16, [907540].
https://doi.org/10.3389/fnins.2022.907540
Ganardi, M., Majumdar, R.
, Pavlogiannis, A., Schütze, L. & Zetzsche, G. (2022).
Reachability in Bidirected Pushdown VASS. In M. Bojanczyk, E. Merelli & D. P. Woodruff (Eds.),
49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022 [124] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 229
https://doi.org/10.4230/LIPIcs.ICALP.2022.124
Chatterjee, K., Svoboda, J., Žikelić, Đ.
, Pavlogiannis, A. & Tkadlec, J. (2022).
Social balance on networks: Local minima and best-edge dynamics.
Physical Review E,
106(3), [034321].
https://doi.org/10.1103/PhysRevE.106.034321
Møller, A. & Sridharan, M. (Eds.) (2021).
35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). In A. Møller & M. Sridharan (Eds.),
35th European Conference on Object-Oriented Programming (ECOOP 2021) (pp. vii-ix). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 194
https://doi.org/10.4230/LIPIcs.ECOOP.2021.0
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 [18F]GE-179 positron emission tomography.
Epilepsia,
62(12), 2899-2908.
https://doi.org/10.1111/epi.17074
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.
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), [4324].
https://doi.org/10.1038/s41598-021-83135-x
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, [102718].
https://doi.org/10.1016/j.nicl.2021.102718
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
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
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, CAV 2021: Proceedings (Vol. 1, pp. 341-366). Springer. Lecture Notes in Computer Science Vol. 12759
https://doi.org/10.1007/978-3-030-81685-8_16
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), [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, [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