| 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. | </ |