[ This web application uses JavaScript, which is not enabled in your browser - for full functionality, use a browser that supports JavaScript ]
Number Student Date Supervisor Thesis title
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 Østerby 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 Titel ukendt
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 Titel ukendt
1200 Rasmus Fruergaard-Pedersen 08-01-2007 Brian Mayoh Demining Strategies using low-cost Robotic Units
1199 Rune Thorbek 19-12-2006 Ivan Damgaard Titel ukendt
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 Titel ukendt
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 Titel ukendt
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 Titel ukendt
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 Titel ukendt
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 Karl Kristian Krukow 06-07-2004 Mogens Nielsen Titel ukendt
1085 Kari Sofie Fogh Schougaard 24-06-2004 Ole Lehrmann Madsen Titel ukendt
1084 Torben Ruby 23-06-2004 Anders Møller Specification, Implementation, and Verification of Web Services
1083 Martin Ingvar Kofoed Jensen 23-06-2004 Brian Mayoh Katastrofe simulatorer - Ny viden og erfaring med RoboCup Rednings Simulatoren
1082 Mads Kristian Østerby Olesen 23-06-2004 Anders Møller Static Validation of XSLT
1081 Anne Joost Jensen 23-06-2004 Brian Mayoh Prediction of Protein Secondary Structure by Coevolving Neural Networks
1080 Emanuela Pinheiro Lins 23-06-2004 Ulrik Pagh Schultz Evolution, Versioning and Compatibility of Distributed Objects
1079 Jeppe Ravn-Grove 23-06-2004 Michael Schwartzbach Techniques for Automatic Error Checking of Software - a Comparison
1078 Christian Plesner Hansen 22-06-2004 Mads Torgersen An Efficient, Dynamically Extensible ELL Parser Library
1077 Jesper Risager Jensen 22-06-2004 Ole Lehrmann Madsen Extreme Programming - En iterativ software udviklingsmodel
1076 Erik Corry 22-06-2004 Ole Lehrmann Madsen Stack Allocation for Object-Oriented Languages
1075 Mads Brøgger Enevoldsen 22-06-2004 Ole Lehrmann Madsen Object Oriented Language Interoperability - A Case Study of BETA support in Eclipse
1074 Peter Buch Jakobsen 22-06-2004 Ole Caprani Ad Hoc netværk anvendt på autonome mobile adfærdsbaserede robotter
1073 Sune Kristensen 18-06-2004 Ole Caprani Robotspil - Introduktion af fysiske adaptive autonome agenter som del af interaktive underholdningsspil
1072 Lasse Westh-Nielsen 18-06-2004 Christian Nørgaard Storm Pedersen Refined Buneman Trees
1071 Kenneth-Daniel Nielsen 18-06-2004 Lars Michael Kristensen Evaluation of Broadcast Based Protocols for Data Dissemination in Traffic Warning Networks
1070 Martin Møller Johansen 17-06-2004 Rolf Fagerberg Integer Sorting
1069 Jesper Hedegaard 17-06-2004 Rolf Fagerberg Trade-offs for Internal and External Memory Dictionaries
1068 Jens Ebbesen 17-06-2004 Rolf Fagerberg A Survey of Density Keeping Algorithms
1067 Karsten Strandgaard Jørgensen 16-06-2004 Rolf Fagerberg Shortest Paths in Directed Graphs
1066 Gorm Lai 16-06-2004 Peter Ørbæk A Spectrally Based Global Illumination System
1065 Michael Toftdal 16-06-2004 Ulrich Kohlenbach Calibration of Ineffective Theorems of Analysis in a Constructive Context
1064 Laust Rud Jensen 14-06-2004 Peter D. Mosses A reuse repository with automated synonym support and cluster generation
1063 René Dalsgaard Larsen 14-06-2004 Niels Olof Bouvin HyperPeer - Peer-to-peer Based Hypermedia on the Web
1062 Rory Middleton 14-06-2004 Peter Møller Nielsen Real-time Simulation and Visualization of Water
1061 Sabrina Vestergaard Nielsen 14-06-2004 Peter Møller Nielsen Real-time Simulation and Visualization of Water
1060 Mads Sig Ager 09-06-2004 Olivier Danvy From Natural Semantics to Abstract Machines
1059 Kristoffer Arnsfelt Hansen 09-06-2004 Peter Bro Miltersen Constant Width and Constant Depth Computation.
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 Titel ukendt
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 Titel ukendt
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 Titel ukendt
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 Titel ukendt
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 Titel ukendt
1020 Jesper Mosegaard 19-06-2003 Peter Møller-Nielsen Titel ukendt
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 Titel ukendt
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 Titel ukendt
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 Titel ukendt
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 Titel ukendt
1001 Frank Allan Hansen 22-01-2003 Niels Oluf Bouvin XLink - bridging open hypermedia and the World Wide Web Abstract
1000 Bent Guldbjerg Christensen 22-01-2003 Niels Olof 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 Titel ukendt
996 Mads Vanggaard Jensen 21-01-2003 Michael I. Schwartzbach Titel ukendt
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 Titel ukendt
992 Søren Schmidt Hansen 20-01-2003 Ole Lehrmann Madsen Titel ukendt
991 Sara Halleløv 20-01-2003 Ole Lehrmann Madsen Titel ukendt
990 Jørgen Iversen 11-12-2002 Peter Mosses Titel ukendt
989 Bolette Ammitzbøll Madsen 10-12-2002 Sven Skyum Titel ukendt
988 Andreas Claudi Andersen 18-07-2002 Ole Caprani Motivation networks in game AI - a new angle towards agent behaviour-selection
987 Andreas Møller 26-06-2002 Brian Henry Mayoh Believable multi agent systems
986 Morten Bek 26-06-2002 Peter Møller-Nielsen Evolutionary trained Kohonen networks as classifiers for human utterances
985 Troels Grosbøll-Poulsen 26-06-2002 Peter Møller-Nielsen Evolutionary trained Kohonen networks as classifiers for human utterances
984 Mads Ulrik Kristoffersen 26-06-2002 Peter Møller-Nielsen Evolutionary trained Kohonen networks as classifiers for human utterances
983 Peter Posselt Vestergaard 25-06-2002 Kaj Grønbæk Titel ukendt
982 Mikkel Bjerg 25-06-2002 Michael I. Schwartzbach Static bounds on memory usage in Java programs
981 Ole Friis Østergaard 25-06-2002 Michael I. Schwartzbach Titel ukendt
980 Rasmus Rohde 25-06-2002 Michael I. Schwartzbach Titel ukendt
979 Thomas Brochmann Pedersen 24-06-2002 Ivan Damgaard Titel ukendt
978 Rasmus Ebler Simonsen 24-06-2002 Ole Lehrmann Madsen Lazy JIT compilation - efficient lazy evaluation and compilation in a JIT compiler for an object oriented virtual machine
977 Morten D. Mørup 24-06-2002 Ole Lehrmann Madsen Titel ukendt
976 Lene Bredgaard 24-06-2002 Ole Lehrmann Madsen Titel ukendt
975 Darya Es Perge A. 21-06-2002 Susanne Bødker Titel ukendt
974 Katrine Rauhe de Neergaard Ravn 21-06-2002 Susanne Bødker Titel ukendt
973 Morten Løvbjerg 21-06-2002 Thiemo Krink Improving particle swarm optimization by hybridization of stochastic search heuristics and self-organized criticality
972 Jacques Riget 20-06-2002 Thiemo Krink Particle swarms - extensions for improved local, multi-moral, and dynamic search in numerical optimization
971 Jakob Svaneborg Vesterstrøm 20-06-2002 Thiemo Krink Titel ukendt
970 Lars Rosenberg Nielsen 20-06-2002 Thiemo Krink Intelligent load sharing in NOWs
969 Robert Knudsen 19-06-2002 Olav Bertelsen Klassificering af pressekontakter ved et teater - en diskussion af systemudvikling set i et klassifikationsperspektiv med udgangspunkt i et projektforløb med Århus Teater
968 Tabita Enig 19-06-2002 Olav Bertelsen Laserpennen som input device
967 Anders Kåre Olsen 19-06-2002 Jakob Bardram Context aware computing in a pervasive healthcare setting
966 Nis Haller Baggesen 19-06-2002 Ole Caprani Titel ukendt
965 Mikkel Ricky 18-06-2002 Michael I. Schwartzbach Automatisk validering af webbaserede formularer
964 Mette Ravn 18-06-2002 Ole Lehrmann Madsen Titel ukendt
963 Jesper Makholm Nielsen 17-06-2002 Peter Bro Miltersen Titel ukendt
962 Bjarke Skjernaa 17-06-2002 Sven Skyum Titel ukendt
961 Stefan Sørensen 14-06-2002 Søren Christensen Disk based state space storage for coloured petri nets
960 Niels Kjær Sørensen 14-06-2002 Brian Henry Mayoh Identification, segmentation and visualization of coronaries from MR scans
959 Finn Larsen 22-01-2002 Ivan Damgaard Titel ukendt
958 Martin Eriksen 22-01-2002 Ivan Damgaard Titel ukendt
957 Jan Neerbek 22-01-2002 Gudmund Frandsen Lower bounds in the quantum black box model
956 Jan Ernfred Madsen 21-01-2002 Preben Mogensen Titel ukendt
955 Peter Christian Ogstrup 21-01-2002 Preben Mogensen Forslag til risikostyringstiltag i offentlige IT-projekter.
954 Jakob Færch 21-01-2002 Søren Christensen Titel ukendt
953 Claus Nicolaj Bendtsen 18-01-2002 Thiemo Krink Titel ukendt
952 Walther Fledelius Hansen 18-01-2002 Brian Henry Mayoh Titel ukendt
951 Lars Mellergaard 18-01-2002 Peter Møller-Nielsen Beowulf clusters in a GRID environment
950 Kim Burgaard 17-01-2002 Ulrik Pagh Schultz Titel ukendt
949 Henrik Kjær Nielsen 17-01-2002 Ole Lehrmann Madsen Distributed Debugging: A Debugging Tool for Jini Applications
948 Per Bering Steffensen 17-01-2002 Ole Lehrmann Madsen Titel ukendt
947 Claus Pedersen 16-01-2002 Ivan Damgaard Titel ukendt
946 Claus Danielsen 16-01-2002 Ivan Damgaard Titel ukendt
945 Morten Moth Iversen 16-01-2002 Ivan Damgaard Titel ukendt
944 Alex Rune Berg 20-12-2001 Thiemo Krink/Erik Meineche Schmidt Titel ukendt
943 Regnar Bang Lyngsø 27-06-2001 Ole Caprani Analysing real-time programs using Design/CPN Case study: LEGO RCX
942 Tejs Scharling 27-06-2001 Ole Caprani/Christian Nørgaard Storm Pedersen Gen-identifikation ved sekvens-sammenligning
941 Jacob Ilsø Christensen 27-06-2001 Gudmund Frandsen Dynamisk Pattern Matching
940 Jakob Skyberg 27-06-2001 Gudmund Frandsen Redigeringsafstande imellem niveau-strenge
939 Rasmus Kjær Ursem 26-06-2001 Brian Henry Mayoh/Thiemo Krink Titel ukendt
938 Christian Yndigegn 25-06-2001 Kaj Grønbæk An Open Hypermedia Approach to The Semantic Web
937 Hans Kyndesgaard 25-06-2001 Peter Bro Miltersen Talerepræsentation med få bits.
936 Jesper Bach Larsen 25-06-2001 Thiemo Krink Specialization and Division of Labour in Distributed Autonomous Agents
935 Anders Morten Mikkelsen 22-06-2001 Søren Christensen On-The-Fly LTL Model Checking in Design/CNP
934 Jan Møller 22-06-2001 Søren Christensen Internal Network Security - Defending the Network from the Inside
933 Thorbjørn Donbæk 22-06-2001 Søren Christensen Internal Network Security - Defending the Network from the Inside
932 Anne Vinter Ratzer 22-06-2001 Susanne Bødker Use of Design Principles in Advanced User Interface Design
931 Jesper Buus Nielsen 14-06-2001 Ivan Damgaard Efficient Secure Multiparty Computation.
930 Mads Johan Jurik 14-06-2001 Ivan Damgaard Titel ukendt
929 Mikkel Nygaard Hansen 07-06-2001 Glynn Winskel Titel ukendt
928 Anne Krogh Nielsen 24-01-2001 Olav Bertelsen Shit, now we have to change again - En virksomhedsteoretisk analyse og diskussion af et strategiudviklingsforløb
927 Christian Horsdal Pedersen 24-01-2001 Peter Bro Miltersen Probabilistically Checkable Proofs For Cellular Automata.
926 Tejs Bomme 24-01-2001 Michael I. Schwartzbach Redigering af regelbaserede XML-dokumenter på Internettet
925 Steffen Foldager 24-01-2001 Michael I. Schwartzbach Redigering af regelbaserede XML-dokumenter på Internettet
924 Michael Tyrsted 23-01-2001 Ole Lehrmann Madsen Application Migration in a Pervasive Computing Environment
923 Gustav Seth Wibling 23-01-2001 Ole Lehrmann Madsen Titel ukendt
922 Morten Kvistgaard Nielsen 23-01-2001 Ole Lehrmann Madsen Titel ukendt
921 Kristian Høgsberg Kristensen 22-01-2001 Gerth Stølting Brodal Titel ukendt
920 Kaare Bøegh 22-01-2001 Jørgen Lindskov Knudsen Distributed Seismic Visualisation
919 Niels Husted Kjær 22-01-2001 Jørgen Lindskov Knudsen Distributed Seismic Visualisation
918 Rune Orsval 22-01-2001 Peter Møller-Nielsen EtHøjtalerorkester - design og implementation af en mange kanalers Phase-Vocoder
917 Lars Kroll Kristensen 19-01-2001 Thiemo Krink Aintz - Collective Problem Solving by Artificial Ants
916 Peter Rickers 19-01-2001 Thiemo Krink Introducing Spatial Agent-Based Models and Self-Organised Criticality to Evolutionary Algorithms
915 Rene Thomsen 19-01-2001 Thiemo Krink Introducing Spatial Agent-Based Models and Self-Organised Criticality to Evolutionary Algorithms
914 Ole Hedegaard Kristensen 19-01-2001 Brian Henry Mayoh Titel ukendt
913 Thomas Mailund Jensen 19-12-2000 Søren Christensen Titel ukendt
912 Jørgen Møller Ilsøe 29-06-2000 Ole Caprani Robot kontrolsystemer - eksperimetel undersøgelse af kontrolsystem arkitektur
911 Gregers Jørgensen 28-06-2000 Henrik Hautop Lund A Survey of Grammar-Based Genetic Programming
910 Esben Hallundbæk Østergaard 28-06-2000 Henrik Hautop Lund Titel ukendt
909 Jesper Blynel 28-06-2000 Henrik Hautop Lund Reinforcement Learning on Real Robots
908 Søren Mors 28-06-2000 Ivan Damgaard Zero-knowledge arguments of possession for RC6 encryption keys
907 Johan Kjeldgaard-Pedersen 27-06-2000 Peter Bro Miltersen On the Complexity of Arithmetical Computation
906 Tage Kiilsholm Hansen 27-06-2000 Brian Henry Mayoh Ant Colony Optimization and Job Shop Scheduling - Schedule Robustness and Rescheduling
905 John Vibe Grevsen 27-06-2000 Ole Caprani Evolution af mobile robotters kontrolsystemer og morfologier
904 Anders Ringsmose 27-06-2000 Kasper Østerbye Primitiver til programmering med mobile objekter i et heterogent, løstkoblet netværk
903 Hans Erik Sørensen 26-06-2000 Susanne Bødker Brugbarhedsevaluering ved hjælp af log og dagbog
902 Flemming Gram Christensen 26-06-2000 Ole Lehrmann Madsen Applying Optimisations to an Object Oriented Programming Language
901 Anders Villy Ehrenreich Eriksen 26-06-2000 Ole Lehrmann Madsen Applying Optimisations to an Object Oriented Programming Language
900 Brian Kømmel Nielsen 26-06-2000 Jørgen Lindskov Knudsen 3D Mission Debreifing of F16 Fighter Pilots
899 Michael Balieu 26-06-2000 Jørgen Lindskov Knudsen 3D Mission Debriefing of F16 Fighter Pilots - An Experimental Prototype Using 3D Stereo Graphics
898 Anders Møller 16-06-2000 Michael I. Schwartzbach Titel ukendt
897 Louise Lorentsen 15-06-2000 Søren Christensen Titel ukendt
896 Klaus Marius Hansen 31-05-2000 Ole Lehrmann Madsen Titel ukendt
895 Christian Heide Damm 30-05-2000 Ole Lehrmann Madsen Component Architectures for Software Development Tools Abstract
894 Michael Thomsen 30-05-2000 Ole Lehrmann Madsen Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling
893 Oliver Möller 24-02-2000 Michael I. Schwartzbach Titel ukendt
892 Ulrik Jørgensen 26-01-2000 Ole Lehrmann Madsen Aspects of distributed objects - adding distribution to self
891 Thomas Arge 26-01-2000 Ole Lehrmann Madsen Aspects of distributed objects - adding distribution to self
890 Morten Grouleff 26-01-2000 Ole Lehrmann Madsen A concurrent garbage collector for BETA
889 Tom Pilgård 25-01-2000 Michael I. Schwartzbach Security aspects of web services
888 Mohammad Saeed Babakhani 25-01-2000 Brian Henry Mayoh Riding a bicycle to a goal using reinforcement learning and shaping
887 Henrik Madsen 25-01-2000 Henrik Hautop Lund Evolving a robust and complex control system for an autonomous robot
886 Søren Gregersen 25-01-2000 Henrik Hautop Lund Evolution and learning in robotics
885 Jon Bomme 24-01-2000 Jørgen Lindskov Knudsen Stereographic Visualisation of Computational Fluid Dynamics
884 Søren Vorre Therkildsen 24-01-2000 Jørgen Lindskov Knudsen Visualization of the cardiovascular system in a virtual reality environment for preoperative planning of cardiac surgery
883 Jacob Sebastian Winstrup Schmidt 24-01-2000 Jørgen Lindskov Knudsen Stereographic Visualisation of Computational Fluid Dynamics
882 Thomas Sangild Sørensen 24-01-2000 Jørgen Lindskov Knudsen Visualization of the cardiovascular system in a virtual reality environment for preoperative planning of cardiac surgery
881 Jan-Henrik Paulsen 21-01-2000 Søren Christensen Code generation from coloured Petri Nets
880 Tina Olesen 21-01-2000 Kurt Jensen Coloured Petri Nets and state space reduction methods
879 Peter Frands Frandsen 21-01-2000 Gudmund Frandsen Rangmaksimering og dynamisk rangberegning
878 Rasmus Pagh 01-12-1999 Peter Bro Miltersen Titel ukendt
877 Rene Schalburg 24-06-1999 Brian Henry Mayoh Table based Neural Networks with examples
876 Mikkel Yde Kjær 24-06-1999 Ole Caprani Robot-byggesæt til børn
875 Thomas Gjørup 23-06-1999 Jørgen Lindskov Knudsen Exploring Portals in Consumer Class Applications
874 Jens Kaas Benner 23-06-1999 Brian Henry Mayoh Automatisk konstruktion af statiske evalueringsfunktioner til ikke-trivielle strategiske brætspil
873 Eric Werk 23-06-1999 Brian Henry Mayoh Titel ukendt
872 Anders Egestrøm 23-06-1999 Ole Lehrmann Madsen Mobile Object Systems
871 Lasse Reichstein Nielsen 22-06-1999 Olivier Danvy A Denotational Investigation of Defunctionalization
870 Niels Nørgaard Pedersen 22-06-1999 Mogens Nielsen Theorem Proving with Polymorphic Types
869 Claus Hjort Bjerre 22-06-1999 Henrik Hautop Lund Adaptive Pet Robots
868 Michael Nielsen 22-06-1999 Henrik Hautop Lund Adaptive Pet Robots
867 Kasper Støy 22-06-1999 Henrik Hautop Lund Adaptive Control Systems for Autonomous Robots
866 Jes Hvoldal Nielsen 22-06-1999 Henrik Hautop Lund Adaptive Pet Robots
865 Rene Rydhof Hansen 21-06-1999 Flemming Nielson Flow Logics for Mobile Agents
864 Jacob Grydholt Jensen 21-06-1999 Flemming Nielson Flow Logics for Mobile Agents
863 Lars Ulrik Pedersen 21-06-1999 Sven Skyum Et overblik over lavrate video komprimering
862 Morten Heiberg Rasmussen 21-06-1999 Peter Bro Miltersen An Adaption of Zerotree Coding Techniques to Wavelet Packet Image Compression
861 Anette Christensen 18-06-1999 Kurt Jensen Design og Analyse af et Busallokeringssystem ved brug af Farvede Petri Net
860 Bo Lindstrøm 18-06-1999 Søren Christensen Performance Analysis using Coloured Petri Nets
859 Lisa Marie Wells 18-06-1999 Søren Christensen Titel ukendt
858 Henrik Lautrup 17-06-1999 Michael I. Schwartzbach A Web Programming Survey
857 Ulrik Skyt 17-06-1999 Michael I. Schwartzbach Compiler Directed Memory Coherence for Parallel Computing
856 Dan Witzner Hansen 15-06-1999 Brian Henry Mayoh Stereo og Alternative Kameraer i Datamatsyn
855 Jacob Elgaard 15-06-1999 Michael I. Schwartzbach Verifying C Pointer Programs Using Monadic Second-Order Logic
854 Jørgen Bang Erichsen 15-06-1999 Brian Henry Mayoh Three EA Techniques for Constrained Parameter Optimization Problems
853 Flemming Friche Rodler 14-06-1999 Brian Henry Mayoh Titel ukendt
852 Kim Kristensen 14-06-1999 Brian Henry Mayoh Solving a Real Life Scheduling Problem Using Evolutionary Algorithms
851 Thomas Randers Jensen 14-06-1999 Brian Henry Mayoh Solving a Real Life Scheduling Problem Using Evolutionary Algorithms
850 Niels Damgaard 04-06-1999 Michael I. Schwartzbach Titel ukendt
849 Mikkel Thomas Tjørnfelt-Jensen 28-05-1999 Brian Henry Mayoh Titel ukendt
848 Belmina Dzafic 27-01-1999 Olivier Danvy Formalizing Program Transformations
847 Finn Pedersen 27-01-1999 Kurt Jensen Modellering af validering af en cache coherence protokol
846 Morten Bach Møller 27-01-1999 Ole Caprani Titel ukendt
845 Morten Værum 26-01-1999 Michael I. Schwartzbach A Web Programming Survey
844 Claus Rasmussen Brabrand 26-01-1999 Michael I. Schwartzbach Synthesizing Safety Controllers for Interactive Web Services
843 Emmanouil Marinos 26-01-1999 Michael I. Schwartzbach WIG Database
842 Thomas Peter Erich Hohn 25-01-1999 Jørgen Lindskov Knudsen Design and Implementation of an ODMG Language Binding for BETA
841 Søren Pingel Dalsgaard 25-01-1999 Jørgen Lindskov Knudsen Just-in-Time Compilation for Processor Simulation
840 Mikkel Verner Nielsen 22-01-1999 Kaj Grønbæk Mod en teknik til lagbaseret udforskning af søgesvar i digitale biblioteker
839 Henrik Rosenberg Rasmussen 22-01-1999 Kaj Grønbæk The Integrator Framework - Supporting Web Base Access to Distributed Heterogeneous Databases
838 Sebastian Lukas Arne Czort 22-01-1999 Peter Bro Miltersen The Complexity of Minimizing Disjunctive Normal Form Formulas
837 Dirk Bucka-Lassen 21-01-1999 Kaj Grønbæk Cooperative Authoring Using Open Spatial Hypermedia
836 Olavur Heri Reinert 21-01-1999 Kaj Grønbæk Cooperative Authoring Using Open Spatial Hypermedia
835 Claus Ågård Pedersen 21-01-1999 Kaj Grønbæk Cooperative Authoring Using Open Spatial Hypermedia
834 Anders Jacob Truelsen 21-01-1999 Ole Lehrmann Madsen Synchronising Distributed Concurrent Objects
833 Klaus Langgaard Jensen 20-01-1999 Ole Lehrmann Madsen Framework for Embedded Systems - a Case Study and Tool Support
832 Bo Frederiksen 20-01-1999 Ole Lehrmann Madsen Framework for Embedded Systems - a Case Study and Tool Support
831 Thomas Hune 11-12-1998 Mogens Nielsen Titel ukendt
830 Mads Torgersen 11-12-1998 Ole Lehrmann Madsen Titel ukendt
829 Jakob Pagter 03-12-1998 Erik Meineche Schmidt Titel ukendt
828 Torben Flytkjær Kabel 24-06-1998 Brian Henry Mayoh Titel ukendt
827 Lars Vestergaard Kragelund 24-06-1998 Brian Henry Mayoh Titel ukendt
826 Peter Andersen 23-06-1998 Ole Caprani Evolvable Hardware - Artificial Evolution of Hardware Design - in Simulation and Reality
825 Lars Ræder Clausen 23-06-1998 Olivier Danvy Intensional and Extensional Aspects of Java byte code
824 Jesper Just 23-06-1998 Olav Bertelsen Titel ukendt
823 Peter Grassme Binderup 23-06-1998 Sven Skyum Titel ukendt
822 Anders Marager 23-06-1998 Susanne Bødker Shopfloor CSCW - Et studie af edb-systemer og den organisationelle kontekst med et rekvisitionssystem til sygehuskøkkener som case
821 Kåre Kjelstrøm 22-06-1998 Ole Lehrmann Madsen Software Components and Development Tools
820 Peter Petersen 22-06-1998 Ole Lehrmann Madsen Software Components and Development Tools
819 Krister Grønhøj 22-06-1998 Jørgen Lindskov Knudsen 3D-visualisering af software strukturer
818 Christian Vandsø Andersen 22-06-1998 Jørgen Lindskov Knudsen Towards Automatic Segmentation, Visualization and Animation of Cerebral Arteries
817 Jesper Frandsen 22-06-1998 Jørgen Lindskov Knudsen Towards Automatic Segmentation, Visualization and Animation of Cerebral Arteries
816 Kresten Krab Thorup 04-06-1998 Ole Lehrmann Madsen Titel ukendt
815 Stig Larsen 29-04-1998 Peter Møller-Nielsen Effektivisering af programmer til behandling af digitaliseret lyd
814 Simeon Falk Sheye 29-01-1998 Jan Depenau Ensemble Techniques and Neural Networks
813 Mikkel Arentoft 29-01-1998 Brian Henry Mayoh Developing a Robot Controller using Genetic Programming on Decision Trees
812 Morten Flink 29-01-1998 Brian Henry Mayoh Titel ukendt
811 Asger Sporring 28-01-1998 Brian Henry Mayoh Evolvable Hardware - Designing Chips, from Top to Bottom
810 John Rasmussen 28-01-1998 Mogens Nielsen Implementation of realtime CCS
809 Morten Rhiger 28-01-1998 Olivier Danvy A Study in Higher-Order Programming Languages
808 Hanne Gottliebsen 28-01-1998 Peter Mosses Combinatory Reduction Systems and Natural Semantics
807 Rune Raunow 27-01-1998 Susanne Bødker Titel ukendt
806 Henrik Behrens Jensen 27-01-1998 Susanne Bødker Titel ukendt
805 Lars Winther Madsen 26-01-1998 Brian Henry Mayoh Neurale netværk og forudsigelse af tidsrækker
804 Henrik Enstrøm 26-01-1998 Glynn Winskel Titel ukendt
803 Anders Juul Nielsen 26-01-1998 Preben Mogensen Titel ukendt
802 Henrik Petersen 26-01-1998 Peter Møller-Nielsen Generering af netlister fra Occam-modeller af integrerede kredsløb
801 Nis Peder Bonde 22-01-1998 Peter Møller-Nielsen MBP: Multiparty Broadcast Protocol
800 Leon Mortensen 22-01-1998 Peter Møller-Nielsen MBP: Multiparty Broadcast Protocol
799 Jakob Fredslund 22-01-1998 Ole Caprani Intelligent adfærd uden intelligens
798 Søren Cramer Christiansen 22-01-1998 Ole Caprani Titel ukendt
797 Richard Jørgensen 21-01-1998 Ole Caprani Titel ukendt
796 Morten Lauritsen 21-01-1998 Ole Caprani Et annoteret WWW værktøj til løsning af biologiske sekvens problemer
795 Johanna Wiederhold Tind 21-01-1998 Ole Lehrmann Madsen A Multi-User Persistence Framework - Building Customized Database Solutions Using the BETA Persistens Store
794 Brian Bek Jensen 21-01-1998 Ole Lehrmann Madsen HUGIN - An ODMG Framework for Java and RDB's
793 Ellen Birgitte Agerbo Jensen 20-01-1998 Ole Lehrmann Madsen Theory of Language Support for Design Patterns
792 Aino Cornils 20-01-1998 Ole Lehrmann Madsen Theory of Language Support for Design Patterns
791 Stephan Erbs Korsholm 20-01-1998 Ole Lehrmann Madsen Titel ukendt
790 Søren Brian Carlsen 20-01-1998 Ole Caprani Et annoteret WWW værktøj til løsning af biologiske sekvens problemer
789 Torben Slaikjer 19-01-1998 Peter Møller-Nielsen Titel ukendt
788 Astrid Benedicte Meldgaard Madsen 19-01-1998 Ivan Damgaard Titel ukendt
787 Benny Rene Frederiksen 19-01-1998 Ivan Damgaard Titel ukendt
786 Jakob Vogdrup Hansen 16-12-1997 Brian Henry Mayoh Titel ukendt
785 Marianne Graves Petersen 30-10-1997 Kaj Grønbæk Towards Usability Evaluation of Multimedia Applications - Experiences from an Empirical Study of Current Evaluation Methods
784 Ann Christina Nielsen 20-10-1997 Susanne Bødker Spirits in a Material World - An Activity Theory Based Evaluation of Ariel, a Demonstrator in the EuroCODE CSCW Project, Aimed at Supporting Inspection Work at the Great Belt Bridge
783 Tue Jakobsen 27-06-1997 Hanne Riis Nielson Path Reduction and Graph Reduction for the Lambda Calculus
782 Jørg Olaf Schneider 27-06-1997 Ole Lehrmann Madsen Titel ukendt
781 Henrik Røn 26-06-1997 Ole Lehrmann Madsen Midgård - En dynamisk programmeringsomgivelse baseret på ekstensibilitet
780 Rene Schade 26-06-1997 Ole Lehrmann Madsen Midgård - En dynamisk programmeringsomgivelse baseret på ekstensibilitet
779 Jesper Jühne 26-06-1997 Kaj Grønbæk Udvikling af en stimekanisme til WWW
778 Anders Thorbjørn Jensen 26-06-1997 Kaj Grønbæk Udvikling af en stimekanisme til WWW
777 Ulrik Pagh Schultz 20-06-1997 Olivier Danvy Implicit and Explicit Aspects of Scope and Block Structure
776 Torben Koch 20-06-1997 Preben Mogensen CSCW i praksis - Lotus Notes i et shipping-firma
775 Martin Jacob Rehder 18-06-1997 Brian Henry Mayoh Predicting Forest Animal Movement Using AI Methods
774 Jan Rene Vestergaard 18-06-1997 Olivier Danvy From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation
773 Søren Bak Larsen 18-06-1997 Kaj Grønbæk Hypermedia Agents - Towards a Protocol for Mediating Contents and Structure Search in Open Hypermedia Systems
772 John Brøndum 18-06-1997 Jørgen Lindskov Knudsen Debugging Distributed BETA Programs
771 Rune Bang Lyngsø 10-06-1997 Ole Caprani Titel ukendt
770 Christian Nørgaard Storm Pedersen 10-06-1997 Sven Skyum Titel ukendt
769 Thomas Troels Hildebrandt 10-06-1997 Glynn Winskel Titel ukendt
768 Lars Michael Kristensen 10-06-1997 Kurt Jensen Titel ukendt
767 Jesper Gulmann Henriksen 04-06-1997 Mogens Nielsen Titel ukendt
766 Anders Bækgaard Sandholm 23-05-1997 Michael I. Schwartzbach Titel ukendt
765 Sharmila Rajani Lassen 23-01-1997 Hanne Riis Nielson Static Processor Allocation for CML
764 Jan Hansen 23-01-1997 Jørgen Lindskov Knudsen Atomare datatyper
763 Peter Rene Schmidt Høggaard 23-01-1997 Kaj Grønbæk, Kurt Jensen Titel ukendt
762 Jesper Jensen 23-01-1997 Kaj Grønbæk, Kurt Jensen Anvendelse af Farvede Petri Net i en object-orienteret metode
761 Morten Sabroe Mortensen 22-01-1997 Gudmund Frandsen Engineering of a Graphical Engine for Visualizing Virtual Environments - A Solution Within the Paradigm of Algorithm Engineering
760 Hans Christian Pedersen 22-01-1997 Brian Henry Mayoh Dusty Pictures - Study of Applying Dust to a Ray-Tracer
759 Jan Bækgaard Pedersen 22-01-1997 Peter Møller-Nielsen PVMbuilder - et grafisk værktøj til parallelprogrammering
758 Bjarke Bisgaard Blendstrup 22-01-1997 Peter Møller-Nielsen PVMbuilder - et grafisk værktøj til parallelprogrammering
757 Martin Schmidt 17-01-1997 Brian Henry Mayoh Hybrid Systems - Genetic Algorithms, Neural Networks, and Fuzzy Logic
756 Thomas Stidsen 17-01-1997 Brian Henry Mayoh Hybrid Systems - Genetic Algorithms, Neural Networks, and Fuzzy Logic
755 Nikolaj Kolte 17-01-1997 Susanne Bødker Evaluering af brugergrænsefladen for Devise Hypermedia
754 John Vestergaard Nielsen 17-01-1997 Susanne Bødker Evaluering af brugergrænsefladen for Devise Hypermedia
753 Ole Skydtsgaard Nielsen 14-01-1997 Sven Skyum Majoritets- og medianproblemer
752 Lone Overgaard 14-01-1997 Sven Skyum Steinertræer i orienterede grafer
751 Peer Gunnar Duschner 14-01-1997 Mogens Nielsen A Discrete Responsiveness Framework for Concurrent Processes
750 Chris Ranzau Hansen 13-01-1997 Ole Lehrmann Madsen Versions- og konfigurationsstyring i objekt-orienterede databaser
749 Michael Edgar Jørgensen 13-01-1997 Michael I. Schwartzbach Titel ukendt
748 Ole Jakob Lundager Jensen 13-01-1997 Michael I. Schwartzbach Titel ukendt
747 Erik Ernst 02-12-1996 Ole Lehrmann Madsen Titel ukendt
746 Helle Krogh Kristensen 25-11-1996 Kaj Grønbæk Edb i undervisningen - et anvendelsesorienteret og undervisningsteoretisk perspektiv
745 Klaus Seidenfaden 01-08-1996 Kaj Grønbæk On the Design of Browsing and Orientation Support for Dexter-based Hypermedia
744 Niels Olof Bouvin 28-06-1996 Susanne Bødker Spirits in a Material World - An Activity Theory Based Evaluation of Ariel, a Demonstrator in the EuroCODE CSCW Project, Aimed at Supporting Inspection Work at the Great Belt Bridge
743 Lars Høgsted Andersen 25-06-1996 Morten Kyng Evaluering af et fastprisprojekt - om estimering og kvalitetsstyring
742 Jakob Mathiasen 25-06-1996 Kaj Grønbæk Udvikling af hypermediastøtte for digitaliseret video
741 Afsar Jalali 21-06-1996 Brian Henry Mayoh A Suitable Neural Network Architecture for Recognition of Machine Printed Symbols
740 Knud Åge Hansen 21-06-1996 Brian Henry Mayoh Korn klassificering ved brug af Fuzzy Logic og Neurale Netværk
739 Christian Peter Rybak Bækdorf 21-06-1996 Martin Møller Titel ukendt
738 Søren Møllebjerg 21-06-1996 Martin Møller Finansielle forudsigelser v. h. a. neurale net
737 Morten Hoffmann Sørensen 20-06-1996 Michael I. Schwartzbach Rutebeskrivelser i C
736 Christian Vinther 20-06-1996 Ole Caprani Efficiency of the PVM on Different Architectures - a Case Study
735 Christian Norup 19-06-1996 Brian Henry Mayoh Opmåling af maskestørrelser i selektionspaneler
734 Lars Handrup 19-06-1996 Brian Henry Mayoh 3D objektgenkendelse i dybdebilleder
733 Per Knudsgaard 19-06-1996 Brian Henry Mayoh Genkendelse af sammenhængende ord i tale
732 Hans Køhling Pedersen 19-06-1996 Brian Henry Mayoh A Framework for Interactive Texturing on Curved Surfaces
731 Søren Skyum 18-06-1996 Gudmund Frandsen Dyck-sprogene - dynamiske algoritmer og deres kompleksitet
730 Bo Pedersen 18-06-1996 Brian Henry Mayoh Processing Natural Language with Harmony Functions and Canonical Syntax
729 Hans Sølvsten Damgaard 18-06-1996 Brian Henry Mayoh Lokalisering og genkendelse af ansigter
728 Simon Hieronymus Laub 18-06-1996 Brian Henry Mayoh Evolutionary Ideas and Artificial Life
727 Thomas Jürgensen 17-06-1996 Ivan Damgaard Design og implementering af et autentifikations- og autorisationssystem
726 Peter Zacho 17-06-1996 Ivan Damgaard Design og implementering af et autentifikations- og autorisationssystem
725 Jesper Lauridsen 17-06-1996 Gudmund Frandsen Dynamic Text Editing
724 Klaus Bucka-Lassen 17-06-1996 Ole Caprani Heuristiske metoder til multipel sekvens alignment
723 Henrik Bærbak Christensen 11-06-1996 Ole Lehrmann Madsen Titel ukendt
722 Rasmus Munk Larsen 07-06-1996 Ole Caprani Titel ukendt
721 Rene Wenzel Schmidt 15-05-1996 Ole Lehrmann Madsen Titel ukendt
720 Lars Jacobsen 15-03-1996 Kaj Grønbæk Udvikling af hypermediastøtte for digitaliseret video
719 Morten Buhr 24-01-1996 Brian Henry Mayoh Aesthetics of Newspaper Layout
718 Peder Overgaard Pedersen 24-01-1996 Brian Henry Mayoh Web Extractor - Processing of Spider Web Images
717 Jan Riis Nielsen 24-01-1996 Brian Henry Mayoh Fraktal Kompression of Fraktale Mål
716 Dan Nødskouv Christensen 24-01-1996 Brian Henry Mayoh Fraktal Kompression of Fraktale Mål
715 Carsten Pedersen 23-01-1996 Jens Palsberg Generation of Class Graphs from Adaptive Programs
714 Lars Andersen 23-01-1996 Peter Møller-Nielsen Computer generede billeder baseret på simulation af menneskelig hud
713 Allan Vadskjær Severinsen 23-01-1996 Sven Skyum Titel ukendt
712 Jens Hedegaard Hykkelbjerg 23-01-1996 Sven Skyum Titel ukendt
711 Niels Esge Rasmussen 22-01-1996 Jørgen Lindskov Knudsen CPN formalisering som repræsentation af BETA programmer
710 Michael Thomsen 22-01-1996 Susanne Bødker Objekt-Orienteret Brugergrænsefladedesign.
709 Claus Hemberg Jørgensen 18-01-1996 Kurt Jensen, Søren Christensen VLSI-modellering med Farvede Petri Net
708 Aksel Jørgensen 18-01-1996 Kurt Jensen, Søren Christensen VLSI-modellering med Farvede Petri Net
707 Jens Linneberg Rasmussen 17-01-1996 Kurt Jensen, Søren Christensen Designing and Analysing a Security System by means of Coloured Petri Nets
706 Mejar Singh 17-01-1996 Kurt Jensen, Søren Christensen Designing and Analysing a Security System by means of Coloured Petri Nets
705 Theis Rauhe 16-01-1996 Gudmund Frandsen Dyck-sprogene - dynamiske algoritmer og deres kompleksitet
704 Morten Klitgaard Friis 16-01-1996 Ivan Damgaard Identity Based System
703 Rico Werni Steenfeldt 16-01-1996 Ivan Damgaard Identity Based System
702 Tommy Thorn 16-01-1996 Olivier Danvy A Symbolic Approach to Binding-Time Analysis
701 Ole Carstensen 06-12-1995 Gudmund Frandsen Parallelisering af P-hårde problemer på en PRAM
700 Kim Sunesen 05-12-1995 Mogens Nielsen Titel ukendt
699 Esben Andreas Dalsgaard 11-10-1995 Susanne Bødker En analyse af to metoder til planlægning af forandringer
698 Helge Vad 06-10-1995 Brian Henry Mayoh Kinematisk begrundet vidensrepræsentation
697 Kim Vestergaard 25-08-1995 Jørgen Lindskov Knudsen Segmentering i Magnetisk Resonans billeder ved brug af den aktiv-kontur baserede Segment algoritme
696 Thomas Sølling 25-08-1995 Jørgen Lindskov Knudsen Segmentering i Magnetisk Resonans billeder ved brug af den aktiv-kontur baserede Segment algoritme
695 Christian Lynbech 04-08-1995 Peter Mosses Titel ukendt
694 Jan Toksvig 20-06-1995 Søren Christensen Design and implementation of a place invariant tool for coloured petri nets
693 Stefan Hebsgaard 19-06-1995 Martin Møller Titel ukendt
692 Carsten Teichert 19-06-1995 Martin Møller Viden i Neurale Netværk
691 Peter Gravild Korning 19-06-1995 Martin Møller Titel ukendt
690 Ole Østergaard 16-06-1995 Brian Henry Mayoh Practical applications of Virtual Reality & Implementation of a VR interface for an emergency management training system - including technological status
689 Henrik Hautop Lund 16-06-1995 Brian Henry Mayoh Titel ukendt
688 Kim Oechsle Hansen 16-06-1995 Brian Henry Mayoh Practical applications of Virtual Reality & Implementation of a VR interface for an emergency management training system - including technological status
687 Nils Bundgaard 15-06-1995 Morten Kyng On representations and models in computer system development
686 Ebbe Jakobsen 15-06-1995 Peter Møller-Nielsen, Jørgen Lindskov Knudsen Morphing algoritmen og dens implementering i VLSI
685 Jais Lytje Hansen 14-06-1995 Olivier Danvy Language design through extension
684 Christian Otkjær 14-06-1995 Olivier Danvy Language design through extension
683 Jens Cornelius Olsen 14-06-1995 Michael I. Schwartzbach Type inference of BETA
682 Jørgen Greve 14-06-1995 Michael I. Schwartzbach Type inference of BETA
681 Bo Bergholdt Madsen 14-06-1995 Brian Henry Mayoh Revision af teorier med Genetisk Programmering
680 Ove Berg Risum 14-06-1995 Brian Henry Mayoh Revision af teorier med Genetisk Programmering
679 Anders Bertil Rodell 10-03-1995 Jørgen Lindskov Knudsen Automatisk registrering og sammenlægning af MR, CT og PET Skanningsbilleder af hjernen ved symmetribetragtninger af en kraftfeltmodel
678 Søren Bøgh Lassen 10-03-1995 Peter Mosses Titel ukendt
677 Flemming Andersen 10-03-1995 Jørgen Lindskov Knudsen Automatisk registrering og sammenlægning af MR, CT og PET Skanningsbilleder af hjernen ved symmetribetragtninger af en kraftfeltmodel
676 Henrik Kjær Nielsen 26-01-1995 Erik Meineche Schmidt Gibbs Sampling in the Context of Hierarchical Models
675 Henrik Svanberg 26-01-1995 Jørgen Lindskov Knudsen, Ole Lehrmann Madsen Conference systems
674 Jan Sander Jensen 26-01-1995 Jørgen Lindskov Knudsen, Ole Lehrmann Madsen Conference systems
673 Anne Kirsten Mølle 26-01-1995 Jørgen Lindskov Knudsen TK-VEV et rastergrafisk edb-værktøj til design
672 Christian Pierre Didier Gautier 25-01-1995 Jørgen Lindskov Knudsen A Study of Realistic Illumination in Computer Graphics
671 Klaus Lisberg Kristensen 25-01-1995 Jørgen Lindskov Knudsen A Study of Realistic Illumination in Computer Graphics
670 Helle Majbritt Jensen 25-01-1995 Gudmund Frandsen Beregning af mindste udspændende træ med anvendelse af parallelisme og randomisering
669 Morten Ingolf Skifter Jensen 25-01-1995 Susanne Bødker Objekt-Orienteret Brugergrænsefladedesign
668 Ivan Høy 23-01-1995 Ole Caprani Duplikationer i DNA- og proteinstrenge
667 Morten Damgaard 23-01-1995 Jørgen Lindskov Knudsen, Ole Caprani Parallelisering af reaction-diffusion modellen
666 Ralf Mattethat 23-01-1995 Jørgen Lindskov Knudsen, Ole Caprani Parallelisering af reaction-diffusion modellen
665 Michael Hjortshøj Pedersen 19-01-1995 Brian Henry Mayoh Korn klassificering ved brug af Fuzzy Logic og Neurale Netværk
664 Ali Alizadeh Khasmakhi 19-01-1995 Brian Henry Mayoh Titel ukendt
663 Khosrow Jafehvand 18-01-1995 Brian Henry Mayoh Styring af en Kunstig Hånd ved hjælp af Neurale Netværk
662 Mehran Nourbakhsh 18-01-1995 Brian Henry Mayoh Styring af en Kunstig Hånd ved hjælp af Neurale Netværk
661 Anne Birte Jørgensen 18-01-1995 Brian Henry Mayoh Kostplanlægning og case-based planlægning
660 Afshin Foroughipour 18-01-1995 Kurt Jensen Construction of the OS-graph with Permutation Symmetries of a Coloured Petri Net using Algebraic Algorithms
659 Jesper Buhl 16-01-1995 Peter Mosses Communicative action semantics
658 Torben Bisgaard Haagh 16-01-1995 Kurt Jensen, Søren Christensen Optimising a Coloured Petri Net Simulator
657 Tommy Rudmose Hansen 16-01-1995 Kurt Jensen, Søren Christensen Optimising a Coloured Petri Net Simulator
656 Kjeld Høyer Mortensen 25-11-1994 Kurt Jensen Titel ukendt
655 Gerth Stølting Brodal 24-11-1994 Erik Meineche Schmidt Complexity of Data Structures
654 Thore Husfeldt 24-11-1994 Sven Skyum Titel ukendt
653 Ali Reza Kian Abolfazlian 09-11-1994 Brian Henry Mayoh On Selective Attention in the Auditory Domain - A Hybrid Coctail Party Listner
652 Brian Lykkegård Karlsen 07-10-1994 Brian Henry Mayoh Titel ukendt
651 Anders Harder 15-09-1994 Erik Meineche Schmidt Upper and Lower Bounds in the LSA Model
650 Erik Futtrup Sørensen 13-09-1994 Susanne Bødker Objekt-Orienteret Brugergrænsefladedesign
649 Thorleif Nielson 31-08-1994 Hanne Riis Nielson Semantik-bevarende program-transformationer i en typet lambda-kalkyle
648 Claus Winther Rasmussen 15-08-1994 Morten Kyng Titel ukendt
647 Britta Lindbjerg Tønning 15-08-1994 Morten Kyng Systemudvikling - en værktøjskasse
646 Keld Lyngsø Andersen 15-08-1994 Morten Kyng Systemudvikling - en værktøjskasse
645 Kim Kortermand Hansen 08-08-1994 Brian Henry Mayoh Observing, Understanding, and Controlling the Genetic Method on a Neural Network Application
644 Hans Lohmann Jayatissa 28-07-1994 Ole Lehrmann Madsen Titel ukendt
643 Peter Rolann Arentoft 27-06-1994 Brian Henry Mayoh Simuleret skovbrandsbekæmpelse - et eksempel på genetisk baseret maskinindlæring
642 Kaj Aage Jensen 27-06-1994 Brian Henry Mayoh Simuleret skovbrandsbekæmpelse - et eksempel på genetisk baseret maskinindlæring
641 Kirsti Kruse 24-06-1994 Peter Landrock Kryptering i international kommunikation med overvågning
640 Heidi Pedersen 24-06-1994 Peter Landrock Kryptering i international kommunikation med overvågning
639 Jesper Schmidt 24-06-1994 Erik Meineche Schmidt Dynamiske Grafalgoritmer - teknikker og deres anvendelse
638 Benny Skov 24-06-1994 Peter Landrock Kryptering i EDIFACT
637 Michael Christensen 23-06-1994 Ole Lehrmann Madsen Eksperimentel indplacering af objektdiagrammer i reverse engineering sammenhæng
636 Kim Jakobsen 23-06-1994 Ole Lehrmann Madsen Eksperimentel indplacering af objektdiagrammer i reverse engineering sammenhæng
635 Martin Broch Pedersen 23-06-1994 Susanne Bødker Fra interface til interaktion
634 Jakob Eyvind Bardram 23-06-1994 Susanne Bødker Fra interface til interaktion
633 Peter Dalsgaard 21-06-1994 Brian Henry Mayoh Speaker Verification using Neural Networks applied in Telecommunication Services
632 Steen Ladegaard Knudsen 21-06-1994 Brian Henry Mayoh Ockham's Razor Drawn against Overfitted Neural Nets - A Quest for the Glorious Features
631 Kell Sønnichsen 16-06-1994 Ole Caprani Parallel programmering på arbejdsstationer - en undersøgelse af PVM's anvendelse og effektive brug på klynger af arbejdsstationer
630 Anders Kristensen 16-06-1994 Ole Lehrmann Madsen Object-Oriented Group Communication in Beta
629 Erik Pedersen 16-06-1994 Ole Caprani Parallel programmering på arbejdsstationer - en undersøgelse af PVM's anvendelse og effektive brug på klynger af arbejdsstationer
628 Thomas Schneider 15-06-1994 Jørgen Lindskov Knudsen, Ole Caprani Visualisering af implicitte flader ved hjælp af ray tracing
627 Mikkel Mølgaard Mortensen 15-06-1994 Jørgen Lindskov Knudsen, Ole Caprani Visualisering af implicitte flader ved hjælp af ray tracing
626 Lars Hvidegaard 15-06-1994 Jørgen Lindskov Knudsen, Ole Caprani Visualisering af implicitte flader ved hjælp af ray tracing
625 Jens Middelfart 15-06-1994 Jørgen Lindskov Knudsen GLEIPNER - a Framework for Supporting Constraint Object Oriented Programming in BETA
624 Martin Faurby 14-06-1994 Peter Møller-Nielsen Syntese af integrerede kredse baseret på program-prototyper
623 Kim Fisker 14-06-1994 Ole Caprani Rekonstruktion af slægtskabs forhold baseret på DNA strenge
622 Søren Weeke 13-06-1994 Erik Meineche Schmidt Distribuerede datastrukturer i distribuerede systemer med dynamisk topologi
621 Jesper Rosenlund Nielsen 13-06-1994 Erik Meineche Schmidt Distribuerede datastrukturer i distribuerede systemer med dynamisk topologi
620 Farshid Shaikhrezai 13-06-1994 Brian Henry Mayoh A Blackboard Architecture for X-ray Image Understanding
619 Michael Kjærgaard Sørensen 13-06-1994 Sven Skyum Abstrakte Voronoi diagrammer med huller
618 Søren Brandt 30-05-1994 Ole Lehrmann Madsen Titel ukendt
617 Jens Troelsgaard Thorsen 16-05-1994 Ole Lehrmann Madsen Titel ukendt
616 Peter Hübel 16-05-1994 Ole Lehrmann Madsen Multiple Language Systems Sharing BETA and C++ Objects
615 Mogens Birk Hansen 06-05-1994 Erik Meineche Schmidt Data Structures and Algorithms for Connectivity
614 Jan Hvid Sørensen 06-05-1994 Erik Meineche Schmidt Data Structures and Algorithms for Connectivity
613 Lisbeth Vlk 05-05-1994 Brian Henry Mayoh Titel ukendt
612 Ejnar Steffensen 05-05-1994 Brian Henry Mayoh Kamera kalibrering
611 Carsten Bjerring 20-04-1994 Erik Meineche Schmidt Dynamiske Grafalgoritmer - teknikker og deres anvendelse
610 Søren Hvidberg Christensen 20-04-1994 Erik Meineche Schmidt Dynamiske Grafalgoritmer - teknikker og deres anvendelse
609 Kristian Lippert 18-04-1994 Michael I. Schwartzbach Partial Products and their Implementation
608 Anders Tvedt 18-04-1994 Michael I. Schwartzbach Partial Products and their Implementation
607 Ole Ildsgaard Hougaard 07-04-1994 Michael I. Schwartzbach Titel ukendt
606 Hosein Askari 07-04-1994 Michael I. Schwartzbach Implicit Typing for Turbo Pascal - teknikker og deres anvendelse
605 Torben Vestergaard Blach 08-02-1994 Ole Caprani Genetiske algoritmer og global funktionsoptimering
604 Claus Aggerholm Sørensen 08-02-1994 Ole Caprani Genetiske algoritmer og global funktionsoptimering
603 Peter Ørbæk 25-01-1994 Peter Mosses Analysis and Optimization of Actions
602 Torben Bach Pedersen 24-01-1994 Ole Caprani Effektiv Automatisk Verifikation
601 Soudabeh Sardarpour?Goodarzi 19-01-1994 Susanne Bødker Titel ukendt
600 Ole Helbo 18-01-1994 Ole Caprani Parallelisering af algoritme til genkendelse af håndskrevne cifre
599 Torben Petersen 18-01-1994 Brian Henry Mayoh En Genetisk Algoritme til Reduktion af Bools Algebra med henblik på VLSI Implementation
598 Christian Clausen 17-01-1994 Mogens Nielsen Titel ukendt
597 Søren Hilmer Pedersen 22-12-1993 Brian Henry Mayoh Klassifikation af træ
596 Jens Hørup Jensen 22-12-1993 Brian Henry Mayoh Klassifikation af træ
595 Mikael Nygård 16-12-1993 Ole Caprani Effektiv Automatisk Verifikation
594 Nikolaj Nederby 16-12-1993 Ole Caprani Effektiv Automatisk Verifikation
593 Mikael Christian Varrild Flensborg 15-12-1993 Brian Henry Mayoh Titel ukendt
592 Lars Peter Andersen 15-12-1993 Brian Henry Mayoh Experimenter omkring Exponentierings-Algoritmer
591 Lars Søderman Eskildsen 08-12-1993 Brian Henry Mayoh Titel ukendt
590 Lars Peter Larsen 08-12-1993 Brian Henry Mayoh Design af LLExpert - en ekspertsystemskal og implementation af LLExpert p - en prototype på LLExpert
589 Allan Cheng 29-11-1993 Mogens Nielsen Titel ukendt
588 Bettina Blaaberg Sørensen 29-11-1993 Glynn Winskel Titel ukendt
587 Lars Allan Arge 29-11-1993 Erik Meineche Schmidt Titel ukendt
586 Torben Brauner 26-11-1993 Glynn Winskel Titel ukendt
585 Christen Jørgen Christensen 01-11-1993 Brian Henry Mayoh Titel ukendt
584 Pia Lund 14-10-1993 Susanne Bødker Den daglige brug af WordPerfect i Arbejdstilsynet - hvordan kan man understøtte arbejdets udvikling
583 Steffen Grarup 31-08-1993 Ole Lehrmann Madsen Incremental Mature Garbage Collection
582 Jacob Seligmann 31-08-1993 Ole Lehrmann Madsen Incremental Mature Garbage Collection
581 Bjarne Hansen 05-08-1993 Jens Kristian Kjærgaard Titel ukendt
580 Per Lynge Kristoffersen 04-08-1993 Ole Caprani Parallelisering af algoritme til genkendelse af håndskrevne cifre
579 Ejner Tatari 31-07-1993 Ivan Damgaard Elliptiske kurver og nogle anvendelser i kryptografien
578 Michael Troelsen 31-07-1993 Ivan Damgaard Elliptiske kurver og nogle anvendelser i kryptografien
577 Lars Peter Abildskov 22-07-1993 Brian Henry Mayoh Virtual Reality og den talende handske
576 Ole Bak Jensen 19-07-1993 Brian Henry Mayoh Visuel Programmering i Billedbehandling - VIBB
575 Kirsten Larsen 21-06-1993 Erik Meineche Schmidt I/O-complexity of comparison and permutation problems
574 Knud Mikael Nyvang Knudsen 21-06-1993 Erik Meineche Schmidt I/O-complexity of comparison and permutation problems
573 Morten Dahl 21-06-1993 Sven Skyum Delaunay diagrammer i planen
572 Henning Clausen 16-06-1993 Kurt Jensen Usage parameter Control Algorithms in Higher Speed Networks
571 Peter Ryberg Jensen 16-06-1993 Kurt Jensen Usage parameter Control Algorithms in Higher Speed Networks
570 Erik Jacobsen 16-06-1993 Erik Meineche Schmidt 7 år med RASMUS og RIKKE
569 Jørn Hansen 04-06-1993 Erik Meineche Schmidt Anvendelse af skiplister
568 Anders Kjærsgaard 28-05-1993 Morten Kyng Fra idé til industriel prototype - Aspekter af design om implementation illustreret ved udviklingen af et manualprogram
567 Henrik Reiche 28-05-1993 Morten Kyng Delaunay diagrammer i planen
566 Lars Rasmussen 18-05-1993 Hanne Riis Nielson Inference Systemer for Strictness Analyse
565 Poul Christiansen 10-05-1993 Glynn Winskel Titel ukendt
564 Hans Jakob Pedersen 10-05-1993 Glynn Winskel Titel ukendt
563 Tony Thisted Jacobsen 04-05-1993 Peter Mosses Towards a Realistic Type Inference System for Action Semantics
562 Jacob Steen Due 23-04-1993 Kaj Grønbæk Hypermedia-baseret støtte til udvikling og brug af dokumentation i systemudvikling
561 Steen Basse Jensen 23-04-1993 Kaj Grønbæk Hypermedia-baseret støtte til udvikling og brug af dokumentation i systemudvikling
560 Lars Olav Wedege Bertelsen 23-03-1993 Susanne Bødker Når uret blir ret - Et litteraturstudium til belysning af muligheden for teori i human-computer interaction
559 Mojtaba Danai 28-01-1993 Jens Kristian Kjærgaard Titel ukendt
558 Torsten Bjørn Hagemann 28-01-1993 Ole Lehrmann Madsen Valhall - et projekt om multimedier i objektorienteret programmering
557 Niels Franck Villadsen 28-01-1993 Ole Caprani NETWORK MANAGEMENT - i sammenhæng med ISDN
556 Alf Holten Gaba 27-01-1993 Brian Henry Mayoh Titel ukendt
555 Iraj Bastar 26-01-1993 Jens Kristian Kjærgaard Titel ukendt
554 Jacob Havkrog Jørgensen 26-01-1993 Peter Mosses Terminering af associativ kommutativ genskrivning
553 Fin Steenbjerg Olesen 25-01-1993 Jens Kristian Kjærgaard Titel ukendt
552 Birgitte Mølgaard Pedersen 25-01-1993 Ole Lehrmann Madsen Developing Animated Graphical Interfaces to an Object-oriented Simulation Framework
551 Niels Koldsø 25-01-1993 Brian Henry Mayoh Analyzing & comparing the RSA the Chor-Rivest and the Powerline public key cryptosystems - a cryptologic endeavour as well as a c++ programming experience - or How to fight a polynomial
550 Dorthe Torp Jensen 22-01-1993 Mogens Nielsen Lokaliteter i Procesalgebra
549 Frank Bagge Ivens de Carvalho 21-01-1993 Brian Henry Mayoh Titel ukendt
548 Robert Monrad Sie 20-01-1993 Ole Lehrmann Madsen Communication in Distributed Systems
547 Ebbe Skak Larsen 23-12-1992 Michael I. Schwartzbach SCAMIRA - A functional language with implicit scaling
546 Birthe Hust 22-12-1992 Kaj Grønbæk Tailorability i Teori og Praxis - en teoretisk redegørelse for begrebet og en empirisk undersøgelse af et tailorable edb-system
545 Folmer Sørensen 22-12-1992 Kaj Grønbæk Tailorability i Teori og Praxis - en teoretisk redegørelse for begrebet og en empirisk undersøgelse af et tailorable edb-system
544 Dag Amund Helstad 14-12-1992 Ole Lehrmann Madsen Valhall - et projekt om multimedier i objektorienteret programmering
543 Carsten Hansen 14-12-1992 Ole Lehrmann Madsen Valhall - et projekt om multimedier i objektorienteret programmering
542 Lars Toftgaard 02-11-1992 Ole Lehrmann Madsen Communication in Distributed Systems
541 Jens Toft Pedersen 26-10-1992 Ole Lehrmann Madsen Object Management in Distributed Object Oriented Databases
540 Lennert Sloth 06-10-1992 Ole Lehrmann Madsen Object-Oriented Database Management Systems - A Design for Schema Evolution in Beta-Flex
539 Jens Arnold Hem 06-10-1992 Ole Lehrmann Madsen Object-Oriented Database Management Systems - A Design for Schema Evolution in Beta-Flex
538 Peter Berg 03-10-1992 Brian Henry Mayoh Automated Belief Revision - From Theory to Practice
537 Lars Tøffner-Clausen 11-09-1992 Ivan Damgaard Titel ukendt
536 André Riget 25-06-1992 Brian Henry Mayoh Klassificering af pletysmografkurver ved hjælp af neurale netværk
535 Bent Handberg 24-06-1992 Morten Kyng HanDahl - en model til estimering af omfanget af et systemudviklingsprojekt baseret på objektiv opmåling af kravspecifikationen
534 Nicholas Oxhøj 23-06-1992 Michael I. Schwartzbach Practical Object-Oriented Type Inference
533 Jesper Andersen 23-06-1992 Ole Caprani Design af et styreprogram til en tandemaccelerator
532 Martin Petersen 19-06-1992 Morten Kyng Titel ukendt
531 Niels Erik Jehøj 19-06-1992 Sven Skyum Om elastik metoden til Konstruktion af Voronoidiagrammer
530 Jens Christian Mikkelsen 18-06-1992 Hanne Riis Nielson Strictnes Analysis Using Homomorphisms
529 Henrik Marcussen 17-06-1992 Morten Kyng Estimering af systemudviklingsprojekter - En empirisk undersøgelse
528 Jan Reher 17-06-1992 Ole Caprani Design af et styreprogram til en tandemaccelerator
527 Tommy Ravn Jensen 17-06-1992 Brian Henry Mayoh Metoder til indlæring af intelligente kontrolsystemer
526 Claus Torp Jensen 13-05-1992 Glynn Winskel Titel ukendt
525 Thomas Wirendeldt Larsen 08-05-1992 Sven Skyum Titel ukendt
524 Torben Lange 04-05-1992 Flemming Nielson Titel ukendt
523 Nicolette Frederiksen 01-05-1992 Joan Greenbaum Titel ukendt
522 Bente Laursen 01-05-1992 Joan Greenbaum User Interface Consistency - A Case Study Suggesting User Involvment in Consistency Design Issues
521 Lars Skøtt Christensen 13-04-1992 Peter Møller-Nielsen Anvendelse af Medusa - En undersøgelse af chiptester og co-processor aspektet
520 Torben Nielsen 30-03-1992 Peter Møller-Nielsen Design, simulering og optimering af VLSI kredsløb ved hjælp af et funktionelt sprog
519 Søren Rehné 30-03-1992 Peter Møller-Nielsen Et simuleringsværktøj til design, verifikation og fejlfinding af VLSI-kredse - en videochip som case
518 Frank Christensen 13-03-1992 Ivan Damgaard A Survey of Identification Schemes
517 Troels Agerbo Jensen 13-03-1992 Ivan Damgaard Titel ukendt
516 Bjarne Ebsen 19-02-1992 Ole Caprani Parallelisering af Simulated Annealing og Genetiske Algoritmer anvendt på Traveling Salesman Problemet
515 Morten Wulff Pedersen 19-02-1992 Ole Caprani Parallelisering af Simulated Annealing og Genetiske Algoritmer anvendt på Traveling Salesman Problemet
514 Lars Svith 07-02-1992 Brian Henry Mayoh Klassificering af pletysmografkurver ved hjælp af neurale netværk
513 Claus Jensen 07-02-1992 Brian Henry Mayoh Klassificering af pletysmografkurver ved hjælp af neurale netværk
512 Tanja Anette Nørgaard Troelsen 22-01-1992 Morten Kyng Titel ukendt
511 Lotte Lyngsø Jensen 22-01-1992 Morten Kyng Kvalitetsstyring af Systemudvikling
510 Lars Ramkilde Knudsen 21-01-1992 Ivan Damgaard Differential Kryptoanalyse af DES og LOKI
509 Peter Andersen 21-01-1992 Jørgen Lindskov Knudsen Bifrost - An interactive Object-Oriented Device Independent Graphics System
508 Nicholas Blackburn 21-01-1992 Brian Henry Mayoh Modelling Reaction-Diffusion Processes with System Dynamics
507 Anne Klinke Kettunen 16-01-1992 Morten Kyng Estimering af systemudviklingsprojekter - En empirisk undersøgelse
506 Steen Sjøgaard 16-01-1992 Brian Henry Mayoh A Conceptual Approach to Generalization in Dynamic Neural Networks
505 Søren Thygesen Gjesse 15-01-1992 Brian Henry Mayoh FACE - Ansigtsgenkendelse
504 Michael Ringgaard 14-01-1992 Brian Henry Mayoh FACE - Ansigtsgenkendelse
503 Poul-Erik Dahl 14-01-1992 Jørgen Lindskov Knudsen Muligheder og begrænsninger ved integration af multimedie-omgivelser
502 Henrik Dahl 14-01-1992 Morten Kyng HanDahl - en model til estimering af omfanget af et systemudviklingsprojekt baseret på objektiv opmåling af kravspecifikationen
501 Jens Givskov 16-12-1991 Ole Lehrmann Madsen Aspects of Programming-in-the-Large - Towards the Design of a Graphical Module Browser
500 Helle Johansen 16-12-1991 Ole Lehrmann Madsen Aspects of Programming-in-the-Large - Towards the Design of a Graphical Module Browser
499 Anne-Marie Bøjer Pedersen 15-10-1991 Jørgen Lindskov Knudsen Design of a Fragment Administration System for the Mjølner BETA System - FRAME
498 Johannes Vibe Djernæs 15-10-1991 Jørgen Lindskov Knudsen Design of a Fragment Administration System for the Mjølner BETA System - FRAME
497 Lone Lykke Nielsen 01-10-1991 Jørgen Lindskov Knudsen Felixpascal - Evaluering og redesign
496 Marianne Meincke Arentoft 01-10-1991 Jørgen Lindskov Knudsen Felixpascal - Evaluering og redesign
495 Sten Agerholm 25-09-1991 Glynn Winskel Mechanizing Program Verification in HOL
494 Kim Thomas Rasmussen 23-09-1991 Brian Henry Mayoh Tegnsprog og Animation
493 Lars Kjær Larsen 23-09-1991 Brian Henry Mayoh Tegnsprog og Animation
492 Ann-Grete Tan 20-09-1991 Glynn Winskel Programming with Proofs
491 Anders Pilegaard 20-09-1991 Glynn Winskel Programming with Proofs
490 Carsten Greve 20-09-1991 Ole Caprani Titel ukendt
489 Svend Jules Fjerdingstad 20-09-1991 Ole Caprani Parallelizing Feed-forward Artificial Neural Networks on Transputers
488 Gert Dengsøe Rasmussen 20-09-1991 Brian Henry Mayoh De Genetiske Algoritmer
487 Henrik Dyrholm 26-06-1991 Ole Caprani NETWORK MANAGEMENT - i sammenhæng med ISDN
486 Hanne Sommer 25-06-1991 Ole Lehrmann Madsen The Development of a Graphical Object-Oriented Database Management System - GrOODBMS
485 Henrik Bo Pedersen 25-06-1991 Ole Caprani Implementation og vurdering af afviklingsalgoritmer på transputere
484 Poul Willy Eriksen 25-06-1991 Brian Henry Mayoh HERMES version 1.3 - MANUAL og RAPPORT
483 Jørn Floor Andersen 24-06-1991 Jørgen Lindskov Knudsen Muligheder og begrænsninger ved integration af multimedie- omgivelser
482 Ulla Vestrup 24-06-1991 Ole Lehrmann Madsen The Development of a Graphical Object-Oriented Database Management System - GrOODBMS
481 Bent Gabelgaard 24-06-1991 Ole Caprani NETWORK MANAGEMENT - i sammenhæng med ISDN
480 Lasse Jensen 21-06-1991 Ole Caprani Titel ukendt
479 Henrik Kaarup Krogh 20-06-1991 Ole Caprani MEDUSA - Integration af anvendelsesspecifikke VLSI-kredse i transputer-baserede occamsystemer
478 Jacob Jakobsen 19-06-1991 Erik Meineche Schmidt Entropi og probabilistiske optimeringsalgoritmer
477 Rikke Drewsen Andersen 18-06-1991 Kurt Jensen Tilstandsgrafer med ækvivalente mærkninger og selvsymmetrier - Definition og konstruktion af en ny type tilstandsgrafer for farvede Petri net
476 Jens Bæk Jørgensen 18-06-1991 Kurt Jensen Tilstandsgrafer med ækvivalente mærkninger og selvsymmetrier - Definition og konstruktion af en ny type tilstandsgrafer for farvede Petri net
475 Michael Pedersen 18-06-1991 Kurt Jensen Tilstandsgrafer med ækvivalente mærkninger og selvsymmetrier - Definition og konstruktion af en ny type tilstandsgrafer for farvede Petri net
474 Lars Høgsted 12-06-1991 Erik Meineche Schmidt Datalogi i Gymnasiet: Formalisering og Programmering - Rationale del
473 Marianne Dyrskjøt Agdrup 20-05-1991 Morten Kyng Titel ukendt
472 Martin Olsen 23-04-1991 Brian Henry Mayoh Automatic Speech Recognition & Neural Networks
471 Ole Bystrup Jensen 23-04-1991 Brian Henry Mayoh Automatic Speech Recognition & Neural Networks
470 Thomas Rohde 23-04-1991 Brian Henry Mayoh Automatic Speech Recognition & Neural Networks
469 Karin Glindtvad 02-04-1991 Hanne Riis Nielson Titel ukendt
468 Merete Hess 12-03-1991 Ole Lehrmann Madsen Titel ukendt
467 Jens Henrik Leonhard Jensen 07-03-1991 Brian Henry Mayoh Genetiske Algoritmer til udvikling af Neural Net
466 Steen Reimers 07-03-1991 Brian Henry Mayoh Genetiske Algoritmer til udvikling af Neural Net
465 Karsten Bosteen 24-01-1991 Sven Skyum Ringsortering
464 Peter Strarup Jensen 24-01-1991 Ole Lehrmann Madsen R-Beta - Integrating Relational and Object Oriented Programming
463 Jannie Lykke Rasmussen 24-01-1991 Jørgen Lindskov Knudsen, Sven Skyum Bilag til rapport om Elektroniske Skema Tavler - Skemaplanlægning for folkeskoler
462 Flemming Koch Jensen 23-01-1991 Brian Henry Mayoh Skemaplanlægning - et CSP Case Study
461 Henrik Skjødt 23-01-1991 Ole Lehrmann Madsen R-Beta - Integrating Relational and Object Oriented Programming
460 Lise Krukow 23-01-1991 Ole Lehrmann Madsen This town is big enough for most of it - modlling in OOP
459 Karsten Søndergaard Schulz 23-01-1991 Jørgen Lindskov Knudsen, Sven Skyum Bilag til rapport om Elektroniske Skema Tavler - Skemaplanlægning for folkeskoler
458 Morten Schultz 22-01-1991 Peter Landrock Titel ukendt
457 Sanne Jensen 22-01-1991 Ole Lehrmann Madsen Concurrency and Distribution in Object-Oriented Programming Languages - the Design of DistributedBeta
456 Jørgen Rask 22-01-1991 Jørgen Lindskov Knudsen Bifrost - An Interactive Object Oriented Device Independent Graphics System
455 Peter Alfred Østergaard 21-01-1991 Jørgen Lindskov Knudsen, Sven Skyum Bilag til rapport om Elektroniske Skema Tavler - Skemaplanlægning for folkeskoler
454 Michael Thomsen 21-01-1991 Susanne Bødker Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling
453 Henrik Esbensen 18-01-1991 Peter Møller-Nielsen HPR - en prototype af en router til understøttelse af hierarkisk design af VLSI-kredsløb
452 Søren Overgaard Petersen 18-01-1991 Ole Caprani En systematisk implementation af en distribueret G-maskine
451 Jens Enevold Kristensen 17-01-1991 Ole Caprani Titel ukendt
450 Finn Rosenberg Rasmussen 17-01-1991 Ole Caprani Implementation og vurdering af afviklingsalgoritmer på transputere
449 Rasmus Møller 17-01-1991 Peter Mosses SADL - Et sprog til beskrivelse og simulering af systoliske algoritmer
448 Søren Mark 17-01-1991 Brian Henry Mayoh Opbygning og Repræsentation af en Begrebsstruktur i et System af Neurale Netværk
447 Brian Andersen 16-01-1991 Peter Møller-Nielsen BEATRICE - En objekt orienteret to niveau CAD datamodel med implicit transaktionshåndtering
446 Jens Groth Andreasen 16-01-1991 Mogens Nielsen Titel ukendt
445 Carsten Rickers 16-01-1991 Peter Møller-Nielsen BEATRICE - En objekt orienteret to niveau CAD datamodel med implicit transaktionshåndtering
444 Claus Mørk 15-01-1991 Ole Caprani Implementation og vurdering af afviklingsalgoritmer på transputere
443 Lone Faber 15-01-1991 Ole Lehrmann Madsen This town is big enough for most of it - modelling in OOP
442 Kim Jensen Møller 15-01-1991 Jørgen Lindskov Knudsen Bifrost - An Interactive Object Oriented Device Independent Graphics System
441 Ejner Kabel 15-01-1991 Morten Kyng Edb-støttet samarbejde - en empirisk undersøgelse med henblik på analyse og design
440 Bjarne Schlichter 14-01-1991 Brian Henry Mayoh Generering af regler og symbolsk information fra neurale net - Om repræsentations- og niveauproblematikken i datamatbaserede kognitive modeller
439 Johnny Skov Petersen 29-10-1990 Brian Henry Mayoh Voronoi algoritmer og deres anvendelse i medicin
438 Flemming Berg 21-09-1990 Ole Lehrmann Madsen Pilot-undersøgelse af Transformations-systemer
437 Lars Aagaard Christiansen 15-08-1990 Ole Caprani Anvendelse og Evaluering af Transputernet
436 Henning Matzen 25-06-1990 Peter Møller-Nielsen Titel ukendt
435 Annette Nielsen 25-06-1990 Peter Møller-Nielsen HPR - en prototype af en router til understøttelse af hierarkisk design af VLSI-kredsløb
434 Peter Holm 25-06-1990 Brian Henry Mayoh Evaluering af ekspertsystemer
433 Mariann Levring 22-06-1990 Brian Henry Mayoh Telefonisk dialog med database - design og udvikling af prototype
432 Lise-Lotte Hjorth Rasmussen 22-06-1990 Jørgen Lindskov Knudsen Draupner - a Way of Programming
431 Hanne Lise Berthelsen 22-06-1990 Erik Meineche Schmidt Algoritmisk problemløsning og abstrakte datatyper
430 Steen Ilum Christensen 22-06-1990 Morten Kyng Edb-støttet samarbejde - en empirisk undersøgelse med henblik på analyse og design
429 Martin Møller 21-06-1990 Brian Henry Mayoh CM algoritmen - udvikling af en 2. ordens indlæringsalgoritme til feed forward neurale netværk
428 John Lind 21-06-1990 Peter Landrock Titel ukendt
427 Bjarne Madsen 21-06-1990 Peter Landrock Titel ukendt
426 Johanne Lund 21-06-1990 Carl Sturtivant Kompleksitet af matrixmultiplikation
425 Anette Lind Astrup 20-06-1990 Jørgen Lindskov Knudsen Draupner - a Way of Programming
424 Carsten Hjorthmose Christensen 20-06-1990 Morten Kyng Tilpasning - ændring af åbne edb-systemer i brugssituationen - mere end et supplement til videre udvikling
423 Michael Snebang 20-06-1990 Morten Kyng Tilpasning - ændring af åbne edb-systemer i brugssituationen - mere end et supplement til videre udvikling
422 Bjarke Skovgaard Jensen 20-06-1990 Brian Henry Mayoh Telefonisk dialog med database - design og udvikling af prototype
421 Anne Kirketerp 19-06-1990 Morten Kyng Ledelse af systemudviklingsprojekter - en empirisk undersøgelse af ti projekter
420 Peter Lundin Jørgensen 19-06-1990 Brian Henry Mayoh En undersøgelse af Analogi-processen - og et ordsprogsystem
419 Flemming Hjort 19-06-1990 Brian Henry Mayoh Titel ukendt
418 John Lindgreen 18-06-1990 Morten Kyng Tilpasning - ændring af åbne edb-systemer i brugssituationen - mere end et supplement til videre udvikling
417 Erik Svendsen 18-06-1990 Peter Møller-Nielsen VICTOR - Teoretiske og eksperimentelle undersøgelser af algoritmer til understøttelse af RSA-kryptosystemer med henblik på VLSI design
416 Holger Orup 18-06-1990 Peter Møller-Nielsen VICTOR - Teoretiske og eksperimentelle undersøgelser af algoritmer til understøttelse af RSA-kryptosystemer med henblik på VLSI design
415 Gitte Grønkjær Jensen 18-06-1990 Brian Henry Mayoh En turist-guide lavet som et beslutningsstøttet system
414 Peter Bro Miltersen 15-06-1990 Joan Boyar Titel ukendt
413 Jens Nielsen 15-06-1990 Peter Mosses SADL - Et sprog til beskrivelse og simulering af systoliske algoritmer
412 Urban Engberg 15-06-1990 Mogens Nielsen A Simulator Study of Graph Reduction in Distributed Systems
411 Torsten Jordt 15-06-1990 Ole Caprani Undersøgelser af en simpel grafisk beregning på en vektorprocessor og et transputernet
410 Gregers Jul Nielsen 14-06-1990 Peter Landrock Titel ukendt
409 Ole Vebert Olesen 14-06-1990 Ole Caprani En systematisk implementation af en distribueret G-maskine
408 Poul Lassen 14-06-1990 Peter Mosses Titel ukendt
407 Poul Svendsen 13-06-1990 Ole Caprani En systematisk implementation af en distribueret G-maskine
406 Britta Shaw Bjerregaard 13-06-1990 Ole Lehrmann Madsen The development of a graphical object-oriented prototyping system - GrOOPS
405 Anette Hviid 13-06-1990 Ole Lehrmann Madsen The development of a graphical object-oriented prototyping system - GrOOPS
404 Knud Vibholm Petersen 13-06-1990 Liam Bannon Titel ukendt
403 Heine Christensen 22-02-1990 Mogens Nielsen Automatic Programming in the Small
402 Rune Dissing 22-01-1990 Susanne Bødker Værktøjer til indfangning af designrationalet
401 Henrik Reif Andersen 22-01-1990 Mogens Nielsen Titel ukendt
400 Ole Agesen 22-01-1990 Ole Lehrmann Madsen Titel ukendt
399 Christian Dalsgård 22-01-1990 Brian Henry Mayoh Titel ukendt
398 Christian M. Madsen 22-01-1990 Ole Lehrmann Madsen Titel ukendt
397 Bent Dalager 22-01-1990 Susanne Bødker Værktøjer til indfangning af designrationalet
396 Svend Frølund 22-01-1990 Ole Lehrmann Madsen Titel ukendt
395 Søren Christensen 22-01-1990 Mogens Nielsen A Model for Concurrent Systems
394 Erik Andreasen 22-01-1990 Peter Møller-Nielsen VICTOR - Teoretiske og eksperimentelle undersøgelser af algoritmer til understøttelse af RSA-kryptosystemer med henblik på VLSI design
393 Preben Rosendal Valeur 22-01-1990 Susanne Bødker Værktøjer til indfangning af designrationalet
392 Margit Holk Lauridsen 22-01-1990 Susanne Bødker Designprocessen som et sprogspil - belyst gennem et empirisk studie af 3 designprojekter
391 Eiler Møller 22-01-1990 Liam Bannon Titel ukendt
390 Jens O. Rosendahl 22-01-1990 Susanne Bødker Mellem hårde og bløde praktikertraditioner - En Undersøgelse af datalogers praksis og uddannelse
389 Robert Klujeff 22-01-1990 Liam Bannon The Role of Users in Systems Development
388 Per Thuesen 22-01-1990 Jørgen Lindskov Knudsen Draupner - a Way of Programming
387 Helle Berit Nielsen 22-01-1990 Susanne Bødker Designprocessen som et sprogspil - belyst gennem et empirisk studie af 3 designprojekter
386 Gregor Stenderup 13-11-1989 Peter Mosses EDB støtte til arbejde med Feynman-diagrammer indenfor højenergifysik
385 Jørgen Albretsen 05-11-1989 Ole Østerby En datalogisk analyse af Keplers Hypothesis Vicaria
384 Jan Møller Jensen 26-06-1989 Jørgen Staunstrup En problemhob og en vurdering af tre udvalgte silicium oversættere ud fra en realisering af problemhoben
383 Michael Hoffmann Olsen 26-06-1989 Ole Lehrmann Madsen Titel ukendt
382 Gorm Hansen 26-06-1989 Brian Henry Mayoh En sammenligning af tre indlæringsalgoritmer
381 Lars Peter Andersen 26-06-1989 Peter Landrock Experimenter omkring Exponentierings-Algoritmer
380 Mads Gregers Nørby 23-06-1989 Susanne Bødker Titel ukendt
379 Margrethe Mosbæk Christensen 23-06-1989 Peter Landrock Titel ukendt
378 Birthe Hestbæk 23-06-1989 Ole Lehrmann Madsen Trud - design af et grammatikstyret dokumentbehandlingssystem
377 Karsten Egetoft Pedersen 23-06-1989 Jørgen Staunstrup Titel ukendt
376 Jørgen Hougaard 22-06-1989 Erik Meineche Schmidt Fremdriftsmekanismer i strømningsalgoritmer
375 Mike Børling 22-06-1989 Susanne Bødker Mellem hårde og bløde praktikertraditioner - En Undersøgelse af datalogers praksis og uddannelse
374 Jens Damsgaard 21-06-1989 Susanne Bødker Mellem hårde og bløde praktikertraditioner - En Undersøgelse af datalogers praksis og uddannelse
373 Eld Zierau 21-06-1989 Joan Greenbaum An Empirical Study of User Involvement in Systems Development Work Organization - Analysis and Evaluation of an ICON Case Study
372 Long Quan Ha 21-06-1989 Sven Skyum Problemer i ikke uniform kompleksitetsteori
371 Steen Kaalund Retbøll 20-06-1989 Carl Sturtivant Kompakt realisering af thresholdfunktioner
370 Paul Sørensen 20-06-1989 Carl Sturtivant Kompakt realisering af thresholdfunktioner
369 Michael Hansen 20-06-1989 Erik Meineche Schmidt Fremdriftsmekanismer i strømningsalgoritmer
368 Annette Ljungberg 20-06-1989 Peter Landrock Titel ukendt
367 Henrik Tolbøl 20-06-1989 Ole Caprani Anvendelse og Evaluering af Transputernet
366 Sven Aage Birch 20-06-1989 Carl Sturtivant Kompakt realisering af thresholdfunktioner
365 Peter Byg Hansen 19-06-1989 Ole Lehrmann Madsen Trud - design af et grammatikstyret dokumentbehandlingssystem
364 Jogvan Martin Gråstein 19-06-1989 Jørgen Staunstrup Titel ukendt
363 Michael Madsen 19-06-1989 Jørgen Lindskov Knudsen Parsing attribute grammars
362 Susanne Brogaard Bondesen 19-06-1989 Mogens Nielsen Titel ukendt
361 Preben Mogensen 16-06-1989 Susanne Bødker Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling
360 Ole Bisgaard 16-06-1989 Susanne Bødker Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling
359 Dorte Gade 16-06-1989 Morten Kyng Eksperimenter med prototyper - karakteristik og forslag til planlægning baseret på en interviewundersøgelse af fire systemudviklingsprojekter
358 René Elmstrøm 27-01-1989 Peter Møller-Nielsen Systoliske algoritmer realiseret asynkront
357 Claus Riber Christensen 27-01-1989 Peter Møller-Nielsen Opbygning af hændelsesstyrende kredsløb i VLSI
356 Erik Toubro Nielsen 27-01-1989 Peter Møller-Nielsen Opbygning af hændelsesstyrende kredsløb i VLSI
355 Jette Frich Hansen 27-01-1989 Peter Møller-Nielsen Systoliske algoritmer realiseret asynkront
354 Lars Møller Jørgensen 27-01-1989 Peter Møller-Nielsen Systoliske algoritmer realiseret asynkront
353 Finn Almind Brodersen 27-01-1989 Mogens Nielsen An Experimental Study of Parallel Graph Reduction Machines
352 Jan Hauerslev 27-01-1989 Jørgen Lindskov Knudsen, PE SOKRATES - Sprogspil og Kvalifikationer - en Rapport om Arbejdet med en Teori for Erkendelsesprocesserne i Systemudvikling
351 Martin Larsen 27-01-1989 Ole Lehrmann Madsen Transformationssystemer - en foranalyse med henblik på design af et system i Mjølner
350 Niels Jacobsen 27-01-1989 Jørgen Lindskov Knudsen, PE SOKRATES - Sprogspil og Kvalifikationer - en Rapport om Arbejdet med en Teori for Erkendelsesprocesserne i Systemudvikling
349 Klaus Vilstrup Pedersen 27-01-1989 Brian Henry Mayoh Titel ukendt
348 Tommy Nielsen 27-01-1989 Morten Kyng EDB-støtte til lægepraksis - et eksperiment med udvikling af en brugsmodel og en prototype
347 Torben Bajlum 27-01-1989 Morten Kyng EDB-støtte til lægepraksis - et eksperiment med udvikling af en brugsmodel og en prototype
346 Erik Bjerre 27-01-1989 Morten Kyng Udvikling og brug af fælles materialer - et aspekt af bruger/udvikler samarbejde i design
345 Niels Reimer 09-01-1989 Brian Henry Mayoh Titel ukendt
344 Keld Pedersen 02-11-1988 Mogens Nielsen Titel ukendt
343 Marc Eyvind Eld 15-10-1988 Ole Lehrmann Madsen Programbiblioteker og genanvendelse
342 Olaf Nielsen 15-10-1988 Jørgen Brandt Titel ukendt
341 Regine Hansen 14-09-1988 Joan Greenbaum Titel ukendt
340 Lisbeth Faber Rasmussen 14-09-1988 Joan Greenbaum Den sociale dimension i systemudvikling - et casestudie om grupper og kultur i en udviklingsorganisation
339 Jakob Holm 12-09-1988 Mogens Nielsen An Experimental Study of Parallel Graph Reduction Machines
338 Jørgen Nørgård Petersen 22-08-1988 Peter Mosses Titel ukendt
337 Jakob Laursen 22-08-1988 Erik Meineche Schmidt En relationel kalkule for design og udvikling af korrekte non-deterministiske programmer
336 Kim Skak Larsen 17-08-1988 Mogens Nielsen A Fully Abstract Model for a Process Algebra with Refinement
335 Kell Ørhøj 05-08-1988 Erik Meineche Schmidt Programmeringsmetoder i geometriske beregninger
334 Søren Top 20-07-1988 Mogens Nielsen TPLASK - Et analyse og systemudviklingsredskab for automatisk programmering af temporallogiske specifikationer over parallelle processers kommunikation?
333 Jan Nyholm Albertsen 18-07-1988 Brian Henry Mayoh Videntilegnelse i teori & praksis
332 Henrik Schou 18-07-1988 Brian Henry Mayoh Titel ukendt
331 Jens Palsberg Jørgensen 20-06-1988 Peter Mosses An Action Semantics for Inheritance
330 Ole Kristensen 20-06-1988 Ole Østerby Differensmetoder til løsning af en diffusion-transport ligning
329 Ole Bach Andersen 20-06-1988 Morten Kyng Udvikling og brug af fælles materialer - et aspekt af bruger/udvikler samarbejde i design
328 Bent Dyrmose Christensen 20-06-1988 Morten Kyng Eksperimenter med prototyper - karakteristik og forslag til planlægning baseret på en interviewundersøgelse af fire systemudviklingsprojekter
327 Lars Bak Petersen 20-06-1988 Ole Lehrmann Madsen The Beta Shadow Language - a basis for high level debugging
326 Claus Henrik Pedersen 20-06-1988 Ole Lehrmann Madsen Titel ukendt
325 Holger Jepsen 20-06-1988 Morten Kyng Eksperimenter med prototyper - karakteristik og forslag til planlægning baseret på en interviewundersøgelse af fire systemudviklingsprojekter
324 Kurt Byskov 20-06-1988 Peter Mosses Titel ukendt
323 Lars Zimmermann 20-06-1988 Jørgen Staunstrup Titel ukendt
322 Tage Stephansen 20-06-1988 Joan Greenbaum Den sociale dimension i systemudvikling - et casestudie om grupper og kultur i en udviklingsorganisation
321 Søren Christensen 20-06-1988 Lars Mathiassen A Model for Concurrent Systems
320 Nielsen Knud Nyholm 20-06-1988 Brian Henry Mayoh Titel ukendt
319 Tove Skouenborg Rolskov 20-06-1988 Lars Mathiassen Work practice in projects using 4th Generation Systems
318 Anne Marie Skelde-Petersen 08-06-1988 Kurt Jensen Titel ukendt
317 Joan Jensen 08-06-1988 Kurt Jensen En anvendelse af Petri net Beskrivelse af et kontorsystem ved hjælp af RFA-net
316 Lars Kjærulff Christensen 08-06-1988 Kurt Jensen Numeriske Petri Net og PROTEAN
315 Thomas Groth 08-06-1988 Kurt Jensen Numeriske Petri Net og PROTEAN
314 Henrik Juul Geer Rasmussen 08-06-1988 Kurt Jensen Titel ukendt
313 Bente Rose Andersen 08-06-1988 Kurt Jensen En anvendelse af Petri net Beskrivelse af et kontorsystem ved hjælp af RFA-net
312 Jens Himmelstrup 06-06-1988 Erik Meineche Schmidt Fremdriftsegenskaber og inkrementelle beviser
311 Claus Bendiksen Jensen 26-05-1988 Ole Østerby Titel ukendt
310 Jan Hosbond 20-05-1988 Sven Skyum Dynamisk håndtering af rektangler
309 Torben Krøjmand 20-05-1988 Sven Skyum Design af et fordelt lager
308 Kurt Sørensen 20-05-1988 Sven Skyum Design af et fordelt lager
307 Jan Mark 19-05-1988 Morten Kyng Udvikling og brug af fælles materialer - et aspekt af bruger/udvikler samarbejde i design
306 Lars Karlsen 24-03-1988 Brian Henry Mayoh Repræsentation af begrænsninger (constraints) i data modeller
305 Torben Pryds Pedersen 20-03-1988 Peter Landrock Titel ukendt
304 Tom Hesselvig Hagelskjær 29-02-1988 Mogens Nielsen Petri Nets - A Bridge from Behaviour to Structure.
303 Peter Juhl 25-01-1988 Ole Lehrmann Madsen Version and Variant Control - a Structural Approach
302 Søren Laursen 22-01-1988 Jørgen Staunstrup Titel ukendt
301 Jacob Kornerup 22-01-1988 Jørgen Staunstrup pi - et simpelt parallelt programmeringssprog til processtyring
300 Jens Benned Hansen 22-01-1988 Jørgen Staunstrup pi - et simpelt parallelt programmeringssprog til processtyring
299 Kaj Grønbæk 20-01-1988 Lars Mathiassen Work practice in projects using 4th Generation Systems Abstract
298 Jacob-Bernhardt Brock 20-01-1988 Jørgen Staunstrup Titel ukendt
297 Per Fack Sørensen 17-12-1987 Ole Lehrmann Madsen The Beta Shadow Language - a basis for high level debugging
296 Helge Winkler Hess 17-12-1987 Brian Henry Mayoh Titel ukendt
295 John Poulsen 17-12-1987 Brian Henry Mayoh Titel ukendt
294 Peter Bertelsen 16-10-1987 Peter Landrock PC - RSA, RSA - kryptografering i software
293 Tommy Baumwall 16-10-1987 Peter Landrock PC - RSA, RSA - kryptografering i software
292 Kenni Hørmann 11-09-1987 Jørgen Lindskov Knudsen MCI - et paradigme til strukturering af rastergrafiske applikationer
291 Jan Anderson 11-09-1987 Jørgen Lindskov Knudsen MCI - et paradigme til strukturering af rastergrafiske applikationer
290 Leif Winkler Sørensen 01-09-1987 Gudmund Frandsen Titel ukendt
289 Carsten Lomborg Andersen 01-09-1987 Gudmund Frandsen Titel ukendt
288 Kaj Gross 01-09-1987 Gudmund Frandsen Titel ukendt
287 Anders Bandholm 31-08-1987 Jørgen Lindskov Knudsen PIA - Paradigme til strukturering af interaktionssystemer
286 Henrik Munk Ebbesen 31-08-1987 Jørgen Lindskov Knudsen PIA - Paradigme til strukturering af interaktionssystemer
285 Michael Edelgaard Caspersen 14-08-1987 Erik Meineche Schmidt Fordelte beregninger: Model og metode
284 Henrik Bøje 14-08-1987 Erik Meineche Schmidt Fordelte beregninger: Model og metode
283 Claus Bøgestrand 18-06-1987 Carl Sturtivant Titel ukendt
282 Carsten Lund 18-06-1987 Carl Sturtivant Titel ukendt
281 Anders Gammelgaard 18-05-1987 Erik Meineche Schmidt Implementationsrelationer mellem parallelle algoritmer
280 Anette Jonassen 01-04-1987 Peter Landrock Titel ukendt
279 Per Bøgeskov Thomsen 01-04-1987 Gudmund Frandsen PRAKT - et ekspertsystem
278 Lars Johansen 01-04-1987 Gudmund Frandsen PRAKT - et ekspertsystem
277 Vagn Tøttrup Jensen 09-03-1987 Brian Henry Mayoh Titel ukendt
276 Hanne Søndergaard 06-03-1987 Brian Henry Mayoh Titel ukendt
275 Steen Søndergaard 06-03-1987 Brian Henry Mayoh Titel ukendt
274 Birgit Laustsen 06-02-1987 Ole Lehrmann Madsen Titel ukendt
273 Henny Ulsøe Lauritsen 06-02-1987 Ole Lehrmann Madsen Overvejelser om programmeringssprog med henblik på undervisning
272 Ole Lebech Sørensen 01-01-1987 Morten Kyng Retningslinier for valg af faglige strategier på kontorområdet - et casestudie over Aarhus tekniske Skoles kon torautomatiseringsprojekt
271 Karl Erik Johansen 01-01-1987 Sven Skyum Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ
270 Niels Bollesen 01-01-1987 Morten Kyng Retningslinier for valg af faglige strategier på kontorområdet - et casestudie over Aarhus tekniske Skoles kon torautomatiseringsprojekt
269 Ole Vedel Villumsen 19-12-1986 Morten Kyng Titel ukendt
268 Finn Barrett 19-12-1986 Jørgen Staunstrup Problemhobe & VLSI - En indfaldsvinkel til VLSI-design, eksemplificeret ved implementation af en problemhob ell er - de tusinde processers land
267 Mogens Jerløw 19-12-1986 Morten Kyng Titel ukendt
266 Peter Hilligsøe Kristiansen 19-11-1986 Peter Kornerup Netfilsystemer
265 Arne Møller Jensen 15-10-1986 Morten Kyng Titel ukendt
264 Vibeke Boye 15-10-1986 Morten Kyng Titel ukendt
263 Søren Hvidbjerg 10-09-1986 Ole Lehrmann Madsen Graphical Programming Environments - Applied to Beta
262 Stig Bertelsen 10-09-1986 Ole Lehrmann Madsen Titel ukendt
261 Kurt Fleckner 01-08-1986 Mogens Nielsen Titel ukendt
260 Eigil Mahs 01-08-1986 Mogens Nielsen Titel ukendt
259 Søren Weibel Mortensen 30-07-1986 Mogens Nielsen Ekspertsystemer i Landbrugssektoren
258 Jan Rubæk Pedersen 30-07-1986 Mogens Nielsen Titel ukendt
257 Bente Hedegaard Kristensen 30-07-1986 Morten Kyng Retningslinier for valg af faglige strategier på kontorområdet - et casestudie over Aarhus tekniske Skoles kon torautomatiseringsprojekt
256 Jens Stausgaard 30-07-1986 Mogens Nielsen Ekspertsystemer i Landbrugssektoren
255 Ib-Michael Martinsen 30-07-1986 Mogens Nielsen Ekspertsystemer i Landbrugssektoren
254 Lars Bendix 21-07-1986 Ole Lehrmann Madsen Titel ukendt
253 Kasper Østerbye 21-07-1986 Ole Lehrmann Madsen Titel ukendt
252 Preben Fisker Jensen 21-07-1986 Erik Meineche Schmidt Fordelte fixpunkt beregninger
251 Nils Klarlund 15-07-1986 Erik Meineche Schmidt Titel ukendt
250 Svend Hauge Nielsen 01-07-1986 Sven Skyum Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ
249 Uffe Henrik Engberg 01-07-1986 Mogens Nielsen A Calculus of Communicating Systems with Label Passing Abstract
248 Christian Holst Jensen 01-06-1986 Erik Meineche Schmidt Bevisteknikker for distribuerede processer
247 Niels Helbo 01-06-1986 Erik Meineche Schmidt Bevisteknikker for distribuerede processer
246 Peder Falk Thøstensen 01-04-1986 Ole Lehrmann Madsen Titel ukendt
245 Karl Bruno Munkholm 01-04-1986 Lars Mathiassen Reflektion over det transaktionsmæssige perspektiv som grundlag for analyse og design på baggrund af et praktisk eksperiment indenfor kontorområdet - Eller: Ud at se med TC
244 Jan Otto Munch Pedersen 01-04-1986 Ole Lehrmann Madsen BETARUN - En BETA-maskine implementeret i mikrokode på PERQ-datamaten
243 John Schmidt 01-04-1986 Ole Lehrmann Madsen En grammatikbaseret definition af objektorienterede metaprogrammeringssystemer
242 Kim Steffensen 01-04-1986 Lars Mathiassen Reflektion over det transaktionsmæssige perspektiv som grundlag for analyse og design på baggrund af et praktisk eksperiment indenfor kontorområdet - Eller: Ud at se med TC
241 Ulla Lundin Jørgensen 21-03-1986 Sven Skyum Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ
240 Søren Erik Nielsen 21-03-1986 Sven Skyum Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ
239 Peter Axel Nielsen 01-03-1986 Lars Mathiassen Dagbogsskrivning til styring i systemudvikling
238 Leif Obel Jepsen 01-03-1986 Lars Mathiassen Dagbogsskrivning til styring i systemudvikling
237 Bjarne Poulsen 10-01-1986 Mogens Nielsen Titel ukendt
236 Peter Huber 30-11-1985 Lars Mathiassen Analyse og design på kontorområdet - belyst gennem et eksperiment med tre forskellige metoder
235 Susanne Bengtson 30-11-1985 Lars Mathiassen Analyse og design på kontorområdet - belyst gennem et eksperiment med tre forskellige metoder
234 Ole Jensen 30-11-1985 Lars Mathiassen Analyse og design på kontorområdet - belyst gennem et eksperiment med tre forskellige metoder
233 Per Hyttel Larsen 19-11-1985 Peter Kornerup Sameksistens af ARPA og ISO internet - en analyse
232 Merete Bartholdy 20-09-1985 Morten Kyng Elektronisk Bogfremstilling - En skitse til analyse og design af et bogfremstillingssystem med fokus på brugernes kvalifikationer og produktkvalitet
231 Povl-Henrik Lindhard 29-08-1985 Brian Henry Mayoh Om kunstig intelligens
230 Peter Buus 16-08-1985 P.S. Thiagarajan On the application of Logic of Knowledge to distributed systems: A Petri net view.
229 Birger Nielsen 16-08-1985 P.S. Thiagarajan On the application of Logic of Knowledge to distributed systems: A Petri net view.
228 Per Rye Filskov 03-07-1985 Mogens Nielsen Titel ukendt
227 Carsten Bundgaard 03-07-1985 Mogens Nielsen Titel ukendt
226 Inger Bohlbro 01-07-1985 Peter Mosses Programtransformationer og abstrakte semantiske algebraer
225 Jan Holdam 25-06-1985 Peter Mosses Gipsy- Et system til syntaksdirigeret interaktiv dokumentbehandling
224 Claus Nørgård 25-06-1985 Peter Mosses Titel ukendt
223 Pål Sørgaard 17-05-1985 Lars Mathiassen Perspective and Description - An Investigation of Two Central Concepts Related to Systems Development Considered as a Knowledge Producing Process
222 Gitte Møldrup Nielsen 17-05-1985 Lars Mathiassen Retningslinier for udformning af edb-baserede systemer - En opgaveorienteret spørgeramme, udviklet på baggrund af en teori om organisationer
221 Jakob Westermann Krog 14-05-1985 Mogens Nielsen An Experimental Study Of Parallel Execution Of Logic Programs Abstract
220 Claus Rønø Pedersen 15-04-1985 Jørgen Staunstrup Analyse af en Parallel Sorteringsalgoritme
219 Jørgen Katborg Andersen 15-04-1985 Jørgen Staunstrup Analyse af en Parallel Sorteringsalgoritme
218 Jørn Vesterdal 15-04-1985 Jørgen Staunstrup Analyse af en Parallel Sorteringsalgoritme
217 Mogens Hagne 02-04-1985 Brian Henry Mayoh Titel ukendt
216 Per Bech Hansen 15-03-1985 Andreas Munk-Madsen Estimering af systemudviklingsprojekter - Praksis - Teori - Eksperimenter
215 Palle John Jensen 15-03-1985 Andreas Munk-Madsen Estimering af systemudviklingsprojekter - Praksis - Teori - Eksperimenter
214 Bjarne Grevsen Thams 15-02-1985 Mogens Nielsen Titel ukendt
213 Jens Ole Graulund 15-02-1985 Ole Caprani Titel ukendt
212 Erik Frederiksen 15-02-1985 Ole Caprani Titel ukendt
211 Finn Terpling 01-02-1985 Mogens Nielsen Titel ukendt
210 Lars Gregers Gregersen 01-02-1985 Peter Kornerup DAIMI-net
209 Morten Bang 30-01-1985 Kurt Jensen A Conceptual Framework for Prototyping
208 Kaj Fick 30-01-1985 Kurt Jensen A Conceptual Framework for Prototyping
207 Niels Rose Hansen 20-12-1984 Peter Kornerup DAIMI-net
206 Hans Jørgen Jacobsen 20-12-1984 Peter Kornerup En analyse af en arkitektur for Ada
205 Bjarne Munk 31-10-1984 Finn Kensing Regulering i systemudvikling - Århus Oliefabrik som eksempel
204 Karsten Hansen 31-10-1984 Finn Kensing Regulering i systemudvikling - Århus Oliefabrik som eksempel
203 Preben Hirstmann 31-08-1984 Finn Kensing Titel ukendt
202 Svend Elmo Steensen 25-08-1984 Lars Mathiassen Titel ukendt
201 Erik Bobach 06-07-1984 Brian Henry Mayoh Titel ukendt
200 Carsten Johansen 06-07-1984 Brian Henry Mayoh Relational overbygning til et netværksdatabasesystem
199 Michael Ignatieff Schwartzbach 12-06-1984 Erik Meineche Schmidt The Design of a Programming Language
198 Sven Vedel 11-05-1984 Lars Mathiassen edb-projektplanlægning set i forhold til ændringer i krav til forestillinger om produktet
197 Christian Glassau Hansen 24-04-1984 Ole Caprani Titel ukendt
196 Jonna Rønlev Nielsen 18-03-1984 Sven Skyum GRAPA en grafisk pakke - VISPA et interaktivt grafisk system til højniveau overvågning af en programudførelse
195 Jørgen Raun Petersen 18-03-1984 Sven Skyum GRAPA en grafisk pakke - VISPA et interaktivt grafisk system til højniveau overvågning af en programudførelse
194 Ruth Dalsgaard Nielsen 20-01-1984 Morten Kyng Titel ukendt
193 Lene Risør 20-01-1984 Morten Kyng Om Epsilon og net
192 Ole Eriksen 10-01-1984 Jørgen Staunstrup Algoritmer i netværk
191 Lena Henriksen 22-12-1983 Finn Kensing Konstruktion og CAD-systemer
190 Jan Skytte 12-12-1983 Peter Møller-Nielsen Titel ukendt
189 Per Andersen 12-12-1983 Peter Møller-Nielsen Sceneanalyse ved Krystaldyrkning
188 Elmer Sandvad 09-11-1983 Ole Lehrmann Madsen EKKO - An Integrated Program Development System
187 Kurt Nørmark 09-11-1983 Ole Lehrmann Madsen EKKO - An Integrated Program Development System
186 Karen Borup 09-11-1983 Ole Lehrmann Madsen EKKO - An Integrated Program Development System
185 Lars Dahl 31-10-1983 Mogens Nielsen Dokumentation af multiprogrammer
184 Jakob Nielsen 22-08-1983 Brian Henry Mayoh Software ergonomi
183 Niels Damgaard Hansen 12-08-1983 Kurt Jensen Titel ukendt
182 Kim Halskov Madsen 12-08-1983 Kurt Jensen Titel ukendt
181 Claus Aagaard Sørensen 29-07-1983 Ole Lehrmann Madsen Sammenkobling af datakommunikationsnetværk - begrebsdannelser og implementationsovervejelser
180 Søren Kaas Birn 29-07-1983 Ole Lehrmann Madsen Sammenkobling af datakommunikationsnetværk - begrebsdannelser og implementationsovervejelser
179 Gitte Kjær Nielsen 22-07-1983 Ole Lehrmann Madsen Overvågning af samtidige programmer
178 Dorte Tranberg Jensen 22-07-1983 Ole Lehrmann Madsen Titel ukendt
177 Lars Berner 01-07-1983 Lars Mathiassen Opfyldelse af brugernes krav og ønsker til et EDB-baseret systems egenskaber gennem valg af systemudviklingsstrategi
176 Thorkil Laursen 01-07-1983 Lars Mathiassen Systemudvikling i teori og praksis
175 Tove Morell 31-05-1983 Lars Mathiassen Problemer og muligheder i samarbejdet mellem bruger og edb-specialist i de tidlige aktiviteter i et systemudviklingsprojekt
174 Ole Vestergaard Johansen 24-05-1983 Jørgen Staunstrup Titel ukendt
173 Jens Ove Jespersen 24-05-1983 Jørgen Staunstrup Titel ukendt
172 Ellen Christiansen 10-04-1983 Lars Mathiassen EDB inden for skovbruget
171 Preben Etzerodt 10-04-1983 Lars Mathiassen EDB inden for skovbruget
170 Jan Sørensen 24-03-1983 Lars Mathiassen Konstruktion af en systemudviklingsmetode til brug ved udvikling af mindre systemer samt en anvendelse af denne på et konkret projekt
169 Torben Hagerup 21-03-1983 Ole Østerby Calculation of elementary mathematical functions to an arbitrary precision
168 Kirsten Hjerrild Nielsen 22-02-1983 Ole Lehrmann Madsen Et objektorienteret syn på databaser
167 Kristine Stougård Thomsen 22-02-1983 Ole Lehrmann Madsen Titel ukendt
166 Christian Paulsen 01-02-1983 Neil Jones A Parallel Implementation of a Functional Language
165 Gudmund Skovbjerg Frandsen 01-02-1983 Mogens Nielsen En sammenhæng mellem proces og struktur - modal logik - netteori.
164 Karsten Djurtoft 31-01-1983 Lars Mathiassen Analyse af Socio-Teknisk Metode
163 Axel Andersen 17-01-1983 Peter Møller-Nielsen Titel ukendt
162 Jørgen Thomsen 17-01-1983 Peter Møller-Nielsen En Generel Programmeringsmetode for Skærmbilledorienterede Interaktive Systemer
161 Jens Dohn 01-12-1982 Peter Mosses Semantik af Abstrakte Datastrukturer
160 Herluf Hansen 30-11-1982 Ole Lehrmann Madsen Design af et objektorienteret sprog
159 Erik Reinholdt 30-11-1982 Ole Lehrmann Madsen Design af et objektorienteret sprog
158 Torben Hansen 26-10-1982 Jørgen Staunstrup Implementation af kommunikationsprimitiver på en multiprocesenhed
157 Kell Hauser 29-09-1982 Jørgen Staunstrup Titel ukendt
156 Andreas Lorenzen 03-08-1982 Mogens Nielsen Synkron/asynkron kommunikation - oversættelse af et actorsprog til CCS
155 John Kammersgaard 16-07-1982 Lars Mathiassen Et begrebsapparat til karakteristik af programmeringsprocesser
154 Troels Møller Jørgensen 16-07-1982 Lars Mathiassen Et begrebsapparat til karakteristik af programmeringsprocesser
153 Anders Jørgen Andersen 28-06-1982 Ole Lehrmann Madsen Titel ukendt
152 Jørgen Lindskov Knudsen 28-06-1982 Ole Lehrmann Madsen Aspekter af programmeringssprog: Begreber, modeller og design
151 Thorkil Naur 14-06-1982 Ole Østerby Integer Factorization
150 Kurt Søe 01-06-1982 Jørgen Staunstrup Implementation af Concurrent PASCAL på - MULTI MAREN
149 Jens Søgaard Andersen 01-06-1982 Jørgen Staunstrup Implementation af Concurrent PASCAL på - MULTI MAREN
148 Peter Schou 10-03-1982 Peter Møller-Nielsen Permanente Kopier af GT40-Billeder
147 Susanne Bødker 01-03-1982 Morten Kyng Grafisk Systembeskrivelse - Analyse af ISACs V-og I-grafværktøjer på baggrund af et eksempel og en sammenligning med andre grafiske systembeskrivelsesværktøjer
146 Jon Hammerskov 01-03-1982 Morten Kyng Grafisk Systembeskrivelse - Analyse af ISACs V-og I-grafværktøjer på baggrund af et eksempel og en sammenligning med andre grafiske systembeskrivelsesværktøjer
145 Gitte Susanne Frølich 11-12-1981 Morten Kyng Titel ukendt
144 Karsten Bank Petersen 01-12-1981 Jørgen Staunstrup, Erik Meineche Schmidt Konvolutter - Et Element i Beskrivelser og Verifikation af Programmer med Parallellitet
143 Torry Skak Gaarde 02-11-1981 Jørgen Staunstrup Dynamisk udskiftelige processer i Concurrent Pascal
142 Jens Kristian Kjærgaard 02-11-1981 Jørgen Staunstrup Dynamisk udskiftelige processer i Concurrent Pascal
141 Jacob Mohr Lolk 28-08-1981 Peter Kornerup Højniveau programmeringssprog til mikroprogrammering af MATHILDA
140 Eline Arnfred Vedel 15-08-1981 Lars Mathiassen Skandinaviske love og aftaler med betydning for systemudvikling
139 Sten Fredsbo Andersen 01-08-1981 Erik Meineche Schmidt Titel ukendt
138 Birgitte Skouenborg Rolskov 28-07-1981 Lars Mathiassen Skandinaviske Love og Aftaler med Betydning for Systemudvikling
137 Torben Fogh 24-07-1981 Mogens Nielsen En semantik for synkroniserede parallelle processer
136 Henning Christiansen 15-07-1981 Neil Jones A new approach to Compiler Generation
135 Peter Trier 14-05-1981 Peter Møller-Nielsen Interaktiv grafik anvendt til databaseforespørgsler
134 Frank Bruun Topholm 14-05-1981 Peter Møller-Nielsen Titel ukendt
133 Poul Mølgaard 04-05-1981 Peter Møller-Nielsen Instruktions indkodning i RC3502
132 Arne Kjær 06-04-1981 Lars Mathiassen Analyse af en systemudviklingsmetode med hovedvægt på de foreslåede teknikker
131 Flemming Eriksen 09-03-1981 Brian Henry Mayoh Titel ukendt
130 Flemming Wibroe 09-03-1981 Brian Henry Mayoh Titel ukendt
129 Leif Fisker Jensen 01-02-1981 Jørgen Staunstrup, Erik Meineche Schmidt Konvolutter - Et Element i Beskrivelser og Verifikation af Programmer med Parallellitet
128 Flemming Nielson 10-12-1980 Neil Jones Semantic Foundations of Data Flow Analysis
127 Torben Bech Larsen 08-10-1980 Mogens Nielsen Formal Analysis of Distributed Database Algorithms
126 Adser Leick 15-08-1980 Nigel Derrett Titel ukendt
125 Leo Mark 15-08-1980 Nigel Derrett Titel ukendt
124 Bent Hansen Kramer 29-07-1980 Brian Henry Mayoh Titel ukendt
123 Peder Christian Nørgaard 20-06-1980 Brian Henry Mayoh Titel ukendt
122 Søren Werner 20-06-1980 Brian Henry Mayoh En Model af administrative databehandlingssystemer med henblik på udvikling af distribuerede systemer
121 Leif Sandegaard Nielsen 04-06-1980 Jørgen Staunstrup Specifikation af Processynkronisering
120 Ole Dalsgaard Nielsen 04-06-1980 Jørgen Staunstrup Specifikation af Processynkronisering
119 Karsten Stær 29-05-1980 Peter Mosses Semantic descriptions and modularity
118 Mette Dupont 29-02-1980 Peter Mosses Denotationel semantik og forståelighed af programmeringssprog
117 Michael Madsen 13-02-1980 Neil Jones Parsing attribute grammars
116 Jette Lundin 08-01-1980 Morten Kyng Titel ukendt
115 Erik Dybdal 08-01-1980 Morten Kyng Titel ukendt
114 Hanne Riis 04-01-1980 Sven Skyum Subclasses of Attribute Grammars
113 Winnie Brandt 07-11-1979 Brian Henry Mayoh Conceptuelle grafer: En øvelse i design af programmeringssprog
112 Jan Mølgaard 01-11-1979 Nigel Derrett En diskussion af metoder til beskyttelse af data i datamatiske systemer
111 Benny Svinth Nielsen 22-10-1979 Peter Møller-Nielsen På baggrund af en diskussion af nogle af de problemer, der opstår omkring simulering af datamatnetværk, ønskes et forslag til nogle værktøjer til støtte for simulering af datamatnetværk
110 Bjarne Bertelsen 11-10-1979 Nigel Derrett Et designarbejde for et filsystem til passet EGG synthesizeren på Musikvidenskabeligt Institut
109 Erik Fjord Hansen 01-10-1979 Nigel Derrett En diskussion af metoder til beskyttelse af data i datamatiske systemer
108 Jens Helveg Larsen 20-09-1979 Brian Henry Mayoh Grammatisk System-Specifikation med Automatiserbare Teknikker: Sammenstilling og videreudvikling af eksisterende teknikker, som kan indgå i en systemspecifikation
107 Jens Ole Lassen 20-09-1979 Brian Henry Mayoh Grammatisk System-Specifikation med Automatiserbare Teknikker - Sammenstilling og videreudvikling af eksisterende teknikker, som kan indgå i en systemspecifikation
106 Poul Jespersen 15-08-1979 Erik Meineche Schmidt Attributgrammatikker med begrænsede semantiske funktioner
105 Erik Dragsbæk Madsen 15-07-1979 Brian Henry Mayoh SIMGRAPH - Et grafisk system med et generelt model- og funktionsbegreb
104 Lisbeth Munck 25-06-1979 Sven Skyum Lukkethedsegenskaber for nogle sprogfamilier, genereret af context free lignende grammatikker
103 Ole Ejby Reinau 15-06-1979 Peter Møller-Nielsen Transformationssystemer - Implementeret på en mindre programmerbar satellit
102 Søren Rieck Sørensen 15-06-1979 Peter Møller-Nielsen Transformationssystemer - Implementeret på en mindre programmerbar satellit
101 Thorkil Bogh 10-05-1979 Morten Kyng Teknikker og værktøjer til bearbejdelse af formidling af information i systemudviklingsprocessen
100 Brigitte Valborg Nielsen 10-05-1979 Morten Kyng Teknikker og værktøjer til bearbejdelse af formidling af information i systemudviklingsprocessen
99 Preben Bangsgaard 07-05-1979 Brian Henry Mayoh Evaluering og forbedring af repræsentationen af databaser på fysisk lagermedium
98 Bente Brøsted Pedersen 07-05-1979 Brian Henry Mayoh Evaluering og forbedring af repræsentationen af databaser på fysisk lagermedium
97 Søren Nissen Nielsen 30-04-1979 Morten Kyng Konstruer og vurder en simpel P-model (phosfor) for Knudsø. Modellen beskrives i Delta og Simula
96 Niels Kjærgaard 12-03-1979 JO Access Paths and Query Optimization in a Relational Data Base System
95 Ejvind Højgaard Knudsen 15-02-1979 Peter Kornerup A Portable Pascal Compiler
94 Jan Bardino 15-02-1979 Peter Kornerup A Portable Pascal Compiler
93 Henrik Vestergaard 09-02-1979 Nigel Derrett En evaluering af swapping/paging i timesharingsystemet TOPS-10
92 Claus Faurholt Troelsen 09-02-1979 Nigel Derrett En evaluering af swapping/paging i timesharingsystemet TOPS-10
91 Jørgen Sand 04-01-1979 Ole Østerby Stabilitet ved løsning af ikke-lineære sædvanlige differentialligninger
90 Niels Frey 13-12-1978 Peter Møller-Nielsen Test på et grafisk system
89 Finn Kensing 13-12-1978 Kristen Nygaard Systemudviklingsmetoder, set ud fra et arbejdstagerkrav om medbestemmelse
88 Berit Thaysen 13-12-1978 Kristen Nygaard Systemudviklingsmetoder, set ud fra et arbejdstagerkrav om medbestemmelse
87 Kurt Kirkedal Laursen 13-12-1978 Kristen Nygaard Systemudviklingsmetoder, set ud fra et arbejdstagerkrav om medbestemmelse
86 Henrik Carl Andersen 13-12-1978 Peter Møller-Nielsen Test på et grafisk system
85 Joes Clausen 01-12-1978 Povl Villumsen Principper i operativsystemer
84 Jens Sandbjerg Andersen 30-08-1978 Nigel Derrett TOPSY: En simulationsmodel af TOPS-10
83 Mads Christian Madsen 24-07-1978 Ole Østerby Differensmetoder for en ikke-lineær parabolsk ligning
82 Erik Bak Kristensen 20-07-1978 Peter Møller-Nielsen Der ønskes et design og en implementation af et interaktivt grafisk system baseret på en programmerbar satellit, med særligt henblik på det vært residente delsystem
81 Palle Frank Hansen 20-07-1978 Peter Møller-Nielsen Et design og en implementation af et interaktivt grafisk system baseret på en programmerbar satellit, med særligt henblik på det satellit residente delsystem
80 Elisabeth Bjerg 07-07-1978 Kristen Nygaard EDB - Systemer inden for avisproduktionen: Beskrivelse af systemerne og vurdering af beskrivelsesmetoder - ud fra de grafiske arbejderes synspunkt
79 Lone Verner Nielsen 07-07-1978 Kristen Nygaard EDB - Systemer inden for avisproduktionen - Beskrivelse af systemerne og vurdering af beskrivelsesmetoder - ud fra de grafiske arbejderes synspunkt
78 Poul Bonne Jørgensen 24-06-1978 Brian Henry Mayoh LINDA- et sprog til lingvistisk databehandling
77 Bruno Stenstrup Jensen 02-05-1978 Peter Møller-Nielsen Der ønskes et design og en implementation af et datamatisk system til opsamling og delvis behandling af data fra et forelagt astronomisk måleapparat
76 Per Andersen 27-04-1978 Brian Henry Mayoh Sceneanalyse ved Krystaldyrkning
75 Valter Haslev 27-04-1978 Brian Henry Mayoh Sceneanalyse ved Krystaldyrkning
74 Ib Holm Sørensen 10-03-1978 Peter Kornerup System Modelling - A methodology for describing the structure of complex Software, Firmware, and Hardware systems consisting of independent process components
73 Birgitte Madsen 15-02-1978 Brian Henry Mayoh Design og implementation af et relationelt databasesystem, specielt med henblik på effektiv udtrækning af data
72 Erling Madsen 15-02-1978 Brian Henry Mayoh Design og implementation af et relationelt databasesystem, specielt med henblik på effektiv udtrækning af data
71 Svend-Erik Clausen 15-02-1978 Brian Henry Mayoh Design og implementation af et relationelt databasesystem, specielt med henblik på effektiv udtrækning af data
70 Johan Evald Mogensen 06-01-1978 Ole Østerby Global fejlestimering ved løsning af sædvanlige differentialligninger
69 Anne-Marie Eriksen 20-12-1977 Kristen Nygaard Problemer i systemudvikling, specielt vedrørende sprogformer i systembeskrivelser - belyst ved FAUST, Folkebibliotekernes Automationssystem
68 Andreas Munk-Madsen 19-12-1977 Kristen Nygaard Systembeskrivelse med Brugere
67 Manfred Andreasen 09-11-1977 Ole Østerby Numerisk maximalisering af likelihoodfunktionen for en capture- recapture model
66 Claus Quistgård 04-11-1977 Kristen Nygaard Analyse af datamodel. Metoder og eksempler
65 Børge Sand Kirk 25-07-1977 Michael Bennett SIMOS - Et hjælpemiddel i operativsystem-undervisning
64 Olav Eskesen 13-07-1977 Mogens Nielsen Interaktive transducer-grammatikker
63 Henning Jeppesen 07-07-1977 Peter Kornerup Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database
62 Jens Peder Andersen 07-07-1977 Peter Kornerup Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database
61 Søren Roar Hansen 07-07-1977 Peter Kornerup Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database
60 Eric Kressel 07-07-1977 Peter Kornerup Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database
59 Niels Jørn Nielsen 30-06-1977 Peter Møller-Nielsen Der ønskes et design og en implementationaf en programmerbar, grafisk satellit, med specielt henblik på systemets design
58 Stephen Biering Sørensen 30-06-1977 Peter Møller-Nielsen Titel ukendt
57 Ole Jacobsen 25-05-1977 Kristen Nygaard Analyse og konstruktion af databaser - Problemer, opgaver og metodeforslag diskuteret ud fra et praktisk eksempel på B og O
56 Kristian Nyrup 29-04-1977 Mogens Nielsen Parallel Rewriting on Planar Maps: A Mathematical Model for the Development of Multicellular Organisms
55 Poul Skafte Jespersen 19-04-1977 Povl Villumsen Minicomputer software for multi-device control
54 Søren Lauridsen 04-04-1977 Peter Møller-Nielsen EDB-medarbejderuddannelser
53 Karen Thomsen 09-03-1977 Peter Møller-Nielsen PL/Rikke-0
52 Vagn Toft Jensen 09-02-1977 Kristen Nygaard EDB-systemer i detailforretninger
51 Peder Grotkjær Nielsen 21-01-1977 Kristen Nygaard En analyse af problemer omkring udvikling og anvendelse af store edb-baserede informationssystemer - Et konkret eksempel
50 Ulf Køllgård 13-12-1976 Brian Henry Mayoh Ækvivalens af simple programskemaer med særlig henblik på de rekursive skemaer
49 Niels Karsten Thorhauge 11-12-1976 Kristen Nygaard Et studie af kommunikationsproblemer under udvikling af edb-systemer
48 Marie Louise Møller 08-12-1976 Brian Henry Mayoh SODA - Konstruktion og implementering af feltrestriktionen
47 Bent Melgård 23-11-1976 Povl Villumsen Operativsystemer: begreber og mekanismer i beskyttelse af subsystemer
46 Jens Otto Michelsen 04-11-1976 Peter Møller-Nielsen Med henblik på vurdering af højere maskinorienterede sprog som erstatning for assembly sprog ønskes der et design og en implementation af et højere maskinorienteret sprog til NOVA datamaten
45 Ole Krog Thomsen 19-07-1976 Brian Henry Mayoh Design and Implementation of Data Base Primitives
44 Jytte Schurmann Hansen 13-07-1976 Brian Henry Mayoh Semantics of data types
43 Kurt Jensen 02-07-1976 Brian Henry Mayoh An Investigation into Different Semantic Approaches
42 Ejvind Lynning 01-07-1976 Nigel Derrett A multi-emulation system
41 Otto Veie 30-06-1976 Nigel Derrett Implementation of High Level Languages on Minicomputers: A Case Study: BCPL on the NOVA
40 Birger Møller-Pedersen 28-05-1976 Kristen Nygaard Tværfaglig Kommunikation og Context - anvendelse af DELTA sproget til beskrivelse af forskellige fagmodeller af en sø og bidrag til indførelsen af contextbegrebet i DELTA sproget
39 Sven Meiborg Sørensen 04-03-1976 Peter Møller-Nielsen Platon. Design and Implementation on RC3500
38 Niels Erik Andersen 24-02-1976 Kristen Nygaard Et studie af kommunikationsproblemer under udvikling af edb-systemer
37 Finn Haar Kristiansen 27-08-1975 MiM Assessment of a Stack Machine through Statistics: Gathered by Simulation
36 Morten Kyng 25-08-1975 Kristen Nygaard Om projektion af DELTA sprogets begreber ind i quasiparallelle omgivelser
35 Jørgen Staunstrup 18-08-1975 Benedict Løfstedt Platon. Axiomatic Definition
34 Bendt Jensen 15-08-1975 Povl Villumsen Job control languages
33 Ole Lehrmann Madsen 01-08-1975 Peter Kornerup On the use of attribute grammars in a practical translator writing system
32 Jørgen Erik Grønbæk Nielsen 31-07-1975 Brian Henry Mayoh JØNS-systemet - et system til automatisk generering af verifier
31 Bjarne Stroustrup 07-07-1975 Brian Henry Mayoh SNIF compiler and language
30 Arne Henning Sørensen 26-06-1975 Peter Møller-Nielsen Construction of an interactive graphic system
29 Aage Frost Mathiesen 26-06-1975 Peter Møller-Nielsen Design and Implementation of a programeditor for a minicomputer
28 Finn Kjærsgård Svendsen 17-06-1975 AS Regular Languages and L-systems
27 Lars Mathiassen 05-05-1975 Benedict Løfstedt En datalære bog - Konstruktion af undervisningsmateriale I elementær datalogi
26 Bent Bæk Jensen 11-02-1975 Brian Henry Mayoh An extension of the BOBS-system to a full compiler-compiler on mathematical semantics
25 Thorkil Rose 10-08-1974 Brian Henry Mayoh Klassifikation af sindslidende patienter
24 Kirsten Holmgård Jakobsen 30-07-1974 AS Sententielle former af contextfree sprog
23 Bo Bagger Laursen 21-07-1974 Laurent Halphen Design og implementering af et moderne filsystem til en minidatamat
22 Jørgen Frimodt Hansen 24-06-1974 Søren Nielsen Evoked Response Audiometry
21 Bent Bruun Kristensen 14-05-1974 Peter Kornerup Erkendelse og Korrektion af Syntaksfejl under LR-parsning
20 Per Ahlgren Christensen 17-12-1973 Brian Henry Mayoh Substitution and Lindenmayer Systems
19 Inger Lytje 17-12-1973 Brian Henry Mayoh Design af et Question-Answering-System til Informationssøgning i Jydsk Ordbog
18 Ulla Beck Christensen 14-12-1973 Brian Henry Mayoh Design af et Question-Answering-System til Informationssøgning i Jydsk Ordbog
17 Steen Nørgård 11-11-1973 Brian Henry Mayoh Mønsteranalyse ved hjælp af lokale transformationer
16 Thyge Jæger Knudsen 11-09-1973 Brian Henry Mayoh Recursive schemata and intuitionistic logic
15 Jens Daabeck 07-09-1973 Peter Møller-Nielsen Indkøring af et grafisk display
14 Jens Ulrik Mouritsen 01-08-1973 Ole Brun Madsen Datakompression
13 Jens Ebbe Thomsen 14-06-1973 Ole Brun Madsen Titel ukendt
12 Evald Skov Jensen 14-06-1973 Ole Brun Madsen Titel ukendt
11 Mogens Nielsen 08-02-1973 Brian Henry Mayoh On Decomposition of Stochastic Finite-State Systems
10 Iver Arendal Larsen 15-01-1973 Brian Henry Mayoh Automatiske klassifikationsmetoder
9 Mogens Kjærgård Rasmussen 28-09-1972 Brian Henry Mayoh Familier af deterministiske sprog
8 Arne Tolstrup Madsen 25-08-1972 Peter Kornerup Basismekanismer for operativsystemer
7 Poul Vestereng 21-08-1972 Ole Brun Madsen Titel ukendt
6 Grete Jensen 17-08-1972 Bjarner Svejgaard Automatisk decidation og korrektion af stavefejl
5 Frede Dybkjær 22-06-1972 Bjarner Svejgaard Alice - A Language Improving Computer Education
4 Willy Mathiesen 26-05-1972 Brian Henry Mayoh Konstruktion og Implementering af interaktivt theorem proving system
3 Torsten Skov Rasmussen 11-04-1972 Brian Henry Mayoh Automatisk programverificering
2 Erik Meineche Schmidt 20-03-1972 Brian Henry Mayoh Karakterisation af oversættelse for de til Chomsky-hierarkiet hørende automater
1 Sven Skyum 21-02-1972 Brian Henry Mayoh Garden of Eden - konfigurationer i cellulære automater