The following list provides an overview of all PhD's produced at the Department of Computer Science

Number	PhD-student	Supervisor	Date	Dissertation title
1	Sven Skyum	Arto Salomaa	19-03-1975	Parallelisme i definitioner af sprog
2	Mogens Nielsen	Arto Salomaa	14-06-1976	Some results on context-free Lindenmayer systems
3	Kurt Jensen	Erik Meineche Schmidt	13-10-1980	Net theory - adequacy and applications in language theory
4	Ole Lehrmann	Peter Kornerup	13-10-1980	Anvendelse af attribut-oversættelsesskemaer i realisation af sprogdefinitioner i alternative formalismer
5	Leo Mark Christensen	Brian H. Mayoh	24-06-1985	Self Describing Database Systems
6	Gudmund Frandsen	Mogens Nielsen	18-08-1986	Semantik af logikprogrammering
7	Jørgen Lindskov Knudsen	Ole Lehrmann Madsen	15-12-1986	Understøttelse af undtagelseshåndtering i programmeringssprog
8	Kristine Stougaard Thomsen	Ole Lehrmann Madsen	07-09-1987	Understøttelse af nedarvning i programmeringssprog
9	Kurt Nørmark	Ole Lehrmann Madsen	07-09-1987	Transformationer og abstrakte præsentationer i en sprogudviklingsomgivelse
10	Andreas Munk-Madsen	Morten Kyng	12-10-1987	Vurdering af systemudviklingsprojekter
11	Susanne Bødker	Morten Kyng	14-12-1987	Brugergrænseflader - hvordan skal vi forstå dem og deres brug, og hvordan skal vi designe dem
12	Kim Halskov Madsen	Kurt Jensen	25-04-1988	Sprogbrug og design
13	Ivan Bjerre Damgård	Peter Landrock	30-05-1988	Ubetinget beskyttelse i kryptografiske protokoller
14	Pål Sørgaard	Morten Kyng	23-01-1989	A framework for computer supported cooperative work, and its application to system development
15	Per Hasle	Brian H. Mayoh	19-06-1989	Logic grammar + computer science = natural language understanding
16	Uffe Henrik Engberg	Mogens Nielsen	19-03-1990	Interleaving versus noninterleaving in the theory of concurrency
17	Kaj Grønbæk	Morten Kyng	09-09-1991	Edb-baserede værktøjer - muligheder og begrænsninger for aktiv brugerdeltagelse
18	Torben Pryds Pedersen	Ivan Bjerre Damgård	10-02-1992	Distributed Provers and Verifiable Secret Sharing Based on the Discrete Logarithm Problem
19	Jens Palsberg	Peter D. Mosses	24-08-1992	Provably correct compiler generation
20	Madhavan Mukund	Mogens Nielsen	24-08-1992	Models and logics in concurrency - achievements and major open problems
21	Anders Gammelgaard	Erik Meineche Schmidt	21-09-1992	From Bisimulation to Chunk-by-Chunk Simulation
22	Søren Christensen	Kurt Jensen	26-10-1992	Farvede Petri Net: teori, værktøjer og praktisk anvendelse
23	Elmer Sørensen Sandvad	Ole Lehrmann Madsen	08-03-1993	Værktøj til dokumenthåndtering i en programmeringsomgivelse
24	Kim Skak Larsen	Erik Meineche Schmidt	08-03-1993	High Level Efficiency in Database Languages
25	Henrik Reif Andersen	Glynn Winskel	07-06-1993	Verification of Temporal Properties in Concurrent Systems
26	Torben Amtoft	Brian H. Mayoh	21-06-1993	Sharing of Computations
27	Peter Bro Miltersen	Sven Skyum	28-06-1993	Bitkompleksiteten af endelige datatyper
28	Jawahar Malhotra	Ole Lehrmann Madsen	01-03-1994	Techniques and tools for building tailorable systems using strongly typed object-oriented languages
29	Lars Ramkilde Knudsen	Ivan Bjerre Damgård	24-10-1994	Block ciphers - analysis, design and applications
30	Henrik Esbensen	Peter Møller-Nielsen	24-10-1994	Genetic algorithms for global routing of VLSI macro-cell layout
31	Preben Holst Mogensen	Morten Kyng	24-10-1994	Challenging practice - an approach to cooperative analysis
32	Sten Agerholm	Glynn Winskel	20-02-1995	Prioritized and independent actions in distributed computer systems
33	Martin Møller	Brian H. Mayoh	20-12-1994	Efficient training of feed-forward neural Networks
34	Claus Torp Jensen	Glynn Winskel	20-02-1995	Prioritized and independent actions in distributed computer systems
35	Jan Depenau	Brian H. Mayoh	18-10-1995	Automated Design of neural network architectures for classification
36	Holger Orup	Peter Møller-Nielsen	27-11-1995	Fast VLSI implementation of modular exponentiation
37	Urban Engberg	Glynn Winskel	05-01-1996	Reasoning in the temporal logic of actions
38	Allan Cheng	Mogens Nielsen	24-05-1996	Reasoning about concurrency
39	Lars Arge	Erik Meineche Schmidt	07-06-1996	Efficient external memory data structures and applications
40	Ole Villumsen	Morten Kyng	26-09-1996	Tools for stored interactive multimedia
41	Torben Braüner	Glynn Winskel	08-11-1996	An Axiomatic Approach to Adequacy
42	Peter Øbæk	Peter D. Mosses	14-03-1997	Trust and Dependence Analysis
43	Alexandre Valente Da Conceicao Sousa	Ole Lehrmann Madsen	20-03-1997	Engineering a Reliable Object Storage System
44	Gerth Stølting Brodal	Erik Meineche Schmidt	18-04-1997	Worst Case Efficient Data Structures
45	Thore Husfeldt	Sven Skyum	02-05-1997	Dynamic Computation
46	Søren Brandt	Ole Lehrmann Madsen	14-05-1997	Towards Orthogonal Persistence as a Basic Technology
47	Jens Bæk Jørgensen	Kurt Jensen	15-05-1997	Analysing Coloured Petri Nets by the Occurrence Graph Method
48	Kjeld Høyer Mortensen	Kurt Jensen	15-05-1997	Coloured Petri Nets - A Pragmatic Formal Method for Designing and Analysing Distributed Systems
49	Søren Lassen	Peter D. Mosses	12-12-1997	Relational Reasoning about Functions and Nondeterminism
50	Ole Ildsgaard Hougaard	Michael I. Schwartzbach	20-05-1998	Tractable Type Inference made Easy
51	Kim Sunesen	Mogens Nielsen	11-06-1998	Reasoning about Reactive Systems
52	Jakob Eyvind Bardram	Susanne Bødker	29-10-1998	An Activity Theoretical Approach to the Design of Computer Supported Cooperative Work
53	Rasmus Munk Larsen	Jørgen Christensen-Dalsgaard	03-12-1998	Efficient Algorithms for Helioseismic Inversion
54	Gian Luca Cattani	Glynn Winskel	08-02-1999	Presheaf Models for Concurrency
55	Henrik Bærbak Christensen	Ole Lehrmann Madsen	10-06-1999	RAGNAROK: An architecture Based Software Development Environment
56	Erik Ernst	Ole Lehrmann Madsen	12-10-1999	gbeta - A Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance
57	Thomas Troels Hildebrandt	Glynn Winskel	16-11-1999	Categorical Models for Concurrency: Independence, Fairness and Dataflow
58	Anders Thorhauge Sandholm	Michael I. Schwartzbach	18-02-2000	Programming Languages: Design, Analysis, and Semantics
59	Theis Rauhe	Sven Skyum	06-03-2000	Complexity of Data Structures
60	Rune Bang Lyngsø	Ole Caprani	09-03-2000	Computational Biology
61	Christian N. Storm Pedersen	Sven Skyum	09-03-2000	Algorithms in Computational Biology
62	Lars Michael Kristensen	Kurt Jensen	29-03-2000	State Space Methods for Coloured Petri Nets
63	Jakob Vogdrup Hansen	Brian H. Mayoh	18-04-2000	Combining Predictors - Meta Machine Learning Methods and Bias/Variance & Ambiguity Decompositions
64	Jesper Gulmann Henriksen	Mogens Nielsen	26-05-2000	Logics and Automata for Verification: Expressiveness and Decidability Issues
65	Kresten Krab Thorup	Ole Lehrmann Madsen	10-11-2000	Discourse on Genericity in Object-Oriented Programming Languages
66	Marcin Jurdzinski	Mogens Nielsen	18-12-2000	Games for Verification: Algorithmic Issues
67	Stefan Dziembowski	Ivan Bjerre Damgård	19-01-2001	Multiparty Computations - Information-Theoretically Secure against an Adaptive Adversary
68	Niels Olof Bouvin	Kaj Grønbæk	26-02-2001	Augmenting the Web through Open Hypermedia - The Development of the Arakne Environment, a Collaborative Open Hypermedia System for Web Augmentation
69	Jakob Pagter	Erik Meineche Schmidt	27-03-2001	Time-Space Trade Offs
70	Thomas Seidelin Hune	Mogens Nielsen	27-03-2001	Analyzing Real-Time Systems: Theory and Tools
71	Daniel Damian	Olivier Danvy	18-05-2001	On Static and Dynamic Control-Flow Information in Program Analysis and Transformation
72	Morten Rhiger	Olivier Danvy	17-08-2001	Higher-Order Program Generation
73	Bernd Grobauer	Olivier Danvy	31-08-2001	Topics in Semantics-based Program Manipulation
74	Lasse Reichstein Nielsen	Olivier Danvy	31-08-2001	A Study of Defunctionalization and Continuation-Passing Style
75	Mads Torgersen	Ole Lehrmann Madsen	14-09-2001	Unifying Abstractions
76	Niels Damgaard	Michael I. Schwartzbach	01-10-2001	Using Theory to Make Better Tools
77	Aino Cornils	Jørgen Lindskov Knudsen	01-11-2001	Patterns in Software Development
78	Flemming Friche Rodler	Brian H. Mayoh	16-11-2001	Compression With Fast Random Access
79	Mikkel Thomas Jensen	Brian H. Mayoh	23-11-2001	Robust and Flexible Scheduling with Evolutionary Computation
80	Ann Christina Nielsen	Susanne Bødker	18-01-2002	Designing to support Mobile Work with Mobile Devices
81	M. Oliver Möller	Mogens Nielsen	19-04-2002	Structure and Hierarchy in Real-Time Systems
82	Stefan Stoyanov Dantchev	Erik Meineche Schmidt	10-05-2002	On Resolution Complexity of Matching Principles
83	Klaus Marius Hansen	Ole Lehrmann Madsen	31-05-2002	Experimental Object-Oriented Modelling
84	Riko Jakob	Gerth Stølting Brodal	31-05-2002	Dynamic Planar Convex Hull
85	Jakob Fredslund	Ole Caprani	19-06-2002	Simplicity Applied in Projects Involving Embodied, Autonomous Robots
86	Lisa Marie Wells	Søren Christensen	28-08-2002	Performance Analysis Using Coloured Petri Nets
87	Bo Lindstrøm	Søren Christensen	29-08-2002	Facilitating the Practical Use of Coloured Petri Nets
88	Louise Elgaard	Søren Christensen	30-08-2002	The Symmetry Method for Coloured Petri Nets
89	Anders Møller	Michael I. Schwartzbach	30-09-2002	Program Verification with Monadic Second-Order Logic & Languages for Web Service Development
90	Rasmus Pagh	Peter Bro Miltersen	11-10-2002	Hashing, Randomness and Dictionaries
91	Michael Thomsen	Ole Lehrmann Madsen	29-10-2002	Malleable Software Development - Supporting Collaboration and Iteration in Object-Oriented Software Development
92	Claus Rasmussen Brabrand	Michael I. Schwartzbach	24-01-2003	Domain Specific Languages for Interactive Web Services
93	Marianne Graves	Susanne Bødker	29-01-2003	Designing for Learning in Use of Everyday Artefacts
94	Frank Valencia	Mogens Nielsen	05-02-2003	Temporal Concurrent Constraint Programming
95	Christian Heide Damm	Ole Lehrmann Madsen	19-03-2003	Collaborative Software Development - Design and Implementation of Tools for Object-Oriented Modelling
96	Jiri Srba	Mogens Nielsen	14-04-2003	Decidability and Complexity Issues for Infinite-State Processes
97	Thomas Mailund Jensen	Søren Christensen	28-04-2003	Sweeping the State Space - A Sweep-Line State Space Exploration Method
98	Federico Crazzolara	Glynn Winskel	15-05-2003	Language, Semantics, and Methods for Security Protocols
99	Giuseppe Milicia	Mogens Nielsen	16-06-2003	Applying Formal Methods to Programming Language Design and Implementation
100	Rasmus Kjær Ursem	Thiemo Krink	20-06-2003	Models for Evolutionary Algorithms and Their Applications in System Identification and Control Optimization
101	Mario Jose Caccamo	Glynn Winskel	23-06-2003	A Formal Calculus for Categories
102	Jesper Buus Nielsen	Ivan Bjerre Damgård	07-08-2003	On Protocol Security in the Cryptographic Model
103	Mads Johan Jurik	Ivan Bjerre Damgård	07-08-2003	Extensions to the Paillier Cryptosystem with Applications to Cryptological Protocols
104	Maciej Koprowski	Ivan Bjerre Damgård	08-08-2003	Cryptographic Protocols Based on Root Extracting
105	Serge Fehr	Ivan Bjerre Damgård	08-08-2003	Secure Multi-Player Protocols: Fundamentals, Generality, and Efficiency
106	Paulo Borges Oliva	Ulrich Kohlenbach	26-09-2003	Proof Mining in Subsystems of Analysis
107	Mikkel Nygaard	Glynn Winskel	21-11-2003	Domain Theory for Concurrency
108	Daniele Varacca	Glynn Winskel	24-11-2003	Probability, Nondeterminism and Concurrence: Two Denotational Models for Probabilistic Computation
109	Bartosz Klin	Peter D. Mosses	28-11-2003	An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics
110	René Thomsen	Thiemo Krink	31-05-2004	Evolutionary Algorithms and their Application in Bioinformatics
111	Alex Rune Berg	Erik Meineche Schmidt	07-07-2004	Rigidity of frameworks and connectivity of graphs
112	Jannie Friis Kristensen	Kaj Grønbæk	08-10-2004	Interaction through Negotiation - Interaction design in a pervasive computing perspective
113	Jens Groth	Ivan Bjerre Damgård	15-10-2004	Honest Verifier Zero-knowledge Arguments applied
114	Jesper Makholm Byskov	Peter Bro Miltersen	11-11-2004	Exact Algorithms for Graph Colouring and Exact Satisfiability
115	Bjarke Skjernaa	Peter Bro Miltersen	26-11-2004	Exact Algorithms for Variants of Satisfiability and Colouring Problems
116	Pawel Sobocinski	Mogens Nielsen	03-12-2004	Deriving process congruences from reaction rules
117	Esben Skovenborg	Ole Caprani	10-02-2005	Perceptual Features of Music and Speech - Measured by Listening Experiments, and Computer Modelled from Signal Analysis
118	Kirill Morozov	Ivan Bjerre Damgård	11-03-2005	On Cryptographic Primitives Based on Noisy Channels
119	Jørgen Iversen	Mogens Nielsen, Peter Mosses	12-05-2005	Formalisms and tools supporting Constructive Action Semantics
120	Marco Carbone	Mogens Nielsen	30-06-2005	Trust and Mobility
121	Bolette Ammitzbøll Madsen	Peter Bro Miltersen	09-09-2005	Exact Algorithms and Exact Satisfiability
122	Jesus Fernando Almansa Guerra	Ivan Bjerre Damgård	12-09-2005	A Study for Cryptologic Protocols
123	Saurabh Agarwal	Gudmund Frandsen	28-10-2005	GCD Algorithms for Quadratic Number Rings
124	Kasper Dupont	Ivan Bjerre Damgård	12-12-2005	Disk Encryption, Group Identification, Byzantine Agreement, and Threshold RSA
125	Dariusz Piotr Biernacki	Olivier Danvy	15-12-2005	The Theory and Practice of Programming Languages with Delimited Continuations
126	Henning Korsholm Rohde	Olivier Danvy, Andrzej Filinski	19-12-2005	Formal Aspects of Partial Evaluation
127	Thomas Brochmann Pedersen	Louis Salvail	23-01-2006	Quantum Encryption Minimising Key Leakage unider Known Plaintext Attacks
128	Malgorzata Biernacka	Olivier Danvy	27-01-2006	A Derivational Approach to the Operational Semantics of Functional Languages
129	Mads Sig Ager	Olivier Danvy	30-01-2006	Partial Evaluation of String Matchers & Constructions of Abstract Machines
130	Ole Sejer Iversen	Susanne Bødker	20-02-2006	Participatory Design Beyond Work Practices - Designing with Children
131	Jakob Svaneborg Vesterstrøm	Christian Nørgaard Storm Pedersen	10-03-2006	Heurestic Algorithms in Bioinformatics
132	Branimir Lambov	Ulrich Kohlenbach	31-03-2006	Topics in the Theory and Practice of Computable Analysis
133	Aske Simon Christensen	Michael I. Schwartzbach	04-05-2006	Something to do with Java
134	Philipp Gerhardy	Ulrich Kohlenbach	29-05-2006	Applications of Proof Interpretations
135	Jonas Martin Thomsen	Søren Christensen	08-06-2006	Home Appliance Integration by Pervasive Computing
136	Christian Kirkegaard	Michael I. Schwartzbach, Anders Møller	04-10-2006	Programming with XML
137	Simon Bo Larsen	Ole Lehrmann Madsen	12-10-2006	Pervasive Home Care - Technological support for treatment of diabetic foot ulcers at home
138	Jesper Mosegaard	Peter Møller-Nielsen	03-11-2006	Cardiac Surgery Simulation
139	Kristoffer Arnsfelt Hansen	Peter Bro Miltersen	13-11-2006	Constant Width and Constant Depth Computation
140	Karl Kristian Krukow	Mogens Nielsen	17-11-2006	Towards a Theory of Trust for the Global Ubiquitous Computer
141	Frank Allan Hansen	Kaj Grønbæk	01-12-2006	Context-aware Mobile Hypermedia: Concepts, Framework, and Applications
142	Michael Bang Nielsen	Kaj Grønbæk	05-12-2006	Efficient and High Resolution Level Set Simulations - Data Structures, Algorithms and Applications
143	Mads Ingstrup	Morten Kyng	15-12-2006	Towards Distributed Declarative Architectural Reflection
144	Thomas Riisgaard Hansen	Jakob Bardram	18-12-2006	Pervasive Interaction - Designing interactive pervasive systems for complex work environments
145	Jooyong Lee	Mogens Nielsen, Olivier Danvy	26-02-2007	Program Validation by Symbolic and Reverse Execution
146	Christian Schaffner	Louis Salvail	27-04-2007	Cryptography in the Bounded-Quantum-Storage Model
147	Kevin Millikin	Olivier Danvy	01-05-2007	A Structured Approach to the Transformation, Nomalization and Execution of Computer Programs
148	Michael Edelgaard Caspersen	Ole Lehrmann Madsen	31-05-2007	Educating Novices in the Skills of Programming
149	Jan Midtgaard	Olivier Danvy	20-06-2007	Transformation, Analysis, and Interpretation of Higher-Order Procedural Programs
150	Anders Torp Brodersen	Kaj Grønbæk	27-06-2007	Flexible Methods for Geometric Texturing - From Terrain Visualization to Geometric Texture Mapping
151	Tomas Toft	Ivan Bjerre Damgård	06-07-2007	Primitives and Applications for Multi-party Computation
152	Gabriel Moruz	Gerth Stølting Brodal	25-08-2007	Hardware-Aware Algorithms and Data Structures
153	Johan Nilsson	Gerth Stølting Brodal	15-10-2007	Combinatorial algorithms for partially ordered sets
154	Michael Westergaard	Kurt Jensen	23-10-2007	Looking Good, Behaving Well - Behavioural Verification and Visualisation of Formal Models of Concurrent Systems
155	Kristian Støvring Sørensen	Olivier Danvy	24-10-2007	On Reasoning Equationally: Lambda Calculi and Programs with Computational Effects
156	Kari Rye Schougaard Nørgaard	Ole Lehrmann Madsen	12-12-2007	Programming with Location from Conceptualization to Language Design
157	Troels Bjerre Sørensen	Peter Bro Miltersen	10-03-2008	Computing Equilibria of Two Player Games
158	Bent Otto Guldbjerg Christensen	Kaj Grønbæk	11-03-2008	Mobile P2P in Ad Hoc Networks: Framework and Applications
159	Martin Brynskov	Kaj Grønbæk	31-03-2008	Tools for Social Construction: A Framework for Pervasive Media for Children
160	Michael Østergaard Pedersen	Ivan Bjerre Damgård	30-05-2008	Authentication and Privacy with Application to Pervasive Computing
161	Mikkel Baun Kjærgaard	Klaus Marius Hansen	08-09-2008	Indoor Positioning with Radio Location Fingerprinting
162	Jeppe Rørbæk Brønsted	Klaus Marius Hansen	12-09-2008	Vehicle to Vehicle Services. Service oriented architecture for pervasive computing systems with emphasis on vehicle to vehicle applications
163	Kristian Bisgaard Lassen	Søren Christensen	21-10-2008	Using Formal Behavioral Models in Software Development: From Real-World Problems to Software Systems
164	Søren Besenbacher	Christian Nørgaard Storm Pedersen	31-10-2008	Challenges in whole-genome association mapping
165	Doina Bucur	Mogens Nielsen	21-11-2008	On Context awareness in Ubiquitous Computing
166	Miroslava Sotakova	Louis Salvail	20-03-2009	On the Power of Two-Party Quantum Cryptography
167	Martin Mogensen	Jakob Bardram	15-04-2009	Infrastructure Support for Collaborative Pervasive Computing Systems
168	Jonathan Bech Bunde-Pedersen	Jakob Bardram	16-04-2009	Distributed Interaction for Activity-Based Computing
169	Simon Tjell	Søren Christensen	28-04-2009	Formal Requirements Modeling
170	Janus Dam Nielsen	Michael I. Schwartzbach	28-05-2009	Languages for Secure Multiparty Computation and Towards Strongly Typed Macroes
171	Rune Ivan Thorbek	Ivan Bjerre Damgård	15-09-2009	Linear Integer Secret Sharing
172	Karsten Østergaard Noe	Ole Østerby, Thomas Sangild	01-10-2009	Deformable Image Registration for Use in Radiotherapy, Using GPU Acceleration
173	Thomas Mølhave	Lars Arge	21-10-2009	Handling Massive Terrains and Unreliable Memory
174	Clemens Nylandsted Klokmose	Susanne Bødker	22-10-2009	On Human-Computer Interaction in Complex Artefact Ecologies
175	Klas Olof Daniel Andersson	Peter Bro Miltersen	31-10-2009	Perfect-Information Games with Cycles
176	Martin Olsen	Gerth Stølting Brodal	09-11-2009	Link Building
177	Kristian Ellebæk Kjær	Klaus Marius Hansen	17-12-2009	Participatory Middleware Design
178	Jacob Andersen	Lars Michael Kristensen	02-03-2010	Medical Sensor Network Infrastructures
179	Allan Grønlund Jørgensen	Gerth Stølting Brodal	29-04-2010	Data Structures: Sequence Problems, Range Queries, and Fault Tolerance
180	Martin Joakim Bittel Geisler	Ivan Bjerre Damgård	11-05-2010	Cryptographic Protocols: Theory and Implementation
181	Brian Bunch Christensen	Susanne Bødker	25-05-2010	Efficient Algorithms for Controllable Fluid Simulations and High-Resolution Level Set Deformaties
182	Mikkel Krøigaard	Ivan Bjerre Damgård	21-06-2010	On the Computational Overhead of Secure Multiparty Computation
183	Bjarke Hammersholt Roune	Peter Bro Miltersen	17-08-2010	Monomial Ideal Algorithms: Connections to Numerical Semigroups and Scarf's Theory of Bodies
184	Karl Bernhard Klose	Olivier Danvy	02-09-2010	On the expressiveness of Declarative Meta-Languages
185	Peter Dueholm Justesen	Christian Nørgaard Storm Pedersen	27-09-2010	Distinct Candidates Optimization: A Novel Approach to Applied Evolutionary Multi-and Many-Objective Optimization
186	Mads Darø Kristensen	Kaj Grønbæk	30-09-2010	Empowering Mobile Devices Through Cyper Foraging: The Development of Scavenger, and Open Mobile Cyber Foraging System
187	Michael Achenbach	Olivier Danvy	07-10-2010	An Engineering Approach to Dynamic Program Analysis by Layering Language Abstraction
188	Christian Martin Hofer	Olivier Danvy	07-10-2010	Embedded programming Languages and Their Representation
189	Rocio Santillan Rodriguez	Peter Bro Miltersen	12-10-2010	Existence and computation of Equilibria in Auction Games
190	Anders Bach Nielsen	Erik Ernst	26-10-2010	Initializing and Evaluation of Nested Class Structures
191	Carolin Gabriele Lunemann	Louis Salvail	12-11-2010	Cryptographic Protocols under Quantum Attacks
192	Jesper Wolff Olsen	Preben Mogensen	27-01-2011	Material Dispositions: a hybrid and interwoven design perspective
193	Claudio Orlandi	Ivan Damgaard	07-04-2011	Secure Computation in Untrusted Environments
194	Thomas Greve Kristensen	Christian Storm Pedersen	16-06-2011	Virtual Screening Algorithms
195	Karen Johanne Kortbek	Kaj Grønbæk	27-06-2011	Staging as a Holistic Perspective on Interaction Design for Public Enviroments
196	Pooya Davoodi	Gerth Stølting Brodal	04-07-2011	Data Structures: Range Queries and Space Efficiency
197	Gert Læssøe Mikkelsen	Ivan Damgaard	08-08-2011	On the protection of digital identities through threshold cryptography
198	Konstantinos Tsakalidis	Gerth Stølting Brodal	23-09-2011	Dynamic data structures: Orthogonal range queries and update efficiency
199	Nikolaj Gandrup Borchorst	Susanne Bødker	28-09-2011	Participatory citizenship - supporting citizen empowerment in digitally mediated public service provision
200	Jesper Nielsen	Christian Storm Pedersen	28-10-2011	Engineering algorithms for finding patterns in biological data
201	Morten Bohøj	Susanne Bødker, Niels Olof Bouvin	11-11-2011	Engaging the citizens through collaborative, mobile and web-based public services
202	Martin Simonsen	Christian Storm Pedersen	09-12-2011	Efficient algorithms for tree reconstruction and prediction of molecular interactions
203	Torben Godsk	Kaj Grønbæk	14-12-2011	Methods and software architecture for activity recognition from position data - applied to cow activity recognition
204	Jakob Løvstad Funder	Ivan Damgaard	09-01-2012	Cryptography with quantum mechanics
205	Thomas Toftkjær	Kaj Grønbæk	10-01-2012	Accurate positioning of pedestrains in mixed indoor/outdoor settings - A particle filter approach to sensor and map fusion
206	Jakob Langdal Jensen	Kaj Grønbæk	12-01-2012	Supporting seamful development of positioning applications through model based translucent middleware
207	Marcel Karl Sven Keller	Ivan Damgaard	16-01-2012	Theory and practice of cryptographic protocols -or- cryptography: will it blend?
208	Morten Tranberg Hansen	Niels Olof Bouvin	23-01-2012	Low-power wireless sensor network infrastructures
209	Johnni Winther	Michael Schwartzbach	22-03-2012	Improving precision of types
210	Niels Raabjerg Mathiasen	Susanne Bødker	26-03-2012	While working around security
211	Allan Rasmusson	Peter Møller-Nielsen	16-04-2012	Contributions to computational stereology and parallel programming
212	Thomas Dueholm Hansen	Peter Bro Miltersen	07-09-2012	Worst-case analysis of strategy iteration and the simplex method
213	Lasse Kosetski Deleuran	Lars Arge	17-09-2012	Homotopic polygonal line simplification
214	Jonas Kölker	Ivan Damgaard	26-10-2012	I/O-efficient multiparty computation, formulaic secret sharing and np-complete puzzles
215	Freek Hendrik Van Walderveen	Lars Arge	30-10-2012	External memory graph algorithms and range searching data structures
216	Peter S. Nordholt	Ivan Damgård, Jesper Buus Nielsen	08-04-2013	New Approaches to Practical Secure Two-Party Computation
217	Mathias Romme Schwarz	Anders Møller	23-04-2013	Design and Analysis of Web Application Frameworks
218	Simon Holm Jensen	Anders Møller	23-04-2013	Static Analysis for JavaScript
219	Sigurd Torkel Meldgaard	Ivan Damgård	23-04-2013	Unconditionally Secure Protocols
220	Matthias Korn	Susanne Bødker	07-05-2013	Situating Engagement: Ubiquitous Infrastructures for In-Situ Civic Engagement
221	Kasper Green Larsen	Lars Arge	17-05-2013	Models and Techniques for Proving Data Structure Lower Bounds
222	Morten Dahl Jørgensen	Ivan Damgård	19-06-2013	Symbolic Analysis of Cryptographic Protocols: Models, Methods, and Soundness
223	Mads Schaarup Andersen	Kaj Grønbæk	03-09-2013	Multi-dimensional Location Privacy - Concepts, Architecture, and User Interface
224	Jakob Grauenkjær Thomsen	Erik Ernst	27-09-2013	Consistency in the World Wide Web: Specification, Verification, and Evaluation
225	Valerio Pastro	Ivan Bjerre Damgaard	10-10-2013	Zero-Knowledge Protocols and Multiparty Computation
226	Rikke Bendlin	Ivan Bjerre Damgaard	11-10-2013	Lattice-based Cryptography - Threshold Protocols and Multiparty Computation
227	Rasmus Ibsen-Jensen	Peter Bro Miltersen	04-11-2013	Strategy complexity of two player, zero-sum games
228	Casper Kejlberg-Rasmussen	Gerth Stølting Brodal	18-11-2013	Dynamic Data Structures: The Interplay of Invariants and Algorithm Design
229	Ian Steven Zerny	Olivier Danvy	09-12-2013	The Interpretation and Inter-derivation of Small-step and Big-step Specifications
230	Vaida Ceikute	Christian S. Jensen	10-12-2013	Inferring Groups of Objects, Preferred Routes, and Facility Locations from Trajectories
231	Angela Zottarel	Jesper Buus Nielsen	14-01-2014	Public-key Cryptography from Weaker Assumption
232	Nervo Xavier Verdezoto Dias	Morten Kyng	24-02-2014	Home-based Self-Care – Understanding and Designing Pervasive Technology to Support Care Management Work at Home
233	Sarah Zakarias	Ivan Damgaard	29-04-2014	Secure Computation in the Preprocessing Model
234	Manohar Kaul	Christian S. Jensen	19-08-2014	Enabling Advanced Path-Finding on Terrains and in Spatial Networks
235	Pavel Hubacek	Jesper Buus Nielsen	08-09-2014	Rationality in the Cryptographic Model
236	Anders Skovsgaard	Christian S. Jensen	16-09-2014	Indexing, Query Processing, and Clustering of Spatio-Temporal Text Objects
237	Andreas Sand Pedersen	Christian N. S. Pedersen	18-09-2014	Engineering of Algorithms for Hidden Markov Models and Tree Distances
238	Laura Radaelli	Christian S. Jensen	10-10-2014	Enabling indoor location-based services
239	Vikas Gupta	Christian N. S. Pedersen	24-10-2014	Applied bioinformatics: Genome annotation and transcriptome analysis
240	Morten Revsbæk	Lars Arge	14-11-2014	Handling Massive and Dynamic Terrain Data
241	Navid Talebanfard	Peter Bro Miltersen	17-11-2014	On the Combinatorics of SAT and the Complexity of Planar Problems
242	Qiang Qu	Christian S. Jensen	03-12-2014	Efficient Extraction of Content from Enriched Geospatial and Networked Data
243	Asger Felthaus	Anders Møller	09-01-2015	Pointer Analysis for JavaScript Programming Tools
244	Paula Tataru	Christian N. S. Pedersen	23-01-2015	Inference of population history and patterns from molecular data
245	Casper Svenning Jensen	Anders Møller	09-03-2015	Automated Testing of Event-Driven Applications
246	Jacob Johannsen	Olivier Danvy	13-03-2015	On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction
247	Jakob Truelsen	Gerth S. Brodal	17-04-2015	Space Efficient Data Structures and External Terrain Algorithms
248	Simina Branzei	Peter Bro Miltersen	29-04-2015	Computational Fair Division
249	Jungwoo Yang	Lars Arge	13-05-2015	Efficient Algorithms for HandlingMassive Terrains
250	Magnus Madsen	Anders Møller	19-05-215	Static Analysis of Dynamic Languages
251	Barbora Micenkova	Ira Assent	22-05-2015	Outlier Detection and Explanation for Domain Experts
252	Aris Filos-Ratsikas	Peter Bro Miltersen	05-08-2015	Social Welfare in Algorithmic Mechanism Design Without Money
253	Majken Rasmussen	Marianne Graves Petersen	02-09-2015	Changing the Shape of Interaction: Shape-changing Interfaces
254	Thomas P Jakobsen	Jesper Buus Nielsen	22-09-2015	Practical Aspects of Secure Multiparty Computation
256	Jesper Asbjørn Sindahl Nielsen	Gerth Stølting Brodal	25-09-2015	Implicit Data Structures, Sorting, and Text Indexing
257	Yu Ma	Christian S. Jensen	13-10-2015	Enabling Time-Dependent Uncertain Edge Weights and Stochastic Routing in Road Networks
258	Pratyay Mukherjee	Jesper Buus Nielsen	19-10-2015	Protecting Cryptographic Memory against Tampering Attack
259	Bryan Wilkinson	Lars Arge	29-10-2015	Exploring the Problem Space of Orthogonal Range Searching
260	Søren Stiil Frederiksen	Peter Bro Miltersen	29-10-2015	Semi-algebraic Geometry for Stochastic Games
261	Tore Kasper Frederiksen	Jesper Buus Nielsen	29-10-2015	The Hitchhiker’s Guide to Garbled Circuits: Garbled Circuits and their Applications to Maliciously Secure Two-Party Protocols
262	Thor Siiger Prentow	Mikkel Baun Kjærgaard, Kaj Grønbæk, and Henrik Blunck	16-11-2015	Spatio-Temporal Analysis of Human Activities in Indoor Environments through Mobile Sensing
263	Michael Lind Mortensen	Ira Assent	29-01-2016	Multi-Criteria Decision Support Queries in Exploratory & Open World Settings
264	Rasmus W. Zakarias	Ivan Damgård	22-03-2016	Practical Secure Computation with Pre-Processing
265	Aleš Bizjak	Lars Birkedal	15-05-2016	On semantics and applications of guarded recursion
266	Matthias Nielsen	Kaj Grønbæk	20-04-2016	Interactive Visual Analytics of Big Data - a Web-Based Approach
267	Esben Andreasen	Anders Møller	24-08-2016	Designing abstractions for JavaScript program analysis
268	Fabio Strocco	Anders Møller	08-09-2016	Type Soundness in the Dart Programming Language
269	Allan Stisen	Kaj Grønbæk	01-11-2016	Mobile Sensing and Recognition of Human Activities to Support Work Coordination
270	Mads Møller Jensen	Kaj Grønbæk	02-11-2016	Game Mechanics and Bodily Interactions: Designing Interactive Technologies for Sports Training
271	Carsten Baum	Ivan Damgård	07-11-2016	Towards More Efficient Secure Multiparty Computation in the Preprocessing Model
272	Hans Bugge Grathwohl	Lars Birkedal	06-12-2016	Guarded Recursive Type Theory
273	Tobias Sonne	Kaj Grønbæk	20-12-2016	Assistive Technologies to Empower Children with ADHD: Conceptual Framework and Technological Solutions
274	Irene Giacomelli	Ivan Damgård	04-01-2017	New Applications of Secret-Sharing in Cryptography
275	Kenneth S. Bøgh	Ira Assent	01-02-2017	Parallel Algorithms for Skyline and Skycube Computation on Multicore CPUs and GPUs
276	Henrik Korsgaard	Susanne Bødker	20-02-2017	Toward Place-Centric Computing : Making Place With Technology Together
277	Antigoni Polychroniadou	Ivan Damgård	07-03-2017	On the Communication and Round Complexity of Secure Computation
278	Bernardo M. David	Ivan Damgård	05-05-2017	A Framework For Efficient Homomorphic Universally Composable Commitments
279	Ingo van Duijn	Peyman Afshani	12-09-2017	Algorithmic Aspects of Arrangements and Incidences
280	Roberto Trifiletti	Jesper Buus	29-09-2017	Amortizing Maliciously Secure Two-party Computation
281	Anders Lehman	Niels Olof Bouvin	29-10-2017	Modelling Emission of Pollutants from transportation using mobile sensing data: Advancing modelling of street level pollution and climate forcing gas emissions
282	Edvin Berglin	Gerth Stølting Brodal	29-11-2017	Geometric covers, graph orientations, counter games
283	Matúš Tomlein	Kaj Grønbæk	03-04-2018	Context-Aware Integrability and Maintainability of Cyber-Physical Ecosystems: Tactics and Tools
284	Christoffer Quist Adamsen	Anders Møller	23-05-2018	Automated Testing Techniques for Event-Driven and Dynamically Typed Software Applications
285	Yujin Shin	Lars Arge	28-09-2018	External Memory Algorithms for Massive Terrains and Polygons
286	Andreas Fender	Kaj Grønbæk	23-10-2018	Optimal Placement of Virtual Content in Physical Space
287	Tiare Feuchtner	Kaj Grønbæk	24-10-2018	Designing for Hand Ownership in Interaction with Virtual and Augmented Reality
288	Morten Krogh-Jespersen	Lars Birkedal	12-12-2018	Towards Modular Reasoning for Stateful and Concurrent Programs
289	Mathias Rav	Lars Arge	18-01-2019	Event-Based Flood Risk Assessment on Massive Terrains
290	Satrajit Ghosh	Jesper Buus Nielsen	15-03-2019	Secure Computation Based on Oblivious Function Evaluation (not available online)
291	Sabine Oechsner	Ivan Bjerre Damgård	28-03-2019	Constructions and Proof Techniques for Secure Computation (not available online)
292	Michael Nielsen	Ivan Bjerre Damgård	15-04-2019	Correlated randomness in cryptographic protocols (not available online)
293	Helene Haagh	Claudio Orlandi	13-08-2019	Fine-grained Access and Secure Computation on Encrypted Data (not available online)
294	Andreas Mathisen	Kaj Grønbæk	14-08-2019	Collaborative Visual Analytics: Leveraging Mixed Expertise in Data Analysis
295	Kasper Buhl Jakobsen	Marianne Graves Petersen	03-10-2019	Graphene-based Interaction Design for Constructive Play: Tangible Music-making Technologies for Children
296	Manuel Rafael Ciosici	Ira Assent	08-10-2019	Characterizing Word Representations For Natural Language Processing
297	Mark Simkin	Ivan Damgård	22-10-2019	Alice, Bits, and Bob
298	Mathias Pedersen	Aslan Askarov	23-10-2019	Enforcement of Timing-Sensitive Security Policies in Runtime Systems
299	Konstantinos Mampentzidis	Gerth Stølting Brodal	24-10-2019	Comparison and Construction of Phylogenetic Trees and Networks
300	Erik Krogh Kristensen	Anders Møller	31-10-2019	Automated Techniques for Creation and Maintenance of TypeScript Declaration Files
301	Kristoffer Just Arndal Andersen	Lars Birkedal	13-11-2019	Automatic Program Verification (not available online)
302	Lau Skorstengaard	Lars Birkedal	14-11-2019	Formal Reasoning about Capability Machines
303	Alvis Logins	Panagiotis Karras	30-03-2020	Resource Allocation in Networks
304	Jens Emil Grønbæk	Marianne Graves Petersen	06-05-2020	Rethinking Proxemics - Designing Interactive Technologies for Co-located Collaboration
305	Jan Neerbek	Ira Assent	01-09-2020	Sensitive Information Detection: Recursive Neural Networks for Encoding Context
306	Ida Larsen-Ledet	Susanne Bødker	06-10-2020	More Than Writing Text: Multiplicity in Collaborative Academic Writing
307	Casper Benjamin Freksen	Kasper Green Larsen	09-11-2020	A song of Johnson and Lindenstrauss
308	Anders Peter Kragh Dalskov	Claudio Orlandi	16-11-2020	Cats or Croissants? Techniques for Secure Inference
309	Benjamin Barslev Nielsen	Anders Møller	29-01-2021	Static Analysis for Node.js
310	Anke van Oosterhout	Susanne Bødker	23-02-2021	A Design Perspective on Force Feedback
311	Mirzel Avdic	Susanne Bødker	20-04-2021	Physical Actuation as an Alternative Approach to the Intelligibility of Smart Speakers
312	Nathalie Alexandra Bressa	Susanne Bødker	03-08-2021	Data In Situ: a Design Approach for Situated Visualization
313	Troels Rasmussen	Kaj Grønbæk	04-08-2021	Supporting Tailorability and Awareness for Remote Assistance in Large Industrial Task Spaces
314	Simon Aagaard Enni	Ira Assent	12-08-2021	Deliberation and Dissemination in Machine Learning
315	Svend Christian Svendsen	Lars Arge and Gerth Stølting Brodal	07-10-2021	Algorithms for Massive Terrains and Graphs
316	Daniel Esteban Escudero Ospina	Ivan Damgård	02-11-2021	Multiparty Computation over $\mathbb{Z}/2^k\mathbb{Z}$
317	Martin Toldam Torp	Anders Møller	26-11-2021	Techniques and Tools for Supporting Maintenance of Node.js Programs
318	Frederik Hvilshøj	Ira Assent	09-12-2021	Fast and Explainable Deep Neural Networks
319	Alexander Mathiasen	Kasper Green Larsen	31-01-2022	Algorithmic Improvements to Boosting and Neural Networks
320	Martin Ernst Bidlingmaier	Bas Spitters	22-04-2022	Probabilistic Programming and Multiverse Models of Type Theory
321	Marcel Borowski	Clemens Klokmose	16-05-2022	Exploring Computational Media as a Possible Future of Software
322	Joachim Christensen Nyborg	Ira Assent	30-05-2022	Deep Learning for Remote Sensing in Precision Agriculture: Large-scale and label-efficient methods for satellite image data
323	Akira Takahashi	Claudio Orlandi	28-06-2022	Cryptography from Zero Knowledge: Advanced Security and New Constructions
324	Hamidreza Khoshaklagh	Jesper Buus	31-08-2022	Cryptography for Scalability and Identity in Blockchain Applications
325	Jakob Rødsgaard Jørgensen	Ira Assent	22-09-2022	Parallel algorithms for clustering, subspace clustering, and projected clustering on the GPU
326	Rasmus Killmann Brogaard Petersen	Peyman Afshani	29-09-2022	A Tale of Twines, Quadrangles and Colorful Hierarchies
327	Judith Hermanns	Panagiotis Karras	11-10-2022	Spectral Graph Correspondences
328	Zesen Qian	Lars Birkedal	18-11-2022	Concurrency and Races in Classical Linear Logic
329	Wenkai Han	Hans-Jörg Schulz	13-01-2023	Towards Trustworthy Decision Making in Visual Analytics
330	Marius Hogräfer	Hans-Jörg Schulz	16-01-2023	Contributions towards Improving the Usefulness of Partial Visualizations
331	Sai Rahul Rachuri	Peter Scholl	25-01-2023	Practical Multiparty Computation: Approaches to Private Machine Learning
332	Søren Eller Thomsen	Jesper Buus Nielsen	14-03-2023	Message Dissemination in the Nakamoto Era
333	Simon Oddershede Gregersen	Lars Birkedal	17-03-2023	Higher-Order Separation Logic for Distributed Systems and Security
334	Karl-Emil Kjær Bilstrup	Marianne Graves	21-03-2023	Embodied Computational Empowerment
335	Magnus Høholt Kaspersen	Marianne Graves	30-03-2023	AI EDUCATION THAT MATTERS -- Designing Computationally Empowering Learning Tools for Machine Learning
336	Benjamin Salling Hvass	Diego Aranha	12-04-2023	Foundational Verification of Cryptographic Primitives
337	Aïna Linn Georges	Lars Birkedal	16-06-2023	Designing and Proving Robust Safety of Efficient Capability Machine Programs
338	Joao Marcelo Evangelista Belo	Kaj Grønbæk	28-06-2023	Context-Aware Adaptive User Interfaces for Mixed Reality
339	Oskar Haarklou Veileborg	Anders Møller	29-06-2023	Localized Static Program Analysis for Optimization and Error Detection
340	Kasper Høgh	Kristoffer Arnsfelt Hansen	31-08-2023	Complexity of Total Search: Equilibria and Fair Division
341	Nikolaj Ignatieff Schwartzbach	Ivan Damgård	26-09-2023	Smart Contracts and Rationality
342	Abel Nieto Rodriguez	Lars Birkedal	28-09-2023	Conflict-free Replicated Data Types have Abstract Data Type
343	Pingan Cheng	Peyman Afshani	13-10-2023	On Geometric Range Searching and Its Variants
344	Irfansha Shaik	Jaco van de Pol	25-10-2023	Concise Encodings for Planning and 2-Player Games
345	Daniel Gratzer	Lars Birkedal	27-10-2023	Syntax and semantics of modal type theory
346	Alexander Munch-Hansen	Peter Scholl	16-11-2023	Quattro Formaggi: Zero-Knowledge from VOLE
347	Simon Friis Vindum	Lars Birkedal	15-12-2023	Separation Logic for Concurrency and Persistency
348	Jeppe Fredsgaard Blaabjerg	Aslan Askarov	18-01-2024	Information Flow Techniques for Mitigating Traffic Analysis
349	Mathias Nørup Hall-Andersen	Jesper Buus Nielsen	21-03-2024	Either/Or
350	Mahak Rakesh Pancholi	Claudio Orlandi	12-04-2024	Beyond Knowledge Soundness of SNARKs
351	Mille Skovhus Lunding	Marianne Graves Petersen	17-05-2024	Bringing Augmented Reality to the Computational Thinking Agenda
352	Damiano Abram	Peter Scholl	10-06-2024	Distributed (Correlation) Samplers - A Study on the Round Complexity of Cryptographic Sampling Protocols
353	Philipp Stassen	Lars Birkedal	09-08-2024	Programming language semantics in modal type theories
354	Lennart Braun	Ivan Damgård	05-09-2024	Cryptography After PrimeTime - - Protocols for Z2k and Groups of Unknown Order
355	Andrew Draganov	Chris Schwiegelshohn	04-11-2024	Bridging the Gap Between Theory and Practice in Unsupervised Learning