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
: Type and 1st author
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
Contribution to journal
Danvy, O.
& Schultz, U. P.
(2004).
Lambda-lifting in Quadratic Time
.
Journal of Functional and Logic Programming (JFLP)
,
2004
(1).
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).
Danvy, O.
, Rhiger, M. & Rose, K. H. (2001).
Normalization by evaluation with typed abstract syntax
.
Journal of Functional Programming
, 673-680.
https://doi.org/10.1017/S0956796801004166
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.
, Millikin, K., Munk, J.
& Zerny, I.
(2012).
On Inter-deriving Small-step and Big-step Semantics: A Case Study for Storeless Call-by-need Evaluation
.
Theoretical Computer Science
,
435
, 21–42.
https://doi.org/10.1016/j.tcs.2012.02.023
Danvy, O.
(1997).
Online Type-Directed Partial Evaluation
.
B R I C S Report Series
, (RS-97-53).
Danvy, O.
& Rohde, H. K.
(2006).
On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation
.
Information Processing Letters
,
99
(4), 158-162.
Danvy, O.
& Nielsen, L. R. (2002).
On One-Pass CPS Transformations
.
B R I C S Report Series
, (RS-02-3).
Danvy, O.
& Millikin, K.
(2007).
On One-Pass CPS Transformations
.
Journal of Functional Programming
,
17
(6), 793-812.
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.
(2008).
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
.
Information Processing Letters
,
106
(3), 100-109.
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).
Danvy, O.
& Goldberg, M. (1997).
Partial Evaluation of the Euclidian Algorithm
.
Higher-Order and Symbolic Computation
,
10
(2), 101-111.
https://doi.org/10.1023/A:1007736916360
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).
Danvy, O.
& Nielsen, L. R. (2004).
Refocusing in Reduction Semantics
.
B R I C S Report Series
, (RS-04-26).
Danvy, O.
& Millikin, K.
(2009).
Refunctionalization at Work
.
Science of Computer Programming
,
74
(8), 534-549.
https://doi.org/10.1016/j.scico.2009.02.001
Danvy, O.
& Millikin, K.
(2007).
Refunctionalization at Work
.
B R I C S Report Series
, (RS-07-7).
Danvy, O.
, Hentze, N. & Malmkjær, K. (1996).
Resource-bounded partial evaluation
.
A C M Computing Surveys
,
28
(2), 329-332.
https://doi.org/10.1145/234528.234741
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).
Danvy, O.
(2004).
Sur un Exemple de Patrick Greussay
.
B R I C S Report Series
, (RS-04-41).
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).
Danvy, O.
, Malmkjær, K.
& Palsberg, J.
(1995).
The essence of eta-expansion in partial evaluation
.
Higher-Order and Symbolic Computation
,
8
(3), 209-227.
https://doi.org/10.1007/BF01019004
Danvy, O.
& Goldberg, M. (2001).
There and Back Again
.
B R I C S Report Series
, (RS-01-39).
Danvy, O.
& Goldberg, M. (2005).
There and Back Again
.
Fundamenta Informaticae
,
66
(4), 397-413.
Danvy, O.
& Goldberg, M. (2002).
There and Back Again
.
B R I C S Report Series
, (RS-02-12).
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
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
Danvy, O.
(1998).
Type-Directed Partial Evaluation
.
BRICS Lecture Series
, (LS-98-3).
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).
Damian, D.
& Danvy, O.
(2001).
A Simple CPS Transformation of Control-Flow Information
.
B R I C S Report Series
, (RS-01-55).
Damian, D.
& Danvy, O.
(2002).
A Simple CPS Transformation of Control-Flow Information
.
Logic Journal of the IGPL
,
10
(5), 501-515.
https://doi.org/10.1093/jigpal/10.5.501
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).
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).
Damian, D.
& Danvy, O.
(2003).
Syntactic accidents in program analysis: on the impact of the CPS transformation
.
Journal of Functional Programming
,
13
(5), 867-904.
https://doi.org/10.1017/S0956796802004379
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
Christensen, A. S.
, Møller, A.
& Schwartzbach, M. I.
(2003).
Extending Java for High-Level Web Service Construction
.
A C M Transactions on Programming Languages and Systems
,
25
(6), 814-875.
https://doi.org/10.1145/945885.945890
Christensen, A. S.
& Møller, A.
(2002).
JWIG User Manual
.
B R I C S Notes Series
, (NS-02-6).
Cherabini, L.
& Danvy, O.
(2011).
A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration
.
Journal of Formalized Reasoning
,
4
(1), 85-109.
http://jfr.cib.unibo.it/article/view/2225
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
Chatterjee, K.
, Pavlogiannis, A.
, Koessler, A. & Schmid, U. (2018).
Automated competitive analysis of real-time scheduling with graph games
.
Real-Time systems
,
54
(1), 166-207.
https://doi.org/10.1007/s11241-017-9293-4
Chatterjee, K., Goharshady, A. K., Okati, N.
& Pavlogiannis, A.
(2019).
Efficient Parameterized Algorithms for Data Packing
.
Proceedings of the ACM on Programming Languages
,
3
(POPL), Article 53.
https://doi.org/10.1145/3290366
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