Publications

Danvy, O. & Talcott, C. (2009). Editorial. Higher-Order and Symbolic Computation, 22(2), 113-113. https://doi.org/10.1007/s10990-009-9045-9

Danvy, O. & Talcott, C. (2010). Editorial. Higher-Order and Symbolic Computation, 22(3), 197. https://doi.org/10.1007/s10990-010-9051-y

Danvy, O. & Talcott, C. (2010). Editorial. Higher-Order and Symbolic Computation, 22(4), 293. https://doi.org/10.1007/s10990-010-9052-x

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. https://doi.org/10.1007/978-3-030-99253-8_10

Kulkarni, R., Mathur, U. & Pavlogiannis, A. (2021). Dynamic Data-Race Detection Through the Fine-Grained Lens. In S. Haddad & D. Varacca (Eds.), 32nd International Conference on Concurrency Theory (CONCUR 2021) (pp. 16:1-16:23). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2021.16

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2005). Dual Syntax for XML Languages. In Database Programming Languages: 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers (pp. 27-41). Springer. https://doi.org/10.1007/11601524_2

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

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2000). DSD: A Schema Language for XML. In Proceedings of the third workshop on Formal methods in software practice (pp. 101-111). Association for Computing Machinery. https://doi.org/10.1145/349360.351158

Møller, A. (2002). Document Structure Description 2.0. B R I C S Notes Series, (NS-02-7).

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2000). Document Structure Description 1.0. B R I C S Notes Series, (NS-00-7).

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. Advance online publication. https://doi.org/10.1016/j.clinph.2017.04.014

Andreasen, E. & Møller, A. (2014). Determinacy in Static Analysis of jQuery. In A. Black & T. Millstein (Eds.), Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA '14 (pp. 17-31 ). Association for Computing Machinery. https://doi.org/10.1145/2660193.2660214

Nielsen, B. B., Torp, M. T. & Møller, A. (2020). Detecting Locations in JavaScript Programs Affected by Breaking Library Changes. Proceedings of the ACM on Programming Languages, 4(OOPSLA), Article 187. https://doi.org/10.1145/3428255

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

Danvy, O. (2008). Defunctionalized Interpreters for Programming Languages. A C M / S I G P L A N Notices, (9), 131-142.

Danvy, O., Millikin, K., Munk, J. & Zerny, I. (2010). Defunctionalized Interpreters for Call-by-Need Evaluation. Lecture Notes in Computer Science, 6009, 240-256. https://doi.org/10.1007/978-3-642-12251-4_18

Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. B R I C S Report Series, (RS-01-23).

Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. In roceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (pp. 162-174). Association for Computing Machinery. https://doi.org/10.1145/773184.773202

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. Advance online publication. https://doi.org/10.1016/j.neuroimage.2020.116816

Danvy, O. (1996). Décompilation de lambda-interprètes. In JFLA '96 - Journées Francophones des Langages Applicatifs (Vol. 15)

Damian, D. & Danvy, O. (2001). CPS Transformation of Flow Information, Part II: Administrative Reductions. B R I C S Report Series, (RS-01-40).

Damian, D. & Danvy, O. (2003). CPS Transformation of Flow Information, Part II: Administrative Reductions. Journal of Functional Programming, 13(5), 925-933. https://doi.org/10.1017/S0956796803004702

Damian, D. & Danvy, O. (2002). CPS Transformation of Flow Information, Part II: Administrative Reductions. B R I C S Report Series, (RS-02-36).

Danvy, O. & Nielsen, L. R. (2004). CPS Transformation of Beta-Redexes. B R I C S Report Series, (RS-04-39).

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

Danvy, O. & Nielsen, L. R. (2001). CPS Transformation of Beta-Redexes. In Proceedings of the Third ACM SIGPLAN Workshop on Continuations

Danvy, O. & Nielsen, L. R. (2000). CPS Transformation of Beta-Redexes. B R I C S Report Series, (RS-00-35).

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

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.

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.

Nielsen, A. H. (2015). Context and perceptual asymmetry effects on the mismatch response (MMR) to Danish speech sounds. Paper presented at Language and Perception 2015, Trondheim, Norway.

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

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

Danvy, O. & Rhiger, M. (1997). Compiling Actions by Type-Directed Partial Evaluation. In Proceedings of the Nordic Workshop on Programming Theory. NWPT'97

Danvy, O. & Rhiger, M. (1998). Compiling Actions by Partial Evaluation, Revisited. B R I C S Report Series, (RS-98-13).

Elgaard, J., Møller, A. & Schwartzbach, M. I. (2000). Compile-Time Debugging of C Programs Working on Trees. In G. Smolka (Ed.), Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (pp. 119-134). Springer. https://doi.org/10.1007/3-540-46425-5_8

Højlund, A. & Østergaard, K. (2017, Jan 9). Comment on Brocker et al. (2017, Sci Transl Med) at alzforum.org. http://www.alzforum.org/news/research-news/parkinsons-syncopated-dbs-may-beat-current-standard#comment-22906

Danvy, O., Thiemann, P. & Zerny, I. (2013). Circularity and Lambda Abstraction. In Proceedings, The 25th symposium on Implementation and Application of Functional Languages. ScienceGate. http://www.sciencegate.ch/home?p_p_id=new_search_portlet_WAR_PSW_3_SciencegatePortlets&p_p_lifecycle=1&p_p_state=normal&p_p_mode=view&p_p_col_id=column-3&p_p_col_pos=1&p_p_col_count=4&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_action=search&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_field=dc.source&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_mode=mode.exact&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_sort=&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_query=The+25th+symposium+on+Implementation+and+Application+of+Functional+Languages.

Feldthaus, A. & Møller, A. (2014). Checking Correctness of TypeScript Interfaces for JavaScript Libraries. In OOPSLA '14 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications Association for Computing Machinery. https://doi.org/10.1145/2660193.2660215

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

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

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.

Danvy, O. & Lawall, J. (1996). Back to Direct Style II: First-Class Continuations. B R I C S Report Series, (RS-96-20).

Danvy, O., Johannsen, J. & Zerny, I. (2011). A Walk in the Semantic Park. In S-C. Khoo & J. Siek (Eds.), Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation (pp. 1-12). Association for Computing Machinery. https://doi.org/10.1145/1929501.1929503

Danvy, O., Henglein, F., Mairson, H. & Pettorossi, A. (Eds.) (2008). Automatic Program Development: A Tribute to Robert Paige. Springer.

Jensen, C. S., Prasad, M. R. & Møller, A. (2013). Automated Testing with Targeted Event Sequence Generation. In M. Pezzè & M. Harman (Eds.), International Symposium on Software Testing and Analysis (ISSTA), 2013: Proceedings (pp. 67-77). Association for Computing Machinery. https://doi.org/10.1145/2483760.2483777

Jensen, C. S. (2015). Automated Testing of Event-Driven Applications. Department of Computer Science, Aarhus University.

Møller, A. & Schwarz, M. (2012). Automated Detection of Client-State Manipulation Vulnerabilities. In M. Glinz, G. Murphy & M. Pezzè (Eds.), 34th International Conference on Software Engineering (ICSE 2012) : Proceedings (pp. 749 - 759 ). IEEE Communications Society. https://doi.org/10.1109/ICSE.2012.6227143

Displaying results 301 to 350 out of 439

Revised 17.04.2023

Sofia Hedegaard Rasmussen

Department of Computer Science

Publications

Magnus Madsen

Andreas Pavlogiannis

Publications

Faculty

Magnus Madsen

Andreas Pavlogiannis