Number Student Date Supervisor Thesis Title
2019 Adam Blatchley Hansen 22-03-2023 Jesper Buus Nielsen Titel ukendt
2018 Stephen  Lai 17-03-2023 Kaj Grønbæk/Troels Rasmussen Augmented Reality Order Picking Optimization: Evaluating the Efficiency of AR Visual Cues in Order P
2017 Hendrik  Eerikson 28-02-2023 Claudio Orlandi Secure Two-Party Computation for Application Development 
2016 Karl Albert Friedrich Fehrs 26-01-2023 Ioannis Caragiannis Titel ukendt
2015 Kjeldbjerg, Mathias Maribo 24-01-2023 Claudio Orlandi/Diego F. Aranha Swiss Post Electronic Voting System: Communication Complexity Optimizations based on Elliptic Curve
2014 Anders Jensen  Løvig 24-01-2023 Claudio Orlandi/Peter Scholl Privacy-Preserving Machine Learning with Efficient Stochastic Gradient Descent 
2013 Loke Nikolaj  Durocher 16-01-2023 Panagiotis Karras/Andreas Pavlogiannis Railroad Ink: Combinatorial Network Modelling 
2012 Nicklas  Vedsted 27-10-2022 Diego F. Aranha Lightweight-cryptography in Rust: A case study on GIFT-128 and first-order masking 
2011 Josef  Gharib 05-10-2022 Bas Spitters Formal Verification of Smart Contracts with ConCert
2010 Rakhee  Shah 21-09-2022 Panagiotis Karras/Boel Nelson IDENTIFYING OPTIMAL PRIVACY BUDGET AND BIN SIZE FOR DIFFERENTIALLY PRIVATE HISTOGRAM
2009 Steffan Christ Sølvsten Jørgensen 31-08-2022 Jaco van der Pol I/O-efficient Symbolic Model Checking
2008 Zongyuan  Liu 29-08-2022 Lars Birkedal Mechanised Robust Safety for Virtual Machines Communicating above FF-A
2007 Fatemeh Zardbani 25-08-2022 Panagiotis Karras Adaptive exploration of multi-dimensional data 
2006 Balraj Singh  Saini 25-08-2022 Thomas Mailund Simulating suffix trees using suffix arrays 
2005 Simon Holmgaard Kamp 01-07-2022 Jesper Buus Nielsen Titel ukendt
2004 Kristoffer Strube  Græm 30-06-2022 Panagiotis Karras/Davide Mottin Efficient Adversarial Multi-armed Bandit Algorithms
2003 Mikkel Wienberg  Madsen 30-06-2022 Ivan Bjerre Damgård/Sophia Yakoubov One-Out-of-Many Fuzzy PAKE 
2002 Frederik Munk  Madsen 30-06-2022 Ivan Bjerre Damgård/Sophia Yakoubov One-Out-of-Many Fuzzy PAKE 
2001 Thomas Ulstrup  Hansen 30-06-2022 Peyman Afshani The Shortest Path Problem in a Polygonal Domain
2000 Lasse Rønne  Møller 30-06-2022 Claudio Orlandi Range Proofs Based on Class Groups 
1999 Cai, Jiakai 30-06-2022 Claudio Orlandi/Diego F. Aranha Swiss Post Electronic Voting System: Communication Complexity Optimizations based on Elliptic Curve
1998 Strudsholm, Joachim Bruno 30-06-2022 Claudio Orlandi/Diego F. Aranha Swiss Post Electronic Voting System: Communication Complexity Optimizations based on Elliptic Curve
1997 Benjamin  Dahse 29-06-2022 Magnus Madsen Flixpoint solving Datalog constraints 
1996 Anders Lyngsø  Jørgensen 29-06-2022 Sophia Yakoubov/Ivan Bjerre Damgård Secret Sharing with Consensus-Enabled Reconstruction
1995 Jeppe Overvad  Nielsen 29-06-2022 Sophia Yakoubov/Ivan Bjerre Damgård Secret Sharing with Consensus-Enabled Reconstruction
1994 Thomas  Hoffmann 29-06-2022 Claudio Orlandi/Peter Scholl Privacy-Preserving Machine Learning with Efficient Stochastic Gradient Descent 
1993 Michael Duy  Nguyen 29-06-2022 Claudio Orlandi/Peter Scholl Threshold Wallets 
1992 Martin Runne Due  Jensen 29-06-2022 Claudio Orlandi/Peter Scholl Threshold Wallets 
1991 Rasmus Christopher  Christensen 29-06-2022 Diego F. Aranha/Ivan Bjerre Damgård Efficient Accumulators and Authenticated Dictionaries 
1990 Søren Asger  Sørensen 29-06-2022 Diego F. Aranha/Ivan Bjerre Damgård Efficient Accumulators and Authenticated Dictionaries 
1989 Jesper Jon  Jensen 29-06-2022 Diego F. Aranha/Ivan Bjerre Damgård Efficient Accumulators and Authenticated Dictionaries 
1988 Jakub Jan  Krzyzynski 29-06-2022 Ira Assent Unsupervised Anomaly Detection in HVAC Systems 
1987 Yijing  Pan 29-06-2022 Ira Assent Detecting and Explaining Discrimination in Classification 
1986 Lucia  Stubnová 28-06-2022 Olav W. Bertelsen One swallow does not make a summer, one meaningful experience does not make a good life: Roles of te 
1985 Sebastian Schneider  Holmgaard 28-06-2022 Ira Assent/Henrik Pedersen Tracking and Segmentation of Pronuclei in Human Embryos 
1984 Adam  Petro 28-06-2022 Ira Assent/Henrik Pedersen USING SYNTHETIC DATA TO TRAIN NEURAL NETWORKS FOR POINT CLOUD SEGMENTATION 
1983 Jonas  Madsen 27-06-2022 Hans-Jörg Schultz VAOS - a Visualization of Amplitude Oscillatory Shear focused on exploration and comparison
1982 Lasse  Sode 27-06-2022 Hans-Jörg Schultz VAOS - a Visualization of Amplitude Oscillatory Shear focused on exploration and comparison
1981 Kasper  Løhde 27-06-2022 Niels Olof Bouvin Characterizing And Modeling Devices For Evaluating Energy-Efficient Wireless Sensor Networks Using S 
1980 Sebastian Tillema  Rasmussen 27-06-2022 Niels Olof Bouvin Characterizing And Modeling Devices For Evaluating Energy-Efficient Wireless Sensor Networks Using S 
1979 Jensen, Timm Askøe 27-06-2022 Hans-Jörg Schulz/Marius Hogräfer Implementering og sammenligning af interaktive progressive visualiseringspipelines ved brug af Go, P 
1978 Kristensen, Jeppe 27-06-2022 Hans-Jörg Schulz/Marius Hogräfer Implementering og sammenligning af interaktive progressive visualiseringspipelines ved brug af Go, P 
1977 Laursen, Casper Kristian Aagaard 27-06-2022 Hans-Jörg Schulz/Marius Hogräfer Implementering og sammenligning af interaktive progressive visualiseringspipelines ved brug af Go, P 
1976 Anne Dorte Rafn  Spangsberg 27-06-2022 Ivan Bjerre Damgård/Claudio Orlandi Banquet - A Post Quantum Secure Signature Scheme 
1975 Tessa Cecilia  Broeders 27-06-2022 Ivan Bjerre Damgård/Claudio Orlandi Banquet - A Post Quantum Secure Signature Scheme 
1974 Morten Flensborg  Jensen 27-06-2022 Ivan Bjerre Damgård/Claudio Orlandi Banquet - A Post Quantum Secure Signature Scheme 
1973 Jacob  Andersen 27-06-2022 Hans-Jörg Schultz An interactive overview visualization to supplement tables of contents in e-books 
1972 Magnus Højberg  Nielsen 23-06-2022 Claudio Orlandi Searchable Encryption Based on ORAM 
1971 Benjamin Daniel  Hansen 23-06-2022 Claudio Orlandi Searchable Encryption Based on ORAM 
1970 Kasper Overgaard  Mortensen 23-06-2022 Panagiotis Karras/Davide Mottin Efficient Adversarial Multi-armed Bandit Algorithms
1969 Mathias Ravn  Tversted 23-06-2022 Panagiotis Karras/Davide Mottin Efficient Adversarial Multi-armed Bandit Algorithms
1968 Christian  Weis 23-06-2022 Bas Spitters Verification of Smart Contracts for Decentralized Finance 
1967 Frederik  Vigen 23-06-2022 Bas Spitters Verification of Smart Contracts for Decentralized Finance 
1966 Asmus Andreas  Bartram 23-06-2022 Bas Spitters Verification of Smart Contracts for Decentralized Finance 
1965 Benjamin Birch  Hansen 23-06-2022 Diego F. Aranha The KaPybara Framework: Optimising Key-Policy Attribute-Based Encryption Schemes 
1964 Jonas Haugaard  Salomonsson 23-06-2022 Diego F. Aranha The KaPybara Framework: Optimising Key-Policy Attribute-Based Encryption Schemes 
1963 Emil Morre  Christensen 23-06-2022 Panagiotis Karras/Andreas Pavlogiannis Time-Efficient Value Iteration for Markov Decision Processes 
1962 Ahmad Haydar  Saleh 23-06-2022 Claudio Orlandi/Carsten Baum Practical Construction of Oblivious Pseudorandom Functions 
1961 Chuanwei  Lin 23-06-2022 Claudio Orlandi/Peter Scholl Lattice-based Accumulators and Applications 
1960 Adrian Bibby  Walther 22-06-2022 Bas Spitters The Joy of State-Separating Proofs 
1959 Simon Meldahl  Schmidt 21-06-2022 Jaco van de Pol/Andreas Pavlogiannis Efficient Symbolic Algorithms for SCC Decomposition in Edge-Colored Graphs 
1958 Casper Abild  Larsen 21-06-2022 Jaco van de Pol/Andreas Pavlogiannis Efficient Symbolic Algorithms for SCC Decomposition in Edge-Colored Graphs 
1957 Jesper  Steensgaard 21-06-2022 Jaco van de Pol/Andreas Pavlogiannis Efficient Symbolic Algorithms for SCC Decomposition in Edge-Colored Graphs 
1956 Peter Poulin Hedegaard  Mikkelsen 03-06-2022 Ivan Bjerre Damgård/Mark Simkin Secure Computation of RAM Programs 
1955 Tim  Daniel 04-02-2022 Ivan Bjerre Damgård/Mark Simkin Secure Computation of RAM Programs 
1954 Poul Kruse-Hansen 28-01-2022 Ivan Bjerre Damgård/Peter Scholl Mid-level Constructions for Homomorphic Secret Sharing
1953 Thomas Lunde  Vinther 24-01-2022 Ira Assent/Davide Mottin Knowledge Graph Entity Summarisation with Knowledge Graph Embeddings 
1952 Eske Hoy  Nielsen 10-01-2022 Bas Spitters Formal Verification of Smart Contracts 
1951 Mark Nørtoft  Jensen 05-01-2022 Diego F. Aranha/Peter Scholl Implementation of Athena: a coercion-resistant voting system with linear complexity 
1950 Peter  Rosenberg 11-11-2021 Hans Gellersen Using Eye-Hand Alignment to Interact with Situated AR Menus 
1949 Nikolaj Ignatieff Schwartzbach 30-08-2021 Ivan Bjerre Damgård Smart contracts and rationality
1948 Simon Friis Vindum 05-08-2021 Lars Birkedal Titel ukendt
1947 Pingan Cheng 22-07-2021 Peyman Afshani Titel ukendt
1946 Katrine Scheel Nellemann 01-07-2021 Ira Assent Data Science on the Desktop 
1945 Zhile  Jiang 30-06-2021 Kristoffer Arnsfelt Hansen Computational Complexity of Approximate Nash Equilibrium 
1944 Mads  Andersen 30-06-2021 Kristoffer Arnsfelt Hansen Computational hardness of TFNP and subclasses under cryptographic assumptions 
1943 Iulian Ionut  Hojda 30-06-2021 Niels Olof Bouvin/Clemens Nylandsted Klokmose Decentralized Webstrates 
1942 Mihai-Alexandru  Mihalache 30-06-2021 Niels Olof Bouvin/Clemens Nylandsted Klokmose Decentralized Webstrates 
1941 Jonathan Lindhardt  Krogsager 29-06-2021 Claudio Orlandi/Tore Kasper Frederiksen Achieving Privacy in Whistleblowing Systems with Employment Verification 
1940 Jacob Fjerbæk  Olsen 29-06-2021 Claudio Orlandi/Tore Kasper Frederiksen Achieving Privacy in Whistleblowing Systems with Employment Verification 
1939 Jesper Brink  Andersen 29-06-2021 Ira Assent/Manuel Rafael Ciosici Towards Scalable Scientific Claim Verification 
1938 Mikkel Bak  Bertelsen 29-06-2021 Ira Assent/Manuel Rafael Ciosici Towards Scalable Scientific Claim Verification 
1937 Mikkel Hørby  Schou 29-06-2021 Ira Assent/Manuel Rafael Ciosici Towards Scalable Scientific Claim Verification 
1936 Konstantinos  Skitsas 29-06-2021 Panagiotis Karras/Davide Mottin Experimental Analysis of Graph Alignment Algorithms 
1935 Chandni Shaw  Gupta 28-06-2021 Christian Nørgaard Storm Pedersen/Palle Villesen Does the S gene especially the RBD region have a strong signal of positive selection? Which sites ar 
1934 Attila  Tóth 28-06-2021 Diego F. Aranha/Carsten Baum Comparison of Private Set Intersection protocols 
1933 Mathias Nørhede  Lystbæk 28-06-2021 Hans Gellersen Using Eye-Hand Alignment to Interact with Situated AR Menus 
1932 Daniel Josef  Gratzer 25-06-2021 Lars Birkedal Categorical Aspects of Modal Type Theory  
1931 Matias Frank  Jensen 24-06-2021 Kasper Green Larsen Augmentering af Algoritmer og Datastrukturer med Recursive Model Indexes 
1930 Bingsen  Wang 24-06-2021 Claudio Orlandi Threshold PS Signature Scheme 
1929 Nicholas Bachmann  Tjørnelund 24-06-2021 Ivan Bjerre Damgård/Mark Simkin Secure Computation of RAM Programs 
1928 Johannes Sjølander  Ernstsen 23-06-2021 Diego F. Aranha/Peter Scholl Extended Electronic Voting using Homomorphic Encryption 
1927 Mathias Søby Jensen 23-06-2021 Diego F. Aranha/Peter Scholl Extended Electronic Voting using Homomorphic Encryption 
1926 Morten Erfurt Hansen 23-06-2021 Diego F. Aranha/Peter Scholl Extended Electronic Voting using Homomorphic Encryption 
1925 Sune Kim  Clausen 23-06-2021 Claudio Orlandi Privacy in Contact Tracing Applications 
1924 Morten Aardrup  Eskildsen 23-06-2021 Claudio Orlandi Privacy in Contact Tracing Applications 
1923 Søren Kirkeby  Jacobsen 23-06-2021 Claudio Orlandi Privacy in Contact Tracing Applications 
1922 Jon  Wissing 23-06-2021 Ira Assent/Cigdem Aslay/João Belo Pose Estimation of Rigid Objects Using Deep Learning 
1921 Emil Kjær  Eriksen 23-06-2021 Aslan Askarov Formalisation of Troupe Meta-Theory in Coq 
1920 Kristian  Cordes-Andersen 23-06-2021 Aslan Askarov Formalisation of Troupe Meta-Theory in Coq 
1919 Martin Nørskov  Jensen 23-06-2021 Aslan Askarov Formalisation of Troupe Meta-Theory in Coq 
1918 Jesper Vestergaard  Skipper 22-06-2021 Diego F. Aranha/Peter Scholl Implementation of Athena: a coercion-resistant voting system with linear complexity 
1917 Anders Luther  Stormer 22-06-2021 Diego F. Aranha/Peter Scholl Implementation of Athena: a coercion-resistant voting system with linear complexity 
1916 Karol Leon  Orlowski 22-06-2021 Panagiotis Karras/Davide Mottin Experimental Analysis of Graph Alignment Algorithms 
1915 Anna Mie  Hansen 21-06-2021 Susanne Bødker Artist Communities on Instagram - Self-Presentation, Context Collapse, Aspirational Labour, and Comm 
1914 Jana  Puschmann 21-06-2021 Hans-Jörg Schulz Exploring the notion of relevance and relevant data behavior in visual analytics 
1913 Filip  Kubos 18-06-2021 Panagiotis Karras Improving Multifidelity Active Search for Movie Recommendation 
1912 Lars Jesper  Riemer 15-06-2021 Peyman Afshani Efficient Exact Geometric Predicates 
1911 Jeppe Fredsgaard Blaabjerg 25-02-2021 Aslan Askarov Language-Based Methods for Online Security
1910 Thor Bjørn Jakobsen 29-01-2021 Claudio Orlandi/Peter Scholl Class Group Cryptography 
1909 Andreas Salling  Heglingegård 28-01-2021 Jaco van de Pol/Magnus Madsen Compiling and Interpreting Datalog
1908 Lena Mølgaard  Laustsen 28-01-2021 Kasper Green Larsen Diskrepansteori i datalogien 
1907 Aïna Linn Georges 27-01-2021 Lars Birkedal Mechanized Reasoning about Capability Machines 
1906 Malthe Bisgaard  Lange 27-01-2021 Bas Spitters/Danil Annenkov Certified compilation from a financialcontract DSL to smart contract languages 
1905 Laurits Tamborg  Christensen 25-01-2021 Ira Assent/Henrik Pedersen 6D Pose: A Domain Randomization Approach 
1904 Jacob Clausen  Crawford 10-12-2020 Ira Assent/Davide Mottin Towards real world application of personal summaries over knowledge graphs
1903 Oskar Haarklou Veileborg 26-11-2020 Anders Møller New Analysis and Optimisation Techniques for High-Level Programming Languages 
1902 Simon Oddershede Gregersen   19-10-2020 Lars Birkedal Types and Logics for Security and Distributed Systems 
1901 Joao Marcelo Evangelista Belo   28-08-2020 Kaj Grønbæk User Interfaces and Interaction for Mixed Reality
1900 Jakob Botsch Nielsen 28-08-2020 Bas Spitters Practically Certifying Smart Contracts with Coq 
1899 Thomas Manuel Rebelo Mota 26-08-2020 Henrik Bærbak Christensen Analysis of Development Practices for a Microservice-based System
1898 Søren Eller Thomsen   25-08-2020 Bas Spitters Guarantees for Nakamoto-Style Blockchains
1897 Mikkel Milo Tromborg  Nielsen 05-08-2020 Bas Spitters Property-Based Testing of Smart Contracts in Coq 
1896 Mikkel  Hammelev 01-07-2020 Ivan Bjerre Damgård/Peter Scholl Homorphic Secret Sharing using Homomorphic Encryption 
1895 Dennis Sebastian  Lund 30-06-2020 Ivan Bjerre Damgård Memory Hard Functions as a More Secure Hashing: An Overview and Analysis 
1894 Henriette Ulfkjær Rohde   30-06-2020 Claudio Orlandi Robust Decentralised Storage Networks from Proofs of Spacetime 
1893 Mikkel Jeppesen Juhl 30-06-2020 Claudio Orlandi Robust Decentralised Storage Networks from Proofs of Spacetime 
1892 Alexander  Munch-Hansen 30-06-2020 Claudio Orlandi/Sophia Yakoubov Security and Compactness of Threshold Ring Signatures and Related Primitives 
1891 Rasmus Killmann Brogaard  Petersen 29-06-2020 Peyman Afshani Algorithmic challenges in Computational Geometry: Making queries in diverse data sets.
1890 Asger Hautop  Drewsen 29-06-2020 Lars Arge Flood Prediction on Danamic Terrains 
1889 Emil Holm  Gjørup 29-06-2020 Bas Spitters Congruence Closure Procedure in Cubical Type Theory 
1888 Lasse Letager  Hansen 29-06-2020 Bas Spitters (Q)M-types and Coinduction in HoTT / CTT 
1887 Steffen Strunge  Mathiesen 29-06-2020 Hans-Jörg Schulz Improving the Readability and Appearance of Stacked Area Charts: Aesthetics and ordering 
1886 Alberte Herold  Hansen 29-06-2020 Hans-Jörg Schulz Multiple Alternative Views: Towards Mitigating Cognitive Bias in Visual Analytics 
1885 Maximilian  Scheid 29-06-2020 Hans-Jörg Schulz A MAPS-LIKE INTERFACE FOR KNOWL- EDGE GRAPHS 
1884 Jonas Hedegaard  Linderoth 29-06-2020 Ira Assent Design and evaluation of GPU accelerated subspace clustering algorithms 
1883 Mikkel  Langhave 29-06-2020 Ira Assent Design and evaluation of GPU accelerated subspace clustering algorithms 
1882 Patrick Mike Lewandowski 29-06-2020 Ira Assent Failure Detection By Using Attention Neural Networks 
1881 Eleni  Batziou 29-06-2020 Kristoffer Arnsfelt Hansen Complexity Analysis from a Game-Theoretic Perspective 
1880 Nikolaj Ditlev Wladimir  Sidorenco 26-06-2020 Bas Spitters/Sabine Oechsner Formalising Sigma-Protocols and Commitment Schemes using EasyCrypt 
1879 Mikkel Munk  Kristensen 26-06-2020 Ira Assent/Henrik Pedersen Synthetic-to-Real Domain Adaptation for Semantic Segmentation of Street Scenes 
1878 Louis David George  Marchant 26-06-2020 Ira Assent/Henrik Pedersen Synthetic-to-Real Domain Adaptation for Semantic Segmentation of Street Scenes 
1877 Frederik Lynggaard  Johansen 26-06-2020 Ira Assent/Henrik Pedersen DMM-GAN: Global-Local Dynamic Memory and Redescription Objective for Direct Text-to-Image Synthesis  
1876 Casper Kørvel  Jakobsen 26-06-2020 Ira Assent/Henrik Pedersen DMM-GAN: Global-Local Dynamic Memory and Redescription Objective for Direct Text-to-Image Synthesis  
1875 Christoffer Müller  Madsen 25-06-2020 Aslan Askarov Zeebra: A Compiler for a Low-Level Language with IFC 
1874 Jon Michael  Aanes 25-06-2020 Aslan Askarov Zeebra: A Compiler for a Low-Level Language with IFC 
1873 Thomas  Carlsen 25-06-2020 Aslan Askarov Using Troupe for Information Flow Control in Web Browsers 
1872 Christian Zhuang-Qing  Nielsen 25-06-2020 Ira Assent/Henrik Pedersen 6D Pose: A Domain Randomization Approach 
1871 Rui  Zhang 25-06-2020 Ira Assent/Henrik Pedersen Scene Text Detection and Recognition 
1870 Mikkel Lykke  Jørgensen 25-06-2020 Marianne Graves Petersen/Tiare Feuchtner IVAN: An In-VR Authoring Tool For Non-Programmers
1869 Frederik Aarup  Lauridsen 25-06-2020 Panagiotis Karras A Study of Multidimensional Adaptive Indexing 
1868 Anders Hammershøj  Jensen 25-06-2020 Panagiotis Karras A Study of Multidimensional Adaptive Indexing 
1867 Christoffer Hauthorn  Boisen 24-06-2020 Kasper Green Larsen Graph coloring for sensor networks
1866 Søren Oehlenschlæger  Hjort 24-06-2020 Kristoffer Arnsfelt Hansen Hairy Ball Theorem: Almost and Near Approximation
1865 Thomas Richardy  Christensen 23-06-2020 Ivan Bjerre Damgård On the passively secure offline phase of SPDZ - using SHE based on P-LWE 
1864 Nicolai Wiwe  Andersen 23-06-2020 Ivan Bjerre Damgård/Peter Scholl Covert Security 
1863 Harshit  Mahapatra 23-06-2020 Morten Kyng Modular Telemedicine Systems Using Domain Driven Design 
1862 Else Bakkegaard 22-06-2020 Christian Storm Pedersen Global parvis alignment i subkvadratisk tid
1861 Lars Gunnar Stjernholm  Lundqvist 22-06-2020 Gerth Stølting Brodal Soft Sequence Heaps - Theory and Experimentation 
1860 Peter Ellerup  Frank 22-06-2020 Gerth Stølting Brodal Soft Sequence Heaps - Theory and Experimentation 
1859 Alin-Daniel  Panainte 22-06-2020 Niels Olof Bouvin Colligo: A framework for decentralized software development 
1858 Patrik  Svetlák 19-06-2020 Hans Gellersen/Jens Emil Grønbæk A taxonomy of AR authoring tools and a design tool for creating custom AR interactions without codin 
1857 Johan Møller bay 28-02-2020 Aslan Askarov Titel ukendt
1856 Christian Koller  Nielsen 21-02-2020 Ivan Bjerre Damgård Secure Circuit Evaluation Protocols in Practice 
1855 Rune  Eggers 29-01-2020 Ira Assent/Joao Marcelo Evangelista Belo Unsupervised annotated synthetic data generation of retail products using domain transfer and 3D mod 
1854 Michael Reidun Engelbrecht  Larsen 27-01-2020 Hans-Jörg Schulz Procedural Perturbation of Highly Regular Data Visualizations 
1853 Frode Stig Nørgaard  Pedersen 20-01-2020 Christian Storm Pedersen Quarto as a Reinforcement Learning problem 
1852 Mathias  Haudgaard 20-01-2020 Ira Assent/Alexandros Iosifidis A Novel Human-Centered Approach to Human-Object-Interaction Detection 
1851 Jon Dombernowsky  Christensen 17-01-2020 Ivan Bjerre Damgård Titel ukendt
1850 Michal  Ratajský 17-01-2020 Niels Olof Bouvin Multi-User Peer-To-Peer File System With Efficient Previous State Recovery 
1849 Jonas Tranberg  Sørensen 07-01-2020 Kasper Green Larsen Learning Data Specific Hash Functions using Neural Networks 
1848 Tina Bodil  Jensen 20-12-2019 Christian Storm Pedersen Object Detection With Convolutional Neural Networks 
1847 Marit Edna Ohlenbusch   13-12-2019 Lars Birkedal Verification of Distibuted Systems using Separation Logic
1846 Anders Høy Seemann  Vestergaard 07-10-2019 Kaj Grønbæk 3PFP: Tracking Pipeline for Assembly Tasks using Point Pair Features in Range Data
1845 Kristian Lissner  Ebdrup 07-10-2019 Kaj Grønbæk 3PFP: Tracking Pipeline for Assembly Tasks using Point Pair Features in Range Data
1844 Mathias Wieland  Markussen 20-08-2019 Susanne Bødker/Andreas Fender DiMiReS: A Distributed Mixed Reality System 
1843 David Carlos Zachariae 16-08-2019 Ira Assent Recursive Neural Networks for Sensitive Information Detection in Emails
1842 Martin Toldam Torp 16-08-2019 Anders Møller Development and Maintenance of Libraries in Dynamic Languages 
1841 Svend Christian Svendsen 31-07-2019 Lars Arge Titel ukendt
1840 Alexander Mathiasen 05-07-2019 Kasper Green Larsen Algorithmic Aspects of Machine Learning 
1839 Meinhard  Dam 28-06-2019 Christian Storm Pedersen Pattern matching with the Burrows-Wheeler Transform 
1838 Miguel Ângelo  Nicolau Fialho 28-06-2019 Anders Møller/Magnus Madsen Type-safe JVM Bytecode Generation for Flix 
1837 Daniel Alexander  Andreasen 28-06-2019 Claudio Orlandi Towards secure & efficient obfuscation 
1836 Camilla Arenkiel  Grevy 28-06-2019 Claudio Orlandi Finding the Best Full-Threshold ECDSA Signature Scheme 
1835 Ulrik Boll  Djurtoft 28-06-2019 Claudio Orlandi Finding the Best Full-Threshold ECDSA Signature Scheme 
1834 Anders Grønning  Mikkelsen 28-06-2019 Henrik Bærbak Christensen SPA-warrior: Avoiding Code Duplication in Modern Web Applications 
1833 Shuxiao  Huang 27-06-2019 Hans-Jörg Schulz PADViz: A Visual Interface for Evaluating Anonymization Methods on Time-series Data 
1832 Jakob Rødsgaard Jørgensen 27-06-2019 Ira Assent Recursive Neural Networks for Sensitive Information Detection in Emails
1831 Sophie Truc Mai  Chau 27-06-2019 Ira Assent/Bo Thiesson Predicting Adverse Drug Events Using Temporal Convolutional Neural Network 
1830 Frederik Manfeld  Tange 27-06-2019 Ira Assent/Bo Thiesson Predicting Adverse Drug Events Using Temporal Convolutional Neural Network 
1829 Mathias  Rahbek 27-06-2019 Ivan Bjerre Damgård Solving Wind Farm Optimization Problem using a MPC Protocol for Dishonest Majority 
1828 Teis Nørgaard  Petersen 27-06-2019 Kasper Green Larsen Learning Data Specific Hash Functions using Neural Networks 
1827 Mads Ruge  Svejstrup 27-06-2019 Kasper Green Larsen Learning Data Specific Hash Functions using Neural Networks 
1826 Jonas Sejersbøl  Larsen 26-06-2019 Ira Assent Local Named Entity Disambiguation using Word Embeddings 
1825 Jonas le Fevre  Sejersen 26-06-2019 Kaj Grønbæk An Investigation of Trajectory Tracking and Replication on Commodity Drones 
1824 Christoffer  Schmidt 26-06-2019 Kaj Grønbæk An Investigation of Trajectory Tracking and Replication on Commodity Drones 
1823 Teodor-Iulian  Vernica 26-06-2019 Marianne Graves Petersen/Jens Emil Grønbæk & Devarajan Ramanujan Facilitating Collaboration in Architecture Client Meetings Through Cross-device Augmented Reality 
1822 Imran  Azam 26-06-2019 Marianne Graves Petersen/Jens Emil Grønbæk & Devarajan Ramanujan Facilitating Collaboration in Architecture Client Meetings Through Cross-device Augmented Reality 
1821 Lukas  Pastuszek 26-06-2019 Panagiotis Karras/Davide Mottin Learned graph index for subgraph isomorphism
1820 Morten  Bildsøe 25-06-2019 Christian Storm Pedersen Predicting solar power production from cloud data 
1819 Frederik Jerløv-Troelsen 24-06-2019 Christian Storm Pedersen Efficient Suffix Tree Construction 
1818 Christoffer Schultz  Jensen 24-06-2019 Jesper Buus Nielsen Comparison of Oblivious RAM implementations with various features 
1817 Artur  Mantaluta 24-06-2019 Niels Olof Bouvin Multi-User Peer-To-Peer File System With Efficient Previous State Recovery 
1816 Stefan  Prisca 24-06-2019 Niels Olof Bouvin Blockchain Architecture for Game Applications 
1815 Bror Bisgaard  Winther 02-04-2019 Niels Olof Bouvin HIPS - TOWARDS AN ANONYMISING NETWORK OVERLAY WITH KEY-MANAGEMENT FOR DISTRIBUTED SENSOR NETWORKS 
1814 Philip Athanassios Holst  Tzannis 20-03-2019 Peyman Afshani Running Time and Cache Performance of Prominent Point Location Techniques 
1813 Niklas  Nørregaard 04-02-2019 Kaj Grønbæk/Jo Vermeulen Investigating and enabling personal situated visualizations through a spatial augmented reality fram 
1812 Kristian Almegaard  Dath 04-02-2019 Claudio Orlandi Efficient Oblivious Transfer-based Protocols in MPC 
1811 Marc Lidegaard Madsen 29-01-2019 Ira Assent Clustering housing rental data 
1810 Joachim Christiansen  Nyborg 28-01-2019 Ira Assent An Efficient Recurrent Encoder-Decoder Network for Crop Classification 
1809 Anders Hølmkjær  Pedersen 25-01-2019 Christian Storm Pedersen The Practical Effects Of Variance Reduction Techniques For Policy Gradient Methods 
1808 Lisa Lisberg  Borum 24-01-2019 Susanne Bødker/Henrik Korsgaard Investigating the relationship between volunteer organization and the companies that donate to them  
1807 Cong Vinh  Nguyen 24-01-2019 Niels Olof Bouvin POSITIONING TECHNIQUES IN HARDBALL, AN OUTDOOR SPORT 
1806 Alexander  Qvist-Hellum 24-01-2019 Ivan Bjerre Damgård An exploration of the McEliece Cryptosystem 
1805 Lars Rudbeck  Bak 24-01-2019 Niels Olof Bouvin/Claudio Orlandi Decentralized Access Control for The Internet-of-Things
1804 Alexandra Fabricius Porsgaard 18-01-2019 Susanne Bødker Impacts and Implications of an Organizational Movement within Computer Supported Collaborative Work 
1803 Ulrich Schlie 18-12-2018 Kaj Grønbæk / Jo Vermeulen Detecting Excitement Events in Cardiovascular Data Using Machine Learning - Analysis of Data from e- 
1802 Benjamin Barslev  Nielsen 21-11-2018 Anders Møller Static analysis for JavaScript 
1801 Frederik Hvilshøj 18-08-2018 Ira Assent / Bo Thiesson Explainable Deep Learning: Facilitating the Use of Deep Neural Networks in Healthcare. 
1800 Nick  Bakkegaard 10-08-2018 Gerth Stølting Brodal Shortest Path Problem in the Plane with Polygonal Obstacle Violations 
1799 Simon Aagaard  Enni 13-07-2018 Ira Assent Titel ukendt
1798 Mark  Karmar 29-06-2018 Ira Assent Ensemble word embeddings on characters and words
1797 Jacob  Malling-Olesen 29-06-2018 Ira Assent Ensemble word embeddings on characters and words
1796 Thomas Glintborg  Søgaard 28-06-2018 Aslan Askarov Enforcing Network-Anonymity With Capability-Based Sandboxes 
1795 Johan Kristoffer  Jensen 28-06-2018 Aslan Askarov Enforcing Network-Anonymity With Capability-Based Sandboxes 
1794 Casper Benjamin  Freksen 28-06-2018 Kasper Green Larsen Titel ukendt
1793 Mathias Kraft  Mathiasen 28-06-2018 Kasper Green Larsen Tabulation Hashing in Dictionaries 
1792 Jacob Andreas Skov  Saunte 28-06-2018 Kasper Green Larsen Tabulation Hashing in Dictionaries 
1791 Marcus Flyvholm  Haagh 28-06-2018 Kasper Green Larsen Tabulation Hashing in Dictionaries 
1790 Mikkel Ravnholt  Knudsen 27-06-2018 Christian Storm Pedersen Worst-case Linear Time Suffix Array Construction Algorithms 
1789 Jens Christian Liingaard  Hansen 27-06-2018 Christian Storm Pedersen Worst-case Linear Time Suffix Array Construction Algorithms 
1788 Jonas Tranberg  Hansen 27-06-2018 Christian Storm Pedersen / Allan Grønlund Continual Learning 
1787 Peter  Burgaard 27-06-2018 Gerth Stølting Brodal Shortest Path Problem in the Plane with Polygonal Obstacle Violations 
1786 Kresten Maigaard  Axelsen 27-06-2018 Peyman Afshani Convex Hulls in 3-d 
1785 Niels  Bross 27-06-2018 Peyman Afshani Convex Hulls in 3-d 
1784 Thomas Engelbrecht  Hybel 26-06-2018 Aslan Askarov Decompilation of Ethereum smart contracts 
1783 Morten Zdrenka  Christensen 26-06-2018 Claudio Orlandi Post-Quantum Cryptography: Hash-based and ZK-based Signature Schemes 
1782 Martin  Messell 26-06-2018 Claudio Orlandi / Peter Scholl GC Based 2PC on Algebraically Committed Inputs 
1781 Peter Beck  Askebjerg 26-06-2018 Claudio Orlandi / Peter Scholl GC Based 2PC on Algebraically Committed Inputs 
1780 Kasper Dyrlund  Smed 26-06-2018 Claudio Orlandi / Prastudy Fauzi Anonyme legitimationsoplysninger fra bilinære parringer 
1779 Arnar Thordur  Hardarson 26-06-2018 Jesper Buus Nielsen A Formal Overview of Permissionless Blockchain Consensus Protocols
1778 Steffen Skovsgaard  Jensen 26-06-2018 Jesper Buus Nielsen A Formal Overview of Permissionless Blockchain Consensus Protocols
1777 Mathias Hagelskær  Ringive 26-06-2018 Niels Olof Bouvin BLOCKCHAIN FOR ASSET TRACKING 
1776 Thomas Møller  Madsen 26-06-2018 Niels Olof Bouvin / Claudio Orlandi From MANET to the Lightning Network 
1775 Ibrahim Yasser  Tallouzi 26-06-2018 Niels Olof Bouvin / Claudio Orlandi Decentralized Access Control for The Internet-of-Things
1774 Benjamin Jakobsen 25-06-2018 Ira Assent / Bo Thiesson Explainable Deep Learning: Facilitating the Use of Deep Neural Networks in Healthcare. 
1773 Samuel Bjørn  Jessen 25-06-2018 Kaj Grønbæk Towards a Virtual Reality framework for joint rehabilitation with haptic feedback 
1772 Thomas Mosbæk  Dybdahl 25-06-2018 Christian Storm Pedersen Deep learning applied to Particle Picking in Cryo-EM 
1771 Martin Wiberg  Petersen 25-06-2018 Niels Olof Bouvin Code Reuse for IoT Management - A visual programming and template programming extension for Home Ass
1770 Peter  Thorsen 25-06-2018 Niels Olof Bouvin Code Reuse for IoT Management - A visual programming and template programming extension for Home Ass
1769 Andreas Malling  Østergaard 25-06-2018 Niels Olof Bouvin Utilizing IPFS as a content provider for DASH video streaming 
1768 Andreas Østergaard  Nielsen 25-06-2018 Niels Olof Bouvin Utilizing IPFS as a content provider for DASH video streaming 
1767 Marie Louisa Tølbøll  Berthelsen 23-06-2018 Kristoffer Arnsfelt Hansen Existential Theory of the Reals 
1766 Mikkel Bagge Rasmussen 23-06-2018 Kristoffer Arnsfelt Hansen Implementation of an Algorithm to Compute a Proper Equilibrium of a Bimatrix Game
1765 Rasmus Lunding  Henriksen 22-06-2018 Ole Caprani Duckietown - An almost off-the-shelf platform for autonomous vehicle education
1764 Morten Vemmelund  Brøgger-Jensen 20-06-2018 Henrik Bærbak Christensen Casestudie om test metoder 
1763 Lasse Møller Alm 20-06-2018 Ivan Bjerre Damgård Survey over RSA factoring algorithms 
1762 Christian Nielsen Henriksen 30-05-2018 Henrik Bærbak Christensen SkyCave Configuration using the Ansible Orchestration Tool.
1761 Martin Jacobsen 03-04-2018 Gerth Stølting Brodal Cache Oblivious Dynamic Dictionaries with Insert/Query Tradeoffs.
1760 Emil Sørensen Rais 31-01-2018 Henrik Bærbak Christensen Declarativ Construction of REST APIs.
1759 Emil Platz 30-01-2018 Henrik Bærbak Christensen An Internal DSL for Long-Running Processes in Python.
1758 Steven Astrup Sørensen 30-01-2018 Susanne Bødker "We are doing it live". A Study of Users and Technologies in Modern Live Streaming.
1757 Aleksandar Aleksandrov Peev 29-01-2018 Ira Assent Predicting Demand for Handling Patient Appointments.
1756 Morten Jensen 29-01-2018 Ira Assent Domain Independent Ontology Learning Through Auto-Acquired Domain Data.
1755 Kasper Lynderup Jensen 25-01-2018 Christian Storm Pedersen Transmembrane Protein Prediction using Long Short-Term Memory Networks.
1754 Nicolas Lykke Iversen 25-01-2018 Aslan Askarov Native Oracle Integration for Ethereum Contracts.
1753 Alex Fuller Fischer 22-01-2018 Anders Møller Static Analysis of WebAssembly.
1752 Kasper Sacharias Eenberg 05-12-2017 Kasper Green Larsen Titel ukendt
1751 Freja Ross Petersen 17-11-2017 Niels Olof Bouvin Annotations And Multiple Contexts For References To Online Resources.
1750 Jens Emil Krarup Grønbæk 21-09-2017 Marianne Graves Petersen Designing for Interaction Proxemics - Proxemic Consequences of Ubicomp Environments.
1749 Mathias Vorreiter Pedersen 02-08-2017 Aslan Askarov New Covert Channels And Enforcement Of Information Flow Properties In High-Level Programming Languages.
1748 Benjamin Park Petersen 30-06-2017 Ira Assent Empirical Evaluation Of Word Clusterings For Natural Language Processing.
1747 Tobias Sommer 30-06-2017 Ira Assent Abbreviation Disambiguation Through Context-Aggregated Word Embeddings.
1746 Søren Qvist Jensen 30-06-2017 Jörg Müller Inferring Physical Properties Of Virtual Objects From Interaction In Virtual Reality.
1745 Jonas Tulstrup Johansen 30-06-2017 Niels Olof Bouvin Depression Detection And Severity Estimation From Speech Using Smartphones.
1744 Tobias Sørensen 30-06-2017 Niels Olof Bouvin Depression Detection And Severity Estimation From Speech Using Smartphones.
1743 Konstantinos Mampentzidis 29-06-2017 Gerth Stølting Brodal Scaling Tree Comparisons to External Memory.
1742 Martin Bjerrum Henriksen 29-06-2017 Christian Nørgaard Storm Pedersen Algorithms For Exact And Approximated Protein Structure Prediction In The 3D HP Model.
1741 Lukas Peter Jørgensen 29-06-2017 Christian Nørgaard Storm Pedersen Practical Reinforcement Learning For Game Developers.
1740 Simon Jensen 29-06-2017 Christian Nørgaard Storm Pedersen Practical Reinforcement Learning For Game Developers.
1739 Benjamin Blankholm 29-06-2017 Peyman Afshani Automated Obstacle Arrangement.
1738 Kenneth Kaiser Kudsk 28-06-2017 Ivan Damgård Proof Techniques For Quantum Key Distribution.
1737 Anders Peter Kragh Dalskov 28-06-2017 Claudio Orlandi End-To-End Encrypted Cloud Storage.
1736 Jens Frederik Krogh Holdam 28-06-2017 Niels Olof Bouvin Latency-Aware Multi-Tree Based P2P Live Video Streaming.
1735 Mathias Glavind Schmidt 28-06-2017 Niels Olof Bouvin Latency-Aware Multi-Tree Based P2P Live Video Streaming.
1734 Maiken Brunholm Søgaard 28-06-2017 Claudio Orlandi Functional And Homomorphic Signatures.
1733 Jakob Graugaard Laursen 28-06-2017 Ivan Damgård Attacks On Ring LWE.
1732 Nicolaj Græsholt 27-06-2017 Jesper Buus Nielsen Gluable Micro Authentication
1731 Erik Krogh Kristensen 27-06-2017 Anders Møller Assisting Development Of TypeScript Applications.
1730 Magnus Ree Torvadal 27-06-2017 Niels Olof Bouvin Compete. A Framework For Making Console-Like Web Applications.
1729 Shuo Hua 27-06-2017 Ole Caprani Application Of Reinforcement Learning In LEGO EV3.
1728 Michael Simonsen 27-06-2017 Ole Caprani Autonomous Environmental Mapping.
1727 Stefan Niemann Madsen 27-06-2017 Ole Caprani Autonomous Environmental Mapping.
1726 Christian Bobach 26-06-2017 Claudio Orlandi Secure Distributed Poker Using MPC.
1725 Marc Skodborg 26-06-2017 Christian Nørgaard Storm Pedersen Efficient Implementations Of Suffix Trees.
1724 Simon Fischer 26-06-2017 Christian Nørgaard Storm Pedersen Efficient Implementations Of Suffix Trees.
1723 Søren Johannes Qvist Christensen 26-06-2017 Niels Olof Bouvin Honeycomb.
1722 Sebastian Sander Søndergaard 26-06-2017 Niels Olof Bouvin Evaluating Blockchains.
1721 Martin Berndt Nøhr 26-06-2017 Niels Olof Bouvin Evaluating Blockchains.
1720 Jens Poulsen 23-06-2017 Niels Olof Bouvin Fast Indoor Finger Printing.
1719 Ida Larsen-Ledet 23-06-2017 Susanne Bødker Speaking Of Usable Security…
1718 Nicolai Nibe 23-06-2017 Susanne Bødker Speaking Of Usable Security…
1717 Tue Thusbøl Holst 22-06-2017 Claudio Orlandi Ring-LWE Based Multi-Key FHE.
1716 Kasper Lodahl Flye 21-06-2017 Niels Olof Bouvin Guardian Tree.
1715 Emil Stephansen 21-06-2017 Niels Olof Bouvin Guardian Tree.
1714 Mads Pørksen Buch 20-06-2017 Aslan Askarov Formalizing Differential Privacy.
1713 Frederik Skytte Nielsen 20-06-2017 Aslan Askarov SDML: A Secure Language For Distributed Computing.
1712 Esben Glavind Clausen 20-06-2017 Lars Birkedal Verifying Hash Tables In Iris.
1711 Johan Peter Bonde Wodschow 04-05-2017 Peyman Afshani Two Problems About Simple Polygons.
1710 Jon Bjerrum Jacobsen 28-04-2017 Ira Assent Efficient Dynamic Anytime Clustering With Exact DBSCAN.
1709 Lau Skorstengaard 31-03-2017 Lars Birkedal Reasoning About Capability Machines: A Path Towards Provable Security.
1708 Kristoffer Just Arndal Andersen 22-02-2017 Lars Birkedal Automatic Verification of Fine-grained Concurrency. 
1707 Frederik Brinck Truelsen 30-01-2017 Christian Nørgaard Storm Pedersen Comparison of Texts Using String Kernels.
1706 Mathias Skovgaard Birk 30-01-2017 Ira Assent og Mai Thai Son Incremental Structural Clustering Algorithm For Dynamic Networks.
1705 Emma Hedegaard 30-01-2017 Ira Assent og Susanne Bødker Skyline Outlier Ensemble.
1704 Asger Godske Bachmann 30-01-2017 Christian Nørgaard Storm Pedersen CORNEA: Drawing Large Co-Expression Networks for Genes.
1703 Mathias Rav 27-01-2017 Lars Arge I/O-Efficient Flash Flood Risk Analysis.
1702 Jens Christian Bredahl Madsen 27-01-2017 Niels Olof Bouvin The Turbo Framework. Designing and Evaluating a General and Efficient Distributed Parallel Computation Framework.
1701 Michael Nielsen 26-01-2017 Ivan Damgård Expressing and Constructing Efficient MPC. 
1700 Emil Madsen 24-01-2017 Aslan Askarov Can Web Pages Be Distinguished By Their Side Channel Signatures?
1699 Rasmus Mosbech Jensen 24-01-2017 Aslan Askarov Can Web Pages Be Distinguished By Their Side Channel Signatures?
1698 Thomas Kjær Jensen 07-10-2016 Morten Kyng From Monolith to Microservices.
1697 Lars Søndertoft Nielsen 26-09-2016 Ivan Bjerre Damgård Analysis of Non-interactive Protocols.
1696 Anders Fog Bunzel 16-09-2016 Ivan Bjerre Damgård Statistically Secure Sigma Protocols with Abort.
1695 Jan Philip Schultz Tsanas 13-09-2016 Niels Olof Bouvin Peer-To-Peer in Online Multiplayer Games.
1694 Lars Emil Gram Christensen 17-08-2016 Christian Nørgaard Storm Pedersen Protein Folding in the 3D HP Model.
1693 Anders Henneberg 10-08-2016 Niels Olof Bouvin Smartguide: Enhancing Accuracy for Fingerprint Locationing using Gaussian Process Regression.
1692 Morten Henriksen Birk 13-07-2016 Jörg Müller Combining Shape-Changing Interfaces and Spatial Augmented Reality.
1691 Martin Eik Korsgaard Rasmussen 29-06-2016 Olivier Danvy A Flat Approach to Syntax-Checking, Shuffling, and Correcting Multiple Choice Tests.
1690 Søren Elmely Pettersson 29-06-2016 Ivan Bjerre Damgård Using Oblivious RAM in Secure Multi Party Computation.
1689 Sebastian Mose Bach 29-06-2016 Ivan Bjerre Damgård Linear and Differential Cryptanalysis Extensions.
1688 Tobias Stenby Brixen 28-06-2016 Jesper Buus Nielsen A Two-Party Protocol for Efficient Parallel Evaluation of Arithmetic Circuits with Active Security.
1687 Emil Møgelvang Lai Kristensen 28-06-2016 Jesper Buus Nielsen A Survey of QUIC and TLS 1.3.
1686 Daniel Vennevold Damgaard 28-06-2016 Henrik Bærbak Christensen Automatic Test of Solution for Exercises in Software Development, which involves Multiple Servers and / or Services.
1685 Kim Thomsen 28-06-2016 Ivan Bjerre Damgård Password Security.
1684 Rune Drole Pedersen 27-06-2016 Kaj Grønbæk og Henrik Blunck Exploring a Feedback and Control-Based Approach to User Trust in Mobile Context Aware Applications.
1683 Mikkel Lambæk 27-06-2016 Claudio Orlandi og Ivan Bjerre Damgård Breaking and Fixing Private Set Intersection Protocols.
1682 Mikkel Brun Jakobsen 27-06-2016 Peter Bro Miltersen An in-depth Investigation into Ryan Williams´ Program.
1681 Mathias Stensgaard Veje 24-06-2016 Ira Assent Creating Spending Profiles form financial Transaction Data using Data Mining.
1680 Martin Henriksen 24-06-2016 Ira Assent Creating Spending Profiles form financial Transaction Data using Data Mining.
1679 Jesper Møller Kristensen 24-06-2016 Ira Assent Active Adaptive Clustering.
1678 Anders Lindkvist 23-06-2016 Lars Birkedal Contextual Equivalence in the Elm Language.
1677 Troels Fleischer Skov Jensen 23-06-2016 Lars Birkedal Contextual Equivalence in the Elm Language.
1676 Thomas Hedegaard Lange 23-06-2016 Christian Nørgaard Storm Pedersen Algorithms for Computing Maximum Agreement Subtrees.
1675 Nikolaj Skipper Rasmussen 23-06-2016 Christian Nørgaard Storm Pedersen Algorithms for Computing Maximum Agreement Subtrees.
1674 Andreas Winther Lykke 23-06-2016 Christian Nørgaard Storm Pedersen Predicting Cocaine Relations using Machine Learning Techniques.
1673 Morten Houmøller Nygaard 21-06-2016 Kasper Green Larsen Estimating Frequencies and Finding Heavy Hitters.
1672 Jonas Nicolai Hovmand 21-06-2016 Kasper Green Larsen Estimating Frequencies and Finding Heavy Hitters.
1671 Peter Gabrielsen 21-06-2016 Kasper Green Larsen Three-sided Range Reporting in External Memory.
1670 Christoffer Holbæk Hansen 21-06-2016 Kasper Green Larsen Three-sided Range Reporting in External Memory.
1669 Kent Grigo 20-06-2016 Kasper Green Larsen Getting to know the Captain´s Mistress with Reinforcement Learning.
1668 Thor Bagge 20-06-2016 Kasper Green Larsen Getting to know the Captain´s Mistress with Reinforcement Learning.
1667 Troels Thorsen 20-06-2016 Kasper Green Larsen Categorical Range Searching.
1666 Kenn Daniel 20-06-2016 Gerth Stølting Brodal Selection in a Heap.
1665 Casper Færgemand 20-06-2016 Gerth Stølting Brodal Selection in a Heap.
1664 Steffen Pham Diswal 17-06-2016 Aslan Askarov Transcompilation of VDM-SL to C#
1663 Casper Guldager Christensen 18-05-2016 Christian Nørgaard Storm Pedersen Implementing an Algorithm for Finding minimal forbidden Words.
1662 Dan Ariel Søndergaard 29-04-2016 Christian Nørgaard Storm Pedersen Classification and Analysis of Biological Data. 
1661 Philip Tchernavskij 25-04-2016 Susanne Bødker Transclusion in Software for the Complex, the Changing, and the Indeterminate.
1660 Martin Storgaard 20-04-2016 Ira Assent Structural Clustering Algorithm for Networks.
1659 Knud Rohde Fischer 15-04-2016 Olivier Danvy An automated Approach to Organizing BiBTEX Files.
1658 Przemyslaw Milosz Miszczuk 13-04-2016 Ole Caprani Racing with Robots. Challenges of Implementing an EV3 Robot Game.
1657 Kristian Borup Antonsen 12-04-2016 Niels Olof Bouvin Peer Cache. Secure Peer-to-Peer Web Caching using Private Set Intersection.
1656 Anders Holm 29-03-2016 Susanne Bødker Mobile Payment. Exploring Payment Requests and the associated Usability Issues.
1655 Daniel Møller 16-03-2016 Niels Olof Bouvin Dynamic Offloading. Exploring the Viability of af two-tiered Offloading Solution.
1654 Jesper Manscher Andersen 16-03-2016 Niels Olof Bouvin Dynamic Offloading. Exploring the Viability of af two-tiered Offloading Solution.
1653 Tau Sebastian Sand 22-02-2016 Olav W. Bertelsen Designing for Openness in Home Care. A critical Study of Workplace Technologies.
1652 Daniela Rossi 22-02-2016 Olav W. Bertelsen Designing for Openness in Home Care. A critical Study of Workplace Technologies.
1651 Søren Krogh Sørensen 29-01-2016 Kaj Grønbæk og Henrik Blunck The Effect of Indoor Positioning Performance on Human Activity Recognition.
1650 Andreas Mathisen 29-01-2016 Kaj Grønbæk og Henrik Blunck The Effect of Indoor Positioning Performance on Human Activity Recognition.
1649 Peter Bjerg Mogensen 29-01-2016 Jörg Müller Conference RoomAlive.
1648 Rasmus Henriksen 28-01-2016 Henrik Bærbak Christensen Automated Conversion of Manual Tests into Fast Database Based Regression Tests.
1647 Jesper Madsen 28-01-2016 Claudio Orlandi Zero Knowledge for Boolean Circuits.
1646 Henrik Knakkegaard Christensen 27-01-2016 Gerth Stølting Brodal Algorithms for Finding Dominators in Directed Graphs.
1645 Casper Bo Kærgaard Green 27-01-2016 Gerth Stølting Brodal og Kasper Green Larsen Range Mode Queries in Arrays.
1644 Jakob Peter Landbo 27-01-2016 Gerth Stølting Brodal og Kasper Green Larsen Range Mode Queries in Arrays.
1643 Manuel Rafael Ciosici 18-12-2015 Ira Assent Improving Quality of Hierarchical Clustering for Large Data Series.
1642 Thomas Larsen Wessel 17-12-2015 Morten Kyng Console for Monitoring and Controlling a Heatpump.
1641 Jens Christian Christensen Jensen 17-12-2015 Gerth Stølting Brodal Event Detection in Soccer Using Spatio-Temporal Data.
1640 Anders Konring Olesen 10-12-2015 Claudio Orlandi og Jan Møller On the Anonymity of Simple Payment Verification in the Bitcoin Protocol.
1639 Morten Krogh-Jespersen 25-11-2015 Lars Birkedal Towards Modula Reasoning for Concurrent Higher-Order Imperative Programs.
1638 John Kristian Mejer Smedegaard 30-10-2015 Ira Assent Stream-based Active Learning for Activity Recognition
1637 Brian Braüner Frølund 30-10-2015 Ira Assent Stream-based Active Learning for Activity Recognition
1636 Christoffer Quist Andersen 23-10-2015 Anders Møller New Testing Techniques for Mobile and Web Applications.
1635 Malene Sjørslev Søholm 15-10-2015 Ira Assent Maximum Coverage Representative Skyline.
1634 Jakob Bjerre Jakobsen 09-10-2015 Claudio Orlandi Dumb crypto in smart Phones. A practical Cryptanalysis of the Telegram messaging Protocol.
1633 Morten Nikolaj Pløger 24-09-2015 Niels Olof Bouvin Source Switching in decentralized Streaming Network.
1632 Morten Rasmussen 18-09-2015 Henrik Blunck og Niels Olof Bouvin Context-Aware Mobile App Support for Guarding Businesses.
1631 Lisbet Møller Andersen 18-09-2015 Ira Assent Comparison of the Outlier Detection Algorithms: DB-Outlier, LOF and LDOF.
1630 Ole Dalgaard Lauridsen 07-09-2015 Olivier Danvy A Formalisation of Cryptography with the Coq Proof Assistant.
1629 Christian Billeskov Clausen 07-09-2015 Olivier Danvy Programs, Proofs, and Tactics in the Coq Proof Assistant.
1628 Søren Hannibal Krabbe-Keblovszki 28-08-2015 Ivan Bjerre Damgård A Study of Two Fully Homomorphic Encryption Schemes Based on the Learning With Errors Problems.
1627 Fie Hebsgaard-Pedersen 28-08-2015 Ivan Bjerre Damgård A Study of Two Fully Homomorphic Encryption Schemes Based on the Learning With Errors Problems.
1626 Lukas Jürgen Walther 19-08-2015 Gerth Stølting Brodal og Peyman Afshani Intersection of Convex Objects in the Plane.
1625 Kasper Vesth 12-08-2015 Niels Olof Bouvin Comparison of Strategies for P2P Based Streaming of Video-on-Demand Using BitTorrent.
1624 Roberto Stillhoff Trifiletti 04-08-2015 Jesper Buus Nielsen Secure Outsourcing in an Online World. 
1623 Rasmus Hallenberg-Larsen 24-07-2015 Gerth Stølting Brodal og Peyman Afshani Computing Set Operations on Simple Polygons Using Binary Space Partition Trees.
1622 Simon Nordved Madsen 24-07-2015 Gerth Stølting Brodal og Peyman Afshani Computing Set Operations on Simple Polygons Using Binary Space Partition Trees.
1621 Helene Flyvholm Haagh 29-06-2015 Claudio Orlandi Constructions of Functional Encryption.
1620 Nils Alfred Rahbek Henning 29-06-2015 Niels Olof Bouvin og Clemens Nylandsted Klokmose User Driven Content Distribution Network.
1619 Thomas Sandholt 29-06-2015 Gerth Stølting Brodal og Peyman Afshani Geometric Measures of Depth.
1618 Mathies Boile Christensen 29-06-2015 Gerth Stølting Brodal og Peyman Afshani Geometric Measures of Depth.
1617 Mads Ravn 29-06-2015 Gerth Stølting Brodal og Kasper Green Larsen Orthogonal Range Searching in 2D with Ball Inheritance.
1616 Lasse Højgaard 26-06-2015 Michael E. Caspersen og Palle Nowack Towards Computational Thinking in School.
1615 Roland Larsen Pedersen 26-06-2015 Gerth Stølting Brodal Engineering Rank and Select Queries on Wavelet Trees.
1614 Jan Hessellund Knudsen 26-06-2015 Gerth Stølting Brodal Engineering Rank and Select Queries on Wavelet Trees.
1613 Magnus Strand-Holm Vinther 26-06-2015 Gerth Stølting Brodal og Peyman Afshani Pathfinding in Two-dimensional Worlds.
1612 Anders Strand-Holm Vinther 26-06-2015 Gerth Stølting Brodal og Peyman Afshani Pathfinding in Two-dimensional Worlds.
1611 Morten Djernæs Bech 25-06-2015 Claudio Orlandi A detailed Review of three Oblivious Transfer Extension Protocols.
1610 Randi Katrine Hillerøe 25-06-2015 Anders Møller TAPAs: Type Analysis for PHP Arrays.
1609 Christian Budde Christensen 25-06-2015 Anders Møller TAPAs: Type Analysis for PHP Arrays.
1608 Mathias Bak Bertelsen 25-06-2015 Niels Olof Bouvin/Clemens N. Klokmose Augmenting single-user 3D WebGL Applications with Multi-User Support.
1607 Andreas Troelsen 25-06-2015 Niels Olof Bouvin/Clemens N. Klokmose Augmenting single-user 3D WebGL Applications with Multi-User Support.
1606 Jakob Knop Rasmussen 25-06-2015 Olav W. Bertelsen Immersive 3D Modeling for Novices: Uncovering Design Considerations through the Design of a Hand-based Interface.
1605 Mads Fabricius Schmidt 24-06-2015 Christian Nørgaard Storm Pedersen Improving NRPS A-domain Classification using Self-Training.
1604 Frederik Lønstrup Hansen 24-06-2015 Christian Nørgaard Storm Pedersen Speeding UP RNA secondary Structure Prediction.
1603 Torben Muldvang Andersen 24-06-2015 Christian Nørgaard Storm Pedersen Speeding Up HMM Decoding using Compression.
1602 Anders Høst Mikkelsen 24-06-2015 Christian Nørgaard Storm Pedersen Local Alignment using the Four-Russians Technique.
1601 Emil Bremer Orloff 24-06-2015 Aslan Askarov Progress-Sensitive Security.
1600 Jakob Møller Kajhøj 24-06-2015 Niels Olof Bouvin Optimizing Image Feature Detection using GPUs.
1599 Esben Overlund Andersen 23-06-2015 Ole Caprani Can LEGO Mindstorms EV3 be configured to support Testing Path formation in Robot Swarms.
1598 Jakob Koed Holm 17-06-2015 Ole Caprani Implementation of Reservation-based Traffic Management on Autonomous LEGO Mindstorms EV3 Vehicles.
1597 Michael Bisgaard Olesen 10-06-2015 Gudmund Frandsen Variants of a Dynamic Algorithm for Maintaining Matrix Normal Forms.
1596 Jakob Damgaard Jensen 08-06-2015 Ira Assent Online Hyper-Parameter Optimization for Item-based top-n Recommendation Algorithms.
1595 Michael Vilhelmsen 08-06-2015 Olav W. Bertelsen Comparing the Qualities and User Experience in physical and digital Games - A Study in Magic: The Gathering.
1594 Kristján Rafn Gunnarsson 04-06-2015 Olivier Danvy Counting Golf Strokes Using Smartphone Sensors and Machine Learning.
1593 Ulrik Sahl Lystbæk 29-05-2015 Anders Møller Demand-driven Pointer Analysis optimized for Code Completion i JavaScript.
1592 Karsten Emil Marcussen 22-05-2015 Niels Olof Bouvin SISP - A Framework for Sensor based Interaction between Smartphones and Public Displays.
1591 Kris Vestergaard Ebbesen 13-04-2015 Gerth Stølting Brodal On the Practicality of Data-Oblivious Sorting.
1590 Laust Mølgaard Thomsen 27-03-2015 Ole Caprani A mini Traffic Shool based on MINDSTORMS® EV3 Robots and leJOS´ Java.
1589 Claus Jespersen 13-03-2015 Gerth Stølting Brodal Monte Carlo Evaluation of financial Options using a GPU.
1588 Daniel Mac Donald 12-03-2015 Olav W. Bertelsen Sushi, rødvin og halvmaraton: Et kvalitativt studie af online dating services
1587 Mikkel Engelbrecht Hougaard 13-02-2015 Gerth Stølting Brodal On the Complexity of red-black Trees for higher Dimensions.
1586 Bo Mortensen 13-02-2015 Gerth Stølting Brodal og Peyman Afshani Algorithms for Computing Convex Hulls using linear Programming.
1585 Bernardo Machado David 05-02-2015 Ivan Bjerre Damgård og Jesper Buus Nielsen Secure Computation and Cryptographic Protocols 
1584 Troels Leth Jensen 03-02-2015 Anders Møller Type Inference for Dart.
1583 Jesper Lindstrøm Nielsen 03-02-2015 Anders Møller Type Inference for Dart.
1582 Eivind Ortind Simonsen 19-01-2015 Olav W. Bertelsen Digitalt anatomibord som læringsmiljø.
1581 Thomas Holst 19-12-2014 Kaj Grønbæk ShareBuddy - A casual game for encouraging changes in electricity and water usage.
1580 Lasse Jesper Garding Espeholt 11-12-2014 Christian Nørgaard Storm Pedersen Neural Networks for Classification of Protein Sequences.
1579 Thomas Nørlem Rasmussen 12-11-2014 Claudio Orlandi Fully homomorphic Encryption and multilinear Maps.
1578 Jeppe Haugaard Sørensen 12-11-2014 Niels Olof Bouvin/Clemens Nylandsted Klokmose Helping Developers distribute Web Applications across heterogeneous Devices.
1577 Kristoffer Dahl Hansen 12-11-2014 Niels Olof Bouvin/Clemens Nylandsted Klokmose Helping Developers distribute Web Applications across heterogeneous Devices.
1576 Jens Olaf Svanholm Fogh 06-11-2014 Christian Nørgaard Storm Pedersen Pattern Matching using suffix Trays, Arrays and Trees.
1575 Martin Vang 03-11-2014 Ole Caprani Undersøgelse af to modeller til at implementere Behavior Based Control i leJOS på Lego Mindstorms EV3.
1574 Morten Rasmussen 27-10-2014 Gudmund Skovbjerg Frandsen Experimental Comparison of Algorithms for dynamic transitive Closure.
1573 Jacob Toft Pedersen 21-10-2014 Kaj Grønbæk Improving Photon Mapping with Multidimensional Caching and Clustered Measurement Points
1572 Morten Larsson 08-10-2014 Henrik Bærbak Christensen Microservices.
1571 Morten Søgård Jensen 03-10-2014 Niels Olof Bouvin A Framework for Distribution of Webtask By Use of Edge Computing.
1570 Stig Rohde Døssing 03-10-2014 Peter Bro Miltersen Ray Tracing Using Dual-Tree Traversal.
1569 Jakob Laurits Oemann Rosenlund 24-09-2014 Niels Olof Bouvin QRFB: En tilgang til transportable programmer.
1568 Anders Jensen 12-09-2014 Jesper Buus Nielsen An Oblivious Parallel RAM and Other ORAM Optimizations.
1567 Steffen Høi 05-09-2014 Erik Ernst Exploring Object Ownership for Controlling Representation Exposure.
1566 Nikolaj Mols Hansen 05-09-2014 Erik Ernst Exploring Object Ownership for Controlling Representation Exposure.
1565 Simon Bilskov Jespersen 27-08-2014 Susanne Bødker Presenting Privacy and Identity. Understanding Self-Presentation in Mediated Interaction.
1564 Mads Wølch Frandsen 22-08-2014 Ira Assent Diverse and Constrained Top-K Combination Queries.
1563 Rune Steen Laursen 21-08-2014 Claudio Orlandi Cryptographic Applications of Software Obfuscation.
1562 Heine Stokholm 14-08-2014 Peter Bro Miltersen Clustering of Virtual Ray Lights.
1561 Troels Mortensen 14-08-2014 Peter Bro Miltersen Clustering of Virtual Ray Lights.
1560 Mads Møller Jensen 02-07-2014 Kaj Grønbæk Interactive Sports-Training Systems - Interaction Techniques and Sensing Technologies.
1559 Allan Stisen 02-07-2014 Kaj Grønbæk Designing Context-Aware Task Management Accounting for Situated Actions.
1558 Peter Urbak 02-07-2014 Olivier Danvy A Formal Study of Moessner´s Sieve.
1557 Kristian Theilgaard Hansen 27-06-2014 Peter Bro Miltersen 4D Bounding Volume Hierarchies for Efficient Rendering of Motion Blur.
1556 Nils Asbjørn Joensen 27-06-2014 Anders Møller Migration af Klasser og Moduler fra JavaScript til Typescript.
1555 Daniel Winther Petersen 27-06-2014 Gerth Stølting Brodal Orthogonal Range Skyline Counting Queries.
1554 Kasper Nielsen 23-06-2014 Christian Nørgaard Storm Pedersen Acceleration of Edit-Distance Using Compression.
1553 Daniel Milo Farkner 12-06-2014 Ivan Bjerre Damgård A Cloud On The Horizon For Online Storage.
1552 Jacob Hougaard 30-05-2014 Anders Møller A Study of The DASH Algorithm For Software Property Checking.
1551 Kasper Føns 30-05-2014 Anders Møller A Study of The DASH Algorithm For Software Property Checking.
1550 Peter Jessen 14-05-2014 Christian Nørgaard Storm Pedersen Methods for Prediction of NRPS A-domain Specificity.
1549 Ole Rasmussen 12-05-2014 Michael E. Caspersen A Framework for Developing Maintainable and Portable BlueJ Extensions.
1548 Mikkel Kjeldsen 08-05-2014 Olav W. Bertelsen Supporting Localised Democracy: Experimenting With QR Codes and Smartphones for Situated Engagement in Social Housing Democracy.
1547 Peter Bartram Hansen 06-05-2014 Henrik Bærbak Christensen A Survey of Methods for Analyzing Software Runtime Behavior.
1546 Jana Kunert 11-04-2014 Gerth Stølting Brodal Hashing and Random Graphs.
1545 Jakob Schultz-Nielsen 20-03-2014 Christian Nørgaard Storm Pedersen Implementing a Simulated Directed Acyclic Word Graph for Computing Local Alignment.
1544 Jens-Emil Vejgaard Kristensen 05-03-2014 Christian Nørgaard Storm Pedersen Folding RNA 2nd Structure Using Stochastic Context Free Grammars.
1543 Mads Pedersen 06-02-2014 Erik Ernst Lightweight Family Polymorphism Revisited.
1542 Esben Andreasen 27-01-2014 Anders Møller Analysing Real-World Java Script.
1541 Steffen Beier Olesen 24-01-2014 Gerth Stølting Brodal An Experimental Comparison Of Max Flow Algorithms.
1540 Jakob Mark Friis 24-01-2014 Gerth Stølting Brodal An Experimental Comparison Of Max Flow Algorithms.
1539 Jon Korsgaard Sorensen 17-01-2014 Ivan Bjerre Damgård Security Analysis Of Bitcoin.
1538 Ales Bizjak 10-01-2014 Lars Birkedal Step-indexed Logical Relations And Biorthogonality.
1537 Johannes Ulfkjær Jensen 16-12-2013 Ole Caprani Secure Wireless, Offline Gathering of Water Meter Data.
1536 Morten Elmvig Bruhn 16-12-2013 Ole Caprani Secure Wireless, Offline Gathering of Water Meter Data.
1535 Morten Schaumburg 11-12-2013 Christian Nørgaard Storm Pedersen A Fully Compressed Algorithm for Computing Edit Distance
1534 Marc Ilsø Poulsen 04-11-2013 Ole Caprani Comparisons of Several Rendering Algorithms for Isosurfaces
1533 Troels Ugilt Jensen 04-11-2013 Ole Caprani Precomputed Volume Transfer for Efficient Subsurface Scattering
1532 Bjarke Vældgaard Grøn 25-10-2013 Jesper Buus Nielsen How to Verify the Correctness of Delegated Computations
1531 Peter Høeg Steffensen 25-10-2013 Jesper Buus Nielsen How to Verify the Correctness of Delegated Computations
1530 Jesper Thirup Larsen 15-10-2013 Susanne Bødker Orientation of Experience and Motivation: Intrinsic and Extrinsic Perspectives
1529 Mikkel Pedersen Kaas 15-10-2013 Susanne Bødker Orientation of Experience and Motivation: Intrinsic and Extrinsic Perspectives
1528 Jeppe Schou 09-10-2013 Gerth Stølting Brodal Range Minimun Data Structures
1527 Nikolaj Kobek Thorsen 30-09-2013 Ole Caprani Real-time Image-based Rendering of Caustics via Frequency Space Filtering on a GPU
1526 Thor Siiger Prentow 26-09-2013 Mikkel Baun Kjærgaard Supporting Indoor Work Task Logistics with Adaptive Algorithms based on Indoor Positioning - Applied.
1525 Jeppe Welling Hansen 02-09-2013 Olivier Danvy Editorial support for first-year students in programming languages at Aarhus University
1524 Kasper Hyldager Hass Kristensen 30-08-2013 Ivan Bjerre Damgård Selective Opening Attacks for Encryption and Bit-Commitment Schemes
1523 Jørgen Fogh 23-08-2013 Gerth Stølting Brodal Engineering a Fast Fourier Transform
1522 Frederik Mogensen 15-08-2013 Christian S. Jensen Locating Points of Interest Based on Geotagged Tweets
1521 Jesper Asbjørn Sindahl Nielsen 09-07-2013 Gerth Stølting Brodal Implicit Data Structures and RAM Sorting.
1520 Søren Kristoffer Stiil Frederiksen 09-07-2013 Peter Bro Miltersen Semi-Algebraic Tools in Stochastic Games
1519 Kenneth Sejdenfaden Bøgh 05-07-2013 Ira Assent Effektiv beregning af skycubes på grafikkort
1518 Michael Lind Mortensen 28-06-2013 Ira Assent User Driven Decision Support Queries in Interactive Environments
1517 Morten Kragelund Holt 27-06-2013 Gerth Stølting Brodal Beregning af triplet og kvartet distancer
1516 Jens Johansen 27-06-2013 Gerth Stølting Brodal Beregning af triplet og kvartet distancer
1515 Line Løfquist 11-06-2013 Marianne Graves Petersen Udforskning af et designrum til at motivere børn der dyrker sport - Et longitudinalt, in-situ, kvalitativt studie om spil og teknologi i trampolin domænet
1514 Tommy de Blanck 29-05-2013 Ole Caprani Approximative Rendering using Multi-Directional Relief Mapping
1513 Thomas Stidsborg Sylvest 29-05-2013 Christian Nørgaard Storm Pedersen Algorithms for Exact Pattern Matching in Practice
1512 Stefan Ravnholt Nielsen 29-05-2013 Christian Nørgaard Storm Pedersen Algorithms for Exact Pattern Matching in Practice
1511 Allan Thomassen Rudwill 11-03-2013 Ira Assent Indeksering af bioinformatisk data med parrede ender
1510 Anders Ingemann 19-02-2013 Jan Midtgaard Extracting Data from Rendered HTML Templates
1509 Anders Egerup Halager 29-01-2013 Thomas Mailund Coalescent HMM analysis of great ape speciation
1508 Casper Wandahl Schmidt 29-01-2013 Christian S. Jensen Indicering af spatio-tekstuelle data! Et empirisk studie
1507 Jesper Broni Andersen 22-01-2013 Ivan Bjerre Damgård On Pseudorandom Functions based on DDH-like Assumptions with Applications to E-cash
1506 Philip Kristoffersen 22-01-2013 Marianne Graves Petersen En udforskning af Kinectens uudnyttet potentiale i hjemme underholdningssystemer
1505 Troels Toftebjerg Hansen 15-01-2013 Thomas Sangild Sørensen Forbedring af videokompression vd hjælp af l1-optimering
1504 Brian Melin Iversen 06-12-2012 Jan Midtgaard Information Flow Analysis of Java Bytecode
1503 Toke Reimer Brødsted 27-11-2012 Niels Olof Bouvin Mobilt Ressource Ad hoc Netværk: Tidskritisk data i en heterogen verden
1502 Simon Woersaa Abildgaard 27-11-2012 Niels Olof Bouvin Mobilt Ressource Ad hoc Netværk: Tidskritisk data i en heterogen verden
1501 Jonas Jensen 27-11-2012 Niels Olof Bouvin Mobilt Ressource Ad hoc Netværk: Tidskritisk data i en heterogen verden
1500 Daniel Lysdal Kjeldsen 19-11-2012 Christian Nørgaard Storm Pedersen Implementering af udvidede algoritmer for skjulte Markov modeller til genforudsigelse
1499 Jakob Hundal Sandholm 19-11-2012 Christian Nørgaard Storm Pedersen Implementering af udvidede algoritmer for skjulte Markov modeller til genforudsigelse
1498 Søren Chrestensen 14-11-2012 Ira Assent Inkrementel outlier detection i strømme af data ved hjælp af cluster kernels
1497 Nikoline Valsgaard Vinkel 14-11-2012 Ira Assent Analyse af Forskellige Modeller af Fuzzy Skyline Forespørgsler
1496 Martin Søndergaard Kristiansen 31-10-2012 Thomas Mailund Optimeringer af forward algoritmen på skjulte Markov modeller
1495 Peter Sandberg Brun 31-10-2012 Christian Nørgaard Storm Pedersen Implementering af MUSCLE ved anvendelse af GPU
1494 Mads Sandberg Brun 31-10-2012 Christian Nørgaard Storm Pedersen Implementering af MUSCLE ved anvendelse af GPU
1493 Asger Feldthaus 29-10-2012 Anders Møller Pointer Analysis for Jave Script: Techniques and Applications
1492 Magnus Madsen 29-10-2012 Anders Møller Static Analysis of Dynamic Languages
1491 Mark Surrow 03-10-2012 Susanne Bødker The Experience of Social Digital Platforms
1490 Mark Riis Therkildsen 27-09-2012 Niels Olof Bouvin Beskyttelse mod snyd i massive multiplayer online spil der benytter en peer-to-peer arkitektur
1489 Mikkel Keller Stubkjær 25-09-2012 Henrik Bærbak Christensen Persisting compiled Domain Models using Criteria Based Reflection
1488 Morten Daugaard 21-09-2012 Ole Caprani Semi-autonom indendørs navigation for luftbåren robot
1487 Thomas Vrang Thyregod 21-09-2012 Ole Caprani Semi-autonom indendørs navigation for luftbåren robot
1486 Anders Halwas Moeslund Andersen 18-09-2012 Ivan Damgård The Security and Performance of Identity Based Encryption
1485 Asger Eriksen 13-09-2012 Anders Møller Dart´s type system and success types
1484 Tore Kasper Frederiksen 22-08-2012 Jesper Buus Nielsen Optimizing Actively Secure Two-Party Computations
1483 Rasmus Østerlund Feldthaus Hansen 10-07-2012 Jan Midtgaard Strenganalyse i Flash
1482 Esben Villefrance Rasmussen 10-07-2012 Ivan Damgård Sammenligning af RSA og Hofheinz-Kiltz
1481 Andreas Stejner Sand Pedersen 29-06-2012 Christian Nørgaard Storm Pedersen Efficient Implementations of Algorithms for Analyzing Biological Data, using Hidden Markov Models and Tree Data Structures
1480 Carsten Sørensen 29-06-2012 Christian Nørgaard Storm Pedersen Pladseffektive implementeringer af HMM algoritmer
1479 Sarah Nouhad Haddad Zakarias 22-06-2012 Ivan Bjerre Damgård Multiparty Computation in the Preprocessing Model A.
1478 Carsten lange Jensen 18-06-2012 Kaj Grønbæk Sensorisk Deprivation som en Spilmekanisme i Augmented Reality Spil
1477 Tim Rasmussen 25-05-2012 Jesper Buus Nielsen Nøglehåndtering i skyen
1476 Jan Aslak Thorndahl Lindballe 30-03-2012 Niels Olof Bouvin Dynamisk distribuerede systemer i uniforme virtuelle omgivelser
1475 Peter Birk Nielsen 29-03-2012 Henrik Bærbak Christensen Pattern@: Dokumentation og kontrol af designpatterns med Java-annotationer
1474 Kim Munk Petersen 26-03-2012 Thomas Sangild Sørensen Field Map Guidet Registrering til Diffusions-vægtede Magnetisk Resonans-skanninger
1473 Andreas Kofoed-Hansen 23-03-2012 Gerth Stølting Brodal Repræsentationer til at finde vej i Planet
1472 Matthias Diehn Ingesman 22-03-2012 Erik Ernst En maskinelt verificeret calculus til at skifte mellem urelaterede typer
1471 Tue Schrøder Skeltved 06-03-2012 Ivan Damgård Distribueret to-parts RSA nøglegenerering
1470 Ubbe Ané Thimsen Welling 31-01-2012 Henrik Bærbak Christensen Parallel Program Comprehension by Thread Visualisation.
1469 Angelo Agatino Nicolosi 03-01-2012 Ivan Damgård Efficient RSA Key Generation Protocol in a Two-parts setting with application to see Multiparty Enviroment
1468 Wel Ahmad Rachid 14-12-2011 Susanne Bødker Methods and Concepts to understanding of mobile Discussions
1467 Martin Sergio Hedevang Fæster 22-11-2011 Ivan Damgård Distribueret dekryptering for et homomorft kryptosystem
1466 Dan Amlund Thomsen 07-11-2011 Olivier Danvy Et trancebaseret framework til sammenligning af String Matchere
1465 Jens Christian Gram Junge 01-11-2011 Susanne Bødker User Experience og Privacy i et hverdags Sommon Information Space
1464 Roar Kjær Larsen 31-10-2011 Christian Storm Pedersen Parvis sekvensalignment i sub-kvadratisk tid
1463 Tor Jarl Lund Ranfelt 31-10-2011 Christian Storm Pedersen Implementering af næsten kvadratisk tid convex gapcost sekvensalignment
1462 Morten Bojsen Hansen 27-10-2011 Thomas Sangild Sørensen En Hybrid Trekantsnet-Gitter-Tilgang til Effektiv Simulering af Store Vandmasser
1461 Jonas Mørup Christensen 17-10-2011 Ivan Bjerre Damgård Effektive protokoller for anonyme kredentialer og E-kontanter
1460 Anders Nørklit Thingholm 14-10-2011 Peter Møller Nielsen Erfaringer med implementation af Phaton Mapping på en og flere GPU'er
1459 Alexander Bjerremand Hansen 11-10-2011 Anders Møller/Jan Midtgaard Exception Analysis in Mlton
1458 Casper Bach Poulsen 11-10-2011 Anders Møller Methods and tools for Automated Testing of Javascript Web Applications
1457 Anders Dannesboe 30-09-2011 Niels Olof Bouvin Social Networking within a P2P Overlay for Secure Group Communication
1456 Finn Jepsen Schmidt 28-09-2011 Henrik Bærbak Christensen Passive estimation og the density of people environments using wireless networks
1455 Nick Hoffmann Lauritsen 28-09-2011 Henrik Bærbak Christensen Pre-fetching Spatial Data Indoor Enviroments: Comparing Tile-Baed Pre-fetching Strategies Simulation Experiments
1454 Kasper Lyneborg Damgård 26-09-2011 Jesper Buus Nielsen Examination & Implementation of SMC with Linear Communication Complexity
1453 Jannick Elimar Bitsch 16-09-2011 Niels Olof Bouvin Secondary Screens for Mobile Applications - Evaluating the Viability of DLNA Devices as Symbiotic Screens
1452 Casper Kejlberg-Rasmussen 14-09-2011 Gerth Stølting Brodal On Implicit Dictionaries with the Working-Set Property and Catenable Priority Queues with Attrition
1451 Mustafa Sariyar 13-09-2011 Ivan Bjerre Damgård Cramer-Shoup kryptosystemet: nøglegenerering og implementation
1450 Mikkel Nygaard Hansen 05-09-2011 Niels Olof Bouvin Anvendelse af sociale netværks relationer til forbedring af kademlia baseret fildeling systermes robusthed
1449 Steffen Agerbæk Sørensen 05-09-2011 Niels Olof Bouvin Anvendelse af sociale netværks relationer til forbedring af kademlia baseret fildeling systermes robusthed
1448 Rasmus Ibsen-Jensen 31-08-2011 Peter Bro Miltersen Two-player, zero-sum games
1447 Bo Steffen Bjerregaard 18-08-2011 Niels Olof Bouvin Distribueret memory for tilstandsrumskonstruktion i Chord
1446 Kåre Brøgger Sørensen 18-08-2011 Niels Olof Bouvin Ressource Prediction - CPU Profiling by becnmarking
1445 Sivert Bertelsen 12-08-2011 Erik Ernst Vanskelige valg i designet af et collection-bibliotek
1444 Kasper Green Larsen 31-07-2011 Lars Arge Optimal Orthogonal Range Reporting in 3-d
1443 Martin Castberg Thuesen 08-07-2011 Anders Møller Contracts for jQuery
1442 Thomas Salomon Andreasen 04-07-2011 Thomas Sangild Sørensen A Data-parallel Solution to the Bloch Equations for MRI Simulation
1441 Peter Krongaard Kristensen 04-07-2011 Thomas Sangild Sørensen A Data-parallel Solution to the Bloch Equations for MRI Simulation
1440 Ian Steven Zerny 30-06-2011 Olivier Danvy A Synthetic Operational Account of Lazy Evaluation
1439 Rasmus Bach Nielsen 23-06-2011 Thomas Sangild Sørensen Modelling mechanical Effects in the Contraction of the Heart using finite Elements
1438 Steffen Lund Andersen 10-06-2011 Niels Olof Bouvin Semantic Peer-to-Peer File Sharing Networks
1437 Jesper Ilsøe Nielsen 03-06-2011 Anders Møller/Jan Midtgaard Engineering of sub-cubic Flow Analysis
1436 Per Lambæk 11-05-2011 Christian Nørgaard Storm Pedersen Parallelization of Multiple Sequence Alignment
1435 Morten Skov Jørgense 04-05-2011 Susanne Bødker A Taxonomy of WIMP and ZUI Usability in a Geographical Map Context
1434 Mads Vering Krarup 29-04-2011 Christian S. Jensen Minimising Supervised Fingerprinting for Enabling Easy Deployable and Expendable WiFi Positioning
1433 Marco De Lorenzi 28-04-2011 Thomas Sangild Sørensen Evaluation of Intensity based Registration Methods for medical Imaging
1432 Asger Dam Hoedt 28-04-2011 Thomas Sangild Sørensen Effective Ray Tracing of dynamic Scenes on the GPU
1431 Christian Boe Riisgaard Nielsen 28-04-2011 Thomas Sangild Sørensen Evaluation of Intensity based Registration Methods for medical Imaging
1430 Jonas Søndergaard O. Kristensen 24-04-2011 Mikkel Baun Kjærgaard Bestemmelse af rutesammenfald baseret på signalstyrkemålinger
1429 Torin Finnemann Jensen 24-03-2011 Niels Oluf Bouvin Automatisk relokalisering af dynamisk indhold på World Wide Web
1428 Christian Melchior 03-03-2011 Henrik Bærbak Christensen Energy Efficient Detection of Significant Places on Smartphones
1427 Michael Bladt Stausholm 28-02-2011 Jesper Buus Nielsen Implementing a Mechanism using Rational Cryptography
1426 Tue Toft Nørgård 24-01-2011 Henrik Bærbak Christensen Agentorienteret softwareudvikling uden forhåndskendskab - en undersøgelse af agentparadigmets anvendelighed i praksis
1425 Dung My Hoa 17-12-2010 Christian Nørgaard Storm Pedersen Speeding-up Dynamic Programming in Sequence Alignment
1424 Finn Rosenbech Jensen 17-12-2010 Christian Nørgaard Storm Pedersen Using Traveling Salesman Problem in Bioinformatic Algorithms
1423 Bent Bisballe Nyeng 16-12-2010 Ole Caprani "How Audio Software is Developed at TC Electronic"
1422 Mikkel Bak Vester 19-11-2010 Thomas Sangild Sørensen Data Parallel Segmentation for Medical Imaging using the Level Set Method
1421 Martin Højgaard Have 19-11-2010 Thomas Sangild Sørensen Dose Calculations in Radiation Therapy using Image Registration
1420 Sean Geggie 19-11-2010 Thomas Sangild Sørensen Data Parallel Segmentation for Medical Imaging using the Level Set Method
1419 Anders Kabell Kristensen 19-11-2010 Christian Nørgaard Storm Pedersen Computing the Quartet Distance between General Trees: An experimental Study of a sub-cubic Algorithm
1418 Lene Mejlby 01-11-2010 Olivier Danvy Hvorfor er der så få kvindelige datalogistuderende? En feltanalyse på de datalogiske institutter på Aarhus Universitet samt Københavns Universitet
1417 Kasper Buus Møller Jensen 15-10-2010 Peter Møller-Nielsen Implementing a Fluid Simulation using the Lattice Boltzmann Method, with Reference to Real-time Computer Graphics
1416 Mikkel Gravgaard Nielsen 15-10-2010 Ole Caprani Human Beatboxing: generering af trommespor og automatisk effektprocessering
1415 Kasper Borup 11-10-2010 Ivan Bjerre Damgård Special Signature Schemes: Theory and Applications
1414 Jesper Løgager Jakobsen 11-10-2010 Niels Olof Bouvin An Opportunistic Cluster for Bag-of-Tasks Parallel Applications
1413 Simon Holm Jensen 06-10-2010 Anders Møller Testing and Analysis of Dynamic Javascript Web Applications
1412 Michael Kølbæk Madsen 01-10-2010 Jesper Buus Nielsen Experimental Study of Short Signatures for Resource-Constrained Devices
1411 Anders Hauge Nissen 28-09-2010 Ole Caprani An Accessible Behavior Tree Framework for Implementing and Designing Game AI
1410 Jonas Suhr Christensen 23-09-2010 Gerth Stølting Brodal Experimental Study of Kinetic Geometric t-spanner Algorithms
1409 Thomas Børlum 23-09-2010 Thomas Sangild Sørensen Approximating Ambient Occlusion using Screen-Space Techniques
1408 David Kjær 16-09-2010 Gerth Stølting Brodal Range Median Algorithms
1407 Sigurd Torkel Meldgaard 24-08-2010 Ivan Bjerre Damgård Theory and Practise of Multiparty Computation
1406 Esben Søe 19-08-2010 Henrik Bærbak Christensen Energieffektiv estimering af bevægelsesmønstre på mobile enheder
1405 Erik Vest Zielke 18-08-2010 Susanne Bødker Advanced Interactions in Lego Digital Designer
1404 Jakob Grauenkjær Thomsen 13-08-2010 Michael I. Schwartzbach Lifeflow: Programmable Interactive Services
1403 Jakob Truelsen 30-07-2010 Gerth Stølting Brodal Working Set Implicit Dictionaries and Range Mode Lower Bound and Approximations
1402 Thomas Dueholm Hansen 30-07-2010 Peter Bro Miltersen Investigations in Computational Game Theory
1401 Jens Boye Hansen 08-07-2010 Henrik Bærbak Christensen Implementing and evaluating a System for predicting the Availability of GPS Signals
1400 Allan Johansen 08-07-2010 Henrik Bærbak Christensen Implementing and evaluating a System for predicting the Availability of GPS Signals
1399 Mathias Romme Schwarz 08-07-2010 Anders Møller Improving safety and correctness of web applications
1398 Anders Breindahl 07-07-2010 Ivan Bjerre Damgård Reductionism vs. symmetric cryptography
1397 Jonas Kölker 28-06-2010 Ivan Bjerre Damgård Multiparty Computation with external storage servers and secret sharing from boolean formulae
1396 Henrik Overgaard 17-06-2010 Ivan Bjerre Damgård Application of Homomorphic Cryptography in Financial Security
1395 Thomas Loftager Nielsen 17-06-2010 Henrik Bærbak Christensen A Framework for the Domain of Card Games
1394 Jacob Sloth Mahler-Andersen 17-06-2010 Henrik Bærbak Christensen A Framework for the Domain of Card Games
1393 Søren Grønnegaard Andersen 17-06-2010 Erik Ernst When Grammars Are Not Enough
1392 Rikke Bendlin 14-06-2010 Ivan Bjerre Damgård Secure Multiparty Computation from Lattice-based Cryptosystems
1391 Mads Conrad Baggesen 02-06-2010 Christian Nørgaard Storm Pedersen Implementation af Skjulte Markovmodeller med fokus på tynde modeller
1390 Kristian Klüver Jensen 27-05-2010 Anders Møller Type Checking of SQL/XML
1389 Anders Viskum 27-05-2010 Anders Møller Automatiseret testgenerering til Java-webapplikationer
1388 Rasmus Gude 18-05-2010 Marianne Graves Petersen Digital Hospitality: Expanding Smart Homes to Support Guests and Visitors
1387 Thomas Heath 06-05-2010 Olav W. Bertelsen Digitalt beboerdemokrati - eksperimenter med en webportal til understøttelse af afdelingsmøder
1386 Thomas Vestergaard 06-05-2010 Søren Christensen Generating LTL formulas from sequence diagrams
1385 Steffen Mikkelsen 28-04-2010 Christian Nørgaard Storm Pedersen Udvikling af en metode til alignment af genomer
1384 Poul Liboriussen 28-04-2010 Christian Nørgaard Storm Pedersen Udvikling af en metode til alignment af genomer
1383 Rasmus Berlin 27-04-2010 Susanne Bødker Dialog i elektronisk demokrati
1382 Per Nielsen 12-04-2010 Henrik Bærbak Christensen (Spoiled) pattern detection in auto-generated graph-based platform-independent models
1381 Lars Buhl Nielsen 26-03-2010 Thomas Mailund/Christian Nørgaard Storm Pedersen Algoritmer til at finde eksakte motiver i DNA strenge
1380 Kim Pilgaard Christensen 09-03-2010 Ivan Bjerre Damgård Secure sales of tickets to mobile clients
1379 Allan Madsen 04-03-2010 Henrik Bærbak Christensen Automatiseret bestemmelse af strømforbrug på mobiltelefoner til reduktion af strømforbruget af positionsrapportering
1378 Carsten Valdemar Munk 05-02-2010 Morten Kyng Improving Rehabilitation using Computer Vision and Mobility Detection
1377 Mathias Birkkjær Nielsen 05-02-2010 Morten Kyng Agil Kooperativ Softwareudvikling. Samspillet mellem agil softwareudvikling og Cooperative Design med "Remote Rehabilitation Support" som case
1376 Frederik Jakobsen 21-01-2010 Ivan Bjerre Damgård Implementation af et kryptografisk sikkert peer-to-peer spilframework
1375 Rune Horster 21-01-2010 Ivan Bjerre Damgård Implementation af et kryptografisk sikkert peer-to-peer spilframework
1374 Mark Greve 21-01-2010 Gerth Stølting Brodal Online Sorted Range Reporting and Approximating the Mode
1373 Simon Corfix Lykke 20-01-2010 Anders Møller Streaming XSLT
1372 Jakob Benjamin Boisen Juhl 20-01-2010 Anders Møller Scripting i OpenEngine
1371 Smári Viðarsson Waage 20-01-2010 Anders Møller A study of Trace-based Compilation
1370 Mads Hyldegaard 21-12-2009 Peter Møller-Nielsen Kollisionshåndtering i Partikelsystemer på en GPU
1369 Thomas Alstrup Jørgensen 16-12-2009 Niels Olof Bouvin Virkning af Mobilitets Modeller på simulationer af routing protokoller
1368 Jörn Martin Hajek 08-12-2009 Peter Bro Miltersen Thresholded Rewards
1367 Johnni Winther 26-11-2009 Michael I. Schwartzbach A Closer Shave - Improving Precision of AST Tools
1366 Peter Sebastian Nordholt 20-11-2009 Ivan Bjerre Damgård Gitter baseret Kryptografi. En gennemgang af nye public-key systemer af Peikert
1365 Bo Elmholdt Sunesen 13-11-2009 Niels Olof Bouvin Multipoint live streaming - design og implementering af netværkstopologi til understøttelse af enheder med heterogene kvalitetskrav
1364 Jonas Rosenberg Bolmgren 13-11-2009 Niels Olof Bouvin Multipoint live streaming - design og implementering af netværkstopologi til understøttelse af enheder med heterogene kvalitetskrav
1363 Brian Jensen 05-11-2009 Henrik Bærbak Christensen A Tool for Conformance Checking Architectural Styles
1362 Kristof Römisch 30-10-2009 Peter Møller-Nielsen Sparse Voxel Octree Ray Tracing on the GPU
1361 Christian P V Christoffersen 28-10-2009 Ole Østerby Real-time Fragmentation of Solid Material using the Finite Element Method
1360 Carsten Nørby 28-10-2009 Ole Østerby Real-time Fragmentation of Solid Material using the Finite Element Method
1359 Surayya Urazimbetova 27-10-2009 Søren Christensen An Algorithm for Visualization of Large State Spaces via Context-aware Image Resizing
1358 Ronny Rundberg Bruus 19-10-2009 Anders Møller Analyse af HTTP sikkerhed i Webapplikationer
1357 Mads Kristensen 01-10-2009 Preben Holst Mogensen Test Driven Development and Continuous Integration in Buisness Intelligence
1356 Karl Tillmann Rendel 14-09-2009 Klaus Ostermann Typed Self-Representation for Safe and Efficient Meta-Programming
1355 Sebastian Thore Erdweg 14-09-2009 Klaus Ostermann Titel ukendt
1354 Lasse Kosetski Deleuran 31-08-2009 Lars Arge Polygonal Line Simplification
1353 Jakob Aarøe Dam 28-08-2009 Olivier Danvy A Web-Based Weather Service for Wind Sports
1352 Kasper Ligaard 14-08-2009 Niels Olof Bouvin and Frank Allan Hansen An Exploratory Search Tool for Folksonomies  
1351 Muhammad Asif 13-08-2009 Erik Ernst A Safer SOA-based Middleware Interface to Cisco ACE
1350 Fredrik Skeel Løkke 04-08-2009 Erik Ernst Design Patterns and Scala  
1349 Morten Bohøj 27-07-2009 Susanne Bødker Social Navigation, Adaptivity and Validation  
1348 Liliana Ewa Skolimowska 24-07-2009 Peter Bro Miltersen Bartering Systems - Design and Implementation
1347 Michael Achenbach 22-07-2009 Klaus Ostermann Abstraction Engineering  
1346 Chong Tan 08-07-2009 Christian Nørgaard Storm Pedersen Financial Time Series Forecasting using improved Wavelet Neural Network
1345 Jesper Nielsen 08-07-2009 Christian Nørgaard Storm Pedersen Finding Patterns in Biological and Molecular Data  
1344 Mads Jespersen 03-07-2009 Kaj Grønbæk Methods for Preserving Digital Heritage from Legacy Platforms - a Case Study on Preservation of Commodore 64 Material  
1343 Morten Holdflod Møller 03-07-2009 Niels Olof Bouvin Optimizing Mobile Applications using Cyber Foraging  
1342 Konstantinos Tsakalidis 02-07-2009 Gerth Stølting Brodal External Memory 3-sided Planar Range Reporting and Persistent B-Trees  
1341 Jakob Løvstad Funder 01-07-2009 Ivan Bjerre Damgård Cryptography in Higher Dimensions  
1340 Jonathan Frumer 29-06-2009 Niels Olof Bouvin Evaluating Location Aware Multihop Routing for Pervasive Monitoring of Firefighters  
1339 Christof Lemke 25-06-2009 Niels Olof Bouvin A Trusted P2P Overlay for Social Networking  
1338 Anne Therese Frost Hansen 24-06-2009 Marianne Graves Supporting social interaction between Web 2.0-services  
1337 Morten Tranberg Hansen 24-06-2009 Søren Christensen Long Living Sensors  
1336 Helle Friis Petersen 15-06-2009 Preben Mogensen Rules for development and use of a system for mood monitoring and lifechart  
1335 Søren Sunesen Soltveit 02-06-2009 Henrik Bærbak Christensen Criticism of a software quality model  
1334 Renata Pusinskiené 28-05-2009 Søren Christensen Requirements processing for Web based information systems: guidelines and t
1333 Henrik Gammelmark 15-05-2009 Niels Olof Bouvin Adaptive Forms: A XML-Based Framework for Dynamic Data Entry  
1332 Ole Jørgensen 06-05-2009 Christian Nørgaard Storm Pedersen Logisk regression i associations kortlægning
1331 Woody Toke Mejer Jensen 06-05-2009 Christian Nørgaard Storm Pedersen Improving a Text Prediction Algorithm without using Language specific Knowledge  
1330 Janus Bager Kristensen 01-05-2009 Peter Møller-Nielsen Working towards a more physically correct Real-Time Rendering of Indoor Scenes  
1329 Rolf Bagge 01-05-2009 Peter Møller-Nielsen Working towards a more physically correct Real-Time Rendering of Indoor Scenes  
1328 Niels Raabjerg Mathiasen 15-04-2009 Susanne Bødker Designing Useful IT Security for Everyday People  
1327 Claudio Orlandi 15-04-2009 Ivan Bjerre Damgård LEGO and Other Cryptographic Constructions  
1326 Henrik Bitsch Kirk 01-04-2009 Gerth S. Brodal Searching with dynamic Optimality; in Theory and Practise  
1325 Bjarke Nørgaard Laustsen 24-03-2009 Peter Møller-Nielsen Real-time Camera-Space Subsurface scattering on the GPU.  
1324 Lea Troels Møller Pedersen 19-03-2009 Anders Møller Program Slicing for String Analysis.  
1323 Kristian Andersen 18-03-2009 Niels Olof Bouvin Task Scheduling in Cyber Foraging.  
1322 Kim Rauff Schurmann 18-03-2009 Niels Olof Bouvin Task Scheduling in Cyber Foraging.  
1321 Krzysztof Piatkowski 25-02-2009 Gerth Stølting Brodal Engineering Maximum Delsum Algorithms.  
1320 Lars Søndergaard Pedersen 13-02-2009 Erik Ernst Native Command Queuing og Latency.  
1319 Anders Kirkeskov Carlsen 29-01-2009 Michael Schwartzbach Evaluation of a DSL for SMC.  
1318 Niels Ladegaard Beck 28-01-2009 Erik Ernst Optimizing LINQ-quries in C5 using Indices.  
1317 Torben Ditlev Jensen 23-01-2009 Ivan Damgaard Security in Battle Management Systems using Web-services, under the Influence of a Service Oriented Architecture  
1316 Kim Birkelund 19-01-2009 Erik Ernst Virtual Classes and Dynamic Composition on a Statically Typed Virtual Machine
1315 Gert Læssøe Mikkelsen 19-01-2009 Ivan Bjerre Damgård On the Mobility and Security of Personal Digital Signatures
1314 Bjørn Suchocka Petersen 16-01-2009 Ole Caprani En ny paltform for kamera-baseret syn på mobile LEGO Mindstorms NXT robotter
1313 Kristian Asbjørn Leth Espensen 16-01-2009 Lars M. Kristensen Automatic Code Generation from Process-partitioned coloured Petri Net Models  
1312 Mads Keblov Kjeldsen 16-01-2009 Lars M. Kristensen Automatic Code Generation from Process-partitioned coloured Petri Net Models  
1311 Jakob Vaagholt Sørensen 16-01-2009 Ole Caprani Can Computers play Whist? -A Framework to develop and experiment with learning, Computer controlled Players.  
1310 Sine Flarup Budtz 16-01-2009 Ole Caprani Can Computers play Whist? -A Framework to develop and experiment with learning, Computer controlled Players.  
1309 Raphael Dobers 14-01-2009 Lars M. Kristensen A Hybrid Publish-Subscribe Middleware interconnecting mobile ad-hoc and wired Networks across the Internet  
1308 Thomas Greve Kristensen 13-01-2009 Christian Nørgaard Storm Pedersen Virtual Screening, Docking and Tree Comparison Methods
1307 Claus Andersen 19-12-2008 Gerth Stølting Brodal An optimal Minimum Spanning Tree Algorithm  
1306 Piotr Zbigniew Karasinski 17-12-2008 Ole Caprani Utilization of the Java Programming Language ind Sound Processing Applications  
1305 Anders Westfall Reinholt Petersen 09-12-2008 Henrik Bærbak Christensen Model for Measuring Alignment in University Courses  
1304 Søren Kanstrup 13-11-2008 Kaj Grønbæk Communities of Practice using FOAF  
1303 Kristian Jakob Dorland 06-11-2008 Lars Michael Kristensen A virtual Environment for Development of Location-Aware Mobile Network Software  
1302 Torill Hagesæther Skytte 28-10-2008 Morten Kyng User-Driven innovation - when there are complex Interrelations within the User-Group  
1301 Asbjørn Tølbøl Brask 27-10-2008 Christian Nørgaard Storm Pedersen Optimizing general hidden Markov Models on Multi-Core CPUs and GPUs  
1300 Henrik Skaarup Andersen 08-10-2008 Lars Michael Kristensen Evaluating Wireless Sensor Network Power Consumption: A Case Study on Two Routing Protocols for Structural Health Monitoring  
1299 Elvar Olafsson 08-10-2008 Lars Michael Kristensen Evaluating Wireless Sensor Network Power Consumption: A Case Study on Two Routing Protocols for Structural Health Monitoring  
1298 Jens Rimestad 03-10-2008 Ole Østerby Deformed Particle Level Set  
1297 Bjørn Rohde Jensen 02-10-2008 Christian Nørgaard Storm Pedersen Træ rekonstruktion ved Maximum Likelihood ved brug af eksisterende viden
1296 Benjamin Toft Jakobsen 02-10-2008 Christian Nørgaard Storm Pedersen Word Deobfuscation in Spam Filtering  
1295 Martin Simonsen 02-10-2008 Christian Nørgaard Storm Pedersen Phylogenetic Interence on Cell Processors  
1294 Olafur Helgi Rögnvaldsson 26-09-2008 Frank Allan Hansen Titel ukendt
1293 Rune Lehard Hansen Stubbe 24-09-2008 Peter Bro Miltersen Computer Program Compression  
1292 Ebbe Oberlin Flarup 11-09-2008 Klaus Marius Hansen Arkitektoniske stile for heterogene fler-kerne processorer: Et empirisk studie ved brug af Cell Broa
1291 Jacob Styrup Bang 11-09-2008 Klaus Marius Hansen Arkitektoniske stile for heterogene fler-kerne processorer: Et empirisk studie ved brug af Cell Broa
1290 Troels Lund Rasmussen 13-08-2008 Gudmund Frandsen An Experimental comparison of Algorithms for generating random factored Numbers  
1289 Anders Hessellund Jensen 04-07-2008 Lars Arge I/O-efficient handling of LIDAR Point Clouds
1288 Jonas Sejr 27-06-2008 Preben Mogensen Agile Versus Participatory  
1287 Morten Stærkær 27-06-2008 Klaus Marius Hansen Comparing Web Services and REST  
1286 Jacob Johannsen 25-06-2008 Olivier Danvy Et studie af Abadi & Cardellis type-løse objekt-calculus  
1285 Anders Bach Madsen 03-06-2008 Erik Ernst Efficient Virtual Machine Support for Dynamic Patterns
1284 Jing Wang 26-05-2008 Michael Schwartzbach HTML Personalization. HTML to XHTML Transformation, CSS Normalization and Ads Replacement  
1283 Rasmus Winther Lauritsen 04-05-2008 Ivan Damgård Backups with computational secret sharing  
1282 Hans Ehlert Thomsen 30-04-2008 Susanne Bødker Activity Theory Informed Scenario Based Design  
1281 Per Graa 16-04-2008 Michael Schwartzbach A Survey of syntax extension tools for Java  
1280 Mehdi Abyar 15-04-2008 Ivan Damgård Evaluation of Codesealer  
1279 Carsten Raskgaard 04-04-2008 Ivan Damgård On the Protection of the Integrity of Data stored on untrusted Storage  
1278 Søren Markert 31-03-2008 Lars Kristensen Internet Connectivity for MANETs  
1277 Sune Koch Hansen 31-03-2008 Anders Møller Call-Graph analysis for Javascript  
1276 Jesper Dyhrman Thomsen 31-03-2008 Ole Caprani Investigating the applicability of reinforcement learning methods to agents in first person shooter games  
1275 Michael Nielsen 25-03-2008 Gerth Stølting Brodal A Survey of Algorithms for Solving the Generalized Mover's Problem in 3D  
1274 Jonas Maturana Larsen 25-03-2008 Gerth Stølting Brodal A Survey of Algorithms for Solving the Generalized Movers Problem in 3D  
1273 Johannes Brøgger Albertsen 11-03-2008 Niels Olof Bouvin Dynamic Content and Structural Search in MediaWiki  
1272 Peter Madsen 04-03-2008 Jakob Bardram Rover: A Data Management Infrastructure for Activity-Based Computing - Extending the support for user Mobility  
1271 Mikkel Edelmann Nielsen 04-03-2008 Ole Caprani Robotgame implemented on LEJOS-Java Platform  
1270 Joakim Bittel Geisler 21-02-2008 Ivan Damgård Implementing Asynchronous Multi-Party Computation  
1269 Carsten Wollsen 28-01-2008 Ole Caprani King Bluetooth and His Lovely Princess - A Robot Game on the Logo Mindstorms NXT Platform  
1268 Allan Rasmusson 22-01-2008 Peter Møller-Nielsen and Thomas Sangild Simulating Cardiac Surgery in CUDA  
1267 Mikkel Krøigaard 18-01-2008 Ivan Damgård Efficient and Practical Multiparty Computation.
1266 Christian Jonigkeit 18-01-2008 Klaus Marius Hansen Symbolic Debuggers for Distributed Systems  
1265 Lasse Dahl Ebert 10-01-2008 Christian Nørgaard Storm Pedersen Comparison of the Learning Methods of three Types of neural Networks  
1264 Brian Bunch Christensen 01-02-2008 Susanne Bødker Computational Methods and Data Structures for Improved Fluid Simulations.
1263 Morten Revsbæk 20-12-2007 Lars Arge I/O Efficient Algorithms for Batched Union-Find with Dynamic Set Properties and its Application to Hydrological Conditioning  
1262 Allan Grønlund 19-12-2007 Gerth Stølting Brodal Fault Tolerant Data Structures and Selecting Sums in Arrays
1261 Bjarne Knudsen 27-11-2007 Peter Møller-Nielsen Physics Based Character Animation for Interactive Applications  
1260 Niels Jeppe Anders Nielsen 19-11-2007 Peter Møller-Nielsen Point Cloude Modeling  
1259 Jakob Justsen 12-11-2007 Niels Oluf Bouvin Interactive Peer-to-Peer Live Streaming Network  
1258 Martin Mortensen 09-11-2007 Michael Schwartzbach High Level Programming Language Compiling to a cellular Automata Processing Model  
1257 Lars Møller 01-11-2007 Søren Christensen Modeling and Analysis of the DCCP Protocol in CPN  
1256 Carsten Haahr Larsen 26-10-2007 Henrik Bærbak Christensen Multitasking Web Application Platform Supporting Activity-based Computing  
1255 Chresten Lei Sandager 09-10-2007 Susanne Bødker Analysis of user identification methods for ”Den Interaktive Operationsplan”  
1254 Torsten Aaboe Andersen 09-10-2007 Susanne Bødker Analysis of user identification methods for ”Den Interaktive Operationsplan”  
1253 Anders Jacobsen 28-09-2007 Anders Møller Analysis of SAX Applications  
1252 Mads Byrgesen Tandrup 28-09-2007 Jesper Buus Nielsen Implementing Efficient Multiparty Computation - From Theory to Practice  
1251 Artur Michal Gadomski 14-09-2007 Henrik Bærbak Christensen Comparison of Automated Test Data generation Methods  
1250 Thomas Rasmussen 30-08-2007 Gerth Stølting Brodal Evaluation of an intersection algorithm for Bézier curves in the plane  
1249 Bo Martin Sponholtz 27-08-2007 Niels Oluf Bouvin Applying Trust Negotiation to Cyber Foraging  
1248 Bárdur Háskor 23-08-2007 Anders Møller Analysis of String Expressions  
1247 Jonas Krarup Dam 23-08-2007 Anders Møller Static validation of XHTML Output from Java Servlets and JSP  
1246 Rasmus Nygaard Andersen 23-08-2007 Anders Møller Survey of Web-application Frameworks  
1245 Rune Simonsen 23-08-2007 Anders Møller Statisk analyse af JavaScript: Indledende arbejde  
1244 Reasmus Kromann-Larsen 23-08-2007 Anders Møller Statisk analyse af JavaScript: Indledende arbejde  
1243 Brian Pedersen 21-08-2007 Lars Michael Kristensen Modeling and Validating Distributed Autoconfiguration of Mobile ad hoc Networks using Coloured Petri Nets  
1242 Gabriel Jacob Siegel 27-07-2007 Peter Møller-Nielsen Combining Cutting Edge Shadow Volume Algorithms  
1241 Lars Hvam Petersen 05-07-2007 Lars Arge External Priority Queues in Practice  
1240 Martin Henning Jensen 29-06-2007 Peter Møller-Nielsen Combining Cutting Edge Shadow Volume Algorithms  
1239 Erik Søe Sørensen 29-06-2007 Michael Schwartzbach A Domain-Specific Language for Web Browsing
1238 Thomas John Hørlyck Christensen 29-06-2007 Michael Schwartzbach og Peter Gorm Larsen Extensions of static Corretness Analyses for the formal specification Language VDM++
1237 Peter Færløv Bering 29-06-2007 Susanne Bødker Cognitive-behavioral Therapy using Mediating Instruments  
1236 Alex Andersen 26-06-2007 Jens Bæk Jørgensen Requirements Engineering for a License Management System with a Excutable Use Cases  
1235 Clemens Nylandssted Klokmose 19-06-2007 Susanne Bødker From a theoretical Understanding to Practical Design of Ubiquitous User Interfaces
1234 Michael Petersen 19-06-2007 Klaus Marius Hansen Arguing Safety for Pervasive Computing Scenarios - A Study of Modular Safety  
1233 Peter Dueholm Justesen 19-06-2007 Ole Caprani Exploring User Defined Audio/Visual Spaces using a Hybrid Human Based Genetic Algorithm  
1232 Jørgen Lund 12-06-2007 Gudmund Frandsen Experimental Comparison of Algorithms for reducing binary quadratic forms  
1231 Thomas Mølhave 11-06-2007 Lars Arge Massive Data Algorithms - Fault and I/O Efficiency.
1230 Peter Kjellerup Rasmussen 01-06-2007 Niels Olof Bouvin Realtime Data Distribution in Peer-to-Peer Networks  
1229 Erik Mejer Hansen 31-05-2007 Christian Nørgaard Storm Pedersen Methods for Comparison of Trees  
1228 Henrik Thuesen 23-05-2007 Anders Møller Type Inference for Javascript  
1227 Johan Lund Munk 23-05-2007 Olivier Danvy A Study of Syntactic and Semantic Artifacts and its Application to Lambda. Definability, Strong Normalization, and Weak Normalization in the Prosence of State.  
1226 Peter Gade Jensen 22-05-2007 Lars Michael Kristensen Evaluatio of Protocols for Reliable Multicast Routing in Wireless Sensor Networks  
1225 Jens Pilemand Ottesen 21-05-2007 Niels Olof Bouvin Evaluation and Design of a Supernode Architecture for heterogenous MANETs.  
1224 Nikolaj Gynther Bramsen 18-04-2007 Ole Caprani Computer Supported Construction Work  
1223 Søren Boll Overgaard 26-03-2007 Kaj Grønbæk Fusion F: Et system til datafusion i forbindelse med multinomial interaktion
1222 Henrik Lynbech 22-03-2007 Ole Caprani Music Software for live Group Performance  
1221 Mikkel Bech-Petersen 22-03-2007 Ole Caprani Music Software for live Group Performance  
1220 Carsten Holmvig Pedersen 22-03-2007 Henrik Bærbak Christensen A prototype for Socket Simulation  
1219 Jesper Wolff Olsen 08-03-2007 Preben Holst Mogensen The Harmonization of Physicality and Digitality. - The true Challenge of Ubiquitous Computing  
1218 Tony Gjerlufsen 08-03-2007 Preben Holst Mogensen The Harmonization of Physicality and Digitality. - The true Challenge of Ubiquitous Computing  
1217 Bjørn Casper Torndahl 08-03-2007 Gerth Stølting Brodal Cache - Oblivious Tries  
1216 Bo Søndergaard Carstensen 08-03-2007 Gerth Stølting Brodal Cache - Oblivious Tries  
1215 Jimmy Weibel Rasmussen 07-03-2007 Mogens Nielsen A Calculus for Context Awareness  
1214 André Højgaard Jensen 28-02-2007 Brian Mayoh Classification of Objects in digital Pictures  
1213 Stine Cortsen Hansen 28-02-2007 Lars Michael Kristensen Modelling and Validation of the Dynamic MANET On-Demand Routing Protocol  
1212 Rasmus Grønbæk 27-02-2007 Christian Nørgaard Storm Pedersen Detecting maximal quasiperiodic Substrings  
1211 Sune Sloth Simonsen 27-02-2007 Christian Nørgaard Storm Pedersen Analysis and Implementation of Suffix Trees based on enhanced Suffix Arrays  
1210 Rolf Ehrenreich Thorup 26-02-2007 Lars Michael Kristensen Implementing and Evaluating the Dymo Routing Protocol  
1209 Peter Ravn Kragelund 26-02-2007 Morten Kyng Improvement of Software Development - based on an Empirical Analysis of COWI A/S  
1208 Peter Trier Mikkelsen 16-02-2007 Peter Møller-Nielsen The Virtual Ear  
1207 Christian Bøegh Larsen 12-02-2007 Ivan Damgaard Electronic Voting - Properties, Threats and Protocols  
1206 Jiangbo Cheng 09-02-2007 Lars Michael Kristensen Evaluation and Optimization of Heuristics for TCP Acknowledgement Frequency  
1205 Steffen Wang Fischer 06-02-2007 Christian Nørgaard Storm Pedersen Evaluation of genetic Algorithm-Based least Squares and minimum Evolution Methods  
1204 Mads Peter Lindberg 06-02-2007 Christian Nørgaard Storm Pedersen Evaluation of genetic Algorithm-Based least Squares and minimum Evolution Methods  
1203 Kristian Dorph-Petersen 30-01-2007 Gerth Stølting Brodal Practical use of dynamic Sampling in Data Streams for logging for logging Network Usage  
1202 Rasmus Noesgaard Leth Vestergaard 24-01-2007 Ivan Damgaard Universal One-Way Hash Functions  
1201 Jacob Andersen 24-01-2007 Jakob Bardram Medical Sensor Network Infrastructures.
1200 Rasmus Fruergaard-Pedersen 08-01-2007 Brian Mayoh Demining Strategies using low-cost Robotic Units  
1199 Rune Thorbek 19-12-2006 Ivan Damgaard Linear Integer Secret Sharing with Applications.
1198 Svend Rostgaard Thielsen 12-12-2006 Klaus Marius Hansen Runtime Monitoring of Architectural Qualities  
1197 Tajs Bromose Kolman 20-11-2006 Ivan Damgaard Digiatle Signaturer og Merkle Træer  
1196 Thomas Toftkjær 14-11-2006 Christian Nørgaard Storm Pedersen Praktisk hurtige algoritmer til Suffiks array konstruktion  
1195 Ole Lambæk 14-11-2006 Christian Nørgaard Storm Pedersen Practical fast Algorithms for constructing Suffix Arrays  
1194 Gang Jun Tu 13-11-2006 Brian Mayoh Billedbehandling og analyse baseret på Wavelet transform  
1193 Svend Hesselholt Henne Hansen 06-11-2006 Peter Møller-Nielsen Real Time Ray Tracer til Panoramaet  
1192 Nicolai Lundgaard 06-11-2006 Peter Møller Nielsen Parallel Programming on the GPU  
1191 Kim Alster Larsen 02-11-2006 Niels Olof Bouvin Data distribution via P2P Multicast  
1190 Søren Gjellerup Christiansen 26-10-2006 Ole Caprani Hvordan man består Turing-testen med varianter af Eliza  
1189 Morten Lynge Jensen 23-10-2006 Brian Mayoh Distributing NeuroEvolution of Augmenting Topologies in order to evaluate Strategies in different Environments  
1188 Niels Døssing 04-10-2006 Gudmund Frandsen Experimental Comparison of GCD Algorithms  
1187 Jing Sun 26-09-2006 Henrik Bærbak Christensen Software Architecture Conformance Checking at Development Time  
1186 Rasmus Vedel Petersen 25-09-2006 Ole Caprani Naturvidenskabelig undervisning med Lego og Robolab  
1185 Jesper André Lyngesen Pedersen 25-09-2006 Ole Caprani Robot Navigation  
1184 Søren Skov 21-09-2006 Peter Møller-Nielsen Simulation of Blood Flow on the CPU for Planning Children  
1183 Kristian Bisgaard Lassen 19-09-2006 Søren Christensen From Real World Problems to Implemantation Using Coloured Petri Nets and translations Between Workflow Languages  
1182 Kim Bjørn Nielsen 06-09-2006 Lars Michael Kristensen Transition Mechanisms in IPv6  
1181 Maibritt Kerner 05-09-2006 Jens Bæk Jørgensen The early history of Computer Science in Århus - prelude, context and estabilishment  
1180 Søren Olesen 05-09-2006 Henrik Bærbak Christensen FrameWork for Boardgames  
1179 Mads Darø Kristensen 22-08-2006 Niels Olof Bouvin Evaluating Energy Efficient Routing Protocols for Nomadic Networks  
1178 Kristian Ellebæk Kjær 18-08-2006 Klaus Marius Hansen First-Class Service Composition and Coordination in Pervasive Computing  
1177 Espen Toftdahl Nielsen 18-08-2006 Klaus Marius Hansen First-Class Service Composition and Coordination in Pervasive Computing  
1176 Paul Fleischer 17-08-2006 Lars Michael Kristiansen Implementation and Evaluation of a Quality of Service Option Header Architecture  
1175 Helge Jensen 17-08-2006 Søren Christensen and Aino Corry Routning in Multi-Entry netværk at Kamstrup  
1174 Rasmus Witting Larsen 15-08-2006 Peter Møller-Nielsen Ray Tracing using evolutionary Algorithms  
1173 Rene Vejlgaard Vedstesen 15-08-2006 Klaus Marius Hansen Parallelization of Particle Swarm Optimization  
1172 Lene Søndergaard Nielsen 15-08-2006 Peter Møller-Nielsen Parallelization of Particle Swarm Optimization  
1171 Martin Kjeldsen 17-07-2006 Klaus Marius Hansen An Approach to interoperability using semantic Web Services  
1170 Niels Ole Jensen 28-06-2006 Jens Bæk Jørgensen CPN-modellering og analyse af routing i mobile ad hoc netværk  
1169 Dennis Jensen Søgaard 23-06-2006 Gerth Stølting Brodal Motion Planning in the Plane  
1168 Søren Michael Ustrup 18-06-2006 Anders Møller Analysis of coding conventions with emphasis on naming conventions and design of a plug-in for the Eclipse IDE which can automatically enforce a naming convention in Java  
1167 Jonathan Bech Bunde-Pedersen 15-06-2006 Jakob Bardram Titel ukendt
1166 Mikkel Baun Kjærgaard 14-06-2006 Søren Christensen Titel ukendt
1165 Jeppe Rørbæk Brønsted 13-06-2006 Klaus Marius Hansen Software Architecture and Communication in Mobile Environments.   
1164 Søren Besenbacher 08-06-2006 Christian Nørgaard Storm Pedersen Titel ukendt
1163 Andreas Bak-Riemer 16-06-2006 Ole Caprani En fase vocoder i supercollider.
1162 Svend Haugaard Sørensen 01-06-2006 Brian Mayoh Hierarchies  
1161 Morten Laustsen 29-05-2006 Gerth Stølting Brodal Range Counging in the Cache Oblivious  
1160 Balasuthas Sundararajah 29-05-2006 Niels Olof Bouvin og Jakob Bardram Structured P2P Environment for Context Aware Services  
1159 Thomas Hæstrup 29-05-2006 Jakob Bardram Structured P2P Environment for Context Aware Services  
1158 Timo Paukku Dinnesen 28-04-2006 Ole Caprani Design and implementation of a LEGO mindstorms based Robot Game on a JAVA Platform  
1157 Lee Herluf Lund Lassen 18-04-2006 Jakob Bardram Realtime Rendering of Fire in 3D using Navier-stokes Equations for an Incompressible Gas  
1156 Guoqing Zhang 30-03-2006 Lars Michael Kristensen Modelling and Validation of the Ad-hoc On-demand Distance Vector Protocol using Coloured Petri Nets  
1155 Janus Dam Nielsen 30-03-2006 Anders Møller Relations between Schema Languages for XML  
1154 Søren Kuula 30-03-2006 Michael Schwartzbach and Anders Møller Practical type-safe XSLT 2.0 stylesheet authoring  
1153 Peter Julian Marstrand Mechlenborg 29-03-2006 Ulrik Pagh Schultz En fleksibel tilgang til sprog interoperbilitet  
1152 Søren Aaen Madsen 28-03-2006 Jesper Mosegaard and Peter Møller-Nielsen Fuldt automatiseret registrering, segmentering og udmåling af muskler i kæben med brug af atlas og deformerbar mutual information registration  
1151 Thomas Jakobsen 27-03-2006 Ivan Damgård Sikre distribuerede beregninger på heltal  
1150 Strange Løhde From 27-03-2006 Ivan Damgård Sikre distribuerede beregninger på heltal  
1149 Araz Bayat Makoo 27-03-2006 Ivan Damgård Transformation af Symmetirsk Kryptering til Assymetrisk Kryptering ved hjælp af Obfuskering  
1148 Ergin Kilic 27-03-2006 Ivan Damgård Commitment Schemes  
1147 Kristian Beyer Thommesen 22-03-2006 Ivan Damgård Primality Verification with the Extended Quadratic Frobenius Test  
1146 Karsten Østergaard Noe 03-03-2006 Peter Møller-Nielsen and Thomas Sangild Sørensen Viscous-fluid-registrering af medicinske 3D-billeder accelereret af GPU'en  
1145 Jakob Langdal Jensen 27-02-2006 Ole Caprani Titel ukendt
1144 Martin Randers 24-02-2006 Christian Nørgaard Storm Pedersen Quartet Distance Between Evolutionary Trees of Arbitrary Degree  
1143 Chris Christiansen 24-02-2006 Christian Nørgaard Storm Pedersen Quartet Distance Between Evolutionary Trees of Arbitrary Degree  
1142 Martin Stig Stissing 24-02-2006 Christian Nørgaard Storm Pedersen Algorithms for Computing the Quartet Distance  
1141 Kristoffer Kjærvik Pagels 23-02-2006 Ivan Damgård Implementation and Analysis of Five Group Signature Schemes  
1140 Henrik Sloth Hansen 23-02-2006 Ivan Damgård Implementation and Analysis of Five Group Signature Schemes  
1139 Jesper Fruergaard Andersen 22-02-2006 Brian Mayoh Cooperating AUUS  
1138 Bo Vium Thomsen 07-02-2006 Erik Ernst Frob - A Programming Language for Multimedie Applications  
1137 Jeppe Thestrup Knudsen 31-01-2006 Klaus Marius Hansen Architectural Refactorings - Analysis and Experiments on xADL 2.0 Based Architectural Descriptions  
1136 Henrik Pedersen 30-01-2006 Niels Olof Bouvin Proactive and Reactive Adaptive Networks: An Evaluation  
1135 Martin Mosegaard Jensen 26-01-2006 Anders Møller Understanding Parametric Shape Analysis  
1134 Peter Flintholm Sørensen 16-01-2006 Ivan Damgård Password Based Authentification and Key Exchange - Theory and Practice  
1133 Jesper Buch Hansen 11-01-2006 Gerth Stølting Brodal Computing the visibility graph of points within a polygon  
1132 Casper Lindegaard Madsen 10-01-2006 Henrik Bærbak Christensen Java Objekt Persistent Modul Framework  
1131 Martin Holmgaard Rossen-Jørgensen 10-01-2006 Henrik Bærbak Christensen Java Objekt Persistent Modul Framework  
1130 Troels Bjerre Sørensen 20-12-2005 Peter Bro Miltersen Computing Equilibria of Two-Player Games  
1129 Michael Østergaard Pedersen 16-12-2005 Ivan Damgård Security in Pervasive Computing and Protocols for Protecting Privacy. 
1128 Lars Vadstrup Hansen 29-11-2005 Ole Caprani Neuroevolution of artificial poker players without pre-encoded expert strategy  
1127 Mathias Ravn 29-11-2005 Ole Caprani Neuroevolution of artificial poker players without pre-encoded expert strategy  
1126 Martin Mogensen 31-10-2005 Jakob Bardram Distributed Objects  
1125 Michael Bræmer Nielsen 24-10-2005 Thomas Sangild / Peter Møller Nielsen Real-time Fracture of Brittle Materials in a Game Setting  
1124 Niels Tranberg Johansen 14-10-2005 Jakob Bardram A Data Management Infrastructure for Activity-Based Computing  
1123 Bjarne Ridderberg 30-09-2005 Ole Caprani Java on the RCX  
1122 Ronni Laursen 30-09-2005 Ole Caprani Investigating small scale combat situations in real-time strategy computer games  
1121 Daniel Nielsen 30-09-2005 Ole Caprani Investigating small scale combat situations in real-time strategy computer games  
1120 Hieu Trong Phan 02-09-2005 Brian Mayoh Applying Knowledge-Based Artificial Neural Networks in Game-Driven Intelligent Tutoring Systems  
1119 Lars Ole Simonsen 30-08-2005 Peter Ørbæk A Comparison of Acceleration Structures for GPU Assisted Ray Tracing  
1118 Niels Carsten Thrane 30-08-2005 Peter Ørbæk A Comparison of Acceleration Structures for GPU Assisted Ray Tracing  
1117 Christoffer Magnussen 22-08-2005 Ole Caprani Embodied Evolution on the RCX in Java  
1116 Boris Venkov 26-07-2005 Peter Ørbæk Realtime Physically Based Rendering of Lightning  
1115 Ole Juul Kristensen 06-07-2005 Mogens Nielsen A Generic Agent Language  
1114 Casper Lund Thomsen 04-07-2005 Christian N. Storm Pedersen Reconstructing Evolutionary Trees Using Experiments  
1113 Mads Laursen 04-07-2005 Christian N. Storm Pedersen Reconstructing Evolutionary Trees Using Experiments  
1112 Christopher Mosses 04-07-2005 Christian N. Storm Pedersen Triplet Supertrees  
1111 Martin Knudsen 30-06-2005 Christian N. Storm Pedersen Stochastic context-free grammers and RNA secondary structure prediction  
1110 Henning Qin Jehøj 29-06-2005 Kaj Grønbæk Awareness for collaborative web authoring - An event-notification mechanism for WebDAV  
1109 Mikael Skovby Andersen 28-06-2005 Gudmund Skovbjerg Frandsen Fully Dynamic All Pairs Shortest Paths  
1108 Andreas Andersen 28-06-2005 Gudmund Skovbjerg Frandsen Fully Dynamic All Pairs Shortest Paths  
1107 Lars Hesel Christensen 28-06-2005 Gudmund Skovbjerg Frandsen An Experimental Comparison of the Miller-Rabin and the Extended Quardratic Frobenius Primality Tests  
1106 Michael Westergaard 17-06-2005 Kurt Jensen Building Verifiable Software Prototypes using Coloured Petri Nets.
1105 Kristian Støvring Sørensen 17-06-2005 Olivier Danvy Normalization and Simple Types  
1104 Gabriel Moruz 16-06-2005 Gerth Stølting Brodal Efficient Adaptine Sorting.
1103 Sune Håkonsson 01-04-2005 Susanne Bødker Model Controller View Pattern - An analysis of advantages and disadvangages seen from the experiences of the LUDUS Sundhed application.  
1102 Piotr Michal Kotlicki 31-03-2005 Brian Mayoh Time Series Prediction Comparing New and Old Neutral Network Methods  
1101 Thomas Lindgaard 31-03-2005 Kaj Grønbæk Geo-Spatial Indexing of Web Pages.  
1100 Per Liboriussen 16-03-2005 Ole Lehrmann Madsen Genericity  
1099 Rasmus Ellebæk Kjær 16-03-2005 Ivan Damgård An Overview of Traitor Tracing  
1098 Jesper Torp Kristensen 15-03-2005 Peter Bro Miltersen Generation and Compression of Endgame Tables in Chess with Fast Random Access.  
1097 Thomas Holmen Jørgensen 11-03-2005 Brian Mayoh Document clustering using hierarchical Kohonen networks  
1096 Thomas Clemen Pedersen 08-03-2005 Peter Ørbæk Segmenting Medical Images on the GPU.  
1095 Christina Fuglsang 25-02-2005 Jakob Bardram Runtime Environment for Supporting Composite Devices  
1094 Simon Clemen Pedersen 25-02-2005 Jakob Bardram Runtime Environment for Supporting Composite Devices  
1093 Michael Dalgaard Jepsen 24-01-2005 Ulrik Pagh Schultz Modules for Flexible and Mobile Applications.  
1092 Jan Nielsen 24-01-2005 Ulrik Pagh Schultz Modules for Flexible and Mobile Applications.  
1091 Helena Marie Meyer 24-01-2005 Mogens Nielsen Model checking infinite state systems: Symbolic representations, abstractions and experiments  
1090 Hanne Steenberg Rasmussen 20-01-2005 Brian Mayoh The Use of L-systems in Multi-agent Systems for the Purpose of Biological Modelling  
1089 Kaspar Rosengreen Nielsen 17-01-2005 Susanne Bødker Course Web - Examining Usability with Multiple Actors  
1088 Jan Midtgaard 01-10-2004 Olivier Danvy From Implicit to Explicit Contexts in Operational Semantics  
1087 Henning Korsholm Rohde 01-10-2004 Olivier Danvy Formal Aspects of Polyvariant Specialization  
1086 Kari Sofie Fogh Schougaard 24-06-2004 Ole Lehrmann Madsen Location Awareness in Programming Languages and Middelware.
1085 Torben Ruby 23-06-2004 Anders Møller Specification, Implementation, and Verification of Web Services  
1084 Martin Ingvar Kofoed Jensen 23-06-2004 Brian Mayoh Katastrofe simulatorer - Ny viden og erfaring med RoboCup Rednings Simulatoren  
1083 Mads Kristian Østerby Olesen 23-06-2004 Anders Møller Static Validation of XSLT  
1082 Anne Joost Jensen 23-06-2004 Brian Mayoh Prediction of Protein Secondary Structure by Coevolving Neural Networks  
1081 Emanuela Pinheiro Lins 23-06-2004 Ulrik Pagh Schultz Evolution, Versioning and Compatibility of Distributed Objects  
1080 Jeppe Ravn-Grove 23-06-2004 Michael Schwartzbach Techniques for Automatic Error Checking of Software - a Comparison  
1079 Christian Plesner Hansen 22-06-2004 Mads Torgersen An Efficient, Dynamically Extensible ELL Parser Library  
1078 Jesper Risager Jensen 22-06-2004 Ole Lehrmann Madsen Extreme Programming - En iterativ software udviklingsmodel  
1077 Erik Corry 22-06-2004 Ole Lehrmann Madsen Stack Allocation for Object-Oriented Languages  
1076 Mads Brøgger Enevoldsen 22-06-2004 Ole Lehrmann Madsen Object Oriented Language Interoperability - A Case Study of BETA support in Eclipse  
1075 Peter Buch Jakobsen 22-06-2004 Ole Caprani Ad Hoc netværk anvendt på autonome mobile adfærdsbaserede robotter  
1074 Sune Kristensen 18-06-2004 Ole Caprani Robotspil - Introduktion af fysiske adaptive autonome agenter som del af interaktive underholdningsspil  
1073 Lasse Westh-Nielsen 18-06-2004 Christian Nørgaard Storm Pedersen Refined Buneman Trees  
1072 Kenneth-Daniel Nielsen 18-06-2004 Lars Michael Kristensen Evaluation of Broadcast Based Protocols for Data Dissemination in Traffic Warning Networks  
1071 Martin Møller Johansen 17-06-2004 Rolf Fagerberg Integer Sorting  
1070 Jesper Hedegaard 17-06-2004 Rolf Fagerberg Trade-offs for Internal and External Memory Dictionaries  
1069 Jens Ebbesen 17-06-2004 Rolf Fagerberg A Survey of Density Keeping Algorithms  
1068 Karsten Strandgaard Jørgensen 16-06-2004 Rolf Fagerberg Shortest Paths in Directed Graphs  
1067 Gorm Lai 16-06-2004 Peter Ørbæk A Spectrally Based Global Illumination System  
1066 Michael Toftdal 16-06-2004 Ulrich Kohlenbach Calibration of Ineffective Theorems of Analysis in a Constructive Context  
1065 Laust Rud Jensen 14-06-2004 Peter D. Mosses A reuse repository with automated synonym support and cluster generation  
1064 René Dalsgaard Larsen 14-06-2004 Niels Olof Bouvin HyperPeer - Peer-to-peer Based Hypermedia on the Web  
1063 Rory Middleton 14-06-2004 Peter Møller Nielsen Real-time Simulation and Visualization of Water  
1062 Sabrina Vestergaard Nielsen 14-06-2004 Peter Møller Nielsen Real-time Simulation and Visualization of Water  
1061 Mads Sig Ager 09-06-2004 Olivier Danvy From Natural Semantics to Abstract Machines  
1060 Kristoffer Arnsfelt Hansen 09-06-2004 Peter Bro Miltersen Constant Width and Constant Depth Computation.
1059 Karl Kristian Krukow 09-06-2004 Mogens Nielsen On Foundations for Dynamic Trust Management.
1058 Martin Hansen 24-01-2004 Ole Caprani Vibrato Preserving Filling of Gaps in Harmonic Sounds.  
1057 Peder Herborg 21-01-2004 Peter Ørbæk Implementation of a global illumination system with participating media  
1056 Jacob Mortensen 21-01-2004 Peter Ørbæk Implementation of a global illumination system with participating media  
1055 Carsten Kjær 21-01-2004 Peter Ørbæk Real-time soft shadows in a game engine  
1054 Kasper Fauerby 21-01-2004 Peter Ørbæk Real-time soft shadows in a game engine  
1053 Louise Skouboe Bjerg 20-01-2004 Gerth Stølting Brodal Approksimative afstande i planare grafer  
1052 Lone Asferg 20-01-2004 Gerth Stølting Brodal Approksimative afstande i planare grafer  
1051 Kåre Fiedler Christiansen 20-01-2004 Gudmund Frandsen Vedligeholdelse af sammenhængskomponenter i dynamiske grafer  
1050 Wouter Boomsma 20-01-2004 Ole Caprani Adaptive operator scheduling in evolutionary algorithms  
1049 Henning Böttger 19-01-2004 Anders Møller Web development - improving cooperation between programmers and HTML deigners using contracts  
1048 Henrik Sandmann 19-01-2004 Christian N. Storm Pedersen Maksimale par og suffikstræer  
1047 Niels Christian Bach 19-01-2004 Christian N. Storm Pedersen Skjulte Markov modeller og genidentifikation  
1046 Torben Lauritzen 19-01-2004 Christian N. Storm Pedersen Skjulte Markov modeller og genidentifikation  
1045 Søren Tjagvad Madsen 16-01-2004 Brian Mayoh Automatic Discovery of Parallelism and Hierarchy in Music.
1044 Peter von der Ahé 16-01-2004 Ulrik Pagh Schultz Applications of concrete-type inference  
1043 Kasper Jensen 16-01-2004 Mads Torgersen Distribuerede transaktioner  
1042 Peter Tauensig Nielsen 15-01-2004 Henrik Bærbak Christensen Jesco - understøttelse af kollaborativ arbejde i Java  
1041 Jon Asbjørn Svanholm Fogh 15-01-2004 Henrik Bærbak Christensen Jesco - understøttelse af kollaborativ arbejde i Java  
1040 Jacob Frank Qvortrup 15-01-2004 Henrik Bærbak Christensen Agenter i pervasive healthcare  
1039 Mads Orehøj Sørensen 15-01-2004 Henrik Bærbak Christensen Agenter i pervasive healthcare  
1038 Klaus Andersen 13-01-2004 Brian Mayoh Reduktion af tilstandsrummet i MDPer ved brug af tilstands grupperinger.
1037 Kim Pedersen 13-01-2004 Brian Mayoh Accelerated numerical optimization on computationally expensive problems  
1036 Michael Thornvig Mikkelsen 13-01-2004 Peter Bro Miltersen Towards practical deterministic extractors  
1035 Peter Riishøj Brinkler 25-06-2003 Peter Møller-Nielsen Particle systems for computer graphics contents creation  
1034 Jonas Auken 25-06-2003 Peter Møller-Nielsen Visuel tracking af interaktive objekter i virtuel scenografi  
1033 Christian Gasser 25-06-2003 Ivan Bjerre Damgård Anonymity in communication networks  
1032 Toke Eskildsen 24-06-2003 Olav Wedege Bertelsen Computeren in ovnen - brugsorienteret design af en grænseflade til en storkøkkenovn  
1031 Kasper Verdich Lund 23-06-2003 Ole Lehrmann Madsen Revolutionizing Embedded Software Abstract
1030 Jakob Roland Andersen 23-06-2003 Ole Lehrmann Madsen Revolutionizing Embedded Software Abstract
1029 Henry Michael Lassen 23-06-2003 Ole Lehrmann Madsen Klasser i objekter og samme verden - en interaktiv programmeringsomgivelse til BETA.
1028 Kim Falk Jørgensen 23-06-2003 Ole Lehrmann Madsen Implementing distributed systems using web service technology  
1027 Met-Mari Nielsen 23-06-2003 Ulrik Pagh Schultz A language fragment of social antipatterns in systems development  
1026 Helle Markmann Andersen 20-06-2003 Ulrik Pagh Schultz Deklarativ specialisering af objektorienterede sprog  
1025 Christian Kirkegaard 20-06-2003 Michael I. Schwartzbach Dynamic XML Processing with Static Validation Abstract
1024 Henrik Refslund Sørensen 20-06-2003 Jens Bæk Jørgensen Routing and TCP performance in mobile ad hoc networks  
1023 Eva Troels 20-06-2003 Jens Bæk Jørgensen Rutning og TCP Performance i Mobile Ad Hoc Netværk.
1022 Stephanie Elisabeth Fournier Munck 19-06-2003 Thiemo Krink Stochastic L-systems as generative encodings for evolving morphology and behaviour of virtual agents  
1021 Emil Kaae Hansen 19-06-2003 Brian Henry Mayoh Plasticitet i Neurale Netværk.
1020 Jesper Mosegaard 19-06-2003 Peter Møller-Nielsen Realtime cardiac surgery simulation
1019 Kristoffer Vinther 18-06-2003 Gerth Stølting Brodal/Rolf Fagerberg Engineering cache-oblivious sorting algorithms  
1018 Frank Dabelstein 18-06-2003 Peter Møller-Nielsen Measuring execution characteristics of MPI master/slave programs  
1017 Kasper Dupont 18-06-2003 Ivan Bjerre Damgård Disk encryption and Optimistic threshold RSA signatures  
1016 Peter Skaarup 18-06-2003 Peter Møller-Nielsen Measuring execlution characteristics of MPI master-slave programs.
1015 Martin Elmer Jørgensen 18-06-2003 Brian Henry Mayoh Automatic discovery of parallelism and hierarchy in music  
1014 Søren Louring 18-06-2003 Brian Henry Mayoh Traffic simulation using reinforcement learning  
1013 Jesper Lindholt Ottosen 17-06-2003 Henrik Bærbak Christensen Framework til webbaseret selvbetjening  
1012 Thomas Andreasen Ljungberg 17-06-2003 Ivan Bjerre Damgård Implementation and analysis of the arithmetic black box  
1011 Jakob Gadegaard Bendixen 17-06-2003 Ivan Bjerre Damgård Sikkerhedsaspekter af elektronisk handel.
1010 Tomas Toft 17-06-2003 Ivan Bjerre Damgård [Sigma]-protocols based on n-one-way group homomorphisms  
1009 Simon Aske Christensen 03-06-2003 Michael I. Schwartzbach Titel ukendt
1008 René Manggaard Jensen 28-01-2003 Søren Christensen Analyse af GSM handover ved hjælp af farvede petrinet.
1007 Jonas Martin Thomsen 28-01-2003 Søren Christensen Analysis of GSM handover using coloured Petri nets  
1006 Thomas Bjørn Andersen 27-01-2003 Peter Møller-Nielsen Affoldning af medicinske billeder  
1005 Carsten B. Pedersen 27-01-2003 Peter Møller-Nielsen Affoldning af medicinske billeder  
1004 Bo Normann Pedersen 27-01-2003 Christian Storm Pedersen Analyse og håndtering af genekspressionsdata  
1003 Jan Rise 27-01-2003 Christian Storm Pedersen Analyse og håndtering af genekspressionsdata  
1002 Phillipp Gerhardy 23-01-2003 Ulrich Kohlenbach Forbedrede kompleksitets-analyser af snit-elimination og Herbrand's teorem.
1001 Bent Guldbjerg Christensen 22-01-2003 Niels Olof Bouvin XLink - bridging open hypermedia and the World Wide Web Abstract
1000 Frank Allan Hansen 22-01-2003 Niels Oluf Bouvin XLink - bridging open hypermedia and the World Wide Web Abstract
999 Michael Bang Nielsen 22-01-2003 Kaj Grønbæk Inverse rendering under uncontrolled illumination  
998 Anders Brodersen 22-01-2003 Kaj Grønbæk Inverse rendering under uncontrolled illumination  
997 Peter Juhl Christensen 21-01-2003 Ivan Damgaard Sikring af software.
996 Mads Vanggaard Jensen 21-01-2003 Michael I. Schwartzbach Udvidelig syntaks behandling.
995 Thomas Kejser 20-01-2003 Kaj Grønbæk The GAIA framework - toward versioning support in web based open hypermedia systems  
994 Thomas Peter Kiel Rasmussen 20-01-2003 Brian Henry Mayoh Optimising hidden Markov models for multiple sequence alignment by hybrid particle swarm optimisation  
993 Shahnam Taibakhsh 20-01-2003 Brian Henry Mayoh Game Playing.
992 Søren Schmidt Hansen 20-01-2003 Ole Lehrmann Madsen Udvikling af Agenter til Håndholdte Enheder. 
991 Sara Halleløv 20-01-2003 Ole Lehrmann Madsen Komponenter i teori og praksis - sproglig understøttelse af EJB-komponenter
990 Jørgen Iversen 11-12-2002 Peter Mosses Action Semantics and Compiler Generation.
989 Bolette Ammitzbøll Madsen 10-12-2002 Sven Skyum Exact Algorithms for Satisfiability Problems and Graph Theoretical Problems. </