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
Mød vores kandidater
Graduation at Department of Computer Science
ChomskyLab
Business Collaboration
Research Collaboration
Student Collaboration
CS Business Club
Business Committee
Continuing Education
CS Alumni
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
Christensen, A. S.
& Møller, A.
(2002).
JWIG User Manual
.
B R I C S Notes Series
, (NS-02-6).
Danvy, O.
& Schultz, U. P.
(1997).
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
.
B R I C S Report Series
, (RS-97-6).
Danvy, O.
& Schultz, U. P.
(1998).
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
.
B R I C S Report Series
, (RS-98-54).
Danvy, O.
& Schultz, U. P.
(1999).
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
.
B R I C S Report Series
, (RS-99-27).
Danvy, O.
& Schultz, U. P.
(2002).
Lambda-Lifting in Quadratic Time
.
B R I C S Report Series
, (RS-02-30).
Danvy, O.
& Schultz, U. P.
(2003).
Lambda-Lifting in Quadratic Time
.
B R I C S Report Series
, (RS-03-26).
Danvy, O.
& Schultz, U. P.
(2004).
Lambda-Lifting in Quadratic Time
.
B R I C S Report Series
, (RS-04-12).
Balat, V.
& Danvy, O.
(2002).
Memoization in Type-Directed Partial Evaluation
.
B R I C S Report Series
, (RS-02-33).
Klarlund, N.
& Møller, A.
(2001).
MONA Version 1.4 User Manual
.
B R I C S Notes Series
, (NS-01-1).
Danvy, O.
, Rhiger, M. & Rose, K. H. (2001).
Normalization by Evaluation with Typed Abstract Syntax
.
B R I C S Report Series
, (RS-01-16).
Danvy, O.
(1997).
Online Type-Directed Partial Evaluation
.
B R I C S Report Series
, (RS-97-53).
Ager, M. S.
, Danvy, O.
& Rohde, H. K.
(2002).
On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation
.
B R I C S Report Series
, (RS-02-32).
Danvy, O.
& Nielsen, L. R. (2002).
On One-Pass CPS Transformations
.
B R I C S Report Series
, (RS-02-3).
Danvy, O.
, Dzafic, B. & Pfenning, F. (1999).
On proving syntactic properties of CPS programs
.
B R I C S Report Series
, (RS-99-23).
Danvy, O.
& Millikin, K.
(2007).
On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion
.
B R I C S Report Series
, (RS-07-16), i-11.
Danvy, O.
& Malmkjær, K. (1996).
On the Idempotence of the CPS Transformation
.
B R I C S Report Series
, (RS-96-14).
Biernacki, D.
& Danvy, O.
(2005).
On the Static and Dynamic Extent of Delimited Continuations
.
B R I C S Report Series
, (RS-05-36).
Danvy, O.
& Goldberg, M. (1997).
Partial Evaluation of the Euclidian Algorithm
.
B R I C S Report Series
, (RS-97-1).
Danvy, O.
(1996).
Pragmatic Aspects of Type-Directed Partial Evaluation
.
B R I C S Report Series
, (RS-96-15).
Biernacka, M.
, Danvy, O.
& Støvring, K.
(2005).
Program Extraction from Proofs of Weak Head Normalization
.
B R I C S Report Series
, (RS-05-12).
Danvy, O.
& Nielsen, L. R. (2004).
Refocusing in Reduction Semantics
.
B R I C S Report Series
, (RS-04-26).
Danvy, O.
& Millikin, K.
(2007).
Refunctionalization at Work
.
B R I C S Report Series
, (RS-07-7).
Danvy, O.
& Vestergaard, R. (1996).
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
.
B R I C S Report Series
, (RS-96-13).
Møller, A.
(2006).
Static Analysis for Event-Based XML Processing
.
B R I C S Report Series
, (RS-06-16).
Balat, V.
& Danvy, O.
(1997).
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation
.
B R I C S Report Series
, (RS-97-43).
Danvy, O.
(2004).
Sur un Exemple de Patrick Greussay
.
B R I C S Report Series
, (RS-04-41).
Damian, D.
& Danvy, O.
(2001).
Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation
.
B R I C S Report Series
, (RS-01-54).
Daniel, D.
& Danvy, O.
(2000).
Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation
.
B R I C S Report Series
, (RS-00-15).
Danvy, O.
& Nielsen, L. R. (2001).
Syntactic Theories in Practice
.
B R I C S Report Series
, (RS-01-31).
Danvy, O.
& Nielsen, L. R. (2002).
Syntactic Theories in Practice
.
B R I C S Report Series
, (RS-02-4).
Danvy, O.
& Lopez, P. E. M. (2003).
Tagging, Encoding, and Jones Optimality
.
B R I C S Report Series
, (RS-03-2).
Møller, A.
(2018).
Technical Perspective: WebAssembly: A Quiet Revolution of the Web
.
Communications of the A C M
,
61
(12), 106-106.
https://doi.org/10.1145/3282508
Amtoft, T., Consel, C.
, Danvy, O.
& Malmkjær, K. (2001).
The Abstraction and Instantiation of String-Matching Programs
.
B R I C S Report Series
, (RS-01-12).
Danvy, O.
& Goldberg, M. (2001).
There and Back Again
.
B R I C S Report Series
, (RS-01-39).
Danvy, O.
& Goldberg, M. (2002).
There and Back Again
.
B R I C S Report Series
, (RS-02-12).
Møller, A.
& Schwartzbach, M. I.
(2001).
The XML Revolution
.
B R I C S Notes Series
, (NS-01-8).
Hatcliff, J.
& Danvy, O.
(1996).
Thunks and the λ-calculus
.
B R I C S Report Series
, (RS-96-19).
Hatcliff, J.
& Danvy, O.
(1997).
Thunks and the λ-calculus
.
B R I C S Report Series
, (RS-97-7).
Danvy, O.
(1998).
Type-Directed Partial Evaluation
.
BRICS Lecture Series
, (LS-98-3).
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
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
.
Biernacka, M.
& Danvy, O.
(2007).
A Concrete Framework for Environment Machines
.
A C M Transactions on Computational Logic
,
9
(1), 1-30.
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.
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 [
18
F]GE-179 positron emission tomography
.
Epilepsia
,
62
(12), 2899-2908.
https://doi.org/10.1111/epi.17074
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
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
.
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.
(2005).
A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
.
Theoretical Computer Science
,
342
(1), 149-172.
Displaying results
51 to 100
out of
444
Previous
1
2
3
4
5
6
7
8
9
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