Find

For students
For PhDs
For employees

Department of Computer Science

Publications

Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K. & Pavlogiannis, A. (2018). Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. ACM Transactions on Programming Languages and Systems, 40(3), Article 9. https://doi.org/10.1145/3210257

Chatzigiannakis, I., Michail, O., Nikolaou, S., Pavlogiannis, A. & Spirakis, P. G. (2011). All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated Population Protocol Model. Mathematical Foundations of Computer Science 2010, Lecture Notes in Computer Science, 6281, 270. https://doi.org/10.1007/978-3-642-15155-2_25

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

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.

Brabrand, C., Giegerich, R. & Møller, A. (2010). Analyzing Ambiguity of Context-Free Grammars. Science of Computer Programming, 75(3), 176-191. https://doi.org/10.1016/j.scico.2009.11.002

Biernacka, M., Biernacki, D. & Danvy, O. (2005). An Operational Foundation for Delimited Continuations in the CPS Hierarchy. Logical Methods in Computer Science, 1(2). https://doi.org/10.2168/LMCS-1(2:5)2005

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2020). A Principled Approach to Selective Context Sensitivity for Pointer Analysis. ACM Transactions on Programming Languages and Systems, 42(2), Article 10. https://doi.org/10.1145/3381915

Cherabini, L. & Danvy, O. (2011). A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration. Journal of Formalized Reasoning, 4(1), 85-109. http://jfr.cib.unibo.it/article/view/2225

Danvy, O. & Millikin, K. (2007). A Rational Deconstruction of Landin's J Operator. Lecture Notes in Computer Science, 4015, 55-73.

Danvy, O. & Millikin, K. (2008). A Rational Deconstruction of Landin's SECD Machine with the J Operator. Logical Methods in Computer Science, 4(4:12), 1.

Brabrand, C., Møller, A., Sandholm, A. & Schwartzbach, M. I. (1999). A Runtime System for Interactive Web Services. Computer Networks, 31(11-16), 1391-1401. https://doi.org/10.1016/S1389-1286(99)00025-0

Damian, D. & Danvy, O. (2002). A Simple CPS Transformation of Control-Flow Information. Logic Journal of the IGPL, 10(5), 501-515. https://doi.org/10.1093/jigpal/10.5.501

Biernacki, D. & Danvy, O. (2006). A Simple Proof of a Folklore Theorem about Delimited Control. Journal of Functional Programming, 16(3), 269-280.

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

Biernacka, M. & Danvy, O. (2007). A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. Theoretical Computer Science, 76-108.

Biernacka, M. & Danvy, O. (2007). A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. Theoretical Computer Science, 375(1-3), 76-108.

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), Article 4324. https://doi.org/10.1038/s41598-021-83135-x

Danvy, O., Grobauer, B. & Rhiger, M. (2001). A Unifying Approach to Goal-Directed Evaluation. New Generation Computing, 20(1), 53-74. https://doi.org/10.1007/BF03037259

Chatterjee, K., Pavlogiannis, A., Koessler, A. & Schmid, U. (2018). Automated competitive analysis of real-time scheduling with graph games. Real-Time systems, 54(1), 166-207. https://doi.org/10.1007/s11241-017-9293-4

Møller, A. & Schwarz, M. R. (2014). Automated Detection of Client-State Manipulation Vulnerabilities. A C M Transactions on Software Engineering and Methodology, 23/4, Article 29. https://doi.org/10.1145/2531921

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.

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

Pavlogiannis, A., Tkadlec, J., Chatterjee, K. & Nowak, M. A. (2018). Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory. Communications Biology, 1(1), Article 71. https://doi.org/10.1038/s42003-018-0078-7

Højlund, A., Gebauer, L., McGregor, W. B. & Wallentin, M. (2019). Context and perceptual asymmetry effects on the mismatch negativity (MMNm) to speech sounds: an MEG study. Language, Cognition and Neuroscience, 34(5), 545-560. https://doi.org/10.1080/23273798.2019.1572204

Böttger, H., Møller, A. & Schwartzbach, M. I. (2006). Contracts for Cooperation between Web Service Programmers and HTML Designers. Journal of Web Engineering, 5(1), 65-90.

Danvy, O. & Nielsen, L. (2005). CPS Transformation of Beta-Redexes. Information Processing Letters, 94(5), 217-224. https://doi.org/10.1016/j.ipl.2005.02.002

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

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

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2008). Dual Syntax for XML Languages. Information Systems, 33(4), 385-406. https://doi.org/10.1016/j.is.2008.01.006

Chatterjee, K., Goharshady, A. K., Okati, N. & Pavlogiannis, A. (2019). Efficient Parameterized Algorithms for Data Packing. Proceedings of the ACM on Programming Languages, 3(POPL), Article 53. https://doi.org/10.1145/3290366

Danvy, O., Malmkjær, K. & Palsberg, J. (1996). Eta-expansion does The Trick. ACM Transactions on Programming Langauges and Systems (TOPLAS), 18(6), 730-751. https://doi.org/10.1145/236114.236119

Christensen, A. S., Møller, A. & Schwartzbach, M. I. (2003). Extending Java for High-Level Web Service Construction. A C M Transactions on Programming Languages and Systems, 25(6), 814-875. https://doi.org/10.1145/945885.945890

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

Madsen, M., Van De Pol, J. & Henriksen, T. (2023). Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 516–543. Article 240. https://doi.org/10.1145/3622816

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

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

Chatterjee, K., Ibsen-Jensen, R. & Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design, 57(3), 401-428. https://doi.org/10.1007/s10703-021-00373-5

Ager, M. S., Danvy, O. & Rohde, H. K. (2006). Fast Partial Evaluation of Pattern Matching in Strings. A C M Transactions on Programming Languages and Systems, 28(4), 696-714. https://doi.org/10.1145/1146809.1146812

Alimadadi, S., Zhong, D., Madsen, M. & Tip, F. (2018). Finding Broken Promises in Asynchronous JavaScript Programs. Proceedings of the ACM on Programming Languages , 2(OOPSLA), 162:1-162:26. Article 162. https://doi.org/10.1145/3276532

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

Müller, M., Schuster, P., Starup, J. L., Ostermann, K. & Brachthäuser, J. I. (2023). From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), Article 255. https://doi.org/10.1145/3622831

Danvy, O. (2005). From Reduction-based to Reduction-free Normalization. Electronic Notes in Theoretical Computer Science, 124(2), 79-100.

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, Article 102718. https://doi.org/10.1016/j.nicl.2021.102718

Danvy, O. (2000). Functional unparsing. Journal of Functional Programming, 621-625.

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

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

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.

Danvy, O. & Johannsen, J. (2010). Inter-deriving Semantic Artifacts for Object-Oriented Programming. Journal of Computer and System Sciences, 76(5), 302-323. https://doi.org/10.1016/j.jcss.2009.10.004

Danvy, O. & Schultz, U. P. (2000). Lambda-dropping: transforming recursive equations into programs with block structure . Theoretical Computer Science, 248(1-2), 243-287. https://doi.org/10.1016/S0304-3975(00)00054-2

Danvy, O. & Schultz, U. P. (2004). Lambda-lifting in Quadratic Time. Journal of Functional and Logic Programming (JFLP), 2004(1).

Displaying results 101 to 150 out of 444

3

Revised 17.04.2023

-

Sofia Hedegaard Rasmussen