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