Quiroga Martinez, D. R., Hansen, N. C., Højlund, A., Brattico, E. & Vuust, P. (2017).
Perceptual processing of a complex musical context: Testing a more realistic mismatch negativity (MMN) paradigm. Poster session presented at MEG NORD 2017, Aarhus, Denmark.
Wallentin, M., Vuust, P., Mouridsen, K., Dohn, A., Nielsen, A. H., Roepstorff, A. & Lund, T. E. (2009).
Word co-occurrence effects driving language cortex during listening to a narrative. Poster session presented at Organization for Human Brain Mapping 2009 Annual Meeting, San Francisco, United States.
Danvy, O. & Hatcliff, J. (2000).
Partial Evaluation. In A. Ralston, E. Reilly & D. Hemmendinger (Eds.),
Encyclopedia of Computer Science (pp. 1370-1371). Macmillan Reference.
Christensen, A. S., Kirkegaard, C. & Møller, A. (2004).
A Runtime System for XML Transformations in Java. In Z. Bellahsene, T. Milo, M. Rys, D. Suciu & R. Unland (Eds.),
Database and XML Technologies: Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004. Proceedings (pp. 143-157). Springer.
https://doi.org/10.1007/978-3-540-30081-6_11
Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A. (2023).
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. In S. Sankaranarayanan & N. Sharygina (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II (pp. 353-371). Springer.
https://doi.org/10.1007/978-3-031-30820-8_22
Danvy, O., Rhiger, M. & Grobauer, B. (2001).
A Unifying Approach to Goal-Directed Evaluation. In W. Taha (Ed.),
Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (pp. 108-125). Springer.
https://doi.org/10.1007/3-540-44806-3_7
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
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
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
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