Publications

Adamsen, C. Q., Mezzetti, G. & Møller, A. (2016). Analyzing Test Completeness for Dynamic Languages. In ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis: ISSTA 2016 (pp. 142-153). Association for Computing Machinery. https://doi.org/10.1145/2931037.2931059

Brabrand, C., Giegerich, R. & Møller, A. (2006). Analyzing Ambiguity of Context-Free Grammars. B R I C S Report Series, (RS-06-09).

Brabrand, C., Giegerich, R. & Møller, A. (2007). Analyzing Ambiguity of Context-Free Grammars. In Proc. 12th International Conference on Implementation and Application of Automata

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

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.

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

Nielsen, A. H., Horn, N. T., Sørensen, S. D., Mcgregor, W. & Wallentin, M. (2014). A longitudinal study of adult foreign language learning. Paper presented at Bias in Auditory Perception, Aarhus, Denmark.

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

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

Bonsangue, M., Caltais, G., Feng, H. & Tunç, H. C. (2022). A Language-Based Causal Model for Safety. In Y. Aït-Ameur & F. Craciun (Eds.), Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Proceedings (pp. 290-307). Springer. https://doi.org/10.1007/978-3-031-10363-6_20

Danvy, O. (2002). A Lambda-Revelation of the SECD Machine. B R I C S Report Series, (RS-02-53).

Danvy, O. (2003). A Journey from Interpreters to Compilers and Virtual Machines. In F. Pfenning & Y. Smaragdakis (Eds.), Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings (pp. 117). Springer. https://doi.org/10.1007/978-3-540-39815-8_7

Danvy, O. & Nielsen, L. R. (2001). A Higher-Order Colon Translation. In H. Kuchen & K. Ueda (Eds.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (pp. 78-91). Springer. https://doi.org/10.1007/3-540-44716-4_5

Danvy, O. & Nielsen, L. R. (2000). A Higher-Order Colon Translation. B R I C S Report Series, (RS-00-33).

Ager, M. S., Danvy, O. & Midtgaard, J. (2003). A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. B R I C S Report Series, (RS-03-35).

Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. B R I C S Report Series, (RS-04-28).

Ager, M. S., Danvy, O. & Midtgaard, J. (2005). A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. Theoretical Computer Science, 342(1), 149-172.

Ager, M. S., Biernacki, D., Danvy, O. & Midtgaard, J. (2003). A Functional Correspondence Between Evaluators and Abstract Machines. In K. Sagonas & D. Miller (Eds.), Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (pp. 8-19). Association for Computing Machinery. https://doi.org/10.1145/888251.888254

Ager, M. S., Danvy, O. & Midtgaard, J. (2003). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. B R I C S Report Series, (RS-03-24).

Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. Information Processing Letters, 90(5), 223-232. https://doi.org/10.1016/j.ipl.2004.02.012

Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. B R I C S Report Series, (RS-04-3).

Artzi, S., Dolby, J., Jensen, S. H., Møller, A. & Tip, F. (2011). A Framework for Automated Testing of JavaScript Web Applications. In Proceeding of the 33rd International Conference on Software Engineering (pp. 571-580). Association for Computing Machinery. https://doi.org/10.1145/1985793.1985871

Danvy, O. & Nielsen, L. R. (2002). A First-Order One-Pass CPS Transformation. In M. Nielsen & U. Engberg (Eds.), Foundations of Software Science and Computer Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings (pp. 367-393). Springer. https://doi.org/10.1007/3-540-45931-6_8

Danvy, O. & Nielsen, L. R. (2003). A First-Order One-Pass CPS Transformation. Theoretical Computer Science, 308(1), 239-257.

Danvy, O. & Nielsen, L. R. (2001). A First-Order One-Pass CPS Transformation. B R I C S Report Series, RS-01-49.

Biernacki, D., Danvy, O. & Millikin, K. S. (2005). A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. B R I C S Report Series, (RS-05-16), 1-26.

Biernacki, D., Danvy, O. & Millikin, K. (2015). A dynamic continuation-passing style for dynamic delimited continuations. A C M Transactions on Programming Languages and Systems, 38(1), Article 2. https://doi.org/10.1145/2794078

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.

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 [¹⁸F]GE-179 positron emission tomography. Epilepsia, 62(12), 2899-2908. Advance online publication. https://doi.org/10.1111/epi.17074

Wallentin, M., Simonsen, A. & Nielsen, A. H. (2013). Action speaks louder than words: Empathy mainly modulates emotions from theory of mind-laden parts of a story. Scientific Study of Literature, 3(1), 137-153.

Biernacka, M. & Danvy, O. (2007). A Concrete Framework for Environment Machines. A C M Transactions on Computational Logic, 9(1), 1-30.

Hatcliff, J. & Danvy, O. (1997). A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7(5), 507-541. https://doi.org/10.1017/S0960129597002405

Hatcliff, J. & Danvy, O. (1996). A computational formalization for partial evaluation. B R I C S Report Series, RS-96-34.

Clausen, C., Danvy, O. & Masuko, M. (2014). A Characterization of Moessner's Sieve. Theoretical Computer Science, 546(August), 244–256. https://doi.org/10.1016/j.tcs.2014.03.012

Danvy, O. & Midtgaard, J. (2011). Abstracting abstract machines: technical perspective. Association for Computing Machinery. Communications, 54(9), 100-100. https://doi.org/10.1145/1995376.1995399

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. https://doi.org/10.4230/LIPIcs.ECOOP.2021.0

Danvy, O. (Ed.) (2015). 2015 Workshop on Continuations: pre-proceedings. Department of Computer Science, University of Aarhus. https://doi.org/10.7146/aul.4.4

Danvy, O., Glück, R. & Thiemann, P. (1998). 1998 Symposium on Partial Evaluation. A C M Computing Surveys, 30(3). https://doi.org/10.1145/292469.293684

Displaying results 401 to 439 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