Number |
Student |
Date |
Supervisor |
Thesis title |
1909 |
Thor Bjørn Jakobsen |
29-01-2021 |
Claudio Orlandi/Peter Scholl |
Class Group Cryptography |
1908 |
Andreas Salling Heglingegård |
28-01-2021 |
Jaco van de Pol/Magnus Madsen |
Compiling and Interpreting Datalog |
1907 |
Lena Mølgaard Laustsen |
28-01-2021 |
Kasper Green Larsen |
Diskrepansteori i datalogien |
1906 |
Malthe Bisgaard Lange |
27-01-2021 |
Bas Spitters/Danil Annenkov |
Certified compilation from a financialcontract DSL to smart contract languages |
1905 |
Laurits Tamborg Christensen |
25-01-2021 |
Ira Assent/Henrik Pedersen |
6D Pose: A Domain Randomization Approach |
1904 |
Jacob Clausen Crawford |
10-12-2020 |
Ira Assent/Davide Mottin |
Towards real world application of personal summaries over knowledge graphs |
1903 |
Oskar Haarklou Veileborg |
26-11-2020 |
Anders Møller |
New Analysis and Optimisation Techniques for High-Level Programming Languages |
1902 |
Simon Oddershede Gregersen |
19-10-2020 |
Lars Birkedal |
Types and Logics for Security and Distributed Systems |
1901 |
Joao Marcelo Evangelista Belo |
28-08-2020 |
Kaj Grønbæk |
User Interfaces and Interaction for Mixed Reality |
1900 |
Jakob Botsch Nielsen |
28-08-2020 |
Bas Spitters |
Practically Certifying Smart Contracts with Coq |
1899 |
Thomas Manuel Rebelo Mota |
26-08-2020 |
Henrik Bærbak Christensen |
Analysis of Development Practices for a Microservice-based System |
1898 |
Søren Eller Thomsen |
25-08-2020 |
Bas Spitters |
Guarantees for Nakamoto-Style Blockchains |
1897 |
Mikkel Milo Tromborg Nielsen |
05-08-2020 |
Bas Spitters |
Property-Based Testing of Smart Contracts in Coq |
1896 |
Mikkel Hammelev |
01-07-2020 |
Ivan Bjerre Damgård/Peter Scholl |
Homorphic Secret Sharing using Homomorphic Encryption |
1895 |
Dennis Sebastian Lund |
30-06-2020 |
Ivan Bjerre Damgård |
Memory Hard Functions as a More Secure Hashing: An Overview and Analysis |
1894 |
Henriette Ulfkjær Rohde |
30-06-2020 |
Claudio Orlandi |
Robust Decentralised Storage Networks from Proofs of Spacetime |
1893 |
Mikkel Jeppesen Juhl |
30-06-2020 |
Claudio Orlandi |
Robust Decentralised Storage Networks from Proofs of Spacetime |
1892 |
Alexander Munch-Hansen |
30-06-2020 |
Claudio Orlandi/Sophia Yakoubov |
Security and Compactness of Threshold Ring Signatures and Related Primitives |
1891 |
Rasmus Killmann Brogaard Petersen |
29-06-2020 |
Peyman Afshani |
Algorithmic challenges in Computational Geometry: Making queries in diverse data sets. |
1890 |
Asger Hautop Drewsen |
29-06-2020 |
Lars Arge |
Flood Prediction on Danamic Terrains |
1889 |
Emil Holm Gjørup |
29-06-2020 |
Bas Spitters |
Congruence Closure Procedure in Cubical Type Theory |
1888 |
Lasse Letager Hansen |
29-06-2020 |
Bas Spitters |
(Q)M-types and Coinduction in HoTT / CTT |
1887 |
Steffen Strunge Mathiesen |
29-06-2020 |
Hans-Jörg Schulz |
Improving the Readability and Appearance of Stacked Area Charts: Aesthetics and ordering |
1886 |
Alberte Herold Hansen |
29-06-2020 |
Hans-Jörg Schulz |
Multiple Alternative Views: Towards Mitigating Cognitive Bias in Visual Analytics |
1885 |
Maximilian Scheid |
29-06-2020 |
Hans-Jörg Schulz |
A MAPS-LIKE INTERFACE FOR KNOWL- EDGE GRAPHS |
1884 |
Jonas Hedegaard Linderoth |
29-06-2020 |
Ira Assent |
Design and evaluation of GPU accelerated subspace clustering algorithms |
1883 |
Mikkel Langhave |
29-06-2020 |
Ira Assent |
Design and evaluation of GPU accelerated subspace clustering algorithms |
1882 |
Patrick Mike Lewandowski |
29-06-2020 |
Ira Assent |
Failure Detection By Using Attention Neural Networks |
1881 |
Eleni Batziou |
29-06-2020 |
Kristoffer Arnsfelt Hansen |
Complexity Analysis from a Game-Theoretic Perspective |
1880 |
Nikolaj Ditlev Wladimir Sidorenco |
26-06-2020 |
Bas Spitters/Sabine Oechsner |
Formalising Sigma-Protocols and Commitment Schemes using EasyCrypt |
1879 |
Mikkel Munk Kristensen |
26-06-2020 |
Ira Assent/Henrik Pedersen |
Synthetic-to-Real Domain Adaptation for Semantic Segmentation of Street Scenes |
1878 |
Louis David George Marchant |
26-06-2020 |
Ira Assent/Henrik Pedersen |
Synthetic-to-Real Domain Adaptation for Semantic Segmentation of Street Scenes |
1877 |
Frederik Lynggaard Johansen |
26-06-2020 |
Ira Assent/Henrik Pedersen |
DMM-GAN: Global-Local Dynamic Memory and Redescription Objective for Direct Text-to-Image Synthesis |
1876 |
Casper Kørvel Jakobsen |
26-06-2020 |
Ira Assent/Henrik Pedersen |
DMM-GAN: Global-Local Dynamic Memory and Redescription Objective for Direct Text-to-Image Synthesis |
1875 |
Christoffer Müller Madsen |
25-06-2020 |
Aslan Askarov |
Zeebra: A Compiler for a Low-Level Language with IFC |
1874 |
Jon Michael Aanes |
25-06-2020 |
Aslan Askarov |
Zeebra: A Compiler for a Low-Level Language with IFC |
1873 |
Thomas Carlsen |
25-06-2020 |
Aslan Askarov |
Using Troupe for Information Flow Control in Web Browsers |
1872 |
Christian Zhuang-Qing Nielsen |
25-06-2020 |
Ira Assent/Henrik Pedersen |
6D Pose: A Domain Randomization Approach |
1871 |
Rui Zhang |
25-06-2020 |
Ira Assent/Henrik Pedersen |
Scene Text Detection and Recognition |
1870 |
Mikkel Lykke Jørgensen |
25-06-2020 |
Marianne Graves Petersen/Tiare Feuchtner |
IVAN: An In-VR Authoring Tool For Non-Programmers |
1869 |
Frederik Aarup Lauridsen |
25-06-2020 |
Panagiotis Karras |
A Study of Multidimensional Adaptive Indexing |
1868 |
Anders Hammershøj Jensen |
25-06-2020 |
Panagiotis Karras |
A Study of Multidimensional Adaptive Indexing |
1867 |
Christoffer Hauthorn Boisen |
24-06-2020 |
Kasper Green Larsen |
Graph coloring for sensor networks |
1866 |
Søren Oehlenschlæger Hjort |
24-06-2020 |
Kristoffer Arnsfelt Hansen |
Hairy Ball Theorem: Almost and Near Approximation |
1865 |
Thomas Richardy Christensen |
23-06-2020 |
Ivan Bjerre Damgård |
On the passively secure offline phase of SPDZ - using SHE based on P-LWE |
1864 |
Nicolai Wiwe Andersen |
23-06-2020 |
Ivan Bjerre Damgård/Peter Scholl |
Covert Security |
1863 |
Harshit Mahapatra |
23-06-2020 |
Morten Kyng |
Modular Telemedicine Systems Using Domain Driven Design |
1862 |
Else Bakkegaard |
22-06-2020 |
Christian Storm Pedersen |
Global parvis alignment i subkvadratisk tid |
1861 |
Lars Gunnar Stjernholm Lundqvist |
22-06-2020 |
Gerth Stølting Brodal |
Soft Sequence Heaps - Theory and Experimentation |
1860 |
Peter Ellerup Frank |
22-06-2020 |
Gerth Stølting Brodal |
Soft Sequence Heaps - Theory and Experimentation |
1859 |
Alin-Daniel Panainte |
22-06-2020 |
Niels Olof Bouvin |
Colligo: A framework for decentralized software development |
1858 |
Patrik Svetlák |
19-06-2020 |
Hans Gellersen/Jens Emil Grønbæk |
A taxonomy of AR authoring tools and a design tool for creating custom AR interactions without codin |
1857 |
Johan Møller bay |
28-02-2020 |
Aslan Askarov |
Titel ukendt |
1856 |
Christian Koller Nielsen |
21-02-2020 |
Ivan Bjerre Damgård |
Secure Circuit Evaluation Protocols in Practice |
1855 |
Rune Eggers |
29-01-2020 |
Ira Assent/Joao Marcelo Evangelista Belo |
Unsupervised annotated synthetic data generation of retail products using domain transfer and 3D mod |
1854 |
Michael Reidun Engelbrecht Larsen |
27-01-2020 |
Hans-Jörg Schulz |
Procedural Perturbation of Highly Regular Data Visualizations |
1853 |
Frode Stig Nørgaard Pedersen |
20-01-2020 |
Christian Storm Pedersen |
Quarto as a Reinforcement Learning problem |
1852 |
Mathias Haudgaard |
20-01-2020 |
Ira Assent/Alexandros Iosifidis |
A Novel Human-Centered Approach to Human-Object-Interaction Detection |
1851 |
Jon Dombernowsky Christensen |
17-01-2020 |
Ivan Bjerre Damgård |
Titel ukendt |
1850 |
Michal Ratajský |
17-01-2020 |
Niels Olof Bouvin |
Multi-User Peer-To-Peer File System With Efficient Previous State Recovery |
1849 |
Jonas Tranberg Sørensen |
07-01-2020 |
Kasper Green Larsen |
Learning Data Specific Hash Functions using Neural Networks |
1848 |
Tina Bodil Jensen |
20-12-2019 |
Christian Storm Pedersen |
Object Detection With Convolutional Neural Networks |
1847 |
Marit Edna Ohlenbusch |
13-12-2019 |
Lars Birkedal |
Verification of Distibuted Systems using Separation Logic |
1846 |
Anders Høy Seemann Vestergaard |
07-10-2019 |
Kaj Grønbæk |
3PFP: Tracking Pipeline for Assembly Tasks using Point Pair Features in Range Data |
1845 |
Kristian Lissner Ebdrup |
07-10-2019 |
Kaj Grønbæk |
3PFP: Tracking Pipeline for Assembly Tasks using Point Pair Features in Range Data |
1844 |
Mathias Wieland Markussen |
20-08-2019 |
Susanne Bødker/Andreas Fender |
DiMiReS: A Distributed Mixed Reality System |
1843 |
David Carlos Zachariae |
16-08-2019 |
Ira Assent |
Recursive Neural Networks for Sensitive Information Detection in Emails |
1842 |
Martin Toldam Torp |
16-08-2019 |
Anders Møller |
Development and Maintenance of Libraries in Dynamic Languages |
1841 |
Svend Christian Svendsen |
31-07-2019 |
Lars Arge |
Titel ukendt |
1840 |
Alexander Mathiasen |
05-07-2019 |
Kasper Green Larsen |
Algorithmic Aspects of Machine Learning |
1839 |
Meinhard Dam |
28-06-2019 |
Christian Storm Pedersen |
Pattern matching with the Burrows-Wheeler Transform |
1838 |
Miguel Ângelo Nicolau Fialho |
28-06-2019 |
Anders Møller/Magnus Madsen |
Type-safe JVM Bytecode Generation for Flix |
1837 |
Daniel Alexander Andreasen |
28-06-2019 |
Claudio Orlandi |
Towards secure & efficient obfuscation |
1836 |
Camilla Arenkiel Grevy |
28-06-2019 |
Claudio Orlandi |
Finding the Best Full-Threshold ECDSA Signature Scheme |
1835 |
Ulrik Boll Djurtoft |
28-06-2019 |
Claudio Orlandi |
Finding the Best Full-Threshold ECDSA Signature Scheme |
1834 |
Anders Grønning Mikkelsen |
28-06-2019 |
Henrik Bærbak Christensen |
SPA-warrior: Avoiding Code Duplication in Modern Web Applications |
1833 |
Shuxiao Huang |
27-06-2019 |
Hans-Jörg Schulz |
PADViz: A Visual Interface for Evaluating Anonymization Methods on Time-series Data |
1832 |
Jakob Rødsgaard Jørgensen |
27-06-2019 |
Ira Assent |
Recursive Neural Networks for Sensitive Information Detection in Emails |
1831 |
Sophie Truc Mai Chau |
27-06-2019 |
Ira Assent/Bo Thiesson |
Predicting Adverse Drug Events Using Temporal Convolutional Neural Network |
1830 |
Frederik Manfeld Tange |
27-06-2019 |
Ira Assent/Bo Thiesson |
Predicting Adverse Drug Events Using Temporal Convolutional Neural Network |
1829 |
Mathias Rahbek |
27-06-2019 |
Ivan Bjerre Damgård |
Solving Wind Farm Optimization Problem using a MPC Protocol for Dishonest Majority |
1828 |
Teis Nørgaard Petersen |
27-06-2019 |
Kasper Green Larsen |
Learning Data Specific Hash Functions using Neural Networks |
1827 |
Mads Ruge Svejstrup |
27-06-2019 |
Kasper Green Larsen |
Learning Data Specific Hash Functions using Neural Networks |
1826 |
Jonas Sejersbøl Larsen |
26-06-2019 |
Ira Assent |
Local Named Entity Disambiguation using Word Embeddings |
1825 |
Jonas le Fevre Sejersen |
26-06-2019 |
Kaj Grønbæk |
An Investigation of Trajectory Tracking and Replication on Commodity Drones |
1824 |
Christoffer Schmidt |
26-06-2019 |
Kaj Grønbæk |
An Investigation of Trajectory Tracking and Replication on Commodity Drones |
1823 |
Teodor-Iulian Vernica |
26-06-2019 |
Marianne Graves Petersen/Jens Emil Grønbæk & Devarajan Ramanujan |
Facilitating Collaboration in Architecture Client Meetings Through Cross-device Augmented Reality |
1822 |
Imran Azam |
26-06-2019 |
Marianne Graves Petersen/Jens Emil Grønbæk & Devarajan Ramanujan |
Facilitating Collaboration in Architecture Client Meetings Through Cross-device Augmented Reality |
1821 |
Lukas Pastuszek |
26-06-2019 |
Panagiotis Karras/Davide Mottin |
Learned graph index for subgraph isomorphism |
1820 |
Morten Bildsøe |
25-06-2019 |
Christian Storm Pedersen |
Predicting solar power production from cloud data |
1819 |
Frederik Jerløv-Troelsen |
24-06-2019 |
Christian Storm Pedersen |
Efficient Suffix Tree Construction |
1818 |
Christoffer Schultz Jensen |
24-06-2019 |
Jesper Buus Nielsen |
Comparison of Oblivious RAM implementations with various features |
1817 |
Artur Mantaluta |
24-06-2019 |
Niels Olof Bouvin |
Multi-User Peer-To-Peer File System With Efficient Previous State Recovery |
1816 |
Stefan Prisca |
24-06-2019 |
Niels Olof Bouvin |
Blockchain Architecture for Game Applications |
1815 |
Bror Bisgaard Winther |
02-04-2019 |
Niels Olof Bouvin |
HIPS - TOWARDS AN ANONYMISING NETWORK OVERLAY WITH KEY-MANAGEMENT FOR DISTRIBUTED SENSOR NETWORKS |
1814 |
Philip Athanassios Holst Tzannis |
20-03-2019 |
Peyman Afshani |
Running Time and Cache Performance of Prominent Point Location Techniques |
1813 |
Niklas Nørregaard |
04-02-2019 |
Kaj Grønbæk/Jo Vermeulen |
Investigating and enabling personal situated visualizations through a spatial augmented reality fram |
1812 |
Kristian Almegaard Dath |
04-02-2019 |
Claudio Orlandi |
Efficient Oblivious Transfer-based Protocols in MPC |
1811 |
Marc Lidegaard Madsen |
29-01-2019 |
Ira Assent |
Clustering housing rental data |
1810 |
Joachim Christiansen Nyborg |
28-01-2019 |
Ira Assent |
An Efficient Recurrent Encoder-Decoder Network for Crop Classification |
1809 |
Anders Hølmkjær Pedersen |
25-01-2019 |
Christian Storm Pedersen |
The Practical Effects Of Variance Reduction Techniques For Policy Gradient Methods |
1808 |
Lisa Lisberg Borum |
24-01-2019 |
Susanne Bødker/Henrik Korsgaard |
Investigating the relationship between volunteer organization and the companies that donate to them |
1807 |
Cong Vinh Nguyen |
24-01-2019 |
Niels Olof Bouvin |
POSITIONING TECHNIQUES IN HARDBALL, AN OUTDOOR SPORT |
1806 |
Alexander Qvist-Hellum |
24-01-2019 |
Ivan Bjerre Damgård |
An exploration of the McEliece Cryptosystem |
1805 |
Lars Rudbeck Bak |
24-01-2019 |
Niels Olof Bouvin/Claudio Orlandi |
Decentralized Access Control for The Internet-of-Things |
1804 |
Alexandra Fabricius Porsgaard |
18-01-2019 |
Susanne Bødker |
Impacts and Implications of an Organizational Movement within Computer Supported Collaborative Work |
1803 |
Ulrich Schlie |
18-12-2018 |
Kaj Grønbæk / Jo Vermeulen |
Detecting Excitement Events in Cardiovascular Data Using Machine Learning - Analysis of Data from e- |
1802 |
Benjamin Barslev Nielsen |
21-11-2018 |
Anders Møller |
Static analysis for JavaScript |
1801 |
Frederik Hvilshøj |
18-08-2018 |
Ira Assent / Bo Thiesson |
Explainable Deep Learning: Facilitating the Use of Deep Neural Networks in Healthcare. |
1800 |
Nick Bakkegaard |
10-08-2018 |
Gerth Stølting Brodal |
Shortest Path Problem in the Plane with Polygonal Obstacle Violations |
1799 |
Simon Aagaard Enni |
13-07-2018 |
Ira Assent |
Titel ukendt |
1798 |
Mark Karmar |
29-06-2018 |
Ira Assent |
Ensemble word embeddings on characters and words |
1797 |
Jacob Malling-Olesen |
29-06-2018 |
Ira Assent |
Ensemble word embeddings on characters and words |
1796 |
Thomas Glintborg Søgaard |
28-06-2018 |
Aslan Askarov |
Enforcing Network-Anonymity With Capability-Based Sandboxes |
1795 |
Johan Kristoffer Jensen |
28-06-2018 |
Aslan Askarov |
Enforcing Network-Anonymity With Capability-Based Sandboxes |
1794 |
Casper Benjamin Freksen |
28-06-2018 |
Kasper Green Larsen |
Titel ukendt |
1793 |
Mathias Kraft Mathiasen |
28-06-2018 |
Kasper Green Larsen |
Tabulation Hashing in Dictionaries |
1792 |
Jacob Andreas Skov Saunte |
28-06-2018 |
Kasper Green Larsen |
Tabulation Hashing in Dictionaries |
1791 |
Marcus Flyvholm Haagh |
28-06-2018 |
Kasper Green Larsen |
Tabulation Hashing in Dictionaries |
1790 |
Mikkel Ravnholt Knudsen |
27-06-2018 |
Christian Storm Pedersen |
Worst-case Linear Time Suffix Array Construction Algorithms |
1789 |
Jens Christian Liingaard Hansen |
27-06-2018 |
Christian Storm Pedersen |
Worst-case Linear Time Suffix Array Construction Algorithms |
1788 |
Jonas Tranberg Hansen |
27-06-2018 |
Christian Storm Pedersen / Allan Grønlund |
Continual Learning |
1787 |
Peter Burgaard |
27-06-2018 |
Gerth Stølting Brodal |
Shortest Path Problem in the Plane with Polygonal Obstacle Violations |
1786 |
Kresten Maigaard Axelsen |
27-06-2018 |
Peyman Afshani |
Convex Hulls in 3-d |
1785 |
Niels Bross |
27-06-2018 |
Peyman Afshani |
Convex Hulls in 3-d |
1784 |
Thomas Engelbrecht Hybel |
26-06-2018 |
Aslan Askarov |
Decompilation of Ethereum smart contracts |
1783 |
Morten Zdrenka Christensen |
26-06-2018 |
Claudio Orlandi |
Post-Quantum Cryptography: Hash-based and ZK-based Signature Schemes |
1782 |
Martin Messell |
26-06-2018 |
Claudio Orlandi / Peter Scholl |
GC Based 2PC on Algebraically Committed Inputs |
1781 |
Peter Beck Askebjerg |
26-06-2018 |
Claudio Orlandi / Peter Scholl |
GC Based 2PC on Algebraically Committed Inputs |
1780 |
Kasper Dyrlund Smed |
26-06-2018 |
Claudio Orlandi / Prastudy Fauzi |
Anonyme legitimationsoplysninger fra bilinære parringer |
1779 |
Arnar Thordur Hardarson |
26-06-2018 |
Jesper Buus Nielsen |
A Formal Overview of Permissionless Blockchain Consensus Protocols |
1778 |
Steffen Skovsgaard Jensen |
26-06-2018 |
Jesper Buus Nielsen |
A Formal Overview of Permissionless Blockchain Consensus Protocols |
1777 |
Mathias Hagelskær Ringive |
26-06-2018 |
Niels Olof Bouvin |
BLOCKCHAIN FOR ASSET TRACKING |
1776 |
Thomas Møller Madsen |
26-06-2018 |
Niels Olof Bouvin / Claudio Orlandi |
From MANET to the Lightning Network |
1775 |
Ibrahim Yasser Tallouzi |
26-06-2018 |
Niels Olof Bouvin / Claudio Orlandi |
Decentralized Access Control for The Internet-of-Things |
1774 |
Benjamin Jakobsen |
25-06-2018 |
Ira Assent / Bo Thiesson |
Explainable Deep Learning: Facilitating the Use of Deep Neural Networks in Healthcare. |
1773 |
Samuel Bjørn Jessen |
25-06-2018 |
Kaj Grønbæk |
Towards a Virtual Reality framework for joint rehabilitation with haptic feedback |
1772 |
Thomas Mosbæk Dybdahl |
25-06-2018 |
Christian Storm Pedersen |
Deep learning applied to Particle Picking in Cryo-EM |
1771 |
Martin Wiberg Petersen |
25-06-2018 |
Niels Olof Bouvin |
Code Reuse for IoT Management - A visual programming and template programming extension for Home Ass |
1770 |
Peter Thorsen |
25-06-2018 |
Niels Olof Bouvin |
Code Reuse for IoT Management - A visual programming and template programming extension for Home Ass |
1769 |
Andreas Malling Østergaard |
25-06-2018 |
Niels Olof Bouvin |
Utilizing IPFS as a content provider for DASH video streaming |
1768 |
Andreas Østergaard Nielsen |
25-06-2018 |
Niels Olof Bouvin |
Utilizing IPFS as a content provider for DASH video streaming |
1767 |
Marie Louisa Tølbøll Berthelsen |
23-06-2018 |
Kristoffer Arnsfelt Hansen |
Existential Theory of the Reals |
1766 |
Mikkel Bagge Rasmussen |
23-06-2018 |
Kristoffer Arnsfelt Hansen |
Implementation of an Algorithm to Compute a Proper Equilibrium of a Bimatrix Game |
1765 |
Rasmus Lunding Henriksen |
22-06-2018 |
Ole Caprani |
Duckietown - An almost off-the-shelf platform for autonomous vehicle education |
1764 |
Morten Vemmelund Brøgger-Jensen |
20-06-2018 |
Henrik Bærbak Christensen |
Casestudie om test metoder |
1763 |
Lasse Møller Alm |
20-06-2018 |
Ivan Bjerre Damgård |
Survey over RSA factoring algorithms |
1762 |
Christian Nielsen Henriksen |
30-05-2018 |
Henrik Bærbak Christensen |
SkyCave Configuration using the Ansible Orchestration Tool. |
1761 |
Martin Jacobsen |
03-04-2018 |
Gerth Stølting Brodal |
Cache Oblivious Dynamic Dictionaries with Insert/Query Tradeoffs. |
1760 |
Emil Sørensen Rais |
31-01-2018 |
Henrik Bærbak Christensen |
Declarativ Construction of REST APIs. |
1759 |
Emil Platz |
30-01-2018 |
Henrik Bærbak Christensen |
An Internal DSL for Long-Running Processes in Python. |
1758 |
Steven Astrup Sørensen |
30-01-2018 |
Susanne Bødker |
We are doing it live. A Study of Users and Technologies in Modern Live Streaming. |
1757 |
Aleksandar Aleksandrov Peev |
29-01-2018 |
Ira Assent |
Predicting Demand for Handling Patient Appointments. |
1756 |
Morten Jensen |
29-01-2018 |
Ira Assent |
Domain Independent Ontology Learning Through Auto-Acquired Domain Data. |
1755 |
Kasper Lynderup Jensen |
25-01-2018 |
Christian Storm Pedersen |
Transmembrane Protein Prediction using Long Short-Term Memory Networks. |
1754 |
Nicolas Lykke Iversen |
25-01-2018 |
Aslan Askarov |
Native Oracle Integration for Ethereum Contracts. |
1753 |
Alex Fuller Fischer |
22-01-2018 |
Anders Møller |
Static Analysis of WebAssembly. |
1752 |
Kasper Sacharias Eenberg |
05-12-2017 |
Kasper Green Larsen |
Titel ukendt |
1751 |
Freja Ross Petersen |
17-11-2017 |
Niels Olof Bouvin |
Annotations And Multiple Contexts For References To Online Resources. |
1750 |
Jens Emil Krarup Grønbæk |
21-09-2017 |
Marianne Graves Petersen |
Designing for Interaction Proxemics - Proxemic Consequences of Ubicomp Environments. |
1749 |
Mathias Vorreiter Pedersen |
02-08-2017 |
Aslan Askarov |
New Covert Channels And Enforcement Of Information Flow Properties In High-Level Programming Languages. |
1748 |
Benjamin Park Petersen |
30-06-2017 |
Ira Assent |
Empirical Evaluation Of Word Clusterings For Natural Language Processing. |
1747 |
Tobias Sommer |
30-06-2017 |
Ira Assent |
Abbreviation Disambiguation Through Context-Aggregated Word Embeddings. |
1746 |
Søren Qvist Jensen |
30-06-2017 |
Jörg Müller |
Inferring Physical Properties Of Virtual Objects From Interaction In Virtual Reality. |
1745 |
Jonas Tulstrup Johansen |
30-06-2017 |
Niels Olof Bouvin |
Depression Detection And Severity Estimation From Speech Using Smartphones. |
1744 |
Tobias Sørensen |
30-06-2017 |
Niels Olof Bouvin |
Depression Detection And Severity Estimation From Speech Using Smartphones. |
1743 |
Konstantinos Mampentzidis |
29-06-2017 |
Gerth Stølting Brodal |
Scaling Tree Comparisons to External Memory. |
1742 |
Martin Bjerrum Henriksen |
29-06-2017 |
Christian Nørgaard Storm Pedersen |
Algorithms For Exact And Approximated Protein Structure Prediction In The 3D HP Model. |
1741 |
Lukas Peter Jørgensen |
29-06-2017 |
Christian Nørgaard Storm Pedersen |
Practical Reinforcement Learning For Game Developers. |
1740 |
Simon Jensen |
29-06-2017 |
Christian Nørgaard Storm Pedersen |
Practical Reinforcement Learning For Game Developers. |
1739 |
Benjamin Blankholm |
29-06-2017 |
Peyman Afshani |
Automated Obstacle Arrangement. |
1738 |
Kenneth Kaiser Kudsk |
28-06-2017 |
Ivan Damgård |
Proof Techniques For Quantum Key Distribution. |
1737 |
Anders Peter Kragh Dalskov |
28-06-2017 |
Claudio Orlandi |
End-To-End Encrypted Cloud Storage. |
1736 |
Jens Frederik Krogh Holdam |
28-06-2017 |
Niels Olof Bouvin |
Latency-Aware Multi-Tree Based P2P Live Video Streaming. |
1735 |
Mathias Glavind Schmidt |
28-06-2017 |
Niels Olof Bouvin |
Latency-Aware Multi-Tree Based P2P Live Video Streaming. |
1734 |
Maiken Brunholm Søgaard |
28-06-2017 |
Claudio Orlandi |
Functional And Homomorphic Signatures. |
1733 |
Jakob Graugaard Laursen |
28-06-2017 |
Ivan Damgård |
Attacks On Ring LWE. |
1732 |
Nicolaj Græsholt |
27-06-2017 |
Jesper Buus Nielsen |
Gluable Micro Authentication |
1731 |
Erik Krogh Kristensen |
27-06-2017 |
Anders Møller |
Assisting Development Of TypeScript Applications. |
1730 |
Magnus Ree Torvadal |
27-06-2017 |
Niels Olof Bouvin |
Compete. A Framework For Making Console-Like Web Applications. |
1729 |
Shuo Hua |
27-06-2017 |
Ole Caprani |
Application Of Reinforcement Learning In LEGO EV3. |
1728 |
Michael Simonsen |
27-06-2017 |
Ole Caprani |
Autonomous Environmental Mapping. |
1727 |
Stefan Niemann Madsen |
27-06-2017 |
Ole Caprani |
Autonomous Environmental Mapping. |
1726 |
Christian Bobach |
26-06-2017 |
Claudio Orlandi |
Secure Distributed Poker Using MPC. |
1725 |
Marc Skodborg |
26-06-2017 |
Christian Nørgaard Storm Pedersen |
Efficient Implementations Of Suffix Trees. |
1724 |
Simon Fischer |
26-06-2017 |
Christian Nørgaard Storm Pedersen |
Efficient Implementations Of Suffix Trees. |
1723 |
Søren Johannes Qvist Christensen |
26-06-2017 |
Niels Olof Bouvin |
Honeycomb. |
1722 |
Sebastian Sander Søndergaard |
26-06-2017 |
Niels Olof Bouvin |
Evaluating Blockchains. |
1721 |
Martin Berndt Nøhr |
26-06-2017 |
Niels Olof Bouvin |
Evaluating Blockchains. |
1720 |
Jens Poulsen |
23-06-2017 |
Niels Olof Bouvin |
Fast Indoor Finger Printing. |
1719 |
Ida Larsen-Ledet |
23-06-2017 |
Susanne Bødker |
Speaking Of Usable Security… |
1718 |
Nicolai Nibe |
23-06-2017 |
Susanne Bødker |
Speaking Of Usable Security… |
1717 |
Tue Thusbøl Holst |
22-06-2017 |
Claudio Orlandi |
Ring-LWE Based Multi-Key FHE. |
1716 |
Kasper Lodahl Flye |
21-06-2017 |
Niels Olof Bouvin |
Guardian Tree. |
1715 |
Emil Stephansen |
21-06-2017 |
Niels Olof Bouvin |
Guardian Tree. |
1714 |
Mads Pørksen Buch |
20-06-2017 |
Aslan Askarov |
Formalizing Differential Privacy. |
1713 |
Frederik Skytte Nielsen |
20-06-2017 |
Aslan Askarov |
SDML: A Secure Language For Distributed Computing. |
1712 |
Esben Glavind Clausen |
20-06-2017 |
Lars Birkedal |
Verifying Hash Tables In Iris. |
1711 |
Johan Peter Bonde Wodschow |
04-05-2017 |
Peyman Afshani |
Two Problems About Simple Polygons. |
1710 |
Jon Bjerrum Jacobsen |
28-04-2017 |
Ira Assent |
Efficient Dynamic Anytime Clustering With Exact DBSCAN. |
1709 |
Lau Skorstengaard |
31-03-2017 |
Lars Birkedal |
Reasoning About Capability Machines: A Path Towards Provable Security. |
1708 |
Kristoffer Just Arndal Andersen |
22-02-2017 |
Lars Birkedal |
Automatic Verification of Fine-grained Concurrency. |
1707 |
Frederik Brinck Truelsen |
30-01-2017 |
Christian Nørgaard Storm Pedersen |
Comparison of Texts Using String Kernels. |
1706 |
Mathias Skovgaard Birk |
30-01-2017 |
Ira Assent og Mai Thai Son |
Incremental Structural Clustering Algorithm For Dynamic Networks. |
1705 |
Emma Hedegaard |
30-01-2017 |
Ira Assent og Susanne Bødker |
Skyline Outlier Ensemble. |
1704 |
Asger Godske Bachmann |
30-01-2017 |
Christian Nørgaard Storm Pedersen |
CORNEA: Drawing Large Co-Expression Networks for Genes. |
1703 |
Mathias Rav |
27-01-2017 |
Lars Arge |
I/O-Efficient Flash Flood Risk Analysis. |
1702 |
Jens Christian Bredahl Madsen |
27-01-2017 |
Niels Olof Bouvin |
The Turbo Framework. Designing and Evaluating a General and Efficient Distributed Parallel Computation Framework. |
1701 |
Michael Nielsen |
26-01-2017 |
Ivan Damgård |
Expressing and Constructing Efficient MPC. |
1700 |
Emil Madsen |
24-01-2017 |
Aslan Askarov |
Can Web Pages Be Distinguished By Their Side Channel Signatures? |
1699 |
Rasmus Mosbech Jensen |
24-01-2017 |
Aslan Askarov |
Can Web Pages Be Distinguished By Their Side Channel Signatures? |
1698 |
Thomas Kjær Jensen |
07-10-2016 |
Morten Kyng |
From Monolith to Microservices. |
1697 |
Lars Søndertoft Nielsen |
26-09-2016 |
Ivan Bjerre Damgård |
Analysis of Non-interactive Protocols. |
1696 |
Anders Fog Bunzel |
16-09-2016 |
Ivan Bjerre Damgård |
Statistically Secure Sigma Protocols with Abort. |
1695 |
Jan Philip Schultz Tsanas |
13-09-2016 |
Niels Olof Bouvin |
Peer-To-Peer in Online Multiplayer Games. |
1694 |
Lars Emil Gram Christensen |
17-08-2016 |
Christian Nørgaard Storm Pedersen |
Protein Folding in the 3D HP Model. |
1693 |
Anders Henneberg |
10-08-2016 |
Niels Olof Bouvin |
Smartguide: Enhancing Accuracy for Fingerprint Locationing using Gaussian Process Regression. |
1692 |
Morten Henriksen Birk |
13-07-2016 |
Jörg Müller |
Combining Shape-Changing Interfaces and Spatial Augmented Reality. |
1691 |
Martin Eik Korsgaard Rasmussen |
29-06-2016 |
Olivier Danvy |
A Flat Approach to Syntax-Checking, Shuffling, and Correcting Multiple Choice Tests. |
1690 |
Søren Elmely Pettersson |
29-06-2016 |
Ivan Bjerre Damgård |
Using Oblivious RAM in Secure Multi Party Computation. |
1689 |
Sebastian Mose Bach |
29-06-2016 |
Ivan Bjerre Damgård |
Linear and Differential Cryptanalysis Extensions. |
1688 |
Tobias Stenby Brixen |
28-06-2016 |
Jesper Buus Nielsen |
A Two-Party Protocol for Efficient Parallel Evaluation of Arithmetic Circuits with Active Security. |
1687 |
Emil Møgelvang Lai Kristensen |
28-06-2016 |
Jesper Buus Nielsen |
A Survey of QUIC and TLS 1.3. |
1686 |
Daniel Vennevold Damgaard |
28-06-2016 |
Henrik Bærbak Christensen |
Automatic Test of Solution for Exercises in Software Development, which involves Multiple Servers and / or Services. |
1685 |
Kim Thomsen |
28-06-2016 |
Ivan Bjerre Damgård |
Password Security. |
1684 |
Rune Drole Pedersen |
27-06-2016 |
Kaj Grønbæk og Henrik Blunck |
Exploring a Feedback and Control-Based Approach to User Trust in Mobile Context Aware Applications. |
1683 |
Mikkel Lambæk |
27-06-2016 |
Claudio Orlandi og Ivan Bjerre Damgård |
Breaking and Fixing Private Set Intersection Protocols. |
1682 |
Mikkel Brun Jakobsen |
27-06-2016 |
Peter Bro Miltersen |
An in-depth Investigation into Ryan Williams´ Program. |
1681 |
Mathias Stensgaard Veje |
24-06-2016 |
Ira Assent |
Creating Spending Profiles form financial Transaction Data using Data Mining. |
1680 |
Martin Henriksen |
24-06-2016 |
Ira Assent |
Creating Spending Profiles form financial Transaction Data using Data Mining. |
1679 |
Jesper Møller Kristensen |
24-06-2016 |
Ira Assent |
Active Adaptive Clustering. |
1678 |
Anders Lindkvist |
23-06-2016 |
Lars Birkedal |
Contextual Equivalence in the Elm Language. |
1677 |
Troels Fleischer Skov Jensen |
23-06-2016 |
Lars Birkedal |
Contextual Equivalence in the Elm Language. |
1676 |
Thomas Hedegaard Lange |
23-06-2016 |
Christian Nørgaard Storm Pedersen |
Algorithms for Computing Maximum Agreement Subtrees. |
1675 |
Nikolaj Skipper Rasmussen |
23-06-2016 |
Christian Nørgaard Storm Pedersen |
Algorithms for Computing Maximum Agreement Subtrees. |
1674 |
Andreas Winther Lykke |
23-06-2016 |
Christian Nørgaard Storm Pedersen |
Predicting Cocaine Relations using Machine Learning Techniques. |
1673 |
Morten Houmøller Nygaard |
21-06-2016 |
Kasper Green Larsen |
Estimating Frequencies and Finding Heavy Hitters. |
1672 |
Jonas Nicolai Hovmand |
21-06-2016 |
Kasper Green Larsen |
Estimating Frequencies and Finding Heavy Hitters. |
1671 |
Peter Gabrielsen |
21-06-2016 |
Kasper Green Larsen |
Three-sided Range Reporting in External Memory. |
1670 |
Christoffer Holbæk Hansen |
21-06-2016 |
Kasper Green Larsen |
Three-sided Range Reporting in External Memory. |
1669 |
Kent Grigo |
20-06-2016 |
Kasper Green Larsen |
Getting to know the Captain´s Mistress with Reinforcement Learning. |
1668 |
Thor Bagge |
20-06-2016 |
Kasper Green Larsen |
Getting to know the Captain´s Mistress with Reinforcement Learning. |
1667 |
Troels Thorsen |
20-06-2016 |
Kasper Green Larsen |
Categorical Range Searching. |
1666 |
Kenn Daniel |
20-06-2016 |
Gerth Stølting Brodal |
Selection in a Heap. |
1665 |
Casper Færgemand |
20-06-2016 |
Gerth Stølting Brodal |
Selection in a Heap. |
1664 |
Steffen Pham Diswal |
17-06-2016 |
Aslan Askarov |
Transcompilation of VDM-SL to C# |
1663 |
Casper Guldager Christensen |
18-05-2016 |
Christian Nørgaard Storm Pedersen |
Implementing an Algorithm for Finding minimal forbidden Words. |
1662 |
Dan Ariel Søndergaard |
29-04-2016 |
Christian Nørgaard Storm Pedersen |
Classification and Analysis of Biological Data. |
1661 |
Philip Tchernavskij |
25-04-2016 |
Susanne Bødker |
Transclusion in Software for the Complex, the Changing, and the Indeterminate. |
1660 |
Martin Storgaard |
20-04-2016 |
Ira Assent |
Structural Clustering Algorithm for Networks. |
1659 |
Knud Rohde Fischer |
15-04-2016 |
Olivier Danvy |
An automated Approach to Organizing BiBTEX Files. |
1658 |
Przemyslaw Milosz Miszczuk |
13-04-2016 |
Ole Caprani |
Racing with Robots. Challenges of Implementing an EV3 Robot Game. |
1657 |
Kristian Borup Antonsen |
12-04-2016 |
Niels Olof Bouvin |
Peer Cache. Secure Peer-to-Peer Web Caching using Private Set Intersection. |
1656 |
Anders Holm |
29-03-2016 |
Susanne Bødker |
Mobile Payment. Exploring Payment Requests and the associated Usability Issues. |
1655 |
Daniel Møller |
16-03-2016 |
Niels Olof Bouvin |
Dynamic Offloading. Exploring the Viability of af two-tiered Offloading Solution. |
1654 |
Jesper Manscher Andersen |
16-03-2016 |
Niels Olof Bouvin |
Dynamic Offloading. Exploring the Viability of af two-tiered Offloading Solution. |
1653 |
Tau Sebastian Sand |
22-02-2016 |
Olav W. Bertelsen |
Designing for Openness in Home Care. A critical Study of Workplace Technologies. |
1652 |
Daniela Rossi |
22-02-2016 |
Olav W. Bertelsen |
Designing for Openness in Home Care. A critical Study of Workplace Technologies. |
1651 |
Søren Krogh Sørensen |
29-01-2016 |
Kaj Grønbæk og Henrik Blunck |
The Effect of Indoor Positioning Performance on Human Activity Recognition. |
1650 |
Andreas Mathisen |
29-01-2016 |
Kaj Grønbæk og Henrik Blunck |
The Effect of Indoor Positioning Performance on Human Activity Recognition. |
1649 |
Peter Bjerg Mogensen |
29-01-2016 |
Jörg Müller |
Conference RoomAlive. |
1648 |
Rasmus Henriksen |
28-01-2016 |
Henrik Bærbak Christensen |
Automated Conversion of Manual Tests into Fast Database Based Regression Tests. |
1647 |
Jesper Madsen |
28-01-2016 |
Claudio Orlandi |
Zero Knowledge for Boolean Circuits. |
1646 |
Henrik Knakkegaard Christensen |
27-01-2016 |
Gerth Stølting Brodal |
Algorithms for Finding Dominators in Directed Graphs. |
1645 |
Casper Bo Kærgaard Green |
27-01-2016 |
Gerth Stølting Brodal og Kasper Green Larsen |
Range Mode Queries in Arrays. |
1644 |
Jakob Peter Landbo |
27-01-2016 |
Gerth Stølting Brodal og Kasper Green Larsen |
Range Mode Queries in Arrays. |
1643 |
Manuel Rafael Ciosici |
18-12-2015 |
Ira Assent |
Improving Quality of Hierarchical Clustering for Large Data Series. |
1642 |
Thomas Larsen Wessel |
17-12-2015 |
Morten Kyng |
Console for Monitoring and Controlling a Heatpump. |
1641 |
Jens Christian Christensen Jensen |
17-12-2015 |
Gerth Stølting Brodal |
Event Detection in Soccer Using Spatio-Temporal Data. |
1640 |
Anders Konring Olesen |
10-12-2015 |
Claudio Orlandi og Jan Møller |
On the Anonymity of Simple Payment Verification in the Bitcoin Protocol. |
1639 |
Morten Krogh-Jespersen |
25-11-2015 |
Lars Birkedal |
Towards Modula Reasoning for Concurrent Higher-Order Imperative Programs. |
1638 |
John Kristian Mejer Smedegaard |
30-10-2015 |
Ira Assent |
Stream-based Active Learning for Activity Recognition |
1637 |
Brian Braüner Frølund |
30-10-2015 |
Ira Assent |
Stream-based Active Learning for Activity Recognition |
1636 |
Christoffer Quist Andersen |
23-10-2015 |
Anders Møller |
New Testing Techniques for Mobile and Web Applications. |
1635 |
Malene Sjørslev Søholm |
15-10-2015 |
Ira Assent |
Maximum Coverage Representative Skyline. |
1634 |
Jakob Bjerre Jakobsen |
09-10-2015 |
Claudio Orlandi |
Dumb crypto in smart Phones. A practical Cryptanalysis of the Telegram messaging Protocol. |
1633 |
Morten Nikolaj Pløger |
24-09-2015 |
Niels Olof Bouvin |
Source Switching in decentralized Streaming Network. |
1632 |
Morten Rasmussen |
18-09-2015 |
Henrik Blunck og Niels Olof Bouvin |
Context-Aware Mobile App Support for Guarding Businesses. |
1631 |
Lisbet Møller Andersen |
18-09-2015 |
Ira Assent |
Comparison of the Outlier Detection Algorithms: DB-Outlier, LOF and LDOF. |
1630 |
Ole Dalgaard Lauridsen |
07-09-2015 |
Olivier Danvy |
A Formalisation of Cryptography with the Coq Proof Assistant. |
1629 |
Christian Billeskov Clausen |
07-09-2015 |
Olivier Danvy |
Programs, Proofs, and Tactics in the Coq Proof Assistant. |
1628 |
Søren Hannibal Krabbe-Keblovszki |
28-08-2015 |
Ivan Bjerre Damgård |
A Study of Two Fully Homomorphic Encryption Schemes Based on the Learning With Errors Problems. |
1627 |
Fie Hebsgaard-Pedersen |
28-08-2015 |
Ivan Bjerre Damgård |
A Study of Two Fully Homomorphic Encryption Schemes Based on the Learning With Errors Problems. |
1626 |
Lukas Jürgen Walther |
19-08-2015 |
Gerth Stølting Brodal og Peyman Afshani |
Intersection of Convex Objects in the Plane. |
1625 |
Kasper Vesth |
12-08-2015 |
Niels Olof Bouvin |
Comparison of Strategies for P2P Based Streaming of Video-on-Demand Using BitTorrent. |
1624 |
Roberto Stillhoff Trifiletti |
04-08-2015 |
Jesper Buus Nielsen |
Secure Outsourcing in an Online World. |
1623 |
Rasmus Hallenberg-Larsen |
24-07-2015 |
Gerth Stølting Brodal og Peyman Afshani |
Computing Set Operations on Simple Polygons Using Binary Space Partition Trees. |
1622 |
Simon Nordved Madsen |
24-07-2015 |
Gerth Stølting Brodal og Peyman Afshani |
Computing Set Operations on Simple Polygons Using Binary Space Partition Trees. |
1621 |
Helene Flyvholm Haagh |
29-06-2015 |
Claudio Orlandi |
Constructions of Functional Encryption. |
1620 |
Nils Alfred Rahbek Henning |
29-06-2015 |
Niels Olof Bouvin og Clemens Nylandsted Klokmose |
User Driven Content Distribution Network. |
1619 |
Thomas Sandholt |
29-06-2015 |
Gerth Stølting Brodal og Peyman Afshani |
Geometric Measures of Depth. |
1618 |
Mathies Boile Christensen |
29-06-2015 |
Gerth Stølting Brodal og Peyman Afshani |
Geometric Measures of Depth. |
1617 |
Mads Ravn |
29-06-2015 |
Gerth Stølting Brodal og Kasper Green Larsen |
Orthogonal Range Searching in 2D with Ball Inheritance. |
1616 |
Lasse Højgaard |
26-06-2015 |
Michael E. Caspersen og Palle Nowack |
Towards Computational Thinking in School. |
1615 |
Roland Larsen Pedersen |
26-06-2015 |
Gerth Stølting Brodal |
Engineering Rank and Select Queries on Wavelet Trees. |
1614 |
Jan Hessellund Knudsen |
26-06-2015 |
Gerth Stølting Brodal |
Engineering Rank and Select Queries on Wavelet Trees. |
1613 |
Magnus Strand-Holm Vinther |
26-06-2015 |
Gerth Stølting Brodal og Peyman Afshani |
Pathfinding in Two-dimensional Worlds. |
1612 |
Anders Strand-Holm Vinther |
26-06-2015 |
Gerth Stølting Brodal og Peyman Afshani |
Pathfinding in Two-dimensional Worlds. |
1611 |
Morten Djernæs Bech |
25-06-2015 |
Claudio Orlandi |
A detailed Review of three Oblivious Transfer Extension Protocols. |
1610 |
Randi Katrine Hillerøe |
25-06-2015 |
Anders Møller |
TAPAs: Type Analysis for PHP Arrays. |
1609 |
Christian Budde Christensen |
25-06-2015 |
Anders Møller |
TAPAs: Type Analysis for PHP Arrays. |
1608 |
Mathias Bak Bertelsen |
25-06-2015 |
Niels Olof Bouvin/Clemens N. Klokmose |
Augmenting single-user 3D WebGL Applications with Multi-User Support. |
1607 |
Andreas Troelsen |
25-06-2015 |
Niels Olof Bouvin/Clemens N. Klokmose |
Augmenting single-user 3D WebGL Applications with Multi-User Support. |
1606 |
Jakob Knop Rasmussen |
25-06-2015 |
Olav W. Bertelsen |
Immersive 3D Modeling for Novices: Uncovering Design Considerations through the Design of a Hand-based Interface. |
1605 |
Mads Fabricius Schmidt |
24-06-2015 |
Christian Nørgaard Storm Pedersen |
Improving NRPS A-domain Classification using Self-Training. |
1604 |
Frederik Lønstrup Hansen |
24-06-2015 |
Christian Nørgaard Storm Pedersen |
Speeding UP RNA secondary Structure Prediction. |
1603 |
Torben Muldvang Andersen |
24-06-2015 |
Christian Nørgaard Storm Pedersen |
Speeding Up HMM Decoding using Compression. |
1602 |
Anders Høst Mikkelsen |
24-06-2015 |
Christian Nørgaard Storm Pedersen |
Local Alignment using the Four-Russians Technique. |
1601 |
Emil Bremer Orloff |
24-06-2015 |
Aslan Askarov |
Progress-Sensitive Security. |
1600 |
Jakob Møller Kajhøj |
24-06-2015 |
Niels Olof Bouvin |
Optimizing Image Feature Detection using GPUs. |
1599 |
Esben Overlund Andersen |
23-06-2015 |
Ole Caprani |
Can LEGO Mindstorms EV3 be configured to support Testing Path formation in Robot Swarms. |
1598 |
Jakob Koed Holm |
17-06-2015 |
Ole Caprani |
Implementation of Reservation-based Traffic Management on Autonomous LEGO Mindstorms EV3 Vehicles. |
1597 |
Michael Bisgaard Olesen |
10-06-2015 |
Gudmund Frandsen |
Variants of a Dynamic Algorithm for Maintaining Matrix Normal Forms. |
1596 |
Jakob Damgaard Jensen |
08-06-2015 |
Ira Assent |
Online Hyper-Parameter Optimization for Item-based top-n Recommendation Algorithms. |
1595 |
Michael Vilhelmsen |
08-06-2015 |
Olav W. Bertelsen |
Comparing the Qualities and User Experience in physical and digital Games - A Study in Magic: The Gathering. |
1594 |
Kristján Rafn Gunnarsson |
04-06-2015 |
Olivier Danvy |
Counting Golf Strokes Using Smartphone Sensors and Machine Learning. |
1593 |
Ulrik Sahl Lystbæk |
29-05-2015 |
Anders Møller |
Demand-driven Pointer Analysis optimized for Code Completion i JavaScript. |
1592 |
Karsten Emil Marcussen |
22-05-2015 |
Niels Olof Bouvin |
SISP - A Framework for Sensor based Interaction between Smartphones and Public Displays. |
1591 |
Kris Vestergaard Ebbesen |
13-04-2015 |
Gerth Stølting Brodal |
On the Practicality of Data-Oblivious Sorting. |
1590 |
Laust Mølgaard Thomsen |
27-03-2015 |
Ole Caprani |
A mini Traffic Shool based on MINDSTORMS® EV3 Robots and leJOS´ Java. |
1589 |
Claus Jespersen |
13-03-2015 |
Gerth Stølting Brodal |
Monte Carlo Evaluation of financial Options using a GPU. |
1588 |
Daniel Mac Donald |
12-03-2015 |
Olav W. Bertelsen |
Sushi, rødvin og halvmaraton: Et kvalitativt studie af online dating services |
1587 |
Mikkel Engelbrecht Hougaard |
13-02-2015 |
Gerth Stølting Brodal |
On the Complexity of red-black Trees for higher Dimensions. |
1586 |
Bo Mortensen |
13-02-2015 |
Gerth Stølting Brodal og Peyman Afshani |
Algorithms for Computing Convex Hulls using linear Programming. |
1585 |
Bernardo Machado David |
05-02-2015 |
Ivan Bjerre Damgård og Jesper Buus Nielsen |
Secure Computation and Cryptographic Protocols |
1584 |
Troels Leth Jensen |
03-02-2015 |
Anders Møller |
Type Inference for Dart. |
1583 |
Jesper Lindstrøm Nielsen |
03-02-2015 |
Anders Møller |
Type Inference for Dart. |
1582 |
Eivind Ortind Simonsen |
19-01-2015 |
Olav W. Bertelsen |
Digitalt anatomibord som læringsmiljø. |
1581 |
Thomas Holst |
19-12-2014 |
Kaj Grønbæk |
ShareBuddy - A casual game for encouraging changes in electricity and water usage. |
1580 |
Lasse Jesper Garding Espeholt |
11-12-2014 |
Christian Nørgaard Storm Pedersen |
Neural Networks for Classification of Protein Sequences. |
1579 |
Thomas Nørlem Rasmussen |
12-11-2014 |
Claudio Orlandi |
Fully homomorphic Encryption and multilinear Maps. |
1578 |
Jeppe Haugaard Sørensen |
12-11-2014 |
Niels Olof Bouvin/Clemens Nylandsted Klokmose |
Helping Developers distribute Web Applications across heterogeneous Devices. |
1577 |
Kristoffer Dahl Hansen |
12-11-2014 |
Niels Olof Bouvin/Clemens Nylandsted Klokmose |
Helping Developers distribute Web Applications across heterogeneous Devices. |
1576 |
Jens Olaf Svanholm Fogh |
06-11-2014 |
Christian Nørgaard Storm Pedersen |
Pattern Matching using suffix Trays, Arrays and Trees. |
1575 |
Martin Vang |
03-11-2014 |
Ole Caprani |
Undersøgelse af to modeller til at implementere Behavior Based Control i leJOS på Lego Mindstorms EV3. |
1574 |
Morten Rasmussen |
27-10-2014 |
Gudmund Skovbjerg Frandsen |
Experimental Comparison of Algorithms for dynamic transitive Closure. |
1573 |
Jacob Toft Pedersen |
21-10-2014 |
Kaj Grønbæk |
Improving Photon Mapping with Multidimensional Caching and Clustered Measurement Points |
1572 |
Morten Larsson |
08-10-2014 |
Henrik Bærbak Christensen |
Microservices. |
1571 |
Morten Søgård Jensen |
03-10-2014 |
Niels Olof Bouvin |
A Framework for Distribution of Webtask By Use of Edge Computing. |
1570 |
Stig Rohde Døssing |
03-10-2014 |
Peter Bro Miltersen |
Ray Tracing Using Dual-Tree Traversal. |
1569 |
Jakob Laurits Oemann Rosenlund |
24-09-2014 |
Niels Olof Bouvin |
QRFB: En tilgang til transportable programmer. |
1568 |
Anders Jensen |
12-09-2014 |
Jesper Buus Nielsen |
An Oblivious Parallel RAM and Other ORAM Optimizations. |
1567 |
Steffen Høi |
05-09-2014 |
Erik Ernst |
Exploring Object Ownership for Controlling Representation Exposure. |
1566 |
Nikolaj Mols Hansen |
05-09-2014 |
Erik Ernst |
Exploring Object Ownership for Controlling Representation Exposure. |
1565 |
Simon Bilskov Jespersen |
27-08-2014 |
Susanne Bødker |
Presenting Privacy and Identity. Understanding Self-Presentation in Mediated Interaction. |
1564 |
Mads Wølch Frandsen |
22-08-2014 |
Ira Assent |
Diverse and Constrained Top-K Combination Queries. |
1563 |
Rune Steen Laursen |
21-08-2014 |
Claudio Orlandi |
Cryptographic Applications of Software Obfuscation. |
1562 |
Heine Stokholm |
14-08-2014 |
Peter Bro Miltersen |
Clustering of Virtual Ray Lights. |
1561 |
Troels Mortensen |
14-08-2014 |
Peter Bro Miltersen |
Clustering of Virtual Ray Lights. |
1560 |
Mads Møller Jensen |
02-07-2014 |
Kaj Grønbæk |
Interactive Sports-Training Systems - Interaction Techniques and Sensing Technologies. |
1559 |
Allan Stisen |
02-07-2014 |
Kaj Grønbæk |
Designing Context-Aware Task Management Accounting for Situated Actions. |
1558 |
Peter Urbak |
02-07-2014 |
Olivier Danvy |
A Formal Study of Moessner´s Sieve. |
1557 |
Kristian Theilgaard Hansen |
27-06-2014 |
Peter Bro Miltersen |
4D Bounding Volume Hierarchies for Efficient Rendering of Motion Blur. |
1556 |
Nils Asbjørn Joensen |
27-06-2014 |
Anders Møller |
Migration af Klasser og Moduler fra JavaScript til Typescript. |
1555 |
Daniel Winther Petersen |
27-06-2014 |
Gerth Stølting Brodal |
Orthogonal Range Skyline Counting Queries. |
1554 |
Kasper Nielsen |
23-06-2014 |
Christian Nørgaard Storm Pedersen |
Acceleration of Edit-Distance Using Compression. |
1553 |
Daniel Milo Farkner |
12-06-2014 |
Ivan Bjerre Damgård |
A Cloud On The Horizon For Online Storage. |
1552 |
Jacob Hougaard |
30-05-2014 |
Anders Møller |
A Study of The DASH Algorithm For Software Property Checking. |
1551 |
Kasper Føns |
30-05-2014 |
Anders Møller |
A Study of The DASH Algorithm For Software Property Checking. |
1550 |
Peter Jessen |
14-05-2014 |
Christian Nørgaard Storm Pedersen |
Methods for Prediction of NRPS A-domain Specificity. |
1549 |
Ole Rasmussen |
12-05-2014 |
Michael E. Caspersen |
A Framework for Developing Maintainable and Portable BlueJ Extensions. |
1548 |
Mikkel Kjeldsen |
08-05-2014 |
Olav W. Bertelsen |
Supporting Localised Democracy: Experimenting With QR Codes and Smartphones for Situated Engagement in Social Housing Democracy. |
1547 |
Peter Bartram Hansen |
06-05-2014 |
Henrik Bærbak Christensen |
A Survey of Methods for Analyzing Software Runtime Behavior. |
1546 |
Jana Kunert |
11-04-2014 |
Gerth Stølting Brodal |
Hashing and Random Graphs. |
1545 |
Jakob Schultz-Nielsen |
20-03-2014 |
Christian Nørgaard Storm Pedersen |
Implementing a Simulated Directed Acyclic Word Graph for Computing Local Alignment. |
1544 |
Jens-Emil Vejgaard Kristensen |
05-03-2014 |
Christian Nørgaard Storm Pedersen |
Folding RNA 2nd Structure Using Stochastic Context Free Grammars. |
1543 |
Mads Pedersen |
06-02-2014 |
Erik Ernst |
Lightweight Family Polymorphism Revisited. |
1542 |
Esben Andreasen |
27-01-2014 |
Anders Møller |
Analysing Real-World Java Script. |
1541 |
Steffen Beier Olesen |
24-01-2014 |
Gerth Stølting Brodal |
An Experimental Comparison Of Max Flow Algorithms. |
1540 |
Jakob Mark Friis |
24-01-2014 |
Gerth Stølting Brodal |
An Experimental Comparison Of Max Flow Algorithms. |
1539 |
Jon Korsgaard Sorensen |
17-01-2014 |
Ivan Bjerre Damgård |
Security Analysis Of Bitcoin. |
1538 |
Ales Bizjak |
10-01-2014 |
Lars Birkedal |
Step-indexed Logical Relations And Biorthogonality. |
1537 |
Johannes Ulfkjær Jensen |
16-12-2013 |
Ole Caprani |
Secure Wireless, Offline Gathering of Water Meter Data. |
1536 |
Morten Elmvig Bruhn |
16-12-2013 |
Ole Caprani |
Secure Wireless, Offline Gathering of Water Meter Data. |
1535 |
Morten Schaumburg |
11-12-2013 |
Christian Nørgaard Storm Pedersen |
A Fully Compressed Algorithm for Computing Edit Distance |
1534 |
Marc Ilsø Poulsen |
04-11-2013 |
Ole Caprani |
Comparisons of Several Rendering Algorithms for Isosurfaces |
1533 |
Troels Ugilt Jensen |
04-11-2013 |
Ole Caprani |
Precomputed Volume Transfer for Efficient Subsurface Scattering |
1532 |
Bjarke Vældgaard Grøn |
25-10-2013 |
Jesper Buus Nielsen |
How to Verify the Correctness of Delegated Computations |
1531 |
Peter Høeg Steffensen |
25-10-2013 |
Jesper Buus Nielsen |
How to Verify the Correctness of Delegated Computations |
1530 |
Jesper Thirup Larsen |
15-10-2013 |
Susanne Bødker |
Orientation of Experience and Motivation: Intrinsic and Extrinsic Perspectives |
1529 |
Mikkel Pedersen Kaas |
15-10-2013 |
Susanne Bødker |
Orientation of Experience and Motivation: Intrinsic and Extrinsic Perspectives |
1528 |
Jeppe Schou |
09-10-2013 |
Gerth Stølting Brodal |
Range Minimun Data Structures |
1527 |
Nikolaj Kobek Thorsen |
30-09-2013 |
Ole Caprani |
Real-time Image-based Rendering of Caustics via Frequency Space Filtering on a GPU |
1526 |
Thor Siiger Prentow |
26-09-2013 |
Mikkel Baun Kjærgaard |
Supporting Indoor Work Task Logistics with Adaptive Algorithms based on Indoor Positioning - Applied. |
1525 |
Jeppe Welling Hansen |
02-09-2013 |
Olivier Danvy |
Editorial support for first-year students in programming languages at Aarhus University |
1524 |
Kasper Hyldager Hass Kristensen |
30-08-2013 |
Ivan Bjerre Damgård |
Selective Opening Attacks for Encryption and Bit-Commitment Schemes |
1523 |
Jørgen Fogh |
23-08-2013 |
Gerth Stølting Brodal |
Engineering a Fast Fourier Transform |
1522 |
Frederik Mogensen |
15-08-2013 |
Christian S. Jensen |
Locating Points of Interest Based on Geotagged Tweets |
1521 |
Jesper Asbjørn Sindahl Nielsen |
09-07-2013 |
Gerth Stølting Brodal |
Implicit Data Structures and RAM Sorting. |
1520 |
Søren Kristoffer Stiil Frederiksen |
09-07-2013 |
Peter Bro Miltersen |
Semi-Algebraic Tools in Stochastic Games |
1519 |
Kenneth Sejdenfaden Bøgh |
05-07-2013 |
Ira Assent |
Effektiv beregning af skycubes på grafikkort |
1518 |
Michael Lind Mortensen |
28-06-2013 |
Ira Assent |
User Driven Decision Support Queries in Interactive Environments |
1517 |
Morten Kragelund Holt |
27-06-2013 |
Gerth Stølting Brodal |
Beregning af triplet og kvartet distancer |
1516 |
Jens Johansen |
27-06-2013 |
Gerth Stølting Brodal |
Beregning af triplet og kvartet distancer |
1515 |
Line Løfquist |
11-06-2013 |
Marianne Graves Petersen |
Udforskning af et designrum til at motivere børn der dyrker sport - Et longitudinalt, in-situ, kvalitativt studie om spil og teknologi i trampolin domænet |
1514 |
Tommy de Blanck |
29-05-2013 |
Ole Caprani |
Approximative Rendering using Multi-Directional Relief Mapping |
1513 |
Thomas Stidsborg Sylvest |
29-05-2013 |
Christian Nørgaard Storm Pedersen |
Algorithms for Exact Pattern Matching in Practice |
1512 |
Stefan Ravnholt Nielsen |
29-05-2013 |
Christian Nørgaard Storm Pedersen |
Algorithms for Exact Pattern Matching in Practice |
1511 |
Allan Thomassen Rudwill |
11-03-2013 |
Ira Assent |
Indeksering af bioinformatisk data med parrede ender |
1510 |
Anders Ingemann |
19-02-2013 |
Jan Midtgaard |
Extracting Data from Rendered HTML Templates |
1509 |
Anders Egerup Halager |
29-01-2013 |
Thomas Mailund |
Coalescent HMM analysis of great ape speciation |
1508 |
Casper Wandahl Schmidt |
29-01-2013 |
Christian S. Jensen |
Indicering af spatio-tekstuelle data! Et empirisk studie |
1507 |
Jesper Broni Andersen |
22-01-2013 |
Ivan Bjerre Damgård |
On Pseudorandom Functions based on DDH-like Assumptions with Applications to E-cash |
1506 |
Philip Kristoffersen |
22-01-2013 |
Marianne Graves Petersen |
En udforskning af Kinectens uudnyttet potentiale i hjemme underholdningssystemer |
1505 |
Troels Toftebjerg Hansen |
15-01-2013 |
Thomas Sangild Sørensen |
Forbedring af videokompression vd hjælp af l1-optimering |
1504 |
Brian Melin Iversen |
06-12-2012 |
Jan Midtgaard |
Information Flow Analysis of Java Bytecode |
1503 |
Toke Reimer Brødsted |
27-11-2012 |
Niels Olof Bouvin |
Mobilt Ressource Ad hoc Netværk: Tidskritisk data i en heterogen verden |
1502 |
Simon Woersaa Abildgaard |
27-11-2012 |
Niels Olof Bouvin |
Mobilt Ressource Ad hoc Netværk: Tidskritisk data i en heterogen verden |
1501 |
Jonas Jensen |
27-11-2012 |
Niels Olof Bouvin |
Mobilt Ressource Ad hoc Netværk: Tidskritisk data i en heterogen verden |
1500 |
Daniel Lysdal Kjeldsen |
19-11-2012 |
Christian Nørgaard Storm Pedersen |
Implementering af udvidede algoritmer for skjulte Markov modeller til genforudsigelse |
1499 |
Jakob Hundal Sandholm |
19-11-2012 |
Christian Nørgaard Storm Pedersen |
Implementering af udvidede algoritmer for skjulte Markov modeller til genforudsigelse |
1498 |
Søren Chrestensen |
14-11-2012 |
Ira Assent |
Inkrementel outlier detection i strømme af data ved hjælp af cluster kernels |
1497 |
Nikoline Valsgaard Vinkel |
14-11-2012 |
Ira Assent |
Analyse af Forskellige Modeller af Fuzzy Skyline Forespørgsler |
1496 |
Martin Søndergaard Kristiansen |
31-10-2012 |
Thomas Mailund |
Optimeringer af forward algoritmen på skjulte Markov modeller |
1495 |
Peter Sandberg Brun |
31-10-2012 |
Christian Nørgaard Storm Pedersen |
Implementering af MUSCLE ved anvendelse af GPU |
1494 |
Mads Sandberg Brun |
31-10-2012 |
Christian Nørgaard Storm Pedersen |
Implementering af MUSCLE ved anvendelse af GPU |
1493 |
Asger Feldthaus |
29-10-2012 |
Anders Møller |
Pointer Analysis for Jave Script: Techniques and Applications |
1492 |
Magnus Madsen |
29-10-2012 |
Anders Møller |
Static Analysis of Dynamic Languages |
1491 |
Mark Surrow |
03-10-2012 |
Susanne Bødker |
The Experience of Social Digital Platforms |
1490 |
Mark Riis Therkildsen |
27-09-2012 |
Niels Olof Bouvin |
Beskyttelse mod snyd i massive multiplayer online spil der benytter en peer-to-peer arkitektur |
1489 |
Mikkel Keller Stubkjær |
25-09-2012 |
Henrik Bærbak Christensen |
Persisting compiled Domain Models using Criteria Based Reflection |
1488 |
Morten Daugaard |
21-09-2012 |
Ole Caprani |
Semi-autonom indendørs navigation for luftbåren robot |
1487 |
Thomas Vrang Thyregod |
21-09-2012 |
Ole Caprani |
Semi-autonom indendørs navigation for luftbåren robot |
1486 |
Anders Halwas Moeslund Andersen |
18-09-2012 |
Ivan Damgård |
The Security and Performance of Identity Based Encryption |
1485 |
Asger Eriksen |
13-09-2012 |
Anders Møller |
Dart´s type system and success types |
1484 |
Tore Kasper Frederiksen |
22-08-2012 |
Jesper Buus Nielsen |
Optimizing Actively Secure Two-Party Computations |
1483 |
Rasmus Østerlund Feldthaus Hansen |
10-07-2012 |
Jan Midtgaard |
Strenganalyse i Flash |
1482 |
Esben Villefrance Rasmussen |
10-07-2012 |
Ivan Damgård |
Sammenligning af RSA og Hofheinz-Kiltz |
1481 |
Andreas Stejner Sand Pedersen |
29-06-2012 |
Christian Nørgaard Storm Pedersen |
Efficient Implementations of Algorithms for Analyzing Biological Data, using Hidden Markov Models and Tree Data Structures |
1480 |
Carsten Sørensen |
29-06-2012 |
Christian Nørgaard Storm Pedersen |
Pladseffektive implementeringer af HMM algoritmer |
1479 |
Sarah Nouhad Haddad Zakarias |
22-06-2012 |
Ivan Bjerre Damgård |
Multiparty Computation in the Preprocessing Model A. |
1478 |
Carsten lange Jensen |
18-06-2012 |
Kaj Grønbæk |
Sensorisk Deprivation som en Spilmekanisme i Augmented Reality Spil |
1477 |
Tim Rasmussen |
25-05-2012 |
Jesper Buus Nielsen |
Nøglehåndtering i skyen |
1476 |
Jan Aslak Thorndahl Lindballe |
30-03-2012 |
Niels Olof Bouvin |
Dynamisk distribuerede systemer i uniforme virtuelle omgivelser |
1475 |
Peter Birk Nielsen |
29-03-2012 |
Henrik Bærbak Christensen |
Pattern@: Dokumentation og kontrol af designpatterns med Java-annotationer |
1474 |
Kim Munk Petersen |
26-03-2012 |
Thomas Sangild Sørensen |
Field Map Guidet Registrering til Diffusions-vægtede Magnetisk Resonans-skanninger |
1473 |
Andreas Kofoed-Hansen |
23-03-2012 |
Gerth Stølting Brodal |
Repræsentationer til at finde vej i Planet |
1472 |
Matthias Diehn Ingesman |
22-03-2012 |
Erik Ernst |
En maskinelt verificeret calculus til at skifte mellem urelaterede typer |
1471 |
Tue Schrøder Skeltved |
06-03-2012 |
Ivan Damgård |
Distribueret to-parts RSA nøglegenerering |
1470 |
Ubbe Ané Thimsen Welling |
31-01-2012 |
Henrik Bærbak Christensen |
Parallel Program Comprehension by Thread Visualisation. |
1469 |
Angelo Agatino Nicolosi |
03-01-2012 |
Ivan Damgård |
Efficient RSA Key Generation Protocol in a Two-parts setting with application to see Multiparty Enviroment |
1468 |
Wel Ahmad Rachid |
14-12-2011 |
Susanne Bødker |
Methods and Concepts to understanding of mobile Discussions |
1467 |
Martin Sergio Hedevang Fæster |
22-11-2011 |
Ivan Damgård |
Distribueret dekryptering for et homomorft kryptosystem |
1466 |
Dan Amlund Thomsen |
07-11-2011 |
Olivier Danvy |
Et trancebaseret framework til sammenligning af String Matchere |
1465 |
Jens Christian Gram Junge |
01-11-2011 |
Susanne Bødker |
User Experience og Privacy i et hverdags Sommon Information Space |
1464 |
Roar Kjær Larsen |
31-10-2011 |
Christian Storm Pedersen |
Parvis sekvensalignment i sub-kvadratisk tid |
1463 |
Tor Jarl Lund Ranfelt |
31-10-2011 |
Christian Storm Pedersen |
Implementering af næsten kvadratisk tid convex gapcost sekvensalignment |
1462 |
Morten Bojsen Hansen |
27-10-2011 |
Thomas Sangild Sørensen |
En Hybrid Trekantsnet-Gitter-Tilgang til Effektiv Simulering af Store Vandmasser |
1461 |
Jonas Mørup Christensen |
17-10-2011 |
Ivan Bjerre Damgård |
Effektive protokoller for anonyme kredentialer og E-kontanter |
1460 |
Anders Nørklit Thingholm |
14-10-2011 |
Peter Møller Nielsen |
Erfaringer med implementation af Phaton Mapping på en og flere GPU'er |
1459 |
Alexander Bjerremand Hansen |
11-10-2011 |
Anders Møller/Jan Midtgaard |
Exception Analysis in Mlton |
1458 |
Casper Bach Poulsen |
11-10-2011 |
Anders Møller |
Methods and tools for Automated Testing of Javascript Web Applications |
1457 |
Anders Dannesboe |
30-09-2011 |
Niels Olof Bouvin |
Social Networking within a P2P Overlay for Secure Group Communication |
1456 |
Finn Jepsen Schmidt |
28-09-2011 |
Henrik Bærbak Christensen |
Passive estimation og the density of people environments using wireless networks |
1455 |
Nick Hoffmann Lauritsen |
28-09-2011 |
Henrik Bærbak Christensen |
Pre-fetching Spatial Data Indoor Enviroments: Comparing Tile-Baed Pre-fetching Strategies Simulation Experiments |
1454 |
Kasper Lyneborg Damgård |
26-09-2011 |
Jesper Buus Nielsen |
Examination & Implementation of SMC with Linear Communication Complexity |
1453 |
Jannick Elimar Bitsch |
16-09-2011 |
Niels Olof Bouvin |
Secondary Screens for Mobile Applications - Evaluating the Viability of DLNA Devices as Symbiotic Screens |
1452 |
Casper Kejlberg-Rasmussen |
14-09-2011 |
Gerth Stølting Brodal |
On Implicit Dictionaries with the Working-Set Property and Catenable Priority Queues with Attrition |
1451 |
Mustafa Sariyar |
13-09-2011 |
Ivan Bjerre Damgård |
Cramer-Shoup kryptosystemet: nøglegenerering og implementation |
1450 |
Mikkel Nygaard Hansen |
05-09-2011 |
Niels Olof Bouvin |
Anvendelse af sociale netværks relationer til forbedring af kademlia baseret fildeling systermes robusthed |
1449 |
Steffen Agerbæk Sørensen |
05-09-2011 |
Niels Olof Bouvin |
Anvendelse af sociale netværks relationer til forbedring af kademlia baseret fildeling systermes robusthed |
1448 |
Rasmus Ibsen-Jensen |
31-08-2011 |
Peter Bro Miltersen |
Two-player, zero-sum games |
1447 |
Bo Steffen Bjerregaard |
18-08-2011 |
Niels Olof Bouvin |
Distribueret memory for tilstandsrumskonstruktion i Chord |
1446 |
Kåre Brøgger Sørensen |
18-08-2011 |
Niels Olof Bouvin |
Ressource Prediction - CPU Profiling by becnmarking |
1445 |
Sivert Bertelsen |
12-08-2011 |
Erik Ernst |
Vanskelige valg i designet af et collection-bibliotek |
1444 |
Kasper Green Larsen |
31-07-2011 |
Lars Arge |
Optimal Orthogonal Range Reporting in 3-d |
1443 |
Martin Castberg Thuesen |
08-07-2011 |
Anders Møller |
Contracts for jQuery |
1442 |
Thomas Salomon Andreasen |
04-07-2011 |
Thomas Sangild Sørensen |
A Data-parallel Solution to the Bloch Equations for MRI Simulation |
1441 |
Peter Krongaard Kristensen |
04-07-2011 |
Thomas Sangild Sørensen |
A Data-parallel Solution to the Bloch Equations for MRI Simulation |
1440 |
Ian Steven Zerny |
30-06-2011 |
Olivier Danvy |
A Synthetic Operational Account of Lazy Evaluation |
1439 |
Rasmus Bach Nielsen |
23-06-2011 |
Thomas Sangild Sørensen |
Modelling mechanical Effects in the Contraction of the Heart using finite Elements |
1438 |
Steffen Lund Andersen |
10-06-2011 |
Niels Olof Bouvin |
Semantic Peer-to-Peer File Sharing Networks |
1437 |
Jesper Ilsøe Nielsen |
03-06-2011 |
Anders Møller/Jan Midtgaard |
Engineering of sub-cubic Flow Analysis |
1436 |
Per Lambæk |
11-05-2011 |
Christian Nørgaard Storm Pedersen |
Parallelization of Multiple Sequence Alignment |
1435 |
Morten Skov Jørgense |
04-05-2011 |
Susanne Bødker |
A Taxonomy of WIMP and ZUI Usability in a Geographical Map Context |
1434 |
Mads Vering Krarup |
29-04-2011 |
Christian S. Jensen |
Minimising Supervised Fingerprinting for Enabling Easy Deployable and Expendable WiFi Positioning |
1433 |
Marco De Lorenzi |
28-04-2011 |
Thomas Sangild Sørensen |
Evaluation of Intensity based Registration Methods for medical Imaging |
1432 |
Asger Dam Hoedt |
28-04-2011 |
Thomas Sangild Sørensen |
Effective Ray Tracing of dynamic Scenes on the GPU |
1431 |
Christian Boe Riisgaard Nielsen |
28-04-2011 |
Thomas Sangild Sørensen |
Evaluation of Intensity based Registration Methods for medical Imaging |
1430 |
Jonas Søndergaard O. Kristensen |
24-04-2011 |
Mikkel Baun Kjærgaard |
Bestemmelse af rutesammenfald baseret på signalstyrkemålinger |
1429 |
Torin Finnemann Jensen |
24-03-2011 |
Niels Oluf Bouvin |
Automatisk relokalisering af dynamisk indhold på World Wide Web |
1428 |
Christian Melchior |
03-03-2011 |
Henrik Bærbak Christensen |
Energy Efficient Detection of Significant Places on Smartphones |
1427 |
Michael Bladt Stausholm |
28-02-2011 |
Jesper Buus Nielsen |
Implementing a Mechanism using Rational Cryptography |
1426 |
Tue Toft Nørgård |
24-01-2011 |
Henrik Bærbak Christensen |
Agentorienteret softwareudvikling uden forhåndskendskab - en undersøgelse af agentparadigmets anvendelighed i praksis |
1425 |
Dung My Hoa |
17-12-2010 |
Christian Nørgaard Storm Pedersen |
Speeding-up Dynamic Programming in Sequence Alignment |
1424 |
Finn Rosenbech Jensen |
17-12-2010 |
Christian Nørgaard Storm Pedersen |
Using Traveling Salesman Problem in Bioinformatic Algorithms |
1423 |
Bent Bisballe Nyeng |
16-12-2010 |
Ole Caprani |
How Audio Software is Developed at TC Electronic |
1422 |
Mikkel Bak Vester |
19-11-2010 |
Thomas Sangild Sørensen |
Data Parallel Segmentation for Medical Imaging using the Level Set Method |
1421 |
Martin Højgaard Have |
19-11-2010 |
Thomas Sangild Sørensen |
Dose Calculations in Radiation Therapy using Image Registration |
1420 |
Sean Geggie |
19-11-2010 |
Thomas Sangild Sørensen |
Data Parallel Segmentation for Medical Imaging using the Level Set Method |
1419 |
Anders Kabell Kristensen |
19-11-2010 |
Christian Nørgaard Storm Pedersen |
Computing the Quartet Distance between General Trees: An experimental Study of a sub-cubic Algorithm |
1418 |
Lene Mejlby |
01-11-2010 |
Olivier Danvy |
Hvorfor er der så få kvindelige datalogistuderende? En feltanalyse på de datalogiske institutter på Aarhus Universitet samt Københavns Universitet |
1417 |
Kasper Buus Møller Jensen |
15-10-2010 |
Peter Møller-Nielsen |
Implementing a Fluid Simulation using the Lattice Boltzmann Method, with Reference to Real-time Computer Graphics |
1416 |
Mikkel Gravgaard Nielsen |
15-10-2010 |
Ole Caprani |
Human Beatboxing: generering af trommespor og automatisk effektprocessering |
1415 |
Kasper Borup |
11-10-2010 |
Ivan Bjerre Damgård |
Special Signature Schemes: Theory and Applications |
1414 |
Jesper Løgager Jakobsen |
11-10-2010 |
Niels Olof Bouvin |
An Opportunistic Cluster for Bag-of-Tasks Parallel Applications |
1413 |
Simon Holm Jensen |
06-10-2010 |
Anders Møller |
Testing and Analysis of Dynamic Javascript Web Applications |
1412 |
Michael Kølbæk Madsen |
01-10-2010 |
Jesper Buus Nielsen |
Experimental Study of Short Signatures for Resource-Constrained Devices |
1411 |
Anders Hauge Nissen |
28-09-2010 |
Ole Caprani |
An Accessible Behavior Tree Framework for Implementing and Designing Game AI |
1410 |
Jonas Suhr Christensen |
23-09-2010 |
Gerth Stølting Brodal |
Experimental Study of Kinetic Geometric t-spanner Algorithms |
1409 |
Thomas Børlum |
23-09-2010 |
Thomas Sangild Sørensen |
Approximating Ambient Occlusion using Screen-Space Techniques |
1408 |
David Kjær |
16-09-2010 |
Gerth Stølting Brodal |
Range Median Algorithms |
1407 |
Sigurd Torkel Meldgaard |
24-08-2010 |
Ivan Bjerre Damgård |
Theory and Practise of Multiparty Computation |
1406 |
Esben Søe |
19-08-2010 |
Henrik Bærbak Christensen |
Energieffektiv estimering af bevægelsesmønstre på mobile enheder |
1405 |
Erik Vest Zielke |
18-08-2010 |
Susanne Bødker |
Advanced Interactions in Lego Digital Designer |
1404 |
Jakob Grauenkjær Thomsen |
13-08-2010 |
Michael I. Schwartzbach |
Lifeflow: Programmable Interactive Services |
1403 |
Jakob Truelsen |
30-07-2010 |
Gerth Stølting Brodal |
Working Set Implicit Dictionaries and Range Mode Lower Bound and Approximations |
1402 |
Thomas Dueholm Hansen |
30-07-2010 |
Peter Bro Miltersen |
Investigations in Computational Game Theory |
1401 |
Jens Boye Hansen |
08-07-2010 |
Henrik Bærbak Christensen |
Implementing and evaluating a System for predicting the Availability of GPS Signals |
1400 |
Allan Johansen |
08-07-2010 |
Henrik Bærbak Christensen |
Implementing and evaluating a System for predicting the Availability of GPS Signals |
1399 |
Mathias Romme Schwarz |
08-07-2010 |
Anders Møller |
Improving safety and correctness of web applications |
1398 |
Anders Breindahl |
07-07-2010 |
Ivan Bjerre Damgård |
Reductionism vs. symmetric cryptography |
1397 |
Jonas Kölker |
28-06-2010 |
Ivan Bjerre Damgård |
Multiparty Computation with external storage servers and secret sharing from boolean formulae |
1396 |
Henrik Overgaard |
17-06-2010 |
Ivan Bjerre Damgård |
Application of Homomorphic Cryptography in Financial Security |
1395 |
Thomas Loftager Nielsen |
17-06-2010 |
Henrik Bærbak Christensen |
A Framework for the Domain of Card Games |
1394 |
Jacob Sloth Mahler-Andersen |
17-06-2010 |
Henrik Bærbak Christensen |
A Framework for the Domain of Card Games |
1393 |
Søren Grønnegaard Andersen |
17-06-2010 |
Erik Ernst |
When Grammars Are Not Enough |
1392 |
Rikke Bendlin |
14-06-2010 |
Ivan Bjerre Damgård |
Secure Multiparty Computation from Lattice-based Cryptosystems |
1391 |
Mads Conrad Baggesen |
02-06-2010 |
Christian Nørgaard Storm Pedersen |
Implementation af Skjulte Markovmodeller med fokus på tynde modeller |
1390 |
Kristian Klüver Jensen |
27-05-2010 |
Anders Møller |
Type Checking of SQL/XML |
1389 |
Anders Viskum |
27-05-2010 |
Anders Møller |
Automatiseret testgenerering til Java-webapplikationer |
1388 |
Rasmus Gude |
18-05-2010 |
Marianne Graves Petersen |
Digital Hospitality: Expanding Smart Homes to Support Guests and Visitors |
1387 |
Thomas Heath |
06-05-2010 |
Olav W. Bertelsen |
Digitalt beboerdemokrati - eksperimenter med en webportal til understøttelse af afdelingsmøder |
1386 |
Thomas Vestergaard |
06-05-2010 |
Søren Christensen |
Generating LTL formulas from sequence diagrams |
1385 |
Steffen Mikkelsen |
28-04-2010 |
Christian Nørgaard Storm Pedersen |
Udvikling af en metode til alignment af genomer |
1384 |
Poul Liboriussen |
28-04-2010 |
Christian Nørgaard Storm Pedersen |
Udvikling af en metode til alignment af genomer |
1383 |
Rasmus Berlin |
27-04-2010 |
Susanne Bødker |
Dialog i elektronisk demokrati |
1382 |
Per Nielsen |
12-04-2010 |
Henrik Bærbak Christensen |
(Spoiled) pattern detection in auto-generated graph-based platform-independent models |
1381 |
Lars Buhl Nielsen |
26-03-2010 |
Thomas Mailund/Christian Nørgaard Storm Pedersen |
Algoritmer til at finde eksakte motiver i DNA strenge |
1380 |
Kim Pilgaard Christensen |
09-03-2010 |
Ivan Bjerre Damgård |
Secure sales of tickets to mobile clients |
1379 |
Allan Madsen |
04-03-2010 |
Henrik Bærbak Christensen |
Automatiseret bestemmelse af strømforbrug på mobiltelefoner til reduktion af strømforbruget af positionsrapportering |
1378 |
Carsten Valdemar Munk |
05-02-2010 |
Morten Kyng |
Improving Rehabilitation using Computer Vision and Mobility Detection |
1377 |
Mathias Birkkjær Nielsen |
05-02-2010 |
Morten Kyng |
Agil Kooperativ Softwareudvikling. Samspillet mellem agil softwareudvikling og Cooperative Design med Remote Rehabilitation Support som case |
1376 |
Frederik Jakobsen |
21-01-2010 |
Ivan Bjerre Damgård |
Implementation af et kryptografisk sikkert peer-to-peer spilframework |
1375 |
Rune Horster |
21-01-2010 |
Ivan Bjerre Damgård |
Implementation af et kryptografisk sikkert peer-to-peer spilframework |
1374 |
Mark Greve |
21-01-2010 |
Gerth Stølting Brodal |
Online Sorted Range Reporting and Approximating the Mode |
1373 |
Simon Corfix Lykke |
20-01-2010 |
Anders Møller |
Streaming XSLT |
1372 |
Jakob Benjamin Boisen Juhl |
20-01-2010 |
Anders Møller |
Scripting i OpenEngine |
1371 |
Smári Viðarsson Waage |
20-01-2010 |
Anders Møller |
A study of Trace-based Compilation |
1370 |
Mads Hyldegaard |
21-12-2009 |
Peter Møller-Nielsen |
Kollisionshåndtering i Partikelsystemer på en GPU |
1369 |
Thomas Alstrup Jørgensen |
16-12-2009 |
Niels Olof Bouvin |
Virkning af Mobilitets Modeller på simulationer af routing protokoller |
1368 |
Jörn Martin Hajek |
08-12-2009 |
Peter Bro Miltersen |
Thresholded Rewards |
1367 |
Johnni Winther |
26-11-2009 |
Michael I. Schwartzbach |
A Closer Shave - Improving Precision of AST Tools |
1366 |
Peter Sebastian Nordholt |
20-11-2009 |
Ivan Bjerre Damgård |
Gitter baseret Kryptografi. En gennemgang af nye public-key systemer af Peikert |
1365 |
Bo Elmholdt Sunesen |
13-11-2009 |
Niels Olof Bouvin |
Multipoint live streaming - design og implementering af netværkstopologi til understøttelse af enheder med heterogene kvalitetskrav |
1364 |
Jonas Rosenberg Bolmgren |
13-11-2009 |
Niels Olof Bouvin |
Multipoint live streaming - design og implementering af netværkstopologi til understøttelse af enheder med heterogene kvalitetskrav |
1363 |
Brian Jensen |
05-11-2009 |
Henrik Bærbak Christensen |
A Tool for Conformance Checking Architectural Styles |
1362 |
Kristof Römisch |
30-10-2009 |
Peter Møller-Nielsen |
Sparse Voxel Octree Ray Tracing on the GPU |
1361 |
Christian P V Christoffersen |
28-10-2009 |
Ole Østerby |
Real-time Fragmentation of Solid Material using the Finite Element Method |
1360 |
Carsten Nørby |
28-10-2009 |
Ole Østerby |
Real-time Fragmentation of Solid Material using the Finite Element Method |
1359 |
Surayya Urazimbetova |
27-10-2009 |
Søren Christensen |
An Algorithm for Visualization of Large State Spaces via Context-aware Image Resizing |
1358 |
Ronny Rundberg Bruus |
19-10-2009 |
Anders Møller |
Analyse af HTTP sikkerhed i Webapplikationer |
1357 |
Mads Kristensen |
01-10-2009 |
Preben Holst Mogensen |
Test Driven Development and Continuous Integration in Buisness Intelligence |
1356 |
Karl Tillmann Rendel |
14-09-2009 |
Klaus Ostermann |
Typed Self-Representation for Safe and Efficient Meta-Programming |
1355 |
Sebastian Thore Erdweg |
14-09-2009 |
Klaus Ostermann |
Titel ukendt |
1354 |
Lasse Kosetski Deleuran |
31-08-2009 |
Lars Arge |
Polygonal Line Simplification |
1353 |
Jakob Aarøe Dam |
28-08-2009 |
Olivier Danvy |
A Web-Based Weather Service for Wind Sports |
1352 |
Kasper Ligaard |
14-08-2009 |
Niels Olof Bouvin and Frank Allan Hansen |
An Exploratory Search Tool for Folksonomies |
|
1351 |
Muhammad Asif |
13-08-2009 |
Erik Ernst |
A Safer SOA-based Middleware Interface to Cisco ACE |
1350 |
Fredrik Skeel Løkke |
04-08-2009 |
Erik Ernst |
Design Patterns and Scala |
|
1349 |
Morten Bohøj |
27-07-2009 |
Susanne Bødker |
Social Navigation, Adaptivity and Validation |
|
1348 |
Liliana Ewa Skolimowska |
24-07-2009 |
Peter Bro Miltersen |
Bartering Systems - Design and Implementation |
1347 |
Michael Achenbach |
22-07-2009 |
Klaus Ostermann |
Abstraction Engineering |
|
1346 |
Chong Tan |
08-07-2009 |
Christian Nørgaard Storm Pedersen |
Financial Time Series Forecasting using improved Wavelet Neural Network |
1345 |
Jesper Nielsen |
08-07-2009 |
Christian Nørgaard Storm Pedersen |
Finding Patterns in Biological and Molecular Data |
|
1344 |
Mads Østerby Jespersen |
03-07-2009 |
Kaj Grønbæk |
Methods for Preserving Digital Heritage from Legacy Platforms - a Case Study on Preservation of Commodore 64 Material |
|
1343 |
Morten Holdflod Møller |
03-07-2009 |
Niels Olof Bouvin |
Optimizing Mobile Applications using Cyber Foraging |
|
1342 |
Konstantinos Tsakalidis |
02-07-2009 |
Gerth Stølting Brodal |
External Memory 3-sided Planar Range Reporting and Persistent B-Trees |
|
1341 |
Jakob Løvstad Funder |
01-07-2009 |
Ivan Bjerre Damgård |
Cryptography in Higher Dimensions |
|
1340 |
Jonathan Frumer |
29-06-2009 |
Niels Olof Bouvin |
Evaluating Location Aware Multihop Routing for Pervasive Monitoring of Firefighters |
|
1339 |
Christof Lemke |
25-06-2009 |
Niels Olof Bouvin |
A Trusted P2P Overlay for Social Networking |
|
1338 |
Anne Therese Frost Hansen |
24-06-2009 |
Marianne Graves |
Supporting social interaction between Web 2.0-services |
|
1337 |
Morten Tranberg Hansen |
24-06-2009 |
Søren Christensen |
Long Living Sensors |
|
1336 |
Helle Friis Petersen |
15-06-2009 |
Preben Mogensen |
Rules for development and use of a system for mood monitoring and lifechart |
|
1335 |
Søren Sunesen Soltveit |
02-06-2009 |
Henrik Bærbak Christensen |
Criticism of a software quality model |
|
1334 |
Renata Pusinskiené |
28-05-2009 |
Søren Christensen |
Requirements processing for Web based information systems: guidelines and t |
1333 |
Henrik Gammelmark |
15-05-2009 |
Niels Olof Bouvin |
Adaptive Forms: A XML-Based Framework for Dynamic Data Entry |
|
1332 |
Ole Jørgensen |
06-05-2009 |
Christian Nørgaard Storm Pedersen |
Logisk regression i associations kortlægning |
1331 |
Woody Toke Mejer Jensen |
06-05-2009 |
Christian Nørgaard Storm Pedersen |
Improving a Text Prediction Algorithm without using Language specific Knowledge |
|
1330 |
Janus Bager Kristensen |
01-05-2009 |
Peter Møller-Nielsen |
Working towards a more physically correct Real-Time Rendering of Indoor Scenes |
|
1329 |
Rolf Bagge |
01-05-2009 |
Peter Møller-Nielsen |
Working towards a more physically correct Real-Time Rendering of Indoor Scenes |
|
1328 |
Niels Raabjerg Mathiasen |
15-04-2009 |
Susanne Bødker |
Designing Useful IT Security for Everyday People |
|
1327 |
Claudio Orlandi |
15-04-2009 |
Ivan Bjerre Damgård |
LEGO and Other Cryptographic Constructions |
|
1326 |
Henrik Bitsch Kirk |
01-04-2009 |
Gerth S. Brodal |
Searching with dynamic Optimality; in Theory and Practise |
|
1325 |
Bjarke Nørgaard Laustsen |
24-03-2009 |
Peter Møller-Nielsen |
Real-time Camera-Space Subsurface scattering on the GPU. |
|
1324 |
Lea Troels Møller Pedersen |
19-03-2009 |
Anders Møller |
Program Slicing for String Analysis. |
|
1323 |
Kristian Andersen |
18-03-2009 |
Niels Olof Bouvin |
Task Scheduling in Cyber Foraging. |
|
1322 |
Kim Rauff Schurmann |
18-03-2009 |
Niels Olof Bouvin |
Task Scheduling in Cyber Foraging. |
|
1321 |
Krzysztof Piatkowski |
25-02-2009 |
Gerth Stølting Brodal |
Engineering Maximum Delsum Algorithms. |
|
1320 |
Lars Søndergaard Pedersen |
13-02-2009 |
Erik Ernst |
Native Command Queuing og Latency. |
|
1319 |
Anders Kirkeskov Carlsen |
29-01-2009 |
Michael Schwartzbach |
Evaluation of a DSL for SMC. |
|
1318 |
Niels Ladegaard Beck |
28-01-2009 |
Erik Ernst |
Optimizing LINQ-quries in C5 using Indices. |
|
1317 |
Torben Ditlev Jensen |
23-01-2009 |
Ivan Damgaard |
Security in Battle Management Systems using Web-services, under the Influence of a Service Oriented Architecture |
|
1316 |
Kim Birkelund |
19-01-2009 |
Erik Ernst |
Virtual Classes and Dynamic Composition on a Statically Typed Virtual Machine |
1315 |
Gert Læssøe Mikkelsen |
19-01-2009 |
Ivan Bjerre Damgård |
On the Mobility and Security of Personal Digital Signatures |
1314 |
Bjørn Suchocka Petersen |
16-01-2009 |
Ole Caprani |
En ny paltform for kamera-baseret syn på mobile LEGO Mindstorms NXT robotter |
1313 |
Kristian Asbjørn Leth Espensen |
16-01-2009 |
Lars M. Kristensen |
Automatic Code Generation from Process-partitioned coloured Petri Net Models |
|
1312 |
Mads Keblov Kjeldsen |
16-01-2009 |
Lars M. Kristensen |
Automatic Code Generation from Process-partitioned coloured Petri Net Models |
|
1311 |
Jakob Vaagholt Sørensen |
16-01-2009 |
Ole Caprani |
Can Computers play Whist? -A Framework to develop and experiment with learning, Computer controlled Players. |
|
1310 |
Sine Flarup Budtz |
16-01-2009 |
Ole Caprani |
Can Computers play Whist? -A Framework to develop and experiment with learning, Computer controlled Players. |
|
1309 |
Raphael Dobers |
14-01-2009 |
Lars M. Kristensen |
A Hybrid Publish-Subscribe Middleware interconnecting mobile ad-hoc and wired Networks across the Internet |
|
1308 |
Thomas Greve Kristensen |
13-01-2009 |
Christian Nørgaard Storm Pedersen |
Virtual Screening, Docking and Tree Comparison Methods |
1307 |
Claus Andersen |
19-12-2008 |
Gerth Stølting Brodal |
An optimal Minimum Spanning Tree Algorithm |
|
1306 |
Piotr Zbigniew Karasinski |
17-12-2008 |
Ole Caprani |
Utilization of the Java Programming Language ind Sound Processing Applications |
|
1305 |
Anders Westfall Reinholt Petersen |
09-12-2008 |
Henrik Bærbak Christensen |
Model for Measuring Alignment in University Courses |
|
1304 |
Søren Kanstrup |
13-11-2008 |
Kaj Grønbæk |
Communities of Practice using FOAF |
|
1303 |
Kristian Jakob Dorland |
06-11-2008 |
Lars Michael Kristensen |
A virtual Environment for Development of Location-Aware Mobile Network Software |
|
1302 |
Torill Hagesæther Skytte |
28-10-2008 |
Morten Kyng |
User-Driven innovation - when there are complex Interrelations within the User-Group |
|
1301 |
Asbjørn Tølbøl Brask |
27-10-2008 |
Christian Nørgaard Storm Pedersen |
Optimizing general hidden Markov Models on Multi-Core CPUs and GPUs |
|
1300 |
Henrik Skaarup Andersen |
08-10-2008 |
Lars Michael Kristensen |
Evaluating Wireless Sensor Network Power Consumption: A Case Study on Two Routing Protocols for Structural Health Monitoring |
|
1299 |
Elvar Olafsson |
08-10-2008 |
Lars Michael Kristensen |
Evaluating Wireless Sensor Network Power Consumption: A Case Study on Two Routing Protocols for Structural Health Monitoring |
|
1298 |
Jens Rimestad |
03-10-2008 |
Ole Østerby |
Deformed Particle Level Set |
|
1297 |
Bjørn Rohde Jensen |
02-10-2008 |
Christian Nørgaard Storm Pedersen |
Træ rekonstruktion ved Maximum Likelihood ved brug af eksisterende viden |
1296 |
Benjamin Toft Jakobsen |
02-10-2008 |
Christian Nørgaard Storm Pedersen |
Word Deobfuscation in Spam Filtering |
|
1295 |
Martin Simonsen |
02-10-2008 |
Christian Nørgaard Storm Pedersen |
Phylogenetic Interence on Cell Processors |
|
1294 |
Olafur Helgi Rögnvaldsson |
26-09-2008 |
Frank Allan Hansen |
Titel ukendt |
1293 |
Rune Lehard Hansen Stubbe |
24-09-2008 |
Peter Bro Miltersen |
Computer Program Compression |
|
1292 |
Ebbe Oberlin Flarup |
11-09-2008 |
Klaus Marius Hansen |
Arkitektoniske stile for heterogene fler-kerne processorer: Et empirisk studie ved brug af Cell Broa |
1291 |
Jacob Styrup Bang |
11-09-2008 |
Klaus Marius Hansen |
Arkitektoniske stile for heterogene fler-kerne processorer: Et empirisk studie ved brug af Cell Broa |
1290 |
Troels Lund Rasmussen |
13-08-2008 |
Gudmund Frandsen |
An Experimental comparison of Algorithms for generating random factored Numbers |
|
1289 |
Anders Hessellund Jensen |
04-07-2008 |
Lars Arge |
I/O-efficient handling of LIDAR Point Clouds |
1288 |
Jonas Sejr |
27-06-2008 |
Preben Mogensen |
Agile Versus Participatory |
|
1287 |
Morten Stærkær |
27-06-2008 |
Klaus Marius Hansen |
Comparing Web Services and REST |
|
1286 |
Jacob Johannsen |
25-06-2008 |
Olivier Danvy |
Et studie af Abadi & Cardellis type-løse objekt-calculus |
|
1285 |
Anders Bach Madsen |
03-06-2008 |
Erik Ernst |
Efficient Virtual Machine Support for Dynamic Patterns |
1284 |
Jing Wang |
26-05-2008 |
Michael Schwartzbach |
HTML Personalization. HTML to XHTML Transformation, CSS Normalization and Ads Replacement |
|
1283 |
Rasmus Winther Lauritsen |
04-05-2008 |
Ivan Damgård |
Backups with computational secret sharing |
|
1282 |
Hans Ehlert Thomsen |
30-04-2008 |
Susanne Bødker |
Activity Theory Informed Scenario Based Design |
|
1281 |
Per Graa |
16-04-2008 |
Michael Schwartzbach |
A Survey of syntax extension tools for Java |
|
1280 |
Mehdi Abyar |
15-04-2008 |
Ivan Damgård |
Evaluation of Codesealer |
|
1279 |
Carsten Raskgaard |
04-04-2008 |
Ivan Damgård |
On the Protection of the Integrity of Data stored on untrusted Storage |
|
1278 |
Søren Markert |
31-03-2008 |
Lars Kristensen |
Internet Connectivity for MANETs |
|
1277 |
Sune Koch Hansen |
31-03-2008 |
Anders Møller |
Call-Graph analysis for Javascript |
|
1276 |
Jesper Dyhrman Thomsen |
31-03-2008 |
Ole Caprani |
Investigating the applicability of reinforcement learning methods to agents in first person shooter games |
|
1275 |
Michael Nielsen |
25-03-2008 |
Gerth Stølting Brodal |
A Survey of Algorithms for Solving the Generalized Mover's Problem in 3D |
|
1274 |
Jonas Maturana Larsen |
25-03-2008 |
Gerth Stølting Brodal |
A Survey of Algorithms for Solving the Generalized Movers Problem in 3D |
|
1273 |
Johannes Brøgger Albertsen |
11-03-2008 |
Niels Olof Bouvin |
Dynamic Content and Structural Search in MediaWiki |
|
1272 |
Peter Madsen |
04-03-2008 |
Jakob Bardram |
Rover: A Data Management Infrastructure for Activity-Based Computing - Extending the support for user Mobility |
|
1271 |
Mikkel Edelmann Nielsen |
04-03-2008 |
Ole Caprani |
Robotgame implemented on LEJOS-Java Platform |
|
1270 |
Joakim Bittel Geisler |
21-02-2008 |
Ivan Damgård |
Implementing Asynchronous Multi-Party Computation |
|
1269 |
Carsten Wollsen |
28-01-2008 |
Ole Caprani |
King Bluetooth and His Lovely Princess - A Robot Game on the Logo Mindstorms NXT Platform |
|
1268 |
Allan Rasmusson |
22-01-2008 |
Peter Møller-Nielsen and Thomas Sangild |
Simulating Cardiac Surgery in CUDA |
|
1267 |
Mikkel Krøigaard |
18-01-2008 |
Ivan Damgård |
Efficient and Practical Multiparty Computation. |
1266 |
Christian Jonigkeit |
18-01-2008 |
Klaus Marius Hansen |
Symbolic Debuggers for Distributed Systems |
|
1265 |
Lasse Dahl Ebert |
10-01-2008 |
Christian Nørgaard Storm Pedersen |
Comparison of the Learning Methods of three Types of neural Networks |
|
1264 |
Brian Bunch Christensen |
01-02-2008 |
Susanne Bødker |
Computational Methods and Data Structures for Improved Fluid Simulations. |
1263 |
Morten Revsbæk |
20-12-2007 |
Lars Arge |
I/O Efficient Algorithms for Batched Union-Find with Dynamic Set Properties and its Application to Hydrological Conditioning |
|
1262 |
Allan Grønlund |
19-12-2007 |
Gerth Stølting Brodal |
Fault Tolerant Data Structures and Selecting Sums in Arrays |
1261 |
Bjarne Knudsen |
27-11-2007 |
Peter Møller-Nielsen |
Physics Based Character Animation for Interactive Applications |
|
1260 |
Niels Jeppe Anders Nielsen |
19-11-2007 |
Peter Møller-Nielsen |
Point Cloude Modeling |
|
1259 |
Jakob Justsen |
12-11-2007 |
Niels Oluf Bouvin |
Interactive Peer-to-Peer Live Streaming Network |
|
1258 |
Martin Mortensen |
09-11-2007 |
Michael Schwartzbach |
High Level Programming Language Compiling to a cellular Automata Processing Model |
|
1257 |
Lars Møller |
01-11-2007 |
Søren Christensen |
Modeling and Analysis of the DCCP Protocol in CPN |
|
1256 |
Carsten Haahr Larsen |
26-10-2007 |
Henrik Bærbak Christensen |
Multitasking Web Application Platform Supporting Activity-based Computing |
|
1255 |
Chresten Lei Sandager |
09-10-2007 |
Susanne Bødker |
Analysis of user identification methods for ”Den Interaktive Operationsplan” |
|
1254 |
Torsten Aaboe Andersen |
09-10-2007 |
Susanne Bødker |
Analysis of user identification methods for ”Den Interaktive Operationsplan” |
|
1253 |
Anders Jacobsen |
28-09-2007 |
Anders Møller |
Analysis of SAX Applications |
|
1252 |
Mads Byrgesen Tandrup |
28-09-2007 |
Jesper Buus Nielsen |
Implementing Efficient Multiparty Computation - From Theory to Practice |
|
1251 |
Artur Michal Gadomski |
14-09-2007 |
Henrik Bærbak Christensen |
Comparison of Automated Test Data generation Methods |
|
1250 |
Thomas Rasmussen |
30-08-2007 |
Gerth Stølting Brodal |
Evaluation of an intersection algorithm for Bézier curves in the plane |
|
1249 |
Bo Martin Sponholtz |
27-08-2007 |
Niels Oluf Bouvin |
Applying Trust Negotiation to Cyber Foraging |
|
1248 |
Bárdur Háskor |
23-08-2007 |
Anders Møller |
Analysis of String Expressions |
|
1247 |
Jonas Krarup Dam |
23-08-2007 |
Anders Møller |
Static validation of XHTML Output from Java Servlets and JSP |
|
1246 |
Rasmus Nygaard Andersen |
23-08-2007 |
Anders Møller |
Survey of Web-application Frameworks |
|
1245 |
Rune Simonsen |
23-08-2007 |
Anders Møller |
Statisk analyse af JavaScript: Indledende arbejde |
|
1244 |
Reasmus Kromann-Larsen |
23-08-2007 |
Anders Møller |
Statisk analyse af JavaScript: Indledende arbejde |
|
1243 |
Brian Pedersen |
21-08-2007 |
Lars Michael Kristensen |
Modeling and Validating Distributed Autoconfiguration of Mobile ad hoc Networks using Coloured Petri Nets |
|
1242 |
Gabriel Jacob Siegel |
27-07-2007 |
Peter Møller-Nielsen |
Combining Cutting Edge Shadow Volume Algorithms |
|
1241 |
Lars Hvam Petersen |
05-07-2007 |
Lars Arge |
External Priority Queues in Practice |
|
1240 |
Martin Henning Jensen |
29-06-2007 |
Peter Møller-Nielsen |
Combining Cutting Edge Shadow Volume Algorithms |
|
1239 |
Erik Søe Sørensen |
29-06-2007 |
Michael Schwartzbach |
A Domain-Specific Language for Web Browsing |
1238 |
Thomas John Hørlyck Christensen |
29-06-2007 |
Michael Schwartzbach og Peter Gorm Larsen |
Extensions of static Corretness Analyses for the formal specification Language VDM++ |
1237 |
Peter Færløv Bering |
29-06-2007 |
Susanne Bødker |
Cognitive-behavioral Therapy using Mediating Instruments |
|
1236 |
Alex Andersen |
26-06-2007 |
Jens Bæk Jørgensen |
Requirements Engineering for a License Management System with a Excutable Use Cases |
|
1235 |
Clemens Nylandssted Klokmose |
19-06-2007 |
Susanne Bødker |
From a theoretical Understanding to Practical Design of Ubiquitous User Interfaces |
1234 |
Michael Petersen |
19-06-2007 |
Klaus Marius Hansen |
Arguing Safety for Pervasive Computing Scenarios - A Study of Modular Safety |
|
1233 |
Peter Dueholm Justesen |
19-06-2007 |
Ole Caprani |
Exploring User Defined Audio/Visual Spaces using a Hybrid Human Based Genetic Algorithm |
|
1232 |
Jørgen Lund |
12-06-2007 |
Gudmund Frandsen |
Experimental Comparison of Algorithms for reducing binary quadratic forms |
|
1231 |
Thomas Mølhave |
11-06-2007 |
Lars Arge |
Titel ukendt |
1230 |
Peter Kjellerup Rasmussen |
01-06-2007 |
Niels Olof Bouvin |
Realtime Data Distribution in Peer-to-Peer Networks |
|
1229 |
Erik Mejer Hansen |
31-05-2007 |
Christian Nørgaard Storm Pedersen |
Methods for Comparison of Trees |
|
1228 |
Henrik Thuesen |
23-05-2007 |
Anders Møller |
Type Inference for Javascript |
|
1227 |
Johan Lund Munk |
23-05-2007 |
Olivier Danvy |
A Study of Syntactic and Semantic Artifacts and its Application to Lambda. Definability, Strong Normalization, and Weak Normalization in the Prosence of State. |
|
1226 |
Peter Gade Jensen |
22-05-2007 |
Lars Michael Kristensen |
Evaluatio of Protocols for Reliable Multicast Routing in Wireless Sensor Networks |
|
1225 |
Jens Pilemand Ottesen |
21-05-2007 |
Niels Olof Bouvin |
Evaluation and Design of a Supernode Architecture for heterogenous MANETs. |
|
1224 |
Nikolaj Gynther Bramsen |
18-04-2007 |
Ole Caprani |
Computer Supported Construction Work |
|
1223 |
Søren Boll Overgaard |
26-03-2007 |
Kaj Grønbæk |
Fusion F: Et system til datafusion i forbindelse med multinomial interaktion |
1222 |
Henrik Lynbech |
22-03-2007 |
Ole Caprani |
Music Software for live Group Performance |
|
1221 |
Mikkel Bech-Petersen |
22-03-2007 |
Ole Caprani |
Music Software for live Group Performance |
|
1220 |
Carsten Holmvig Pedersen |
22-03-2007 |
Henrik Bærbak Christensen |
A prototype for Socket Simulation |
|
1219 |
Jesper Wolff Olsen |
08-03-2007 |
Preben Holst Mogensen |
The Harmonization of Physicality and Digitality. - The true Challenge of Ubiquitous Computing |
|
1218 |
Tony Gjerlufsen |
08-03-2007 |
Preben Holst Mogensen |
The Harmonization of Physicality and Digitality. - The true Challenge of Ubiquitous Computing |
|
1217 |
Bjørn Casper Torndahl |
08-03-2007 |
Gerth Stølting Brodal |
Cache - Oblivious Tries |
|
1216 |
Bo Søndergaard Carstensen |
08-03-2007 |
Gerth Stølting Brodal |
Cache - Oblivious Tries |
|
1215 |
Jimmy Weibel Rasmussen |
07-03-2007 |
Mogens Nielsen |
A Calculus for Context Awareness |
|
1214 |
André Højgaard Jensen |
28-02-2007 |
Brian Mayoh |
Classification of Objects in digital Pictures |
|
1213 |
Stine Cortsen Hansen |
28-02-2007 |
Lars Michael Kristensen |
Modelling and Validation of the Dynamic MANET On-Demand Routing Protocol |
|
1212 |
Rasmus Grønbæk |
27-02-2007 |
Christian Nørgaard Storm Pedersen |
Detecting maximal quasiperiodic Substrings |
|
1211 |
Sune Sloth Simonsen |
27-02-2007 |
Christian Nørgaard Storm Pedersen |
Analysis and Implementation of Suffix Trees based on enhanced Suffix Arrays |
|
1210 |
Rolf Ehrenreich Thorup |
26-02-2007 |
Lars Michael Kristensen |
Implementing and Evaluating the Dymo Routing Protocol |
|
1209 |
Peter Ravn Kragelund |
26-02-2007 |
Morten Kyng |
Improvement of Software Development - based on an Empirical Analysis of COWI A/S |
|
1208 |
Peter Trier Mikkelsen |
16-02-2007 |
Peter Møller-Nielsen |
The Virtual Ear |
|
1207 |
Christian Bøegh Larsen |
12-02-2007 |
Ivan Damgaard |
Electronic Voting - Properties, Threats and Protocols |
|
1206 |
Jiangbo Cheng |
09-02-2007 |
Lars Michael Kristensen |
Evaluation and Optimization of Heuristics for TCP Acknowledgement Frequency |
|
1205 |
Steffen Wang Fischer |
06-02-2007 |
Christian Nørgaard Storm Pedersen |
Evaluation of genetic Algorithm-Based least Squares and minimum Evolution Methods |
|
1204 |
Mads Peter Lindberg |
06-02-2007 |
Christian Nørgaard Storm Pedersen |
Evaluation of genetic Algorithm-Based least Squares and minimum Evolution Methods |
|
1203 |
Kristian Dorph-Petersen |
30-01-2007 |
Gerth Stølting Brodal |
Practical use of dynamic Sampling in Data Streams for logging for logging Network Usage |
|
1202 |
Rasmus Noesgaard Leth Vestergaard |
24-01-2007 |
Ivan Damgaard |
Universal One-Way Hash Functions |
|
1201 |
Jacob Andersen |
24-01-2007 |
Jakob Bardram |
Titel ukendt |
1200 |
Rasmus Fruergaard-Pedersen |
08-01-2007 |
Brian Mayoh |
Demining Strategies using low-cost Robotic Units |
|
1199 |
Rune Thorbek |
19-12-2006 |
Ivan Damgaard |
Titel ukendt |
1198 |
Svend Rostgaard Thielsen |
12-12-2006 |
Klaus Marius Hansen |
Runtime Monitoring of Architectural Qualities |
|
1197 |
Tajs Bromose Kolman |
20-11-2006 |
Ivan Damgaard |
Digiatle Signaturer og Merkle Træer |
|
1196 |
Thomas Toftkjær |
14-11-2006 |
Christian Nørgaard Storm Pedersen |
Praktisk hurtige algoritmer til Suffiks array konstruktion |
|
1195 |
Ole Lambæk |
14-11-2006 |
Christian Nørgaard Storm Pedersen |
Practical fast Algorithms for constructing Suffix Arrays |
|
1194 |
Gang Jun Tu |
13-11-2006 |
Brian Mayoh |
Billedbehandling og analyse baseret på Wavelet transform |
|
1193 |
Svend Hesselholt Henne Hansen |
06-11-2006 |
Peter Møller-Nielsen |
Real Time Ray Tracer til Panoramaet |
|
1192 |
Nicolai Lundgaard |
06-11-2006 |
Peter Møller Nielsen |
Parallel Programming on the GPU |
|
1191 |
Kim Alster Larsen |
02-11-2006 |
Niels Olof Bouvin |
Data distribution via P2P Multicast |
|
1190 |
Søren Gjellerup Christiansen |
26-10-2006 |
Ole Caprani |
Hvordan man består Turing-testen med varianter af Eliza |
|
1189 |
Morten Lynge Jensen |
23-10-2006 |
Brian Mayoh |
Distributing NeuroEvolution of Augmenting Topologies in order to evaluate Strategies in different Environments |
|
1188 |
Niels Døssing |
04-10-2006 |
Gudmund Frandsen |
Experimental Comparison of GCD Algorithms |
|
1187 |
Jing Sun |
26-09-2006 |
Henrik Bærbak Christensen |
Software Architecture Conformance Checking at Development Time |
|
1186 |
Rasmus Vedel Petersen |
25-09-2006 |
Ole Caprani |
Naturvidenskabelig undervisning med Lego og Robolab |
|
1185 |
Jesper André Lyngesen Pedersen |
25-09-2006 |
Ole Caprani |
Robot Navigation |
|
1184 |
Søren Skov |
21-09-2006 |
Peter Møller-Nielsen |
Simulation of Blood Flow on the CPU for Planning Children |
|
1183 |
Kristian Bisgaard Lassen |
19-09-2006 |
Søren Christensen |
From Real World Problems to Implemantation Using Coloured Petri Nets and translations Between Workflow Languages |
|
1182 |
Kim Bjørn Nielsen |
06-09-2006 |
Lars Michael Kristensen |
Transition Mechanisms in IPv6 |
|
1181 |
Maibritt Kerner |
05-09-2006 |
Jens Bæk Jørgensen |
The early history of Computer Science in Århus - prelude, context and estabilishment |
|
1180 |
Søren Olesen |
05-09-2006 |
Henrik Bærbak Christensen |
FrameWork for Boardgames |
|
1179 |
Mads Darø Kristensen |
22-08-2006 |
Niels Olof Bouvin |
Evaluating Energy Efficient Routing Protocols for Nomadic Networks |
|
1178 |
Kristian Ellebæk Kjær |
18-08-2006 |
Klaus Marius Hansen |
First-Class Service Composition and Coordination in Pervasive Computing |
|
1177 |
Espen Toftdahl Nielsen |
18-08-2006 |
Klaus Marius Hansen |
First-Class Service Composition and Coordination in Pervasive Computing |
|
1176 |
Paul Fleischer |
17-08-2006 |
Lars Michael Kristiansen |
Implementation and Evaluation of a Quality of Service Option Header Architecture |
|
1175 |
Helge Jensen |
17-08-2006 |
Søren Christensen and Aino Corry |
Routning in Multi-Entry netværk at Kamstrup |
|
1174 |
Rasmus Witting Larsen |
15-08-2006 |
Peter Møller-Nielsen |
Ray Tracing using evolutionary Algorithms |
|
1173 |
Rene Vejlgaard Vedstesen |
15-08-2006 |
Klaus Marius Hansen |
Parallelization of Particle Swarm Optimization |
|
1172 |
Lene Søndergaard Nielsen |
15-08-2006 |
Peter Møller-Nielsen |
Parallelization of Particle Swarm Optimization |
|
1171 |
Martin Kjeldsen |
17-07-2006 |
Klaus Marius Hansen |
An Approach to interoperability using semantic Web Services |
|
1170 |
Niels Ole Jensen |
28-06-2006 |
Jens Bæk Jørgensen |
CPN-modellering og analyse af routing i mobile ad hoc netværk |
|
1169 |
Dennis Jensen Søgaard |
23-06-2006 |
Gerth Stølting Brodal |
Motion Planning in the Plane |
|
1168 |
Søren Michael Ustrup |
18-06-2006 |
Anders Møller |
Analysis of coding conventions with emphasis on naming conventions and design of a plug-in for the Eclipse IDE which can automatically enforce a naming convention in Java |
|
1167 |
Jonathan Bech Bunde-Pedersen |
15-06-2006 |
Jakob Bardram |
Titel ukendt |
1166 |
Mikkel Baun Kjærgaard |
14-06-2006 |
Søren Christensen |
Titel ukendt |
1165 |
Jeppe Rørbæk Brønsted |
13-06-2006 |
Klaus Marius Hansen |
Titel ukendt |
1164 |
Søren Besenbacher |
08-06-2006 |
Christian Nørgaard Storm Pedersen |
Titel ukendt |
1163 |
Andreas Bak-Riemer |
16-06-2006 |
Ole Caprani |
En fase vocoder i supercollider. |
1162 |
Svend Haugaard Sørensen |
01-06-2006 |
Brian Mayoh |
Hierarchies |
|
1161 |
Morten Laustsen |
29-05-2006 |
Gerth Stølting Brodal |
Range Counging in the Cache Oblivious |
|
1160 |
Balasuthas Sundararajah |
29-05-2006 |
Niels Olof Bouvin og Jakob Bardram |
Structured P2P Environment for Context Aware Services |
|
1159 |
Thomas Hæstrup |
29-05-2006 |
Jakob Bardram |
Structured P2P Environment for Context Aware Services |
|
1158 |
Timo Paukku Dinnesen |
28-04-2006 |
Ole Caprani |
Design and implementation of a LEGO mindstorms based Robot Game on a JAVA Platform |
|
1157 |
Lee Herluf Lund Lassen |
18-04-2006 |
Jakob Bardram |
Realtime Rendering of Fire in 3D using Navier-stokes Equations for an Incompressible Gas |
|
1156 |
Guoqing Zhang |
30-03-2006 |
Lars Michael Kristensen |
Modelling and Validation of the Ad-hoc On-demand Distance Vector Protocol using Coloured Petri Nets |
|
1155 |
Janus Dam Nielsen |
30-03-2006 |
Anders Møller |
Relations between Schema Languages for XML |
|
1154 |
Søren Kuula |
30-03-2006 |
Michael Schwartzbach and Anders Møller |
Practical type-safe XSLT 2.0 stylesheet authoring |
|
1153 |
Peter Julian Marstrand Mechlenborg |
29-03-2006 |
Ulrik Pagh Schultz |
En fleksibel tilgang til sprog interoperbilitet |
|
1152 |
Søren Aaen Madsen |
28-03-2006 |
Jesper Mosegaard and Peter Møller-Nielsen |
Fuldt automatiseret registrering, segmentering og udmåling af muskler i kæben med brug af atlas og deformerbar mutual information registration |
|
1151 |
Thomas Jakobsen |
27-03-2006 |
Ivan Damgård |
Sikre distribuerede beregninger på heltal |
|
1150 |
Strange Løhde From |
27-03-2006 |
Ivan Damgård |
Sikre distribuerede beregninger på heltal |
|
1149 |
Araz Bayat Makoo |
27-03-2006 |
Ivan Damgård |
Transformation af Symmetirsk Kryptering til Assymetrisk Kryptering ved hjælp af Obfuskering |
|
1148 |
Ergin Kilic |
27-03-2006 |
Ivan Damgård |
Commitment Schemes |
|
1147 |
Kristian Beyer Thommesen |
22-03-2006 |
Ivan Damgård |
Primality Verification with the Extended Quadratic Frobenius Test |
|
1146 |
Karsten Østergaard Noe |
03-03-2006 |
Peter Møller-Nielsen and Thomas Sangild Sørensen |
Viscous-fluid-registrering af medicinske 3D-billeder accelereret af GPU'en |
|
1145 |
Jakob Langdal Jensen |
27-02-2006 |
Ole Caprani |
Titel ukendt |
1144 |
Martin Randers |
24-02-2006 |
Christian Nørgaard Storm Pedersen |
Quartet Distance Between Evolutionary Trees of Arbitrary Degree |
|
1143 |
Chris Christiansen |
24-02-2006 |
Christian Nørgaard Storm Pedersen |
Quartet Distance Between Evolutionary Trees of Arbitrary Degree |
|
1142 |
Martin Stig Stissing |
24-02-2006 |
Christian Nørgaard Storm Pedersen |
Algorithms for Computing the Quartet Distance |
|
1141 |
Kristoffer Kjærvik Pagels |
23-02-2006 |
Ivan Damgård |
Implementation and Analysis of Five Group Signature Schemes |
|
1140 |
Henrik Sloth Hansen |
23-02-2006 |
Ivan Damgård |
Implementation and Analysis of Five Group Signature Schemes |
|
1139 |
Jesper Fruergaard Andersen |
22-02-2006 |
Brian Mayoh |
Cooperating AUUS |
|
1138 |
Bo Vium Thomsen |
07-02-2006 |
Erik Ernst |
Frob - A Programming Language for Multimedie Applications |
|
1137 |
Jeppe Thestrup Knudsen |
31-01-2006 |
Klaus Marius Hansen |
Architectural Refactorings - Analysis and Experiments on xADL 2.0 Based Architectural Descriptions |
|
1136 |
Henrik Pedersen |
30-01-2006 |
Niels Olof Bouvin |
Proactive and Reactive Adaptive Networks: An Evaluation |
|
1135 |
Martin Mosegaard Jensen |
26-01-2006 |
Anders Møller |
Understanding Parametric Shape Analysis |
|
1134 |
Peter Flintholm Sørensen |
16-01-2006 |
Ivan Damgård |
Password Based Authentification and Key Exchange - Theory and Practice |
|
1133 |
Jesper Buch Hansen |
11-01-2006 |
Gerth Stølting Brodal |
Computing the visibility graph of points within a polygon |
|
1132 |
Casper Lindegaard Madsen |
10-01-2006 |
Henrik Bærbak Christensen |
Java Objekt Persistent Modul Framework |
|
1131 |
Martin Holmgaard Rossen-Jørgensen |
10-01-2006 |
Henrik Bærbak Christensen |
Java Objekt Persistent Modul Framework |
|
1130 |
Troels Bjerre Sørensen |
20-12-2005 |
Peter Bro Miltersen |
Computing Equilibria of Two-Player Games |
|
1129 |
Michael Østergaard Pedersen |
16-12-2005 |
Ivan Damgård |
Titel ukendt |
1128 |
Lars Vadstrup Hansen |
29-11-2005 |
Ole Caprani |
Neuroevolution of artificial poker players without pre-encoded expert strategy |
|
1127 |
Mathias Ravn |
29-11-2005 |
Ole Caprani |
Neuroevolution of artificial poker players without pre-encoded expert strategy |
|
1126 |
Martin Mogensen |
31-10-2005 |
Jakob Bardram |
Distributed Objects |
|
1125 |
Michael Bræmer Nielsen |
24-10-2005 |
Thomas Sangild / Peter Møller Nielsen |
Real-time Fracture of Brittle Materials in a Game Setting |
|
1124 |
Niels Tranberg Johansen |
14-10-2005 |
Jakob Bardram |
A Data Management Infrastructure for Activity-Based Computing |
|
1123 |
Bjarne Ridderberg |
30-09-2005 |
Ole Caprani |
Java on the RCX |
|
1122 |
Ronni Laursen |
30-09-2005 |
Ole Caprani |
Investigating small scale combat situations in real-time strategy computer games |
|
1121 |
Daniel Nielsen |
30-09-2005 |
Ole Caprani |
Investigating small scale combat situations in real-time strategy computer games |
|
1120 |
Hieu Trong Phan |
02-09-2005 |
Brian Mayoh |
Applying Knowledge-Based Artificial Neural Networks in Game-Driven Intelligent Tutoring Systems |
|
1119 |
Lars Ole Simonsen |
30-08-2005 |
Peter Ørbæk |
A Comparison of Acceleration Structures for GPU Assisted Ray Tracing |
|
1118 |
Niels Carsten Thrane |
30-08-2005 |
Peter Ørbæk |
A Comparison of Acceleration Structures for GPU Assisted Ray Tracing |
|
1117 |
Christoffer Magnussen |
22-08-2005 |
Ole Caprani |
Embodied Evolution on the RCX in Java |
|
1116 |
Boris Venkov |
26-07-2005 |
Peter Ørbæk |
Realtime Physically Based Rendering of Lightning |
|
1115 |
Ole Juul Kristensen |
06-07-2005 |
Mogens Nielsen |
A Generic Agent Language |
|
1114 |
Casper Lund Thomsen |
04-07-2005 |
Christian N. Storm Pedersen |
Reconstructing Evolutionary Trees Using Experiments |
|
1113 |
Mads Laursen |
04-07-2005 |
Christian N. Storm Pedersen |
Reconstructing Evolutionary Trees Using Experiments |
|
1112 |
Christopher Mosses |
04-07-2005 |
Christian N. Storm Pedersen |
Triplet Supertrees |
|
1111 |
Martin Knudsen |
30-06-2005 |
Christian N. Storm Pedersen |
Stochastic context-free grammers and RNA secondary structure prediction |
|
1110 |
Henning Qin Jehøj |
29-06-2005 |
Kaj Grønbæk |
Awareness for collaborative web authoring - An event-notification mechanism for WebDAV |
|
1109 |
Mikael Skovby Andersen |
28-06-2005 |
Gudmund Skovbjerg Frandsen |
Fully Dynamic All Pairs Shortest Paths |
|
1108 |
Andreas Andersen |
28-06-2005 |
Gudmund Skovbjerg Frandsen |
Fully Dynamic All Pairs Shortest Paths |
|
1107 |
Lars Hesel Christensen |
28-06-2005 |
Gudmund Skovbjerg Frandsen |
An Experimental Comparison of the Miller-Rabin and the Extended Quardratic Frobenius Primality Tests |
|
1106 |
Michael Westergaard |
17-06-2005 |
Kurt Jensen |
Titel ukendt |
1105 |
Kristian Støvring Sørensen |
17-06-2005 |
Olivier Danvy |
Normalization and Simple Types |
|
1104 |
Gabriel Moruz |
16-06-2005 |
Gerth Stølting Brodal |
Titel ukendt |
1103 |
Sune Håkonsson |
01-04-2005 |
Susanne Bødker |
Model Controller View Pattern - An analysis of advantages and disadvangages seen from the experiences of the LUDUS Sundhed application. |
|
1102 |
Piotr Michal Kotlicki |
31-03-2005 |
Brian Mayoh |
Time Series Prediction Comparing New and Old Neutral Network Methods |
|
1101 |
Thomas Lindgaard |
31-03-2005 |
Kaj Grønbæk |
Geo-Spatial Indexing of Web Pages. |
|
1100 |
Per Liboriussen |
16-03-2005 |
Ole Lehrmann Madsen |
Genericity |
|
1099 |
Rasmus Ellebæk Kjær |
16-03-2005 |
Ivan Damgård |
An Overview of Traitor Tracing |
|
1098 |
Jesper Torp Kristensen |
15-03-2005 |
Peter Bro Miltersen |
Generation and Compression of Endgame Tables in Chess with Fast Random Access. |
|
1097 |
Thomas Holmen Jørgensen |
11-03-2005 |
Brian Mayoh |
Document clustering using hierarchical Kohonen networks |
|
1096 |
Thomas Clemen Pedersen |
08-03-2005 |
Peter Ørbæk |
Segmenting Medical Images on the GPU. |
|
1095 |
Christina Fuglsang |
25-02-2005 |
Jakob Bardram |
Runtime Environment for Supporting Composite Devices |
|
1094 |
Simon Clemen Pedersen |
25-02-2005 |
Jakob Bardram |
Runtime Environment for Supporting Composite Devices |
|
1093 |
Michael Dalgaard Jepsen |
24-01-2005 |
Ulrik Pagh Schultz |
Modules for Flexible and Mobile Applications. |
|
1092 |
Jan Nielsen |
24-01-2005 |
Ulrik Pagh Schultz |
Modules for Flexible and Mobile Applications. |
|
1091 |
Helena Marie Meyer |
24-01-2005 |
Mogens Nielsen |
Model checking infinite state systems: Symbolic representations, abstractions and experiments |
|
1090 |
Hanne Steenberg Rasmussen |
20-01-2005 |
Brian Mayoh |
The Use of L-systems in Multi-agent Systems for the Purpose of Biological Modelling |
|
1089 |
Kaspar Rosengreen Nielsen |
17-01-2005 |
Susanne Bødker |
Course Web - Examining Usability with Multiple Actors |
|
1088 |
Jan Midtgaard |
01-10-2004 |
Olivier Danvy |
From Implicit to Explicit Contexts in Operational Semantics |
|
1087 |
Henning Korsholm Rohde |
01-10-2004 |
Olivier Danvy |
Formal Aspects of Polyvariant Specialization |
|
1086 |
Karl Kristian Krukow |
06-07-2004 |
Mogens Nielsen |
Titel ukendt |
1085 |
Kari Sofie Fogh Schougaard |
24-06-2004 |
Ole Lehrmann Madsen |
Titel ukendt |
1084 |
Torben Ruby |
23-06-2004 |
Anders Møller |
Specification, Implementation, and Verification of Web Services |
|
1083 |
Martin Ingvar Kofoed Jensen |
23-06-2004 |
Brian Mayoh |
Katastrofe simulatorer - Ny viden og erfaring med RoboCup Rednings Simulatoren |
|
1082 |
Mads Kristian Østerby Olesen |
23-06-2004 |
Anders Møller |
Static Validation of XSLT |
|
1081 |
Anne Joost Jensen |
23-06-2004 |
Brian Mayoh |
Prediction of Protein Secondary Structure by Coevolving Neural Networks |
|
1080 |
Emanuela Pinheiro Lins |
23-06-2004 |
Ulrik Pagh Schultz |
Evolution, Versioning and Compatibility of Distributed Objects |
|
1079 |
Jeppe Ravn-Grove |
23-06-2004 |
Michael Schwartzbach |
Techniques for Automatic Error Checking of Software - a Comparison |
|
1078 |
Christian Plesner Hansen |
22-06-2004 |
Mads Torgersen |
An Efficient, Dynamically Extensible ELL Parser Library |
|
1077 |
Jesper Risager Jensen |
22-06-2004 |
Ole Lehrmann Madsen |
Extreme Programming - En iterativ software udviklingsmodel |
|
1076 |
Erik Corry |
22-06-2004 |
Ole Lehrmann Madsen |
Stack Allocation for Object-Oriented Languages |
|
1075 |
Mads Brøgger Enevoldsen |
22-06-2004 |
Ole Lehrmann Madsen |
Object Oriented Language Interoperability - A Case Study of BETA support in Eclipse |
|
1074 |
Peter Buch Jakobsen |
22-06-2004 |
Ole Caprani |
Ad Hoc netværk anvendt på autonome mobile adfærdsbaserede robotter |
|
1073 |
Sune Kristensen |
18-06-2004 |
Ole Caprani |
Robotspil - Introduktion af fysiske adaptive autonome agenter som del af interaktive underholdningsspil |
|
1072 |
Lasse Westh-Nielsen |
18-06-2004 |
Christian Nørgaard Storm Pedersen |
Refined Buneman Trees |
|
1071 |
Kenneth-Daniel Nielsen |
18-06-2004 |
Lars Michael Kristensen |
Evaluation of Broadcast Based Protocols for Data Dissemination in Traffic Warning Networks |
|
1070 |
Martin Møller Johansen |
17-06-2004 |
Rolf Fagerberg |
Integer Sorting |
|
1069 |
Jesper Hedegaard |
17-06-2004 |
Rolf Fagerberg |
Trade-offs for Internal and External Memory Dictionaries |
|
1068 |
Jens Ebbesen |
17-06-2004 |
Rolf Fagerberg |
A Survey of Density Keeping Algorithms |
|
1067 |
Karsten Strandgaard Jørgensen |
16-06-2004 |
Rolf Fagerberg |
Shortest Paths in Directed Graphs |
|
1066 |
Gorm Lai |
16-06-2004 |
Peter Ørbæk |
A Spectrally Based Global Illumination System |
|
1065 |
Michael Toftdal |
16-06-2004 |
Ulrich Kohlenbach |
Calibration of Ineffective Theorems of Analysis in a Constructive Context |
|
1064 |
Laust Rud Jensen |
14-06-2004 |
Peter D. Mosses |
A reuse repository with automated synonym support and cluster generation |
|
1063 |
René Dalsgaard Larsen |
14-06-2004 |
Niels Olof Bouvin |
HyperPeer - Peer-to-peer Based Hypermedia on the Web |
|
1062 |
Rory Middleton |
14-06-2004 |
Peter Møller Nielsen |
Real-time Simulation and Visualization of Water |
|
1061 |
Sabrina Vestergaard Nielsen |
14-06-2004 |
Peter Møller Nielsen |
Real-time Simulation and Visualization of Water |
|
1060 |
Mads Sig Ager |
09-06-2004 |
Olivier Danvy |
From Natural Semantics to Abstract Machines |
|
1059 |
Kristoffer Arnsfelt Hansen |
09-06-2004 |
Peter Bro Miltersen |
Constant Width and Constant Depth Computation. |
1058 |
Martin Hansen |
24-01-2004 |
Ole Caprani |
Vibrato Preserving Filling of Gaps in Harmonic Sounds. |
|
1057 |
Peder Herborg |
21-01-2004 |
Peter Ørbæk |
Implementation of a global illumination system with participating media |
|
1056 |
Jacob Mortensen |
21-01-2004 |
Peter Ørbæk |
Implementation of a global illumination system with participating media |
|
1055 |
Carsten Kjær |
21-01-2004 |
Peter Ørbæk |
Real-time soft shadows in a game engine |
|
1054 |
Kasper Fauerby |
21-01-2004 |
Peter Ørbæk |
Real-time soft shadows in a game engine |
|
1053 |
Louise Skouboe Bjerg |
20-01-2004 |
Gerth Stølting Brodal |
Approksimative afstande i planare grafer |
|
1052 |
Lone Asferg |
20-01-2004 |
Gerth Stølting Brodal |
Approksimative afstande i planare grafer |
|
1051 |
Kåre Fiedler Christiansen |
20-01-2004 |
Gudmund Frandsen |
Vedligeholdelse af sammenhængskomponenter i dynamiske grafer |
|
1050 |
Wouter Boomsma |
20-01-2004 |
Ole Caprani |
Adaptive operator scheduling in evolutionary algorithms |
|
1049 |
Henning Böttger |
19-01-2004 |
Anders Møller |
Web development - improving cooperation between programmers and HTML deigners using contracts |
|
1048 |
Henrik Sandmann |
19-01-2004 |
Christian N. Storm Pedersen |
Maksimale par og suffikstræer |
|
1047 |
Niels Christian Bach |
19-01-2004 |
Christian N. Storm Pedersen |
Skjulte Markov modeller og genidentifikation |
|
1046 |
Torben Lauritzen |
19-01-2004 |
Christian N. Storm Pedersen |
Skjulte Markov modeller og genidentifikation |
|
1045 |
Søren Tjagvad Madsen |
16-01-2004 |
Brian Mayoh |
Titel ukendt |
1044 |
Peter von der Ahé |
16-01-2004 |
Ulrik Pagh Schultz |
Applications of concrete-type inference |
|
1043 |
Kasper Jensen |
16-01-2004 |
Mads Torgersen |
Distribuerede transaktioner |
|
1042 |
Peter Tauensig Nielsen |
15-01-2004 |
Henrik Bærbak Christensen |
Jesco - understøttelse af kollaborativ arbejde i Java |
|
1041 |
Jon Asbjørn Svanholm Fogh |
15-01-2004 |
Henrik Bærbak Christensen |
Jesco - understøttelse af kollaborativ arbejde i Java |
|
1040 |
Jacob Frank Qvortrup |
15-01-2004 |
Henrik Bærbak Christensen |
Agenter i pervasive healthcare |
|
1039 |
Mads Orehøj Sørensen |
15-01-2004 |
Henrik Bærbak Christensen |
Agenter i pervasive healthcare |
|
1038 |
Klaus Andersen |
13-01-2004 |
Brian Mayoh |
Titel ukendt |
1037 |
Kim Pedersen |
13-01-2004 |
Brian Mayoh |
Accelerated numerical optimization on computationally expensive problems |
|
1036 |
Michael Thornvig Mikkelsen |
13-01-2004 |
Peter Bro Miltersen |
Towards practical deterministic extractors |
|
1035 |
Peter Riishøj Brinkler |
25-06-2003 |
Peter Møller-Nielsen |
Particle systems for computer graphics contents creation |
|
1034 |
Jonas Auken |
25-06-2003 |
Peter Møller-Nielsen |
Visuel tracking af interaktive objekter i virtuel scenografi |
|
1033 |
Christian Gasser |
25-06-2003 |
Ivan Bjerre Damgård |
Anonymity in communication networks |
|
1032 |
Toke Eskildsen |
24-06-2003 |
Olav Wedege Bertelsen |
Computeren in ovnen - brugsorienteret design af en grænseflade til en storkøkkenovn |
|
1031 |
Kasper Verdich Lund |
23-06-2003 |
Ole Lehrmann Madsen |
Revolutionizing Embedded Software |
Abstract |
1030 |
Jakob Roland Andersen |
23-06-2003 |
Ole Lehrmann Madsen |
Revolutionizing Embedded Software |
Abstract |
1029 |
Henry Michael Lassen |
23-06-2003 |
Ole Lehrmann Madsen |
Titel ukendt |
1028 |
Kim Falk Jørgensen |
23-06-2003 |
Ole Lehrmann Madsen |
Implementing distributed systems using web service technology |
|
1027 |
Met-Mari Nielsen |
23-06-2003 |
Ulrik Pagh Schultz |
A language fragment of social antipatterns in systems development |
|
1026 |
Helle Markmann Andersen |
20-06-2003 |
Ulrik Pagh Schultz |
Deklarativ specialisering af objektorienterede sprog |
|
1025 |
Christian Kirkegaard |
20-06-2003 |
Michael I. Schwartzbach |
Dynamic XML Processing with Static Validation |
Abstract |
1024 |
Henrik Refslund Sørensen |
20-06-2003 |
Jens Bæk Jørgensen |
Routing and TCP performance in mobile ad hoc networks |
|
1023 |
Eva Troels |
20-06-2003 |
Jens Bæk Jørgensen |
Titel ukendt |
1022 |
Stephanie Elisabeth Fournier Munck |
19-06-2003 |
Thiemo Krink |
Stochastic L-systems as generative encodings for evolving morphology and behaviour of virtual agents |
|
1021 |
Emil Kaae Hansen |
19-06-2003 |
Brian Henry Mayoh |
Titel ukendt |
1020 |
Jesper Mosegaard |
19-06-2003 |
Peter Møller-Nielsen |
Titel ukendt |
1019 |
Kristoffer Vinther |
18-06-2003 |
Gerth Stølting Brodal/Rolf Fagerberg |
Engineering cache-oblivious sorting algorithms |
|
1018 |
Frank Dabelstein |
18-06-2003 |
Peter Møller-Nielsen |
Measuring execution characteristics of MPI master/slave programs |
|
1017 |
Kasper Dupont |
18-06-2003 |
Ivan Bjerre Damgård |
Disk encryption and Optimistic threshold RSA signatures |
|
1016 |
Peter Skaarup |
18-06-2003 |
Peter Møller-Nielsen |
Titel ukendt |
1015 |
Martin Elmer Jørgensen |
18-06-2003 |
Brian Henry Mayoh |
Automatic discovery of parallelism and hierarchy in music |
|
1014 |
Søren Louring |
18-06-2003 |
Brian Henry Mayoh |
Traffic simulation using reinforcement learning |
|
1013 |
Jesper Lindholt Ottosen |
17-06-2003 |
Henrik Bærbak Christensen |
Framework til webbaseret selvbetjening |
|
1012 |
Thomas Andreasen Ljungberg |
17-06-2003 |
Ivan Bjerre Damgård |
Implementation and analysis of the arithmetic black box |
|
1011 |
Jakob Gadegaard Bendixen |
17-06-2003 |
Ivan Bjerre Damgård |
Titel ukendt |
1010 |
Tomas Toft |
17-06-2003 |
Ivan Bjerre Damgård |
[Sigma]-protocols based on n-one-way group homomorphisms |
|
1009 |
Simon Aske Christensen |
03-06-2003 |
Michael I. Schwartzbach |
Titel ukendt |
1008 |
René Manggaard Jensen |
28-01-2003 |
Søren Christensen |
Titel ukendt |
1007 |
Jonas Martin Thomsen |
28-01-2003 |
Søren Christensen |
Analysis of GSM handover using coloured Petri nets |
|
1006 |
Thomas Bjørn Andersen |
27-01-2003 |
Peter Møller-Nielsen |
Affoldning af medicinske billeder |
|
1005 |
Carsten B. Pedersen |
27-01-2003 |
Peter Møller-Nielsen |
Affoldning af medicinske billeder |
|
1004 |
Bo Normann Pedersen |
27-01-2003 |
Christian Storm Pedersen |
Analyse og håndtering af genekspressionsdata |
|
1003 |
Jan Rise |
27-01-2003 |
Christian Storm Pedersen |
Analyse og håndtering af genekspressionsdata |
|
1002 |
Phillipp Gerhardy |
23-01-2003 |
Ulrich Kohlenbach |
Titel ukendt |
1001 |
Frank Allan Hansen |
22-01-2003 |
Niels Oluf Bouvin |
XLink - bridging open hypermedia and the World Wide Web |
Abstract |
1000 |
Bent Guldbjerg Christensen |
22-01-2003 |
Niels Olof Bouvin |
XLink - bridging open hypermedia and the World Wide Web |
Abstract |
999 |
Michael Bang Nielsen |
22-01-2003 |
Kaj Grønbæk |
Inverse rendering under uncontrolled illumination |
|
998 |
Anders Brodersen |
22-01-2003 |
Kaj Grønbæk |
Inverse rendering under uncontrolled illumination |
|
997 |
Peter Juhl Christensen |
21-01-2003 |
Ivan Damgaard |
Titel ukendt |
996 |
Mads Vanggaard Jensen |
21-01-2003 |
Michael I. Schwartzbach |
Titel ukendt |
995 |
Thomas Kejser |
20-01-2003 |
Kaj Grønbæk |
The GAIA framework - toward versioning support in web based open hypermedia systems |
|
994 |
Thomas Peter Kiel Rasmussen |
20-01-2003 |
Brian Henry Mayoh |
Optimising hidden Markov models for multiple sequence alignment by hybrid particle swarm optimisation |
|
993 |
Shahnam Taibakhsh |
20-01-2003 |
Brian Henry Mayoh |
Titel ukendt |
992 |
Søren Schmidt Hansen |
20-01-2003 |
Ole Lehrmann Madsen |
Titel ukendt |
991 |
Sara Halleløv |
20-01-2003 |
Ole Lehrmann Madsen |
Titel ukendt |
990 |
Jørgen Iversen |
11-12-2002 |
Peter Mosses |
Titel ukendt |
989 |
Bolette Ammitzbøll Madsen |
10-12-2002 |
Sven Skyum |
Titel ukendt |
988 |
Andreas Claudi Andersen |
18-07-2002 |
Ole Caprani |
Motivation networks in game AI - a new angle towards agent behaviour-selection |
|
987 |
Andreas Møller |
26-06-2002 |
Brian Henry Mayoh |
Believable multi agent systems |
|
986 |
Morten Bek |
26-06-2002 |
Peter Møller-Nielsen |
Evolutionary trained Kohonen networks as classifiers for human utterances |
|
985 |
Troels Grosbøll-Poulsen |
26-06-2002 |
Peter Møller-Nielsen |
Evolutionary trained Kohonen networks as classifiers for human utterances |
|
984 |
Mads Ulrik Kristoffersen |
26-06-2002 |
Peter Møller-Nielsen |
Evolutionary trained Kohonen networks as classifiers for human utterances |
|
983 |
Peter Posselt Vestergaard |
25-06-2002 |
Kaj Grønbæk |
Titel ukendt |
982 |
Mikkel Bjerg |
25-06-2002 |
Michael I. Schwartzbach |
Static bounds on memory usage in Java programs |
|
981 |
Ole Friis Østergaard |
25-06-2002 |
Michael I. Schwartzbach |
Titel ukendt |
980 |
Rasmus Rohde |
25-06-2002 |
Michael I. Schwartzbach |
Titel ukendt |
979 |
Thomas Brochmann Pedersen |
24-06-2002 |
Ivan Damgaard |
Titel ukendt |
978 |
Rasmus Ebler Simonsen |
24-06-2002 |
Ole Lehrmann Madsen |
Lazy JIT compilation - efficient lazy evaluation and compilation in a JIT compiler for an object oriented virtual machine |
|
977 |
Morten D. Mørup |
24-06-2002 |
Ole Lehrmann Madsen |
Titel ukendt |
976 |
Lene Bredgaard |
24-06-2002 |
Ole Lehrmann Madsen |
Titel ukendt |
975 |
Darya Es Perge A. |
21-06-2002 |
Susanne Bødker |
Titel ukendt |
974 |
Katrine Rauhe de Neergaard Ravn |
21-06-2002 |
Susanne Bødker |
Titel ukendt |
973 |
Morten Løvbjerg |
21-06-2002 |
Thiemo Krink |
Improving particle swarm optimization by hybridization of stochastic search heuristics and self-organized criticality |
|
972 |
Jacques Riget |
20-06-2002 |
Thiemo Krink |
Particle swarms - extensions for improved local, multi-moral, and dynamic search in numerical optimization |
|
971 |
Jakob Svaneborg Vesterstrøm |
20-06-2002 |
Thiemo Krink |
Titel ukendt |
970 |
Lars Rosenberg Nielsen |
20-06-2002 |
Thiemo Krink |
Intelligent load sharing in NOWs |
|
969 |
Robert Knudsen |
19-06-2002 |
Olav Bertelsen |
Klassificering af pressekontakter ved et teater - en diskussion af systemudvikling set i et klassifikationsperspektiv med udgangspunkt i et projektforløb med Århus Teater |
|
968 |
Tabita Enig |
19-06-2002 |
Olav Bertelsen |
Laserpennen som input device |
|
967 |
Anders Kåre Olsen |
19-06-2002 |
Jakob Bardram |
Context aware computing in a pervasive healthcare setting |
|
966 |
Nis Haller Baggesen |
19-06-2002 |
Ole Caprani |
Titel ukendt |
965 |
Mikkel Ricky |
18-06-2002 |
Michael I. Schwartzbach |
Automatisk validering af webbaserede formularer |
|
964 |
Mette Ravn |
18-06-2002 |
Ole Lehrmann Madsen |
Titel ukendt |
963 |
Jesper Makholm Nielsen |
17-06-2002 |
Peter Bro Miltersen |
Titel ukendt |
962 |
Bjarke Skjernaa |
17-06-2002 |
Sven Skyum |
Titel ukendt |
961 |
Stefan Sørensen |
14-06-2002 |
Søren Christensen |
Disk based state space storage for coloured petri nets |
|
960 |
Niels Kjær Sørensen |
14-06-2002 |
Brian Henry Mayoh |
Identification, segmentation and visualization of coronaries from MR scans |
|
959 |
Finn Larsen |
22-01-2002 |
Ivan Damgaard |
Titel ukendt |
958 |
Martin Eriksen |
22-01-2002 |
Ivan Damgaard |
Titel ukendt |
957 |
Jan Neerbek |
22-01-2002 |
Gudmund Frandsen |
Lower bounds in the quantum black box model |
|
956 |
Jan Ernfred Madsen |
21-01-2002 |
Preben Mogensen |
Titel ukendt |
955 |
Peter Christian Ogstrup |
21-01-2002 |
Preben Mogensen |
Forslag til risikostyringstiltag i offentlige IT-projekter. |
|
954 |
Jakob Færch |
21-01-2002 |
Søren Christensen |
Titel ukendt |
953 |
Claus Nicolaj Bendtsen |
18-01-2002 |
Thiemo Krink |
Titel ukendt |
952 |
Walther Fledelius Hansen |
18-01-2002 |
Brian Henry Mayoh |
Titel ukendt |
951 |
Lars Mellergaard |
18-01-2002 |
Peter Møller-Nielsen |
Beowulf clusters in a GRID environment |
|
950 |
Kim Burgaard |
17-01-2002 |
Ulrik Pagh Schultz |
Titel ukendt |
949 |
Henrik Kjær Nielsen |
17-01-2002 |
Ole Lehrmann Madsen |
Distributed Debugging: A Debugging Tool for Jini Applications |
|
948 |
Per Bering Steffensen |
17-01-2002 |
Ole Lehrmann Madsen |
Titel ukendt |
947 |
Claus Pedersen |
16-01-2002 |
Ivan Damgaard |
Titel ukendt |
946 |
Claus Danielsen |
16-01-2002 |
Ivan Damgaard |
Titel ukendt |
945 |
Morten Moth Iversen |
16-01-2002 |
Ivan Damgaard |
Titel ukendt |
944 |
Alex Rune Berg |
20-12-2001 |
Thiemo Krink/Erik Meineche Schmidt |
Titel ukendt |
943 |
Regnar Bang Lyngsø |
27-06-2001 |
Ole Caprani |
Analysing real-time programs using Design/CPN Case study: LEGO RCX |
|
942 |
Tejs Scharling |
27-06-2001 |
Ole Caprani/Christian Nørgaard Storm Pedersen |
Gen-identifikation ved sekvens-sammenligning |
|
941 |
Jacob Ilsø Christensen |
27-06-2001 |
Gudmund Frandsen |
Dynamisk Pattern Matching |
|
940 |
Jakob Skyberg |
27-06-2001 |
Gudmund Frandsen |
Redigeringsafstande imellem niveau-strenge |
|
939 |
Rasmus Kjær Ursem |
26-06-2001 |
Brian Henry Mayoh/Thiemo Krink |
Titel ukendt |
938 |
Christian Yndigegn |
25-06-2001 |
Kaj Grønbæk |
An Open Hypermedia Approach to The Semantic Web |
|
937 |
Hans Kyndesgaard |
25-06-2001 |
Peter Bro Miltersen |
Talerepræsentation med få bits. |
936 |
Jesper Bach Larsen |
25-06-2001 |
Thiemo Krink |
Specialization and Division of Labour in Distributed Autonomous Agents |
|
935 |
Anders Morten Mikkelsen |
22-06-2001 |
Søren Christensen |
On-The-Fly LTL Model Checking in Design/CNP |
|
934 |
Jan Møller |
22-06-2001 |
Søren Christensen |
Internal Network Security - Defending the Network from the Inside |
|
933 |
Thorbjørn Donbæk |
22-06-2001 |
Søren Christensen |
Internal Network Security - Defending the Network from the Inside |
|
932 |
Anne Vinter Ratzer |
22-06-2001 |
Susanne Bødker |
Use of Design Principles in Advanced User Interface Design |
|
931 |
Jesper Buus Nielsen |
14-06-2001 |
Ivan Damgaard |
Efficient Secure Multiparty Computation. |
930 |
Mads Johan Jurik |
14-06-2001 |
Ivan Damgaard |
Titel ukendt |
929 |
Mikkel Nygaard Hansen |
07-06-2001 |
Glynn Winskel |
Titel ukendt |
928 |
Anne Krogh Nielsen |
24-01-2001 |
Olav Bertelsen |
Shit, now we have to change again - En virksomhedsteoretisk analyse og diskussion af et strategiudviklingsforløb |
|
927 |
Christian Horsdal Pedersen |
24-01-2001 |
Peter Bro Miltersen |
Probabilistically Checkable Proofs For Cellular Automata. |
926 |
Tejs Bomme |
24-01-2001 |
Michael I. Schwartzbach |
Redigering af regelbaserede XML-dokumenter på Internettet |
|
925 |
Steffen Foldager |
24-01-2001 |
Michael I. Schwartzbach |
Redigering af regelbaserede XML-dokumenter på Internettet |
|
924 |
Michael Tyrsted |
23-01-2001 |
Ole Lehrmann Madsen |
Application Migration in a Pervasive Computing Environment |
|
923 |
Gustav Seth Wibling |
23-01-2001 |
Ole Lehrmann Madsen |
Titel ukendt |
922 |
Morten Kvistgaard Nielsen |
23-01-2001 |
Ole Lehrmann Madsen |
Titel ukendt |
921 |
Kristian Høgsberg Kristensen |
22-01-2001 |
Gerth Stølting Brodal |
Titel ukendt |
920 |
Kaare Bøegh |
22-01-2001 |
Jørgen Lindskov Knudsen |
Distributed Seismic Visualisation |
|
919 |
Niels Husted Kjær |
22-01-2001 |
Jørgen Lindskov Knudsen |
Distributed Seismic Visualisation |
|
918 |
Rune Orsval |
22-01-2001 |
Peter Møller-Nielsen |
EtHøjtalerorkester - design og implementation af en mange kanalers Phase-Vocoder |
|
917 |
Lars Kroll Kristensen |
19-01-2001 |
Thiemo Krink |
Aintz - Collective Problem Solving by Artificial Ants |
|
916 |
Peter Rickers |
19-01-2001 |
Thiemo Krink |
Introducing Spatial Agent-Based Models and Self-Organised Criticality to Evolutionary Algorithms |
|
915 |
Rene Thomsen |
19-01-2001 |
Thiemo Krink |
Introducing Spatial Agent-Based Models and Self-Organised Criticality to Evolutionary Algorithms |
|
914 |
Ole Hedegaard Kristensen |
19-01-2001 |
Brian Henry Mayoh |
Titel ukendt |
913 |
Thomas Mailund Jensen |
19-12-2000 |
Søren Christensen |
Titel ukendt |
912 |
Jørgen Møller Ilsøe |
29-06-2000 |
Ole Caprani |
Robot kontrolsystemer - eksperimetel undersøgelse af kontrolsystem arkitektur |
|
911 |
Gregers Jørgensen |
28-06-2000 |
Henrik Hautop Lund |
A Survey of Grammar-Based Genetic Programming |
|
910 |
Esben Hallundbæk Østergaard |
28-06-2000 |
Henrik Hautop Lund |
Titel ukendt |
909 |
Jesper Blynel |
28-06-2000 |
Henrik Hautop Lund |
Reinforcement Learning on Real Robots |
|
908 |
Søren Mors |
28-06-2000 |
Ivan Damgaard |
Zero-knowledge arguments of possession for RC6 encryption keys |
|
907 |
Johan Kjeldgaard-Pedersen |
27-06-2000 |
Peter Bro Miltersen |
On the Complexity of Arithmetical Computation |
|
906 |
Tage Kiilsholm Hansen |
27-06-2000 |
Brian Henry Mayoh |
Ant Colony Optimization and Job Shop Scheduling - Schedule Robustness and Rescheduling |
|
905 |
John Vibe Grevsen |
27-06-2000 |
Ole Caprani |
Evolution af mobile robotters kontrolsystemer og morfologier |
|
904 |
Anders Ringsmose |
27-06-2000 |
Kasper Østerbye |
Primitiver til programmering med mobile objekter i et heterogent, løstkoblet netværk |
|
903 |
Hans Erik Sørensen |
26-06-2000 |
Susanne Bødker |
Brugbarhedsevaluering ved hjælp af log og dagbog |
|
902 |
Flemming Gram Christensen |
26-06-2000 |
Ole Lehrmann Madsen |
Applying Optimisations to an Object Oriented Programming Language |
|
901 |
Anders Villy Ehrenreich Eriksen |
26-06-2000 |
Ole Lehrmann Madsen |
Applying Optimisations to an Object Oriented Programming Language |
|
900 |
Brian Kømmel Nielsen |
26-06-2000 |
Jørgen Lindskov Knudsen |
3D Mission Debreifing of F16 Fighter Pilots |
|
899 |
Michael Balieu |
26-06-2000 |
Jørgen Lindskov Knudsen |
3D Mission Debriefing of F16 Fighter Pilots - An Experimental Prototype Using 3D Stereo Graphics |
|
898 |
Anders Møller |
16-06-2000 |
Michael I. Schwartzbach |
Titel ukendt |
897 |
Louise Lorentsen |
15-06-2000 |
Søren Christensen |
Titel ukendt |
896 |
Klaus Marius Hansen |
31-05-2000 |
Ole Lehrmann Madsen |
Titel ukendt |
895 |
Christian Heide Damm |
30-05-2000 |
Ole Lehrmann Madsen |
Component Architectures for Software Development Tools |
Abstract |
894 |
Michael Thomsen |
30-05-2000 |
Ole Lehrmann Madsen |
Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling |
|
893 |
Oliver Möller |
24-02-2000 |
Michael I. Schwartzbach |
Titel ukendt |
892 |
Ulrik Jørgensen |
26-01-2000 |
Ole Lehrmann Madsen |
Aspects of distributed objects - adding distribution to self |
|
891 |
Thomas Arge |
26-01-2000 |
Ole Lehrmann Madsen |
Aspects of distributed objects - adding distribution to self |
|
890 |
Morten Grouleff |
26-01-2000 |
Ole Lehrmann Madsen |
A concurrent garbage collector for BETA |
|
889 |
Tom Pilgård |
25-01-2000 |
Michael I. Schwartzbach |
Security aspects of web services |
|
888 |
Mohammad Saeed Babakhani |
25-01-2000 |
Brian Henry Mayoh |
Riding a bicycle to a goal using reinforcement learning and shaping |
|
887 |
Henrik Madsen |
25-01-2000 |
Henrik Hautop Lund |
Evolving a robust and complex control system for an autonomous robot |
|
886 |
Søren Gregersen |
25-01-2000 |
Henrik Hautop Lund |
Evolution and learning in robotics |
|
885 |
Jon Bomme |
24-01-2000 |
Jørgen Lindskov Knudsen |
Stereographic Visualisation of Computational Fluid Dynamics |
|
884 |
Søren Vorre Therkildsen |
24-01-2000 |
Jørgen Lindskov Knudsen |
Visualization of the cardiovascular system in a virtual reality environment for preoperative planning of cardiac surgery |
|
883 |
Jacob Sebastian Winstrup Schmidt |
24-01-2000 |
Jørgen Lindskov Knudsen |
Stereographic Visualisation of Computational Fluid Dynamics |
|
882 |
Thomas Sangild Sørensen |
24-01-2000 |
Jørgen Lindskov Knudsen |
Visualization of the cardiovascular system in a virtual reality environment for preoperative planning of cardiac surgery |
|
881 |
Jan-Henrik Paulsen |
21-01-2000 |
Søren Christensen |
Code generation from coloured Petri Nets |
|
880 |
Tina Olesen |
21-01-2000 |
Kurt Jensen |
Coloured Petri Nets and state space reduction methods |
|
879 |
Peter Frands Frandsen |
21-01-2000 |
Gudmund Frandsen |
Rangmaksimering og dynamisk rangberegning |
|
878 |
Rasmus Pagh |
01-12-1999 |
Peter Bro Miltersen |
Titel ukendt |
877 |
Rene Schalburg |
24-06-1999 |
Brian Henry Mayoh |
Table based Neural Networks with examples |
|
876 |
Mikkel Yde Kjær |
24-06-1999 |
Ole Caprani |
Robot-byggesæt til børn |
|
875 |
Thomas Gjørup |
23-06-1999 |
Jørgen Lindskov Knudsen |
Exploring Portals in Consumer Class Applications |
|
874 |
Jens Kaas Benner |
23-06-1999 |
Brian Henry Mayoh |
Automatisk konstruktion af statiske evalueringsfunktioner til ikke-trivielle strategiske brætspil |
|
873 |
Eric Werk |
23-06-1999 |
Brian Henry Mayoh |
Titel ukendt |
872 |
Anders Egestrøm |
23-06-1999 |
Ole Lehrmann Madsen |
Mobile Object Systems |
|
871 |
Lasse Reichstein Nielsen |
22-06-1999 |
Olivier Danvy |
A Denotational Investigation of Defunctionalization |
|
870 |
Niels Nørgaard Pedersen |
22-06-1999 |
Mogens Nielsen |
Theorem Proving with Polymorphic Types |
|
869 |
Claus Hjort Bjerre |
22-06-1999 |
Henrik Hautop Lund |
Adaptive Pet Robots |
|
868 |
Michael Nielsen |
22-06-1999 |
Henrik Hautop Lund |
Adaptive Pet Robots |
|
867 |
Kasper Støy |
22-06-1999 |
Henrik Hautop Lund |
Adaptive Control Systems for Autonomous Robots |
|
866 |
Jes Hvoldal Nielsen |
22-06-1999 |
Henrik Hautop Lund |
Adaptive Pet Robots |
|
865 |
Rene Rydhof Hansen |
21-06-1999 |
Flemming Nielson |
Flow Logics for Mobile Agents |
|
864 |
Jacob Grydholt Jensen |
21-06-1999 |
Flemming Nielson |
Flow Logics for Mobile Agents |
|
863 |
Lars Ulrik Pedersen |
21-06-1999 |
Sven Skyum |
Et overblik over lavrate video komprimering |
|
862 |
Morten Heiberg Rasmussen |
21-06-1999 |
Peter Bro Miltersen |
An Adaption of Zerotree Coding Techniques to Wavelet Packet Image Compression |
|
861 |
Anette Christensen |
18-06-1999 |
Kurt Jensen |
Design og Analyse af et Busallokeringssystem ved brug af Farvede Petri Net |
|
860 |
Bo Lindstrøm |
18-06-1999 |
Søren Christensen |
Performance Analysis using Coloured Petri Nets |
|
859 |
Lisa Marie Wells |
18-06-1999 |
Søren Christensen |
Titel ukendt |
858 |
Henrik Lautrup |
17-06-1999 |
Michael I. Schwartzbach |
A Web Programming Survey |
|
857 |
Ulrik Skyt |
17-06-1999 |
Michael I. Schwartzbach |
Compiler Directed Memory Coherence for Parallel Computing |
|
856 |
Dan Witzner Hansen |
15-06-1999 |
Brian Henry Mayoh |
Stereo og Alternative Kameraer i Datamatsyn |
|
855 |
Jacob Elgaard |
15-06-1999 |
Michael I. Schwartzbach |
Verifying C Pointer Programs Using Monadic Second-Order Logic |
|
854 |
Jørgen Bang Erichsen |
15-06-1999 |
Brian Henry Mayoh |
Three EA Techniques for Constrained Parameter Optimization Problems |
|
853 |
Flemming Friche Rodler |
14-06-1999 |
Brian Henry Mayoh |
Titel ukendt |
852 |
Kim Kristensen |
14-06-1999 |
Brian Henry Mayoh |
Solving a Real Life Scheduling Problem Using Evolutionary Algorithms |
|
851 |
Thomas Randers Jensen |
14-06-1999 |
Brian Henry Mayoh |
Solving a Real Life Scheduling Problem Using Evolutionary Algorithms |
|
850 |
Niels Damgaard |
04-06-1999 |
Michael I. Schwartzbach |
Titel ukendt |
849 |
Mikkel Thomas Tjørnfelt-Jensen |
28-05-1999 |
Brian Henry Mayoh |
Titel ukendt |
848 |
Belmina Dzafic |
27-01-1999 |
Olivier Danvy |
Formalizing Program Transformations |
|
847 |
Finn Pedersen |
27-01-1999 |
Kurt Jensen |
Modellering af validering af en cache coherence protokol |
|
846 |
Morten Bach Møller |
27-01-1999 |
Ole Caprani |
Titel ukendt |
845 |
Morten Værum |
26-01-1999 |
Michael I. Schwartzbach |
A Web Programming Survey |
|
844 |
Claus Rasmussen Brabrand |
26-01-1999 |
Michael I. Schwartzbach |
Synthesizing Safety Controllers for Interactive Web Services |
|
843 |
Emmanouil Marinos |
26-01-1999 |
Michael I. Schwartzbach |
WIG Database |
|
842 |
Thomas Peter Erich Hohn |
25-01-1999 |
Jørgen Lindskov Knudsen |
Design and Implementation of an ODMG Language Binding for BETA |
|
841 |
Søren Pingel Dalsgaard |
25-01-1999 |
Jørgen Lindskov Knudsen |
Just-in-Time Compilation for Processor Simulation |
|
840 |
Mikkel Verner Nielsen |
22-01-1999 |
Kaj Grønbæk |
Mod en teknik til lagbaseret udforskning af søgesvar i digitale biblioteker |
|
839 |
Henrik Rosenberg Rasmussen |
22-01-1999 |
Kaj Grønbæk |
The Integrator Framework - Supporting Web Base Access to Distributed Heterogeneous Databases |
|
838 |
Sebastian Lukas Arne Czort |
22-01-1999 |
Peter Bro Miltersen |
The Complexity of Minimizing Disjunctive Normal Form Formulas |
|
837 |
Dirk Bucka-Lassen |
21-01-1999 |
Kaj Grønbæk |
Cooperative Authoring Using Open Spatial Hypermedia |
|
836 |
Olavur Heri Reinert |
21-01-1999 |
Kaj Grønbæk |
Cooperative Authoring Using Open Spatial Hypermedia |
|
835 |
Claus Ågård Pedersen |
21-01-1999 |
Kaj Grønbæk |
Cooperative Authoring Using Open Spatial Hypermedia |
|
834 |
Anders Jacob Truelsen |
21-01-1999 |
Ole Lehrmann Madsen |
Synchronising Distributed Concurrent Objects |
|
833 |
Klaus Langgaard Jensen |
20-01-1999 |
Ole Lehrmann Madsen |
Framework for Embedded Systems - a Case Study and Tool Support |
|
832 |
Bo Frederiksen |
20-01-1999 |
Ole Lehrmann Madsen |
Framework for Embedded Systems - a Case Study and Tool Support |
|
831 |
Thomas Hune |
11-12-1998 |
Mogens Nielsen |
Titel ukendt |
830 |
Mads Torgersen |
11-12-1998 |
Ole Lehrmann Madsen |
Titel ukendt |
829 |
Jakob Pagter |
03-12-1998 |
Erik Meineche Schmidt |
Titel ukendt |
828 |
Torben Flytkjær Kabel |
24-06-1998 |
Brian Henry Mayoh |
Titel ukendt |
827 |
Lars Vestergaard Kragelund |
24-06-1998 |
Brian Henry Mayoh |
Titel ukendt |
826 |
Peter Andersen |
23-06-1998 |
Ole Caprani |
Evolvable Hardware - Artificial Evolution of Hardware Design - in Simulation and Reality |
|
825 |
Lars Ræder Clausen |
23-06-1998 |
Olivier Danvy |
Intensional and Extensional Aspects of Java byte code |
|
824 |
Jesper Just |
23-06-1998 |
Olav Bertelsen |
Titel ukendt |
823 |
Peter Grassme Binderup |
23-06-1998 |
Sven Skyum |
Titel ukendt |
822 |
Anders Marager |
23-06-1998 |
Susanne Bødker |
Shopfloor CSCW - Et studie af edb-systemer og den organisationelle kontekst med et rekvisitionssystem til sygehuskøkkener som case |
|
821 |
Kåre Kjelstrøm |
22-06-1998 |
Ole Lehrmann Madsen |
Software Components and Development Tools |
|
820 |
Peter Petersen |
22-06-1998 |
Ole Lehrmann Madsen |
Software Components and Development Tools |
|
819 |
Krister Grønhøj |
22-06-1998 |
Jørgen Lindskov Knudsen |
3D-visualisering af software strukturer |
|
818 |
Christian Vandsø Andersen |
22-06-1998 |
Jørgen Lindskov Knudsen |
Towards Automatic Segmentation, Visualization and Animation of Cerebral Arteries |
|
817 |
Jesper Frandsen |
22-06-1998 |
Jørgen Lindskov Knudsen |
Towards Automatic Segmentation, Visualization and Animation of Cerebral Arteries |
|
816 |
Kresten Krab Thorup |
04-06-1998 |
Ole Lehrmann Madsen |
Titel ukendt |
815 |
Stig Larsen |
29-04-1998 |
Peter Møller-Nielsen |
Effektivisering af programmer til behandling af digitaliseret lyd |
|
814 |
Simeon Falk Sheye |
29-01-1998 |
Jan Depenau |
Ensemble Techniques and Neural Networks |
|
813 |
Mikkel Arentoft |
29-01-1998 |
Brian Henry Mayoh |
Developing a Robot Controller using Genetic Programming on Decision Trees |
|
812 |
Morten Flink |
29-01-1998 |
Brian Henry Mayoh |
Titel ukendt |
811 |
Asger Sporring |
28-01-1998 |
Brian Henry Mayoh |
Evolvable Hardware - Designing Chips, from Top to Bottom |
|
810 |
John Rasmussen |
28-01-1998 |
Mogens Nielsen |
Implementation of realtime CCS |
|
809 |
Morten Rhiger |
28-01-1998 |
Olivier Danvy |
A Study in Higher-Order Programming Languages |
|
808 |
Hanne Gottliebsen |
28-01-1998 |
Peter Mosses |
Combinatory Reduction Systems and Natural Semantics |
|
807 |
Rune Raunow |
27-01-1998 |
Susanne Bødker |
Titel ukendt |
806 |
Henrik Behrens Jensen |
27-01-1998 |
Susanne Bødker |
Titel ukendt |
805 |
Lars Winther Madsen |
26-01-1998 |
Brian Henry Mayoh |
Neurale netværk og forudsigelse af tidsrækker |
|
804 |
Henrik Enstrøm |
26-01-1998 |
Glynn Winskel |
Titel ukendt |
803 |
Anders Juul Nielsen |
26-01-1998 |
Preben Mogensen |
Titel ukendt |
802 |
Henrik Petersen |
26-01-1998 |
Peter Møller-Nielsen |
Generering af netlister fra Occam-modeller af integrerede kredsløb |
|
801 |
Nis Peder Bonde |
22-01-1998 |
Peter Møller-Nielsen |
MBP: Multiparty Broadcast Protocol |
|
800 |
Leon Mortensen |
22-01-1998 |
Peter Møller-Nielsen |
MBP: Multiparty Broadcast Protocol |
|
799 |
Jakob Fredslund |
22-01-1998 |
Ole Caprani |
Intelligent adfærd uden intelligens |
|
798 |
Søren Cramer Christiansen |
22-01-1998 |
Ole Caprani |
Titel ukendt |
797 |
Richard Jørgensen |
21-01-1998 |
Ole Caprani |
Titel ukendt |
796 |
Morten Lauritsen |
21-01-1998 |
Ole Caprani |
Et annoteret WWW værktøj til løsning af biologiske sekvens problemer |
|
795 |
Johanna Wiederhold Tind |
21-01-1998 |
Ole Lehrmann Madsen |
A Multi-User Persistence Framework - Building Customized Database Solutions Using the BETA Persistens Store |
|
794 |
Brian Bek Jensen |
21-01-1998 |
Ole Lehrmann Madsen |
HUGIN - An ODMG Framework for Java and RDB's |
|
793 |
Ellen Birgitte Agerbo Jensen |
20-01-1998 |
Ole Lehrmann Madsen |
Theory of Language Support for Design Patterns |
|
792 |
Aino Cornils |
20-01-1998 |
Ole Lehrmann Madsen |
Theory of Language Support for Design Patterns |
|
791 |
Stephan Erbs Korsholm |
20-01-1998 |
Ole Lehrmann Madsen |
Titel ukendt |
790 |
Søren Brian Carlsen |
20-01-1998 |
Ole Caprani |
Et annoteret WWW værktøj til løsning af biologiske sekvens problemer |
|
789 |
Torben Slaikjer |
19-01-1998 |
Peter Møller-Nielsen |
Titel ukendt |
788 |
Astrid Benedicte Meldgaard Madsen |
19-01-1998 |
Ivan Damgaard |
Titel ukendt |
787 |
Benny Rene Frederiksen |
19-01-1998 |
Ivan Damgaard |
Titel ukendt |
786 |
Jakob Vogdrup Hansen |
16-12-1997 |
Brian Henry Mayoh |
Titel ukendt |
785 |
Marianne Graves Petersen |
30-10-1997 |
Kaj Grønbæk |
Towards Usability Evaluation of Multimedia Applications - Experiences from an Empirical Study of Current Evaluation Methods |
|
784 |
Ann Christina Nielsen |
20-10-1997 |
Susanne Bødker |
Spirits in a Material World - An Activity Theory Based Evaluation of Ariel, a Demonstrator in the EuroCODE CSCW Project, Aimed at Supporting Inspection Work at the Great Belt Bridge |
|
783 |
Tue Jakobsen |
27-06-1997 |
Hanne Riis Nielson |
Path Reduction and Graph Reduction for the Lambda Calculus |
|
782 |
Jørg Olaf Schneider |
27-06-1997 |
Ole Lehrmann Madsen |
Titel ukendt |
781 |
Henrik Røn |
26-06-1997 |
Ole Lehrmann Madsen |
Midgård - En dynamisk programmeringsomgivelse baseret på ekstensibilitet |
|
780 |
Rene Schade |
26-06-1997 |
Ole Lehrmann Madsen |
Midgård - En dynamisk programmeringsomgivelse baseret på ekstensibilitet |
|
779 |
Jesper Jühne |
26-06-1997 |
Kaj Grønbæk |
Udvikling af en stimekanisme til WWW |
|
778 |
Anders Thorbjørn Jensen |
26-06-1997 |
Kaj Grønbæk |
Udvikling af en stimekanisme til WWW |
|
777 |
Ulrik Pagh Schultz |
20-06-1997 |
Olivier Danvy |
Implicit and Explicit Aspects of Scope and Block Structure |
|
776 |
Torben Koch |
20-06-1997 |
Preben Mogensen |
CSCW i praksis - Lotus Notes i et shipping-firma |
|
775 |
Martin Jacob Rehder |
18-06-1997 |
Brian Henry Mayoh |
Predicting Forest Animal Movement Using AI Methods |
|
774 |
Jan Rene Vestergaard |
18-06-1997 |
Olivier Danvy |
From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation |
|
773 |
Søren Bak Larsen |
18-06-1997 |
Kaj Grønbæk |
Hypermedia Agents - Towards a Protocol for Mediating Contents and Structure Search in Open Hypermedia Systems |
|
772 |
John Brøndum |
18-06-1997 |
Jørgen Lindskov Knudsen |
Debugging Distributed BETA Programs |
|
771 |
Rune Bang Lyngsø |
10-06-1997 |
Ole Caprani |
Titel ukendt |
770 |
Christian Nørgaard Storm Pedersen |
10-06-1997 |
Sven Skyum |
Titel ukendt |
769 |
Thomas Troels Hildebrandt |
10-06-1997 |
Glynn Winskel |
Titel ukendt |
768 |
Lars Michael Kristensen |
10-06-1997 |
Kurt Jensen |
Titel ukendt |
767 |
Jesper Gulmann Henriksen |
04-06-1997 |
Mogens Nielsen |
Titel ukendt |
766 |
Anders Bækgaard Sandholm |
23-05-1997 |
Michael I. Schwartzbach |
Titel ukendt |
765 |
Sharmila Rajani Lassen |
23-01-1997 |
Hanne Riis Nielson |
Static Processor Allocation for CML |
|
764 |
Jan Hansen |
23-01-1997 |
Jørgen Lindskov Knudsen |
Atomare datatyper |
|
763 |
Peter Rene Schmidt Høggaard |
23-01-1997 |
Kaj Grønbæk, Kurt Jensen |
Titel ukendt |
762 |
Jesper Jensen |
23-01-1997 |
Kaj Grønbæk, Kurt Jensen |
Anvendelse af Farvede Petri Net i en object-orienteret metode |
|
761 |
Morten Sabroe Mortensen |
22-01-1997 |
Gudmund Frandsen |
Engineering of a Graphical Engine for Visualizing Virtual Environments - A Solution Within the Paradigm of Algorithm Engineering |
|
760 |
Hans Christian Pedersen |
22-01-1997 |
Brian Henry Mayoh |
Dusty Pictures - Study of Applying Dust to a Ray-Tracer |
|
759 |
Jan Bækgaard Pedersen |
22-01-1997 |
Peter Møller-Nielsen |
PVMbuilder - et grafisk værktøj til parallelprogrammering |
|
758 |
Bjarke Bisgaard Blendstrup |
22-01-1997 |
Peter Møller-Nielsen |
PVMbuilder - et grafisk værktøj til parallelprogrammering |
|
757 |
Martin Schmidt |
17-01-1997 |
Brian Henry Mayoh |
Hybrid Systems - Genetic Algorithms, Neural Networks, and Fuzzy Logic |
|
756 |
Thomas Stidsen |
17-01-1997 |
Brian Henry Mayoh |
Hybrid Systems - Genetic Algorithms, Neural Networks, and Fuzzy Logic |
|
755 |
Nikolaj Kolte |
17-01-1997 |
Susanne Bødker |
Evaluering af brugergrænsefladen for Devise Hypermedia |
|
754 |
John Vestergaard Nielsen |
17-01-1997 |
Susanne Bødker |
Evaluering af brugergrænsefladen for Devise Hypermedia |
|
753 |
Ole Skydtsgaard Nielsen |
14-01-1997 |
Sven Skyum |
Majoritets- og medianproblemer |
|
752 |
Lone Overgaard |
14-01-1997 |
Sven Skyum |
Steinertræer i orienterede grafer |
|
751 |
Peer Gunnar Duschner |
14-01-1997 |
Mogens Nielsen |
A Discrete Responsiveness Framework for Concurrent Processes |
|
750 |
Chris Ranzau Hansen |
13-01-1997 |
Ole Lehrmann Madsen |
Versions- og konfigurationsstyring i objekt-orienterede databaser |
|
749 |
Michael Edgar Jørgensen |
13-01-1997 |
Michael I. Schwartzbach |
Titel ukendt |
748 |
Ole Jakob Lundager Jensen |
13-01-1997 |
Michael I. Schwartzbach |
Titel ukendt |
747 |
Erik Ernst |
02-12-1996 |
Ole Lehrmann Madsen |
Titel ukendt |
746 |
Helle Krogh Kristensen |
25-11-1996 |
Kaj Grønbæk |
Edb i undervisningen - et anvendelsesorienteret og undervisningsteoretisk perspektiv |
|
745 |
Klaus Seidenfaden |
01-08-1996 |
Kaj Grønbæk |
On the Design of Browsing and Orientation Support for Dexter-based Hypermedia |
|
744 |
Niels Olof Bouvin |
28-06-1996 |
Susanne Bødker |
Spirits in a Material World - An Activity Theory Based Evaluation of Ariel, a Demonstrator in the EuroCODE CSCW Project, Aimed at Supporting Inspection Work at the Great Belt Bridge |
|
743 |
Lars Høgsted Andersen |
25-06-1996 |
Morten Kyng |
Evaluering af et fastprisprojekt - om estimering og kvalitetsstyring |
|
742 |
Jakob Mathiasen |
25-06-1996 |
Kaj Grønbæk |
Udvikling af hypermediastøtte for digitaliseret video |
|
741 |
Afsar Jalali |
21-06-1996 |
Brian Henry Mayoh |
A Suitable Neural Network Architecture for Recognition of Machine Printed Symbols |
|
740 |
Knud Åge Hansen |
21-06-1996 |
Brian Henry Mayoh |
Korn klassificering ved brug af Fuzzy Logic og Neurale Netværk |
|
739 |
Christian Peter Rybak Bækdorf |
21-06-1996 |
Martin Møller |
Titel ukendt |
738 |
Søren Møllebjerg |
21-06-1996 |
Martin Møller |
Finansielle forudsigelser v. h. a. neurale net |
|
737 |
Morten Hoffmann Sørensen |
20-06-1996 |
Michael I. Schwartzbach |
Rutebeskrivelser i C |
|
736 |
Christian Vinther |
20-06-1996 |
Ole Caprani |
Efficiency of the PVM on Different Architectures - a Case Study |
|
735 |
Christian Norup |
19-06-1996 |
Brian Henry Mayoh |
Opmåling af maskestørrelser i selektionspaneler |
|
734 |
Lars Handrup |
19-06-1996 |
Brian Henry Mayoh |
3D objektgenkendelse i dybdebilleder |
|
733 |
Per Knudsgaard |
19-06-1996 |
Brian Henry Mayoh |
Genkendelse af sammenhængende ord i tale |
|
732 |
Hans Køhling Pedersen |
19-06-1996 |
Brian Henry Mayoh |
A Framework for Interactive Texturing on Curved Surfaces |
|
731 |
Søren Skyum |
18-06-1996 |
Gudmund Frandsen |
Dyck-sprogene - dynamiske algoritmer og deres kompleksitet |
|
730 |
Bo Pedersen |
18-06-1996 |
Brian Henry Mayoh |
Processing Natural Language with Harmony Functions and Canonical Syntax |
|
729 |
Hans Sølvsten Damgaard |
18-06-1996 |
Brian Henry Mayoh |
Lokalisering og genkendelse af ansigter |
|
728 |
Simon Hieronymus Laub |
18-06-1996 |
Brian Henry Mayoh |
Evolutionary Ideas and Artificial Life |
|
727 |
Thomas Jürgensen |
17-06-1996 |
Ivan Damgaard |
Design og implementering af et autentifikations- og autorisationssystem |
|
726 |
Peter Zacho |
17-06-1996 |
Ivan Damgaard |
Design og implementering af et autentifikations- og autorisationssystem |
|
725 |
Jesper Lauridsen |
17-06-1996 |
Gudmund Frandsen |
Dynamic Text Editing |
|
724 |
Klaus Bucka-Lassen |
17-06-1996 |
Ole Caprani |
Heuristiske metoder til multipel sekvens alignment |
|
723 |
Henrik Bærbak Christensen |
11-06-1996 |
Ole Lehrmann Madsen |
Titel ukendt |
722 |
Rasmus Munk Larsen |
07-06-1996 |
Ole Caprani |
Titel ukendt |
721 |
Rene Wenzel Schmidt |
15-05-1996 |
Ole Lehrmann Madsen |
Titel ukendt |
720 |
Lars Jacobsen |
15-03-1996 |
Kaj Grønbæk |
Udvikling af hypermediastøtte for digitaliseret video |
|
719 |
Morten Buhr |
24-01-1996 |
Brian Henry Mayoh |
Aesthetics of Newspaper Layout |
|
718 |
Peder Overgaard Pedersen |
24-01-1996 |
Brian Henry Mayoh |
Web Extractor - Processing of Spider Web Images |
|
717 |
Jan Riis Nielsen |
24-01-1996 |
Brian Henry Mayoh |
Fraktal Kompression of Fraktale Mål |
|
716 |
Dan Nødskouv Christensen |
24-01-1996 |
Brian Henry Mayoh |
Fraktal Kompression of Fraktale Mål |
|
715 |
Carsten Pedersen |
23-01-1996 |
Jens Palsberg |
Generation of Class Graphs from Adaptive Programs |
|
714 |
Lars Andersen |
23-01-1996 |
Peter Møller-Nielsen |
Computer generede billeder baseret på simulation af menneskelig hud |
|
713 |
Allan Vadskjær Severinsen |
23-01-1996 |
Sven Skyum |
Titel ukendt |
712 |
Jens Hedegaard Hykkelbjerg |
23-01-1996 |
Sven Skyum |
Titel ukendt |
711 |
Niels Esge Rasmussen |
22-01-1996 |
Jørgen Lindskov Knudsen |
CPN formalisering som repræsentation af BETA programmer |
|
710 |
Michael Thomsen |
22-01-1996 |
Susanne Bødker |
Objekt-Orienteret Brugergrænsefladedesign. |
709 |
Claus Hemberg Jørgensen |
18-01-1996 |
Kurt Jensen, Søren Christensen |
VLSI-modellering med Farvede Petri Net |
|
708 |
Aksel Jørgensen |
18-01-1996 |
Kurt Jensen, Søren Christensen |
VLSI-modellering med Farvede Petri Net |
|
707 |
Jens Linneberg Rasmussen |
17-01-1996 |
Kurt Jensen, Søren Christensen |
Designing and Analysing a Security System by means of Coloured Petri Nets |
|
706 |
Mejar Singh |
17-01-1996 |
Kurt Jensen, Søren Christensen |
Designing and Analysing a Security System by means of Coloured Petri Nets |
|
705 |
Theis Rauhe |
16-01-1996 |
Gudmund Frandsen |
Dyck-sprogene - dynamiske algoritmer og deres kompleksitet |
|
704 |
Morten Klitgaard Friis |
16-01-1996 |
Ivan Damgaard |
Identity Based System |
|
703 |
Rico Werni Steenfeldt |
16-01-1996 |
Ivan Damgaard |
Identity Based System |
|
702 |
Tommy Thorn |
16-01-1996 |
Olivier Danvy |
A Symbolic Approach to Binding-Time Analysis |
|
701 |
Ole Carstensen |
06-12-1995 |
Gudmund Frandsen |
Parallelisering af P-hårde problemer på en PRAM |
|
700 |
Kim Sunesen |
05-12-1995 |
Mogens Nielsen |
Titel ukendt |
699 |
Esben Andreas Dalsgaard |
11-10-1995 |
Susanne Bødker |
En analyse af to metoder til planlægning af forandringer |
|
698 |
Helge Vad |
06-10-1995 |
Brian Henry Mayoh |
Kinematisk begrundet vidensrepræsentation |
|
697 |
Kim Vestergaard |
25-08-1995 |
Jørgen Lindskov Knudsen |
Segmentering i Magnetisk Resonans billeder ved brug af den aktiv-kontur baserede Segment algoritme |
|
696 |
Thomas Sølling |
25-08-1995 |
Jørgen Lindskov Knudsen |
Segmentering i Magnetisk Resonans billeder ved brug af den aktiv-kontur baserede Segment algoritme |
|
695 |
Christian Lynbech |
04-08-1995 |
Peter Mosses |
Titel ukendt |
694 |
Jan Toksvig |
20-06-1995 |
Søren Christensen |
Design and implementation of a place invariant tool for coloured petri nets |
|
693 |
Stefan Hebsgaard |
19-06-1995 |
Martin Møller |
Titel ukendt |
692 |
Carsten Teichert |
19-06-1995 |
Martin Møller |
Viden i Neurale Netværk |
|
691 |
Peter Gravild Korning |
19-06-1995 |
Martin Møller |
Titel ukendt |
690 |
Ole Østergaard |
16-06-1995 |
Brian Henry Mayoh |
Practical applications of Virtual Reality & Implementation of a VR interface for an emergency management training system - including technological status |
|
689 |
Henrik Hautop Lund |
16-06-1995 |
Brian Henry Mayoh |
Titel ukendt |
688 |
Kim Oechsle Hansen |
16-06-1995 |
Brian Henry Mayoh |
Practical applications of Virtual Reality & Implementation of a VR interface for an emergency management training system - including technological status |
|
687 |
Nils Bundgaard |
15-06-1995 |
Morten Kyng |
On representations and models in computer system development |
|
686 |
Ebbe Jakobsen |
15-06-1995 |
Peter Møller-Nielsen, Jørgen Lindskov Knudsen |
Morphing algoritmen og dens implementering i VLSI |
|
685 |
Jais Lytje Hansen |
14-06-1995 |
Olivier Danvy |
Language design through extension |
|
684 |
Christian Otkjær |
14-06-1995 |
Olivier Danvy |
Language design through extension |
|
683 |
Jens Cornelius Olsen |
14-06-1995 |
Michael I. Schwartzbach |
Type inference of BETA |
|
682 |
Jørgen Greve |
14-06-1995 |
Michael I. Schwartzbach |
Type inference of BETA |
|
681 |
Bo Bergholdt Madsen |
14-06-1995 |
Brian Henry Mayoh |
Revision af teorier med Genetisk Programmering |
|
680 |
Ove Berg Risum |
14-06-1995 |
Brian Henry Mayoh |
Revision af teorier med Genetisk Programmering |
|
679 |
Anders Bertil Rodell |
10-03-1995 |
Jørgen Lindskov Knudsen |
Automatisk registrering og sammenlægning af MR, CT og PET Skanningsbilleder af hjernen ved symmetribetragtninger af en kraftfeltmodel |
|
678 |
Søren Bøgh Lassen |
10-03-1995 |
Peter Mosses |
Titel ukendt |
677 |
Flemming Andersen |
10-03-1995 |
Jørgen Lindskov Knudsen |
Automatisk registrering og sammenlægning af MR, CT og PET Skanningsbilleder af hjernen ved symmetribetragtninger af en kraftfeltmodel |
|
676 |
Henrik Kjær Nielsen |
26-01-1995 |
Erik Meineche Schmidt |
Gibbs Sampling in the Context of Hierarchical Models |
|
675 |
Henrik Svanberg |
26-01-1995 |
Jørgen Lindskov Knudsen, Ole Lehrmann Madsen |
Conference systems |
|
674 |
Jan Sander Jensen |
26-01-1995 |
Jørgen Lindskov Knudsen, Ole Lehrmann Madsen |
Conference systems |
|
673 |
Anne Kirsten Mølle |
26-01-1995 |
Jørgen Lindskov Knudsen |
TK-VEV et rastergrafisk edb-værktøj til design |
|
672 |
Christian Pierre Didier Gautier |
25-01-1995 |
Jørgen Lindskov Knudsen |
A Study of Realistic Illumination in Computer Graphics |
|
671 |
Klaus Lisberg Kristensen |
25-01-1995 |
Jørgen Lindskov Knudsen |
A Study of Realistic Illumination in Computer Graphics |
|
670 |
Helle Majbritt Jensen |
25-01-1995 |
Gudmund Frandsen |
Beregning af mindste udspændende træ med anvendelse af parallelisme og randomisering |
|
669 |
Morten Ingolf Skifter Jensen |
25-01-1995 |
Susanne Bødker |
Objekt-Orienteret Brugergrænsefladedesign |
|
668 |
Ivan Høy |
23-01-1995 |
Ole Caprani |
Duplikationer i DNA- og proteinstrenge |
|
667 |
Morten Damgaard |
23-01-1995 |
Jørgen Lindskov Knudsen, Ole Caprani |
Parallelisering af reaction-diffusion modellen |
|
666 |
Ralf Mattethat |
23-01-1995 |
Jørgen Lindskov Knudsen, Ole Caprani |
Parallelisering af reaction-diffusion modellen |
|
665 |
Michael Hjortshøj Pedersen |
19-01-1995 |
Brian Henry Mayoh |
Korn klassificering ved brug af Fuzzy Logic og Neurale Netværk |
|
664 |
Ali Alizadeh Khasmakhi |
19-01-1995 |
Brian Henry Mayoh |
Titel ukendt |
663 |
Khosrow Jafehvand |
18-01-1995 |
Brian Henry Mayoh |
Styring af en Kunstig Hånd ved hjælp af Neurale Netværk |
|
662 |
Mehran Nourbakhsh |
18-01-1995 |
Brian Henry Mayoh |
Styring af en Kunstig Hånd ved hjælp af Neurale Netværk |
|
661 |
Anne Birte Jørgensen |
18-01-1995 |
Brian Henry Mayoh |
Kostplanlægning og case-based planlægning |
|
660 |
Afshin Foroughipour |
18-01-1995 |
Kurt Jensen |
Construction of the OS-graph with Permutation Symmetries of a Coloured Petri Net using Algebraic Algorithms |
|
659 |
Jesper Buhl |
16-01-1995 |
Peter Mosses |
Communicative action semantics |
|
658 |
Torben Bisgaard Haagh |
16-01-1995 |
Kurt Jensen, Søren Christensen |
Optimising a Coloured Petri Net Simulator |
|
657 |
Tommy Rudmose Hansen |
16-01-1995 |
Kurt Jensen, Søren Christensen |
Optimising a Coloured Petri Net Simulator |
|
656 |
Kjeld Høyer Mortensen |
25-11-1994 |
Kurt Jensen |
Titel ukendt |
655 |
Gerth Stølting Brodal |
24-11-1994 |
Erik Meineche Schmidt |
Complexity of Data Structures |
|
654 |
Thore Husfeldt |
24-11-1994 |
Sven Skyum |
Titel ukendt |
653 |
Ali Reza Kian Abolfazlian |
09-11-1994 |
Brian Henry Mayoh |
On Selective Attention in the Auditory Domain - A Hybrid Coctail Party Listner |
|
652 |
Brian Lykkegård Karlsen |
07-10-1994 |
Brian Henry Mayoh |
Titel ukendt |
651 |
Anders Harder |
15-09-1994 |
Erik Meineche Schmidt |
Upper and Lower Bounds in the LSA Model |
|
650 |
Erik Futtrup Sørensen |
13-09-1994 |
Susanne Bødker |
Objekt-Orienteret Brugergrænsefladedesign |
|
649 |
Thorleif Nielson |
31-08-1994 |
Hanne Riis Nielson |
Semantik-bevarende program-transformationer i en typet lambda-kalkyle |
|
648 |
Claus Winther Rasmussen |
15-08-1994 |
Morten Kyng |
Titel ukendt |
647 |
Britta Lindbjerg Tønning |
15-08-1994 |
Morten Kyng |
Systemudvikling - en værktøjskasse |
|
646 |
Keld Lyngsø Andersen |
15-08-1994 |
Morten Kyng |
Systemudvikling - en værktøjskasse |
|
645 |
Kim Kortermand Hansen |
08-08-1994 |
Brian Henry Mayoh |
Observing, Understanding, and Controlling the Genetic Method on a Neural Network Application |
|
644 |
Hans Lohmann Jayatissa |
28-07-1994 |
Ole Lehrmann Madsen |
Titel ukendt |
643 |
Peter Rolann Arentoft |
27-06-1994 |
Brian Henry Mayoh |
Simuleret skovbrandsbekæmpelse - et eksempel på genetisk baseret maskinindlæring |
|
642 |
Kaj Aage Jensen |
27-06-1994 |
Brian Henry Mayoh |
Simuleret skovbrandsbekæmpelse - et eksempel på genetisk baseret maskinindlæring |
|
641 |
Kirsti Kruse |
24-06-1994 |
Peter Landrock |
Kryptering i international kommunikation med overvågning |
|
640 |
Heidi Pedersen |
24-06-1994 |
Peter Landrock |
Kryptering i international kommunikation med overvågning |
|
639 |
Jesper Schmidt |
24-06-1994 |
Erik Meineche Schmidt |
Dynamiske Grafalgoritmer - teknikker og deres anvendelse |
|
638 |
Benny Skov |
24-06-1994 |
Peter Landrock |
Kryptering i EDIFACT |
|
637 |
Michael Christensen |
23-06-1994 |
Ole Lehrmann Madsen |
Eksperimentel indplacering af objektdiagrammer i reverse engineering sammenhæng |
|
636 |
Kim Jakobsen |
23-06-1994 |
Ole Lehrmann Madsen |
Eksperimentel indplacering af objektdiagrammer i reverse engineering sammenhæng |
|
635 |
Martin Broch Pedersen |
23-06-1994 |
Susanne Bødker |
Fra interface til interaktion |
|
634 |
Jakob Eyvind Bardram |
23-06-1994 |
Susanne Bødker |
Fra interface til interaktion |
|
633 |
Peter Dalsgaard |
21-06-1994 |
Brian Henry Mayoh |
Speaker Verification using Neural Networks applied in Telecommunication Services |
|
632 |
Steen Ladegaard Knudsen |
21-06-1994 |
Brian Henry Mayoh |
Ockham's Razor Drawn against Overfitted Neural Nets - A Quest for the Glorious Features |
|
631 |
Kell Sønnichsen |
16-06-1994 |
Ole Caprani |
Parallel programmering på arbejdsstationer - en undersøgelse af PVM's anvendelse og effektive brug på klynger af arbejdsstationer |
|
630 |
Anders Kristensen |
16-06-1994 |
Ole Lehrmann Madsen |
Object-Oriented Group Communication in Beta |
|
629 |
Erik Pedersen |
16-06-1994 |
Ole Caprani |
Parallel programmering på arbejdsstationer - en undersøgelse af PVM's anvendelse og effektive brug på klynger af arbejdsstationer |
|
628 |
Thomas Schneider |
15-06-1994 |
Jørgen Lindskov Knudsen, Ole Caprani |
Visualisering af implicitte flader ved hjælp af ray tracing |
|
627 |
Mikkel Mølgaard Mortensen |
15-06-1994 |
Jørgen Lindskov Knudsen, Ole Caprani |
Visualisering af implicitte flader ved hjælp af ray tracing |
|
626 |
Lars Hvidegaard |
15-06-1994 |
Jørgen Lindskov Knudsen, Ole Caprani |
Visualisering af implicitte flader ved hjælp af ray tracing |
|
625 |
Jens Middelfart |
15-06-1994 |
Jørgen Lindskov Knudsen |
GLEIPNER - a Framework for Supporting Constraint Object Oriented Programming in BETA |
|
624 |
Martin Faurby |
14-06-1994 |
Peter Møller-Nielsen |
Syntese af integrerede kredse baseret på program-prototyper |
|
623 |
Kim Fisker |
14-06-1994 |
Ole Caprani |
Rekonstruktion af slægtskabs forhold baseret på DNA strenge |
|
622 |
Søren Weeke |
13-06-1994 |
Erik Meineche Schmidt |
Distribuerede datastrukturer i distribuerede systemer med dynamisk topologi |
|
621 |
Jesper Rosenlund Nielsen |
13-06-1994 |
Erik Meineche Schmidt |
Distribuerede datastrukturer i distribuerede systemer med dynamisk topologi |
|
620 |
Farshid Shaikhrezai |
13-06-1994 |
Brian Henry Mayoh |
A Blackboard Architecture for X-ray Image Understanding |
|
619 |
Michael Kjærgaard Sørensen |
13-06-1994 |
Sven Skyum |
Abstrakte Voronoi diagrammer med huller |
|
618 |
Søren Brandt |
30-05-1994 |
Ole Lehrmann Madsen |
Titel ukendt |
617 |
Jens Troelsgaard Thorsen |
16-05-1994 |
Ole Lehrmann Madsen |
Titel ukendt |
616 |
Peter Hübel |
16-05-1994 |
Ole Lehrmann Madsen |
Multiple Language Systems Sharing BETA and C++ Objects |
|
615 |
Mogens Birk Hansen |
06-05-1994 |
Erik Meineche Schmidt |
Data Structures and Algorithms for Connectivity |
|
614 |
Jan Hvid Sørensen |
06-05-1994 |
Erik Meineche Schmidt |
Data Structures and Algorithms for Connectivity |
|
613 |
Lisbeth Vlk |
05-05-1994 |
Brian Henry Mayoh |
Titel ukendt |
612 |
Ejnar Steffensen |
05-05-1994 |
Brian Henry Mayoh |
Kamera kalibrering |
|
611 |
Carsten Bjerring |
20-04-1994 |
Erik Meineche Schmidt |
Dynamiske Grafalgoritmer - teknikker og deres anvendelse |
|
610 |
Søren Hvidberg Christensen |
20-04-1994 |
Erik Meineche Schmidt |
Dynamiske Grafalgoritmer - teknikker og deres anvendelse |
|
609 |
Kristian Lippert |
18-04-1994 |
Michael I. Schwartzbach |
Partial Products and their Implementation |
|
608 |
Anders Tvedt |
18-04-1994 |
Michael I. Schwartzbach |
Partial Products and their Implementation |
|
607 |
Ole Ildsgaard Hougaard |
07-04-1994 |
Michael I. Schwartzbach |
Titel ukendt |
606 |
Hosein Askari |
07-04-1994 |
Michael I. Schwartzbach |
Implicit Typing for Turbo Pascal - teknikker og deres anvendelse |
|
605 |
Torben Vestergaard Blach |
08-02-1994 |
Ole Caprani |
Genetiske algoritmer og global funktionsoptimering |
|
604 |
Claus Aggerholm Sørensen |
08-02-1994 |
Ole Caprani |
Genetiske algoritmer og global funktionsoptimering |
|
603 |
Peter Ørbæk |
25-01-1994 |
Peter Mosses |
Analysis and Optimization of Actions |
|
602 |
Torben Bach Pedersen |
24-01-1994 |
Ole Caprani |
Effektiv Automatisk Verifikation |
|
601 |
Soudabeh Sardarpour?Goodarzi |
19-01-1994 |
Susanne Bødker |
Titel ukendt |
600 |
Ole Helbo |
18-01-1994 |
Ole Caprani |
Parallelisering af algoritme til genkendelse af håndskrevne cifre |
|
599 |
Torben Petersen |
18-01-1994 |
Brian Henry Mayoh |
En Genetisk Algoritme til Reduktion af Bools Algebra med henblik på VLSI Implementation |
|
598 |
Christian Clausen |
17-01-1994 |
Mogens Nielsen |
Titel ukendt |
597 |
Søren Hilmer Pedersen |
22-12-1993 |
Brian Henry Mayoh |
Klassifikation af træ |
|
596 |
Jens Hørup Jensen |
22-12-1993 |
Brian Henry Mayoh |
Klassifikation af træ |
|
595 |
Mikael Nygård |
16-12-1993 |
Ole Caprani |
Effektiv Automatisk Verifikation |
|
594 |
Nikolaj Nederby |
16-12-1993 |
Ole Caprani |
Effektiv Automatisk Verifikation |
|
593 |
Mikael Christian Varrild Flensborg |
15-12-1993 |
Brian Henry Mayoh |
Titel ukendt |
592 |
Lars Peter Andersen |
15-12-1993 |
Brian Henry Mayoh |
Experimenter omkring Exponentierings-Algoritmer |
|
591 |
Lars Søderman Eskildsen |
08-12-1993 |
Brian Henry Mayoh |
Titel ukendt |
590 |
Lars Peter Larsen |
08-12-1993 |
Brian Henry Mayoh |
Design af LLExpert - en ekspertsystemskal og implementation af LLExpert p - en prototype på LLExpert |
|
589 |
Allan Cheng |
29-11-1993 |
Mogens Nielsen |
Titel ukendt |
588 |
Bettina Blaaberg Sørensen |
29-11-1993 |
Glynn Winskel |
Titel ukendt |
587 |
Lars Allan Arge |
29-11-1993 |
Erik Meineche Schmidt |
Titel ukendt |
586 |
Torben Brauner |
26-11-1993 |
Glynn Winskel |
Titel ukendt |
585 |
Christen Jørgen Christensen |
01-11-1993 |
Brian Henry Mayoh |
Titel ukendt |
584 |
Pia Lund |
14-10-1993 |
Susanne Bødker |
Den daglige brug af WordPerfect i Arbejdstilsynet - hvordan kan man understøtte arbejdets udvikling |
|
583 |
Steffen Grarup |
31-08-1993 |
Ole Lehrmann Madsen |
Incremental Mature Garbage Collection |
|
582 |
Jacob Seligmann |
31-08-1993 |
Ole Lehrmann Madsen |
Incremental Mature Garbage Collection |
|
581 |
Bjarne Hansen |
05-08-1993 |
Jens Kristian Kjærgaard |
Titel ukendt |
580 |
Per Lynge Kristoffersen |
04-08-1993 |
Ole Caprani |
Parallelisering af algoritme til genkendelse af håndskrevne cifre |
|
579 |
Ejner Tatari |
31-07-1993 |
Ivan Damgaard |
Elliptiske kurver og nogle anvendelser i kryptografien |
|
578 |
Michael Troelsen |
31-07-1993 |
Ivan Damgaard |
Elliptiske kurver og nogle anvendelser i kryptografien |
|
577 |
Lars Peter Abildskov |
22-07-1993 |
Brian Henry Mayoh |
Virtual Reality og den talende handske |
|
576 |
Ole Bak Jensen |
19-07-1993 |
Brian Henry Mayoh |
Visuel Programmering i Billedbehandling - VIBB |
|
575 |
Kirsten Larsen |
21-06-1993 |
Erik Meineche Schmidt |
I/O-complexity of comparison and permutation problems |
|
574 |
Knud Mikael Nyvang Knudsen |
21-06-1993 |
Erik Meineche Schmidt |
I/O-complexity of comparison and permutation problems |
|
573 |
Morten Dahl |
21-06-1993 |
Sven Skyum |
Delaunay diagrammer i planen |
|
572 |
Henning Clausen |
16-06-1993 |
Kurt Jensen |
Usage parameter Control Algorithms in Higher Speed Networks |
|
571 |
Peter Ryberg Jensen |
16-06-1993 |
Kurt Jensen |
Usage parameter Control Algorithms in Higher Speed Networks |
|
570 |
Erik Jacobsen |
16-06-1993 |
Erik Meineche Schmidt |
7 år med RASMUS og RIKKE |
|
569 |
Jørn Hansen |
04-06-1993 |
Erik Meineche Schmidt |
Anvendelse af skiplister |
|
568 |
Anders Kjærsgaard |
28-05-1993 |
Morten Kyng |
Fra idé til industriel prototype - Aspekter af design om implementation illustreret ved udviklingen af et manualprogram |
|
567 |
Henrik Reiche |
28-05-1993 |
Morten Kyng |
Delaunay diagrammer i planen |
|
566 |
Lars Rasmussen |
18-05-1993 |
Hanne Riis Nielson |
Inference Systemer for Strictness Analyse |
|
565 |
Poul Christiansen |
10-05-1993 |
Glynn Winskel |
Titel ukendt |
564 |
Hans Jakob Pedersen |
10-05-1993 |
Glynn Winskel |
Titel ukendt |
563 |
Tony Thisted Jacobsen |
04-05-1993 |
Peter Mosses |
Towards a Realistic Type Inference System for Action Semantics |
|
562 |
Jacob Steen Due |
23-04-1993 |
Kaj Grønbæk |
Hypermedia-baseret støtte til udvikling og brug af dokumentation i systemudvikling |
|
561 |
Steen Basse Jensen |
23-04-1993 |
Kaj Grønbæk |
Hypermedia-baseret støtte til udvikling og brug af dokumentation i systemudvikling |
|
560 |
Lars Olav Wedege Bertelsen |
23-03-1993 |
Susanne Bødker |
Når uret blir ret - Et litteraturstudium til belysning af muligheden for teori i human-computer interaction |
|
559 |
Mojtaba Danai |
28-01-1993 |
Jens Kristian Kjærgaard |
Titel ukendt |
558 |
Torsten Bjørn Hagemann |
28-01-1993 |
Ole Lehrmann Madsen |
Valhall - et projekt om multimedier i objektorienteret programmering |
|
557 |
Niels Franck Villadsen |
28-01-1993 |
Ole Caprani |
NETWORK MANAGEMENT - i sammenhæng med ISDN |
|
556 |
Alf Holten Gaba |
27-01-1993 |
Brian Henry Mayoh |
Titel ukendt |
555 |
Iraj Bastar |
26-01-1993 |
Jens Kristian Kjærgaard |
Titel ukendt |
554 |
Jacob Havkrog Jørgensen |
26-01-1993 |
Peter Mosses |
Terminering af associativ kommutativ genskrivning |
|
553 |
Fin Steenbjerg Olesen |
25-01-1993 |
Jens Kristian Kjærgaard |
Titel ukendt |
552 |
Birgitte Mølgaard Pedersen |
25-01-1993 |
Ole Lehrmann Madsen |
Developing Animated Graphical Interfaces to an Object-oriented Simulation Framework |
|
551 |
Niels Koldsø |
25-01-1993 |
Brian Henry Mayoh |
Analyzing & comparing the RSA the Chor-Rivest and the Powerline public key cryptosystems - a cryptologic endeavour as well as a c++ programming experience - or How to fight a polynomial |
|
550 |
Dorthe Torp Jensen |
22-01-1993 |
Mogens Nielsen |
Lokaliteter i Procesalgebra |
|
549 |
Frank Bagge Ivens de Carvalho |
21-01-1993 |
Brian Henry Mayoh |
Titel ukendt |
548 |
Robert Monrad Sie |
20-01-1993 |
Ole Lehrmann Madsen |
Communication in Distributed Systems |
|
547 |
Ebbe Skak Larsen |
23-12-1992 |
Michael I. Schwartzbach |
SCAMIRA - A functional language with implicit scaling |
|
546 |
Birthe Hust |
22-12-1992 |
Kaj Grønbæk |
Tailorability i Teori og Praxis - en teoretisk redegørelse for begrebet og en empirisk undersøgelse af et tailorable edb-system |
|
545 |
Folmer Sørensen |
22-12-1992 |
Kaj Grønbæk |
Tailorability i Teori og Praxis - en teoretisk redegørelse for begrebet og en empirisk undersøgelse af et tailorable edb-system |
|
544 |
Dag Amund Helstad |
14-12-1992 |
Ole Lehrmann Madsen |
Valhall - et projekt om multimedier i objektorienteret programmering |
|
543 |
Carsten Hansen |
14-12-1992 |
Ole Lehrmann Madsen |
Valhall - et projekt om multimedier i objektorienteret programmering |
|
542 |
Lars Toftgaard |
02-11-1992 |
Ole Lehrmann Madsen |
Communication in Distributed Systems |
|
541 |
Jens Toft Pedersen |
26-10-1992 |
Ole Lehrmann Madsen |
Object Management in Distributed Object Oriented Databases |
|
540 |
Lennert Sloth |
06-10-1992 |
Ole Lehrmann Madsen |
Object-Oriented Database Management Systems - A Design for Schema Evolution in Beta-Flex |
|
539 |
Jens Arnold Hem |
06-10-1992 |
Ole Lehrmann Madsen |
Object-Oriented Database Management Systems - A Design for Schema Evolution in Beta-Flex |
|
538 |
Peter Berg |
03-10-1992 |
Brian Henry Mayoh |
Automated Belief Revision - From Theory to Practice |
|
537 |
Lars Tøffner-Clausen |
11-09-1992 |
Ivan Damgaard |
Titel ukendt |
536 |
André Riget |
25-06-1992 |
Brian Henry Mayoh |
Klassificering af pletysmografkurver ved hjælp af neurale netværk |
|
535 |
Bent Handberg |
24-06-1992 |
Morten Kyng |
HanDahl - en model til estimering af omfanget af et systemudviklingsprojekt baseret på objektiv opmåling af kravspecifikationen |
|
534 |
Nicholas Oxhøj |
23-06-1992 |
Michael I. Schwartzbach |
Practical Object-Oriented Type Inference |
|
533 |
Jesper Andersen |
23-06-1992 |
Ole Caprani |
Design af et styreprogram til en tandemaccelerator |
|
532 |
Martin Petersen |
19-06-1992 |
Morten Kyng |
Titel ukendt |
531 |
Niels Erik Jehøj |
19-06-1992 |
Sven Skyum |
Om elastik metoden til Konstruktion af Voronoidiagrammer |
|
530 |
Jens Christian Mikkelsen |
18-06-1992 |
Hanne Riis Nielson |
Strictnes Analysis Using Homomorphisms |
|
529 |
Henrik Marcussen |
17-06-1992 |
Morten Kyng |
Estimering af systemudviklingsprojekter - En empirisk undersøgelse |
|
528 |
Jan Reher |
17-06-1992 |
Ole Caprani |
Design af et styreprogram til en tandemaccelerator |
|
527 |
Tommy Ravn Jensen |
17-06-1992 |
Brian Henry Mayoh |
Metoder til indlæring af intelligente kontrolsystemer |
|
526 |
Claus Torp Jensen |
13-05-1992 |
Glynn Winskel |
Titel ukendt |
525 |
Thomas Wirendeldt Larsen |
08-05-1992 |
Sven Skyum |
Titel ukendt |
524 |
Torben Lange |
04-05-1992 |
Flemming Nielson |
Titel ukendt |
523 |
Nicolette Frederiksen |
01-05-1992 |
Joan Greenbaum |
Titel ukendt |
522 |
Bente Laursen |
01-05-1992 |
Joan Greenbaum |
User Interface Consistency - A Case Study Suggesting User Involvment in Consistency Design Issues |
|
521 |
Lars Skøtt Christensen |
13-04-1992 |
Peter Møller-Nielsen |
Anvendelse af Medusa - En undersøgelse af chiptester og co-processor aspektet |
|
520 |
Torben Nielsen |
30-03-1992 |
Peter Møller-Nielsen |
Design, simulering og optimering af VLSI kredsløb ved hjælp af et funktionelt sprog |
|
519 |
Søren Rehné |
30-03-1992 |
Peter Møller-Nielsen |
Et simuleringsværktøj til design, verifikation og fejlfinding af VLSI-kredse - en videochip som case |
|
518 |
Frank Christensen |
13-03-1992 |
Ivan Damgaard |
A Survey of Identification Schemes |
|
517 |
Troels Agerbo Jensen |
13-03-1992 |
Ivan Damgaard |
Titel ukendt |
516 |
Bjarne Ebsen |
19-02-1992 |
Ole Caprani |
Parallelisering af Simulated Annealing og Genetiske Algoritmer anvendt på Traveling Salesman Problemet |
|
515 |
Morten Wulff Pedersen |
19-02-1992 |
Ole Caprani |
Parallelisering af Simulated Annealing og Genetiske Algoritmer anvendt på Traveling Salesman Problemet |
|
514 |
Lars Svith |
07-02-1992 |
Brian Henry Mayoh |
Klassificering af pletysmografkurver ved hjælp af neurale netværk |
|
513 |
Claus Jensen |
07-02-1992 |
Brian Henry Mayoh |
Klassificering af pletysmografkurver ved hjælp af neurale netværk |
|
512 |
Tanja Anette Nørgaard Troelsen |
22-01-1992 |
Morten Kyng |
Titel ukendt |
511 |
Lotte Lyngsø Jensen |
22-01-1992 |
Morten Kyng |
Kvalitetsstyring af Systemudvikling |
|
510 |
Lars Ramkilde Knudsen |
21-01-1992 |
Ivan Damgaard |
Differential Kryptoanalyse af DES og LOKI |
|
509 |
Peter Andersen |
21-01-1992 |
Jørgen Lindskov Knudsen |
Bifrost - An interactive Object-Oriented Device Independent Graphics System |
|
508 |
Nicholas Blackburn |
21-01-1992 |
Brian Henry Mayoh |
Modelling Reaction-Diffusion Processes with System Dynamics |
|
507 |
Anne Klinke Kettunen |
16-01-1992 |
Morten Kyng |
Estimering af systemudviklingsprojekter - En empirisk undersøgelse |
|
506 |
Steen Sjøgaard |
16-01-1992 |
Brian Henry Mayoh |
A Conceptual Approach to Generalization in Dynamic Neural Networks |
|
505 |
Søren Thygesen Gjesse |
15-01-1992 |
Brian Henry Mayoh |
FACE - Ansigtsgenkendelse |
|
504 |
Michael Ringgaard |
14-01-1992 |
Brian Henry Mayoh |
FACE - Ansigtsgenkendelse |
|
503 |
Poul-Erik Dahl |
14-01-1992 |
Jørgen Lindskov Knudsen |
Muligheder og begrænsninger ved integration af multimedie-omgivelser |
|
502 |
Henrik Dahl |
14-01-1992 |
Morten Kyng |
HanDahl - en model til estimering af omfanget af et systemudviklingsprojekt baseret på objektiv opmåling af kravspecifikationen |
|
501 |
Jens Givskov |
16-12-1991 |
Ole Lehrmann Madsen |
Aspects of Programming-in-the-Large - Towards the Design of a Graphical Module Browser |
|
500 |
Helle Johansen |
16-12-1991 |
Ole Lehrmann Madsen |
Aspects of Programming-in-the-Large - Towards the Design of a Graphical Module Browser |
|
499 |
Anne-Marie Bøjer Pedersen |
15-10-1991 |
Jørgen Lindskov Knudsen |
Design of a Fragment Administration System for the Mjølner BETA System - FRAME |
|
498 |
Johannes Vibe Djernæs |
15-10-1991 |
Jørgen Lindskov Knudsen |
Design of a Fragment Administration System for the Mjølner BETA System - FRAME |
|
497 |
Lone Lykke Nielsen |
01-10-1991 |
Jørgen Lindskov Knudsen |
Felixpascal - Evaluering og redesign |
|
496 |
Marianne Meincke Arentoft |
01-10-1991 |
Jørgen Lindskov Knudsen |
Felixpascal - Evaluering og redesign |
|
495 |
Sten Agerholm |
25-09-1991 |
Glynn Winskel |
Mechanizing Program Verification in HOL |
|
494 |
Kim Thomas Rasmussen |
23-09-1991 |
Brian Henry Mayoh |
Tegnsprog og Animation |
|
493 |
Lars Kjær Larsen |
23-09-1991 |
Brian Henry Mayoh |
Tegnsprog og Animation |
|
492 |
Ann-Grete Tan |
20-09-1991 |
Glynn Winskel |
Programming with Proofs |
|
491 |
Anders Pilegaard |
20-09-1991 |
Glynn Winskel |
Programming with Proofs |
|
490 |
Carsten Greve |
20-09-1991 |
Ole Caprani |
Titel ukendt |
489 |
Svend Jules Fjerdingstad |
20-09-1991 |
Ole Caprani |
Parallelizing Feed-forward Artificial Neural Networks on Transputers |
|
488 |
Gert Dengsøe Rasmussen |
20-09-1991 |
Brian Henry Mayoh |
De Genetiske Algoritmer |
|
487 |
Henrik Dyrholm |
26-06-1991 |
Ole Caprani |
NETWORK MANAGEMENT - i sammenhæng med ISDN |
|
486 |
Hanne Sommer |
25-06-1991 |
Ole Lehrmann Madsen |
The Development of a Graphical Object-Oriented Database Management System - GrOODBMS |
|
485 |
Henrik Bo Pedersen |
25-06-1991 |
Ole Caprani |
Implementation og vurdering af afviklingsalgoritmer på transputere |
|
484 |
Poul Willy Eriksen |
25-06-1991 |
Brian Henry Mayoh |
HERMES version 1.3 - MANUAL og RAPPORT |
|
483 |
Jørn Floor Andersen |
24-06-1991 |
Jørgen Lindskov Knudsen |
Muligheder og begrænsninger ved integration af multimedie- omgivelser |
|
482 |
Ulla Vestrup |
24-06-1991 |
Ole Lehrmann Madsen |
The Development of a Graphical Object-Oriented Database Management System - GrOODBMS |
|
481 |
Bent Gabelgaard |
24-06-1991 |
Ole Caprani |
NETWORK MANAGEMENT - i sammenhæng med ISDN |
|
480 |
Lasse Jensen |
21-06-1991 |
Ole Caprani |
Titel ukendt |
479 |
Henrik Kaarup Krogh |
20-06-1991 |
Ole Caprani |
MEDUSA - Integration af anvendelsesspecifikke VLSI-kredse i transputer-baserede occamsystemer |
|
478 |
Jacob Jakobsen |
19-06-1991 |
Erik Meineche Schmidt |
Entropi og probabilistiske optimeringsalgoritmer |
|
477 |
Rikke Drewsen Andersen |
18-06-1991 |
Kurt Jensen |
Tilstandsgrafer med ækvivalente mærkninger og selvsymmetrier - Definition og konstruktion af en ny type tilstandsgrafer for farvede Petri net |
|
476 |
Jens Bæk Jørgensen |
18-06-1991 |
Kurt Jensen |
Tilstandsgrafer med ækvivalente mærkninger og selvsymmetrier - Definition og konstruktion af en ny type tilstandsgrafer for farvede Petri net |
|
475 |
Michael Pedersen |
18-06-1991 |
Kurt Jensen |
Tilstandsgrafer med ækvivalente mærkninger og selvsymmetrier - Definition og konstruktion af en ny type tilstandsgrafer for farvede Petri net |
|
474 |
Lars Høgsted |
12-06-1991 |
Erik Meineche Schmidt |
Datalogi i Gymnasiet: Formalisering og Programmering - Rationale del |
|
473 |
Marianne Dyrskjøt Agdrup |
20-05-1991 |
Morten Kyng |
Titel ukendt |
472 |
Martin Olsen |
23-04-1991 |
Brian Henry Mayoh |
Automatic Speech Recognition & Neural Networks |
|
471 |
Ole Bystrup Jensen |
23-04-1991 |
Brian Henry Mayoh |
Automatic Speech Recognition & Neural Networks |
|
470 |
Thomas Rohde |
23-04-1991 |
Brian Henry Mayoh |
Automatic Speech Recognition & Neural Networks |
|
469 |
Karin Glindtvad |
02-04-1991 |
Hanne Riis Nielson |
Titel ukendt |
468 |
Merete Hess |
12-03-1991 |
Ole Lehrmann Madsen |
Titel ukendt |
467 |
Jens Henrik Leonhard Jensen |
07-03-1991 |
Brian Henry Mayoh |
Genetiske Algoritmer til udvikling af Neural Net |
|
466 |
Steen Reimers |
07-03-1991 |
Brian Henry Mayoh |
Genetiske Algoritmer til udvikling af Neural Net |
|
465 |
Karsten Bosteen |
24-01-1991 |
Sven Skyum |
Ringsortering |
|
464 |
Peter Strarup Jensen |
24-01-1991 |
Ole Lehrmann Madsen |
R-Beta - Integrating Relational and Object Oriented Programming |
|
463 |
Jannie Lykke Rasmussen |
24-01-1991 |
Jørgen Lindskov Knudsen, Sven Skyum |
Bilag til rapport om Elektroniske Skema Tavler - Skemaplanlægning for folkeskoler |
|
462 |
Flemming Koch Jensen |
23-01-1991 |
Brian Henry Mayoh |
Skemaplanlægning - et CSP Case Study |
|
461 |
Henrik Skjødt |
23-01-1991 |
Ole Lehrmann Madsen |
R-Beta - Integrating Relational and Object Oriented Programming |
|
460 |
Lise Krukow |
23-01-1991 |
Ole Lehrmann Madsen |
This town is big enough for most of it - modlling in OOP |
|
459 |
Karsten Søndergaard Schulz |
23-01-1991 |
Jørgen Lindskov Knudsen, Sven Skyum |
Bilag til rapport om Elektroniske Skema Tavler - Skemaplanlægning for folkeskoler |
|
458 |
Morten Schultz |
22-01-1991 |
Peter Landrock |
Titel ukendt |
457 |
Sanne Jensen |
22-01-1991 |
Ole Lehrmann Madsen |
Concurrency and Distribution in Object-Oriented Programming Languages - the Design of DistributedBeta |
|
456 |
Jørgen Rask |
22-01-1991 |
Jørgen Lindskov Knudsen |
Bifrost - An Interactive Object Oriented Device Independent Graphics System |
|
455 |
Peter Alfred Østergaard |
21-01-1991 |
Jørgen Lindskov Knudsen, Sven Skyum |
Bilag til rapport om Elektroniske Skema Tavler - Skemaplanlægning for folkeskoler |
|
454 |
Michael Thomsen |
21-01-1991 |
Susanne Bødker |
Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling |
|
453 |
Henrik Esbensen |
18-01-1991 |
Peter Møller-Nielsen |
HPR - en prototype af en router til understøttelse af hierarkisk design af VLSI-kredsløb |
|
452 |
Søren Overgaard Petersen |
18-01-1991 |
Ole Caprani |
En systematisk implementation af en distribueret G-maskine |
|
451 |
Jens Enevold Kristensen |
17-01-1991 |
Ole Caprani |
Titel ukendt |
450 |
Finn Rosenberg Rasmussen |
17-01-1991 |
Ole Caprani |
Implementation og vurdering af afviklingsalgoritmer på transputere |
|
449 |
Rasmus Møller |
17-01-1991 |
Peter Mosses |
SADL - Et sprog til beskrivelse og simulering af systoliske algoritmer |
|
448 |
Søren Mark |
17-01-1991 |
Brian Henry Mayoh |
Opbygning og Repræsentation af en Begrebsstruktur i et System af Neurale Netværk |
|
447 |
Brian Andersen |
16-01-1991 |
Peter Møller-Nielsen |
BEATRICE - En objekt orienteret to niveau CAD datamodel med implicit transaktionshåndtering |
|
446 |
Jens Groth Andreasen |
16-01-1991 |
Mogens Nielsen |
Titel ukendt |
445 |
Carsten Rickers |
16-01-1991 |
Peter Møller-Nielsen |
BEATRICE - En objekt orienteret to niveau CAD datamodel med implicit transaktionshåndtering |
|
444 |
Claus Mørk |
15-01-1991 |
Ole Caprani |
Implementation og vurdering af afviklingsalgoritmer på transputere |
|
443 |
Lone Faber |
15-01-1991 |
Ole Lehrmann Madsen |
This town is big enough for most of it - modelling in OOP |
|
442 |
Kim Jensen Møller |
15-01-1991 |
Jørgen Lindskov Knudsen |
Bifrost - An Interactive Object Oriented Device Independent Graphics System |
|
441 |
Ejner Kabel |
15-01-1991 |
Morten Kyng |
Edb-støttet samarbejde - en empirisk undersøgelse med henblik på analyse og design |
|
440 |
Bjarne Schlichter |
14-01-1991 |
Brian Henry Mayoh |
Generering af regler og symbolsk information fra neurale net - Om repræsentations- og niveauproblematikken i datamatbaserede kognitive modeller |
|
439 |
Johnny Skov Petersen |
29-10-1990 |
Brian Henry Mayoh |
Voronoi algoritmer og deres anvendelse i medicin |
|
438 |
Flemming Berg |
21-09-1990 |
Ole Lehrmann Madsen |
Pilot-undersøgelse af Transformations-systemer |
|
437 |
Lars Aagaard Christiansen |
15-08-1990 |
Ole Caprani |
Anvendelse og Evaluering af Transputernet |
|
436 |
Henning Matzen |
25-06-1990 |
Peter Møller-Nielsen |
Titel ukendt |
435 |
Annette Nielsen |
25-06-1990 |
Peter Møller-Nielsen |
HPR - en prototype af en router til understøttelse af hierarkisk design af VLSI-kredsløb |
|
434 |
Peter Holm |
25-06-1990 |
Brian Henry Mayoh |
Evaluering af ekspertsystemer |
|
433 |
Mariann Levring |
22-06-1990 |
Brian Henry Mayoh |
Telefonisk dialog med database - design og udvikling af prototype |
|
432 |
Lise-Lotte Hjorth Rasmussen |
22-06-1990 |
Jørgen Lindskov Knudsen |
Draupner - a Way of Programming |
|
431 |
Hanne Lise Berthelsen |
22-06-1990 |
Erik Meineche Schmidt |
Algoritmisk problemløsning og abstrakte datatyper |
|
430 |
Steen Ilum Christensen |
22-06-1990 |
Morten Kyng |
Edb-støttet samarbejde - en empirisk undersøgelse med henblik på analyse og design |
|
429 |
Martin Møller |
21-06-1990 |
Brian Henry Mayoh |
CM algoritmen - udvikling af en 2. ordens indlæringsalgoritme til feed forward neurale netværk |
|
428 |
John Lind |
21-06-1990 |
Peter Landrock |
Titel ukendt |
427 |
Bjarne Madsen |
21-06-1990 |
Peter Landrock |
Titel ukendt |
426 |
Johanne Lund |
21-06-1990 |
Carl Sturtivant |
Kompleksitet af matrixmultiplikation |
|
425 |
Anette Lind Astrup |
20-06-1990 |
Jørgen Lindskov Knudsen |
Draupner - a Way of Programming |
|
424 |
Carsten Hjorthmose Christensen |
20-06-1990 |
Morten Kyng |
Tilpasning - ændring af åbne edb-systemer i brugssituationen - mere end et supplement til videre udvikling |
|
423 |
Michael Snebang |
20-06-1990 |
Morten Kyng |
Tilpasning - ændring af åbne edb-systemer i brugssituationen - mere end et supplement til videre udvikling |
|
422 |
Bjarke Skovgaard Jensen |
20-06-1990 |
Brian Henry Mayoh |
Telefonisk dialog med database - design og udvikling af prototype |
|
421 |
Anne Kirketerp |
19-06-1990 |
Morten Kyng |
Ledelse af systemudviklingsprojekter - en empirisk undersøgelse af ti projekter |
|
420 |
Peter Lundin Jørgensen |
19-06-1990 |
Brian Henry Mayoh |
En undersøgelse af Analogi-processen - og et ordsprogsystem |
|
419 |
Flemming Hjort |
19-06-1990 |
Brian Henry Mayoh |
Titel ukendt |
418 |
John Lindgreen |
18-06-1990 |
Morten Kyng |
Tilpasning - ændring af åbne edb-systemer i brugssituationen - mere end et supplement til videre udvikling |
|
417 |
Erik Svendsen |
18-06-1990 |
Peter Møller-Nielsen |
VICTOR - Teoretiske og eksperimentelle undersøgelser af algoritmer til understøttelse af RSA-kryptosystemer med henblik på VLSI design |
|
416 |
Holger Orup |
18-06-1990 |
Peter Møller-Nielsen |
VICTOR - Teoretiske og eksperimentelle undersøgelser af algoritmer til understøttelse af RSA-kryptosystemer med henblik på VLSI design |
|
415 |
Gitte Grønkjær Jensen |
18-06-1990 |
Brian Henry Mayoh |
En turist-guide lavet som et beslutningsstøttet system |
|
414 |
Peter Bro Miltersen |
15-06-1990 |
Joan Boyar |
Titel ukendt |
413 |
Jens Nielsen |
15-06-1990 |
Peter Mosses |
SADL - Et sprog til beskrivelse og simulering af systoliske algoritmer |
|
412 |
Urban Engberg |
15-06-1990 |
Mogens Nielsen |
A Simulator Study of Graph Reduction in Distributed Systems |
|
411 |
Torsten Jordt |
15-06-1990 |
Ole Caprani |
Undersøgelser af en simpel grafisk beregning på en vektorprocessor og et transputernet |
|
410 |
Gregers Jul Nielsen |
14-06-1990 |
Peter Landrock |
Titel ukendt |
409 |
Ole Vebert Olesen |
14-06-1990 |
Ole Caprani |
En systematisk implementation af en distribueret G-maskine |
|
408 |
Poul Lassen |
14-06-1990 |
Peter Mosses |
Titel ukendt |
407 |
Poul Svendsen |
13-06-1990 |
Ole Caprani |
En systematisk implementation af en distribueret G-maskine |
|
406 |
Britta Shaw Bjerregaard |
13-06-1990 |
Ole Lehrmann Madsen |
The development of a graphical object-oriented prototyping system - GrOOPS |
|
405 |
Anette Hviid |
13-06-1990 |
Ole Lehrmann Madsen |
The development of a graphical object-oriented prototyping system - GrOOPS |
|
404 |
Knud Vibholm Petersen |
13-06-1990 |
Liam Bannon |
Titel ukendt |
403 |
Heine Christensen |
22-02-1990 |
Mogens Nielsen |
Automatic Programming in the Small |
|
402 |
Rune Dissing |
22-01-1990 |
Susanne Bødker |
Værktøjer til indfangning af designrationalet |
|
401 |
Henrik Reif Andersen |
22-01-1990 |
Mogens Nielsen |
Titel ukendt |
400 |
Ole Agesen |
22-01-1990 |
Ole Lehrmann Madsen |
Titel ukendt |
399 |
Christian Dalsgård |
22-01-1990 |
Brian Henry Mayoh |
Titel ukendt |
398 |
Christian M. Madsen |
22-01-1990 |
Ole Lehrmann Madsen |
Titel ukendt |
397 |
Bent Dalager |
22-01-1990 |
Susanne Bødker |
Værktøjer til indfangning af designrationalet |
|
396 |
Svend Frølund |
22-01-1990 |
Ole Lehrmann Madsen |
Titel ukendt |
395 |
Søren Christensen |
22-01-1990 |
Mogens Nielsen |
A Model for Concurrent Systems |
|
394 |
Erik Andreasen |
22-01-1990 |
Peter Møller-Nielsen |
VICTOR - Teoretiske og eksperimentelle undersøgelser af algoritmer til understøttelse af RSA-kryptosystemer med henblik på VLSI design |
|
393 |
Preben Rosendal Valeur |
22-01-1990 |
Susanne Bødker |
Værktøjer til indfangning af designrationalet |
|
392 |
Margit Holk Lauridsen |
22-01-1990 |
Susanne Bødker |
Designprocessen som et sprogspil - belyst gennem et empirisk studie af 3 designprojekter |
|
391 |
Eiler Møller |
22-01-1990 |
Liam Bannon |
Titel ukendt |
390 |
Jens O. Rosendahl |
22-01-1990 |
Susanne Bødker |
Mellem hårde og bløde praktikertraditioner - En Undersøgelse af datalogers praksis og uddannelse |
|
389 |
Robert Klujeff |
22-01-1990 |
Liam Bannon |
The Role of Users in Systems Development |
|
388 |
Per Thuesen |
22-01-1990 |
Jørgen Lindskov Knudsen |
Draupner - a Way of Programming |
|
387 |
Helle Berit Nielsen |
22-01-1990 |
Susanne Bødker |
Designprocessen som et sprogspil - belyst gennem et empirisk studie af 3 designprojekter |
|
386 |
Gregor Stenderup |
13-11-1989 |
Peter Mosses |
EDB støtte til arbejde med Feynman-diagrammer indenfor højenergifysik |
|
385 |
Jørgen Albretsen |
05-11-1989 |
Ole Østerby |
En datalogisk analyse af Keplers Hypothesis Vicaria |
|
384 |
Jan Møller Jensen |
26-06-1989 |
Jørgen Staunstrup |
En problemhob og en vurdering af tre udvalgte silicium oversættere ud fra en realisering af problemhoben |
|
383 |
Michael Hoffmann Olsen |
26-06-1989 |
Ole Lehrmann Madsen |
Titel ukendt |
382 |
Gorm Hansen |
26-06-1989 |
Brian Henry Mayoh |
En sammenligning af tre indlæringsalgoritmer |
|
381 |
Lars Peter Andersen |
26-06-1989 |
Peter Landrock |
Experimenter omkring Exponentierings-Algoritmer |
|
380 |
Mads Gregers Nørby |
23-06-1989 |
Susanne Bødker |
Titel ukendt |
379 |
Margrethe Mosbæk Christensen |
23-06-1989 |
Peter Landrock |
Titel ukendt |
378 |
Birthe Hestbæk |
23-06-1989 |
Ole Lehrmann Madsen |
Trud - design af et grammatikstyret dokumentbehandlingssystem |
|
377 |
Karsten Egetoft Pedersen |
23-06-1989 |
Jørgen Staunstrup |
Titel ukendt |
376 |
Jørgen Hougaard |
22-06-1989 |
Erik Meineche Schmidt |
Fremdriftsmekanismer i strømningsalgoritmer |
|
375 |
Mike Børling |
22-06-1989 |
Susanne Bødker |
Mellem hårde og bløde praktikertraditioner - En Undersøgelse af datalogers praksis og uddannelse |
|
374 |
Jens Damsgaard |
21-06-1989 |
Susanne Bødker |
Mellem hårde og bløde praktikertraditioner - En Undersøgelse af datalogers praksis og uddannelse |
|
373 |
Eld Zierau |
21-06-1989 |
Joan Greenbaum |
An Empirical Study of User Involvement in Systems Development Work Organization - Analysis and Evaluation of an ICON Case Study |
|
372 |
Long Quan Ha |
21-06-1989 |
Sven Skyum |
Problemer i ikke uniform kompleksitetsteori |
|
371 |
Steen Kaalund Retbøll |
20-06-1989 |
Carl Sturtivant |
Kompakt realisering af thresholdfunktioner |
|
370 |
Paul Sørensen |
20-06-1989 |
Carl Sturtivant |
Kompakt realisering af thresholdfunktioner |
|
369 |
Michael Hansen |
20-06-1989 |
Erik Meineche Schmidt |
Fremdriftsmekanismer i strømningsalgoritmer |
|
368 |
Annette Ljungberg |
20-06-1989 |
Peter Landrock |
Titel ukendt |
367 |
Henrik Tolbøl |
20-06-1989 |
Ole Caprani |
Anvendelse og Evaluering af Transputernet |
|
366 |
Sven Aage Birch |
20-06-1989 |
Carl Sturtivant |
Kompakt realisering af thresholdfunktioner |
|
365 |
Peter Byg Hansen |
19-06-1989 |
Ole Lehrmann Madsen |
Trud - design af et grammatikstyret dokumentbehandlingssystem |
|
364 |
Jogvan Martin Gråstein |
19-06-1989 |
Jørgen Staunstrup |
Titel ukendt |
363 |
Michael Madsen |
19-06-1989 |
Jørgen Lindskov Knudsen |
Parsing attribute grammars |
|
362 |
Susanne Brogaard Bondesen |
19-06-1989 |
Mogens Nielsen |
Titel ukendt |
361 |
Preben Mogensen |
16-06-1989 |
Susanne Bødker |
Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling |
|
360 |
Ole Bisgaard |
16-06-1989 |
Susanne Bødker |
Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling |
|
359 |
Dorte Gade |
16-06-1989 |
Morten Kyng |
Eksperimenter med prototyper - karakteristik og forslag til planlægning baseret på en interviewundersøgelse af fire systemudviklingsprojekter |
|
358 |
René Elmstrøm |
27-01-1989 |
Peter Møller-Nielsen |
Systoliske algoritmer realiseret asynkront |
|
357 |
Claus Riber Christensen |
27-01-1989 |
Peter Møller-Nielsen |
Opbygning af hændelsesstyrende kredsløb i VLSI |
|
356 |
Erik Toubro Nielsen |
27-01-1989 |
Peter Møller-Nielsen |
Opbygning af hændelsesstyrende kredsløb i VLSI |
|
355 |
Jette Frich Hansen |
27-01-1989 |
Peter Møller-Nielsen |
Systoliske algoritmer realiseret asynkront |
|
354 |
Lars Møller Jørgensen |
27-01-1989 |
Peter Møller-Nielsen |
Systoliske algoritmer realiseret asynkront |
|
353 |
Finn Almind Brodersen |
27-01-1989 |
Mogens Nielsen |
An Experimental Study of Parallel Graph Reduction Machines |
|
352 |
Jan Hauerslev |
27-01-1989 |
Jørgen Lindskov Knudsen, PE |
SOKRATES - Sprogspil og Kvalifikationer - en Rapport om Arbejdet med en Teori for Erkendelsesprocesserne i Systemudvikling |
|
351 |
Martin Larsen |
27-01-1989 |
Ole Lehrmann Madsen |
Transformationssystemer - en foranalyse med henblik på design af et system i Mjølner |
|
350 |
Niels Jacobsen |
27-01-1989 |
Jørgen Lindskov Knudsen, PE |
SOKRATES - Sprogspil og Kvalifikationer - en Rapport om Arbejdet med en Teori for Erkendelsesprocesserne i Systemudvikling |
|
349 |
Klaus Vilstrup Pedersen |
27-01-1989 |
Brian Henry Mayoh |
Titel ukendt |
348 |
Tommy Nielsen |
27-01-1989 |
Morten Kyng |
EDB-støtte til lægepraksis - et eksperiment med udvikling af en brugsmodel og en prototype |
|
347 |
Torben Bajlum |
27-01-1989 |
Morten Kyng |
EDB-støtte til lægepraksis - et eksperiment med udvikling af en brugsmodel og en prototype |
|
346 |
Erik Bjerre |
27-01-1989 |
Morten Kyng |
Udvikling og brug af fælles materialer - et aspekt af bruger/udvikler samarbejde i design |
|
345 |
Niels Reimer |
09-01-1989 |
Brian Henry Mayoh |
Titel ukendt |
344 |
Keld Pedersen |
02-11-1988 |
Mogens Nielsen |
Titel ukendt |
343 |
Marc Eyvind Eld |
15-10-1988 |
Ole Lehrmann Madsen |
Programbiblioteker og genanvendelse |
|
342 |
Olaf Nielsen |
15-10-1988 |
Jørgen Brandt |
Titel ukendt |
341 |
Regine Hansen |
14-09-1988 |
Joan Greenbaum |
Titel ukendt |
340 |
Lisbeth Faber Rasmussen |
14-09-1988 |
Joan Greenbaum |
Den sociale dimension i systemudvikling - et casestudie om grupper og kultur i en udviklingsorganisation |
|
339 |
Jakob Holm |
12-09-1988 |
Mogens Nielsen |
An Experimental Study of Parallel Graph Reduction Machines |
|
338 |
Jørgen Nørgård Petersen |
22-08-1988 |
Peter Mosses |
Titel ukendt |
337 |
Jakob Laursen |
22-08-1988 |
Erik Meineche Schmidt |
En relationel kalkule for design og udvikling af korrekte non-deterministiske programmer |
|
336 |
Kim Skak Larsen |
17-08-1988 |
Mogens Nielsen |
A Fully Abstract Model for a Process Algebra with Refinement |
|
335 |
Kell Ørhøj |
05-08-1988 |
Erik Meineche Schmidt |
Programmeringsmetoder i geometriske beregninger |
|
334 |
Søren Top |
20-07-1988 |
Mogens Nielsen |
TPLASK - Et analyse og systemudviklingsredskab for automatisk programmering af temporallogiske specifikationer over parallelle processers kommunikation? |
|
333 |
Jan Nyholm Albertsen |
18-07-1988 |
Brian Henry Mayoh |
Videntilegnelse i teori & praksis |
|
332 |
Henrik Schou |
18-07-1988 |
Brian Henry Mayoh |
Titel ukendt |
331 |
Jens Palsberg Jørgensen |
20-06-1988 |
Peter Mosses |
An Action Semantics for Inheritance |
|
330 |
Ole Kristensen |
20-06-1988 |
Ole Østerby |
Differensmetoder til løsning af en diffusion-transport ligning |
|
329 |
Ole Bach Andersen |
20-06-1988 |
Morten Kyng |
Udvikling og brug af fælles materialer - et aspekt af bruger/udvikler samarbejde i design |
|
328 |
Bent Dyrmose Christensen |
20-06-1988 |
Morten Kyng |
Eksperimenter med prototyper - karakteristik og forslag til planlægning baseret på en interviewundersøgelse af fire systemudviklingsprojekter |
|
327 |
Lars Bak Petersen |
20-06-1988 |
Ole Lehrmann Madsen |
The Beta Shadow Language - a basis for high level debugging |
|
326 |
Claus Henrik Pedersen |
20-06-1988 |
Ole Lehrmann Madsen |
Titel ukendt |
325 |
Holger Jepsen |
20-06-1988 |
Morten Kyng |
Eksperimenter med prototyper - karakteristik og forslag til planlægning baseret på en interviewundersøgelse af fire systemudviklingsprojekter |
|
324 |
Kurt Byskov |
20-06-1988 |
Peter Mosses |
Titel ukendt |
323 |
Lars Zimmermann |
20-06-1988 |
Jørgen Staunstrup |
Titel ukendt |
322 |
Tage Stephansen |
20-06-1988 |
Joan Greenbaum |
Den sociale dimension i systemudvikling - et casestudie om grupper og kultur i en udviklingsorganisation |
|
321 |
Søren Christensen |
20-06-1988 |
Lars Mathiassen |
A Model for Concurrent Systems |
|
320 |
Nielsen Knud Nyholm |
20-06-1988 |
Brian Henry Mayoh |
Titel ukendt |
319 |
Tove Skouenborg Rolskov |
20-06-1988 |
Lars Mathiassen |
Work practice in projects using 4th Generation Systems |
|
318 |
Anne Marie Skelde-Petersen |
08-06-1988 |
Kurt Jensen |
Titel ukendt |
317 |
Joan Jensen |
08-06-1988 |
Kurt Jensen |
En anvendelse af Petri net Beskrivelse af et kontorsystem ved hjælp af RFA-net |
|
316 |
Lars Kjærulff Christensen |
08-06-1988 |
Kurt Jensen |
Numeriske Petri Net og PROTEAN |
|
315 |
Thomas Groth |
08-06-1988 |
Kurt Jensen |
Numeriske Petri Net og PROTEAN |
|
314 |
Henrik Juul Geer Rasmussen |
08-06-1988 |
Kurt Jensen |
Titel ukendt |
313 |
Bente Rose Andersen |
08-06-1988 |
Kurt Jensen |
En anvendelse af Petri net Beskrivelse af et kontorsystem ved hjælp af RFA-net |
|
312 |
Jens Himmelstrup |
06-06-1988 |
Erik Meineche Schmidt |
Fremdriftsegenskaber og inkrementelle beviser |
|
311 |
Claus Bendiksen Jensen |
26-05-1988 |
Ole Østerby |
Titel ukendt |
310 |
Jan Hosbond |
20-05-1988 |
Sven Skyum |
Dynamisk håndtering af rektangler |
|
309 |
Torben Krøjmand |
20-05-1988 |
Sven Skyum |
Design af et fordelt lager |
|
308 |
Kurt Sørensen |
20-05-1988 |
Sven Skyum |
Design af et fordelt lager |
|
307 |
Jan Mark |
19-05-1988 |
Morten Kyng |
Udvikling og brug af fælles materialer - et aspekt af bruger/udvikler samarbejde i design |
|
306 |
Lars Karlsen |
24-03-1988 |
Brian Henry Mayoh |
Repræsentation af begrænsninger (constraints) i data modeller |
|
305 |
Torben Pryds Pedersen |
20-03-1988 |
Peter Landrock |
Titel ukendt |
304 |
Tom Hesselvig Hagelskjær |
29-02-1988 |
Mogens Nielsen |
Petri Nets - A Bridge from Behaviour to Structure. |
|
303 |
Peter Juhl |
25-01-1988 |
Ole Lehrmann Madsen |
Version and Variant Control - a Structural Approach |
|
302 |
Søren Laursen |
22-01-1988 |
Jørgen Staunstrup |
Titel ukendt |
301 |
Jacob Kornerup |
22-01-1988 |
Jørgen Staunstrup |
pi - et simpelt parallelt programmeringssprog til processtyring |
|
300 |
Jens Benned Hansen |
22-01-1988 |
Jørgen Staunstrup |
pi - et simpelt parallelt programmeringssprog til processtyring |
|
299 |
Kaj Grønbæk |
20-01-1988 |
Lars Mathiassen |
Work practice in projects using 4th Generation Systems |
Abstract |
298 |
Jacob-Bernhardt Brock |
20-01-1988 |
Jørgen Staunstrup |
Titel ukendt |
297 |
Per Fack Sørensen |
17-12-1987 |
Ole Lehrmann Madsen |
The Beta Shadow Language - a basis for high level debugging |
|
296 |
Helge Winkler Hess |
17-12-1987 |
Brian Henry Mayoh |
Titel ukendt |
295 |
John Poulsen |
17-12-1987 |
Brian Henry Mayoh |
Titel ukendt |
294 |
Peter Bertelsen |
16-10-1987 |
Peter Landrock |
PC - RSA, RSA - kryptografering i software |
|
293 |
Tommy Baumwall |
16-10-1987 |
Peter Landrock |
PC - RSA, RSA - kryptografering i software |
|
292 |
Kenni Hørmann |
11-09-1987 |
Jørgen Lindskov Knudsen |
MCI - et paradigme til strukturering af rastergrafiske applikationer |
|
291 |
Jan Anderson |
11-09-1987 |
Jørgen Lindskov Knudsen |
MCI - et paradigme til strukturering af rastergrafiske applikationer |
|
290 |
Leif Winkler Sørensen |
01-09-1987 |
Gudmund Frandsen |
Titel ukendt |
289 |
Carsten Lomborg Andersen |
01-09-1987 |
Gudmund Frandsen |
Titel ukendt |
288 |
Kaj Gross |
01-09-1987 |
Gudmund Frandsen |
Titel ukendt |
287 |
Anders Bandholm |
31-08-1987 |
Jørgen Lindskov Knudsen |
PIA - Paradigme til strukturering af interaktionssystemer |
|
286 |
Henrik Munk Ebbesen |
31-08-1987 |
Jørgen Lindskov Knudsen |
PIA - Paradigme til strukturering af interaktionssystemer |
|
285 |
Michael Edelgaard Caspersen |
14-08-1987 |
Erik Meineche Schmidt |
Fordelte beregninger: Model og metode |
|
284 |
Henrik Bøje |
14-08-1987 |
Erik Meineche Schmidt |
Fordelte beregninger: Model og metode |
|
283 |
Claus Bøgestrand |
18-06-1987 |
Carl Sturtivant |
Titel ukendt |
282 |
Carsten Lund |
18-06-1987 |
Carl Sturtivant |
Titel ukendt |
281 |
Anders Gammelgaard |
18-05-1987 |
Erik Meineche Schmidt |
Implementationsrelationer mellem parallelle algoritmer |
|
280 |
Anette Jonassen |
01-04-1987 |
Peter Landrock |
Titel ukendt |
279 |
Per Bøgeskov Thomsen |
01-04-1987 |
Gudmund Frandsen |
PRAKT - et ekspertsystem |
|
278 |
Lars Johansen |
01-04-1987 |
Gudmund Frandsen |
PRAKT - et ekspertsystem |
|
277 |
Vagn Tøttrup Jensen |
09-03-1987 |
Brian Henry Mayoh |
Titel ukendt |
276 |
Hanne Søndergaard |
06-03-1987 |
Brian Henry Mayoh |
Titel ukendt |
275 |
Steen Søndergaard |
06-03-1987 |
Brian Henry Mayoh |
Titel ukendt |
274 |
Birgit Laustsen |
06-02-1987 |
Ole Lehrmann Madsen |
Titel ukendt |
273 |
Henny Ulsøe Lauritsen |
06-02-1987 |
Ole Lehrmann Madsen |
Overvejelser om programmeringssprog med henblik på undervisning |
|
272 |
Ole Lebech Sørensen |
01-01-1987 |
Morten Kyng |
Retningslinier for valg af faglige strategier på kontorområdet - et casestudie over Aarhus tekniske Skoles kon torautomatiseringsprojekt |
|
271 |
Karl Erik Johansen |
01-01-1987 |
Sven Skyum |
Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ |
|
270 |
Niels Bollesen |
01-01-1987 |
Morten Kyng |
Retningslinier for valg af faglige strategier på kontorområdet - et casestudie over Aarhus tekniske Skoles kon torautomatiseringsprojekt |
|
269 |
Ole Vedel Villumsen |
19-12-1986 |
Morten Kyng |
Titel ukendt |
268 |
Finn Barrett |
19-12-1986 |
Jørgen Staunstrup |
Problemhobe & VLSI - En indfaldsvinkel til VLSI-design, eksemplificeret ved implementation af en problemhob ell er - de tusinde processers land |
|
267 |
Mogens Jerløw |
19-12-1986 |
Morten Kyng |
Titel ukendt |
266 |
Peter Hilligsøe Kristiansen |
19-11-1986 |
Peter Kornerup |
Netfilsystemer |
|
265 |
Arne Møller Jensen |
15-10-1986 |
Morten Kyng |
Titel ukendt |
264 |
Vibeke Boye |
15-10-1986 |
Morten Kyng |
Titel ukendt |
263 |
Søren Hvidbjerg |
10-09-1986 |
Ole Lehrmann Madsen |
Graphical Programming Environments - Applied to Beta |
|
262 |
Stig Bertelsen |
10-09-1986 |
Ole Lehrmann Madsen |
Titel ukendt |
261 |
Kurt Fleckner |
01-08-1986 |
Mogens Nielsen |
Titel ukendt |
260 |
Eigil Mahs |
01-08-1986 |
Mogens Nielsen |
Titel ukendt |
259 |
Søren Weibel Mortensen |
30-07-1986 |
Mogens Nielsen |
Ekspertsystemer i Landbrugssektoren |
258 |
Jan Rubæk Pedersen |
30-07-1986 |
Mogens Nielsen |
Titel ukendt |
257 |
Bente Hedegaard Kristensen |
30-07-1986 |
Morten Kyng |
Retningslinier for valg af faglige strategier på kontorområdet - et casestudie over Aarhus tekniske Skoles kon torautomatiseringsprojekt |
|
256 |
Jens Stausgaard |
30-07-1986 |
Mogens Nielsen |
Ekspertsystemer i Landbrugssektoren |
255 |
Ib-Michael Martinsen |
30-07-1986 |
Mogens Nielsen |
Ekspertsystemer i Landbrugssektoren |
254 |
Lars Bendix |
21-07-1986 |
Ole Lehrmann Madsen |
Titel ukendt |
253 |
Kasper Østerbye |
21-07-1986 |
Ole Lehrmann Madsen |
Titel ukendt |
252 |
Preben Fisker Jensen |
21-07-1986 |
Erik Meineche Schmidt |
Fordelte fixpunkt beregninger |
|
251 |
Nils Klarlund |
15-07-1986 |
Erik Meineche Schmidt |
Titel ukendt |
250 |
Svend Hauge Nielsen |
01-07-1986 |
Sven Skyum |
Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ |
|
249 |
Uffe Henrik Engberg |
01-07-1986 |
Mogens Nielsen |
A Calculus of Communicating Systems with Label Passing |
Abstract |
248 |
Christian Holst Jensen |
01-06-1986 |
Erik Meineche Schmidt |
Bevisteknikker for distribuerede processer |
|
247 |
Niels Helbo |
01-06-1986 |
Erik Meineche Schmidt |
Bevisteknikker for distribuerede processer |
|
246 |
Peder Falk Thøstensen |
01-04-1986 |
Ole Lehrmann Madsen |
Titel ukendt |
245 |
Karl Bruno Munkholm |
01-04-1986 |
Lars Mathiassen |
Reflektion over det transaktionsmæssige perspektiv som grundlag for analyse og design på baggrund af et praktisk eksperiment indenfor kontorområdet - Eller: Ud at se med TC |
|
244 |
Jan Otto Munch Pedersen |
01-04-1986 |
Ole Lehrmann Madsen |
BETARUN - En BETA-maskine implementeret i mikrokode på PERQ-datamaten |
|
243 |
John Schmidt |
01-04-1986 |
Ole Lehrmann Madsen |
En grammatikbaseret definition af objektorienterede metaprogrammeringssystemer |
|
242 |
Kim Steffensen |
01-04-1986 |
Lars Mathiassen |
Reflektion over det transaktionsmæssige perspektiv som grundlag for analyse og design på baggrund af et praktisk eksperiment indenfor kontorområdet - Eller: Ud at se med TC |
|
241 |
Ulla Lundin Jørgensen |
21-03-1986 |
Sven Skyum |
Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ |
|
240 |
Søren Erik Nielsen |
21-03-1986 |
Sven Skyum |
Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ |
|
239 |
Peter Axel Nielsen |
01-03-1986 |
Lars Mathiassen |
Dagbogsskrivning til styring i systemudvikling |
|
238 |
Leif Obel Jepsen |
01-03-1986 |
Lars Mathiassen |
Dagbogsskrivning til styring i systemudvikling |
|
237 |
Bjarne Poulsen |
10-01-1986 |
Mogens Nielsen |
Titel ukendt |
236 |
Peter Huber |
30-11-1985 |
Lars Mathiassen |
Analyse og design på kontorområdet - belyst gennem et eksperiment med tre forskellige metoder |
|
235 |
Susanne Bengtson |
30-11-1985 |
Lars Mathiassen |
Analyse og design på kontorområdet - belyst gennem et eksperiment med tre forskellige metoder |
|
234 |
Ole Jensen |
30-11-1985 |
Lars Mathiassen |
Analyse og design på kontorområdet - belyst gennem et eksperiment med tre forskellige metoder |
|
233 |
Per Hyttel Larsen |
19-11-1985 |
Peter Kornerup |
Sameksistens af ARPA og ISO internet - en analyse |
|
232 |
Merete Bartholdy |
20-09-1985 |
Morten Kyng |
Elektronisk Bogfremstilling - En skitse til analyse og design af et bogfremstillingssystem med fokus på brugernes kvalifikationer og produktkvalitet |
|
231 |
Povl-Henrik Lindhard |
29-08-1985 |
Brian Henry Mayoh |
Om kunstig intelligens |
|
230 |
Peter Buus |
16-08-1985 |
P.S. Thiagarajan |
On the application of Logic of Knowledge to distributed systems: A Petri net view. |
|
229 |
Birger Nielsen |
16-08-1985 |
P.S. Thiagarajan |
On the application of Logic of Knowledge to distributed systems: A Petri net view. |
|
228 |
Per Rye Filskov |
03-07-1985 |
Mogens Nielsen |
Titel ukendt |
227 |
Carsten Bundgaard |
03-07-1985 |
Mogens Nielsen |
Titel ukendt |
226 |
Inger Bohlbro |
01-07-1985 |
Peter Mosses |
Programtransformationer og abstrakte semantiske algebraer |
|
225 |
Jan Holdam |
25-06-1985 |
Peter Mosses |
Gipsy- Et system til syntaksdirigeret interaktiv dokumentbehandling |
|
224 |
Claus Nørgård |
25-06-1985 |
Peter Mosses |
Titel ukendt |
223 |
Pål Sørgaard |
17-05-1985 |
Lars Mathiassen |
Perspective and Description - An Investigation of Two Central Concepts Related to Systems Development Considered as a Knowledge Producing Process |
|
222 |
Gitte Møldrup Nielsen |
17-05-1985 |
Lars Mathiassen |
Retningslinier for udformning af edb-baserede systemer - En opgaveorienteret spørgeramme, udviklet på baggrund af en teori om organisationer |
|
221 |
Jakob Westermann Krog |
14-05-1985 |
Mogens Nielsen |
An Experimental Study Of Parallel Execution Of Logic Programs |
Abstract |
220 |
Claus Rønø Pedersen |
15-04-1985 |
Jørgen Staunstrup |
Analyse af en Parallel Sorteringsalgoritme |
|
219 |
Jørgen Katborg Andersen |
15-04-1985 |
Jørgen Staunstrup |
Analyse af en Parallel Sorteringsalgoritme |
|
218 |
Jørn Vesterdal |
15-04-1985 |
Jørgen Staunstrup |
Analyse af en Parallel Sorteringsalgoritme |
|
217 |
Mogens Hagne |
02-04-1985 |
Brian Henry Mayoh |
Titel ukendt |
216 |
Per Bech Hansen |
15-03-1985 |
Andreas Munk-Madsen |
Estimering af systemudviklingsprojekter - Praksis - Teori - Eksperimenter |
215 |
Palle John Jensen |
15-03-1985 |
Andreas Munk-Madsen |
Estimering af systemudviklingsprojekter - Praksis - Teori - Eksperimenter |
|
214 |
Bjarne Grevsen Thams |
15-02-1985 |
Mogens Nielsen |
Titel ukendt |
213 |
Jens Ole Graulund |
15-02-1985 |
Ole Caprani |
Titel ukendt |
212 |
Erik Frederiksen |
15-02-1985 |
Ole Caprani |
Titel ukendt |
211 |
Finn Terpling |
01-02-1985 |
Mogens Nielsen |
Titel ukendt |
210 |
Lars Gregers Gregersen |
01-02-1985 |
Peter Kornerup |
DAIMI-net |
|
209 |
Morten Bang |
30-01-1985 |
Kurt Jensen |
A Conceptual Framework for Prototyping |
|
208 |
Kaj Fick |
30-01-1985 |
Kurt Jensen |
A Conceptual Framework for Prototyping |
|
207 |
Niels Rose Hansen |
20-12-1984 |
Peter Kornerup |
DAIMI-net |
|
206 |
Hans Jørgen Jacobsen |
20-12-1984 |
Peter Kornerup |
En analyse af en arkitektur for Ada |
|
205 |
Bjarne Munk |
31-10-1984 |
Finn Kensing |
Regulering i systemudvikling - Århus Oliefabrik som eksempel |
|
204 |
Karsten Hansen |
31-10-1984 |
Finn Kensing |
Regulering i systemudvikling - Århus Oliefabrik som eksempel |
|
203 |
Preben Hirstmann |
31-08-1984 |
Finn Kensing |
Titel ukendt |
202 |
Svend Elmo Steensen |
25-08-1984 |
Lars Mathiassen |
Titel ukendt |
201 |
Erik Bobach |
06-07-1984 |
Brian Henry Mayoh |
Titel ukendt |
200 |
Carsten Johansen |
06-07-1984 |
Brian Henry Mayoh |
Relational overbygning til et netværksdatabasesystem |
|
199 |
Michael Ignatieff Schwartzbach |
12-06-1984 |
Erik Meineche Schmidt |
The Design of a Programming Language |
|
198 |
Sven Vedel |
11-05-1984 |
Lars Mathiassen |
edb-projektplanlægning set i forhold til ændringer i krav til forestillinger om produktet |
|
197 |
Christian Glassau Hansen |
24-04-1984 |
Ole Caprani |
Titel ukendt |
196 |
Jonna Rønlev Nielsen |
18-03-1984 |
Sven Skyum |
GRAPA en grafisk pakke - VISPA et interaktivt grafisk system til højniveau overvågning af en programudførelse |
|
195 |
Jørgen Raun Petersen |
18-03-1984 |
Sven Skyum |
GRAPA en grafisk pakke - VISPA et interaktivt grafisk system til højniveau overvågning af en programudførelse |
|
194 |
Ruth Dalsgaard Nielsen |
20-01-1984 |
Morten Kyng |
Titel ukendt |
193 |
Lene Risør |
20-01-1984 |
Morten Kyng |
Om Epsilon og net |
|
192 |
Ole Eriksen |
10-01-1984 |
Jørgen Staunstrup |
Algoritmer i netværk |
|
191 |
Lena Henriksen |
22-12-1983 |
Finn Kensing |
Konstruktion og CAD-systemer |
|
190 |
Jan Skytte |
12-12-1983 |
Peter Møller-Nielsen |
Titel ukendt |
189 |
Per Andersen |
12-12-1983 |
Peter Møller-Nielsen |
Sceneanalyse ved Krystaldyrkning |
|
188 |
Elmer Sandvad |
09-11-1983 |
Ole Lehrmann Madsen |
EKKO - An Integrated Program Development System |
|
187 |
Kurt Nørmark |
09-11-1983 |
Ole Lehrmann Madsen |
EKKO - An Integrated Program Development System |
|
186 |
Karen Borup |
09-11-1983 |
Ole Lehrmann Madsen |
EKKO - An Integrated Program Development System |
|
185 |
Lars Dahl |
31-10-1983 |
Mogens Nielsen |
Dokumentation af multiprogrammer |
|
184 |
Jakob Nielsen |
22-08-1983 |
Brian Henry Mayoh |
Software ergonomi |
|
183 |
Niels Damgaard Hansen |
12-08-1983 |
Kurt Jensen |
Titel ukendt |
182 |
Kim Halskov Madsen |
12-08-1983 |
Kurt Jensen |
Titel ukendt |
181 |
Claus Aagaard Sørensen |
29-07-1983 |
Ole Lehrmann Madsen |
Sammenkobling af datakommunikationsnetværk - begrebsdannelser og implementationsovervejelser |
|
180 |
Søren Kaas Birn |
29-07-1983 |
Ole Lehrmann Madsen |
Sammenkobling af datakommunikationsnetværk - begrebsdannelser og implementationsovervejelser |
|
179 |
Gitte Kjær Nielsen |
22-07-1983 |
Ole Lehrmann Madsen |
Overvågning af samtidige programmer |
|
178 |
Dorte Tranberg Jensen |
22-07-1983 |
Ole Lehrmann Madsen |
Titel ukendt |
177 |
Lars Berner |
01-07-1983 |
Lars Mathiassen |
Opfyldelse af brugernes krav og ønsker til et EDB-baseret systems egenskaber gennem valg af systemudviklingsstrategi |
|
176 |
Thorkil Laursen |
01-07-1983 |
Lars Mathiassen |
Systemudvikling i teori og praksis |
|
175 |
Tove Morell |
31-05-1983 |
Lars Mathiassen |
Problemer og muligheder i samarbejdet mellem bruger og edb-specialist i de tidlige aktiviteter i et systemudviklingsprojekt |
|
174 |
Ole Vestergaard Johansen |
24-05-1983 |
Jørgen Staunstrup |
Titel ukendt |
173 |
Jens Ove Jespersen |
24-05-1983 |
Jørgen Staunstrup |
Titel ukendt |
172 |
Ellen Christiansen |
10-04-1983 |
Lars Mathiassen |
EDB inden for skovbruget |
|
171 |
Preben Etzerodt |
10-04-1983 |
Lars Mathiassen |
EDB inden for skovbruget |
|
170 |
Jan Sørensen |
24-03-1983 |
Lars Mathiassen |
Konstruktion af en systemudviklingsmetode til brug ved udvikling af mindre systemer samt en anvendelse af denne på et konkret projekt |
|
169 |
Torben Hagerup |
21-03-1983 |
Ole Østerby |
Calculation of elementary mathematical functions to an arbitrary precision |
|
168 |
Kirsten Hjerrild Nielsen |
22-02-1983 |
Ole Lehrmann Madsen |
Et objektorienteret syn på databaser |
|
167 |
Kristine Stougård Thomsen |
22-02-1983 |
Ole Lehrmann Madsen |
Titel ukendt |
166 |
Christian Paulsen |
01-02-1983 |
Neil Jones |
A Parallel Implementation of a Functional Language |
|
165 |
Gudmund Skovbjerg Frandsen |
01-02-1983 |
Mogens Nielsen |
En sammenhæng mellem proces og struktur - modal logik - netteori. |
|
164 |
Karsten Djurtoft |
31-01-1983 |
Lars Mathiassen |
Analyse af Socio-Teknisk Metode |
|
163 |
Axel Andersen |
17-01-1983 |
Peter Møller-Nielsen |
Titel ukendt |
162 |
Jørgen Thomsen |
17-01-1983 |
Peter Møller-Nielsen |
En Generel Programmeringsmetode for Skærmbilledorienterede Interaktive Systemer |
|
161 |
Jens Dohn |
01-12-1982 |
Peter Mosses |
Semantik af Abstrakte Datastrukturer |
|
160 |
Herluf Hansen |
30-11-1982 |
Ole Lehrmann Madsen |
Design af et objektorienteret sprog |
|
159 |
Erik Reinholdt |
30-11-1982 |
Ole Lehrmann Madsen |
Design af et objektorienteret sprog |
|
158 |
Torben Hansen |
26-10-1982 |
Jørgen Staunstrup |
Implementation af kommunikationsprimitiver på en multiprocesenhed |
|
157 |
Kell Hauser |
29-09-1982 |
Jørgen Staunstrup |
Titel ukendt |
156 |
Andreas Lorenzen |
03-08-1982 |
Mogens Nielsen |
Synkron/asynkron kommunikation - oversættelse af et actorsprog til CCS |
|
155 |
John Kammersgaard |
16-07-1982 |
Lars Mathiassen |
Et begrebsapparat til karakteristik af programmeringsprocesser |
|
154 |
Troels Møller Jørgensen |
16-07-1982 |
Lars Mathiassen |
Et begrebsapparat til karakteristik af programmeringsprocesser |
|
153 |
Anders Jørgen Andersen |
28-06-1982 |
Ole Lehrmann Madsen |
Titel ukendt |
152 |
Jørgen Lindskov Knudsen |
28-06-1982 |
Ole Lehrmann Madsen |
Aspekter af programmeringssprog: Begreber, modeller og design |
|
151 |
Thorkil Naur |
14-06-1982 |
Ole Østerby |
Integer Factorization |
|
150 |
Kurt Søe |
01-06-1982 |
Jørgen Staunstrup |
Implementation af Concurrent PASCAL på - MULTI MAREN |
|
149 |
Jens Søgaard Andersen |
01-06-1982 |
Jørgen Staunstrup |
Implementation af Concurrent PASCAL på - MULTI MAREN |
|
148 |
Peter Schou |
10-03-1982 |
Peter Møller-Nielsen |
Permanente Kopier af GT40-Billeder |
|
147 |
Susanne Bødker |
01-03-1982 |
Morten Kyng |
Grafisk Systembeskrivelse - Analyse af ISACs V-og I-grafværktøjer på baggrund af et eksempel og en sammenligning med andre grafiske systembeskrivelsesværktøjer |
|
146 |
Jon Hammerskov |
01-03-1982 |
Morten Kyng |
Grafisk Systembeskrivelse - Analyse af ISACs V-og I-grafværktøjer på baggrund af et eksempel og en sammenligning med andre grafiske systembeskrivelsesværktøjer |
|
145 |
Gitte Susanne Frølich |
11-12-1981 |
Morten Kyng |
Titel ukendt |
144 |
Karsten Bank Petersen |
01-12-1981 |
Jørgen Staunstrup, Erik Meineche Schmidt |
Konvolutter - Et Element i Beskrivelser og Verifikation af Programmer med Parallellitet |
|
143 |
Torry Skak Gaarde |
02-11-1981 |
Jørgen Staunstrup |
Dynamisk udskiftelige processer i Concurrent Pascal |
|
142 |
Jens Kristian Kjærgaard |
02-11-1981 |
Jørgen Staunstrup |
Dynamisk udskiftelige processer i Concurrent Pascal |
|
141 |
Jacob Mohr Lolk |
28-08-1981 |
Peter Kornerup |
Højniveau programmeringssprog til mikroprogrammering af MATHILDA |
|
140 |
Eline Arnfred Vedel |
15-08-1981 |
Lars Mathiassen |
Skandinaviske love og aftaler med betydning for systemudvikling |
|
139 |
Sten Fredsbo Andersen |
01-08-1981 |
Erik Meineche Schmidt |
Titel ukendt |
138 |
Birgitte Skouenborg Rolskov |
28-07-1981 |
Lars Mathiassen |
Skandinaviske Love og Aftaler med Betydning for Systemudvikling |
|
137 |
Torben Fogh |
24-07-1981 |
Mogens Nielsen |
En semantik for synkroniserede parallelle processer |
|
136 |
Henning Christiansen |
15-07-1981 |
Neil Jones |
A new approach to Compiler Generation |
|
135 |
Peter Trier |
14-05-1981 |
Peter Møller-Nielsen |
Interaktiv grafik anvendt til databaseforespørgsler |
|
134 |
Frank Bruun Topholm |
14-05-1981 |
Peter Møller-Nielsen |
Titel ukendt |
133 |
Poul Mølgaard |
04-05-1981 |
Peter Møller-Nielsen |
Instruktions indkodning i RC3502 |
|
132 |
Arne Kjær |
06-04-1981 |
Lars Mathiassen |
Analyse af en systemudviklingsmetode med hovedvægt på de foreslåede teknikker |
131 |
Flemming Eriksen |
09-03-1981 |
Brian Henry Mayoh |
Titel ukendt |
130 |
Flemming Wibroe |
09-03-1981 |
Brian Henry Mayoh |
Titel ukendt |
129 |
Leif Fisker Jensen |
01-02-1981 |
Jørgen Staunstrup, Erik Meineche Schmidt |
Konvolutter - Et Element i Beskrivelser og Verifikation af Programmer med Parallellitet |
|
128 |
Flemming Nielson |
10-12-1980 |
Neil Jones |
Semantic Foundations of Data Flow Analysis |
|
127 |
Torben Bech Larsen |
08-10-1980 |
Mogens Nielsen |
Formal Analysis of Distributed Database Algorithms |
|
126 |
Adser Leick |
15-08-1980 |
Nigel Derrett |
Titel ukendt |
125 |
Leo Mark |
15-08-1980 |
Nigel Derrett |
Titel ukendt |
124 |
Bent Hansen Kramer |
29-07-1980 |
Brian Henry Mayoh |
Titel ukendt |
123 |
Peder Christian Nørgaard |
20-06-1980 |
Brian Henry Mayoh |
Titel ukendt |
122 |
Søren Werner |
20-06-1980 |
Brian Henry Mayoh |
En Model af administrative databehandlingssystemer med henblik på udvikling af distribuerede systemer |
|
121 |
Leif Sandegaard Nielsen |
04-06-1980 |
Jørgen Staunstrup |
Specifikation af Processynkronisering |
|
120 |
Ole Dalsgaard Nielsen |
04-06-1980 |
Jørgen Staunstrup |
Specifikation af Processynkronisering |
|
119 |
Karsten Stær |
29-05-1980 |
Peter Mosses |
Semantic descriptions and modularity |
|
118 |
Mette Dupont |
29-02-1980 |
Peter Mosses |
Denotationel semantik og forståelighed af programmeringssprog |
|
117 |
Michael Madsen |
13-02-1980 |
Neil Jones |
Parsing attribute grammars |
|
116 |
Jette Lundin |
08-01-1980 |
Morten Kyng |
Titel ukendt |
115 |
Erik Dybdal |
08-01-1980 |
Morten Kyng |
Titel ukendt |
114 |
Hanne Riis |
04-01-1980 |
Sven Skyum |
Subclasses of Attribute Grammars |
|
113 |
Winnie Brandt |
07-11-1979 |
Brian Henry Mayoh |
Conceptuelle grafer: En øvelse i design af programmeringssprog |
|
112 |
Jan Mølgaard |
01-11-1979 |
Nigel Derrett |
En diskussion af metoder til beskyttelse af data i datamatiske systemer |
|
111 |
Benny Svinth Nielsen |
22-10-1979 |
Peter Møller-Nielsen |
På baggrund af en diskussion af nogle af de problemer, der opstår omkring simulering af datamatnetværk, ønskes et forslag til nogle værktøjer til støtte for simulering af datamatnetværk |
|
110 |
Bjarne Bertelsen |
11-10-1979 |
Nigel Derrett |
Et designarbejde for et filsystem til passet EGG synthesizeren på Musikvidenskabeligt Institut |
|
109 |
Erik Fjord Hansen |
01-10-1979 |
Nigel Derrett |
En diskussion af metoder til beskyttelse af data i datamatiske systemer |
|
108 |
Jens Helveg Larsen |
20-09-1979 |
Brian Henry Mayoh |
Grammatisk System-Specifikation med Automatiserbare Teknikker: Sammenstilling og videreudvikling af eksisterende teknikker, som kan indgå i en systemspecifikation |
|
107 |
Jens Ole Lassen |
20-09-1979 |
Brian Henry Mayoh |
Grammatisk System-Specifikation med Automatiserbare Teknikker - Sammenstilling og videreudvikling af eksisterende teknikker, som kan indgå i en systemspecifikation |
|
106 |
Poul Jespersen |
15-08-1979 |
Erik Meineche Schmidt |
Attributgrammatikker med begrænsede semantiske funktioner |
|
105 |
Erik Dragsbæk Madsen |
15-07-1979 |
Brian Henry Mayoh |
SIMGRAPH - Et grafisk system med et generelt model- og funktionsbegreb |
|
104 |
Lisbeth Munck |
25-06-1979 |
Sven Skyum |
Lukkethedsegenskaber for nogle sprogfamilier, genereret af context free lignende grammatikker |
|
103 |
Ole Ejby Reinau |
15-06-1979 |
Peter Møller-Nielsen |
Transformationssystemer - Implementeret på en mindre programmerbar satellit |
|
102 |
Søren Rieck Sørensen |
15-06-1979 |
Peter Møller-Nielsen |
Transformationssystemer - Implementeret på en mindre programmerbar satellit |
|
101 |
Thorkil Bogh |
10-05-1979 |
Morten Kyng |
Teknikker og værktøjer til bearbejdelse af formidling af information i systemudviklingsprocessen |
|
100 |
Brigitte Valborg Nielsen |
10-05-1979 |
Morten Kyng |
Teknikker og værktøjer til bearbejdelse af formidling af information i systemudviklingsprocessen |
|
99 |
Preben Bangsgaard |
07-05-1979 |
Brian Henry Mayoh |
Evaluering og forbedring af repræsentationen af databaser på fysisk lagermedium |
|
98 |
Bente Brøsted Pedersen |
07-05-1979 |
Brian Henry Mayoh |
Evaluering og forbedring af repræsentationen af databaser på fysisk lagermedium |
|
97 |
Søren Nissen Nielsen |
30-04-1979 |
Morten Kyng |
Konstruer og vurder en simpel P-model (phosfor) for Knudsø. Modellen beskrives i Delta og Simula |
|
96 |
Niels Kjærgaard |
12-03-1979 |
JO |
Access Paths and Query Optimization in a Relational Data Base System |
|
95 |
Ejvind Højgaard Knudsen |
15-02-1979 |
Peter Kornerup |
A Portable Pascal Compiler |
|
94 |
Jan Bardino |
15-02-1979 |
Peter Kornerup |
A Portable Pascal Compiler |
|
93 |
Henrik Vestergaard |
09-02-1979 |
Nigel Derrett |
En evaluering af swapping/paging i timesharingsystemet TOPS-10 |
|
92 |
Claus Faurholt Troelsen |
09-02-1979 |
Nigel Derrett |
En evaluering af swapping/paging i timesharingsystemet TOPS-10 |
|
91 |
Jørgen Sand |
04-01-1979 |
Ole Østerby |
Stabilitet ved løsning af ikke-lineære sædvanlige differentialligninger |
|
90 |
Niels Frey |
13-12-1978 |
Peter Møller-Nielsen |
Test på et grafisk system |
|
89 |
Finn Kensing |
13-12-1978 |
Kristen Nygaard |
Systemudviklingsmetoder, set ud fra et arbejdstagerkrav om medbestemmelse |
|
88 |
Berit Thaysen |
13-12-1978 |
Kristen Nygaard |
Systemudviklingsmetoder, set ud fra et arbejdstagerkrav om medbestemmelse |
|
87 |
Kurt Kirkedal Laursen |
13-12-1978 |
Kristen Nygaard |
Systemudviklingsmetoder, set ud fra et arbejdstagerkrav om medbestemmelse |
|
86 |
Henrik Carl Andersen |
13-12-1978 |
Peter Møller-Nielsen |
Test på et grafisk system |
|
85 |
Joes Clausen |
01-12-1978 |
Povl Villumsen |
Principper i operativsystemer |
|
84 |
Jens Sandbjerg Andersen |
30-08-1978 |
Nigel Derrett |
TOPSY: En simulationsmodel af TOPS-10 |
|
83 |
Mads Christian Madsen |
24-07-1978 |
Ole Østerby |
Differensmetoder for en ikke-lineær parabolsk ligning |
|
82 |
Erik Bak Kristensen |
20-07-1978 |
Peter Møller-Nielsen |
Der ønskes et design og en implementation af et interaktivt grafisk system baseret på en programmerbar satellit, med særligt henblik på det vært residente delsystem |
|
81 |
Palle Frank Hansen |
20-07-1978 |
Peter Møller-Nielsen |
Et design og en implementation af et interaktivt grafisk system baseret på en programmerbar satellit, med særligt henblik på det satellit residente delsystem |
|
80 |
Elisabeth Bjerg |
07-07-1978 |
Kristen Nygaard |
EDB - Systemer inden for avisproduktionen: Beskrivelse af systemerne og vurdering af beskrivelsesmetoder - ud fra de grafiske arbejderes synspunkt |
|
79 |
Lone Verner Nielsen |
07-07-1978 |
Kristen Nygaard |
EDB - Systemer inden for avisproduktionen - Beskrivelse af systemerne og vurdering af beskrivelsesmetoder - ud fra de grafiske arbejderes synspunkt |
|
78 |
Poul Bonne Jørgensen |
24-06-1978 |
Brian Henry Mayoh |
LINDA- et sprog til lingvistisk databehandling |
|
77 |
Bruno Stenstrup Jensen |
02-05-1978 |
Peter Møller-Nielsen |
Der ønskes et design og en implementation af et datamatisk system til opsamling og delvis behandling af data fra et forelagt astronomisk måleapparat |
|
76 |
Per Andersen |
27-04-1978 |
Brian Henry Mayoh |
Sceneanalyse ved Krystaldyrkning |
|
75 |
Valter Haslev |
27-04-1978 |
Brian Henry Mayoh |
Sceneanalyse ved Krystaldyrkning |
|
74 |
Ib Holm Sørensen |
10-03-1978 |
Peter Kornerup |
System Modelling - A methodology for describing the structure of complex Software, Firmware, and Hardware systems consisting of independent process components |
|
73 |
Birgitte Madsen |
15-02-1978 |
Brian Henry Mayoh |
Design og implementation af et relationelt databasesystem, specielt med henblik på effektiv udtrækning af data |
|
72 |
Erling Madsen |
15-02-1978 |
Brian Henry Mayoh |
Design og implementation af et relationelt databasesystem, specielt med henblik på effektiv udtrækning af data |
|
71 |
Svend-Erik Clausen |
15-02-1978 |
Brian Henry Mayoh |
Design og implementation af et relationelt databasesystem, specielt med henblik på effektiv udtrækning af data |
|
70 |
Johan Evald Mogensen |
06-01-1978 |
Ole Østerby |
Global fejlestimering ved løsning af sædvanlige differentialligninger |
|
69 |
Anne-Marie Eriksen |
20-12-1977 |
Kristen Nygaard |
Problemer i systemudvikling, specielt vedrørende sprogformer i systembeskrivelser - belyst ved FAUST, Folkebibliotekernes Automationssystem |
|
68 |
Andreas Munk-Madsen |
19-12-1977 |
Kristen Nygaard |
Systembeskrivelse med Brugere |
|
67 |
Manfred Andreasen |
09-11-1977 |
Ole Østerby |
Numerisk maximalisering af likelihoodfunktionen for en capture- recapture model |
|
66 |
Claus Quistgård |
04-11-1977 |
Kristen Nygaard |
Analyse af datamodel. Metoder og eksempler |
|
65 |
Børge Sand Kirk |
25-07-1977 |
Michael Bennett |
SIMOS - Et hjælpemiddel i operativsystem-undervisning |
|
64 |
Olav Eskesen |
13-07-1977 |
Mogens Nielsen |
Interaktive transducer-grammatikker |
|
63 |
Henning Jeppesen |
07-07-1977 |
Peter Kornerup |
Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database |
|
62 |
Jens Peder Andersen |
07-07-1977 |
Peter Kornerup |
Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database |
|
61 |
Søren Roar Hansen |
07-07-1977 |
Peter Kornerup |
Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database |
|
60 |
Eric Kressel |
07-07-1977 |
Peter Kornerup |
Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database |
|
59 |
Niels Jørn Nielsen |
30-06-1977 |
Peter Møller-Nielsen |
Der ønskes et design og en implementationaf en programmerbar, grafisk satellit, med specielt henblik på systemets design |
|
58 |
Stephen Biering Sørensen |
30-06-1977 |
Peter Møller-Nielsen |
Titel ukendt |
57 |
Ole Jacobsen |
25-05-1977 |
Kristen Nygaard |
Analyse og konstruktion af databaser - Problemer, opgaver og metodeforslag diskuteret ud fra et praktisk eksempel på B og O |
|
56 |
Kristian Nyrup |
29-04-1977 |
Mogens Nielsen |
Parallel Rewriting on Planar Maps: A Mathematical Model for the Development of Multicellular Organisms |
|
55 |
Poul Skafte Jespersen |
19-04-1977 |
Povl Villumsen |
Minicomputer software for multi-device control |
|
54 |
Søren Lauridsen |
04-04-1977 |
Peter Møller-Nielsen |
EDB-medarbejderuddannelser |
|
53 |
Karen Thomsen |
09-03-1977 |
Peter Møller-Nielsen |
PL/Rikke-0 |
|
52 |
Vagn Toft Jensen |
09-02-1977 |
Kristen Nygaard |
EDB-systemer i detailforretninger |
|
51 |
Peder Grotkjær Nielsen |
21-01-1977 |
Kristen Nygaard |
En analyse af problemer omkring udvikling og anvendelse af store edb-baserede informationssystemer - Et konkret eksempel |
|
50 |
Ulf Køllgård |
13-12-1976 |
Brian Henry Mayoh |
Ækvivalens af simple programskemaer med særlig henblik på de rekursive skemaer |
|
49 |
Niels Karsten Thorhauge |
11-12-1976 |
Kristen Nygaard |
Et studie af kommunikationsproblemer under udvikling af edb-systemer |
|
48 |
Marie Louise Møller |
08-12-1976 |
Brian Henry Mayoh |
SODA - Konstruktion og implementering af feltrestriktionen |
|
47 |
Bent Melgård |
23-11-1976 |
Povl Villumsen |
Operativsystemer: begreber og mekanismer i beskyttelse af subsystemer |
|
46 |
Jens Otto Michelsen |
04-11-1976 |
Peter Møller-Nielsen |
Med henblik på vurdering af højere maskinorienterede sprog som erstatning for assembly sprog ønskes der et design og en implementation af et højere maskinorienteret sprog til NOVA datamaten |
|
45 |
Ole Krog Thomsen |
19-07-1976 |
Brian Henry Mayoh |
Design and Implementation of Data Base Primitives |
|
44 |
Jytte Schurmann Hansen |
13-07-1976 |
Brian Henry Mayoh |
Semantics of data types |
|
43 |
Kurt Jensen |
02-07-1976 |
Brian Henry Mayoh |
An Investigation into Different Semantic Approaches |
|
42 |
Ejvind Lynning |
01-07-1976 |
Nigel Derrett |
A multi-emulation system |
|
41 |
Otto Veie |
30-06-1976 |
Nigel Derrett |
Implementation of High Level Languages on Minicomputers: A Case Study: BCPL on the NOVA |
|
40 |
Birger Møller-Pedersen |
28-05-1976 |
Kristen Nygaard |
Tværfaglig Kommunikation og Context - anvendelse af DELTA sproget til beskrivelse af forskellige fagmodeller af en sø og bidrag til indførelsen af contextbegrebet i DELTA sproget |
|
39 |
Sven Meiborg Sørensen |
04-03-1976 |
Peter Møller-Nielsen |
Platon. Design and Implementation on RC3500 |
|
38 |
Niels Erik Andersen |
24-02-1976 |
Kristen Nygaard |
Et studie af kommunikationsproblemer under udvikling af edb-systemer |
|
37 |
Finn Haar Kristiansen |
27-08-1975 |
MiM |
Assessment of a Stack Machine through Statistics: Gathered by Simulation |
|
36 |
Morten Kyng |
25-08-1975 |
Kristen Nygaard |
Om projektion af DELTA sprogets begreber ind i quasiparallelle omgivelser |
|
35 |
Jørgen Staunstrup |
18-08-1975 |
Benedict Løfstedt |
Platon. Axiomatic Definition |
|
34 |
Bendt Jensen |
15-08-1975 |
Povl Villumsen |
Job control languages |
|
33 |
Ole Lehrmann Madsen |
01-08-1975 |
Peter Kornerup |
On the use of attribute grammars in a practical translator writing system |
|
32 |
Jørgen Erik Grønbæk Nielsen |
31-07-1975 |
Brian Henry Mayoh |
JØNS-systemet - et system til automatisk generering af verifier |
|
31 |
Bjarne Stroustrup |
07-07-1975 |
Brian Henry Mayoh |
SNIF compiler and language |
|
30 |
Arne Henning Sørensen |
26-06-1975 |
Peter Møller-Nielsen |
Construction of an interactive graphic system |
|
29 |
Aage Frost Mathiesen |
26-06-1975 |
Peter Møller-Nielsen |
Design and Implementation of a programeditor for a minicomputer |
|
28 |
Finn Kjærsgård Svendsen |
17-06-1975 |
AS |
Regular Languages and L-systems |
|
27 |
Lars Mathiassen |
05-05-1975 |
Benedict Løfstedt |
En datalære bog - Konstruktion af undervisningsmateriale I elementær datalogi |
|
26 |
Bent Bæk Jensen |
11-02-1975 |
Brian Henry Mayoh |
An extension of the BOBS-system to a full compiler-compiler on mathematical semantics |
|
25 |
Thorkil Rose |
10-08-1974 |
Brian Henry Mayoh |
Klassifikation af sindslidende patienter |
|
24 |
Kirsten Holmgård Jakobsen |
30-07-1974 |
AS |
Sententielle former af contextfree sprog |
|
23 |
Bo Bagger Laursen |
21-07-1974 |
Laurent Halphen |
Design og implementering af et moderne filsystem til en minidatamat |
|
22 |
Jørgen Frimodt Hansen |
24-06-1974 |
Søren Nielsen |
Evoked Response Audiometry |
|
21 |
Bent Bruun Kristensen |
14-05-1974 |
Peter Kornerup |
Erkendelse og Korrektion af Syntaksfejl under LR-parsning |
|
20 |
Per Ahlgren Christensen |
17-12-1973 |
Brian Henry Mayoh |
Substitution and Lindenmayer Systems |
|
19 |
Inger Lytje |
17-12-1973 |
Brian Henry Mayoh |
Design af et Question-Answering-System til Informationssøgning i Jydsk Ordbog |
|
18 |
Ulla Beck Christensen |
14-12-1973 |
Brian Henry Mayoh |
Design af et Question-Answering-System til Informationssøgning i Jydsk Ordbog |
|
17 |
Steen Nørgård |
11-11-1973 |
Brian Henry Mayoh |
Mønsteranalyse ved hjælp af lokale transformationer |
|
16 |
Thyge Jæger Knudsen |
11-09-1973 |
Brian Henry Mayoh |
Recursive schemata and intuitionistic logic |
|
15 |
Jens Daabeck |
07-09-1973 |
Peter Møller-Nielsen |
Indkøring af et grafisk display |
|
14 |
Jens Ulrik Mouritsen |
01-08-1973 |
Ole Brun Madsen |
Datakompression |
|
13 |
Jens Ebbe Thomsen |
14-06-1973 |
Ole Brun Madsen |
Titel ukendt |
12 |
Evald Skov Jensen |
14-06-1973 |
Ole Brun Madsen |
Titel ukendt |
11 |
Mogens Nielsen |
08-02-1973 |
Brian Henry Mayoh |
On Decomposition of Stochastic Finite-State Systems |
|
10 |
Iver Arendal Larsen |
15-01-1973 |
Brian Henry Mayoh |
Automatiske klassifikationsmetoder |
|
9 |
Mogens Kjærgård Rasmussen |
28-09-1972 |
Brian Henry Mayoh |
Familier af deterministiske sprog |
|
8 |
Arne Tolstrup Madsen |
25-08-1972 |
Peter Kornerup |
Basismekanismer for operativsystemer |
|
7 |
Poul Vestereng |
21-08-1972 |
Ole Brun Madsen |
Titel ukendt |
6 |
Grete Jensen |
17-08-1972 |
Bjarner Svejgaard |
Automatisk decidation og korrektion af stavefejl |
|
5 |
Frede Dybkjær |
22-06-1972 |
Bjarner Svejgaard |
Alice - A Language Improving Computer Education |
|
4 |
Willy Mathiesen |
26-05-1972 |
Brian Henry Mayoh |
Konstruktion og Implementering af interaktivt theorem proving system |
3 |
Torsten Skov Rasmussen |
11-04-1972 |
Brian Henry Mayoh |
Automatisk programverificering |
|
2 |
Erik Meineche Schmidt |
20-03-1972 |
Brian Henry Mayoh |
Karakterisation af oversættelse for de til Chomsky-hierarkiet hørende automater |
|
1 |
Sven Skyum |
21-02-1972 |
Brian Henry Mayoh |
Garden of Eden - konfigurationer i cellulære automater |
|