[ This web application uses JavaScript, which is not enabled in your browser - for full functionality, use a browser that supports JavaScript ]
Number Student Id Date Supervisor Thesis title
1749 Mathias Vorreiter Pedersen 20112238 02-08-2017 Aslan Askarov New Covert Channels And Enforcement Of Information Flow Properties In High-Level Programming Languages.
1748 Benjamin Park Petersen 201206031 30-06-2017 Ira Assent Empirical Evaluation Of Word Clusterings For Natural Language Processing.
1747 Tobias Sommer 201206005 30-06-2017 Ira Assent Abbreviation Disambiguation Through Context-Aggregated Word Embeddings.
1746 Søren Qvist Jensen 201206074 30-06-2017 Jörg Müller Inferring Physical Properties Of Virtual Objects From Interaction In Virtual Reality.
1745 Jonas Tulstrup Johansen 201206034 30-06-2017 Niels Olof Bouvin Depression Detection And Severity Estimation From Speech Using Smartphones.
1744 Tobias Sørensen 201206102 30-06-2017 Niels Olof Bouvin Depression Detection And Severity Estimation From Speech Using Smartphones.
1743 Konstantinos Mampentzidis 201401662 29-06-2017 Gerth Stølting Brodal Scaling Tree Comparisons to External Memory.
1742 Martin Bjerrum Henriksen 20105951 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 201206057 29-06-2017 Christian Nørgaard Storm Pedersen Practical Reinforcement Learning For Game Developers.
1740 Simon Jensen 201206027 29-06-2017 Christian Nørgaard Storm Pedersen Practical Reinforcement Learning For Game Developers.
1739 Benjamin Blankholm 201206087 29-06-2017 Peyman Afshani Automated Obstacle Arrangement.
1738 Kenneth Kaiser Kudsk 20093607 28-06-2017 Ivan Damgård Proof Techniques For Quantum Key Distribution.
1737 Anders Peter Kragh Dalskov 201206076 28-06-2017 Claudio Orlandi End-To-End Encrypted Cloud Storage.
1736 Jens Frederik Krogh Holdam 201206042 28-06-2017 Niels Olof Bouvin Latency-Aware Multi-Tree Based P2P Live Video Streaming.
1735 Mathias Glavind Schmidt 201206079 28-06-2017 Niels Olof Bouvin Latency-Aware Multi-Tree Based P2P Live Video Streaming.
1734 Maiken Brunholm Søgaard 20114567 28-06-2017 Claudio Orlandi Functional And Homomorphic Signatures.
1733 Jakob Graugaard Laursen 20093220 28-06-2017 Ivan Damgård Attacks On Ring LWE.
1732 Nicolaj Græsholt 20112414 27-06-2017 Jesper Buus Nielsen Gluable Micro Authentication
1731 Erik Krogh Kristensen 20113404 27-06-2017 Anders Møller Assisting Development Of TypeScript Applications.
1730 Magnus Ree Torvadal 20114754 27-06-2017 Niels Olof Bouvin Compete. A Framework For Making Console-Like Web Applications.
1729 Shuo Hua 201206051 27-06-2017 Ole Caprani Application Of Reinforcement Learning In LEGO EV3.
1728 Michael Simonsen 201206100 27-06-2017 Ole Caprani Autonomous Environmental Mapping.
1727 Stefan Niemann Madsen 201206043 27-06-2017 Ole Caprani Autonomous Environmental Mapping.
1726 Christian Bobach 20104256 26-06-2017 Claudio Orlandi Secure Distributed Poker Using MPC.
1725 Marc Skodborg 201206073 26-06-2017 Christian Nørgaard Storm Pedersen Efficient Implementations Of Suffix Trees.
1724 Simon Fischer 201206049 26-06-2017 Christian Nørgaard Storm Pedersen Efficient Implementations Of Suffix Trees.
1723 Søren Johannes Qvist Christensen 20081634 26-06-2017 Niels Olof Bouvin Honeycomb.
1722 Sebastian Sander Søndergaard 201206028 26-06-2017 Niels Olof Bouvin Evaluating Blockchains.
1721 Martin Berndt Nøhr 201206002 26-06-2017 Niels Olof Bouvin Evaluating Blockchains.
1720 Jens Poulsen 20061136 23-06-2017 Niels Olof Bouvin Fast Indoor Finger Printing.
1719 Ida Larsen-Ledet 201206033 23-06-2017 Susanne Bødker Speaking Of Usable Security
1718 Nicolai Nibe 201206013 23-06-2017 Susanne Bødker Speaking Of Usable Security
1717 Tue Thusbøl Holst 201206016 22-06-2017 Claudio Orlandi Ring-LWE Based Multi-Key FHE.
1716 Kasper Lodahl Flye 20114486 21-06-2017 Niels Olof Bouvin Guardian Tree.
1715 Emil Stephansen 20113001 21-06-2017 Niels Olof Bouvin Guardian Tree.
1714 Mads Pørksen Buch 20112625 20-06-2017 Aslan Askarov Formalizing Differential Privacy.
1713 Frederik Skytte Nielsen 201206070 20-06-2017 Aslan Askarov SDML: A Secure Language For Distributed Computing.
1712 Esben Glavind Clausen 201206032 20-06-2017 Lars Birkedal Verifying Hash Tables In Iris.
1711 Johan Peter Bonde Wodschow 20083766 04-05-2017 Peyman Afshani Two Problems About Simple Polygons.
1710 Jon Bjerrum Jacobsen 20117331 28-04-2017 Ira Assent Efficient Dynamic Anytime Clustering With Exact DBSCAN.
1709 Lau Skorstengaard 20103173 31-03-2017 Lars Birkedal Reasoning About Capability Machines: A Path Towards Provable Security.
1708 Kristoffer Just Arndal Andersen 20103316 22-02-2017 Lars Birkedal Automatic Verification of Fine-grained Concurrency. 
1707 Frederik Brinck Truelsen 20116293 30-01-2017 Christian Nørgaard Storm Pedersen Comparison of Texts Using String Kernels.
1706 Mathias Skovgaard Birk 20116447 30-01-2017 Ira Assent og Mai Thai Son Incremental Structural Clustering Algorithm For Dynamic Networks.
1705 Emma Hedegaard 20105741 30-01-2017 Ira Assent og Susanne Bødker Skyline Outlier Ensemble.
1704 Asger Godske Bachmann 20115063 30-01-2017 Christian Nørgaard Storm Pedersen CORNEA: Drawing Large Co-Expression Networks for Genes.
1703 Mathias Rav 20103940 27-01-2017 Lars Arge I/O-Efficient Flash Flood Risk Analysis.
1702 Jens Christian Bredahl Madsen 20053308 27-01-2017 Niels Olof Bouvin The Turbo Framework. Designing and Evaluating a General and Efficient Distributed Parallel Computation Framework.
1701 Michael Nielsen 20116518 26-01-2017 Ivan Damgård Expressing and Constructing Efficient MPC. 
1700 Emil Madsen 20105376 24-01-2017 Aslan Askarov Can Web Pages Be Distinguished By Their Side Channel Signatures?
1699 Rasmus Mosbech Jensen 20105109 24-01-2017 Aslan Askarov Can Web Pages Be Distinguished By Their Side Channel Signatures?
1698 Thomas Kjær Jensen 20116674 07-10-2016 Morten Kyng From Monolith to Microservices.
1697 Lars Søndertoft Nielsen 20113521 26-09-2016 Ivan Bjerre Damgård Analysis of Non-interactive Protocols.
1696 Anders Fog Bunzel 20112293 16-09-2016 Ivan Bjerre Damgård Statistically Secure Sigma Protocols with Abort.
1695 Jan Philip Schultz Tsanas 201206023 13-09-2016 Niels Olof Bouvin Peer-To-Peer in Online Multiplayer Games.
1694 Lars Emil Gram Christensen 20115025 17-08-2016 Christian Nørgaard Storm Pedersen Protein Folding in the 3D HP Model.
1693 Anders Henneberg 20112370 10-08-2016 Niels Olof Bouvin Smartguide: Enhancing Accuracy for Fingerprint Locationing using Gaussian Process Regression.
1692 Morten Henriksen Birk 20115148 13-07-2016 Jörg Müller Combining Shape-Changing Interfaces and Spatial Augmented Reality.
1691 Martin Eik Korsgaard Rasmussen 20112818 29-06-2016 Olivier Danvy A Flat Approach to Syntax-Checking, Shuffling, and Correcting Multiple Choice Tests.
1690 Søren Elmely Pettersson 201402534 29-06-2016 Ivan Bjerre Damgård Using Oblivious RAM in Secure Multi Party Computation.
1689 Sebastian Mose Bach 20112519 29-06-2016 Ivan Bjerre Damgård Linear and Differential Cryptanalysis Extensions.
1688 Tobias Stenby Brixen 20113535 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 20113993 28-06-2016 Jesper Buus Nielsen A Survey of QUIC and TLS 1.3.
1686 Daniel Vennevold Damgaard 201303575 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 20073954 28-06-2016 Ivan Bjerre Damgård Password Security.
1684 Rune Drole Pedersen 20105138 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 20113601 27-06-2016 Claudio Orlandi og Ivan Bjerre Damgård Breaking and Fixing Private Set Intersection Protocols.
1682 Mikkel Brun Jakobsen 20114457 27-06-2016 Peter Bro Miltersen An in-depth Investigation into Ryan Williams´ Program.
1681 Mathias Stensgaard Veje 20115816 24-06-2016 Ira Assent Creating Spending Profiles form financial Transaction Data using Data Mining.
1680 Martin Henriksen 20115973 24-06-2016 Ira Assent Creating Spending Profiles form financial Transaction Data using Data Mining.
1679 Jesper Møller Kristensen 20116902 24-06-2016 Ira Assent Active Adaptive Clustering.
1678 Anders Lindkvist 20103626 23-06-2016 Lars Birkedal Contextual Equivalence in the Elm Language.
1677 Troels Fleischer Skov Jensen 20104000 23-06-2016 Lars Birkedal Contextual Equivalence in the Elm Language.
1676 Thomas Hedegaard Lange 20113788 23-06-2016 Christian Nørgaard Storm Pedersen Algorithms for Computing Maximum Agreement Subtrees.
1675 Nikolaj Skipper Rasmussen 20114373 23-06-2016 Christian Nørgaard Storm Pedersen Algorithms for Computing Maximum Agreement Subtrees.
1674 Andreas Winther Lykke 20106183 23-06-2016 Christian Nørgaard Storm Pedersen Predicting Cocaine Relations using Machine Learning Techniques.
1673 Morten Houmøller Nygaard 20114582 21-06-2016 Kasper Green Larsen Estimating Frequencies and Finding Heavy Hitters.
1672 Jonas Nicolai Hovmand 20113884 21-06-2016 Kasper Green Larsen Estimating Frequencies and Finding Heavy Hitters.
1671 Peter Gabrielsen 20114179 21-06-2016 Kasper Green Larsen Three-sided Range Reporting in External Memory.
1670 Christoffer Holbæk Hansen 20114637 21-06-2016 Kasper Green Larsen Three-sided Range Reporting in External Memory.
1669 Kent Grigo 20114876 20-06-2016 Kasper Green Larsen Getting to know the Captain´s Mistress with Reinforcement Learning.
1668 Thor Bagge 20114756 20-06-2016 Kasper Green Larsen Getting to know the Captain´s Mistress with Reinforcement Learning.
1667 Troels Thorsen 20113820 20-06-2016 Kasper Green Larsen Categorical Range Searching.
1666 Kenn Daniel 20118457 20-06-2016 Gerth Stølting Brodal Selection in a Heap.
1665 Casper Færgemand 20118354 20-06-2016 Gerth Stølting Brodal Selection in a Heap.
1664 Steffen Pham Diswal 20117044 17-06-2016 Aslan Askarov Transcompilation of VDM-SL to C#
1663 Casper Guldager Christensen 20117142 18-05-2016 Christian Nørgaard Storm Pedersen Implementing an Algorithm for Finding minimal forbidden Words.
1662 Dan Ariel Søndergaard 20094320 29-04-2016 Christian Nørgaard Storm Pedersen Classification and Analysis of Biological Data. 
1661 Philip Tchernavskij 20118057 25-04-2016 Susanne Bødker Transclusion in Software for the Complex, the Changing, and the Indeterminate.
1660 Martin Storgaard 201400002 20-04-2016 Ira Assent Structural Clustering Algorithm for Networks.
1659 Knud Rohde Fischer 20052356 15-04-2016 Olivier Danvy An automated Approach to Organizing BiBTEX Files.
1658 Przemyslaw Milosz Miszczuk 20064221 13-04-2016 Ole Caprani Racing with Robots. Challenges of Implementing an EV3 Robot Game.
1657 Kristian Borup Antonsen 20105712 12-04-2016 Niels Olof Bouvin Peer Cache. Secure Peer-to-Peer Web Caching using private Set Intersection.
1656 Anders Holm 20082390 29-03-2016 Susanne Bødker Mobile Payment. Exploring Payment Requests and the associated Usability Issues.
1655 Daniel Møller 20091947 16-03-2016 Niels Olof Bouvin Dynamic Offloading. Exploring the Viability of af two-tiered Offloading Solution.
1654 Jesper Manscher Andersen 20091775 16-03-2016 Niels Olof Bouvin Dynamic Offloading. Exploring the Viability of af two-tiered Offloading Solution.
1653 Tau Sebastian Sand 20104754 22-02-2016 Olav W. Bertelsen Designing for Openness in Home Care. A critical Study of Workplace Technologies.
1652 Daniela Rossi 19994588 22-02-2016 Olav W. Bertelsen Designing for Openness in Home Care. A critical Study of Workplace Technologies.
1651 Søren Krogh Sørensen 20105661 29-01-2016 Kaj Grønbæk og Henrik Blunck The Effect of Indoor Positioning Performance on Human Activity Recognition.
1650 Andreas Mathisen 20101838 29-01-2016 Kaj Grønbæk og Henrik Blunck The Effect of Indoor Positioning Performance on Human Activity Recognition.
1649 Peter Bjerg Mogensen 20106894 29-01-2016 Jörg Müller Conference RoomAlive.
1648 Rasmus Henriksen 20011216 28-01-2016 Henrik Bærbak Christensen Automated Conversion of Manual Tests into Fast Database Based Regression Tests.
1647 Jesper Madsen 20101783 28-01-2016 Claudio Orlandi Zero Knowledge for Boolean Circuits.
1646 Henrik Knakkegaard Christensen 20082178 27-01-2016 Gerth Stølting Brodal Algorithms for Finding Dominators in Directed Graphs.
1645 Casper Bo Kærgaard Green 20105640 27-01-2016 Gerth Stølting Brodal og Kasper Green Larsen Range Mode Queries in Arrays.
1644 Jakob Peter Landbo 20105640 27-01-2016 Gerth Stølting Brodal og Kasper Green Larsen Range Mode Queries in Arrays.
1643 Manuel Rafael Ciosici 201206078 18-12-2015 Ira Assent Improving Quality of Hierarchical Clustering for Large Data Series.
1642 Thomas Larsen Wessel 20043324 17-12-2015 Morten Kyng Console for Monitoring and Controlling a Heatpump.
1641 Jens Christian Christensen Jensen 20022669 17-12-2015 Gerth Stølting Brodal Event Detection in Soccer Using Spatio-Temporal Data.
1640 Anders Konring Olesen 20105366 10-12-2015 Claudio Orlandi og Jan Møller On the Anonymity of Simple Payment Verification in the Bitcoin Protocol.
1639 Morten Krogh-Jespersen 20022362 25-11-2015 Lars Birkedal Towards Modula Reasoning for Concurrent Higher-Order Imperative Programs.
1638 John Kristian Mejer Smedegaard 201206084 30-10-2015 Ira Assent Stream-based Active Learning for Activity Recognition
1637 Brian Braüner Frølund 201206068 30-10-2015 Ira Assent Stream-based Active Learning for Activity Recognition
1636 Christoffer Quist Andersen 20094082 23-10-2015 Anders Møller New Testing Techniques for Mobile and Web Applications.
1635 Malene Sjørslev Søholm 20102060 15-10-2015 Ira Assent Maximum Coverage Representative Skyline.
1634 Jakob Bjerre Jakobsen 20102095 09-10-2015 Claudio Orlandi Dumb crypto in smart Phones. A practical Cryptanalysis of the Telegram messaging Protocol.
1633 Morten Nikolaj Pløger 20072631 24-09-2015 Niels Olof Bouvin Source Switching in decentralized Streaming Network.
1632 Morten Rasmussen 20074456 18-09-2015 Henrik Blunck og Niels Olof Bouvin Context-Aware Mobile App Support for Guarding Businesses.
1631 Lisbet Møller Andersen 20022308 18-09-2015 Ira Assent Comparison of the Outlier Detection Algorithms: DB-Outlier, LOF and LDOF.
1630 Ole Dalgaard Lauridsen 20072961 07-09-2015 Olivier Danvy A Formalisation of Cryptography with the Coq Proof Assistant.
1629 Christian Billeskov Clausen 20081015 07-09-2015 Olivier Danvy Programs, Proofs, and Tactics in the Coq Proof Assistant.
1628 Søren Hannibal Krabbe-Keblovszki 20102295 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 20103511 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 20107539 19-08-2015 Gerth Stølting Brodal og Peyman Afshani Intersection of Convex Objects in the Plane.
1625 Kasper Vesth 20051626 12-08-2015 Niels Olof Bouvin Comparison of Strategies for P2P Based Streaming of Video-on-Demand Using BitTorrent.
1624 Roberto Stillhoff Trifiletti 20094480 04-08-2015 Jesper Buus Nielsen Secure Outsourcing in an Online World. 
1623 Rasmus Hallenberg-Larsen 20102247 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 20101916 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 20104319 29-06-2015 Claudio Orlandi Constructions of Functional Encryption.
1620 Nils Alfred Rahbek Henning 20080782 29-06-2015 Niels Olof Bouvin og Clemens Nylandsted Klokmose User Driven Content Distribution Network.
1619 Thomas Sandholt 20103476 29-06-2015 Gerth Stølting Brodal og Peyman Afshani Geometric Measures of Depth.
1618 Mathies Boile Christensen 20104810 29-06-2015 Gerth Stølting Brodal og Peyman Afshani Geometric Measures of Depth.
1617 Mads Ravn 20071580 29-06-2015 Gerth Stølting Brodal og Kasper Green Larsen Orthogonal Range Searching in 2D with Ball Inheritance.
1616 Lasse Højgaard 20080848 26-06-2015 Michael E. Caspersen og Palle Nowack Towards Computational Thinking in School.
1615 Roland Larsen Pedersen 20092817 26-06-2015 Gerth Stølting Brodal Engineering Rank and Select Queries on Wavelet Trees.
1614 Jan Hessellund Knudsen 20092926 26-06-2015 Gerth Stølting Brodal Engineering Rank and Select Queries on Wavelet Trees.
1613 Magnus Strand-Holm Vinther 20094430 26-06-2015 Gerth Stølting Brodal og Peyman Afshani Pathfinding in Two-dimensional Worlds.
1612 Anders Strand-Holm Vinther 20033980 26-06-2015 Gerth Stølting Brodal og Peyman Afshani Pathfinding in Two-dimensional Worlds.
1611 Morten Djernæs Bech 20102011 25-06-2015 Claudio Orlandi A detailed Review of three Oblivious Transfer Extension Protocols.
1610 Randi Katrine Hillerøe 20103073 25-06-2015 Anders Møller TAPAs: Type Analysis for PHP Arrays.
1609 Christian Budde Christensen 20103616 25-06-2015 Anders Møller TAPAs: Type Analysis for PHP Arrays.
1608 Mathias Bak Bertelsen 20105217 25-06-2015 Niels Olof Bouvin/Clemens N. Klokmose Augmenting single-user 3D WebGL Applications with Multi-User Support.
1607 Andreas Troelsen 20105774 25-06-2015 Niels Olof Bouvin/Clemens N. Klokmose Augmenting single-user 3D WebGL Applications with Multi-User Support.
1606 Jakob Knop Rasmussen 20093960 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 20061199 24-06-2015 Christian Nørgaard Storm Pedersen Improving NRPS A-domain Classification using Self-Training.
1604 Frederik Lønstrup Hansen 20096365 24-06-2015 Christian Nørgaard Storm Pedersen Speeding UP RNA secondary Structure Prediction.
1603 Torben Muldvang Andersen 20093713 24-06-2015 Christian Nørgaard Storm Pedersen Speeding Up HMM Decoding using Compression.
1602 Anders Høst Mikkelsen 20106624 24-06-2015 Christian Nørgaard Storm Pedersen Local Alignment using the Four-Russians Technique.
1601 Emil Bremer Orloff 20104134 24-06-2015 Aslan Askarov Progress-Sensitive Security.
1600 Jakob Møller Kajhøj 20041576 24-06-2015 Niels Olof Bouvin Optimizing Image Feature Detection using GPUs.
1599 Esben Overlund Andersen 20072040 23-06-2015 Ole Caprani Can LEGO Mindstorms EV3 be configured to support Testing Path formation in Robot Swarms.
1598 Jakob Koed Holm 20081273 17-06-2015 Ole Caprani Implementation of Reservation-based Traffic Management on Autonomous LEGO Mindstorms EV3 Vehicles.
1597 Michael Bisgaard Olesen 20051948 10-06-2015 Gudmund Frandsen Variants of a Dynamic Algorithm for Maintaining Matrix Normal Forms.
1596 Jakob Damgaard Jensen 20092138 08-06-2015 Ira Assent Online Hyper-Parameter Optimization for Item-based top-n Recommendation Algorithms.
1595 Michael Vilhelmsen 20083918 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 20107578 04-06-2015 Olivier Danvy Counting Golf Strokes Using Smartphone Sensors and Machine Learning.
1593 Ulrik Sahl Lystbæk 20085473 29-05-2015 Anders Møller Demand-driven Pointer Analysis optimized for Code Completion i JavaScript.
1592 Karsten Emil Marcussen 20115953 22-05-2015 Niels Olof Bouvin SISP - A Framework for Sensor based Interaction between Smartphones and Public Displays.
1591 Kris Vestergaard Ebbesen 20094539 13-04-2015 Gerth Stølting Brodal On the Practicality of Data-Oblivious Sorting.
1590 Laust Mølgaard Thomsen 19870597 27-03-2015 Ole Caprani A mini Traffic Shool based on MINDSTORMS® EV3 Robots and leJOS´ Java.
1589 Claus Jespersen 20093084 13-03-2015 Gerth Stølting Brodal Monte Carlo Evaluation of financial Options using a GPU.
1588 Daniel Mac Donald 20022432 12-03-2015 Olav W. Bertelsen Sushi, rødvin og halvmaraton: Et kvalitativt studie af online dating services
1587 Mikkel Engelbrecht Hougaard 20062954 13-02-2015 Gerth Stølting Brodal On the Complexity of red-black Trees for higher Dimensions.
1586 Bo Mortensen 20073241 13-02-2015 Gerth Stølting Brodal og Peyman Afshani Algorithms for Computing Convex Hulls using linear Programming.
1585 Bernardo Machado David 201210538 05-02-2015 Ivan Bjerre Damgård og Jesper Buus Nielsen Secure Computation and Cryptographic Protocols 
1584 Troels Leth Jensen 20095039 03-02-2015 Anders Møller Type Inference for Dart.
1583 Jesper Lindstrøm Nielsen 20094311 03-02-2015 Anders Møller Type Inference for Dart.
1582 Eivind Ortind Simonsen 19993446 19-01-2015 Olav W. Bertelsen Digitalt anatomibord som læringsmiljø.
1581 Thomas Holst 20113124 19-12-2014 Kaj Grønbæk ShareBuddy - A casual game for encouraging changes in electricity and water usage.
1580 Lasse Jesper Garding Espeholt 20093223 11-12-2014 Christian Nørgaard Storm Pedersen Neural Networks for Classification of Protein Sequences.
1579 Thomas Nørlem Rasmussen 20082240 12-11-2014 Claudio Orlandi Fully homomorphic Encryption and multilinear Maps.
1578 Jeppe Haugaard Sørensen 20081698 12-11-2014 Niels Olof Bouvin/Clemens Nylandsted Klokmose Helping Developers distribute Web Applications across heterogeneous Devices.
1577 Kristoffer Dahl Hansen 20081459 12-11-2014 Niels Olof Bouvin/Clemens Nylandsted Klokmose Helping Developers distribute Web Applications across heterogeneous Devices.
1576 Jens Olaf Svanholm Fogh 20094924 06-11-2014 Christian Nørgaard Storm Pedersen Pattern Matching using suffix Trays, Arrays and Trees.
1575 Martin Vang 20061779 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 20060914 27-10-2014 Gudmund Skovbjerg Frandsen Experimental Comparison of Algorithms for dynamic transitive Closure.
1573 Jacob Toft Pedersen 19983275 21-10-2014 Kaj Grønbæk Improving Photon Mapping with Multidimensional Caching and Clustered Measurement Points
1572 Morten Larsson 20091488 08-10-2014 Henrik Bærbak Christensen Microservices.
1571 Morten Søgård Jensen 20074139 03-10-2014 Niels Olof Bouvin A Framework for Distribution of Webtask By Use of Edge Computing.
1570 Stig Rohde Døssing 20094584 03-10-2014 Peter Bro Miltersen Ray Tracing Using Dual-Tree Traversal.
1569 Jakob Laurits Oemann Rosenlund 20051114 24-09-2014 Niels Olof Bouvin QRFB: En tilgang til transportable programmer.
1568 Anders Jensen 20091730 12-09-2014 Jesper Buus Nielsen An Oblivious Parallel RAM and Other ORAM Optimizations.
1567 Steffen Høi 20115237 05-09-2014 Erik Ernst Exploring Object Ownership for Controlling Representation Exposure.
1566 Nikolaj Mols Hansen 20112425 05-09-2014 Erik Ernst Exploring Object Ownership for Controlling Representation Exposure.
1565 Simon Bilskov Jespersen 20082340 27-08-2014 Susanne Bødker Presenting Privacy and Identity. Understanding Self-Presentation in Mediated Interaction.
1564 Mads Wølch Frandsen 20073940 22-08-2014 Ira Assent Diverse and Constrained Top-K Combination Queries.
1563 Rune Steen Laursen 20080934 21-08-2014 Claudio Orlandi Cryptographic Applications of Software Obfuscation.
1562 Heine Stokholm 20084724 14-08-2014 Peter Bro Miltersen Clustering of Virtual Ray Lights.
1561 Troels Mortensen 20072680 14-08-2014 Peter Bro Miltersen Clustering of Virtual Ray Lights.
1560 Mads Møller Jensen 20083864 02-07-2014 Kaj Grønbæk Interactive Sports-Training Systems - Interaction Techniques and Sensing Technologies.
1559 Allan Stisen 20083311 02-07-2014 Kaj Grønbæk Designing Context-Aware Task Management Accounting for Situated Actions.
1558 Peter Urbak 20081130 02-07-2014 Olivier Danvy A Formal Study of Moessner´s Sieve.
1557 Kristian Theilgaard Hansen 20084980 27-06-2014 Peter Bro Miltersen 4D Bounding Volume Hierarchies for Efficient Rendering of Motion Blur.
1556 Nils Asbjørn Joensen 20082386 27-06-2014 Anders Møller Migration af Klasser og Moduler fra JavaScript til Typescript.
1555 Daniel Winther Petersen 20082246 27-06-2014 Gerth Stølting Brodal Orthogonal Range Skyline Counting Queries.
1554 Kasper Nielsen 20091182 23-06-2014 Christian Nørgaard Storm Pedersen Acceleration of Edit-Distance Using Compression.
1553 Daniel Milo Farkner 20083824 12-06-2014 Ivan Bjerre Damgård A Cloud On The Horizon For Online Storage.
1552 Jacob Hougaard 20083206 30-05-2014 Anders Møller A Study of The DASH Algorithm For Software Property Checking.
1551 Kasper Føns 20083881 30-05-2014 Anders Møller A Study of The DASH Algorithm For Software Property Checking.
1550 Peter Jessen 20082519 14-05-2014 Christian Nørgaard Storm Pedersen Methods for Prediction of NRPS A-domain Specificity.
1549 Ole Rasmussen 20083899 12-05-2014 Michael E. Caspersen A Framework for Developing Maintainable and Portable BlueJ Extensions.
1548 Mikkel Kjeldsen 20081794 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 20063465 06-05-2014 Henrik Bærbak Christensen A Survey of Methods for Analyzing Software Runtime Behavior.
1546 Jana Kunert 20085208 11-04-2014 Gerth Stølting Brodal Hashing and Random Graphs.
1545 Jakob Schultz-Nielsen 20061951 20-03-2014 Christian Nørgaard Storm Pedersen Implementing a Simulated Directed Acyclic Word Graph for Computing Local Alignment.
1544 Jens-Emil Vejgaard Kristensen 20072784 05-03-2014 Christian Nørgaard Storm Pedersen Folding RNA 2nd Structure Using Stochastic Context Free Grammars.
1543 Mads Pedersen 20083364 06-02-2014 Erik Ernst Lightweight Family Polymorphism Revisited.
1542 Esben Andreasen 20073025 27-01-2014 Anders Møller Analysing Real-World Java Script.
1541 Steffen Beier Olesen 20080991 24-01-2014 Gerth Stølting Brodal An Experimental Comparison Of Max Flow Algorithms.
1540 Jakob Mark Friis 20080816 24-01-2014 Gerth Stølting Brodal An Experimental Comparison Of Max Flow Algorithms.
1539 Jon Korsgaard Sorensen 20083030 17-01-2014 Ivan Bjerre Damgård Security Analysis Of Bitcoin.
1538 Ales Bizjak 201211435 10-01-2014 Lars Birkedal Step-indexed Logical Relations And Biorthogonality.
1537 Johannes Ulfkjær Jensen 20041091 16-12-2013 Ole Caprani Secure Wireless, Offline Gathering of Water Meter Data.
1536 Morten Elmvig Bruhn 20032468 16-12-2013 Ole Caprani Secure Wireless, Offline Gathering of Water Meter Data.
1535 Morten Schaumburg 20033306 11-12-2013 Christian Nørgaard Storm Pedersen A Fully Compressed Algorithm for Computing Edit Distance
1534 Marc Ilsø Poulsen 20072826 04-11-2013 Ole Caprani Comparisons of Several Rendering Algorithms for Isosurfaces
1533 Troels Ugilt Jensen 20040892 04-11-2013 Ole Caprani Precomputed Volume Transfer for Efficient Subsurface Scattering
1532 Bjarke Vældgaard Grøn 20083123 25-10-2013 Jesper Buus Nielsen How to Verify the Correctness of Delegated Computations
1531 Peter Høeg Steffensen 20082410 25-10-2013 Jesper Buus Nielsen How to Verify the Correctness of Delegated Computations
1530 Jesper Thirup Larsen 20081851 15-10-2013 Susanne Bødker Orientation of Experience and Motivation: Intrinsic and Extrinsic Perspectives
1529 Mikkel Pedersen Kaas 20082119 15-10-2013 Susanne Bødker Orientation of Experience and Motivation: Intrinsic and Extrinsic Perspectives
1528 Jeppe Schou 20063705 09-10-2013 Gerth Stølting Brodal Range Minimun Data Structures
1527 Nikolaj Kobek Thorsen 20072162 30-09-2013 Ole Caprani Real-time Image-based Rendering of Caustics via Frequency Space Filtering on a GPU
1526 Thor Siiger Prentow 20071952 26-09-2013 Mikkel Baun Kjærgaard Supporting Indoor Work Task Logistics with Adaptive Algorithms based on Indoor Positioning - Applied.
1525 Jeppe Welling Hansen 20061245 02-09-2013 Olivier Danvy Editorial support for first-year students in programming languages at Aarhus University
1524 Kasper Hyldager Hass Kristensen 20072316 30-08-2013 Ivan Bjerre Damgård Selective Opening Attacks for Encryption and Bit-Commitment Schemes
1523 Jørgen Fogh 20072967 23-08-2013 Gerth Stølting Brodal Engineering a Fast Fourier Transform
1522 Frederik Mogensen 20080923 15-08-2013 Christian S. Jensen Locating Points of Interest Based on Geotagged Tweets
1521 Jesper Asbjørn Sindahl Nielsen 20071220 09-07-2013 Gerth Stølting Brodal Implicit Data Structures and RAM Sorting.
1520 Søren Kristoffer Stiil Frederiksen 20071948 09-07-2013 Peter Bro Miltersen Semi-Algebraic Tools in Stochastic Games
1519 Kenneth Sejdenfaden Bøgh 20071354 05-07-2013 Ira Assent Effektiv beregning af skycubes på grafikkort
1518 Michael Lind Mortensen 20071202 28-06-2013 Ira Assent User Driven Decision Support Queries in Interactive Environments
1517 Morten Kragelund Holt 20081607 27-06-2013 Gerth Stølting Brodal Beregning af triplet og kvartet distancer
1516 Jens Johansen 20082212 27-06-2013 Gerth Stølting Brodal Beregning af triplet og kvartet distancer
1515 Line Løfquist 20071346 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 19982269 29-05-2013 Ole Caprani Approximative Rendering using Multi-Directional Relief Mapping
1513 Thomas Stidsborg Sylvest 20091984 29-05-2013 Christian Nørgaard Storm Pedersen Algorithms for Exact Pattern Matching in Practice
1512 Stefan Ravnholt Nielsen 20094622 29-05-2013 Christian Nørgaard Storm Pedersen Algorithms for Exact Pattern Matching in Practice
1511 Allan Thomassen Rudwill 20061336 11-03-2013 Ira Assent Indeksering af bioinformatisk data med parrede ender
1510 Anders Ingemann 20052979 19-02-2013 Jan Midtgaard Extracting Data from Rendered HTML Templates
1509 Anders Egerup Halager 20063252 29-01-2013 Thomas Mailund Coalescent HMM analysis of great ape speciation
1508 Casper Wandahl Schmidt 20072807 29-01-2013 Christian S. Jensen Indicering af spatio-tekstuelle data! Et empirisk studie
1507 Jesper Broni Andersen 20071268 22-01-2013 Ivan Bjerre Damgård On Pseudorandom Functions based on DDH-like Assumptions with Applications to E-cash
1506 Philip Kristoffersen 20071487 22-01-2013 Marianne Graves Petersen En udforskning af Kinectens uudnyttet potentiale i hjemme underholdningssystemer
1505 Troels Toftebjerg Hansen 20062372 15-01-2013 Thomas Sangild Sørensen Forbedring af videokompression vd hjælp af l1-optimering
1504 Brian Melin Iversen 20061196 06-12-2012 Jan Midtgaard Information Flow Analysis of Java Bytecode
1503 Toke Reimer Brødsted 20071541 27-11-2012 Niels Olof Bouvin Mobilt Ressource Ad hoc Netværk: Tidskritisk data i en heterogen verden
1502 Simon Woersaa Abildgaard 20072810 27-11-2012 Niels Olof Bouvin Mobilt Ressource Ad hoc Netværk: Tidskritisk data i en heterogen verden
1501 Jonas Jensen 20072968 27-11-2012 Niels Olof Bouvin Mobilt Ressource Ad hoc Netværk: Tidskritisk data i en heterogen verden
1500 Daniel Lysdal Kjeldsen 20042273 19-11-2012 Christian Nørgaard Storm Pedersen Implementering af udvidede algoritmer for skjulte Markov modeller til genforudsigelse
1499 Jakob Hundal Sandholm 20021868 19-11-2012 Christian Nørgaard Storm Pedersen Implementering af udvidede algoritmer for skjulte Markov modeller til genforudsigelse
1498 Søren Chrestensen 20072822 14-11-2012 Ira Assent Inkrementel outlier detection i strømme af data ved hjælp af cluster kernels
1497 Nikoline Valsgaard Vinkel 20071387 14-11-2012 Ira Assent Analyse af Forskellige Modeller af Fuzzy Skyline Forespørgsler
1496 Martin Søndergaard Kristiansen 20011579 31-10-2012 Thomas Mailund Optimeringer af forward algoritmen på skjulte Markov modeller
1495 Peter Sandberg Brun 20073790 31-10-2012 Christian Nørgaard Storm Pedersen Implementering af MUSCLE ved anvendelse af GPU
1494 Mads Sandberg Brun 20073791 31-10-2012 Christian Nørgaard Storm Pedersen Implementering af MUSCLE ved anvendelse af GPU
1493 Asger Feldthaus 20061089 29-10-2012 Anders Møller Pointer Analysis for Jave Script: Techniques and Applications
1492 Magnus Madsen 20061811 29-10-2012 Anders Møller Static Analysis of Dynamic Languages
1491 Mark Surrow 20071740 03-10-2012 Susanne Bødker The Experience of Social Digital Platforms
1490 Mark Riis Therkildsen 20071323 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 19981733 25-09-2012 Henrik Bærbak Christensen Persisting compiled Domain Models using Criteria Based Reflection
1488 Morten Daugaard 20051715 21-09-2012 Ole Caprani Semi-autonom indendørs navigation for luftbåren robot
1487 Thomas Vrang Thyregod 20051688 21-09-2012 Ole Caprani Semi-autonom indendørs navigation for luftbåren robot
1486 Anders Halwas Moeslund Andersen 20063516 18-09-2012 Ivan Damgård The Security and Performance of Identity Based Encryption
1485 Asger Eriksen 20073117 13-09-2012 Anders Møller Dart´s type system and success types
1484 Tore Kasper Frederiksen 20071546 22-08-2012 Jesper Buus Nielsen Optimizing Actively Secure Two-Party Computations
1483 Rasmus Østerlund Feldthaus Hansen 20061320 10-07-2012 Jan Midtgaard Strenganalyse i Flash
1482 Esben Villefrance Rasmussen 20071977 10-07-2012 Ivan Damgård Sammenligning af RSA og Hofheinz-Kiltz
1481 Andreas Stejner Sand Pedersen 20051374 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 20041543 29-06-2012 Christian Nørgaard Storm Pedersen Pladseffektive implementeringer af HMM algoritmer
1479 Sarah Nouhad Haddad Zakarias 20053395 22-06-2012 Ivan Bjerre Damgård Multiparty Computation in the Preprocessing Model A.
1478 Carsten lange Jensen 20052924 18-06-2012 Kaj Grønbæk Sensorisk Deprivation som en Spilmekanisme i Augmented Reality Spil
1477 Tim Rasmussen 20061947 25-05-2012 Jesper Buus Nielsen Nøglehåndtering i skyen
1476 Jan Aslak Thorndahl Lindballe 20011990 30-03-2012 Niels Olof Bouvin Dynamisk distribuerede systemer i uniforme virtuelle omgivelser
1475 Peter Birk Nielsen 20061526 29-03-2012 Henrik Bærbak Christensen Pattern@: Dokumentation og kontrol af designpatterns med Java-annotationer
1474 Kim Munk Petersen 20063667 26-03-2012 Thomas Sangild Sørensen Field Map Guidet Registrering til Diffusions-vægtede Magnetisk Resonans-skanninger
1473 Andreas Kofoed-Hansen 20062154 23-03-2012 Gerth Stølting Brodal Repræsentationer til at finde vej i Planet
1472 Matthias Diehn Ingesman 20061809 22-03-2012 Erik Ernst En maskinelt verificeret calculus til at skifte mellem urelaterede typer
1471 Tue Schrøder Skeltved 20060800 06-03-2012 Ivan Damgård Distribueret to-parts RSA nøglegenerering
1470 Ubbe Ané Thimsen Welling 20052275 31-01-2012 Henrik Bærbak Christensen Parallel Program Comprehension by Thread Visualisation.
1469 Angelo Agatino Nicolosi 20080160 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 20051177 14-12-2011 Susanne Bødker Methods and Concepts to understanding of mobile Discussions
1467 Martin Sergio Hedevang Fæster 20061719 22-11-2011 Ivan Damgård Distribueret dekryptering for et homomorft kryptosystem
1466 Dan Amlund Thomsen 20040943 07-11-2011 Olivier Danvy Et trancebaseret framework til sammenligning af String Matchere
1465 Jens Christian Gram Junge 20052912 01-11-2011 Susanne Bødker User Experience og Privacy i et hverdags Sommon Information Space
1464 Roar Kjær Larsen 19861698 31-10-2011 Christian Storm Pedersen Parvis sekvensalignment i sub-kvadratisk tid
1463 Tor Jarl Lund Ranfelt 20051421 31-10-2011 Christian Storm Pedersen Implementering af næsten kvadratisk tid convex gapcost sekvensalignment
1462 Morten Bojsen Hansen 20053496 27-10-2011 Thomas Sangild Sørensen En Hybrid Trekantsnet-Gitter-Tilgang til Effektiv Simulering af Store Vandmasser
1461 Jonas Mørup Christensen 20054149 17-10-2011 Ivan Bjerre Damgård Effektive protokoller for anonyme kredentialer og E-kontanter
1460 Anders Nørklit Thingholm 19993864 14-10-2011 Peter Møller Nielsen Erfaringer med implementation af Phaton Mapping på en og flere GPU'er
1459 Alexander Bjerremand Hansen 20062813 11-10-2011 Anders Møller/Jan Midtgaard Exception Analysis in Mlton
1458 Casper Bach Poulsen 20052527 11-10-2011 Anders Møller Methods and tools for Automated Testing of Javascript Web Applications
1457 Anders Dannesboe 20053635 30-09-2011 Niels Olof Bouvin Social Networking within a P2P Overlay for Secure Group Communication
1456 Finn Jepsen Schmidt 20052288 28-09-2011 Henrik Bærbak Christensen Passive estimation og the density of people environments using wireless networks
1455 Nick Hoffmann Lauritsen 20061459 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 20064039 26-09-2011 Jesper Buus Nielsen Examination & Implementation of SMC with Linear Communication Complexity
1453 Jannick Elimar Bitsch 20041578 16-09-2011 Niels Olof Bouvin Secondary Screens for Mobile Applications - Evaluating the Viability of DLNA Devices as Symbiotic Screens
1452 Casper Kejlberg-Rasmussen 20051118 14-09-2011 Gerth Stølting Brodal On Implicit Dictionaries with the Working-Set Property and Catenable Priority Queues with Attrition
1451 Mustafa Sariyar 20023956 13-09-2011 Ivan Bjerre Damgård Cramer-Shoup kryptosystemet: nøglegenerering og implementation
1450 Mikkel Nygaard Hansen 20051733 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 20051717 05-09-2011 Niels Olof Bouvin Anvendelse af sociale netværks relationer til forbedring af kademlia baseret fildeling systermes robusthed
1448 Rasmus Ibsen-Jensen 20052440 31-08-2011 Peter Bro Miltersen Two-player, zero-sum games
1447 Bo Steffen Bjerregaard 20052491 18-08-2011 Niels Olof Bouvin Distribueret memory for tilstandsrumskonstruktion i Chord
1446 Kåre Brøgger Sørensen 20051128 18-08-2011 Niels Olof Bouvin Ressource Prediction - CPU Profiling by becnmarking
1445 Sivert Bertelsen 20062179 12-08-2011 Erik Ernst Vanskelige valg i designet af et collection-bibliotek
1444 Kasper Green Larsen 20053122 31-07-2011 Lars Arge Optimal Orthogonal Range Reporting in 3-d
1443 Martin Castberg Thuesen 20070803 08-07-2011 Anders Møller Contracts for jQuery
1442 Thomas Salomon Andreasen 20052178 04-07-2011 Thomas Sangild Sørensen A Data-parallel Solution to the Bloch Equations for MRI Simulation
1441 Peter Krongaard Kristensen 20051866 04-07-2011 Thomas Sangild Sørensen A Data-parallel Solution to the Bloch Equations for MRI Simulation
1440 Ian Steven Zerny 20053396 30-06-2011 Olivier Danvy A Synthetic Operational Account of Lazy Evaluation
1439 Rasmus Bach Nielsen 20042284 23-06-2011 Thomas Sangild Sørensen Modelling mechanical Effects in the Contraction of the Heart using finite Elements
1438 Steffen Lund Andersen 20040815 10-06-2011 Niels Olof Bouvin Semantic Peer-to-Peer File Sharing Networks
1437 Jesper Ilsøe Nielsen 20040817 03-06-2011 Anders Møller/Jan Midtgaard Engineering of sub-cubic Flow Analysis
1436 Per Lambæk 20042376 11-05-2011 Christian Nørgaard Storm Pedersen Parallelization of Multiple Sequence Alignment
1435 Morten Skov Jørgense 20040800 04-05-2011 Susanne Bødker A Taxonomy of WIMP and ZUI Usability in a Geographical Map Context
1434 Mads Vering Krarup 20041585 29-04-2011 Christian S. Jensen Minimising Supervised Fingerprinting for Enabling Easy Deployable and Expendable WiFi Positioning
1433 Marco De Lorenzi 20051119 28-04-2011 Thomas Sangild Sørensen Evaluation of Intensity based Registration Methods for medical Imaging
1432 Asger Dam Hoedt 20051770 28-04-2011 Thomas Sangild Sørensen Effective Ray Tracing of dynamic Scenes on the GPU
1431 Christian Boe Riisgaard Nielsen 20050732 28-04-2011 Thomas Sangild Sørensen Evaluation of Intensity based Registration Methods for medical Imaging
1430 Jonas Søndergaard O. Kristensen 20053316 24-04-2011 Mikkel Baun Kjærgaard Bestemmelse af rutesammenfald baseret på signalstyrkemålinger
1429 Torin Finnemann Jensen 20040813 24-03-2011 Niels Oluf Bouvin Automatisk relokalisering af dynamisk indhold på World Wide Web
1428 Christian Melchior 20041577 03-03-2011 Henrik Bærbak Christensen Energy Efficient Detection of Significant Places on Smartphones
1427 Michael Bladt Stausholm 20020561 28-02-2011 Jesper Buus Nielsen Implementing a Mechanism using Rational Cryptography
1426 Tue Toft Nørgård 20042377 24-01-2011 Henrik Bærbak Christensen Agentorienteret softwareudvikling uden forhåndskendskab - en undersøgelse af agentparadigmets anvendelighed i praksis
1425 Dung My Hoa 20022443 17-12-2010 Christian Nørgaard Storm Pedersen Speeding-up Dynamic Programming in Sequence Alignment
1424 Finn Rosenbech Jensen 20060636 17-12-2010 Christian Nørgaard Storm Pedersen Using Traveling Salesman Problem in Bioinformatic Algorithms
1423 Bent Bisballe Nyeng 20001467 16-12-2010 Ole Caprani How Audio Software is Developed at TC Electronic
1422 Mikkel Bak Vester 20053229 19-11-2010 Thomas Sangild Sørensen Data Parallel Segmentation for Medical Imaging using the Level Set Method
1421 Martin Højgaard Have 20051456 19-11-2010 Thomas Sangild Sørensen Dose Calculations in Radiation Therapy using Image Registration
1420 Sean Geggie 20052203 19-11-2010 Thomas Sangild Sørensen Data Parallel Segmentation for Medical Imaging using the Level Set Method
1419 Anders Kabell Kristensen 20041248 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 20051795 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 20033037 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 20043246 15-10-2010 Ole Caprani Human Beatboxing: generering af trommespor og automatisk effektprocessering
1415 Kasper Borup 20050900 11-10-2010 Ivan Bjerre Damgård Special Signature Schemes: Theory and Applications
1414 Jesper Løgager Jakobsen 20052904 11-10-2010 Niels Olof Bouvin An Opportunistic Cluster for Bag-of-Tasks Parallel Applications
1413 Simon Holm Jensen 20040436 06-10-2010 Anders Møller Testing and Analysis of Dynamic Javascript Web Applications
1412 Michael Kølbæk Madsen 20052051 01-10-2010 Jesper Buus Nielsen Experimental Study of Short Signatures for Resource-Constrained Devices
1411 Anders Hauge Nissen 20051201 28-09-2010 Ole Caprani An Accessible Behavior Tree Framework for Implementing and Designing Game AI
1410 Jonas Suhr Christensen 20032491 23-09-2010 Gerth Stølting Brodal Experimental Study of Kinetic Geometric t-spanner Algorithms
1409 Thomas Børlum 20040425 23-09-2010 Thomas Sangild Sørensen Approximating Ambient Occlusion using Screen-Space Techniques
1408 David Kjær 20050713 16-09-2010 Gerth Stølting Brodal Range Median Algorithms
1407 Sigurd Torkel Meldgaard 20042318 24-08-2010 Ivan Bjerre Damgård Theory and Practise of Multiparty Computation
1406 Esben Søe 20040818 19-08-2010 Henrik Bærbak Christensen Energieffektiv estimering af bevægelsesmønstre på mobile enheder
1405 Erik Vest Zielke 20050765 18-08-2010 Susanne Bødker Advanced Interactions in Lego Digital Designer
1404 Jakob Grauenkjær Thomsen 20040820 13-08-2010 Michael I. Schwartzbach Lifeflow: Programmable Interactive Services
1403 Jakob Truelsen 20040819 30-07-2010 Gerth Stølting Brodal Working Set Implicit Dictionaries and Range Mode Lower Bound and Approximations
1402 Thomas Dueholm Hansen 20041089 30-07-2010 Peter Bro Miltersen Investigations in Computational Game Theory
1401 Jens Boye Hansen 20020841 08-07-2010 Henrik Bærbak Christensen Implementing and evaluating a System for predicting the Availability of GPS Signals
1400 Allan Johansen 20021100 08-07-2010 Henrik Bærbak Christensen Implementing and evaluating a System for predicting the Availability of GPS Signals
1399 Mathias Romme Schwarz 20041105 08-07-2010 Anders Møller Improving safety and correctness of web applications
1398 Anders Breindahl 20053793 07-07-2010 Ivan Bjerre Damgård Reductionism vs. symmetric cryptography
1397 Jonas Kölker 20040822 28-06-2010 Ivan Bjerre Damgård Multiparty Computation with external storage servers and secret sharing from boolean formulae
1396 Henrik Overgaard 20000233 17-06-2010 Ivan Bjerre Damgård Application of Homomorphic Cryptography in Financial Security
1395 Thomas Loftager Nielsen 20030594 17-06-2010 Henrik Bærbak Christensen A Framework for the Domain of Card Games
1394 Jacob Sloth Mahler-Andersen 20031404 17-06-2010 Henrik Bærbak Christensen A Framework for the Domain of Card Games
1393 Søren Grønnegaard Andersen 20043087 17-06-2010 Erik Ernst When Grammars Are Not Enough
1392 Rikke Bendlin 20040845 14-06-2010 Ivan Bjerre Damgård Secure Multiparty Computation from Lattice-based Cryptosystems
1391 Mads Conrad Baggesen 20042326 02-06-2010 Christian Nørgaard Storm Pedersen Implementation af Skjulte Markovmodeller med fokus på tynde modeller
1390 Kristian Klüver Jensen 20042773 27-05-2010 Anders Møller Type Checking of SQL/XML
1389 Anders Viskum 20043103 27-05-2010 Anders Møller Automatiseret testgenerering til Java-webapplikationer
1388 Rasmus Gude 20021856 18-05-2010 Marianne Graves Petersen Digital Hospitality: Expanding Smart Homes to Support Guests and Visitors
1387 Thomas Heath 20020553 06-05-2010 Olav W. Bertelsen Digitalt beboerdemokrati - eksperimenter med en webportal til understøttelse af afdelingsmøder
1386 Thomas Vestergaard 20031904 06-05-2010 Søren Christensen Generating LTL formulas from sequence diagrams
1385 Steffen Mikkelsen 20041086 28-04-2010 Christian Nørgaard Storm Pedersen Udvikling af en metode til alignment af genomer
1384 Poul Liboriussen 20041087 28-04-2010 Christian Nørgaard Storm Pedersen Udvikling af en metode til alignment af genomer
1383 Rasmus Berlin 20030589 27-04-2010 Susanne Bødker Dialog i elektronisk demokrati
1382 Per Nielsen 20041085 12-04-2010 Henrik Bærbak Christensen (Spoiled) pattern detection in auto-generated graph-based platform-independent models
1381 Lars Buhl Nielsen 19912453 26-03-2010 Thomas Mailund/Christian Nørgaard Storm Pedersen Algoritmer til at finde eksakte motiver i DNA strenge
1380 Kim Pilgaard Christensen 20032054 09-03-2010 Ivan Bjerre Damgård Secure sales of tickets to mobile clients
1379 Allan Madsen 20030590 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 20030576 05-02-2010 Morten Kyng Improving Rehabilitation using Computer Vision and Mobility Detection
1377 Mathias Birkkjær Nielsen 20042759 05-02-2010 Morten Kyng Agil Kooperativ Softwareudvikling. Samspillet mellem agil softwareudvikling og Cooperative Design med Remote Rehabilitation Support som case
1376 Frederik Jakobsen 20040811 21-01-2010 Ivan Bjerre Damgård Implementation af et kryptografisk sikkert peer-to-peer spilframework
1375 Rune Horster 20040814 21-01-2010 Ivan Bjerre Damgård Implementation af et kryptografisk sikkert peer-to-peer spilframework
1374 Mark Greve 20041572 21-01-2010 Gerth Stølting Brodal Online Sorted Range Reporting and Approximating the Mode
1373 Simon Corfix Lykke 20033040 20-01-2010 Anders Møller Streaming XSLT
1372 Jakob Benjamin Boisen Juhl 20040437 20-01-2010 Anders Møller Scripting i OpenEngine
1371 Smári Viðarsson Waage 20064124 20-01-2010 Anders Møller A study of Trace-based Compilation
1370 Mads Hyldegaard 20013259 21-12-2009 Peter Møller-Nielsen Kollisionshåndtering i Partikelsystemer på en GPU
1369 Thomas Alstrup Jørgensen 20041786 16-12-2009 Niels Olof Bouvin Virkning af Mobilitets Modeller på simulationer af routing protokoller
1368 Jörn Martin Hajek 19983310 08-12-2009 Peter Bro Miltersen Thresholded Rewards
1367 Johnni Winther 19961783 26-11-2009 Michael I. Schwartzbach A Closer Shave - Improving Precision of AST Tools
1366 Peter Sebastian Nordholt 20022601 20-11-2009 Ivan Bjerre Damgård Gitter baseret Kryptografi. En gennemgang af nye public-key systemer af Peikert
1365 Bo Elmholdt Sunesen 20041083 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 20041574 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 20030609 05-11-2009 Henrik Bærbak Christensen A Tool for Conformance Checking Architectural Styles
1362 Kristof Römisch 20032549 30-10-2009 Peter Møller-Nielsen Sparse Voxel Octree Ray Tracing on the GPU
1361 Christian P V Christoffersen 20050879 28-10-2009 Ole Østerby Real-time Fragmentation of Solid Material using the Finite Element Method
1360 Carsten Nørby 20051359 28-10-2009 Ole Østerby Real-time Fragmentation of Solid Material using the Finite Element Method
1359 Surayya Urazimbetova 20052651 27-10-2009 Søren Christensen An Algorithm for Visualization of Large State Spaces via Context-aware Image Resizing
1358 Ronny Rundberg Bruus 20040823 19-10-2009 Anders Møller Analyse af HTTP sikkerhed i Webapplikationer
1357 Mads Kristensen 20041088 01-10-2009 Preben Holst Mogensen Test Driven Development and Continuous Integration in Buisness Intelligence
1356 Karl Tillmann Rendel 20075099 14-09-2009 Klaus Ostermann Typed Self-Representation for Safe and Efficient Meta-Programming
1355 Sebastian Thore Erdweg 20085641 14-09-2009 Klaus Ostermann
1354 Lasse Kosetski Deleuran 20030587 31-08-2009 Lars Arge Polygonal Line Simplification
1353 Jakob Aarøe Dam 20030601 28-08-2009 Olivier Danvy A Web-Based Weather Service for Wind Sports
1352 Kasper Ligaard 19962323 14-08-2009 Niels Olof Bouvin and Frank Allan Hansen An Exploratory Search Tool for Folksonomies
1351 Muhammad Asif 20024435 13-08-2009 Erik Ernst A Safer SOA-based Middleware Interface to Cisco ACE
1350 Fredrik Skeel Løkke 20022555 04-08-2009 Erik Ernst Design Patterns and Scala
1349 Morten Bohøj 20031905 27-07-2009 Susanne Bødker Social Navigation, Adaptivity and Validation
1348 Liliana Ewa Skolimowska 20050600 24-07-2009 Peter Bro Miltersen Bartering Systems - Design and Implementation
1347 Michael Achenbach 20074944 22-07-2009 Klaus Ostermann Abstraction Engineering
1346 Chong Tan 20034244 08-07-2009 Christian Nørgaard Storm Pedersen Financial Time Series Forecasting using improved Wavelet Neural Network
1345 Jesper Nielsen 20031405 08-07-2009 Christian Nørgaard Storm Pedersen Finding Patterns in Biological and Molecular Data
1344 Mads Østerby Jespersen 20003750 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 20000646 03-07-2009 Niels Olof Bouvin Optimizing Mobile Applications using Cyber Foraging
1342 Konstantinos Tsakalidis 20070085 02-07-2009 Gerth Stølting Brodal External Memory 3-sided Planar Range Reporting and Persistent B-Trees
1341 Jakob Løvstad Funder 20033047 01-07-2009 Ivan Bjerre Damgård Cryptography in Higher Dimensions
1340 Jonathan Frumer 20030584 29-06-2009 Niels Olof Bouvin Evaluating Location Aware Multihop Routing for Pervasive Monitoring of Firefighters
1339 Christof Lemke 20033276 25-06-2009 Niels Olof Bouvin A Trusted P2P Overlay for Social Networking
1338 Anne Therese Frost Hansen 19993591 24-06-2009 Marianne Graves Supporting social interaction between Web 2.0-services
1337 Morten Tranberg Hansen 20033048 24-06-2009 Søren Christensen Long Living Sensors
1336 Helle Friis Petersen 19981457 15-06-2009 Preben Mogensen Rules for development and use of a system for mood monitoring and lifechart
1335 Søren Sunesen Soltveit 20033035 02-06-2009 Henrik Bærbak Christensen Criticism of a software quality model
1334 Renata Pusinskiené 20070791 28-05-2009 Søren Christensen Requirements processing for Web based information systems: guidelines and t
1333 Henrik Gammelmark 20031899 15-05-2009 Niels Olof Bouvin Adaptive Forms: A XML-Based Framework for Dynamic Data Entry
1332 Ole Jørgensen 20012263 06-05-2009 Christian Nørgaard Storm Pedersen Logisk regression i associations kortlægning
1331 Woody Toke Mejer Jensen 20013922 06-05-2009 Christian Nørgaard Storm Pedersen Improving a Text Prediction Algorithm without using Language specific Knowledge
1330 Janus Bager Kristensen 20030591 01-05-2009 Peter Møller-Nielsen Working towards a more physically correct Real-Time Rendering of Indoor Scenes
1329 Rolf Bagge 20031548 01-05-2009 Peter Møller-Nielsen Working towards a more physically correct Real-Time Rendering of Indoor Scenes
1328 Niels Raabjerg Mathiasen 20022586 15-04-2009 Susanne Bødker Designing Useful IT Security for Everyday People
1327 Claudio Orlandi 20064603 15-04-2009 Ivan Bjerre Damgård LEGO and Other Cryptographic Constructions
1326 Henrik Bitsch Kirk 20030612 01-04-2009 Gerth S. Brodal Searching with dynamic Optimality; in Theory and Practise
1325 Bjarke Nørgaard Laustsen 20020560 24-03-2009 Peter Møller-Nielsen Real-time Camera-Space Subsurface scattering on the GPU.
1324 Lea Troels Møller Pedersen 20030579 19-03-2009 Anders Møller Program Slicing for String Analysis.
1323 Kristian Andersen 20032940 18-03-2009 Niels Olof Bouvin Task Scheduling in Cyber Foraging.
1322 Kim Rauff Schurmann 20033033 18-03-2009 Niels Olof Bouvin Task Scheduling in Cyber Foraging.
1321 Krzysztof Piatkowski 20033003 25-02-2009 Gerth Stølting Brodal Engineering Maximum Delsum Algorithms.
1320 Lars Søndergaard Pedersen 19912590 13-02-2009 Erik Ernst Native Command Queuing og Latency.
1319 Anders Kirkeskov Carlsen 20002273 29-01-2009 Michael Schwartzbach Evaluation of a DSL for SMC.
1318 Niels Ladegaard Beck 20012038 28-01-2009 Erik Ernst Optimizing LINQ-quries in C5 using Indices.
1317 Torben Ditlev Jensen 20050050 23-01-2009 Ivan Damgaard Security in Battle Management Systems using Web-services, under the Influence of a Service Oriented Architecture
1316 Kim Birkelund 20011395 19-01-2009 Erik Ernst Virtual Classes and Dynamic Composition on a Statically Typed Virtual Machine
1315 Gert Læssøe Mikkelsen 20022924 19-01-2009 Ivan Bjerre Damgård On the Mobility and Security of Personal Digital Signatures
1314 Bjørn Suchocka Petersen 20041833 16-01-2009 Ole Caprani En ny paltform for kamera-baseret syn på mobile LEGO Mindstorms NXT robotter
1313 Kristian Asbjørn Leth Espensen 20032701 16-01-2009 Lars M. Kristensen Automatic Code Generation from Process-partitioned coloured Petri Net Models
1312 Mads Keblov Kjeldsen 20033046 16-01-2009 Lars M. Kristensen Automatic Code Generation from Process-partitioned coloured Petri Net Models
1311 Jakob Vaagholt Sørensen 19982307 16-01-2009 Ole Caprani Can Computers play Whist? -A Framework to develop and experiment with learning, Computer controlled Players.
1310 Sine Flarup Budtz 19980786 16-01-2009 Ole Caprani Can Computers play Whist? -A Framework to develop and experiment with learning, Computer controlled Players.
1309 Raphael Dobers 20040006 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 20021800 13-01-2009 Christian Nørgaard Storm Pedersen Virtual Screening, Docking and Tree Comparison Methods
1307 Claus Andersen 20030583 19-12-2008 Gerth Stølting Brodal An optimal Minimum Spanning Tree Algorithm
1306 Piotr Zbigniew Karasinski 20060318 17-12-2008 Ole Caprani Utilization of the Java Programming Language ind Sound Processing Applications
1305 Anders Westfall Reinholt Petersen 20014444 09-12-2008 Henrik Bærbak Christensen Model for Measuring Alignment in University Courses
1304 Søren Kanstrup 20010558 13-11-2008 Kaj Grønbæk Communities of Practice using FOAF
1303 Kristian Jakob Dorland 20020458 06-11-2008 Lars Michael Kristensen A virtual Environment for Development of Location-Aware Mobile Network Software
1302 Torill Hagesæther Skytte 20020806 28-10-2008 Morten Kyng User-Driven innovation - when there are complex Interrelations within the User-Group
1301 Asbjørn Tølbøl Brask 20030578 27-10-2008 Christian Nørgaard Storm Pedersen Optimizing general hidden Markov Models on Multi-Core CPUs and GPUs
1300 Henrik Skaarup Andersen 20030577 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 20030582 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 20022549 03-10-2008 Ole Østerby Deformed Particle Level Set
1297 Bjørn Rohde Jensen 19920550 02-10-2008 Christian Nørgaard Storm Pedersen Træ rekonstruktion ved Maximum Likelihood ved brug af eksisterende viden
1296 Bjørn Rohde Jensen 19920551 02-10-2008 Christian Nørgaard Storm Pedersen Tree Reconstruction by Maximum Likelihood using Prior Knowledge
1295 Benjamin Toft Jakobsen 20022151 02-10-2008 Christian Nørgaard Storm Pedersen Word Deobfuscation in Spam Filtering
1294 Martin Simonsen 20030596 02-10-2008 Christian Nørgaard Storm Pedersen Phylogenetic Interence on Cell Processors
1293 Olafur Helgi Rögnvaldsson 20060039 26-09-2008 Frank Allan Hansen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1292 Rune Lehard Hansen Stubbe 20032911 24-09-2008 Peter Bro Miltersen Computer Program Compression
1291 Ebbe Oberlin Flarup 20030592 11-09-2008 Klaus Marius Hansen Arkitektoniske stile for heterogene fler-kerne processorer: Et empirisk studie ved brug af Cell Broa
1290 Jacob Styrup Bang 20030585 11-09-2008 Klaus Marius Hansen Arkitektoniske stile for heterogene fler-kerne processorer: Et empirisk studie ved brug af Cell Broa
1289 Troels Lund Rasmussen 20013609 13-08-2008 Gudmund Frandsen An Experimental comparison of Algorithms for generating random factored Numbers
1288 Anders Hessellund Jensen 20000253 04-07-2008 Lars Arge I/O-efficient handling of LIDAR Point Clouds
1287 Jonas Sejr 20021728 27-06-2008 Preben Mogensen Agile Versus Participatory
1286 Morten Stærkær 20021854 27-06-2008 Klaus Marius Hansen Comparing Web Services and REST
1285 Jacob Johannsen 19990920 25-06-2008 Olivier Danvy Et studie af Abadi & Cardellis type-løse objekt-calculus
1284 Anders Bach Madsen 19993089 03-06-2008 Erik Ernst Efficient Virtual Machine Support for Dynamic Patterns
1283 Jing Wang 20030464 26-05-2008 Michael Schwartzbach HTML Personalization. HTML to XHTML Transformation, CSS Normalization and Ads Replacement
1282 Rasmus Winther Lauritsen 20021859 04-05-2008 Ivan Damgård Backups with computational secret sharing
1281 Hans Ehlert Thomsen 19980076 30-04-2008 Susanne Bødker Activity Theory Informed Scenario Based Design
1280 Per Graa 20014641 16-04-2008 Michael Schwartzbach A Survey of syntax extension tools for Java
1279 Mehdi Abyar 20023623 15-04-2008 Ivan Damgård Evaluation of Codesealer
1278 Carsten Raskgaard 19952229 04-04-2008 Ivan Damgård On the Protection of the Integrity of Data stored on untrusted Storage
1277 Søren Markert 20010467 31-03-2008 Lars Kristensen Internet Connectivity for MANETs
1276 Sune Koch Hansen 20040010 31-03-2008 Anders Møller Call-Graph analysis for Javascript
1275 Jesper Dyhrman Thomsen 19952003 31-03-2008 Ole Caprani Investigating the applicability of reinforcement learning methods to agents in first person shooter games
1274 Michael Nielsen 20021059 25-03-2008 Gerth Stølting Brodal A Survey of Algorithms for Solving the Generalized Mover's Problem in 3D
1273 Jonas Maturana Larsen 20023690 25-03-2008 Gerth Stølting Brodal A Survey of Algorithms for Solving the Generalized Movers Problem in 3D
1272 Johannes Brøgger Albertsen 20020170 11-03-2008 Niels Olof Bouvin Dynamic Content and Structural Search in MediaWiki
1271 Peter Madsen 19950635 04-03-2008 Jakob Bardram Rover: A Data Management Infrastructure for Activity-Based Computing - Extending the support for user Mobility
1270 Mikkel Edelmann Nielsen 19971714 04-03-2008 Ole Caprani Robotgame implemented on LEJOS-Java Platform
1269 Joakim Bittel Geisler 20012291 21-02-2008 Ivan Damgård Implementing Asynchronous Multi-Party Computation
1268 Carsten Wollsen 20024458 28-01-2008 Ole Caprani King Bluetooth and His Lovely Princess - A Robot Game on the Logo Mindstorms NXT Platform
1267 Allan Rasmusson 19971788 22-01-2008 Peter Møller-Nielsen and Thomas Sangild Simulating Cardiac Surgery in CUDA
1266 Mikkel Krøigaard 20011491 18-01-2008 Ivan Damgård Efficient and Practical Multiparty Computation.
1265 Christian Jonigkeit 20021232 18-01-2008 Klaus Marius Hansen Symbolic Debuggers for Distributed Systems
1264 Lasse Dahl Ebert 20020867 10-01-2008 Christian Nørgaard Storm Pedersen Comparison of the Learning Methods of three Types of neural Networks
1263 Brian Bunch Christensen 20011722 01-02-2008 Susanne Bødker Computational Methods and Data Structures for Improved Fluid Simulations.
1262 Morten Revsbæk 20000296 20-12-2007 Lars Arge I/O Efficient Algorithms for Batched Union-Find with Dynamic Set Properties and its Application to Hydrological Conditioning
1261 Allan Grønlund 20012538 19-12-2007 Gerth Stølting Brodal Fault Tolerant Data Structures and Selecting Sums in Arrays
1260 Bjarne Knudsen 20001824 27-11-2007 Peter Møller-Nielsen Physics Based Character Animation for Interactive Applications
1259 Niels Jeppe Anders Nielsen 19984373 19-11-2007 Peter Møller-Nielsen Point Cloude Modeling
1258 Jakob Justsen 19982146 12-11-2007 Niels Oluf Bouvin Interactive Peer-to-Peer Live Streaming Network
1257 Martin Mortensen 20040896 09-11-2007 Michael Schwartzback High Level Programming Language Compiling to a cellular Automata Processing Model
1256 Lars Møller 20022492 01-11-2007 Søren Christensen Modeling and Analysis of the DCCP Protocol in CPN
1255 Carsten Haahr Larsen 20034045 26-10-2007 Henrik Bærbak Christensen Multitasking Web Application Platform Supporting Activity-based Computing
1254 Chresten Lei Sandager 20033293 09-10-2007 Susanne Bødker Analysis of user identification methods for ”Den Interaktive Operationsplan”
1253 Torsten Aaboe Andersen 20033031 09-10-2007 Susanne Bødker Analysis of user identification methods for ”Den Interaktive Operationsplan”
1252 Anders Jacobsen 20041570 28-09-2007 Anders Møller Analysis of SAX Applications
1251 Mads Byrgesen Tandrup 20020185 28-09-2007 Jesper Buus Nielsen Implementing Efficient Multiparty Computation - From Theory to Practice
1250 Artur Michal Gadomski 20033374 14-09-2007 Henrik Bærbak Christensen Comparison of Automated Test Data generation Methods
1249 Thomas Rasmussen 19970561 30-08-2007 Gerth Stølting Brodal Evaluation of an intersection algorithm for Bézier curves in the plane
1248 Bo Martin Sponholtz 20020187 27-08-2007 Niels Oluf Bouvin Applying Trust Negotiation to Cyber Foraging
1247 Bárdur Háskor 20043458 23-08-2007 Anders Møller Analysis of String Expressions
1246 Jonas Krarup Dam 20030602 23-08-2007 Anders Møller Static validation of XHTML Output from Java Servlets and JSP
1245 Rasmus Nygaard Andersen 20020543 23-08-2007 Anders Møller Survey of Web-application Frameworks
1244 Rune Simonsen 20022374 23-08-2007 Anders Møller Statisk analyse af JavaScript: Indledende arbejde
1243 Reasmus Kromann-Larsen 20020557 23-08-2007 Anders Møller Statisk analyse af JavaScript: Indledende arbejde
1242 Brian Pedersen 20020736 21-08-2007 Lars Michael Kristensen Modeling and Validating Distributed Autoconfiguration of Mobile ad hoc Networks using Coloured Petri Nets
1241 Gabriel Jacob Siegel 20020753 27-07-2007 Peter Møller-Nielsen Combining Cutting Edge Shadow Volume Algorithms
1240 Lars Hvam Petersen 20011731 05-07-2007 Lars Arge External Priority Queues in Practice
1239 Martin Henning Jensen 20020555 29-06-2007 Peter Møller-Nielsen Combining Cutting Edge Shadow Volume Algorithms
1238 Esben Søe Sørensen 19990742 29-06-2007 Michael Schwartzback A Domain-specific Language for Web Broesing
1237 Thomas John Hørlyck Christensen 20024436 29-06-2007 Michael Schwartzbach og Peter Gorm Larsen Cognitive-behavioral Therapy using Mediating Instruments
1236 Peter Færløv Bering 20010927 29-06-2007 Susanne Bødker Cognitive-behavioral Therapy using Mediating Instruments
1235 Alex Andersen 20001411 26-06-2007 Jens Bæk Jørgensen Requirements Engineering for a License Management System with a Excutable Use Cases
1234 Clemens Nylandssted Klokmose 20011397 19-06-2007 Susanne Bødker From a theoretical Understanding to Practical Design of Ubiquitous User Interfaces
1233 Michael Petersen 20012792 19-06-2007 Klaus Marius Hansen Arguing Safety for Pervasive Computing Scenarios - A Study of Modular Safety
1232 Peter Dueholm Justesen 20010984 19-06-2007 Ole Caprani Exploring User Defined Audio/Visual Spaces using a Hybrid Human Based Genetic Algorithm
1231 Jørgen Lund 20011199 12-06-2007 Gudmund Frandsen Experimental Comparison of Algorithms for reducing binary quadratic forms
1230 Thomas Mølhave 20011373 11-06-2007 Lars Arge (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1229 Peter Kjellerup Rasmussen 19912458 01-06-2007 Niels Olof Bouvin Realtime Data Distribution in Peer-to-Peer Networks
1228 Erik Mejer Hansen 20020564 31-05-2007 Christian Nørgaard Storm Pedersen Methods for Comparison of Trees
1227 Henrik Thuesen 20001016 23-05-2007 Anders Møller Type Inference for Javascript
1226 Johan Lund Munk 20000345 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.
1225 Peter Gade Jensen 20002177 22-05-2007 Lars Michael Kristensen Evaluatio of Protocols for Reliable Multicast Routing in Wireless Sensor Networks
1224 Jens Pilemand Ottesen 20024452 21-05-2007 Niels Olof Bouvin Evaluation and Design of a Supernode Architecture for heterogenous MANETs.
1223 Nikolaj Gynther Bramsen 19981476 18-04-2007 Ole Caprani Computer Supported Construction Work
1222 Søren Boll Overgaard 19983183 26-03-2007 Kaj Grønbæk Fusion F: Et system til datafusion i forbindelse med multinomial interaktion
1221 Henrik Lynbech 19952463 22-03-2007 Ole Caprani Music Software for live Group Performance
1220 Mikkel Bech-Petersen 19983575 22-03-2007 Ole Caprani Music Software for live Group Performance
1219 Carsten Holmvig Pedersen 20022578 22-03-2007 Henrik Bærbak Christensen A prototype for Socket Simulation
1218 Jesper Wolff Olsen 19992899 08-03-2007 Preben Holst Mogensen The Harmonization of Physicality and Digitality. - The true Challenge of Ubiquitous Computing
1217 Tony Gjerlufsen 19992767 08-03-2007 Preben Holst Mogensen The Harmonization of Physicality and Digitality. - The true Challenge of Ubiquitous Computing
1216 Bjørn Casper Torndahl 20012057 08-03-2007 Gerth Stølting Brodal Cache - Oblivious Tries
1215 Bo Søndergaard Carstensen 20002687 08-03-2007 Gerth Stølting Brodal Cache - Oblivious Tries
1214 Jimmy Weibel Rasmussen 20010924 07-03-2007 Mogens Nielsen A Calculus for Context Awareness
1213 André Højgaard Jensen 19912132 28-02-2007 Brian Mayoh Classification of Objects in digital Pictures
1212 Stine Cortsen Hansen 19981825 28-02-2007 Lars Michael Kristensen Modelling and Validation of the Dynamic MANET On-Demand Routing Protocol
1211 Rasmus Grønbæk 20013233 27-02-2007 Christian Nørgaard Storm Pedersen Detecting maximal quasiperiodic Substrings
1210 Sune Sloth Simonsen 20003378 27-02-2007 Christian Nørgaard Storm Pedersen Analysis and Implementation of Suffix Trees based on enhanced Suffix Arrays
1209 Rolf Ehrenreich Thorup 20002085 26-02-2007 Lars Michael Kristensen Implementing and Evaluating the Dymo Routing Protocol
1208 Peter Ravn Kragelund 19992598 26-02-2007 Morten Kyng Improvement of Software Development - based on an Empirical Analysis of COWI A/S
1207 Peter Trier Mikkelsen 20012938 16-02-2007 Peter Møller-Nielsen The Virtual Ear
1206 Christian Bøegh Larsen 20012693 12-02-2007 Ivan Damgaard Electronic Voting - Properties, Threats and Protocols
1205 Jiangbo Cheng 20043051 09-02-2007 Lars Michael Kristensen Evaluation and Optimization of Heuristics for TCP Acknowledgement Frequency
1204 Steffen Wang Fischer 20000252 06-02-2007 Christian Nørgaard Storm Pedersen Evaluation of genetic Algorithm-Based least Squares and minimum Evolution Methods
1203 Mads Peter Lindberg 20001990 06-02-2007 Christian Nørgaard Storm Pedersen Evaluation of genetic Algorithm-Based least Squares and minimum Evolution Methods
1202 Kristian Dorph-Petersen 19970672 30-01-2007 Gerth Stølting Brodal Practical use of dynamic Sampling in Data Streams for logging for logging Network Usage
1201 Rasmus Noesgaard Leth Vestergaard 20001348 24-01-2007 Ivan Damgaard Universal One-Way Hash Functions
1200 Jacob Andersen 20002271 24-01-2007 Jakob Bardram (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1199 Rasmus Fruergaard-Pedersen 20003435 08-01-2007 Brian Mayoh Demining Strategies using low-cost Robotic Units
1198 Rune Thorbek 20000324 19-12-2006 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1197 Svend Rostgaard Thielsen 20024455 12-12-2006 Klaus Marius Hansen Runtime Monitoring of Architectural Qualities
1196 Tajs Bromose Kolman 20001917 20-11-2006 Ivan Damgaard Digiatle Signaturer og Merkle Træer
1195 Thomas Toftkjær 19983314 14-11-2006 Christian Nørgaard Storm Pedersen Praktisk hurtige algoritmer til Suffiks array konstruktion
1194 Ole Lambæk 20030205 14-11-2006 Christian Nørgaard Storm Pedersen Practical fast Algorithms for constructing Suffix Arrays
1193 Gang Jun Tu 19940295 13-11-2006 Brian Mayoh Billedbehandling og analyse baseret på Wavelet transform
1192 Svend Hesselholt Henne Hansen 20000522 06-11-2006 Peter Møller-Nielsen Real Time Ray Tracer til Panoramaet
1191 Nicolai Lundgaard 19982078 06-11-2006 Peter Møller Nielsen Parallel Programming on the GPU
1190 Kim Alster Larsen 20011709 02-11-2006 Niels Olof Bouvin Data distribution via P2P Multicast
1189 Søren Gjellerup Christiansen 20001683 26-10-2006 Ole Caprani Hvordan man består Turing-testen med varianter af Eliza
1188 Morten Lynge Jensen 20032933 23-10-2006 Brian Mayoh Distributing NeuroEvolution of Augmenting Topologies in order to evaluate Strategies in different Environments
1187 Niels Døssing 19971361 04-10-2006 Gudmund Frandsen Experimental Comparison of GCD Algorithms
1186 Jing Sun 20034243 26-09-2006 Henrik Bærbak Christensen Software Architecture Conformance Checking at Development Time
1185 Rasmus Vedel Petersen 19940281 25-09-2006 Ole Caprani Naturvidenskabelig undervisning med Lego og Robolab
1184 Jesper André Lyngesen Pedersen 20020510 25-09-2006 Ole Caprani Robot Navigation
1183 Søren Skov 20023502 21-09-2006 Peter Møller-Nielsen Simulation of Blood Flow on the CPU for Planning Children
1182 Kristian Bisgaard Lassen 20000440 19-09-2006 Søren Christensen From Real World Problems to Implemantation Using Coloured Petri Nets and translations Between Workflow Languages
1181 Kim Bjørn Nielsen 20000169 06-09-2006 Lars Michael Kristensen Transition Mechanisms in IPv6
1180 Maibritt Kerner 19973750 05-09-2006 Jens Bæk Jørgense The early history of Computer Science in Århus - prelude, context and estabilishment
1179 Søren Olesen 20034065 05-09-2006 Henrik Bærbak Christensen FrameWork for Boardgames
1178 Mads Darø Kristensen 20043618 22-08-2006 Niels Olof Bouvin Evaluating Energy Efficient Routing Protocols for Nomadic Networks
1177 Kristian Ellebæk Kjær 20001960 18-08-2006 Klaus Marius Hansen First-Class Service Composition and Coordination in Pervasive Computing
1176 Espen Toftdahl Nielsen 20001722 18-08-2006 Klaus Marius Hansen First-Class Service Composition and Coordination in Pervasive Computing
1175 Paul Fleischer 20011121 17-08-2006 Lars Michael Kristiansen Implementation and Evaluation of a Quality of Service Option Header Architecture
1174 Helge Jensen 19940337 17-08-2006 Søren Christensen and Aino Corry Routning in Multi-Entry netværk at Kamstrup
1173 Rasmus Witting Larsen 20001263 15-08-2006 Peter Møller-Nielsen Ray Tracing using evolutionary Algorithms
1172 Rene Vejlgaard Vedstesen 20030581 15-08-2006 Klaus Marius Hansen Parallelization of Particle Swarm Optimization
1171 Lene Søndergaard Nielsen 20000528 15-08-2006 Peter Møller-Nielsen Parallelization of Particle Swarm Optimization
1170 Martin Kjeldsen 20020558 17-07-2006 Klaus Marius Hansen An Approach to interoperability using semantic Web Services
1169 Niels Ole Jensen 19920533 28-06-2006 Jens Bæk Jørgensen CPN-modellering og analyse af routing i mobile ad hoc netværk
1168 Dennis Jensen Søgaard 20024454 23-06-2006 Gerth Stølting Brodal Motion Planning in the Plane
1167 Søren Michael Ustrup 20024457 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
1166 Jonathan Bech Bunde-Pedersen 20001848 15-06-2006 Jakob Bardram (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1165 Mikkel Baun Kjærgaard 20002586 14-06-2006 Søren Christensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1164 Jeppe Rørbæk Brønsted 20002284 13-06-2006 Klaus Marius Hansen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1163 Søren Besenbacher 20001980 08-06-2006 Christian Nørgaard Storm Pedersen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1162 Andreas Bak-Riemer 20001680 16-06-2006 Ole Caprani En fase vocoder i supercollider.
1161 Svend Haugaard Sørensen 19912431 01-06-2006 Brian Mayoh Hierarchies
1160 Morten Laustsen 19992724 29-05-2006 Gerth Stølting Brodal Range Counging in the Cache Oblivious
1159 Balasuthas Sundararajah 19980107 29-05-2006 Niels Olof Bouvin og Jakob Bardram Structured P2P Environment for Context Aware Services
1158 Thomas Hæstrup 19980891 29-05-2006 Jakob Bardram Structured P2P Environment for Context Aware Services
1157 Timo Paukku Dinnesen 20002240 28-04-2006 Ole Caprani Design and implementation of a LEGO mindstorms based Robot Game on a JAVA Platform
1156 Lee Herluf Lund Lassen 19993286 18-04-2006 Jakob Bardram Realtime Rendering of Fire in 3D using Navier-stokes Equations for an Incompressible Gas
1155 Guoqing Zhang 20033999 30-03-2006 Lars Michael Kristensen Modelling and Validation of the Ad-hoc On-demand Distance Vector Protocol using Coloured Petri Nets
1154 Janus Dam Nielsen 20000931 30-03-2006 Anders Møller Relations between Schema Languages for XML
1153 Søren Kuula 19972649 30-03-2006 Michael Schwartzbach and Anders Møller Practical type-safe XSLT 2.0 stylesheet authoring
1152 Peter Julian Marstrand Mechlenborg 19993391 29-03-2006 Ulrik Pagh Schultz En fleksibel tilgang til sprog interoperbilitet
1151 Søren Aaen Madsen 20033051 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
1150 Thomas Jakobsen 20002777 27-03-2006 Ivan Damgård Sikre distribuerede beregninger på heltal
1149 Strange Løhde From 20002630 27-03-2006 Ivan Damgård Sikre distribuerede beregninger på heltal
1148 Araz Bayat Makoo 20001423 27-03-2006 Ivan Damgård Transformation af Symmetirsk Kryptering til Assymetrisk Kryptering ved hjælp af Obfuskering
1147 Ergin Kilic 19991935 27-03-2006 Ivan Damgård Commitment Schemes
1146 Kristian Beyer Thommesen 19952534 22-03-2006 Ivan Damgård Primality Verification with the Extended Quadratic Frobenius Test
1145 Karsten Østergaard Noe 20001995 03-03-2006 Peter Møller-Nielsen and Thomas Sangild Sørensen Viscous-fluid-registrering af medicinske 3D-billeder accelereret af GPU'en
1144 Jakob Langdal Jensen 19993846 27-02-2006 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1143 Martin Randers 20002155 24-02-2006 Christian Nørgaard Storm Pedersen Quartet Distance Between Evolutionary Trees of Arbitrary Degree
1142 Chris Christiansen 20000225 24-02-2006 Christian Nørgaard Storm Pedersen Quartet Distance Between Evolutionary Trees of Arbitrary Degree
1141 Martin Stig Stissing 19991834 24-02-2006 Christian Nørgaard Storm Pedersen Algorithms for Computing the Quartet Distance
1140 Kristoffer Kjærvik Pagels 20000524 23-02-2006 Ivan Damgård Implementation and Analysis of Five Group Signature Schemes
1139 Henrik Sloth Hansen 19990855 23-02-2006 Ivan Damgård Implementation and Analysis of Five Group Signature Schemes
1138 Jesper Fruergaard Andersen 19960197 22-02-2006 Brian Mayoh Cooperating AUUS
1137 Bo Vium Thomsen 20024456 07-02-2006 Erik Ernst Frob - A Programming Language for Multimedie Applications
1136 Jeppe Thestrup Knudsen 20020814 31-01-2006 Klaus Marius Hansen Architectural Refactorings - Analysis and Experiments on xADL 2.0 Based Architectural Descriptions
1135 Henrik Pedersen 19971392 30-01-2006 Niels Olof Bouvin Proactive and Reactive Adaptive Networks: An Evaluation
1134 Martin Mosegaard Jensen 20000737 26-01-2006 Anders Møller Understanding Parametric Shape Analysis
1133 Peter Flintholm Sørensen 19870546 16-01-2006 Ivan Damgård Password Based Authentification and Key Exchange - Theory and Practice
1132 Jesper Buch Hansen 19990127 11-01-2006 Gerth Stølting Brodal Computing the visibility graph of points within a polygon
1131 Casper Lindegaard Madsen 20024450 10-01-2006 Henrik Bærbak Christensen Java Objekt Persistent Modul Framework
1130 Martin Holmgaard Rossen-Jørgensen 20024453 10-01-2006 Henrik Bærbak Christensen Java Objekt Persistent Modul Framework
1129 Troels Bjerre Sørensen 19990498 20-12-2005 Peter Bro Miltersen Computing Equilibria of Two-Player Games
1128 Michael Østergaard Pedersen 19980142 16-12-2005 Ivan Damgård (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1127 Lars Vadstrup Hansen 19993737 29-11-2005 Ole Caprani Neuroevolution of artificial poker players without pre-encoded expert strategy
1126 Mathias Ravn 19993175 29-11-2005 Ole Caprani Neuroevolution of artificial poker players without pre-encoded expert strategy
1125 Martin Mogensen 20002229 31-10-2005 Jakob Bardram Distributed Objects
1124 Michael Bræmer Nielsen 20022647 24-10-2005 Thomas Sangild / Peter Møller Nielsen Real-time Fracture of Brittle Materials in a Game Setting
1123 Niels Tranberg Johansen 19994174 14-10-2005 Jakob Bardram A Data Management Infrastructure for Activity-Based Computing
1122 Bjarne Ridderberg 20002369 30-09-2005 Ole Caprani Java on the RCX
1121 Ronni Laursen 19993343 30-09-2005 Ole Caprani Investigating small scale combat situations in real-time strategy computer games
1120 Daniel Nielsen 19992541 30-09-2005 Ole Caprani Investigating small scale combat situations in real-time strategy computer games
1119 Hieu Trong Phan 19991719 02-09-2005 Brian Mayoh Applying Knowledge-Based Artificial Neural Networks in Game-Driven Intelligent Tutoring Systems
1118 Lars Ole Simonsen 20002751 30-08-2005 Peter Ørbæk A Comparison of Acceleration Structures for GPU Assisted Ray Tracing
1117 Niels Carsten Thrane 20002482 30-08-2005 Peter Ørbæk A Comparison of Acceleration Structures for GPU Assisted Ray Tracing
1116 Christoffer Magnussen 19993834 22-08-2005 Ole Caprani Embodied Evolution on the RCX in Java
1115 Boris Venkov 19983928 26-07-2005 Peter Ørbæk Realtime Physically Based Rendering of Lightning
1114 Ole Juul Kristensen 19971180 06-07-2005 Mogens Nielsen A Generic Agent Language
1113 Casper Lund Thomsen 19993647 04-07-2005 Christian N. Storm Pedersen Reconstructing Evolutionary Trees Using Experiments
1112 Mads Laursen 19993727 04-07-2005 Christian N. Storm Pedersen Reconstructing Evolutionary Trees Using Experiments
1111 Christopher Mosses 19993542 04-07-2005 Christian N. Storm Pedersen Triplet Supertrees
1110 Martin Knudsen 19980057 30-06-2005 Christian N. Storm Pedersen Stochastic context-free grammers and RNA secondary structure prediction
1109 Henning Qin Jehøj 19920398 29-06-2005 Kaj Grønbæk Awareness for collaborative web authoring - An event-notification mechanism for WebDAV
1108 Mikael Skovby Andersen 20001192 28-06-2005 Gudmund Skovbjerg Frandsen Fully Dynamic All Pairs Shortest Paths
1107 Andreas Andersen 20001062 28-06-2005 Gudmund Skovbjerg Frandsen Fully Dynamic All Pairs Shortest Paths
1106 Lars Hesel Christensen 19991934 28-06-2005 Gudmund Skovbjerg Frandsen An Experimental Comparison of the Miller-Rabin and the Extended Quardratic Frobenius Primality Tests
1105 Michael Westergaard 19991875 17-06-2005 Kurt Jensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1104 Kristian Støvring Sørensen 19990872 17-06-2005 Olivier Danvy Normalization and Simple Types
1103 Gabriel Moruz 20025131 16-06-2005 Gert Stølting Brodal (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1102 Sune Håkonsson 19912253 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.
1101 Piotr Michal Kotlicki 20023223 31-03-2005 Brian Mayoh Time Series Prediction Comparing New and Old Neutral Network Methods
1100 Thomas Lindgaard 19972035 31-03-2005 Kaj Grønbæk Geo-Spatial Indexing of Web Pages.
1099 Per Liboriussen 19870564 16-03-2005 Ole Lehrmann Madsen Genericity
1098 Rasmus Ellebæk Kjær 19990119 16-03-2005 Ivan Damgård An Overview of Traitor Tracing
1097 Jesper Torp Kristensen 19993197 15-03-2005 Peter Bro Miltersen Generation and Compression of Endgame Tables in Chess with Fast Random Access.
1096 Thomas Holmen Jørgensen 19990623 11-03-2005 Brian Mayoh Document clustering using hierarchical Kohonen networks
1095 Thomas Clemen Pedersen 19940196 08-03-2005 Peter Ørbæk Segmenting Medical Images on the GPU.
1094 Christina Fuglsang 19981545 25-02-2005 Jakob Bardram Runtime Environment for Supporting Composite Devices
1093 Simon Clemen Pedersen 19983818 25-02-2005 Jakob Bardram Runtime Environment for Supporting Composite Devices
1092 Michael Dalgaard Jepsen 19981103 24-01-2005 Ulrik Pagh Schultz Modules for Flexible and Mobile Applications.
1091 Jan Nielsen 19982356 24-01-2005 Ulrik Pagh Schultz Modules for Flexible and Mobile Applications.
1090 Helena Marie Meyer 19973338 24-01-2005 Mogens Nielsen Model checking infinite state systems: Symbolic representations, abstractions and experiments
1089 Hanne Steenberg Rasmussen 19990426 20-01-2005 Brian Mayoh The Use of L-systems in Multi-agent Systems for the Purpose of Biological Modelling
1088 Kaspar Rosengreen Nielsen 19993319 17-01-2005 Susanne Bødker Course Web - Examining Usability with Multiple Actors
1087 Jan Midtgaard 19980284 01-10-2004 Olivier Danvy From Implicit to Explicit Contexts in Operational Semantics
1086 Henning Korsholm Rohde 19980563 01-10-2004 Olivier Danvy Formal Aspects of Polyvariant Specialization
1085 Karl Kristian Krukow 19981944 06-07-2004 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1084 Kari Sofie Fogh Schougaard 19931424 24-06-2004 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1083 Torben Ruby 19971905 23-06-2004 Anders Møller Specification, Implementation, and Verification of Web Services
1082 Martin Ingvar Kofoed Jensen 19970755 23-06-2004 Brian Mayoh Katastrofe simulatorer - Ny viden og erfaring med RoboCup Rednings Simulatoren
1081 Mads Kristian Østerby Olesen 19980620 23-06-2004 Anders Møller Static Validation of XSLT
1080 Anne Joost Jensen 19993907 23-06-2004 Brian Mayoh Prediction of Protein Secondary Structure by Coevolving Neural Networks
1079 Emanuela Pinheiro Lins 20023827 23-06-2004 Ulrich Pagh Schultz Evolution, Versioning and Compatibility of Distributed Objects
1078 Jeppe Ravn-Grove 19962391 23-06-2004 Michael Schwartzbach Techniques for Automatic Error Checking of Software - a Comparison
1077 Christian Plesner Hansen 19992684 22-06-2004 Mads Torgersen An Efficient, Dynamically Extensible ELL Parser Library
1076 Jesper Risager Jensen 19930284 22-06-2004 Ole Lehrmann Madsen Extreme Programming - En iterativ software udviklingsmodel
1075 Erik Corry 19982437 22-06-2004 Ole Lehrmann Madsen Stack Allocation for Object-Oriented Languages
1074 Mads Brøgger Enevoldsen 19980117 22-06-2004 Ole Lehrmann Madsen Object Oriented Language Interoperability - A Case Study of BETA support in Eclipse
1073 Peter Buch Jakobsen 19970450 22-06-2004 Ole Caprani Ad Hoc netværk anvendt på autonome mobile adfærdsbaserede robotter
1072 Sune Kristensen 19962098 18-06-2004 Ole Caprani Robotspil - Introduktion af fysiske adaptive autonome agenter som del af interaktive underholdningsspil
1071 Lasse Westh-Nielsen 19971746 18-06-2004 Christian Nørgaard Storm Pedersen Refined Buneman Trees
1070 Kenneth-Daniel Nielsen 19961433 18-06-2004 Lars Michael Kristensen Evaluation of Broadcast Based Protocols for Data Dissemination in Traffic Warning Networks
1069 Martin Møller Johansen 19990177 17-06-2004 Rolf Fagerberg Integer Sorting
1068 Jesper Hedegaard 19991836 17-06-2004 Rolf Fagerberg Trade-offs for Internal and External Memory Dictionaries
1067 Jens Ebbesen 19991948 17-06-2004 Rolf Fagerberg A Survey of Density Keeping Algorithms
1066 Karsten Strandgaard Jørgensen 19980471 16-06-2004 Rolf Fagerberg Shortest Paths in Directed Graphs
1065 Gorm Lai 19972011 16-06-2004 Peter Ørbæk A Spectrally Based Global Illumination System
1064 Michael Toftdal 19992901 16-06-2004 Ulrich Kohlenbach Calibration of Ineffective Theorems of Analysis in a Constructive Context
1063 Laust Rud Jensen 20001573 14-06-2004 Peter D. Mosses A reuse repository with automated synonym support and cluster generation
1062 René Dalsgaard Larsen 19980959 14-06-2004 Niels Olof Bouvin HyperPeer - Peer-to-peer Based Hypermedia on the Web
1061 Rory Middleton 19981334 14-06-2004 Peter Møller Nielsen Real-time Simulation and Visualization of Water
1060 Sabrina Vestergaard Nielsen 19972247 14-06-2004 Peter Møller Nielsen Real-time Simulation and Visualization of Water
1059 Mads Sig Ager 19980100 09-06-2004 Olivier Danvy From Natural Semantics to Abstract Machines
1058 Kristoffer Arnsfelt Hansen 19980763 09-06-2004 Peter Bro Miltersen Constant Width and Constant Depth Computation.
1057 Martin Hansen 19972311 24-01-2004 Ole Caprani Vibrato Preserving Filling of Gaps in Harmonic Sounds.
1056 Peder Herborg 19981828 21-01-2004 Peter Ørbæk Implementation of a global illumination system with participating media
1055 Jacob Mortensen 19971222 21-01-2004 Peter Ørbæk Implementation of a global illumination system with participating media
1054 Carsten Kjær 19981552 21-01-2004 Peter Ørbæk Real-time soft shadows in a game engine
1053 Kasper Fauerby 19981349 21-01-2004 Peter Ørbæk Real-time soft shadows in a game engine
1052 Louise Skouboe Bjerg 19972606 20-01-2004 Gerth Stølting Brodal Approksimative afstande i planare grafer
1051 Lone Asferg 19971899 20-01-2004 Gerth Stølting Brodal Approksimative afstande i planare grafer
1050 Kåre Fiedler Christiansen 19972780 20-01-2004 Gudmund Frandsen Vedligeholdelse af sammenhængskomponenter i dynamiske grafer
1049 Wouter Boomsma 19972584 20-01-2004 Ole Caprani Adaptive operator scheduling in evolutionary algorithms
1048 Henning Böttger 19972495 19-01-2004 Anders Møller Web development - improving cooperation between programmers and HTML deigners using contracts
1047 Henrik Sandmann 19970412 19-01-2004 Christian N. Storm Pedersen Maksimale par og suffikstræer
1046 Niels Christian Bach 19951570 19-01-2004 Christian N. Storm Pedersen Skjulte Markov modeller og genidentifikation
1045 Torben Lauritzen 19940336 19-01-2004 Christian N. Storm Pedersen Skjulte Markov modeller og genidentifikation
1044 Søren Tjagvad Madsen 19961701 16-01-2004 Brian Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1043 Peter von der Ahé 19940358 16-01-2004 Ulrik Pagh Schultz Applications of concrete-type inference
1042 Kasper Jensen 19994401 16-01-2004 Mads Torgersen Distribuerede transaktioner
1041 Peter Tauensig Nielsen 19980835 15-01-2004 Henrik Bærbak Christensen Jesco - understøttelse af kollaborativ arbejde i Java
1040 Jon Asbjørn Svanholm Fogh 19980529 15-01-2004 Henrik Bærbak Christensen Jesco - understøttelse af kollaborativ arbejde i Java
1039 Jacob Frank Qvortrup 19982042 15-01-2004 Henrik Bærbak Christensen Agenter i pervasive healthcare
1038 Mads Orehøj Sørensen 19982293 15-01-2004 Henrik Bærbak Christensen Agenter i pervasive healthcare
1037 Klaus Andersen 19962380 13-01-2004 Brian Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1036 Kim Pedersen 19994369 13-01-2004 Brian Mayoh Accelerated numerical optimization on computationally expensive problems
1035 Michael Thornvig Mikkelsen 19970181 13-01-2004 Peter Bro Miltersen Towards practical deterministic extractors
1034 Peter Riishøj Brinkler 19921617 25-06-2003 Peter Møller-Nielsen Particle systems for computer graphics contents creation
1033 Jonas Auken 19951617 25-06-2003 Peter Møller-Nielsen Visuel tracking af interaktive objekter i virtuel scenografi
1032 Christian Gasser 19971112 25-06-2003 Ivan Bjerre Damgård Anonymity in communication networks
1031 Toke Eskildsen 19940324 24-06-2003 Olav Wedege Bertelsen Computeren in ovnen - brugsorienteret design af en grænseflade til en storkøkkenovn
1030 Kasper Verdich Lund 19972653 23-06-2003 Ole Lehrmann Madsen Revolutionizing Embedded Software Abstract
1029 Jakob Roland Andersen 19971284 23-06-2003 Ole Lehrmann Madsen Revolutionizing Embedded Software Abstract
1028 Henry Michael Lassen 19891129 23-06-2003 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1027 Kim Falk Jørgensen 19960813 23-06-2003 Ole Lehrmann Madsen Implementing distributed systems using web service technology
1026 Met-Mari Nielsen 19912191 23-06-2003 Ulrik Pagh Schultz A language fragment of social antipatterns in systems development
1025 Helle Markmann Andersen 19952378 20-06-2003 Ulrik Pagh Schultz Deklarativ specialisering af objektorienterede sprog
1024 Christian Kirkegaard 19970233 20-06-2003 Michael I. Schwartzbach Dynamic XML Processing with Static Validation Abstract
1023 Henrik Refslund Sørensen 19983335 20-06-2003 Jens Bæk Jørgensen Routing and TCP performance in mobile ad hoc networks
1022 Eva Troels 19982381 20-06-2003 Jens Bæk Jørgensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1021 Stephanie Elisabeth Fournier Munck 19940249 19-06-2003 Thiemo Kring Stochastic L-systems as generative encodings for evolving morphology and behaviour of virtual agents
1020 Emil Kaae Hansen 19970523 19-06-2003 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1019 Jesper Mosegaard 19981121 19-06-2003 Peter Møller-Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1018 Kristoffer Vinther 19980577 18-06-2003 Gerth Stølting Brodal/Rolf Fagerberg Engineering cache-oblivious sorting algorithms
1017 Frank Dabelstein 19861709 18-06-2003 Peter Møller-Nielsen Measuring execution characteristics of MPI master/slave programs
1016 Kasper Dupont 19972183 18-06-2003 Ivan Bjerre Damgård Disk encryption and Optimistic threshold RSA signatures
1015 Peter Skaarup 19940572 18-06-2003 Peter Møller-Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1014 Martin Elmer Jørgensen 19951174 18-06-2003 Brian Henry Mayoh Automatic discovery of parallelism and hierarchy in music
1013 Søren Louring 19952218 18-06-2003 Brian Henry Mayoh Traffic simulation using reinforcement learning
1012 Jesper Lindholt Ottosen 19912195 17-06-2003 Henrik Bærbak Christensen Framework til webbaseret selvbetjening
1011 Thomas Andreasen Ljungberg 19961591 17-06-2003 Ivan Bjerre Damgård Implementation and analysis of the arithmetic black box
1010 Jakob Gadegaard Bendixen 19930326 17-06-2003 Ivan Bjerre Damgård (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1009 Tomas Toft 19972525 17-06-2003 Ivan Bjerre Damgård [Sigma]-protocols based on n-one-way group homomorphisms
1008 Simon Aske Christensen 19970541 03-06-2003 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1007 René Manggaard Jensen 19971094 28-01-2003 Søren Christensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1006 Jonas Martin Thomsen 19970512 28-01-2003 Søren Christensen Analysis of GSM handover using coloured Petri nets
1005 Thomas Bjørn Andersen 19940434 27-01-2003 Peter Møller-Nielsen Affoldning af medicinske billeder
1004 Carsten B. Pedersen 19930379 27-01-2003 Peter Møller-Nielsen Affoldning af medicinske billeder
1003 Bo Normann Pedersen 19961893 27-01-2003 Christian Storm Pedersen Analyse og håndtering af genekspressionsdata
1002 Jan Rise 19961813 27-01-2003 Christian Storm Pedersen Analyse og håndtering af genekspressionsdata
1001 Phillipp Gerhardy 19962176 23-01-2003 Ulrich Kohlenbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
1000 Frank Allan Hansen 19962401 22-01-2003 Niels Oluf Bouvin XLink - bridging open hypermedia and the World Wide Web Abstract
999 Bent Guldbjerg Christensen 19960241 22-01-2003 Niels Olof Bouvin XLink - bridging open hypermedia and the World Wide Web Abstract
998 Michael Bang Nielsen 19960710 22-01-2003 Kaj Grønbæk Inverse rendering under uncontrolled illumination
997 Anders Brodersen 19960876 22-01-2003 Kaj Grønbæk Inverse rendering under uncontrolled illumination
996 Peter Juhl Christensen 19912180 21-01-2003 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
995 Mads Vanggaard Jensen 19971683 21-01-2003 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
994 Thomas Kejser 19940481 20-01-2003 Kaj Grønbæk The GAIA framework - toward versioning support in web based open hypermedia systems
993 Thomas Peter Kiel Rasmussen 19960968 20-01-2003 Brian Henry Mayoh Optimising hidden Markov models for multiple sequence alignment by hybrid particle swarm optimisation
992 Shahnam Taibakhsh 19880597 20-01-2003 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
991 Søren Schmidt Hansen 19970352 20-01-2003 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
990 Sara Halleløv 19961812 20-01-2003 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
989 Jørgen Iversen 19961519 11-12-2002 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
988 Bolette Ammitzbøll Madsen 19951231 10-12-2002 Sven Skyum (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
987 Andreas Claudi Andersen 19971691 18-07-2002 Ole Caprani Motivation networks in game AI - a new angle towards agent behaviour-selection
986 Andreas Møller 19971825 26-06-2002 Brian Henry Mayoh Believable multi agent systems
985 Morten Bek 19972246 26-06-2002 Peter Møller-Nielsen Evolutionary trained Kohonen networks as classifiers for human utterances
984 Troels Grosbøll-Poulsen 19972095 26-06-2002 Peter Møller-Nielsen Evolutionary trained Kohonen networks as classifiers for human utterances
983 Mads Ulrik Kristoffersen 19971968 26-06-2002 Peter Møller-Nielsen Evolutionary trained Kohonen networks as classifiers for human utterances
982 Peter Posselt Vestergaard 19960475 25-06-2002 Kaj Grønbæk (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
981 Mikkel Bjerg 19971430 25-06-2002 Michael I. Schwartzbach Static bounds on memory usage in Java programs
980 Ole Friis Østergaard 19971706 25-06-2002 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
979 Rasmus Rohde 19971650 25-06-2002 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
978 Thomas Brochmann Pedersen 19961378 24-06-2002 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
977 Rasmus Ebler Simonsen 19950203 24-06-2002 Ole Lehrmann Madsen Lazy JIT compilation - efficient lazy evaluation and compilation in a JIT compiler for an object oriented virtual machine
976 Morten D. Mørup 19912564 24-06-2002 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
975 Lene Bredgaard 19940159 24-06-2002 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
974 Darya Es Perge A. 19960520 21-06-2002 Susanne Bødker (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
973 Katrine Rauhe de Neergaard Ravn 19960592 21-06-2002 Susanne Bødker (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
972 Morten Løvbjerg 19961019 21-06-2002 Thiemo Krink Improving particle swarm optimization by hybridization of stochastic search heuristics and self-organized criticality
971 Jacques Riget 19962222 20-06-2002 Thiemo Krink Particle swarms - extensions for improved local, multi-moral, and dynamic search in numerical optimization
970 Jakob Svaneborg Vesterstrøm 19962528 20-06-2002 Thiemo Krink (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
969 Lars Rosenberg Nielsen 19940387 20-06-2002 Thiemo Krink Intelligent load sharing in NOWs
968 Robert Knudsen 19900414 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
967 Tabita Enig 19961738 19-06-2002 Olav Bertelsen Laserpennen som input device
966 Anders Kåre Olsen 19940579 19-06-2002 Jakob Bardram Context aware computing in a pervasive healthcare setting
965 Nis Haller Baggesen 19972331 19-06-2002 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
964 Mikkel Ricky 19950560 18-06-2002 Michael I. Schwartzbach Automatisk validering af webbaserede formularer
963 Mette Ravn 19952220 18-06-2002 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
962 Jesper Makholm Nielsen 19940580 17-06-2002 Peter Bro Miltersen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
961 Bjarke Skjernaa 19962929 17-06-2002 Sven Skyum (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
960 Stefan Sørensen 19962461 14-06-2002 Søren Christensen Disk based state space storage for coloured petri nets
959 Niels Kjær Sørensen 19960570 14-06-2002 Brian Henry Mayoh Identification, segmentation and visualization of coronaries from MR scans
958 Finn Larsen 19960383 22-01-2002 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
957 Martin Eriksen 19961534 22-01-2002 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
956 Jan Neerbek 19951138 22-01-2002 Gudmund Frandsen Lower bounds in the quantum black box model
955 Jan Ernfred Madsen 19962458 21-01-2002 Preben Mogensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
954 Peter Christian Ogstrup 19951638 21-01-2002 Preben Mogensen Forslag til risikostyringstiltag i offentlige IT-projekter.
953 Jakob Færch 19953028 21-01-2002 Søren Christensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
952 Claus Nicolaj Bendtsen 19960384 18-01-2002 Thiemo Krink (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
951 Walther Fledelius Hansen 19940542 18-01-2002 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
950 Lars Mellergaard 19940396 18-01-2002 Peter Møller-Nielsen Beowulf clusters in a GRID environment
949 Kim Burgaard 19930702 17-01-2002 Ulrik Pagh Schultz (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
948 Henrik Kjær Nielsen 19920482 17-01-2002 Ole Lehrmann Madsen Distributed Debugging: A Debugging Tool for Jini Applications
947 Per Bering Steffensen 19960617 17-01-2002 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
946 Claus Pedersen 19890582 16-01-2002 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
945 Claus Danielsen 19890647 16-01-2002 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
944 Morten Moth Iversen 19962477 16-01-2002 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
943 Alex Rune Berg 19962223 20-12-2001 Thiemo Krink/Erik Meineche Schmidt (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
942 Regnar Bang Lyngsø 19940319 27-06-2001 Ole Caprani Analysing real-time programs using Design/CPN Case study: LEGO RCX
941 Tejs Scharling 19950318 27-06-2001 Ole Caprani/Christian Nørgaard Storm Pedersen Gen-identifikation ved sekvens-sammenligning
940 Jacob Ilsø Christensen 19950308 27-06-2001 Gudmund Frandsen Dynamisk Pattern Matching
939 Jakob Skyberg 19920649 27-06-2001 Gudmund Frandsen Redigeringsafstande imellem niveau-strenge
938 Rasmus Kjær Ursem 19950654 26-06-2001 Brian Henry Mayoh/Thiemo Krink (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
937 Christian Yndigegn 19940504 25-06-2001 Kaj Grønbæk An Open Hypermedia Approach to The Semantic Web
936 Hans Kyndesgaard 19951677 25-06-2001 Peter Bro Miltersen Talerepræsentation med få bits.
935 Jesper Bach Larsen 19900440 25-06-2001 Thiemo Krink Specialization and Division of Labour in Distributed Autonomous Agents
934 Anders Morten Mikkelsen 19950431 22-06-2001 Søren Christensen On-The-Fly LTL Model Checking in Design/CNP
933 Jan Møller 19920611 22-06-2001 Søren Christensen Internal Network Security - Defending the Network from the Inside
932 Thorbjørn Donbæk 19920307 22-06-2001 Søren Christensen Internal Network Security - Defending the Network from the Inside
931 Anne Vinter Ratzer 19912179 22-06-2001 Susanne Bødker Use of Design Principles in Advanced User Interface Design
930 Jesper Buus Nielsen 19940276 14-06-2001 Ivan Damgaard Efficient Secure Multiparty Computation.
929 Mads Johan Jurik 19950911 14-06-2001 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
928 Mikkel Nygaard Hansen 19950639 07-06-2001 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
927 Anne Krogh Nielsen 19912268 24-01-2001 Olav Bertelsen Shit, now we have to change again - En virksomhedsteoretisk analyse og diskussion af et strategiudviklingsforløb
926 Christian Horsdal Pedersen 19950643 24-01-2001 Peter Bro Miltersen Probabilistically Checkable Proofs For Cellular Automata.
925 Tejs Bomme 19950687 24-01-2001 Michael I. Schwartzbach Redigering af regelbaserede XML-dokumenter på Internettet
924 Steffen Foldager 19950287 24-01-2001 Michael I. Schwartzbach Redigering af regelbaserede XML-dokumenter på Internettet
923 Michael Tyrsted 19940231 23-01-2001 Ole Lehrmann Madsen Application Migration in a Pervasive Computing Environment
922 Gustav Seth Wibling 19950938 23-01-2001 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
921 Morten Kvistgaard Nielsen 19880577 23-01-2001 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
920 Kristian Høgsberg Kristensen 19951303 22-01-2001 Gerth Stølting Brodal (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
919 Kaare Bøegh 19940469 22-01-2001 Jørgen Lindskov Knudsen Distributed Seismic Visualisation
918 Niels Husted Kjær 19951425 22-01-2001 Jørgen Lindskov Knudsen Distributed Seismic Visualisation
917 Rune Orsval 19951663 22-01-2001 Peter Møller-Nielsen EtHøjtalerorkester - design og implementation af en mange kanalers Phase-Vocoder
916 Lars Kroll Kristensen 19912406 19-01-2001 Thiemo Krink Aintz - Collective Problem Solving by Artificial Ants
915 Peter Rickers 19932636 19-01-2001 Thiemo Krink Introducing Spatial Agent-Based Models and Self-Organised Criticality to Evolutionary Algorithms
914 Rene Thomsen 19952157 19-01-2001 Thiemo Krink Introducing Spatial Agent-Based Models and Self-Organised Criticality to Evolutionary Algorithms
913 Ole Hedegaard Kristensen 19951827 19-01-2001 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
912 Thomas Mailund Jensen 19950489 19-12-2000 Søren Christensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
911 Jørgen Møller Ilsøe 19940317 29-06-2000 Ole Caprani Robot kontrolsystemer - eksperimetel undersøgelse af kontrolsystem arkitektur
910 Gregers Jørgensen 19930433 28-06-2000 Henrik Hautop Lund A Survey of Grammar-Based Genetic Programming
909 Esben Hallundbæk Østergaard 19930345 28-06-2000 Henrik Hautop Lund (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
908 Jesper Blynel 19930350 28-06-2000 Henrik Hautop Lund Reinforcement Learning on Real Robots
907 Søren Mors 19930677 28-06-2000 Ivan Damgaard Zero-knowledge arguments of possession for RC6 encryption keys
906 Johan Kjeldgaard-Pedersen 19940285 27-06-2000 Peter Bro Miltersen On the Complexity of Arithmetical Computation
905 Tage Kiilsholm Hansen 19920641 27-06-2000 Brian Henry Mayoh Ant Colony Optimization and Job Shop Scheduling - Schedule Robustness and Rescheduling
904 John Vibe Grevsen 19930362 27-06-2000 Ole Caprani Evolution af mobile robotters kontrolsystemer og morfologier
903 Anders Ringsmose 19950540 27-06-2000 Kasper Østerbye Primitiver til programmering med mobile objekter i et heterogent, løstkoblet netværk
902 Hans Erik Sørensen 19940451 26-06-2000 Susanne Bødker Brugbarhedsevaluering ved hjælp af log og dagbog
901 Flemming Gram Christensen 19951485 26-06-2000 Ole Lehrmann Madsen Applying Optimisations to an Object Oriented Programming Language
900 Anders Villy Ehrenreich Eriksen 19950632 26-06-2000 Ole Lehrmann Madsen Applying Optimisations to an Object Oriented Programming Language
899 Brian Kømmel Nielsen 19890613 26-06-2000 Jørgen Lindskov Knudsen 3D Mission Debreifing of F16 Fighter Pilots
898 Michael Balieu 19880570 26-06-2000 Jørgen Lindskov Knudsen 3D Mission Debriefing of F16 Fighter Pilots - An Experimental Prototype Using 3D Stereo Graphics
897 Anders Møller 19940392 16-06-2000 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
896 Louise Lorentsen 19940448 15-06-2000 Søren Christensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
895 Klaus Marius Hansen 19940589 31-05-2000 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
894 Christian Heide Damm 19940191 30-05-2000 Ole Lehrmann Madsen Component Architectures for Software Development Tools Abstract
893 Michael Thomsen 19940574 30-05-2000 Ole Lehrmann Madsen Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling
892 Oliver Möller 19984234 24-02-2000 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
891 Ulrik Jørgensen 19900693 26-01-2000 Ole Lehrmann Madsen Aspects of distributed objects - adding distribution to self
890 Thomas Arge 19900708 26-01-2000 Ole Lehrmann Madsen Aspects of distributed objects - adding distribution to self
889 Morten Grouleff 19900716 26-01-2000 Ole Lehrmann Madsen A concurrent garbage collector for BETA
888 Tom Pilgård 19930621 25-01-2000 Michael I. Schwartzbach Security aspects of web services
887 Mohammad Saeed Babakhani 19870602 25-01-2000 Brian Henry Mayoh Riding a bicycle to a goal using reinforcement learning and shaping
886 Henrik Madsen 19930544 25-01-2000 Henrik Hautop Lund Evolving a robust and complex control system for an autonomous robot
885 Søren Gregersen 19940263 25-01-2000 Henrik Hautop Lund Evolution and learning in robotics
884 Jon Bomme 19920308 24-01-2000 Jørgen Lindskov Knudsen Stereographic Visualisation of Computational Fluid Dynamics
883 Søren Vorre Therkildsen 19930359 24-01-2000 Jørgen Lindskov Knudsen Visualization of the cardiovascular system in a virtual reality environment for preoperative planning of cardiac surgery
882 Jacob Sebastian Winstrup Schmidt 19920392 24-01-2000 Jørgen Lindskov Knudsen Stereographic Visualisation of Computational Fluid Dynamics
881 Thomas Sangild Sørensen 19943192 24-01-2000 Jørgen Lindskov Knudsen Visualization of the cardiovascular system in a virtual reality environment for preoperative planning of cardiac surgery
880 Jan-Henrik Paulsen 19920459 21-01-2000 Søren Christensen Code generation from coloured Petri Nets
879 Tina Olesen 19912097 21-01-2000 Kurt Jensen Coloured Petri Nets and state space reduction methods
878 Peter Frands Frandsen 19940326 21-01-2000 Gudmund Frandsen Rangmaksimering og dynamisk rangberegning
877 Rasmus Pagh 19940258 01-12-1999 Peter Bro Miltersen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
876 Rene Schalburg 19831783 24-06-1999 Brian Henry Mayoh Table based Neural Networks with examples
875 Mikkel Yde Kjær 19930399 24-06-1999 Ole Caprani Robot-byggesæt til børn
874 Thomas Gjørup 19880522 23-06-1999 Jørgen Lindskov Knudsen Exploring Portals in Consumer Class Applications
873 Jens Kaas Benner 19930613 23-06-1999 Brian Henry Mayoh Automatisk konstruktion af statiske evalueringsfunktioner til ikke-trivielle strategiske brætspil
872 Eric Werk 19890660 23-06-1999 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
871 Anders Egestrøm 19912519 23-06-1999 Ole Lehrmann Madsen Mobile Object Systems
870 Lasse Reichstein Nielsen 19920666 22-06-1999 Olivier Danvy A Denotational Investigation of Defunctionalization
869 Niels Nørgaard Pedersen 19801771 22-06-1999 Mogens Nielsen Theorem Proving with Polymorphic Types
868 Claus Hjort Bjerre 19932957 22-06-1999 Henrik Hautop Lund Adaptive Pet Robots
867 Michael Nielsen 19930564 22-06-1999 Henrik Hautop Lund Adaptive Pet Robots
866 Kasper Støy 19930413 22-06-1999 Henrik Hautop Lund Adaptive Control Systems for Autonomous Robots
865 Jes Hvoldal Nielsen 19920337 22-06-1999 Henrik Hautop Lund Adaptive Pet Robots
864 Rene Rydhof Hansen 19920319 21-06-1999 Flemming Nielson Flow Logics for Mobile Agents
863 Jacob Grydholt Jensen 19920327 21-06-1999 Flemming Nielson Flow Logics for Mobile Agents
862 Lars Ulrik Pedersen 19930480 21-06-1999 Sven Skyum Et overblik over lavrate video komprimering
861 Morten Heiberg Rasmussen 19920634 21-06-1999 Peter Bro Miltersen An Adaption of Zerotree Coding Techniques to Wavelet Packet Image Compression
860 Anette Christensen 19900715 18-06-1999 Kurt Jensen Design og Analyse af et Busallokeringssystem ved brug af Farvede Petri Net
859 Bo Lindstrøm 19930410 18-06-1999 Søren Christensen Performance Analysis using Coloured Petri Nets
858 Lisa Marie Wells 19940188 18-06-1999 Søren Christensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
857 Henrik Lautrup 19930550 17-06-1999 Michael I. Schwartzbach A Web Programming Survey
856 Ulrik Skyt 19930328 17-06-1999 Michael I. Schwartzbach Compiler Directed Memory Coherence for Parallel Computing
855 Dan Witzner Hansen 19930417 15-06-1999 Brian Henry Mayoh Stereo og Alternative Kameraer i Datamatsyn
854 Jacob Elgaard 19940368 15-06-1999 Michael I. Schwartzbach Verifying C Pointer Programs Using Monadic Second-Order Logic
853 Jørgen Bang Erichsen 19930517 15-06-1999 Brian Henry Mayoh Three EA Techniques for Constrained Parameter Optimization Problems
852 Flemming Friche Rodler 19920519 14-06-1999 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
851 Kim Kristensen 19920284 14-06-1999 Brian Henry Mayoh Solving a Real Life Scheduling Problem Using Evolutionary Algorithms
850 Thomas Randers Jensen 19912110 14-06-1999 Brian Henry Mayoh Solving a Real Life Scheduling Problem Using Evolutionary Algorithms
849 Niels Damgaard 19930380 04-06-1999 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
848 Mikkel Thomas Tjørnfelt-Jensen 19912146 28-05-1999 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
847 Belmina Dzafic 19943249 27-01-1999 Olivier Danvy Formalizing Program Transformations
846 Finn Pedersen 19900730 27-01-1999 Kurt Jensen Modellering af validering af en cache coherence protokol
845 Morten Bach Møller 19920612 27-01-1999 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
844 Morten Værum 19930546 26-01-1999 Michael I. Schwartzbach A Web Programming Survey
843 Claus Rasmussen Brabrand 19920539 26-01-1999 Michael I. Schwartzbach Synthesizing Safety Controllers for Interactive Web Services
842 Emmanouil Marinos 19870724 26-01-1999 Michael I. Schwartzbach WIG Database
841 Thomas Peter Erich Hohn 19912184 25-01-1999 Jørgen Lindskov Knudsen Design and Implementation of an ODMG Language Binding for BETA
840 Søren Pingel Dalsgaard 19861730 25-01-1999 Jørgen Lindskov Knudsen Just-in-Time Compilation for Processor Simulation
839 Mikkel Verner Nielsen 19890639 22-01-1999 Kaj Grønbæk Mod en teknik til lagbaseret udforskning af søgesvar i digitale biblioteker
838 Henrik Rosenberg Rasmussen 19930411 22-01-1999 Kaj Grønbæk The Integrator Framework - Supporting Web Base Access to Distributed Heterogeneous Databases
837 Sebastian Lukas Arne Czort 19912596 22-01-1999 Peter Bro Miltersen The Complexity of Minimizing Disjunctive Normal Form Formulas
836 Dirk Bucka-Lassen 19912181 21-01-1999 Kaj Grønbæk Cooperative Authoring Using Open Spatial Hypermedia
835 Olavur Heri Reinert 19901001 21-01-1999 Kaj Grønbæk Cooperative Authoring Using Open Spatial Hypermedia
834 Claus Ågård Pedersen 19900755 21-01-1999 Kaj Grønbæk Cooperative Authoring Using Open Spatial Hypermedia
833 Anders Jacob Truelsen 19900748 21-01-1999 Ole Lehrmann Madsen Synchronising Distributed Concurrent Objects
832 Klaus Langgaard Jensen 19930327 20-01-1999 Ole Lehrmann Madsen Framework for Embedded Systems - a Case Study and Tool Support
831 Bo Frederiksen 19930585 20-01-1999 Ole Lehrmann Madsen Framework for Embedded Systems - a Case Study and Tool Support
830 Thomas Hune 19920560 11-12-1998 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
829 Mads Torgersen 19900751 11-12-1998 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
828 Jakob Pagter 19920602 03-12-1998 Erik Meineche Schmidt (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
827 Torben Flytkjær Kabel 19890654 24-06-1998 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
826 Lars Vestergaard Kragelund 19892179 24-06-1998 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
825 Peter Andersen 19930335 23-06-1998 Ole Caprani Evolvable Hardware - Artificial Evolution of Hardware Design - in Simulation and Reality
824 Lars Ræder Clausen 19900753 23-06-1998 Olivier Danvy Intensional and Extensional Aspects of Java byte code
823 Jesper Just 19882472 23-06-1998 Olav Bertelsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
822 Peter Grassme Binderup 19890648 23-06-1998 Sven Skyum (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
821 Anders Marager 19900676 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
820 Kåre Kjelstrøm 19920406 22-06-1998 Ole Lehrmann Madsen Software Components and Development Tools
819 Peter Petersen 19912114 22-06-1998 Ole Lehrmann Madsen Software Components and Development Tools
818 Krister Grønhøj 19912492 22-06-1998 Jørgen Lindskov Knudsen 3D-visualisering af software strukturer
817 Christian Vandsø Andersen 19890634 22-06-1998 Jørgen Lindskov Knudsen Towards Automatic Segmentation, Visualization and Animation of Cerebral Arteries
816 Jesper Frandsen 19880531 22-06-1998 Jørgen Lindskov Knudsen Towards Automatic Segmentation, Visualization and Animation of Cerebral Arteries
815 Kresten Krab Thorup 19963425 04-06-1998 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
814 Stig Larsen 19890617 29-04-1998 Peter Møller-Nielsen Effektivisering af programmer til behandling af digitaliseret lyd
813 Simeon Falk Sheye 19920621 29-01-1998 Jan Depenau Ensemble Techniques and Neural Networks
812 Mikkel Arentoft 19912120 29-01-1998 Brian Henry Mayoh Developing a Robot Controller using Genetic Programming on Decision Trees
811 Morten Flink 19912141 29-01-1998 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
810 Asger Sporring 19912199 28-01-1998 Brian Henry Mayoh Evolvable Hardware - Designing Chips, from Top to Bottom
809 John Rasmussen 19920473 28-01-1998 Mogens Nielsen Implementation of realtime CCS
808 Morten Rhiger 19912385 28-01-1998 Olivier Danvy A Study in Higher-Order Programming Languages
807 Hanne Gottliebsen 19920360 28-01-1998 Peter Mosses Combinatory Reduction Systems and Natural Semantics
806 Rune Raunow 19900696 27-01-1998 Susanne Bødker (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
805 Henrik Behrens Jensen 19900732 27-01-1998 Susanne Bødker (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
804 Lars Winther Madsen 19861731 26-01-1998 Brian Henry Mayoh Neurale netværk og forudsigelse af tidsrækker
803 Henrik Enstrøm 19831814 26-01-1998 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
802 Anders Juul Nielsen 19880505 26-01-1998 Preben Mogensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
801 Henrik Petersen 19912589 26-01-1998 Peter Møller-Nielsen Generering af netlister fra Occam-modeller af integrerede kredsløb
800 Nis Peder Bonde 19880599 22-01-1998 Peter Møller-Nielsen MBP: Multiparty Broadcast Protocol
799 Leon Mortensen 19880538 22-01-1998 Peter Møller-Nielsen MBP: Multiparty Broadcast Protocol
798 Jakob Fredslund 19912580 22-01-1998 Ole Caprani Intelligent adfærd uden intelligens
797 Søren Cramer Christiansen 19900700 22-01-1998 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
796 Richard Jørgensen 19900302 21-01-1998 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
795 Morten Lauritsen 19912605 21-01-1998 Ole Caprani Et annoteret WWW værktøj til løsning af biologiske sekvens problemer
794 Johanna Wiederhold Tind 19912752 21-01-1998 Ole Lehrmann Madsen A Multi-User Persistence Framework - Building Customized Database Solutions Using the BETA Persistens Store
793 Brian Bek Jensen 19900651 21-01-1998 Ole Lehrmann Madsen HUGIN - An ODMG Framework for Java and RDB's
792 Ellen Birgitte Agerbo Jensen 19912517 20-01-1998 Ole Lehrmann Madsen Theory of Language Support for Design Patterns
791 Aino Cornils 19912246 20-01-1998 Ole Lehrmann Madsen Theory of Language Support for Design Patterns
790 Stephan Erbs Korsholm 19890586 20-01-1998 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
789 Søren Brian Carlsen 19912436 20-01-1998 Ole Caprani Et annoteret WWW værktøj til løsning af biologiske sekvens problemer
788 Torben Slaikjer 19851622 19-01-1998 Peter Møller-Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
787 Astrid Benedicte Meldgaard Madsen 19900750 19-01-1998 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
786 Benny Rene Frederiksen 19821525 19-01-1998 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
785 Jakob Vogdrup Hansen 19912427 16-12-1997 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
784 Marianne Graves Petersen 19912124 30-10-1997 Kaj Grønbæk Towards Usability Evaluation of Multimedia Applications - Experiences from an Empirical Study of Current Evaluation Methods
783 Ann Christina Nielsen 19900689 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
782 Tue Jakobsen 19912670 27-06-1997 Hanne Riis Nielson Path Reduction and Graph Reduction for the Lambda Calculus
781 Jørg Olaf Schneider 19912680 27-06-1997 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
780 Henrik Røn 19900699 26-06-1997 Ole Lehrmann Madsen Midgård - En dynamisk programmeringsomgivelse baseret på ekstensibilitet
779 Rene Schade 19900697 26-06-1997 Ole Lehrmann Madsen Midgård - En dynamisk programmeringsomgivelse baseret på ekstensibilitet
778 Jesper Jühne 19880589 26-06-1997 Kaj Grønbæk Udvikling af en stimekanisme til WWW
777 Anders Thorbjørn Jensen 19880535 26-06-1997 Kaj Grønbæk Udvikling af en stimekanisme til WWW
776 Ulrik Pagh Schultz 19912345 20-06-1997 Olivier Danvy Implicit and Explicit Aspects of Scope and Block Structure
775 Torben Koch 19900756 20-06-1997 Preben Mogensen CSCW i praksis - Lotus Notes i et shipping-firma
774 Martin Jacob Rehder 19912171 18-06-1997 Brian Henry Mayoh Predicting Forest Animal Movement Using AI Methods
773 Jan Rene Vestergaard 19912484 18-06-1997 Olivier Danvy From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation
772 Søren Bak Larsen 19912426 18-06-1997 Kaj Grønbæk Hypermedia Agents - Towards a Protocol for Mediating Contents and Structure Search in Open Hypermedia Systems
771 John Brøndum 19912375 18-06-1997 Jørgen Lindskov Knudsen Debugging Distributed BETA Programs
770 Rune Bang Lyngsø 19912080 10-06-1997 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
769 Christian Nørgaard Storm Pedersen 19912244 10-06-1997 Sven Skyum (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
768 Thomas Troels Hildebrandt 19912185 10-06-1997 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
767 Lars Michael Kristensen 19912081 10-06-1997 Kurt Jensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
766 Jesper Gulmann Henriksen 19912355 04-06-1997 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
765 Anders Bækgaard Sandholm 19912367 23-05-1997 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
764 Sharmila Rajani Lassen 19890575 23-01-1997 Hanne Riis Nielson Static Processor Allocation for CML
763 Jan Hansen 19880553 23-01-1997 Jørgen Lindskov Knudsen Atomare datatyper
762 Peter Rene Schmidt Høggaard 19912368 23-01-1997 Kaj Grønbæk, Kurt Jensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
761 Jesper Jensen 19890657 23-01-1997 Kaj Grønbæk, Kurt Jensen Anvendelse af Farvede Petri Net i en object-orienteret metode
760 Morten Sabroe Mortensen 19900725 22-01-1997 Gudmund Frandsen Engineering of a Graphical Engine for Visualizing Virtual Environments - A Solution Within the Paradigm of Algorithm Engineering
759 Hans Christian Pedersen 19880582 22-01-1997 Brian Henry Mayoh Dusty Pictures - Study of Applying Dust to a Ray-Tracer
758 Jan Bækgaard Pedersen 19900682 22-01-1997 Peter Møller-Nielsen PVMbuilder - et grafisk værktøj til parallelprogrammering
757 Bjarke Bisgaard Blendstrup 19912485 22-01-1997 Peter Møller-Nielsen PVMbuilder - et grafisk værktøj til parallelprogrammering
756 Martin Schmidt 19890604 17-01-1997 Brian Henry Mayoh Hybrid Systems - Genetic Algorithms, Neural Networks, and Fuzzy Logic
755 Thomas Stidsen 19890625 17-01-1997 Brian Henry Mayoh Hybrid Systems - Genetic Algorithms, Neural Networks, and Fuzzy Logic
754 Nikolaj Kolte 19880470 17-01-1997 Susanne Bødker Evaluering af brugergrænsefladen for Devise Hypermedia
753 John Vestergaard Nielsen 19890576 17-01-1997 Susanne Bødker Evaluering af brugergrænsefladen for Devise Hypermedia
752 Ole Skydtsgaard Nielsen 19890147 14-01-1997 Sven Skyum Majoritets- og medianproblemer
751 Lone Overgaard 19912393 14-01-1997 Sven Skyum Steinertræer i orienterede grafer
750 Peer Gunnar Duschner 19912366 14-01-1997 Mogens Nielsen A Discrete Responsiveness Framework for Concurrent Processes
749 Chris Ranzau Hansen 19900656 13-01-1997 Ole Lehrmann Madsen Versions- og konfigurationsstyring i objekt-orienterede databaser
748 Michael Edgar Jørgensen 19840527 13-01-1997 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
747 Ole Jakob Lundager Jensen 19820406 13-01-1997 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
746 Helle Krogh Kristensen 19851872 25-11-1996 Kaj Grønbæk Edb i undervisningen - et anvendelsesorienteret og undervisningsteoretisk perspektiv
745 Klaus Seidenfaden 19831838 01-08-1996 Kaj Grønbæk On the Design of Browsing and Orientation Support for Dexter-based Hypermedia
744 Niels Olof Bouvin 19900721 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 19900661 25-06-1996 Morten Kyng Evaluering af et fastprisprojekt - om estimering og kvalitetsstyring
742 Jakob Mathiasen 19861765 25-06-1996 Kaj Grønbæk Udvikling af hypermediastøtte for digitaliseret video
741 Afsar Jalali 19890600 21-06-1996 Brian Henry Mayoh A Suitable Neural Network Architecture for Recognition of Machine Printed Symbols
740 Knud Åge Hansen 19880616 21-06-1996 Brian Henry Mayoh Korn klassificering ved brug af Fuzzy Logic og Neurale Netværk
739 Christian Peter Rybak Bækdorf 19890581 21-06-1996 Martin Møller (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
738 Søren Møllebjerg 19900669 21-06-1996 Martin Møller Finansielle forudsigelser v. h. a. neurale net
737 Morten Hoffmann Sørensen 19880560 20-06-1996 Michael I. Schwartzbach Rutebeskrivelser i C
736 Christian Vinther 19900701 20-06-1996 Ole Caprani Efficiency of the PVM on Different Architectures - a Case Study
735 Christian Norup 19860757 19-06-1996 Brian Henry Mayoh Opmåling af maskestørrelser i selektionspaneler
734 Lars Handrup 19900726 19-06-1996 Brian Henry Mayoh 3D objektgenkendelse i dybdebilleder
733 Per Knudsgaard 19870552 19-06-1996 Brian Henry Mayoh Genkendelse af sammenhængende ord i tale
732 Hans Køhling Pedersen 19870591 19-06-1996 Brian Henry Mayoh A Framework for Interactive Texturing on Curved Surfaces
731 Søren Skyum 19900660 18-06-1996 Gudmund Frandsen Dyck-sprogene - dynamiske algoritmer og deres kompleksitet
730 Bo Pedersen 19880568 18-06-1996 Brian Henry Mayoh Processing Natural Language with Harmony Functions and Canonical Syntax
729 Hans Sølvsten Damgaard 19890628 18-06-1996 Brian Henry Mayoh Lokalisering og genkendelse af ansigter
728 Simon Hieronymus Laub 19861596 18-06-1996 Brian Henry Mayoh Evolutionary Ideas and Artificial Life
727 Thomas Jürgensen 19900681 17-06-1996 Ivan Damgaard Design og implementering af et autentifikations- og autorisationssystem
726 Peter Zacho 19900677 17-06-1996 Ivan Damgaard Design og implementering af et autentifikations- og autorisationssystem
725 Jesper Lauridsen 19890646 17-06-1996 Gudmund Frandsen Dynamic Text Editing
724 Klaus Bucka-Lassen 19890592 17-06-1996 Ole Caprani Heuristiske metoder til multipel sekvens alignment
723 Henrik Bærbak Christensen 19831720 11-06-1996 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
722 Rasmus Munk Larsen 19900666 07-06-1996 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
721 Rene Wenzel Schmidt 19890642 15-05-1996 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
720 Lars Jacobsen 19831804 15-03-1996 Kaj Grønbæk Udvikling af hypermediastøtte for digitaliseret video
719 Morten Buhr 19890664 24-01-1996 Brian Henry Mayoh Aesthetics of Newspaper Layout
718 Peder Overgaard Pedersen 19900744 24-01-1996 Brian Henry Mayoh Web Extractor - Processing of Spider Web Images
717 Jan Riis Nielsen 19870622 24-01-1996 Brian Henry Mayoh Fraktal Kompression of Fraktale Mål
716 Dan Nødskouv Christensen 19890578 24-01-1996 Brian Henry Mayoh Fraktal Kompression of Fraktale Mål
715 Carsten Pedersen 19880273 23-01-1996 Jens Palsberg Generation of Class Graphs from Adaptive Programs
714 Lars Andersen 19890580 23-01-1996 Peter Møller-Nielsen Computer generede billeder baseret på simulation af menneskelig hud
713 Allan Vadskjær Severinsen 19900282 23-01-1996 Sven Skyum (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
712 Jens Hedegaard Hykkelbjerg 19900665 23-01-1996 Sven Skyum (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
711 Niels Esge Rasmussen 19880277 22-01-1996 Jørgen Lindskov Knudsen CPN formalisering som repræsentation af BETA programmer
710 Michael Thomsen 19851540 22-01-1996 Susanne Bødker Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling
709 Claus Hemberg Jørgensen 19900668 18-01-1996 Kurt Jensen, Søren Christensen VLSI-modellering med Farvede Petri Net
708 Aksel Jørgensen 19900747 18-01-1996 Kurt Jensen, Søren Christensen VLSI-modellering med Farvede Petri Net
707 Jens Linneberg Rasmussen 19890599 17-01-1996 Kurt Jensen, Søren Christensen Designing and Analysing a Security System by means of Coloured Petri Nets
706 Mejar Singh 19890622 17-01-1996 Kurt Jensen, Søren Christensen Designing and Analysing a Security System by means of Coloured Petri Nets
705 Theis Rauhe 19900729 16-01-1996 Gudmund Frandsen Dyck-sprogene - dynamiske algoritmer og deres kompleksitet
704 Morten Klitgaard Friis 19900728 16-01-1996 Ivan Damgaard Identity Based System
703 Rico Werni Steenfeldt 19861529 16-01-1996 Ivan Damgaard Identity Based System
702 Tommy Thorn 19870551 16-01-1996 Olivier Danvy A Symbolic Approach to Binding-Time Analysis
701 Ole Carstensen 19870300 06-12-1995 Gudmund Frandsen Parallelisering af P-hårde problemer på en PRAM
700 Kim Sunesen 19890637 05-12-1995 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
699 Esben Andreas Dalsgaard 19851616 11-10-1995 Susanne Bødker En analyse af to metoder til planlægning af forandringer
698 Helge Vad 19880622 06-10-1995 Brian Henry Mayoh Kinematisk begrundet vidensrepræsentation
697 Kim Vestergaard 19880608 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 19861646 25-08-1995 Jørgen Lindskov Knudsen Segmentering i Magnetisk Resonans billeder ved brug af den aktiv-kontur baserede Segment algoritme
695 Christian Lynbech 19861701 04-08-1995 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
694 Jan Toksvig 19861739 20-06-1995 Søren Christensen Design and implementation of a place invariant tool for coloured petri nets
693 Stefan Hebsgaard 19890651 19-06-1995 Martin Møller (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
692 Carsten Teichert 19912188 19-06-1995 Martin Møller Viden i Neurale Netværk
691 Peter Gravild Korning 19890636 19-06-1995 Martin Møller (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
690 Ole Østergaard 19851860 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 19890626 16-06-1995 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
688 Kim Oechsle Hansen 19890663 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 19712420 15-06-1995 Morten Kyng On representations and models in computer system development
686 Ebbe Jakobsen 19900685 15-06-1995 Peter Møller-Nielsen, Jørgen Lindskov Knudsen Morphing algoritmen og dens implementering i VLSI
685 Jais Lytje Hansen 19880615 14-06-1995 Olivier Danvy Language design through extension
684 Christian Otkjær 19880593 14-06-1995 Olivier Danvy Language design through extension
683 Jens Cornelius Olsen 19880604 14-06-1995 Michael I. Schwartzbach Type inference of BETA
682 Jørgen Greve 19880551 14-06-1995 Michael I. Schwartzbach Type inference of BETA
681 Bo Bergholdt Madsen 19851585 14-06-1995 Brian Henry Mayoh Revision af teorier med Genetisk Programmering
680 Ove Berg Risum 19842167 14-06-1995 Brian Henry Mayoh Revision af teorier med Genetisk Programmering
679 Anders Bertil Rodell 19880340 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 19870568 10-03-1995 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
677 Flemming Andersen 19880203 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 19913132 26-01-1995 Erik Meineche Schmidt Gibbs Sampling in the Context of Hierarchical Models
675 Henrik Svanberg 19880542 26-01-1995 Jørgen Lindskov Knudsen, Ole Lehrmann Madsen Conference systems
674 Jan Sander Jensen 19870554 26-01-1995 Jørgen Lindskov Knudsen, Ole Lehrmann Madsen Conference systems
673 Anne Kirsten Mølle 19820073 26-01-1995 Jørgen Lindskov Knudsen TK-VEV et rastergrafisk edb-værktøj til design
672 Christian Pierre Didier Gautier 19880517 25-01-1995 Jørgen Lindskov Knudsen A Study of Realistic Illumination in Computer Graphics
671 Klaus Lisberg Kristensen 19880521 25-01-1995 Jørgen Lindskov Knudsen A Study of Realistic Illumination in Computer Graphics
670 Helle Majbritt Jensen 19870567 25-01-1995 Gudmund Frandsen Beregning af mindste udspændende træ med anvendelse af parallelisme og randomisering
669 Morten Ingolf Skifter Jensen 19870659 25-01-1995 Susanne Bødker Objekt-Orienteret Brugergrænsefladedesign
668 Ivan Høy 19890668 23-01-1995 Ole Caprani Duplikationer i DNA- og proteinstrenge
667 Morten Damgaard 19890633 23-01-1995 Jørgen Lindskov Knudsen, Ole Caprani Parallelisering af reaction-diffusion modellen
666 Ralf Mattethat 19890485 23-01-1995 Jørgen Lindskov Knudsen, Ole Caprani Parallelisering af reaction-diffusion modellen
665 Michael Hjortshøj Pedersen 19880583 19-01-1995 Brian Henry Mayoh Korn klassificering ved brug af Fuzzy Logic og Neurale Netværk
664 Ali Alizadeh Khasmakhi 19880561 19-01-1995 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
663 Khosrow Jafehvand 19870570 18-01-1995 Brian Henry Mayoh Styring af en Kunstig Hånd ved hjælp af Neurale Netværk
662 Mehran Nourbakhsh 19880587 18-01-1995 Brian Henry Mayoh Styring af en Kunstig Hånd ved hjælp af Neurale Netværk
661 Anne Birte Jørgensen 19841776 18-01-1995 Brian Henry Mayoh Kostplanlægning og case-based planlægning
660 Afshin Foroughipour 19880526 18-01-1995 Kurt Jensen Construction of the OS-graph with Permutation Symmetries of a Coloured Petri Net using Algebraic Algorithms
659 Jesper Buhl 19890666 16-01-1995 Peter Mosses Communicative action semantics
658 Torben Bisgaard Haagh 19890609 16-01-1995 Kurt Jensen, Søren Christensen Optimising a Coloured Petri Net Simulator
657 Tommy Rudmose Hansen 19880596 16-01-1995 Kurt Jensen, Søren Christensen Optimising a Coloured Petri Net Simulator
656 Kjeld Høyer Mortensen 19861676 25-11-1994 Kurt Jensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
655 Gerth Stølting Brodal 19890616 24-11-1994 Erik Meineche Schmidt Complexity of Data Structures
654 Thore Husfeldt 19890570 24-11-1994 Sven Skyum (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
653 Ali Reza Kian Abolfazlian 19890665 09-11-1994 Brian Henry Mayoh On Selective Attention in the Auditory Domain - A Hybrid Coctail Party Listner
652 Brian Lykkegård Karlsen 19880611 07-10-1994 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
651 Anders Harder 19851605 15-09-1994 Erik Meineche Schmidt Upper and Lower Bounds in the LSA Model
650 Erik Futtrup Sørensen 19870610 13-09-1994 Susanne Bødker Objekt-Orienteret Brugergrænsefladedesign
649 Thorleif Nielson 19831800 31-08-1994 Hanne Riis Nielson Semantik-bevarende program-transformationer i en typet lambda-kalkyle
648 Claus Winther Rasmussen 19880578 15-08-1994 Morten Kyng (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
647 Britta Lindbjerg Tønning 19861768 15-08-1994 Morten Kyng Systemudvikling - en værktøjskasse
646 Keld Lyngsø Andersen 19861755 15-08-1994 Morten Kyng Systemudvikling - en værktøjskasse
645 Kim Kortermand Hansen 19870574 08-08-1994 Brian Henry Mayoh Observing, Understanding, and Controlling the Genetic Method on a Neural Network Application
644 Hans Lohmann Jayatissa 19870575 28-07-1994 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
643 Peter Rolann Arentoft 19861686 27-06-1994 Brian Henry Mayoh Simuleret skovbrandsbekæmpelse - et eksempel på genetisk baseret maskinindlæring
642 Kaj Aage Jensen 19861602 27-06-1994 Brian Henry Mayoh Simuleret skovbrandsbekæmpelse - et eksempel på genetisk baseret maskinindlæring
641 Kirsti Kruse 19880564 24-06-1994 Peter Landrock Kryptering i international kommunikation med overvågning
640 Heidi Pedersen 19880502 24-06-1994 Peter Landrock Kryptering i international kommunikation med overvågning
639 Jesper Schmidt 19870531 24-06-1994 Erik Meineche Schmidt Dynamiske Grafalgoritmer - teknikker og deres anvendelse
638 Benny Skov 19831821 24-06-1994 Peter Landrock Kryptering i EDIFACT
637 Michael Christensen 19880613 23-06-1994 Ole Lehrmann Madsen Eksperimentel indplacering af objektdiagrammer i reverse engineering sammenhæng
636 Kim Jakobsen 19880581 23-06-1994 Ole Lehrmann Madsen Eksperimentel indplacering af objektdiagrammer i reverse engineering sammenhæng
635 Martin Broch Pedersen 19880506 23-06-1994 Susanne Bødker Fra interface til interaktion
634 Jakob Eyvind Bardram 19861689 23-06-1994 Susanne Bødker Fra interface til interaktion
633 Peter Dalsgaard 19890635 21-06-1994 Brian Henry Mayoh Speaker Verification using Neural Networks applied in Telecommunication Services
632 Steen Ladegaard Knudsen 19870572 21-06-1994 Brian Henry Mayoh Ockham's Razor Drawn against Overfitted Neural Nets - A Quest for the Glorious Features
631 Kell Sønnichsen 19880579 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 19870544 16-06-1994 Ole Lehrmann Madsen Object-Oriented Group Communication in Beta
629 Erik Pedersen 19861598 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 19880558 15-06-1994 Jørgen Lindskov Knudsen, Ole Caprani Visualisering af implicitte flader ved hjælp af ray tracing
627 Mikkel Mølgaard Mortensen 19872067 15-06-1994 Jørgen Lindskov Knudsen, Ole Caprani Visualisering af implicitte flader ved hjælp af ray tracing
626 Lars Hvidegaard 19870650 15-06-1994 Jørgen Lindskov Knudsen, Ole Caprani Visualisering af implicitte flader ved hjælp af ray tracing
625 Jens Middelfart 19861684 15-06-1994 Jørgen Lindskov Knudsen GLEIPNER - a Framework for Supporting Constraint Object Oriented Programming in BETA
624 Martin Faurby 19831856 14-06-1994 Peter Møller-Nielsen Syntese af integrerede kredse baseret på program-prototyper
623 Kim Fisker 19820477 14-06-1994 Ole Caprani Rekonstruktion af slægtskabs forhold baseret på DNA strenge
622 Søren Weeke 19882208 13-06-1994 Erik Meineche Schmidt Distribuerede datastrukturer i distribuerede systemer med dynamisk topologi
621 Jesper Rosenlund Nielsen 19880614 13-06-1994 Erik Meineche Schmidt Distribuerede datastrukturer i distribuerede systemer med dynamisk topologi
620 Farshid Shaikhrezai 19861700 13-06-1994 Brian Henry Mayoh A Blackboard Architecture for X-ray Image Understanding
619 Michael Kjærgaard Sørensen 19831836 13-06-1994 Sven Skyum Abstrakte Voronoi diagrammer med huller
618 Søren Brandt 19870542 30-05-1994 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
617 Jens Troelsgaard Thorsen 19841724 16-05-1994 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
616 Peter Hübel 19841713 16-05-1994 Ole Lehrmann Madsen Multiple Language Systems Sharing BETA and C++ Objects
615 Mogens Birk Hansen 19870646 06-05-1994 Erik Meineche Schmidt Data Structures and Algorithms for Connectivity
614 Jan Hvid Sørensen 19870616 06-05-1994 Erik Meineche Schmidt Data Structures and Algorithms for Connectivity
613 Lisbeth Vlk 19912329 05-05-1994 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
612 Ejnar Steffensen 19861785 05-05-1994 Brian Henry Mayoh Kamera kalibrering
611 Carsten Bjerring 19870603 20-04-1994 Erik Meineche Schmidt Dynamiske Grafalgoritmer - teknikker og deres anvendelse
610 Søren Hvidberg Christensen 19870535 20-04-1994 Erik Meineche Schmidt Dynamiske Grafalgoritmer - teknikker og deres anvendelse
609 Kristian Lippert 19870594 18-04-1994 Michael I. Schwartzbach Partial Products and their Implementation
608 Anders Tvedt 19870577 18-04-1994 Michael I. Schwartzbach Partial Products and their Implementation
607 Ole Ildsgaard Hougaard 19870537 07-04-1994 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
606 Hosein Askari 19870532 07-04-1994 Michael I. Schwartzbach Implicit Typing for Turbo Pascal - teknikker og deres anvendelse
605 Torben Vestergaard Blach 19861747 08-02-1994 Ole Caprani Genetiske algoritmer og global funktionsoptimering
604 Claus Aggerholm Sørensen 19851565 08-02-1994 Ole Caprani Genetiske algoritmer og global funktionsoptimering
603 Peter Ørbæk 19880574 25-01-1994 Peter Mosses Analysis and Optimization of Actions
602 Torben Bach Pedersen 19880601 24-01-1994 Ole Caprani Effektiv Automatisk Verifikation
601 Soudabeh Sardarpour?Goodarzi 19851634 19-01-1994 Susanne Bødker (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
600 Ole Helbo 19851594 18-01-1994 Ole Caprani Parallelisering af algoritme til genkendelse af håndskrevne cifre
599 Torben Petersen 19841631 18-01-1994 Brian Henry Mayoh En Genetisk Algoritme til Reduktion af Bools Algebra med henblik på VLSI Implementation
598 Christian Clausen 19870581 17-01-1994 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
597 Søren Hilmer Pedersen 19861688 22-12-1993 Brian Henry Mayoh Klassifikation af træ
596 Jens Hørup Jensen 19851629 22-12-1993 Brian Henry Mayoh Klassifikation af træ
595 Mikael Nygård 19880623 16-12-1993 Ole Caprani Effektiv Automatisk Verifikation
594 Nikolaj Nederby 19880508 16-12-1993 Ole Caprani Effektiv Automatisk Verifikation
593 Mikael Christian Varrild Flensborg 19861772 15-12-1993 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
592 Lars Peter Andersen 19861693 15-12-1993 Brian Henry Mayoh Experimenter omkring Exponentierings-Algoritmer
591 Lars Søderman Eskildsen 19861536 08-12-1993 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
590 Lars Peter Larsen 19831765 08-12-1993 Brian Henry Mayoh Design af LLExpert - en ekspertsystemskal og implementation af LLExpert p - en prototype på LLExpert
589 Allan Cheng 19880171 29-11-1993 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
588 Bettina Blaaberg Sørensen 19870619 29-11-1993 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
587 Lars Allan Arge 19861678 29-11-1993 Erik Meineche Schmidt (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
586 Torben Brauner 19870657 26-11-1993 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
585 Christen Jørgen Christensen 19851586 01-11-1993 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
584 Pia Lund 19861789 14-10-1993 Susanne Bødker Den daglige brug af WordPerfect i Arbejdstilsynet - hvordan kan man understøtte arbejdets udvikling
583 Steffen Grarup 19870655 31-08-1993 Ole Lehrmann Madsen Incremental Mature Garbage Collection
582 Jacob Seligmann 19870643 31-08-1993 Ole Lehrmann Madsen Incremental Mature Garbage Collection
581 Bjarne Hansen 19861753 05-08-1993 Jens Kristian Kjærgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
580 Per Lynge Kristoffersen 19842172 04-08-1993 Ole Caprani Parallelisering af algoritme til genkendelse af håndskrevne cifre
579 Ejner Tatari 19880607 31-07-1993 Ivan Damgaard Elliptiske kurver og nogle anvendelser i kryptografien
578 Michael Troelsen 19851638 31-07-1993 Ivan Damgaard Elliptiske kurver og nogle anvendelser i kryptografien
577 Lars Peter Abildskov 19851640 22-07-1993 Brian Henry Mayoh Virtual Reality og den talende handske
576 Ole Bak Jensen 19851567 19-07-1993 Brian Henry Mayoh Visuel Programmering i Billedbehandling - VIBB
575 Kirsten Larsen 19861787 21-06-1993 Erik Meineche Schmidt I/O-complexity of comparison and permutation problems
574 Knud Mikael Nyvang Knudsen 19861702 21-06-1993 Erik Meineche Schmidt (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
573 Morten Dahl 19831345 21-06-1993 Sven Skyum Delaunay diagrammer i planen
572 Henning Clausen 19870585 16-06-1993 Kurt Jensen Usage parameter Control Algorithms in Higher Speed Networks
571 Peter Ryberg Jensen 19861694 16-06-1993 Kurt Jensen Usage parameter Control Algorithms in Higher Speed Networks
570 Erik Jacobsen 19740500 16-06-1993 Erik Meineche Schmidt 7 år med RASMUS og RIKKE
569 Jørn Hansen 19851375 04-06-1993 Erik Meineche Schmidt Anvendelse af skiplister
568 Anders Kjærsgaard 19851532 28-05-1993 Morten Kyng Fra idé til industriel prototype - Aspekter af design om implementation illustreret ved udviklingen af et manualprogram
567 Henrik Reiche 19831669 28-05-1993 Morten Kyng Delaunay diagrammer i planen
566 Lars Rasmussen 19861713 18-05-1993 Hanne Riis Nielson Inference Systemer for Strictness Analyse
565 Poul Christiansen 19851636 10-05-1993 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
564 Hans Jakob Pedersen 19851572 10-05-1993 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
563 Tony Thisted Jacobsen 19861782 04-05-1993 Peter Mosses Towards a Realistic Type Inference System for Action Semantics
562 Jacob Steen Due 19861685 23-04-1993 Kaj Grønbæk Hypermedia-baseret støtte til udvikling og brug af dokumentation i systemudvikling
561 Steen Basse Jensen 19821607 23-04-1993 Kaj Grønbæk Hypermedia-baseret støtte til udvikling og brug af dokumentation i systemudvikling
560 Lars Olav Wedege Bertelsen 19831823 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 19860423 28-01-1993 Jens Kristian Kjærgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
558 Torsten Bjørn Hagemann 19831813 28-01-1993 Ole Lehrmann Madsen Valhall - et projekt om multimedier i objektorienteret programmering
557 Niels Franck Villadsen 19831745 28-01-1993 Ole Caprani NETWORK MANAGEMENT - i sammenhæng med ISDN
556 Alf Holten Gaba 19841749 27-01-1993 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
555 Iraj Bastar 19861784 26-01-1993 Jens Kristian Kjærgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
554 Jacob Havkrog Jørgensen 19821542 26-01-1993 Peter Mosses Terminering af associativ kommutativ genskrivning
553 Fin Steenbjerg Olesen 19851639 25-01-1993 Jens Kristian Kjærgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
552 Birgitte Mølgaard Pedersen 19841768 25-01-1993 Ole Lehrmann Madsen Developing Animated Graphical Interfaces to an Object-oriented Simulation Framework
551 Niels Koldsø 19821443 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 19870596 22-01-1993 Mogens Nielsen Lokaliteter i Procesalgebra
549 Frank Bagge Ivens de Carvalho 19851581 21-01-1993 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
548 Robert Monrad Sie 19861764 20-01-1993 Ole Lehrmann Madsen Communication in Distributed Systems
547 Ebbe Skak Larsen 19851531 23-12-1992 Michael I. Schwartzbach SCAMIRA - A functional language with implicit scaling
546 Birthe Hust 19861773 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 19861717 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 19841779 14-12-1992 Ole Lehrmann Madsen Valhall - et projekt om multimedier i objektorienteret programmering
543 Carsten Hansen 19831808 14-12-1992 Ole Lehrmann Madsen Valhall - et projekt om multimedier i objektorienteret programmering
542 Lars Toftgaard 19861738 02-11-1992 Ole Lehrmann Madsen Communication in Distributed Systems
541 Jens Toft Pedersen 19820565 26-10-1992 Ole Lehrmann Madsen Object Management in Distributed Object Oriented Databases
540 Lennert Sloth 19851869 06-10-1992 Ole Lehrmann Madsen Object-Oriented Database Management Systems - A Design for Schema Evolution in Beta-Flex
539 Jens Arnold Hem 19851476 06-10-1992 Ole Lehrmann Madsen Object-Oriented Database Management Systems - A Design for Schema Evolution in Beta-Flex
538 Peter Berg 19861734 03-10-1992 Brian Henry Mayoh Automated Belief Revision - From Theory to Practice
537 Lars Tøffner-Clausen 19851547 11-09-1992 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
536 André Riget 19861704 25-06-1992 Brian Henry Mayoh Klassificering af pletysmografkurver ved hjælp af neurale netværk
535 Bent Handberg 19841764 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 19861786 23-06-1992 Michael I. Schwartzbach Practical Object-Oriented Type Inference
533 Jesper Andersen 19841743 23-06-1992 Ole Caprani Design af et styreprogram til en tandemaccelerator
532 Martin Petersen 19841763 19-06-1992 Morten Kyng (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
531 Niels Erik Jehøj 19831757 19-06-1992 Sven Skyum Om elastik metoden til Konstruktion af Voronoidiagrammer
530 Jens Christian Mikkelsen 19861677 18-06-1992 Hanne Riis Nielson Strictnes Analysis Using Homomorphisms
529 Henrik Marcussen 19851625 17-06-1992 Morten Kyng Estimering af systemudviklingsprojekter - En empirisk undersøgelse
528 Jan Reher 19841727 17-06-1992 Ole Caprani Design af et styreprogram til en tandemaccelerator
527 Tommy Ravn Jensen 19841642 17-06-1992 Brian Henry Mayoh Metoder til indlæring af intelligente kontrolsystemer
526 Claus Torp Jensen 19861733 13-05-1992 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
525 Thomas Wirendeldt Larsen 19851545 08-05-1992 Sven Skyum (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
524 Torben Lange 19851566 04-05-1992 Flemming Nielson (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
523 Nicolette Frederiksen 19841766 01-05-1992 Joan Greenbaumr (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
522 Bente Laursen 19841651 01-05-1992 Joan Greenbaumr User Interface Consistency - A Case Study Suggesting User Involvment in Consistency Design Issues
521 Lars Skøtt Christensen 19851544 13-04-1992 Peter Møller-Nielsen Anvendelse af Medusa - En undersøgelse af chiptester og co-processor aspektet
520 Torben Nielsen 19880519 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é 19851597 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 19851527 13-03-1992 Ivan Damgaard A Survey of Identification Schemes
517 Troels Agerbo Jensen 19851406 13-03-1992 Ivan Damgaard (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
516 Bjarne Ebsen 19841760 19-02-1992 Ole Caprani Parallelisering af Simulated Annealing og Genetiske Algoritmer anvendt på Traveling Salesman Problemet
515 Morten Wulff Pedersen 19841729 19-02-1992 Ole Caprani Parallelisering af Simulated Annealing og Genetiske Algoritmer anvendt på Traveling Salesman Problemet
514 Lars Svith 19861707 07-02-1992 Brian Henry Mayoh Klassificering af pletysmografkurver ved hjælp af neurale netværk
513 Claus Jensen 19861703 07-02-1992 Brian Henry Mayoh Klassificering af pletysmografkurver ved hjælp af neurale netværk
512 Tanja Anette Nørgaard Troelsen 19851632 22-01-1992 Morten Kyng (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
511 Lotte Lyngsø Jensen 19851621 22-01-1992 Morten Kyng Kvalitetsstyring af Systemudvikling
510 Lars Ramkilde Knudsen 19841817 21-01-1992 Ivan Damgaard Differential Kryptoanalyse af DES og LOKI
509 Peter Andersen 19841722 21-01-1992 Jørgen Lindskov Knudsen Bifrost - An interactive Object-Oriented Device Independent Graphics System
508 Nicholas Blackburn 19831738 21-01-1992 Brian Henry Mayoh Modelling Reaction-Diffusion Processes with System Dynamics
507 Anne Klinke Kettunen 19851408 16-01-1992 Morten Kyng Estimering af systemudviklingsprojekter - En empirisk undersøgelse
506 Steen Sjøgaard 19831864 16-01-1992 Brian Henry Mayoh A Conceptual Approach to Generalization in Dynamic Neural Networks
505 Søren Thygesen Gjesse 19861761 15-01-1992 Brian Henry Mayoh FACE - Ansigtsgenkendelse
504 Michael Ringgaard 19861759 14-01-1992 Brian Henry Mayoh FACE - Ansigtsgenkendelse
503 Poul-Erik Dahl 19851627 14-01-1992 Jørgen Lindskov Knudsen Muligheder og begrænsninger ved integration af multimedie-omgivelser
502 Henrik Dahl 19851624 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 19831782 16-12-1991 Ole Lehrmann Madsen Aspects of Programming-in-the-Large - Towards the Design of a Graphical Module Browser
500 Helle Johansen 19831670 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 19841793 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 19841634 15-10-1991 Jørgen Lindskov Knudsen Design of a Fragment Administration System for the Mjølner BETA System - FRAME
497 Lone Lykke Nielsen 19861723 01-10-1991 Jørgen Lindskov Knudsen Felixpascal - Evaluering og redesign
496 Marianne Meincke Arentoft 19851553 01-10-1991 Jørgen Lindskov Knudsen Felixpascal - Evaluering og redesign
495 Sten Agerholm 19851604 25-09-1991 Glynn Winskel Mechanizing Program Verification in HOL
494 Kim Thomas Rasmussen 19841822 23-09-1991 Brian Henry Mayoh Tegnsprog og Animation
493 Lars Kjær Larsen 19841805 23-09-1991 Brian Henry Mayoh Tegnsprog og Animation
492 Ann-Grete Tan 19880576 20-09-1991 Glynn Winskel Programming with Proofs
491 Anders Pilegaard 19851643 20-09-1991 Glynn Winskel Programming with Proofs
490 Carsten Greve 19851560 20-09-1991 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
489 Svend Jules Fjerdingstad 19851411 20-09-1991 Ole Caprani Parallelizing Feed-forward Artificial Neural Networks on Transputers
488 Gert Dengsøe Rasmussen 19821606 20-09-1991 Brian Henry Mayoh De Genetiske Algoritmer
487 Henrik Dyrholm 19831764 26-06-1991 Ole Caprani NETWORK MANAGEMENT - i sammenhæng med ISDN
486 Hanne Sommer 19851623 25-06-1991 Ole Lehrmann Madsen The Development of a Graphical Object-Oriented Database Management System - GrOODBMS
485 Henrik Bo Pedersen 19851619 25-06-1991 Ole Caprani Implementation og vurdering af afviklingsalgoritmer på transputere
484 Poul Willy Eriksen 19790229 25-06-1991 Brian Henry Mayoh HERMES version 1.3 - MANUAL og RAPPORT
483 Jørn Floor Andersen 19851620 24-06-1991 Jørgen Lindskov Knudsen Muligheder og begrænsninger ved integration af multimedie- omgivelser
482 Ulla Vestrup 19851595 24-06-1991 Ole Lehrmann Madsen The Development of a Graphical Object-Oriented Database Management System - GrOODBMS
481 Bent Gabelgaard 19831756 24-06-1991 Ole Caprani NETWORK MANAGEMENT - i sammenhæng med ISDN
480 Lasse Jensen 19851548 21-06-1991 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
479 Henrik Kaarup Krogh 19851538 20-06-1991 Ole Caprani MEDUSA - Integration af anvendelsesspecifikke VLSI-kredse i transputer-baserede occamsystemer
478 Jacob Jakobsen 19841591 19-06-1991 Erik Meineche Schmidt Entropi og probabilistiske optimeringsalgoritmer
477 Rikke Drewsen Andersen 19851645 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 19841821 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 19841777 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 19831746 12-06-1991 Erik Meineche Schmidt Datalogi i Gymnasiet: Formalisering og Programmering - Rationale del
473 Marianne Dyrskjøt Agdrup 19831825 20-05-1991 Morten Kyng (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
472 Martin Olsen 19841829 23-04-1991 Brian Henry Mayoh Automatic Speech Recognition & Neural Networks
471 Ole Bystrup Jensen 19841803 23-04-1991 Brian Henry Mayoh Automatic Speech Recognition & Neural Networks
470 Thomas Rohde 19841783 23-04-1991 Brian Henry Mayoh Automatic Speech Recognition & Neural Networks
469 Karin Glindtvad 19841788 02-04-1991 Hanne Riis Nielson (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
468 Merete Hess 19820687 12-03-1991 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
467 Jens Henrik Leonhard Jensen 19811437 07-03-1991 Brian Henry Mayoh Genetiske Algoritmer til udvikling af Neural Net
466 Steen Reimers 19801345 07-03-1991 Brian Henry Mayoh Genetiske Algoritmer til udvikling af Neural Net
465 Karsten Bosteen 19851608 24-01-1991 Sven Skyum Ringsortering
464 Peter Strarup Jensen 19851576 24-01-1991 Ole Lehrmann Madsen R-Beta - Integrating Relational and Object Oriented Programming
463 Jannie Lykke Rasmussen 19831807 24-01-1991 Jørgen Lindskov Knudsen, Sven Skyum Bilag til rapport om Elektroniske Skema Tavler - Skemaplanlægning for folkeskoler
462 Flemming Koch Jensen 19851574 23-01-1991 Brian Henry Mayoh Skemaplanlægning - et CSP Case Study
461 Henrik Skjødt 19851552 23-01-1991 Ole Lehrmann Madsen R-Beta - Integrating Relational and Object Oriented Programming
460 Lise Krukow 19841775 23-01-1991 Ole Lehrmann Madsen This town is big enough for most of it - modlling in OOP
459 Karsten Søndergaard Schulz 19841646 23-01-1991 Jørgen Lindskov Knudsen, Sven Skyum Bilag til rapport om Elektroniske Skema Tavler - Skemaplanlægning for folkeskoler
458 Morten Schultz 19841838 22-01-1991 Peter Landrock (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
457 Sanne Jensen 19841824 22-01-1991 Ole Lehrmann Madsen Concurrency and Distribution in Object-Oriented Programming Languages - the Design of DistributedBeta
456 Jørgen Rask 19831752 22-01-1991 Jørgen Lindskov Knudsen Bifrost - An Interactive Object Oriented Device Independent Graphics System
455 Peter Alfred Østergaard 19841644 21-01-1991 Jørgen Lindskov Knudsen, Sven Skyum Bilag til rapport om Elektroniske Skema Tavler - Skemaplanlægning for folkeskoler
454 Michael Thomsen 19831656 21-01-1991 Susanne Bødker Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling
453 Henrik Esbensen 19841774 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 19841742 18-01-1991 Ole Caprani En systematisk implementation af en distribueret G-maskine
451 Jens Enevold Kristensen 19841640 17-01-1991 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
450 Finn Rosenberg Rasmussen 19841630 17-01-1991 Ole Caprani Implementation og vurdering af afviklingsalgoritmer på transputere
449 Rasmus Møller 19831870 17-01-1991 Peter Mosses SADL - Et sprog til beskrivelse og simulering af systoliske algoritmer
448 Søren Mark 19831842 17-01-1991 Brian Henry Mayoh Opbygning og Repræsentation af en Begrebsstruktur i et System af Neurale Netværk
447 Brian Andersen 19831780 16-01-1991 Peter Møller-Nielsen BEATRICE - En objekt orienteret to niveau CAD datamodel med implicit transaktionshåndtering
446 Jens Groth Andreasen 19831767 16-01-1991 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
445 Carsten Rickers 19821483 16-01-1991 Peter Møller-Nielsen BEATRICE - En objekt orienteret to niveau CAD datamodel med implicit transaktionshåndtering
444 Claus Mørk 19842229 15-01-1991 Ole Caprani Implementation og vurdering af afviklingsalgoritmer på transputere
443 Lone Faber 19841828 15-01-1991 Ole Lehrmann Madsen This town is big enough for most of it - modelling in OOP
442 Kim Jensen Møller 19831758 15-01-1991 Jørgen Lindskov Knudsen Bifrost - An Interactive Object Oriented Device Independent Graphics System
441 Ejner Kabel 19821569 15-01-1991 Morten Kyng Edb-støttet samarbejde - en empirisk undersøgelse med henblik på analyse og design
440 Bjarne Schlichter 19861671 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 19761178 29-10-1990 Brian Henry Mayoh Voronoi algoritmer og deres anvendelse i medicin
438 Flemming Berg 19771424 21-09-1990 Ole Lehrmann Madsen Pilot-undersøgelse af Transformations-systemer
437 Lars Aagaard Christiansen 19831788 15-08-1990 Ole Caprani Anvendelse og Evaluering af Transputernet
436 Henning Matzen 19841790 25-06-1990 Peter Møller-Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
435 Annette Nielsen 19841772 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 19821953 25-06-1990 Brian Henry Mayoh Evaluering af ekspertsystemer
433 Mariann Levring 19851836 22-06-1990 Brian Henry Mayoh Telefonisk dialog med database - design og udvikling af prototype
432 Lise-Lotte Hjorth Rasmussen 19841762 22-06-1990 Jørgen Lindskov Knudsen Draupner - a Way of Programming
431 Hanne Lise Berthelsen 19831653 22-06-1990 Erik Meineche Schmidt Algoritmisk problemløsning og abstrakte datatyper
430 Steen Ilum Christensen 19821533 22-06-1990 Morten Kyng Edb-støttet samarbejde - en empirisk undersøgelse med henblik på analyse og design
429 Martin Møller 19851646 21-06-1990 Brian Henry Mayoh CM algoritmen - udvikling af en 2. ordens indlæringsalgoritme til feed forward neurale netværk
428 John Lind 19841835 21-06-1990 Peter Landrock (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
427 Bjarne Madsen 19841810 21-06-1990 Peter Landrock (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
426 Johanne Lund 19841753 21-06-1990 Carl Sturtivant Kompleksitet af matrixmultiplikation
425 Anette Lind Astrup 19841813 20-06-1990 Jørgen Lindskov Knudsen Draupner - a Way of Programming
424 Carsten Hjorthmose Christensen 19841801 20-06-1990 Morten Kyng Tilpasning - ændring af åbne edb-systemer i brugssituationen - mere end et supplement til videre udvikling
423 Michael Snebang 19841789 20-06-1990 Morten Kyng Tilpasning - ændring af åbne edb-systemer i brugssituationen - mere end et supplement til videre udvikling
422 Bjarke Skovgaard Jensen 19821518 20-06-1990 Brian Henry Mayoh Telefonisk dialog med database - design og udvikling af prototype
421 Anne Kirketerp 19851626 19-06-1990 Morten Kyng Ledelse af systemudviklingsprojekter - en empirisk undersøgelse af ti projekter
420 Peter Lundin Jørgensen 19821558 19-06-1990 Brian Henry Mayoh En undersøgelse af Analogi-processen - og et ordsprogsystem
419 Flemming Hjort 19691701 19-06-1990 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
418 John Lindgreen 19841786 18-06-1990 Morten Kyng Tilpasning - ændring af åbne edb-systemer i brugssituationen - mere end et supplement til videre udvikling
417 Erik Svendsen 19831815 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 19831769 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 19831643 18-06-1990 Brian Henry Mayoh En turist-guide lavet som et beslutningsstøttet system
414 Peter Bro Miltersen 19851606 15-06-1990 Joan Boyar (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
413 Jens Nielsen 19831873 15-06-1990 Peter Mosses SADL - Et sprog til beskrivelse og simulering af systoliske algoritmer
412 Urban Engberg 19831721 15-06-1990 Mogens Nielsen A Simulator Study of Graph Reduction in Distributed Systems
411 Torsten Jordt 19751241 15-06-1990 Ole Caprani Undersøgelser af en simpel grafisk beregning på en vektorprocessor og et transputernet
410 Gregers Jul Nielsen 19851551 14-06-1990 Peter Landrock (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
409 Ole Vebert Olesen 19841747 14-06-1990 Ole Caprani En systematisk implementation af en distribueret G-maskine
408 Poul Lassen 19831876 14-06-1990 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
407 Poul Svendsen 19841732 13-06-1990 Ole Caprani En systematisk implementation af en distribueret G-maskine
406 Britta Shaw Bjerregaard 19831655 13-06-1990 Ole Lehrmann Madsen The development of a graphical object-oriented prototyping system - GrOOPS
405 Anette Hviid 19831650 13-06-1990 Ole Lehrmann Madsen The development of a graphical object-oriented prototyping system - GrOOPS
404 Knud Vibholm Petersen 19821628 13-06-1990 Liam Bannon (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
403 Heine Christensen 19801351 22-02-1990 Mogens Nielsen Automatic Programming in the Small
402 Rune Dissing 19841844 22-01-1990 Susanne Bødker Værktøjer til indfangning af designrationalet
401 Henrik Reif Andersen 19841758 22-01-1990 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
400 Ole Agesen 19841748 22-01-1990 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
399 Christian Dalsgård 19841738 22-01-1990 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
398 Christian M. Madsen 19841733 22-01-1990 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
397 Bent Dalager 19840043 22-01-1990 Susanne Bødker Værktøjer til indfangning af designrationalet
396 Svend Frølund 19831810 22-01-1990 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
395 Søren Christensen 19831806 22-01-1990 Mogens Nielsen A Model for Concurrent Systems
394 Erik Andreasen 19831777 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 19831741 22-01-1990 Susanne Bødker Værktøjer til indfangning af designrationalet
392 Margit Holk Lauridsen 19831654 22-01-1990 Susanne Bødker Designprocessen som et sprogspil - belyst gennem et empirisk studie af 3 designprojekter
391 Eiler Møller 19821678 22-01-1990 Liam Bannon (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
390 Jens O. Rosendahl 19821648 22-01-1990 Susanne Bødker Mellem hårde og bløde praktikertraditioner - En Undersøgelse af datalogers praksis og uddannelse
389 Robert Klujeff 19811454 22-01-1990 Liam Bannon The Role of Users in Systems Development
388 Per Thuesen 19811433 22-01-1990 Jørgen Lindskov Knudsen Draupner - a Way of Programming
387 Helle Berit Nielsen 19811426 22-01-1990 Susanne Bødker Designprocessen som et sprogspil - belyst gennem et empirisk studie af 3 designprojekter
386 Gregor Stenderup 19740370 13-11-1989 Peter Mosses EDB støtte til arbejde med Feynman-diagrammer indenfor højenergifysik
385 Jørgen Albretsen 19781331 05-11-1989 Ole Østerby En datalogisk analyse af Keplers Hypothesis Vicaria
384 Jan Møller Jensen 19821619 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 19821603 26-06-1989 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
382 Gorm Hansen 19821568 26-06-1989 Brian Henry Mayoh En sammenligning af tre indlæringsalgoritmer
381 Lars Peter Andersen 19821556 26-06-1989 Peter Landrock Experimenter omkring Exponentierings-Algoritmer
380 Mads Gregers Nørby 19831848 23-06-1989 Susanne Bødker (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
379 Margrethe Mosbæk Christensen 19831679 23-06-1989 Peter Landrock (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
378 Birthe Hestbæk 19811464 23-06-1989 Ole Lehrmann Madsen Trud - design af et grammatikstyret dokumentbehandlingssystem
377 Karsten Egetoft Pedersen 19811428 23-06-1989 Jørgen Staunstrup (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
376 Jørgen Hougaard 19831644 22-06-1989 Erik Meineche Schmidt Fremdriftsmekanismer i strømningsalgoritmer
375 Mike Børling 19791410 22-06-1989 Susanne Bødker Mellem hårde og bløde praktikertraditioner - En Undersøgelse af datalogers praksis og uddannelse
374 Jens Damsgaard 19831834 21-06-1989 Susanne Bødker Mellem hårde og bløde praktikertraditioner - En Undersøgelse af datalogers praksis og uddannelse
373 Eld Zierau 19821642 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 19821517 21-06-1989 Sven Skyum Problemer i ikke uniform kompleksitetsteori
371 Steen Kaalund Retbøll 19831826 20-06-1989 Carl Sturtivant Kompakt realisering af thresholdfunktioner
370 Paul Sørensen 19831820 20-06-1989 Carl Sturtivant Kompakt realisering af thresholdfunktioner
369 Michael Hansen 19831784 20-06-1989 Erik Meineche Schmidt Fremdriftsmekanismer i strømningsalgoritmer
368 Annette Ljungberg 19831717 20-06-1989 Peter Landrock (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
367 Henrik Tolbøl 19821624 20-06-1989 Ole Caprani Anvendelse og Evaluering af Transputernet
366 Sven Aage Birch 19821526 20-06-1989 Carl Sturtivant Kompakt realisering af thresholdfunktioner
365 Peter Byg Hansen 19831666 19-06-1989 Ole Lehrmann Madsen Trud - design af et grammatikstyret dokumentbehandlingssystem
364 Jogvan Martin Gråstein 19821617 19-06-1989 Jørgen Staunstrup (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
363 Michael Madsen 19821586 19-06-1989 Jørgen Lindskov Knudsen Parsing attribute grammars
362 Susanne Brogaard Bondesen 19821549 19-06-1989 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
361 Preben Mogensen 19831860 16-06-1989 Susanne Bødker Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling
360 Ole Bisgaard 19821581 16-06-1989 Susanne Bødker Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling
359 Dorte Gade 19811424 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 19831877 27-01-1989 Peter Møller-Nielsen Systoliske algoritmer realiseret asynkront
357 Claus Riber Christensen 19831871 27-01-1989 Peter Møller-Nielsen Opbygning af hændelsesstyrende kredsløb i VLSI
356 Erik Toubro Nielsen 19831863 27-01-1989 Peter Møller-Nielsen Opbygning af hændelsesstyrende kredsløb i VLSI
355 Jette Frich Hansen 19831862 27-01-1989 Peter Møller-Nielsen Systoliske algoritmer realiseret asynkront
354 Lars Møller Jørgensen 19831858 27-01-1989 Peter Møller-Nielsen Systoliske algoritmer realiseret asynkront
353 Finn Almind Brodersen 19831831 27-01-1989 Mogens Nielsen An Experimental Study of Parallel Graph Reduction Machines
352 Jan Hauerslev 19821640 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 19821616 27-01-1989 Ole Lehrmann Madsen Transformationssystemer - en foranalyse med henblik på design af et system i Mjølner
350 Niels Jacobsen 19821615 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 19821614 27-01-1989 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
348 Tommy Nielsen 19821612 27-01-1989 Morten Kyng EDB-støtte til lægepraksis - et eksperiment med udvikling af en brugsmodel og en prototype
347 Torben Bajlum 19811488 27-01-1989 Morten Kyng EDB-støtte til lægepraksis - et eksperiment med udvikling af en brugsmodel og en prototype
346 Erik Bjerre 19811459 27-01-1989 Morten Kyng Udvikling og brug af fælles materialer - et aspekt af bruger/udvikler samarbejde i design
345 Niels Reimer 19811431 09-01-1989 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
344 Keld Pedersen 19760577 02-11-1988 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
343 Marc Eyvind Eld 19821521 15-10-1988 Ole Lehrmann Madsen Programbiblioteker og genanvendelse
342 Olaf Nielsen 19811485 15-10-1988 Jørgen Brandt (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
341 Regine Hansen 19801359 14-09-1988 Joan Greenbaum (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
340 Lisbeth Faber Rasmussen 19801347 14-09-1988 Joan Greenbaum Den sociale dimension i systemudvikling - et casestudie om grupper og kultur i en udviklingsorganisation
339 Jakob Holm 19791447 12-09-1988 Mogens Nielsen An Experimental Study of Parallel Graph Reduction Machines
338 Jørgen Nørgård Petersen 19821527 22-08-1988 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
337 Jakob Laursen 19801260 22-08-1988 Erik Meineche Schmidt En relationel kalkule for design og udvikling af korrekte non-deterministiske programmer
336 Kim Skak Larsen 19821562 17-08-1988 Mogens Nielsen A Fully Abstract Model for a Process Algebra with Refinement
335 Kell Ørhøj 19801363 05-08-1988 Erik Meineche Schmidt Programmeringsmetoder i geometriske beregninger
334 Søren Top 19761724 20-07-1988 Mogens Nielsen TPLASK - Et analyse og systemudviklingsredskab for automatisk programmering af temporallogiske specifikationer over parallelle processers kommunikation?
333 Jan Nyholm Albertsen 19811473 18-07-1988 Brian Henry Mayoh Videntilegnelse i teori & praksis
332 Henrik Schou 19811420 18-07-1988 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
331 Jens Palsberg Jørgensen 19831803 20-06-1988 Peter Mosses An Action Semantics for Inheritance
330 Ole Kristensen 19831795 20-06-1988 Ole Østerby Differensmetoder til løsning af en diffusion-transport ligning
329 Ole Bach Andersen 19821625 20-06-1988 Morten Kyng Udvikling og brug af fælles materialer - et aspekt af bruger/udvikler samarbejde i design
328 Bent Dyrmose Christensen 19821608 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 19821576 20-06-1988 Ole Lehrmann Madsen The Beta Shadow Language - a basis for high level debugging
326 Claus Henrik Pedersen 19821541 20-06-1988 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
325 Holger Jepsen 19821540 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 19821530 20-06-1988 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
323 Lars Zimmermann 19821461 20-06-1988 Jørgen Staunstrup (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
322 Tage Stephansen 19811493 20-06-1988 Joan Greenbaum Den sociale dimension i systemudvikling - et casestudie om grupper og kultur i en udviklingsorganisation
321 Søren Christensen 19811479 20-06-1988 Lars Mathiassen A Model for Concurrent Systems
320 Nielsen Knud Nyholm 19811455 20-06-1988 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
319 Tove Skouenborg Rolskov 19801321 20-06-1988 Lars Mathiassen Work practice in projects using 4th Generation Systems
318 Anne Marie Skelde-Petersen 19811478 08-06-1988 Kurt Jensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
317 Joan Jensen 19811471 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 19811462 08-06-1988 Kurt Jensen Numeriske Petri Net og PROTEAN
315 Thomas Groth 19811447 08-06-1988 Kurt Jensen Numeriske Petri Net og PROTEAN
314 Henrik Juul Geer Rasmussen 19811446 08-06-1988 Kurt Jensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
313 Bente Rose Andersen 19801349 08-06-1988 Kurt Jensen En anvendelse af Petri net Beskrivelse af et kontorsystem ved hjælp af RFA-net
312 Jens Himmelstrup 19821590 06-06-1988 Erik Meineche Schmidt Fremdriftsegenskaber og inkrementelle beviser
311 Claus Bendiksen Jensen 19811456 26-05-1988 Ole Østerby (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
310 Jan Hosbond 19821536 20-05-1988 Sven Skyum Dynamisk håndtering af rektangler
309 Torben Krøjmand 19811440 20-05-1988 Sven Skyum Design af et fordelt lager
308 Kurt Sørensen 19801371 20-05-1988 Sven Skyum Design af et fordelt lager
307 Jan Mark 19801281 19-05-1988 Morten Kyng Udvikling og brug af fælles materialer - et aspekt af bruger/udvikler samarbejde i design
306 Lars Karlsen 19801354 24-03-1988 Brian Henry Mayoh Repræsentation af begrænsninger (constraints) i data modeller
305 Torben Pryds Pedersen 19821593 20-03-1988 Peter Landrock (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
304 Tom Hesselvig Hagelskjær 19821618 29-02-1988 Mogens Nielsen Petri Nets - A Bridge from Behaviour to Structure.
303 Peter Juhl 19821528 25-01-1988 Ole Lehrmann Madsen Version and Variant Control - a Structural Approach
302 Søren Laursen 19821580 22-01-1988 Jørgen Staunstrup (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
301 Jacob Kornerup 19821572 22-01-1988 Jørgen Staunstrup pi - et simpelt parallelt programmeringssprog til processtyring
300 Jens Benned Hansen 19821571 22-01-1988 Jørgen Staunstrup pi - et simpelt parallelt programmeringssprog til processtyring
299 Kaj Grønbæk 19811461 20-01-1988 Lars Mathiassen Work practice in projects using 4th Generation Systems Abstract
298 Jacob-Bernhardt Brock 19801320 20-01-1988 Jørgen Staunstrup (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
297 Per Fack Sørensen 19821551 17-12-1987 Ole Lehrmann Madsen The Beta Shadow Language - a basis for high level debugging
296 Helge Winkler Hess 19811469 17-12-1987 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
295 John Poulsen 19791403 17-12-1987 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
294 Peter Bertelsen 19811467 16-10-1987 Peter Landrock PC - RSA, RSA - kryptografering i software
293 Tommy Baumwall 19811411 16-10-1987 Peter Landrock PC - RSA, RSA - kryptografering i software
292 Kenni Hørmann 19811466 11-09-1987 Jørgen Lindskov Knudsen MCI - et paradigme til strukturering af rastergrafiske applikationer
291 Jan Anderson 19791420 11-09-1987 Jørgen Lindskov Knudsen MCI - et paradigme til strukturering af rastergrafiske applikationer
290 Leif Winkler Sørensen 19811476 01-09-1987 Gudmund Frandsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
289 Carsten Lomborg Andersen 19811470 01-09-1987 Gudmund Frandsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
288 Kaj Gross 19811432 01-09-1987 Gudmund Frandsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
287 Anders Bandholm 19811497 31-08-1987 Jørgen Lindskov Knudsen PIA - Paradigme til strukturering af interaktionssystemer
286 Henrik Munk Ebbesen 19811468 31-08-1987 Jørgen Lindskov Knudsen PIA - Paradigme til strukturering af interaktionssystemer
285 Michael Edelgaard Caspersen 19801357 14-08-1987 Erik Meineche Schmidt Fordelte beregninger: Model og metode
284 Henrik Bøje 19801268 14-08-1987 Erik Meineche Schmidt Fordelte beregninger: Model og metode
283 Claus Bøgestrand 19821519 18-06-1987 Carl Sturtivant (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
282 Carsten Lund 19821520 18-06-1987 Carl Sturtivant (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
281 Anders Gammelgaard 19791353 18-05-1987 Erik Meineche Schmidt Implementationsrelationer mellem parallelle algoritmer
280 Anette Jonassen 19821577 01-04-1987 Peter Landrock (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
279 Per Bøgeskov Thomsen 19811444 01-04-1987 Gudmund Frandsen PRAKT - et ekspertsystem
278 Lars Johansen 19811430 01-04-1987 Gudmund Frandsen PRAKT - et ekspertsystem
277 Vagn Tøttrup Jensen 19791385 09-03-1987 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
276 Hanne Søndergaard 19801704 06-03-1987 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
275 Steen Søndergaard 19801323 06-03-1987 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
274 Birgit Laustsen 19801705 06-02-1987 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
273 Henny Ulsøe Lauritsen 19801702 06-02-1987 Ole Lehrmann Madsen Overvejelser om programmeringssprog med henblik på undervisning
272 Ole Lebech Sørensen 19791396 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 19791333 01-01-1987 Sven Skyum Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ
270 Niels Bollesen 19790802 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 19791379 19-12-1986 Morten Kyng (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
268 Finn Barrett 19781364 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 19760622 19-12-1986 Morten Kyng (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
266 Peter Hilligsøe Kristiansen 19781356 19-11-1986 Peter Kornerup Netfilsystemer
265 Arne Møller Jensen 19801353 15-10-1986 Morten Kyng (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
264 Vibeke Boye 19801329 15-10-1986 Morten Kyng (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
263 Søren Hvidbjerg 19801325 10-09-1986 Ole Lehrmann Madsen Graphical Programming Environments - Applied to Beta
262 Stig Bertelsen 19781401 10-09-1986 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
261 Kurt Fleckner 19811409 01-08-1986 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
260 Eigil Mahs 19801350 01-08-1986 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
259 Søren Weibel Mortensen 19811443 30-07-1986 Mogens Nielsen Ekspertsystemer i Landbrugssektoren
258 Jan Rubæk Pedersen 19811427 30-07-1986 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
257 Bente Hedegaard Kristensen 19801377 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 19771463 30-07-1986 Mogens Nielsen Ekspertsystemer i Landbrugssektoren
255 Ib-Michael Martinsen 19771414 30-07-1986 Mogens Nielsen Ekspertsystemer i Landbrugssektoren
254 Lars Bendix 19801373 21-07-1986 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
253 Kasper Østerbye 19801310 21-07-1986 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
252 Preben Fisker Jensen 19791436 21-07-1986 Erik Meineche Schmidt Fordelte fixpunkt beregninger
251 Nils Klarlund 19841759 15-07-1986 Erik Meineche Schmidt (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
250 Svend Hauge Nielsen 19801318 01-07-1986 Sven Skyum Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ
249 Uffe Henrik Engberg 19801311 01-07-1986 Mogens Nielsen A Calculus of Communicating Systems with Label Passing Abstract
248 Christian Holst Jensen 19801313 01-06-1986 Erik Meineche Schmidt Bevisteknikker for distribuerede processer
247 Niels Helbo 19791400 01-06-1986 Erik Meineche Schmidt Bevisteknikker for distribuerede processer
246 Peder Falk Thøstensen 19791412 01-04-1986 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
245 Karl Bruno Munkholm 19781377 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 19771441 01-04-1986 Ole Lehrmann Madsen BETARUN - En BETA-maskine implementeret i mikrokode på PERQ-datamaten
243 John Schmidt 19771436 01-04-1986 Ole Lehrmann Madsen En grammatikbaseret definition af objektorienterede metaprogrammeringssystemer
242 Kim Steffensen 19750649 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 19801342 21-03-1986 Sven Skyum Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ
240 Søren Erik Nielsen 19791430 21-03-1986 Sven Skyum Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ
239 Peter Axel Nielsen 19801340 01-03-1986 Lars Mathiassen Dagbogsskrivning til styring i systemudvikling
238 Leif Obel Jepsen 19781397 01-03-1986 Lars Mathiassen Dagbogsskrivning til styring i systemudvikling
237 Bjarne Poulsen 19741944 10-01-1986 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
236 Peter Huber 19801370 30-11-1985 Lars Mathiassen Analyse og design på kontorområdet - belyst gennem et eksperiment med tre forskellige metoder
235 Susanne Bengtson 19791425 30-11-1985 Lars Mathiassen Analyse og design på kontorområdet - belyst gennem et eksperiment med tre forskellige metoder
234 Ole Jensen 19763136 30-11-1985 Lars Mathiassen Analyse og design på kontorområdet - belyst gennem et eksperiment med tre forskellige metoder
233 Per Hyttel Larsen 19771470 19-11-1985 Peter Kornerup Sameksistens af ARPA og ISO internet - en analyse
232 Merete Bartholdy 19761493 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 19762015 29-08-1985 Brian Henry Mayoh Om kunstig intelligens
230 Peter Buus 19801364 16-08-1985 P.S. Thiagarajan On the application of Logic of Knowledge to distributed systems: A Petri net view.
229 Birger Nielsen 19791427 16-08-1985 P.S. Thiagarajan On the application of Logic of Knowledge to distributed systems: A Petri net view.
228 Per Rye Filskov 19751452 03-07-1985 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
227 Carsten Bundgaard 19750334 03-07-1985 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
226 Inger Bohlbro 19771430 01-07-1985 Peter Mosses Programtransformationer og abstrakte semantiske algebraer
225 Jan Holdam 19781372 25-06-1985 Peter Mosses Gipsy- Et system til syntaksdirigeret interaktiv dokumentbehandling
224 Claus Nørgård 19781360 25-06-1985 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
223 Pål Sørgaard 19801358 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 19752817 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 19791378 14-05-1985 Mogens Nielsen An Experimental Study Of Parallel Execution Of Logic Programs Abstract
220 Claus Rønø Pedersen 19781399 15-04-1985 Jørgen Staunstrup Analyse af en Parallel Sorteringsalgoritme
219 Jørgen Katborg Andersen 19750483 15-04-1985 Jørgen Staunstrup Analyse af en Parallel Sorteringsalgoritme
218 Jørn Vesterdal 19732474 15-04-1985 Jørgen Staunstrup Analyse af en Parallel Sorteringsalgoritme
217 Mogens Hagne 19760132 02-04-1985 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
216 Per Bech Hansen 19781362 15-03-1985 Andreas Munk-Madsen Estimering af systemudviklingsprojekter - Praksis - Teori - Eksperimenter
215 Palle John Jensen 19761827 15-03-1985 Andreas Munk-Madsen Estimering af systemudviklingsprojekter - Praksis - Teori - Eksperimenter
214 Bjarne Grevsen Thams 19771444 15-02-1985 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
213 Jens Ole Graulund 19761491 15-02-1985 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
212 Erik Frederiksen 19760006 15-02-1985 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
211 Finn Terpling 19771428 01-02-1985 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
210 Lars Gregers Gregersen 19762354 01-02-1985 Peter Kornerup DAIMI-net
209 Morten Bang 19771447 30-01-1985 Kurt Jensen A Conceptual Framework for Prototyping
208 Kaj Fick 19750571 30-01-1985 Kurt Jensen A Conceptual Framework for Prototyping
207 Niels Rose Hansen 19740789 20-12-1984 Peter Kornerup DAIMI-net
206 Hans Jørgen Jacobsen 19730432 20-12-1984 Peter Kornerup En analyse af en arkitektur for Ada
205 Bjarne Munk 19761497 31-10-1984 Finn Kensing Regulering i systemudvikling - Århus Oliefabrik som eksempel
204 Karsten Hansen 19760584 31-10-1984 Finn Kensing Regulering i systemudvikling - Århus Oliefabrik som eksempel
203 Preben Hirstmann 19722616 31-08-1984 Finn Kensing (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
202 Svend Elmo Steensen 19750011 25-08-1984 Lars Mathiassen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
201 Erik Bobach 19771449 06-07-1984 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
200 Carsten Johansen 19761129 06-07-1984 Brian Henry Mayoh Relational overbygning til et netværksdatabasesystem
199 Michael Ignatieff Schwartzbach 19791398 12-06-1984 Erik Meineche Schmidt The Design of a Programming Language
198 Sven Vedel 19702355 11-05-1984 Lars Mathiassen edb-projektplanlægning set i forhold til ændringer i krav til forestillinger om produktet
197 Christian Glassau Hansen 19781391 24-04-1984 Ole Caprani (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
196 Jonna Rønlev Nielsen 19762146 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 19760312 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 19771433 20-01-1984 Morten Kyng (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
193 Lene Risør 19763052 20-01-1984 Morten Kyng Om Epsilon og net
192 Ole Eriksen 19771674 10-01-1984 Jørgen Staunstrup Algoritmer i netværk
191 Lena Henriksen 19731183 22-12-1983 Finn Kensing Konstruktion og CAD-systemer
190 Jan Skytte 19760646 12-12-1983 Peter Møller-Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
189 Per Andersen 19760365 12-12-1983 Peter Møller-Nielsen Sceneanalyse ved Krystaldyrkning
188 Elmer Sandvad 19761507 09-11-1983 Ole Lehrmann Madsen EKKO - An Integrated Program Development System
187 Kurt Nørmark 19760364 09-11-1983 Ole Lehrmann Madsen EKKO - An Integrated Program Development System
186 Karen Borup 19750005 09-11-1983 Ole Lehrmann Madsen EKKO - An Integrated Program Development System
185 Lars Dahl 19761278 31-10-1983 Mogens Nielsen Dokumentation af multiprogrammer
184 Jakob Nielsen 19760366 22-08-1983 Brian Henry Mayoh Software ergonomi
183 Niels Damgaard Hansen 19762024 12-08-1983 Kurt Jensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
182 Kim Halskov Madsen 19761360 12-08-1983 Kurt Jensen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
181 Claus Aagaard Sørensen 19761492 29-07-1983 Ole Lehrmann Madsen Sammenkobling af datakommunikationsnetværk - begrebsdannelser og implementationsovervejelser
180 Søren Kaas Birn 19761130 29-07-1983 Ole Lehrmann Madsen Sammenkobling af datakommunikationsnetværk - begrebsdannelser og implementationsovervejelser
179 Gitte Kjær Nielsen 19771462 22-07-1983 Ole Lehrmann Madsen Overvågning af samtidige programmer
178 Dorte Tranberg Jensen 19761725 22-07-1983 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
177 Lars Berner 19700470 01-07-1983 Lars Mathiassen Opfyldelse af brugernes krav og ønsker til et EDB-baseret systems egenskaber gennem valg af systemudviklingsstrategi
176 Thorkil Laursen 19691338 01-07-1983 Lars Mathiassen Systemudvikling i teori og praksis
175 Tove Morell 19710302 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 19751663 24-05-1983 Jørgen Staunstrup (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
173 Jens Ove Jespersen 19751240 24-05-1983 Jørgen Staunstrup (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
172 Ellen Christiansen 19810003 10-04-1983 Lars Mathiassen EDB inden for skovbruget
171 Preben Etzerodt 19750644 10-04-1983 Lars Mathiassen EDB inden for skovbruget
170 Jan Sørensen 19740375 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 19761501 21-03-1983 Ole Østerby Calculation of elementary mathematical functions to an arbitrary precision
168 Kirsten Hjerrild Nielsen 19762025 22-02-1983 Ole Lehrmann Madsen Et objektorienteret syn på databaser
167 Kristine Stougård Thomsen 19762021 22-02-1983 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
166 Christian Paulsen 19771431 01-02-1983 Neil Jones A Parallel Implementation of a Functional Language
165 Gudmund Skovbjerg Frandsen 19761830 01-02-1983 Mogens Nielsen En sammenhæng mellem proces og struktur - modal logik - netteori.
164 Karsten Djurtoft 19810410 31-01-1983 Lars Mathiassen Analyse af Socio-Teknisk Metode
163 Axel Andersen 19751933 17-01-1983 Peter Møller-Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
162 Jørgen Thomsen 19700759 17-01-1983 Peter Møller-Nielsen En Generel Programmeringsmetode for Skærmbilledorienterede Interaktive Systemer
161 Jens Dohn 19731648 01-12-1982 Peter Mosses Semantik af Abstrakte Datastrukturer
160 Herluf Hansen 19761508 30-11-1982 Ole Lehrmann Madsen Design af et objektorienteret sprog
159 Erik Reinholdt 19751380 30-11-1982 Ole Lehrmann Madsen Design af et objektorienteret sprog
158 Torben Hansen 19761361 26-10-1982 Jørgen Staunstrup Implementation af kommunikationsprimitiver på en multiprocesenhed
157 Kell Hauser 19762413 29-09-1982 Jørgen Staunstrup (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
156 Andreas Lorenzen 19741200 03-08-1982 Mogens Nielsen Synkron/asynkron kommunikation - oversættelse af et actorsprog til CCS
155 John Kammersgaard 19751126 16-07-1982 Lars Mathiassen Et begrebsapparat til karakteristik af programmeringsprocesser
154 Troels Møller Jørgensen 19750577 16-07-1982 Lars Mathiassen Et begrebsapparat til karakteristik af programmeringsprocesser
153 Anders Jørgen Andersen 19732107 28-06-1982 Ole Lehrmann Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
152 Jørgen Lindskov Knudsen 19731887 28-06-1982 Ole Lehrmann Madsen Aspekter af programmeringssprog: Begreber, modeller og design
151 Thorkil Naur 19750927 14-06-1982 Ole Østerby Integer Factorization
150 Kurt Søe 19751451 01-06-1982 Jørgen Staunstrup Implementation af Concurrent PASCAL på - MULTI MAREN
149 Jens Søgaard Andersen 19751242 01-06-1982 Jørgen Staunstrup Implementation af Concurrent PASCAL på - MULTI MAREN
148 Peter Schou 19720353 10-03-1982 Peter Møller-Nielsen Permanente Kopier af GT40-Billeder
147 Susanne Bødker 19750333 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 19730830 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 19741779 11-12-1981 Morten Kyng (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
144 Karsten Bank Petersen 19732101 01-12-1981 Jørgen Staunstrup, Erik Meineche Schmidt Konvolutter - Et Element i Beskrivelser og Verifikation af Programmer med Parallellitet
143 Torry Skak Gaarde 19741502 02-11-1981 Jørgen Staunstrup Dynamisk udskiftelige processer i Concurrent Pascal
142 Jens Kristian Kjærgaard 19741201 02-11-1981 Jørgen Staunstrup Dynamisk udskiftelige processer i Concurrent Pascal
141 Jacob Mohr Lolk 19721831 28-08-1981 Peter Kornerup Højniveau programmeringssprog til mikroprogrammering af MATHILDA
140 Eline Arnfred Vedel 19763211 15-08-1981 Lars Mathiassen Skandinaviske love og aftaler med betydning for systemudvikling
139 Sten Fredsbo Andersen 19712474 01-08-1981 Erik Meineche Schmidt (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
138 Birgitte Skouenborg Rolskov 19730989 28-07-1981 Lars Mathiassen Skandinaviske Love og Aftaler med Betydning for Systemudvikling
137 Torben Fogh 19730780 24-07-1981 Mogens Nielsen En semantik for synkroniserede parallelle processer
136 Henning Christiansen 19740700 15-07-1981 Neil Jones A new approach to Compiler Generation
135 Peter Trier 19731181 14-05-1981 Peter Møller-Nielsen Interaktiv grafik anvendt til databaseforespørgsler
134 Frank Bruun Topholm 19721046 14-05-1981 Peter Møller-Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
133 Poul Mølgaard 19681096 04-05-1981 Peter Møller-Nielsen Instruktions indkodning i RC3502
132 Arne Kjær 1968032 06-04-1981 Lars Mathiassen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
131 Flemming Eriksen 19750923 09-03-1981 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
130 Flemming Wibroe 19740791 09-03-1981 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
129 Leif Fisker Jensen 19730832 01-02-1981 Jørgen Staunstrup, Erik Meineche Schmidt Konvolutter - Et Element i Beskrivelser og Verifikation af Programmer med Parallellitet
128 Flemming Nielson 19740701 10-12-1980 Neil Jones Semantic Foundations of Data Flow Analysis
127 Torben Bech Larsen 19730857 08-10-1980 Mogens Nielsen Formal Analysis of Distributed Database Algorithms
126 Adser Leick 19740264 15-08-1980 Nigel Derrett (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
125 Leo Mark 19732546 15-08-1980 Nigel Derrett (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
124 Bent Hansen Kramer 19731853 29-07-1980 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
123 Peder Christian Nørgaard 19730829 20-06-1980 Brian Henry Mayoh (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
122 Søren Werner 19720351 20-06-1980 Brian Henry Mayoh En Model af administrative databehandlingssystemer med henblik på udvikling af distribuerede systemer
121 Leif Sandegaard Nielsen 19730604 04-06-1980 Jørgen Staunstrup Specifikation af Processynkronisering
120 Ole Dalsgaard Nielsen 19720323 04-06-1980 Jørgen Staunstrup Specifikation af Processynkronisering
119 Karsten Stær 19731228 29-05-1980 Peter Mosses Semantic descriptions and modularity
118 Mette Dupont 19710496 29-02-1980 Peter Mosses Denotationel semantik og forståelighed af programmeringssprog
117 Michael Madsen 19730697 13-02-1980 Neil Jones Parsing attribute grammars
116 Jette Lundin 19722857 08-01-1980 Morten Kyng (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
115 Erik Dybdal 19720338 08-01-1980 Morten Kyng (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
114 Hanne Riis 19732102 04-01-1980 Sven Skyum Subclasses of Attribute Grammars
113 Winnie Brandt 19721781 07-11-1979 Brian Henry Mayoh Conceptuelle grafer: En øvelse i design af programmeringssprog
112 Jan Mølgaard 19723085 01-11-1979 Nigel Derrett En diskussion af metoder til beskyttelse af data i datamatiske systemer
111 Benny Svinth Nielsen 19730162 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 19700253 11-10-1979 Nigel Derrett Et designarbejde for et filsystem til passet EGG synthesizeren på Musikvidenskabeligt Institut
109 Erik Fjord Hansen 19730698 01-10-1979 Nigel Derrett En diskussion af metoder til beskyttelse af data i datamatiske systemer
108 Jens Helveg Larsen 19730095 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 19720230 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 19721995 15-08-1979 Erik Meineche Schmidt Attributgrammatikker med begrænsede semantiske funktioner
105 Erik Dragsbæk Madsen 19711918 15-07-1979 Brian Henry Mayoh SIMGRAPH - Et grafisk system med et generelt model- og funktionsbegreb
104 Lisbeth Munck 19681035 25-06-1979 Sven Skyum Lukkethedsegenskaber for nogle sprogfamilier, genereret af context free lignende grammatikker
103 Ole Ejby Reinau 19710136 15-06-1979 Peter Møller-Nielsen Transformationssystemer - Implementeret på en mindre programmerbar satellit
102 Søren Rieck Sørensen 19700356 15-06-1979 Peter Møller-Nielsen Transformationssystemer - Implementeret på en mindre programmerbar satellit
101 Thorkil Bogh 19720891 10-05-1979 Morten Kyng Teknikker og værktøjer til bearbejdelse af formidling af information i systemudviklingsprocessen
100 Brigitte Valborg Nielsen 19710731 10-05-1979 Morten Kyng Teknikker og værktøjer til bearbejdelse af formidling af information i systemudviklingsprocessen
99 Preben Bangsgaard 19722120 07-05-1979 Brian Henry Mayoh Evaluering og forbedring af repræsentationen af databaser på fysisk lagermedium
98 Bente Brøsted Pedersen 19700760 07-05-1979 Brian Henry Mayoh Evaluering og forbedring af repræsentationen af databaser på fysisk lagermedium
97 Søren Nissen Nielsen 19700114 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 19690927 12-03-1979 JO Access Paths and Query Optimization in a Relational Data Base System
95 Ejvind Højgaard Knudsen 19720472 15-02-1979 Peter Kornerup A Portable Pascal Compiler
94 Jan Bardino 19711167 15-02-1979 Peter Kornerup A Portable Pascal Compiler
93 Henrik Vestergaard 19721045 09-02-1979 Nigel Derrett En evaluering af swapping/paging i timesharingsystemet TOPS-10
92 Claus Faurholt Troelsen 19701286 09-02-1979 Nigel Derrett En evaluering af swapping/paging i timesharingsystemet TOPS-10
91 Jørgen Sand 19730696 04-01-1979 Ole Østerby Stabilitet ved løsning af ikke-lineære sædvanlige differentialligninger
90 Niels Frey 19711543 13-12-1978 Peter Møller-Nielsen Test på et grafisk system
89 Finn Kensing 19710642 13-12-1978 Kristen Nygaard Systemudviklingsmetoder, set ud fra et arbejdstagerkrav om medbestemmelse
88 Berit Thaysen 19710364 13-12-1978 Kristen Nygaard Systemudviklingsmetoder, set ud fra et arbejdstagerkrav om medbestemmelse
87 Kurt Kirkedal Laursen 19701748 13-12-1978 Kristen Nygaard Systemudviklingsmetoder, set ud fra et arbejdstagerkrav om medbestemmelse
86 Henrik Carl Andersen 19700602 13-12-1978 Peter Møller-Nielsen Test på et grafisk system
85 Joes Clausen 19680354 01-12-1978 Povl Villumsen Principper i operativsystemer
84 Jens Sandbjerg Andersen 19712100 30-08-1978 Nigel Derrett TOPSY: En simulationsmodel af TOPS-10
83 Mads Christian Madsen 19711917 24-07-1978 Ole Østerby Differensmetoder for en ikke-lineær parabolsk ligning
82 Erik Bak Kristensen 19690507 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 19680847 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 19722572 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 19711416 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 19701499 24-06-1978 Brian Henry Mayoh LINDA- et sprog til lingvistisk databehandling
77 Bruno Stenstrup Jensen 19700702 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 19701221 27-04-1978 Brian Henry Mayoh Sceneanalyse ved Krystaldyrkning
75 Valter Haslev 19700119 27-04-1978 Brian Henry Mayoh Sceneanalyse ved Krystaldyrkning
74 Ib Holm Sørensen 19691690 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 19712201 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 19712200 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 19710213 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 19710994 06-01-1978 Ole Østerby Global fejlestimering ved løsning af sædvanlige differentialligninger
69 Anne-Marie Eriksen 19690404 20-12-1977 Kristen Nygaard Problemer i systemudvikling, specielt vedrørende sprogformer i systembeskrivelser - belyst ved FAUST, Folkebibliotekernes Automationssystem
68 Andreas Munk-Madsen 19700703 19-12-1977 Kristen Nygaard Systembeskrivelse med Brugere
67 Manfred Andreasen 19640137 09-11-1977 Ole Østerby Numerisk maximalisering af likelihoodfunktionen for en capture- recapture model
66 Claus Quistgård 19712199 04-11-1977 Kristen Nygaard Analyse af datamodel. Metoder og eksempler
65 Børge Sand Kirk 19701855 25-07-1977 Michael Bennett SIMOS - Et hjælpemiddel i operativsystem-undervisning
64 Olav Eskesen 19670436 13-07-1977 Mogens Nielsen Interaktive transducer-grammatikker
63 Henning Jeppesen 19702640 07-07-1977 Peter Kornerup Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database
62 Jens Peder Andersen 19690620 07-07-1977 Peter Kornerup Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database
61 Søren Roar Hansen 19690040 07-07-1977 Peter Kornerup Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database
60 Eric Kressel 19690038 07-07-1977 Peter Kornerup Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database
59 Niels Jørn Nielsen 19702430 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 19701222 30-06-1977 Peter Møller-Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
57 Ole Jacobsen 19711919 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 19710495 29-04-1977 Mogens Nielsen Parallel Rewriting on Planar Maps: A Mathematical Model for the Development of Multicellular Organisms
55 Poul Skafte Jespersen 19700426 19-04-1977 Povl Villumsen Minicomputer software for multi-device control
54 Søren Lauridsen 19630531 04-04-1977 Peter Møller-Nielsen EDB-medarbejderuddannelser
53 Karen Thomsen 19700976 09-03-1977 Peter Møller-Nielsen PL/Rikke-0
52 Vagn Toft Jensen 19700866 09-02-1977 Kristen Nygaard EDB-systemer i detailforretninger
51 Peder Grotkjær Nielsen 19690618 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 19651001 13-12-1976 Brian Henry Mayoh Ækvivalens af simple programskemaer med særlig henblik på de rekursive skemaer
49 Niels Karsten Thorhauge 19690042 11-12-1976 Kristen Nygaard Et studie af kommunikationsproblemer under udvikling af edb-systemer
48 Marie Louise Møller 19700409 08-12-1976 Brian Henry Mayoh SODA - Konstruktion og implementering af feltrestriktionen
47 Bent Melgård 19681143 23-11-1976 Povl Villumsen Operativsystemer: begreber og mekanismer i beskyttelse af subsystemer
46 Jens Otto Michelsen 19690306 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 19661761 19-07-1976 Brian Henry Mayoh Design and Implementation of Data Base Primitives
44 Jytte Schurmann Hansen 19692075 13-07-1976 Brian Henry Mayoh Semantics of data types
43 Kurt Jensen 19690241 02-07-1976 Brian Henry Mayoh An Investigation into Different Semantic Approaches
42 Ejvind Lynning 19710135 01-07-1976 Nigel Derrett A multi-emulation system
41 Otto Veie 19691540 30-06-1976 Nigel Derrett Implementation of High Level Languages on Minicomputers: A Case Study: BCPL on the NOVA
40 Birger Møller-Pedersen 19740376 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 19681141 04-03-1976 Peter Møller-Nielsen Platon. Design and Implementation on RC3500
38 Niels Erik Andersen 19691029 24-02-1976 Kristen Nygaard Et studie af kommunikationsproblemer under udvikling af edb-systemer
37 Finn Haar Kristiansen 19681334 27-08-1975 MiM Assessment of a Stack Machine through Statistics: Gathered by Simulation
36 Morten Kyng 19690616 25-08-1975 Kristen Nygaard Om projektion af DELTA sprogets begreber ind i quasiparallelle omgivelser
35 Jørgen Staunstrup 19710239 18-08-1975 Benedict Løfstedt Platon. Axiomatic Definition
34 Bendt Jensen 19680353 15-08-1975 Povl Villumsen Job control languages
33 Ole Lehrmann Madsen 19690304 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 19680950 31-07-1975 Brian Henry Mayoh JØNS-systemet - et system til automatisk generering af verifier
31 Bjarne Stroustrup 19690403 07-07-1975 Brian Henry Mayoh SNIF compiler and language
30 Arne Henning Sørensen 19681273 26-06-1975 Peter Møller-Nielsen Construction of an interactive graphic system
29 Aage Frost Mathiesen 19660925 26-06-1975 Peter Møller-Nielsen Design and Implementation of a programeditor for a minicomputer
28 Finn Kjærsgård Svendsen 19680269 17-06-1975 AS Regular Languages and L-systems
27 Lars Mathiassen 19691519 05-05-1975 Benedict Løfstedt En datalære bog - Konstruktion af undervisningsmateriale I elementær datalogi
26 Bent Bæk Jensen 19680857 11-02-1975 Brian Henry Mayoh An extension of the BOBS-system to a full compiler-compiler on mathematical semantics
25 Thorkil Rose 19670551 10-08-1974 Brian Henry Mayoh Klassifikation af sindslidende patienter
24 Kirsten Holmgård Jakobsen 19670531 30-07-1974 AS Sententielle former af contextfree sprog
23 Bo Bagger Laursen 19660037 21-07-1974 Laurent Halphen Design og implementering af et moderne filsystem til en minidatamat
22 Jørgen Frimodt Hansen 19680567 24-06-1974 Søren Nielsen Evoked Response Audiometry
21 Bent Bruun Kristensen 19681457 14-05-1974 Peter Kornerup Erkendelse og Korrektion af Syntaksfejl under LR-parsning
20 Per Ahlgren Christensen 19680461 17-12-1973 Brian Henry Mayoh Substitution and Lindenmayer Systems
19 Inger Lytje 19671645 17-12-1973 Brian Henry Mayoh Design af et Question-Answering-System til Informationssøgning i Jydsk Ordbog
18 Ulla Beck Christensen 19670560 14-12-1973 Brian Henry Mayoh Design af et Question-Answering-System til Informationssøgning i Jydsk Ordbog
17 Steen Nørgård 19650594 11-11-1973 Brian Henry Mayoh Mønsteranalyse ved hjælp af lokale transformationer
16 Thyge Jæger Knudsen 19671554 11-09-1973 Brian Henry Mayoh Recursive schemata and intuitionistic logic
15 Jens Daabeck 19660444 07-09-1973 Peter Møller-Nielsen Indkøring af et grafisk display
14 Jens Ulrik Mouritsen 19651166 01-08-1973 Ole Brun Madsen Datakompression
13 Jens Ebbe Thomsen 19680948 14-06-1973 Ole Brun Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
12 Evald Skov Jensen 19680850 14-06-1973 Ole Brun Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
11 Mogens Nielsen 19681196 08-02-1973 Brian Henry Mayoh On Decomposition of Stochastic Finite-State Systems
10 Iver Arendal Larsen 19660401 15-01-1973 Brian Henry Mayoh Automatiske klassifikationsmetoder
9 Mogens Kjærgård Rasmussen 19660902 28-09-1972 Brian Henry Mayoh Familier af deterministiske sprog
8 Arne Tolstrup Madsen 19660927 25-08-1972 Peter Kornerup Basismekanismer for operativsystemer
7 Poul Vestereng 19650998 21-08-1972 Ole Brun Madsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)
6 Grete Jensen 19640386 17-08-1972 Bjarner Svejgaard Automatisk decidation og korrektion af stavefejl
5 Frede Dybkjær 19651419 22-06-1972 Bjarner Svejgaard Alice - A Language Improving Computer Education
4 Willy Mathiesen 19630471 26-05-1972 Brian Henry Mayoh Konstruktion og Implementering af interaktivt theorem proving system
3 Torsten Skov Rasmussen 19651111 11-04-1972 Brian Henry Mayoh Automatisk programverificering
2 Erik Meineche Schmidt 19640972 20-03-1972 Brian Henry Mayoh Karakterisation af oversættelse for de til Chomsky-hierarkiet hørende automater
1 Sven Skyum 19650283 21-02-1972 Brian Henry Mayoh Garden of Eden - konfigurationer i cellulære automater