Aarhus University logo
Find
For students
For PhDs
For employees
Local study portal
Computer Science
IT Product Development
Local PhD portal
Application Guide
Computer Science
Pages for all PhD students
phd.au.dk
Local staff information
Department of Computer Science
Pages for staff members at AU
medarbejdere.au.dk/en/
Department of
Computer Science
About Us
Strategy
Anniversary
Organisation
Honorary doctor and professors
Vacancies
Code of Conduct
Research
Algorithms, Data Structures and Foundations of Machine Learning
Collaboration and Computer-Human Interaction
Computational Complexity and Game Theory
Data-Intensive Systems
Cryptography and Security
Logic and Semantics
Programming Languages
Ubiquitous Computing and Interaction
Bioinformatics
Use, Design and Innovation
Modelling and Validation of Distributed Systems
Centers
Publications
PhD Studies
Education
Studievalg
Bachelor
Master
PhD
Continuing education
Study environment
ALICE
CS Alumni
Mød vores kandidater
Graduation at Department of Computer Science
ChomskyLab
Collaboration
Research Collaboration
Student Collaboration
CS Business Club
Business Committee
News & Events
News
Events
CS Colloquium
Camps and Competitions
Contact
Management and Heads of Research
Researchers
All employees
For the press
Gymnasiesamarbejde
Department of Computer Science
Research
Programming Languages
Publications
Research
Algorithms, Data Structures and Foundations of Machine Learning
Collaboration and Computer-Human Interaction
Computational Complexity and Game Theory
Data-Intensive Systems
Cryptography and Security
Logic and Semantics
Programming Languages
Projects
People
Publications
Ubiquitous Computing and Interaction
Bioinformatics
Use, Design and Innovation
Modelling and Validation of Distributed Systems
Centers
Publications
PhD Studies
Publications
Sort by
:
Sort by
Author
Date
Title
Type
Type and 1st author
Year
Year and 1st author
Year, type and 1st author
Sort in
Ascending order
Descending order
Kristensen, L. B., Engberg-Pedersen, E.
, Nielsen, A. H.
& Wallentin, M.
(2013).
The influence of context on word order processing - an fMRI study
.
Journal of Neurolinguistics
,
26
(1), 73-88.
https://doi.org/10.1016/j.jneuroling.2012.05.001
Brabrand, C.
, Møller, A.
& Schwartzbach, M. I. (2002).
The <bigwig> Project
.
A C M Transactions on Internet Technology
,
2
(2), 79-114.
https://doi.org/10.1145/514183.514184
Wallentin, M.
, Nielsen, A. H.
, Friis-Olivarius, M., Vuust, C.
& Vuust, P.
(2010).
The Musical Ear Test, a new reliable test for measuring musical competence
.
Learning and Individual Differences
,
20
, 188-196.
Danvy, O.
& Goldberg, M. (2005).
There and Back Again
.
Fundamenta Informaticae
,
66
(4), 397-413.
Danvy, O.
& Zerny, I. (2013).
Three Syntactic Theories for Combinatory Graph Reduction
.
A C M Transactions on Computational Logic
,
14
(4), Article 29.
https://doi.org/10.1145/2528932
Hatcliff, J.
& Danvy, O.
(1997).
Thunks and the λ-calculus
.
Journal of Functional Programming
,
7
(3), 303-319.
Hansen, J. C.
, Kjelstrøm, A. H.
& Pavlogiannis, A.
(2021).
Tight bounds for reachability problems on one-counter and pushdown systems
.
Information Processing Letters
,
171
, Article 106135.
https://doi.org/10.1016/j.ipl.2021.106135
Danvy, O.
(2009).
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines
.
Lecture Notes in Computer Science
,
5700
, 162-185.
https://doi.org/10.1007/978-3-642-04164-8_9
Biernacka, M.
& Danvy, O.
(2009).
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines
.
Lecture Notes in Computer Science
,
5700
, 186-206.
https://doi.org/10.1007/978-3-642-04164-8_10
Kristensen, E. K.
& Møller, A.
(2017).
Type Test Scripts for TypeScript Testing
.
Proceedings of the ACM on Programming Languages
,
1
(OOPSLA), 90:1-90:25. Article 90.
https://doi.org/10.1145/3133914
Chatterjee, K.
, Pavlogiannis, A.
& Toman, V. (2019).
Value-centric Dynamic Partial Order Reduction
.
Proceedings of the ACM on Programming Languages
,
3
(OOPSLA), Article 124.
https://doi.org/10.1145/3360550
Møller, C.
, Højlund, A.
, Bærentsen, K. B.
, Hansen, N. C.
, Skewes, J. C.
& Vuust, P.
(2018).
Visually induced gains in pitch discrimination: Linking audio-visual processing with auditory abilities
.
Attention, Perception & Psychophysics
,
80
(4), 999-1010.
https://doi.org/10.3758/s13414-017-1481-8
Lutze, M.
, Madsen, M.
, Schuster, P. & Brachthäuser, J. I. (2023).
With or Without You: Programming with Effect Exclusion
.
Proceedings of the ACM on Programming Languages
,
7
(ICFP), 448-475.
https://doi.org/10.1145/3607846
Møller, A.
& Schwartzbach, M. I. (2011).
XML Graphs in Program Analysis
.
Science of Computer Programming
,
76
(6), 492-515.
https://doi.org/10.1016/j.scico.2009.11.007
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
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.
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
.
B R I C S Report Series
, (RS-04-3).
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).
Danvy, O.
& Nielsen, L. R. (2000).
A Higher-Order Colon Translation
.
B R I C S Report Series
, (RS-00-33).
Danvy, O.
(2002).
A Lambda-Revelation of the SECD Machine
.
B R I C S Report Series
, (RS-02-53).
Brabrand, C., Giegerich, R.
& Møller, A.
(2006).
Analyzing Ambiguity of Context-Free Grammars
.
B R I C S Report Series
, (RS-06-09).
Danvy, O.
(2002).
A New One-Pass Transformation into Monadic Normal Form
.
B R I C S Report Series
, (RS-02-52).
Danvy, O.
(1998).
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
.
B R I C S Report Series
, (RS-98-2).
Danvy, O.
(1999).
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
.
B R I C S Report Series
, (RS-99-21).
Biernacka, M., Biernacki, D.
& Danvy, O.
(2003).
An Operational Foundation for Delimited Continuations
.
B R I C S Report Series
, (RS-03-41).
Biernacka, M., Biernacki, D.
& Danvy, O.
(2004).
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
.
B R I C S Report Series
, (RS-04-29).
Danvy, O.
& Yang, Z. (1998).
An Operational Investigation of the CPS Hierarchy
.
B R I C S Report Series
, (RS-98-35).
Danvy, O.
& Millikin, K. (2006).
A Rational Deconstruction of Landin's J Operator
.
B R I C S Report Series
, (RS-06-17).
http://www.brics.dk/RS/06/17/BRICS-RS-06-17.pdf
Danvy, O.
(2003).
A Rational Deconstruction of Landin's SECD Machine
.
B R I C S Report Series
, (RS-03-33).
Danvy, O.
& Millikin, K. (2007).
A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines
.
B R I C S Report Series
, (RS-07-8).
Damian, D.
& Danvy, O.
(2001).
A Simple CPS Transformation of Control-Flow Information
.
B R I C S Report Series
, (RS-01-55).
Biernacki, D.
& Danvy, O.
(2005).
A Simple Proof of a Folklore Theorem about Delimited Control
.
B R I C S Report Series
, (RS-05-25).
Danvy, O.
(1998).
A Simple Solution to Type Specialization
.
B R I C S Report Series
, (RS-98-1).
Danvy, O.
& Rhiger, M. (2000).
A Simple Take on Typed Abstract Syntax in Haskell-Like Languages
.
B R I C S Report Series
, (RS-00-34).
Kim, J., Yi, K.
& Danvy, O.
(1998).
Assessing the Overhead of ML Exceptions by Selective CPS Transformation
.
B R I C S Report Series
, (RS-98-15).
Ager, M. S.
, Danvy, O.
& Goldberg, M. (2002).
A Symmetric Approach to Compilation and Decompilation
.
B R I C S Report Series
, (RS-02-37).
Biernacka, M.
& Danvy, O.
(2005).
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
.
B R I C S Report Series
, (RS-05-38).
Danvy, O.
, Grobauer, B. & Rhiger, M. (2001).
A Unifying Approach to Goal-Directed Evaluation
.
B R I C S Report Series
, (RS-01-29).
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.
& Rhiger, M. (1998).
Compiling Actions by Partial Evaluation, Revisited
.
B R I C S Report Series
, (RS-98-13).
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. R. (2000).
CPS Transformation of Beta-Redexes
.
B R I C S Report Series
, (RS-00-35).
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).
Damian, D.
& Danvy, O.
(2001).
CPS Transformation of Flow Information, Part II: Administrative Reductions
.
B R I C S Report Series
, (RS-01-40).
Danvy, O.
& Nielsen, L. R. (2001).
Defunctionalization at Work.
B R I C S Report Series
, (RS-01-23).
Klarlund, N.
, Møller, A.
& Schwartzbach, M. I. (2000).
Document Structure Description 1.0
.
B R I C S Notes Series
, (NS-00-7).
Møller, A.
(2002).
Document Structure Description 2.0
.
B R I C S Notes Series
, (NS-02-7).
Displaying results
351 to 400
out of
453
Previous
1
2
3
4
5
6
7
8
9
10
Next
Faculty
Magnus
Madsen
Associate Professor
M
magnusm@cs.au.dk
Andreas
Pavlogiannis
Associate Professor
M
pavlogiannis@cs.au.dk
Revised 17.04.2023
-
Sofia Hedegaard Rasmussen