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
Højlund, A.
, Gebauer, L.
, McGregor, W. B.
& Wallentin, M.
(2019).
Context and perceptual asymmetry effects on the mismatch negativity (MMNm) to speech sounds: an MEG study
.
Language, Cognition and Neuroscience
,
34
(5), 545-560.
https://doi.org/10.1080/23273798.2019.1572204
Højlund, A.
, Horn, N. T.
, Sørensen, S. D.
, McGregor, W. B.
& Wallentin, M.
(2022).
Foreign language learning and the mismatch negativity (MMN): A longitudinal ERP study
.
Neuroimage: Reports
,
2
(4), Article 100138.
https://doi.org/10.1016/j.ynirp.2022.100138
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
.
Hatcliff, J.
& Danvy, O.
(1997).
Thunks and the λ-calculus
.
Journal of Functional Programming
,
7
(3), 303-319.
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).
Hansen, N. C.
, Højlund, A.
, Møller, C.
, Pearce, M.
& Vuust, P.
(2022).
Musicians show more integrated neural processing of contextually relevant acoustic features
.
Frontiers in Neuroscience
,
16
, Article 907540.
https://doi.org/10.3389/fnins.2022.907540
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
Gansonre, C.
, Højlund, A.
, Leminen, A.
, Bailey, C.
& Shtyrov, Y.
(2018).
Task-free auditory EEG paradigm for probing multiple levels of speech processing in the brain
.
Psychophysiology
,
55
(11), Article e13216.
https://doi.org/10.1111/psyp.13216
Ernst, E.
, Møller, A.
, Schwarz, M.
& Strocco, F.
(2017).
Message safety in Dart
.
Science of Computer Programming
,
133/1
(1), 51-73.
https://doi.org/10.1016/j.scico.2016.06.006
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
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
.
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).
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).
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.
& Millikin, K.
(2007).
A Rational Deconstruction of Landin's J Operator
.
Lecture Notes in Computer Science
,
4015
, 55-73.
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.
(2008).
A Rational Deconstruction of Landin's SECD Machine with the J Operator
.
Logical Methods in Computer Science
,
4
(4:12), 1.
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).
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).
Danvy, O.
, Grobauer, B. & Rhiger, M. (2001).
A Unifying Approach to Goal-Directed Evaluation
.
New Generation Computing
,
20
(1), 53-74.
https://doi.org/10.1007/BF03037259
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. (2005).
CPS Transformation of Beta-Redexes
.
Information Processing Letters
,
94
(5), 217-224.
https://doi.org/10.1016/j.ipl.2005.02.002
Danvy, O.
& Nielsen, L. R. (2000).
CPS Transformation of Beta-Redexes
.
B R I C S Report Series
, (RS-00-35).
Danvy, O.
& Nielsen, L. R. (2001).
Defunctionalization at Work.
B R I C S Report Series
, (RS-01-23).
Danvy, O.
, Malmkjær, K.
& Palsberg, J.
(1996).
Eta-expansion does The Trick
.
ACM Transactions on Programming Langauges and Systems (TOPLAS)
,
18
(6), 730-751.
https://doi.org/10.1145/236114.236119
Danvy, O.
, Malmkjær, K.
& Palsberg, J.
(1995).
Eta-Expansion Does The Trick
.
B R I C S Report Series
, (RS-95-41).
Danvy, O.
, Malmkjær, K.
& Palsberg, J.
(1996).
Eta-Expansion Does The Trick
.
B R I C S Report Series
, (RS-96-17).
Danvy, O.
(1999).
Formalizing Implementation Strategies for First-Class Continuations
.
B R I C S Report Series
, (RS-99-51).
Danvy, O.
(1998).
Formatting Strings in ML
.
B R I C S Report Series
, (RS-98-5).
Danvy, O.
(2005).
From Reduction-based to Reduction-free Normalization
.
Electronic Notes in Theoretical Computer Science
,
124
(2), 79-100.
Danvy, O.
(2004).
From Reduction-Based to Reduction-Free Normalization
.
B R I C S Report Series
, (RS-04-30).
Danvy, O.
(2000).
Functional unparsing
.
Journal of Functional Programming
, 621-625.
Danvy, O.
(1998).
Functional Unparsing
.
B R I C S Report Series
, (RS-98-12).
Danvy, O.
& Rose, K. H. (1997).
Higher-Order Rewriting and Partial Evaluation
.
B R I C S Report Series
, (RS-97-46).
Danvy, O.
& Johannsen, J.
(2010).
Inter-deriving Semantic Artifacts for Object-Oriented Programming
.
Journal of Computer and System Sciences
,
76
(5), 302-323.
https://doi.org/10.1016/j.jcss.2009.10.004
Danvy, O.
& Schultz, U. P.
(2000).
Lambda-dropping: transforming recursive equations into programs with block structure
.
Theoretical Computer Science
,
248
(1-2), 243-287.
https://doi.org/10.1016/S0304-3975(00)00054-2
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).
Displaying results
301 to 350
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