Graduate number	name	date	supervisor	title	grad_number
1	Sven Skyum	21/2/72	Brian Henry Mayoh	Garden of Eden - konfigurationer i cellulære automater	1
2	Erik Meineche Schmidt	20/3/72	Brian Henry Mayoh	Karakterisation af oversættelse for de til Chomsky-hierarkiet hørende automater	2
3	Torsten Skov Rasmussen	11/4/72	Brian Henry Mayoh	Automatisk programverificering	3
4	Willy Mathiesen	0000-00-00	Brian Henry Mayoh	Konstruktion og Implementering af interaktivt theorem proving system	4
5	Frede Dybkjær	22/6/72	Bjarner Svejgaard	Alice - A Language Improving Computer Education	5
6	Grete Jensen	17/8/72	Bjarner Svejgaard	Automatisk decidation og korrektion af stavefejl	6
7	Poul Vestereng	21/8/72	Ole Brun Madsen		7
8	Arne Tolstrup Madsen	25/8/72	Peter Kornerup	Basismekanismer for operativsystemer	8
9	Mogens Kjærgård Rasmussen	28/9/72	Brian Henry Mayoh	Familier af deterministiske sprog	9
10	Iver Arendal Larsen	15/1/73	Brian Henry Mayoh	Automatiske klassifikationsmetoder	10
11	Mogens Nielsen	8/2/73	Brian Henry Mayoh	On Decomposition of Stochastic Finite-State Systems	11
12	Evald Skov Jensen	14/6/73	Ole Brun Madsen		12
13	Jens Ebbe Thomsen	14/6/73	Ole Brun Madsen		13
14	Jens Ulrik Mouritsen	1/8/73	Ole Brun Madsen	Datakompression	14
15	Jens Daabeck	7/9/73	Peter Møller-Nielsen	Indkøring af et grafisk display	15
16	Thyge Jæger Knudsen	11/9/73	Brian Henry Mayoh	Recursive schemata and intuitionistic logic	16
17	Steen Nørgård	11/11/73	Brian Henry Mayoh	Mønsteranalyse ved hjælp af lokale transformationer	17
18	Ulla Beck Christensen	14/12/73	Brian Henry Mayoh	Design af et Question-Answering-System til Informationssøgning i Jydsk Ordbog	18
19	Inger Lytje	17/12/73	Brian Henry Mayoh	Design af et Question-Answering-System til Informationssøgning i Jydsk Ordbog	19
20	Per Ahlgren Christensen	17/12/73	Brian Henry Mayoh	Substitution and Lindenmayer Systems	20
21	Bent Bruun Kristensen	14/5/74	Peter Kornerup	Erkendelse og Korrektion af Syntaksfejl under LR-parsning	21
22	Jørgen Frimodt Hansen	24/6/74	Søren Nielsen	Evoked Response Audiometry	22
23	Bo Bagger Laursen	21/7/74	Laurent Halphen	Design og implementering af et moderne filsystem til en minidatamat	23
24	Kirsten Holmgård Jakobsen	30/7/74	AS	Sententielle former af contextfree sprog	24
25	Thorkil Rose	10/8/74	Brian Henry Mayoh	Klassifikation af sindslidende patienter	25
26	Bent Bæk Jensen	11/2/75	Brian Henry Mayoh	An extension of the BOBS-system to a full compiler-compiler on mathematical semantics	26
27	Lars Mathiassen	5/5/75	Benedict Løfstedt	En datalære bog - Konstruktion af undervisningsmateriale I elementær datalogi	27
28	Finn Kjærsgård Svendsen	17/6/75	AS	Regular Languages and L-systems	28
29	Aage Frost Mathiesen	26/6/75	Peter Møller-Nielsen	Design and Implementation of a programeditor for a minicomputer	29
30	Arne Henning Sørensen	26/6/75	Peter Møller-Nielsen	Construction of an interactive graphic system	30
31	Bjarne Stroustrup	7/7/75	Brian Henry Mayoh	SNIF compiler and language	31
32	Jørgen Erik Grønbæk Nielsen	31/7/75	Brian Henry Mayoh	JØNS-systemet - et system til automatisk generering af verifier	32
33	Ole Lehrmann Madsen	1/8/75	Peter Kornerup	On the use of attribute grammars in a practical translator writing system	33
34	Bendt Jensen	15/8/75	Povl Villumsen	Job control languages	34
35	Jørgen Staunstrup	18/8/75	Benedict Løfstedt	Platon. Axiomatic Definition	35
36	Morten Kyng	25/8/75	Kristen Nygaard	Om projektion af DELTA sprogets begreber ind i quasiparallelle omgivelser	36
37	Finn Haar Kristiansen	27/8/75	MiM	Assessment of a Stack Machine through Statistics: Gathered by Simulation	37
38	Niels Erik Andersen	24/2/76	Kristen Nygaard	Et studie af kommunikationsproblemer under udvikling af edb-systemer	38
39	Sven Meiborg Sørensen	4/3/76	Peter Møller-Nielsen	Platon. Design and Implementation on RC3500	39
40	Birger Møller-Pedersen	28/5/76	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	40
41	Otto Veie	30/6/76	Nigel Derrett	Implementation of High Level Languages on Minicomputers: A Case Study: BCPL on the NOVA	41
42	Ejvind Lynning	1/7/76	Nigel Derrett	A multi-emulation system	42
43	Kurt Jensen	2/7/76	Brian Henry Mayoh	An Investigation into Different Semantic Approaches	43
44	Jytte Schurmann Hansen	13/7/76	Brian Henry Mayoh	Semantics of data types	44
45	Ole Krog Thomsen	19/7/76	Brian Henry Mayoh	Design and Implementation of Data Base Primitives	45
46	Jens Otto Michelsen	4/11/76	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	46
47	Bent Melgård	23/11/76	Povl Villumsen	Operativsystemer: begreber og mekanismer i beskyttelse af subsystemer	47
48	Marie Louise Møller	8/12/76	Brian Henry Mayoh	SODA - Konstruktion og implementering af feltrestriktionen	48
49	Niels Karsten Thorhauge	11/12/76	Kristen Nygaard	Et studie af kommunikationsproblemer under udvikling af edb-systemer	49
50	Ulf Køllgård	13/12/76	Brian Henry Mayoh	Ækvivalens af simple programskemaer med særlig henblik på de rekursive skemaer	50
51	Peder Grotkjær Nielsen	21/1/77	Kristen Nygaard	En analyse af problemer omkring udvikling og anvendelse af store edb-baserede informationssystemer - Et konkret eksempel	51
52	Vagn Toft Jensen	9/2/77	Kristen Nygaard	EDB-systemer i detailforretninger	52
53	Karen Thomsen	9/3/77	Peter Møller-Nielsen	PL/Rikke-0	53
54	Søren Lauridsen	4/4/77	Peter Møller-Nielsen	EDB-medarbejderuddannelser	54
55	Poul Skafte Jespersen	19/4/77	Povl Villumsen	Minicomputer software for multi-device control	55
56	Kristian Nyrup	29/4/77	Mogens Nielsen	Parallel Rewriting on Planar Maps: A Mathematical Model for the Development of Multicellular Organisms	56
57	Ole Jacobsen	25/5/77	Kristen Nygaard	Analyse og konstruktion af databaser - Problemer, opgaver og metodeforslag diskuteret ud fra et praktisk eksempel på B og O	57
58	Stephen Biering Sørensen	30/6/77	Peter Møller-Nielsen		58
59	Niels Jørn Nielsen	30/6/77	Peter Møller-Nielsen	Der ønskes et design og en implementationaf en programmerbar, grafisk satellit, med specielt henblik på systemets design	59
60	Eric Kressel	7/7/77	Peter Kornerup	Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database	60
61	Søren Roar Hansen	7/7/77	Peter Kornerup	Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database	61
62	Jens Peder Andersen	7/7/77	Peter Kornerup	Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database	62
63	Henning Jeppesen	7/7/77	Peter Kornerup	Et programudviklingssystem for mikrodatamater - specielt med henblik på implementation af den grundlæggende database	63
64	Olav Eskesen	13/7/77	Mogens Nielsen	Interaktive transducer-grammatikker	64
65	Børge Sand Kirk	25/7/77	Michael Bennett	SIMOS - Et hjælpemiddel i operativsystem-undervisning	65
66	Claus Quistgård	4/11/77	Kristen Nygaard	Analyse af datamodel. Metoder og eksempler	66
67	Manfred Andreasen	9/11/77	Ole Østerby	Numerisk maximalisering af likelihoodfunktionen for en capture- recapture model	67
68	Andreas Munk-Madsen	19/12/77	Kristen Nygaard	Systembeskrivelse med Brugere	68
69	Anne-Marie Eriksen	20/12/77	Kristen Nygaard	Problemer i systemudvikling, specielt vedrørende sprogformer i systembeskrivelser - belyst ved FAUST, Folkebibliotekernes Automationssystem	69
70	Johan Evald Mogensen	6/1/78	Ole Østerby	Global fejlestimering ved løsning af sædvanlige differentialligninger	70
71	Svend-Erik Clausen	15/2/78	Brian Henry Mayoh	Design og implementation af et relationelt databasesystem, specielt med henblik på effektiv udtrækning af data	71
72	Erling Madsen	15/2/78	Brian Henry Mayoh	Design og implementation af et relationelt databasesystem, specielt med henblik på effektiv udtrækning af data	72
73	Birgitte Madsen	15/2/78	Brian Henry Mayoh	Design og implementation af et relationelt databasesystem, specielt med henblik på effektiv udtrækning af data	73
74	Ib Holm Sørensen	10/3/78	Peter Kornerup	System Modelling - A methodology for describing the structure of complex Software, Firmware, and Hardware systems consisting of independent process components	74
75	Valter Haslev	27/4/78	Brian Henry Mayoh	Sceneanalyse ved Krystaldyrkning	75
76	Per Andersen	27/4/78	Brian Henry Mayoh	Sceneanalyse ved Krystaldyrkning	76
77	Bruno Stenstrup Jensen	2/5/78	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	77
78	Poul Bonne Jørgensen	24/6/78	Brian Henry Mayoh	LINDA- et sprog til lingvistisk databehandling	78
79	Lone Verner Nielsen	7/7/78	Kristen Nygaard	EDB - Systemer inden for avisproduktionen - Beskrivelse af systemerne og vurdering af beskrivelsesmetoder - ud fra de grafiske arbejderes synspunkt	79
80	Elisabeth Bjerg	7/7/78	Kristen Nygaard	EDB - Systemer inden for avisproduktionen: Beskrivelse af systemerne og vurdering af beskrivelsesmetoder - ud fra de grafiske arbejderes synspunkt	80
81	Palle Frank Hansen	20/7/78	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	81
82	Erik Bak Kristensen	20/7/78	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	82
83	Mads Christian Madsen	24/7/78	Ole Østerby	Differensmetoder for en ikke-lineær parabolsk ligning	83
84	Jens Sandbjerg Andersen	30/8/78	Nigel Derrett	TOPSY: En simulationsmodel af TOPS-10	84
85	Joes Clausen	1/12/78	Povl Villumsen	Principper i operativsystemer	85
86	Henrik Carl Andersen	13/12/78	Peter Møller-Nielsen	Test på et grafisk system	86
87	Kurt Kirkedal Laursen	13/12/78	Kristen Nygaard	Systemudviklingsmetoder, set ud fra et arbejdstagerkrav om medbestemmelse	87
88	Berit Thaysen	13/12/78	Kristen Nygaard	Systemudviklingsmetoder, set ud fra et arbejdstagerkrav om medbestemmelse	88
89	Finn Kensing	13/12/78	Kristen Nygaard	Systemudviklingsmetoder, set ud fra et arbejdstagerkrav om medbestemmelse	89
90	Niels Frey	13/12/78	Peter Møller-Nielsen	Test på et grafisk system	90
91	Jørgen Sand	4/1/79	Ole Østerby	Stabilitet ved løsning af ikke-lineære sædvanlige differentialligninger	91
92	Claus Faurholt Troelsen	9/2/79	Nigel Derrett	En evaluering af swapping/paging i timesharingsystemet TOPS-10	92
93	Henrik Vestergaard	9/2/79	Nigel Derrett	En evaluering af swapping/paging i timesharingsystemet TOPS-10	93
94	Jan Bardino	15/2/79	Peter Kornerup	A Portable Pascal Compiler	94
95	Ejvind Højgaard Knudsen	15/2/79	Peter Kornerup	A Portable Pascal Compiler	95
96	Niels Kjærgaard	12/3/79	JO	Access Paths and Query Optimization in a Relational Data Base System	96
97	Søren Nissen Nielsen	30/4/79	Morten Kyng	Konstruer og vurder en simpel P-model (phosfor) for Knudsø. Modellen beskrives i Delta og Simula	97
98	Bente Brøsted Pedersen	7/5/79	Brian Henry Mayoh	Evaluering og forbedring af repræsentationen af databaser på fysisk lagermedium	98
99	Preben Bangsgaard	7/5/79	Brian Henry Mayoh	Evaluering og forbedring af repræsentationen af databaser på fysisk lagermedium	99
100	Brigitte Valborg Nielsen	10/5/79	Morten Kyng	Teknikker og værktøjer til bearbejdelse af formidling af information i systemudviklingsprocessen	100
101	Thorkil Bogh	10/5/79	Morten Kyng	Teknikker og værktøjer til bearbejdelse af formidling af information i systemudviklingsprocessen	101
102	Søren Rieck Sørensen	15/6/79	Peter Møller-Nielsen	Transformationssystemer - Implementeret på en mindre programmerbar satellit	102
103	Ole Ejby Reinau	15/6/79	Peter Møller-Nielsen	Transformationssystemer - Implementeret på en mindre programmerbar satellit	103
104	Lisbeth Munck	25/6/79	Sven Skyum	Lukkethedsegenskaber for nogle sprogfamilier, genereret af context free lignende grammatikker	104
105	Erik Dragsbæk Madsen	15/7/79	Brian Henry Mayoh	SIMGRAPH - Et grafisk system med et generelt model- og funktionsbegreb	105
106	Poul Jespersen	15/8/79	Erik Meineche Schmidt	Attributgrammatikker med begrænsede semantiske funktioner	106
107	Jens Ole Lassen	20/9/79	Brian Henry Mayoh	Grammatisk System-Specifikation med Automatiserbare Teknikker - Sammenstilling og videreudvikling af eksisterende teknikker, som kan indgå i en systemspecifikation	107
108	Jens Helveg Larsen	20/9/79	Brian Henry Mayoh	Grammatisk System-Specifikation med Automatiserbare Teknikker: Sammenstilling og videreudvikling af eksisterende teknikker, som kan indgå i en systemspecifikation	108
109	Erik Fjord Hansen	1/10/79	Nigel Derrett	En diskussion af metoder til beskyttelse af data i datamatiske systemer	109
110	Bjarne Bertelsen	11/10/79	Nigel Derrett	Et designarbejde for et filsystem til passet "EGG" synthesizeren på Musikvidenskabeligt Institut	110
111	Benny Svinth Nielsen	22/10/79	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	111
112	Jan Mølgaard	1/11/79	Nigel Derrett	En diskussion af metoder til beskyttelse af data i datamatiske systemer	112
113	Winnie Brandt	7/11/79	Brian Henry Mayoh	Conceptuelle grafer: En øvelse i design af programmeringssprog	113
114	Hanne Riis	4/1/80	Sven Skyum	Subclasses of Attribute Grammars	114
115	Erik Dybdal	8/1/80	Morten Kyng		115
116	Jette Lundin	8/1/80	Morten Kyng		116
117	Michael Madsen	13/2/80	Neil Jones	Parsing attribute grammars	117
118	Mette Dupont	29/2/80	Peter Mosses	Denotationel semantik og forståelighed af programmeringssprog	118
119	Karsten Stær	29/5/80	Peter Mosses	Semantic descriptions and modularity	119
120	Ole Dalsgaard Nielsen	4/6/80	Jørgen Staunstrup	Specifikation af Processynkronisering	120
121	Leif Sandegaard Nielsen	4/6/80	Jørgen Staunstrup	Specifikation af Processynkronisering	121
122	Søren Werner	20/6/80	Brian Henry Mayoh	En Model af administrative databehandlingssystemer med henblik på udvikling af distribuerede systemer	122
123	Peder Christian Nørgaard	20/6/80	Brian Henry Mayoh		123
124	Bent Hansen Kramer	29/7/80	Brian Henry Mayoh		124
125	Leo Mark	15/8/80	Nigel Derrett		125
126	Adser Leick	15/8/80	Nigel Derrett		126
127	Torben Bech Larsen	8/10/80	Mogens Nielsen	Formal Analysis of Distributed Database Algorithms	127
128	Flemming Nielson	10/12/80	Neil Jones	Semantic Foundations of Data Flow Analysis	128
129	Leif Fisker Jensen	1/2/81	Jørgen Staunstrup, Erik Meineche Schmidt	Konvolutter - Et Element i Beskrivelser og Verifikation af Programmer med Parallellitet	129
130	Flemming Wibroe	9/3/81	Brian Henry Mayoh		130
131	Flemming Eriksen	9/3/81	Brian Henry Mayoh		131
132	Arne Kjær	6/4/81	Lars Mathiassen		132
133	Poul Mølgaard	4/5/81	Peter Møller-Nielsen	Instruktions indkodning i RC3502	133
134	Frank Bruun Topholm	14/5/81	Peter Møller-Nielsen		134
135	Peter Trier	14/5/81	Peter Møller-Nielsen	Interaktiv grafik anvendt til databaseforespørgsler	135
136	Henning Christiansen	15/7/81	Neil Jones	A new approach to Compiler Generation	136
137	Torben Fogh	24/7/81	Mogens Nielsen	En semantik for synkroniserede parallelle processer	137
138	Birgitte Skouenborg Rolskov	28/7/81	Lars Mathiassen	Skandinaviske Love og Aftaler med Betydning for Systemudvikling	138
139	Sten Fredsbo Andersen	1/8/81	Erik Meineche Schmidt		139
140	Eline Arnfred Vedel	15/8/81	Lars Mathiassen	Skandinaviske love og aftaler med betydning for systemudvikling	140
141	Jacob Mohr Lolk	28/8/81	Peter Kornerup	Højniveau programmeringssprog til mikroprogrammering af MATHILDA	141
142	Jens Kristian Kjærgaard	2/11/81	Jørgen Staunstrup	Dynamisk udskiftelige processer i Concurrent Pascal	142
143	Torry Skak Gaarde	2/11/81	Jørgen Staunstrup	Dynamisk udskiftelige processer i Concurrent Pascal	143
144	Karsten Bank Petersen	1/12/81	Jørgen Staunstrup, Erik Meineche Schmidt	Konvolutter - Et Element i Beskrivelser og Verifikation af Programmer med Parallellitet	144
145	Gitte Susanne Frølich	11/12/81	Morten Kyng		145
146	Jon Hammerskov	1/3/82	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
147	Susanne Bødker	1/3/82	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	147
148	Peter Schou	10/3/82	Peter Møller-Nielsen	Permanente Kopier af GT40-Billeder	148
149	Jens Søgaard Andersen	1/6/82	Jørgen Staunstrup	Implementation af Concurrent PASCAL på - MULTI MAREN	149
150	Kurt Søe	1/6/82	Jørgen Staunstrup	Implementation af Concurrent PASCAL på - MULTI MAREN	150
151	Thorkil Naur	14/6/82	Ole Østerby	Integer Factorization	151
152	Jørgen Lindskov Knudsen	28/6/82	Ole Lehrmann Madsen	Aspekter af programmeringssprog: Begreber, modeller og design	152
153	Anders Jørgen Andersen	28/6/82	Ole Lehrmann Madsen		153
154	Troels Møller Jørgensen	16/7/82	Lars Mathiassen	Et begrebsapparat til karakteristik af programmeringsprocesser	154
155	John Kammersgaard	16/7/82	Lars Mathiassen	Et begrebsapparat til karakteristik af programmeringsprocesser	155
156	Andreas Lorenzen	3/8/82	Mogens Nielsen	Synkron/asynkron kommunikation - oversættelse af et actorsprog til CCS	156
157	Kell Hauser	29/9/82	Jørgen Staunstrup		157
158	Torben Hansen	26/10/82	Jørgen Staunstrup	Implementation af kommunikationsprimitiver på en multiprocesenhed	158
159	Erik Reinholdt	30/11/82	Ole Lehrmann Madsen	Design af et objektorienteret sprog	159
160	Herluf Hansen	30/11/82	Ole Lehrmann Madsen	Design af et objektorienteret sprog	160
161	Jens Dohn	1/12/82	Peter Mosses	Semantik af Abstrakte Datastrukturer	161
162	Jørgen Thomsen	17/1/83	Peter Møller-Nielsen	En Generel Programmeringsmetode for Skærmbilledorienterede Interaktive Systemer	162
163	Axel Andersen	17/1/83	Peter Møller-Nielsen		163
164	Karsten Djurtoft	31/1/83	Lars Mathiassen	Analyse af Socio-Teknisk Metode	164
165	Gudmund Skovbjerg Frandsen	1/2/83	Mogens Nielsen	En sammenhæng mellem proces og struktur - modal logik - netteori.	165
166	Christian Paulsen	1/2/83	Neil Jones	A Parallel Implementation of a Functional Language	166
167	Kristine Stougård Thomsen	22/2/83	Ole Lehrmann Madsen		167
168	Kirsten Hjerrild Nielsen	22/2/83	Ole Lehrmann Madsen	Et objektorienteret syn på databaser	168
169	Torben Hagerup	21/3/83	Ole Østerby	Calculation of elementary mathematical functions to an arbitrary precision	169
170	Jan Sørensen	24/3/83	Lars Mathiassen	Konstruktion af en systemudviklingsmetode til brug ved udvikling af mindre systemer samt en anvendelse af denne på et konkret projekt	170
171	Preben Etzerodt	10/4/83	Lars Mathiassen	EDB inden for skovbruget	171
172	Ellen Christiansen	10/4/83	Lars Mathiassen	EDB inden for skovbruget	172
173	Jens Ove Jespersen	24/5/83	Jørgen Staunstrup		173
174	Ole Vestergaard Johansen	24/5/83	Jørgen Staunstrup		174
175	Tove Morell	31/5/83	Lars Mathiassen	Problemer og muligheder i samarbejdet mellem bruger og edb-specialist i de tidlige aktiviteter i et systemudviklingsprojekt	175
176	Thorkil Laursen	1/7/83	Lars Mathiassen	Systemudvikling i teori og praksis	176
177	Lars Berner	1/7/83	Lars Mathiassen	Opfyldelse af brugernes krav og ønsker til et EDB-baseret systems egenskaber gennem valg af systemudviklingsstrategi	177
178	Dorte Tranberg Jensen	22/7/83	Ole Lehrmann Madsen		178
179	Gitte Kjær Nielsen	22/7/83	Ole Lehrmann Madsen	Overvågning af samtidige programmer	179
180	Søren Kaas Birn	29/7/83	Ole Lehrmann Madsen	Sammenkobling af datakommunikationsnetværk - begrebsdannelser og implementationsovervejelser	180
181	Claus Aagaard Sørensen	29/7/83	Ole Lehrmann Madsen	Sammenkobling af datakommunikationsnetværk - begrebsdannelser og implementationsovervejelser	181
182	Kim Halskov Madsen	12/8/83	Kurt Jensen		182
183	Niels Damgaard Hansen	12/8/83	Kurt Jensen		183
184	Jakob Nielsen	22/8/83	Brian Henry Mayoh	Software ergonomi	184
185	Lars Dahl	31/10/83	Mogens Nielsen	Dokumentation af multiprogrammer	185
186	Karen Borup	9/11/83	Ole Lehrmann Madsen	EKKO - An Integrated Program Development System	186
187	Kurt Nørmark	9/11/83	Ole Lehrmann Madsen	EKKO - An Integrated Program Development System	187
188	Elmer Sandvad	9/11/83	Ole Lehrmann Madsen	EKKO - An Integrated Program Development System	188
189	Per Andersen	12/12/83	Peter Møller-Nielsen	Sceneanalyse ved Krystaldyrkning	189
190	Jan Skytte	12/12/83	Peter Møller-Nielsen		190
191	Lena Henriksen	22/12/83	Finn Kensing	Konstruktion og CAD-systemer	191
192	Ole Eriksen	10/1/84	Jørgen Staunstrup	Algoritmer i netværk	192
193	Lene Risør	20/1/84	Morten Kyng	Om Epsilon og net	193
194	Ruth Dalsgaard Nielsen	20/1/84	Morten Kyng		194
195	Jørgen Raun Petersen	18/3/84	Sven Skyum	GRAPA en grafisk pakke - VISPA et interaktivt grafisk system til højniveau overvågning af en programudførelse	195
196	Jonna Rønlev Nielsen	18/3/84	Sven Skyum	GRAPA en grafisk pakke - VISPA et interaktivt grafisk system til højniveau overvågning af en programudførelse	196
197	Christian Glassau Hansen	24/4/84	Ole Caprani		197
198	Sven Vedel	11/5/84	Lars Mathiassen	edb-projektplanlægning set i forhold til ændringer i krav til forestillinger om produktet	198
199	Michael Ignatieff Schwartzbach	12/6/84	Erik Meineche Schmidt	The Design of a Programming Language	199
200	Carsten Johansen	6/7/84	Brian Henry Mayoh	Relational overbygning til et netværksdatabasesystem	200
201	Erik Bobach	6/7/84	Brian Henry Mayoh		201
202	Svend Elmo Steensen	25/8/84	Lars Mathiassen		202
203	Preben Hirstmann	31/8/84	Finn Kensing		203
204	Karsten Hansen	31/10/84	Finn Kensing	Regulering i systemudvikling - Århus Oliefabrik som eksempel	204
205	Bjarne Munk	31/10/84	Finn Kensing	Regulering i systemudvikling - Århus Oliefabrik som eksempel	205
206	Hans Jørgen Jacobsen	20/12/84	Peter Kornerup	En analyse af en arkitektur for Ada	206
207	Niels Rose Hansen	20/12/84	Peter Kornerup	DAIMI-net	207
208	Kaj Fick	30/1/85	Kurt Jensen	A Conceptual Framework for Prototyping	208
209	Morten Bang	30/1/85	Kurt Jensen	A Conceptual Framework for Prototyping	209
210	Lars Gregers Gregersen	1/2/85	Peter Kornerup	DAIMI-net	210
211	Finn Terpling	1/2/85	Mogens Nielsen		211
212	Erik Frederiksen	15/2/85	Ole Caprani		212
213	Jens Ole Graulund	15/2/85	Ole Caprani		213
214	Bjarne Grevsen Thams	15/2/85	Mogens Nielsen		214
215	Palle John Jensen	15/3/85	Andreas Munk-Madsen	Estimering af systemudviklingsprojekter - Praksis - Teori - Eksperimenter	215
216	Per Bech Hansen	0000-00-00	Andreas Munk-Madsen	Estimering af systemudviklingsprojekter - Praksis - Teori - Eksperimenter	216
217	Mogens Hagne	2/4/85	Brian Henry Mayoh		217
218	Jørn Vesterdal	15/4/85	Jørgen Staunstrup	Analyse af en Parallel Sorteringsalgoritme	218
219	Jørgen Katborg Andersen	15/4/85	Jørgen Staunstrup	Analyse af en Parallel Sorteringsalgoritme	219
220	Claus Rønø Pedersen	15/4/85	Jørgen Staunstrup	Analyse af en Parallel Sorteringsalgoritme	220
221	Jakob Westermann Krog	14/5/85	Mogens Nielsen	An Experimental Study Of Parallel Execution Of Logic Programs	221
222	Gitte Møldrup Nielsen	17/5/85	Lars Mathiassen	Retningslinier for udformning af edb-baserede systemer - En opgaveorienteret spørgeramme, udviklet på baggrund af en teori om organisationer	222
223	Pål Sørgaard	17/5/85	Lars Mathiassen	Perspective and Description - An Investigation of Two Central Concepts Related to Systems Development Considered as a Knowledge Producing Process	223
224	Claus Nørgård	25/6/85	Peter Mosses		224
225	Jan Holdam	25/6/85	Peter Mosses	Gipsy- Et system til syntaksdirigeret interaktiv dokumentbehandling	225
226	Inger Bohlbro	1/7/85	Peter Mosses	Programtransformationer og abstrakte semantiske algebraer	226
227	Carsten Bundgaard	3/7/85	Mogens Nielsen		227
228	Per Rye Filskov	3/7/85	Mogens Nielsen		228
229	Birger Nielsen	16/8/85	P.S. Thiagarajan	On the application of Logic of Knowledge to distributed systems: A Petri net view.	229
230	Peter Buus	16/8/85	P.S. Thiagarajan	On the application of Logic of Knowledge to distributed systems: A Petri net view.	230
231	Povl-Henrik Lindhard	29/8/85	Brian Henry Mayoh	Om kunstig intelligens	231
232	Merete Bartholdy	20/9/85	Morten Kyng	Elektronisk Bogfremstilling - En skitse til analyse og design af et bogfremstillingssystem med fokus på brugernes kvalifikationer og produktkvalitet	232
233	Per Hyttel Larsen	19/11/85	Peter Kornerup	Sameksistens af ARPA og ISO internet - en analyse	233
234	Ole Jensen	30/11/85	Lars Mathiassen	Analyse og design på kontorområdet - belyst gennem et eksperiment med tre forskellige metoder	234
235	Susanne Bengtson	30/11/85	Lars Mathiassen	Analyse og design på kontorområdet - belyst gennem et eksperiment med tre forskellige metoder	235
236	Peter Huber	30/11/85	Lars Mathiassen	Analyse og design på kontorområdet - belyst gennem et eksperiment med tre forskellige metoder	236
237	Bjarne Poulsen	10/1/86	Mogens Nielsen		237
238	Leif Obel Jepsen	1/3/86	Lars Mathiassen	Dagbogsskrivning til styring i systemudvikling	238
239	Peter Axel Nielsen	1/3/86	Lars Mathiassen	Dagbogsskrivning til styring i systemudvikling	239
240	Søren Erik Nielsen	21/3/86	Sven Skyum	Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ	240
241	Ulla Lundin Jørgensen	21/3/86	Sven Skyum	Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ	241
242	Kim Steffensen	1/4/86	Lars Mathiassen	Reflektion over det transaktionsmæssige perspektiv som grundlag for analyse og design på baggrund af et praktisk eksperiment indenfor kontorområdet - Eller: Ud at se med TC	242
243	John Schmidt	1/4/86	Ole Lehrmann Madsen	En grammatikbaseret definition af objektorienterede metaprogrammeringssystemer	243
244	Jan Otto Munch Pedersen	1/4/86	Ole Lehrmann Madsen	BETARUN - En BETA-maskine implementeret i mikrokode på PERQ-datamaten	244
245	Karl Bruno Munkholm	1/4/86	Lars Mathiassen		245
246	Peder Falk Thøstensen	1/4/86	Ole Lehrmann Madsen		246
247	Niels Helbo	1/6/86	Erik Meineche Schmidt	Bevisteknikker for distribuerede processer	247
248	Christian Holst Jensen	1/6/86	Erik Meineche Schmidt	Bevisteknikker for distribuerede processer	248
249	Uffe Henrik Engberg	1/7/86	Mogens Nielsen	A Calculus of Communicating Systems with Label Passing	249
master	ligaard	antilles.daimi.au.dk
250	Svend Hauge Nielsen	1/7/86	Sven Skyum	Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ	250
251	Nils Klarlund	15/7/86	Erik Meineche Schmidt		251
252	Preben Fisker Jensen	21/7/86	Erik Meineche Schmidt	Fordelte fixpunkt beregninger	252
253	Kasper Østerbye	21/7/86	Ole Lehrmann Madsen		253
254	Lars Bendix	21/7/86	Ole Lehrmann Madsen		254
255	Ib-Michael Martinsen	30/7/86	Mogens Nielsen		255
256	Jens Stausgaard	30/7/86	Mogens Nielsen		256
257	Bente Hedegaard Kristensen	30/7/86	Morten Kyng	Retningslinier for valg af faglige strategier på kontorområdet - et casestudie over Aarhus tekniske Skoles kon torautomatiseringsprojekt	257
258	Jan Rubæk Pedersen	30/7/86	Mogens Nielsen		258
259	Søren Weibel Mortensen	30/7/86	Mogens Nielsen		259
260	Eigil Mahs	1/8/86	Mogens Nielsen		260
261	Kurt Fleckner	1/8/86	Mogens Nielsen		261
262	Stig Bertelsen	10/9/86	Ole Lehrmann Madsen		262
263	Søren Hvidbjerg	10/9/86	Ole Lehrmann Madsen	Graphical Programming Environments - Applied to Beta	263
264	Vibeke Boye	15/10/86	Morten Kyng		264
265	Arne Møller Jensen	15/10/86	Morten Kyng		265
266	Peter Hilligsøe Kristiansen	19/11/86	Peter Kornerup	Netfilsystemer	266
267	Mogens Jerløw	19/12/86	Morten Kyng		267
268	Finn Barrett	19/12/86	Jørgen Staunstrup	Problemhobe & VLSI - En indfaldsvinkel til VLSI-design, eksemplificeret ved implementation af en problemhob ell er - de tusinde processers land	268
269	Ole Vedel Villumsen	19/12/86	Morten Kyng		269
270	Niels Bollesen	1/1/87	Morten Kyng	Retningslinier for valg af faglige strategier på kontorområdet - et casestudie over Aarhus tekniske Skoles kon torautomatiseringsprojekt	270
271	Karl Erik Johansen	1/1/87	Sven Skyum	Konstruktion og analyse af distribuerede algoritmer til beregning af et udspændende træ	271
272	Ole Lebech Sørensen	1/1/87	Morten Kyng	Retningslinier for valg af faglige strategier på kontorområdet - et casestudie over Aarhus tekniske Skoles kon torautomatiseringsprojekt	272
273	Henny Ulsøe Lauritsen	6/2/87	Ole Lehrmann Madsen	Overvejelser om programmeringssprog med henblik på undervisning	273
274	Birgit Laustsen	6/2/87	Ole Lehrmann Madsen		274
275	Steen Søndergaard	6/3/87	Brian Henry Mayoh		275
276	Hanne Søndergaard	6/3/87	Brian Henry Mayoh		276
277	Vagn Tøttrup Jensen	9/3/87	Brian Henry Mayoh		277
278	Lars Johansen	1/4/87	Gudmund Frandsen	PRAKT - et ekspertsystem	278
279	Per Bøgeskov Thomsen	1/4/87	Gudmund Frandsen	PRAKT - et ekspertsystem	279
280	Anette Jonassen	1/4/87	Peter Landrock		280
281	Anders Gammelgaard	18/5/87	Erik Meineche Schmidt	Implementationsrelationer mellem parallelle algoritmer	281
282	Carsten Lund	18/6/87	Carl Sturtivant		282
283	Claus Bøgestrand	18/6/87	Carl Sturtivant		283
284	Henrik Bøje	14/8/87	Erik Meineche Schmidt	Fordelte beregninger: Model og metode	284
285	Michael Edelgaard Caspersen	14/8/87	Erik Meineche Schmidt	Fordelte beregninger: Model og metode	285
286	Henrik Munk Ebbesen	31/8/87	Jørgen Lindskov Knudsen	PIA - Paradigme til strukturering af interaktionssystemer	286
287	Anders Bandholm	31/8/87	Jørgen Lindskov Knudsen	PIA - Paradigme til strukturering af interaktionssystemer	287
288	Kaj Gross	1/9/87	Gudmund Frandsen		288
289	Carsten Lomborg Andersen	1/9/87	Gudmund Frandsen		289
290	Leif Winkler Sørensen	1/9/87	Gudmund Frandsen		290
291	Jan Anderson	11/9/87	Jørgen Lindskov Knudsen	MCI - et paradigme til strukturering af rastergrafiske applikationer	291
292	Kenni Hørmann	11/9/87	Jørgen Lindskov Knudsen	MCI - et paradigme til strukturering af rastergrafiske applikationer	292
293	Tommy Baumwall	16/10/87	Peter Landrock	PC - RSA, RSA - kryptografering i software	293
294	Peter Bertelsen	16/10/87	Peter Landrock	PC - RSA, RSA - kryptografering i software	294
295	John Poulsen	17/12/87	Brian Henry Mayoh		295
296	Helge Winkler Hess	17/12/87	Brian Henry Mayoh		296
297	Per Fack Sørensen	17/12/87	Ole Lehrmann Madsen	The Beta Shadow Language - a basis for high level debugging	297
298	Jacob-Bernhardt Brock	20/1/88	Jørgen Staunstrup		298
299	Kaj Grønbæk	20/1/88	Lars Mathiassen	Work practice in projects using 4th Generation Systems	299
300	Jens Benned Hansen	22/1/88	Jørgen Staunstrup	pi - et simpelt parallelt programmeringssprog til processtyring	300
301	Jacob Kornerup	22/1/88	Jørgen Staunstrup	pi - et simpelt parallelt programmeringssprog til processtyring	301
302	Søren Laursen	22/1/88	Jørgen Staunstrup		302
303	Peter Juhl	25/1/88	Ole Lehrmann Madsen	Version and Variant Control - a Structural Approach	303
304	Torben Pryds Pedersen	20/3/88	Peter Landrock		304
305	Tom Hesselvig Hagelskjær	29/2/88	Mogens Nielsen	Petri Nets - A Bridge from Behaviour to Structure.	305
306	Lars Karlsen	24/3/88	Brian Henry Mayoh	Repræsentation af begrænsninger (constraints) i data modeller	306
307	Jan Mark	19/5/88	Morten Kyng	Udvikling og brug af fælles materialer - et aspekt af bruger/udvikler samarbejde i design	307
308	Kurt Sørensen	20/5/88	Sven Skyum	Design af et fordelt lager	308
309	Torben Krøjmand	20/5/88	Sven Skyum	Design af et fordelt lager	309
310	Jan Hosbond	20/5/88	Sven Skyum	Dynamisk håndtering af rektangler	310
311	Claus Bendiksen Jensen	26/5/88	Ole Østerby		311
312	Jens Himmelstrup	6/6/88	Erik Meineche Schmidt	Fremdriftsegenskaber og inkrementelle beviser	312
313	Bente Rose Andersen	8/6/88	Kurt Jensen	En anvendelse af Petri net Beskrivelse af et kontorsystem ved hjælp af RFA-net	313
314	Henrik Juul Geer Rasmussen	8/6/88	Kurt Jensen		314
315	Thomas Groth	8/6/88	Kurt Jensen	Numeriske Petri Net og PROTEAN	315
316	Lars Kjærulff Christensen	8/6/88	Kurt Jensen	Numeriske Petri Net og PROTEAN	316
317	Joan Jensen	8/6/88	Kurt Jensen	En anvendelse af Petri net Beskrivelse af et kontorsystem ved hjælp af RFA-net	317
318	Anne Marie Skelde-Petersen	8/6/88	Kurt Jensen		318
319	Tove Skouenborg Rolskov	20/6/88	Lars Mathiassen	Work practice in projects using 4th Generation Systems	319
320	Nielsen Knud Nyholm	20/6/88	Brian Henry Mayoh		320
321	Søren Christensen	20/6/88	Lars Mathiassen	A Model for Concurrent Systems	321
322	Tage Stephansen	20/6/88	Joan Greenbaum	Den sociale dimension i systemudvikling - et casestudie om grupper og kultur i en udviklingsorganisation	322
323	Lars Zimmermann	20/6/88	Jørgen Staunstrup		323
324	Kurt Byskov	20/6/88	Peter Mosses		324
325	Holger Jepsen	20/6/88	Morten Kyng	Eksperimenter med prototyper - karakteristik og forslag til planlægning baseret på en interviewundersøgelse af fire systemudviklingsprojekter	325
326	Claus Henrik Pedersen	20/6/88	Ole Lehrmann Madsen		326
327	Lars Bak Petersen	20/6/88	Ole Lehrmann Madsen	The Beta Shadow Language - a basis for high level debugging	327
328	Bent Dyrmose Christensen	20/6/88	Morten Kyng	Eksperimenter med prototyper - karakteristik og forslag til planlægning baseret på en interviewundersøgelse af fire systemudviklingsprojekter	328
329	Ole Bach Andersen	20/6/88	Morten Kyng	Udvikling og brug af fælles materialer - et aspekt af bruger/udvikler samarbejde i design	329
330	Ole Kristensen	20/6/88	Ole Østerby	Differensmetoder til løsning af en diffusion-transport ligning	330
331	Jens Palsberg Jørgensen	20/6/88	Peter Mosses	An Action Semantics for Inheritance	331
332	Henrik Schou	18/7/88	Brian Henry Mayoh		332
333	Jan Nyholm Albertsen	18/7/88	Brian Henry Mayoh	Videntilegnelse i teori & praksis	333
334	Søren Top	20/7/88	Mogens Nielsen	TPLASK - Et analyse og systemudviklingsredskab for automatisk programmering af temporallogiske specifikationer over parallelle processers kommunikation?	334
335	Kell Ørhøj	5/8/88	Erik Meineche Schmidt	Programmeringsmetoder i geometriske beregninger	335
336	Kim Skak Larsen	17/8/88	Mogens Nielsen	A Fully Abstract Model for a Process Algebra with Refinement	336
337	Jakob Laursen	22/8/88	Erik Meineche Schmidt	En relationel kalkule for design og udvikling af korrekte non-deterministiske programmer	337
338	Jørgen Nørgård Petersen	22/8/88	Peter Mosses		338
339	Jakob Holm	12/9/88	Mogens Nielsen	An Experimental Study of Parallel Graph Reduction Machines	339
340	Lisbeth Faber Rasmussen	14/9/88	Joan Greenbaum	Den sociale dimension i systemudvikling - et casestudie om grupper og kultur i en udviklingsorganisation	340
341	Regine Hansen	14/9/88	Joan Greenbaum		341
342	Olaf Nielsen	15/10/88	Jørgen Brandt		342
343	Marc Eyvind Eld	15/10/88	Ole Lehrmann Madsen	Programbiblioteker og genanvendelse	343
344	Keld Pedersen	2/11/88	Mogens Nielsen		344
345	Niels Reimer	9/1/89	Brian Henry Mayoh		345
346	Erik Bjerre	27/1/89	Morten Kyng	Udvikling og brug af fælles materialer - et aspekt af bruger/udvikler samarbejde i design	346
347	Torben Bajlum	27/1/89	Morten Kyng	EDB-støtte til lægepraksis - et eksperiment med udvikling af en brugsmodel og en prototype	347
348	Tommy Nielsen	27/1/89	Morten Kyng	EDB-støtte til lægepraksis - et eksperiment med udvikling af en brugsmodel og en prototype	348
349	Klaus Vilstrup Pedersen	27/1/89	Brian Henry Mayoh		349
350	Niels Jacobsen	27/1/89	Jørgen Lindskov Knudsen, PE	SOKRATES - Sprogspil og Kvalifikationer - en Rapport om Arbejdet med en Teori for Erkendelsesprocesserne i Systemudvikling	350
351	Martin Larsen	27/1/89	Ole Lehrmann Madsen	Transformationssystemer - en foranalyse med henblik på design af et system i Mjølner	351
352	Jan Hauerslev	27/1/89	Jørgen Lindskov Knudsen, PE	SOKRATES - Sprogspil og Kvalifikationer - en Rapport om Arbejdet med en Teori for Erkendelsesprocesserne i Systemudvikling	352
353	Finn Almind Brodersen	27/1/89	Mogens Nielsen	An Experimental Study of Parallel Graph Reduction Machines	353
354	Lars Møller Jørgensen	27/1/89	Peter Møller-Nielsen	Systoliske algoritmer realiseret asynkront	354
355	Jette Frich Hansen	27/1/89	Peter Møller-Nielsen	Systoliske algoritmer realiseret asynkront	355
356	Erik Toubro Nielsen	27/1/89	Peter Møller-Nielsen	Opbygning af hændelsesstyrende kredsløb i VLSI	356
357	Claus Riber Christensen	27/1/89	Peter Møller-Nielsen	Opbygning af hændelsesstyrende kredsløb i VLSI	357
358	René Elmstrøm	27/1/89	Peter Møller-Nielsen	Systoliske algoritmer realiseret asynkront	358
359	Dorte Gade	16/6/89	Morten Kyng	Eksperimenter med prototyper - karakteristik og forslag til planlægning baseret på en interviewundersøgelse af fire systemudviklingsprojekter	359
360	Ole Bisgaard	16/6/89	Susanne Bødker	Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling	360
361	Preben Mogensen	16/6/89	Susanne Bødker	Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling	361
362	Susanne Brogaard Bondesen	19/6/89	Mogens Nielsen		362
363	Michael Madsen	19/6/89	Jørgen Lindskov Knudsen	Parsing attribute grammars	363
364	Jogvan Martin Gråstein	19/6/89	Jørgen Staunstrup		364
365	Peter Byg Hansen	19/6/89	Ole Lehrmann Madsen	Trud - design af et grammatikstyret dokumentbehandlingssystem	365
366	Sven Aage Birch	20/6/89	Carl Sturtivant	Kompakt realisering af thresholdfunktioner	366
367	Henrik Tolbøl	20/6/89	Ole Caprani	Anvendelse og Evaluering af Transputernet	367
368	Annette Ljungberg	20/6/89	Peter Landrock		368
369	Michael Hansen	20/6/89	Erik Meineche Schmidt	Fremdriftsmekanismer i strømningsalgoritmer	369
370	Paul Sørensen	20/6/89	Carl Sturtivant	Kompakt realisering af thresholdfunktioner	370
371	Steen Kaalund Retbøll	20/6/89	Carl Sturtivant	Kompakt realisering af thresholdfunktioner	371
372	Long Quan Ha	21/6/89	Sven Skyum	Problemer i ikke uniform kompleksitetsteori	372
373	Eld Zierau	21/6/89	Joan Greenbaum	An Empirical Study of User Involvement in Systems Development Work Organization - Analysis and Evaluation of an ICON Case Study	373
374	Jens Damsgaard	21/6/89	Susanne Bødker	Mellem hårde og bløde praktikertraditioner - En Undersøgelse af datalogers praksis og uddannelse	374
375	Mike Børling	22/6/89	Susanne Bødker	Mellem hårde og bløde praktikertraditioner - En Undersøgelse af datalogers praksis og uddannelse	375
376	Jørgen Hougaard	22/6/89	Erik Meineche Schmidt	Fremdriftsmekanismer i strømningsalgoritmer	376
377	Karsten Egetoft Pedersen	23/6/89	Jørgen Staunstrup		377
378	Birthe Hestbæk	23/6/89	Ole Lehrmann Madsen	Trud - design af et grammatikstyret dokumentbehandlingssystem	378
379	Margrethe Mosbæk Christensen	23/6/89	Peter Landrock		379
380	Mads Gregers Nørby	23/6/89	Susanne Bødker		380
381	Lars Peter Andersen	26/6/89	Peter Landrock	Experimenter omkring Exponentierings-Algoritmer	381
382	Gorm Hansen	26/6/89	Brian Henry Mayoh	En sammenligning af tre indlæringsalgoritmer	382
383	Michael Hoffmann Olsen	26/6/89	Ole Lehrmann Madsen		383
384	Jan Møller Jensen	26/6/89	Jørgen Staunstrup	En problemhob og en vurdering af tre udvalgte silicium oversættere ud fra en realisering af problemhoben	384
385	Jørgen Albretsen	5/11/89	Ole Østerby	En datalogisk analyse af Keplers Hypothesis Vicaria	385
386	Gregor Stenderup	13/11/89	Peter Mosses	EDB støtte til arbejde med Feynman-diagrammer indenfor højenergifysik	386
387	Helle Berit Nielsen	22/1/90	Susanne Bødker	Designprocessen som et sprogspil - belyst gennem et empirisk studie af 3 designprojekter	387
388	Per Thuesen	22/1/90	Jørgen Lindskov Knudsen	Draupner - a Way of Programming	388
389	Robert Klujeff	22/1/90	Liam Bannon	The Role of Users in Systems Development	389
390	Jens O. Rosendahl	22/1/90	Susanne Bødker	Mellem hårde og bløde praktikertraditioner - En Undersøgelse af datalogers praksis og uddannelse	390
391	Eiler Møller	22/1/90	Liam Bannon		391
392	Margit Holk Lauridsen	22/1/90	Susanne Bødker	Designprocessen som et sprogspil - belyst gennem et empirisk studie af 3 designprojekter	392
393	Preben Rosendal Valeur	22/1/90	Susanne Bødker	Værktøjer til indfangning af designrationalet	393
394	Erik Andreasen	22/1/90	Peter Møller-Nielsen	VICTOR - Teoretiske og eksperimentelle undersøgelser af algoritmer til understøttelse af RSA-kryptosystemer med henblik på VLSI design	394
395	Søren Christensen	22/1/90	Mogens Nielsen	A Model for Concurrent Systems	395
396	Svend Frølund	22/1/90	Ole Lehrmann Madsen		396
397	Bent Dalager	22/1/90	Susanne Bødker	Værktøjer til indfangning af designrationalet	397
398	Christian M. Madsen	22/1/90	Ole Lehrmann Madsen		398
399	Christian Dalsgård	22/1/90	Brian Henry Mayoh		399
400	Ole Agesen	22/1/90	Ole Lehrmann Madsen		400
401	Henrik Reif Andersen	22/1/90	Mogens Nielsen		401
402	Rune Dissing	22/1/90	Susanne Bødker	Værktøjer til indfangning af designrationalet	402
403	Heine Christensen	22/2/90	Mogens Nielsen	Automatic Programming in the Small	403
404	Knud Vibholm Petersen	13/6/90	Liam Bannon		404
405	Anette Hviid	13/6/90	Ole Lehrmann Madsen	The development of a graphical object-oriented prototyping system - GrOOPS	405
406	Britta Shaw Bjerregaard	13/6/90	Ole Lehrmann Madsen	The development of a graphical object-oriented prototyping system - GrOOPS	406
407	Poul Svendsen	13/6/90	Ole Caprani	En systematisk implementation af en distribueret G-maskine	407
408	Poul Lassen	14/6/90	Peter Mosses		408
409	Ole Vebert Olesen	14/6/90	Ole Caprani	En systematisk implementation af en distribueret G-maskine	409
410	Gregers Jul Nielsen	14/6/90	Peter Landrock		410
411	Torsten Jordt	15/6/90	Ole Caprani	Undersøgelser af en simpel grafisk beregning på en vektorprocessor og et transputernet	411
412	Urban Engberg	15/6/90	Mogens Nielsen	A Simulator Study of Graph Reduction in Distributed Systems	412
413	Jens Nielsen	15/6/90	Peter Mosses	SADL - Et sprog til beskrivelse og simulering af systoliske algoritmer	413
414	Peter Bro Miltersen	15/6/90	Joan Boyar		414
415	Gitte Grønkjær Jensen	18/6/90	Brian Henry Mayoh	En turist-guide lavet som et beslutningsstøttet system	415
416	Holger Orup	18/6/90	Peter Møller-Nielsen	VICTOR - Teoretiske og eksperimentelle undersøgelser af algoritmer til understøttelse af RSA-kryptosystemer med henblik på VLSI design	416
417	Erik Svendsen	18/6/90	Peter Møller-Nielsen	VICTOR - Teoretiske og eksperimentelle undersøgelser af algoritmer til understøttelse af RSA-kryptosystemer med henblik på VLSI design	417
418	John Lindgreen	18/6/90	Morten Kyng	Tilpasning - ændring af åbne edb-systemer i brugssituationen - mere end et supplement til videre udvikling	418
419	Flemming Hjort	19/6/90	Brian Henry Mayoh		419
420	Peter Lundin Jørgensen	19/6/90	Brian Henry Mayoh	En undersøgelse af Analogi-processen - og et ordsprogsystem	420
421	Anne Kirketerp	19/6/90	Morten Kyng	Ledelse af systemudviklingsprojekter - en empirisk undersøgelse af ti projekter	421
422	Bjarke Skovgaard Jensen	20/6/90	Brian Henry Mayoh	Telefonisk dialog med database - design og udvikling af prototype	422
423	Michael Snebang	20/6/90	Morten Kyng	Tilpasning - ændring af åbne edb-systemer i brugssituationen - mere end et supplement til videre udvikling	423
424	Carsten Hjorthmose Christensen	20/6/90	Morten Kyng		424
425	Anette Lind Astrup	20/6/90	Jørgen Lindskov Knudsen	Draupner - a Way of Programming	425
426	Johanne Lund	21/6/90	Carl Sturtivant	Kompleksitet af matrixmultiplikation	426
427	Bjarne Madsen	21/6/90	Peter Landrock		427
428	John Lind	21/6/90	Peter Landrock		428
429	Martin Møller	21/6/90	Brian Henry Mayoh	CM algoritmen - udvikling af en 2. ordens indlæringsalgoritme til feed forward neurale netværk	429
430	Steen Ilum Christensen	22/6/90	Morten Kyng	Edb-støttet samarbejde - en empirisk undersøgelse med henblik på analyse og design	430
431	Hanne Lise Berthelsen	22/6/90	Erik Meineche Schmidt	Algoritmisk problemløsning og abstrakte datatyper	431
432	Lise-Lotte Hjorth Rasmussen	22/6/90	Jørgen Lindskov Knudsen	Draupner - a Way of Programming	432
433	Mariann Levring	22/6/90	Brian Henry Mayoh	Telefonisk dialog med database - design og udvikling af prototype	433
434	Peter Holm	25/6/90	Brian Henry Mayoh	Evaluering af ekspertsystemer	434
435	Annette Nielsen	25/6/90	Peter Møller-Nielsen	HPR - en prototype af en router til understøttelse af hierarkisk design af VLSI-kredsløb	435
436	Henning Matzen	25/6/90	Peter Møller-Nielsen		436
437	Lars Aagaard Christiansen	15/8/90	Ole Caprani	Anvendelse og Evaluering af Transputernet	437
438	Flemming Berg	21/9/90	Ole Lehrmann Madsen	Pilot-undersøgelse af Transformations-systemer	438
439	Johnny Skov Petersen	29/10/90	Brian Henry Mayoh	Voronoi algoritmer og deres anvendelse i medicin	439
440	Bjarne Schlichter	14/1/91	Brian Henry Mayoh	Generering af regler og symbolsk information fra neurale net - Om repræsentations- og niveauproblematikken i datamatbaserede kognitive modeller	440
441	Ejner Kabel	15/1/91	Morten Kyng	Edb-støttet samarbejde - en empirisk undersøgelse med henblik på analyse og design	441
442	Kim Jensen Møller	15/1/91	Jørgen Lindskov Knudsen	Bifrost - An Interactive Object Oriented Device Independent Graphics System	442
443	Lone Faber	15/1/91	Ole Lehrmann Madsen	This town is big enough for most of it - modelling in OOP	443
444	Claus Mørk	15/1/91	Ole Caprani	Implementation og vurdering af afviklingsalgoritmer på transputere	444
445	Carsten Rickers	16/1/91	Peter Møller-Nielsen	BEATRICE - En objekt orienteret to niveau CAD datamodel med implicit transaktionshåndtering	445
446	Jens Groth Andreasen	16/1/91	Mogens Nielsen		446
447	Brian Andersen	16/1/91	Peter Møller-Nielsen	BEATRICE - En objekt orienteret to niveau CAD datamodel med implicit transaktionshåndtering	447
448	Søren Mark	17/1/91	Brian Henry Mayoh	Opbygning og Repræsentation af en Begrebsstruktur i et System af Neurale Netværk	448
449	Rasmus Møller	17/1/91	Peter Mosses	SADL - Et sprog til beskrivelse og simulering af systoliske algoritmer	449
450	Finn Rosenberg Rasmussen	17/1/91	Ole Caprani	Implementation og vurdering af afviklingsalgoritmer på transputere	450
451	Jens Enevold Kristensen	17/1/91	Ole Caprani		451
452	Søren Overgaard Petersen	18/1/91	Ole Caprani	En systematisk implementation af en distribueret G-maskine	452
453	Henrik Esbensen	18/1/91	Peter Møller-Nielsen	HPR - en prototype af en router til understøttelse af hierarkisk design af VLSI-kredsløb	453
454	Michael Thomsen	21/1/91	Susanne Bødker	Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling	454
455	Peter Alfred Østergaard	21/1/91	Jørgen Lindskov Knudsen, Sven Skyum	Bilag til rapport om Elektroniske Skema Tavler - Skemaplanlægning for folkeskoler	455
456	Jørgen Rask	22/1/91	Jørgen Lindskov Knudsen	Bifrost - An Interactive Object Oriented Device Independent Graphics System	456
457	Sanne Jensen	22/1/91	Ole Lehrmann Madsen	Concurrency and Distribution in Object-Oriented Programming Languages - the Design of DistributedBeta	457
458	Morten Schultz	22/1/91	Peter Landrock		458
459	Karsten Søndergaard Schulz	23/1/91	Jørgen Lindskov Knudsen, Sven Skyum	Bilag til rapport om Elektroniske Skema Tavler - Skemaplanlægning for folkeskoler	459
460	Lise Krukow	23/1/91	Ole Lehrmann Madsen	This town is big enough for most of it - modlling in OOP	460
461	Henrik Skjødt	23/1/91	Ole Lehrmann Madsen	R-Beta - Integrating Relational and Object Oriented Programming	461
462	Flemming Koch Jensen	23/1/91	Brian Henry Mayoh	Skemaplanlægning - et CSP Case Study	462
463	Jannie Lykke Rasmussen	24/1/91	Jørgen Lindskov Knudsen, Sven Skyum	Bilag til rapport om Elektroniske Skema Tavler - Skemaplanlægning for folkeskoler	463
464	Peter Strarup Jensen	24/1/91	Ole Lehrmann Madsen	R-Beta - Integrating Relational and Object Oriented Programming	464
465	Karsten Bosteen	24/1/91	Sven Skyum	Ringsortering	465
466	Steen Reimers	7/3/91	Brian Henry Mayoh	Genetiske Algoritmer til udvikling af Neural Net	466
467	Jens Henrik Leonhard Jensen	7/3/91	Brian Henry Mayoh	Genetiske Algoritmer til udvikling af Neural Net	467
468	Merete Hess	12/3/91	Ole Lehrmann Madsen		468
469	Karin Glindtvad	2/4/91	Hanne Riis Nielson		469
470	Thomas Rohde	23/4/91	Brian Henry Mayoh	Automatic Speech Recognition & Neural Networks	470
471	Ole Bystrup Jensen	23/4/91	Brian Henry Mayoh	Automatic Speech Recognition & Neural Networks	471
472	Martin Olsen	23/4/91	Brian Henry Mayoh	Automatic Speech Recognition & Neural Networks	472
473	Marianne Dyrskjøt Agdrup	20/5/91	Morten Kyng		473
474	Lars Høgsted	12/6/91	Erik Meineche Schmidt	Datalogi i Gymnasiet: Formalisering og Programmering - Rationale del	474
475	Michael Pedersen	18/6/91	Kurt Jensen	Tilstandsgrafer med ækvivalente mærkninger og selvsymmetrier - Definition og konstruktion af en ny type tilstandsgrafer for farvede Petri net	475
476	Jens Bæk Jørgensen	18/6/91	Kurt Jensen	Tilstandsgrafer med ækvivalente mærkninger og selvsymmetrier - Definition og konstruktion af en ny type tilstandsgrafer for farvede Petri net	476
477	Rikke Drewsen Andersen	18/6/91	Kurt Jensen	Tilstandsgrafer med ækvivalente mærkninger og selvsymmetrier - Definition og konstruktion af en ny type tilstandsgrafer for farvede Petri net	477
478	Jacob Jakobsen	19/6/91	Erik Meineche Schmidt	Entropi og probabilistiske optimeringsalgoritmer	478
479	Henrik Kaarup Krogh	20/6/91	Ole Caprani	MEDUSA - Integration af anvendelsesspecifikke VLSI-kredse i transputer-baserede occamsystemer	479
480	Lasse Jensen	21/6/91	Ole Caprani		480
481	Bent Gabelgaard	24/6/91	Ole Caprani	NETWORK MANAGEMENT - i sammenhæng med ISDN	481
482	Ulla Vestrup	24/6/91	Ole Lehrmann Madsen	The Development of a Graphical Object-Oriented Database Management System - GrOODBMS	482
483	Jørn Floor Andersen	24/6/91	Jørgen Lindskov Knudsen	Muligheder og begrænsninger ved integration af multimedie- omgivelser	483
484	Poul Willy Eriksen	25/6/91	Brian Henry Mayoh	HERMES version 1.3 - MANUAL og RAPPORT	484
485	Henrik Bo Pedersen	25/6/91	Ole Caprani	Implementation og vurdering af afviklingsalgoritmer på transputere	485
486	Hanne Sommer	25/6/91	Ole Lehrmann Madsen	The Development of a Graphical Object-Oriented Database Management System - GrOODBMS	486
487	Henrik Dyrholm	26/6/91	Ole Caprani	NETWORK MANAGEMENT - i sammenhæng med ISDN	487
488	Gert Dengsøe Rasmussen	20/9/91	Brian Henry Mayoh	De Genetiske Algoritmer	488
489	Svend Jules Fjerdingstad	20/9/91	Ole Caprani	Parallelizing Feed-forward Artificial Neural Networks on Transputers	489
490	Carsten Greve	20/9/91	Ole Caprani		490
491	Anders Pilegaard	20/9/91	Glynn Winskel	Programming with Proofs	491
492	Ann-Grete Tan	20/9/91	Glynn Winskel	Programming with Proofs	492
493	Lars Kjær Larsen	23/9/91	Brian Henry Mayoh	Tegnsprog og Animation	493
494	Kim Thomas Rasmussen	23/9/91	Brian Henry Mayoh	Tegnsprog og Animation	494
495	Sten Agerholm	25/9/91	Glynn Winskel	Mechanizing Program Verification in HOL	495
496	Marianne Meincke Arentoft	1/10/91	Jørgen Lindskov Knudsen	Felixpascal - Evaluering og redesign	496
497	Lone Lykke Nielsen	1/10/91	Jørgen Lindskov Knudsen	Felixpascal - Evaluering og redesign	497
498	Johannes Vibe Djernæs	15/10/91	Jørgen Lindskov Knudsen	Design of a Fragment Administration System for the Mjølner BETA System - FRAME	498
499	Anne-Marie Bøjer Pedersen	15/10/91	Jørgen Lindskov Knudsen	Design of a Fragment Administration System for the Mjølner BETA System - FRAME	499
500	Helle Johansen	16/12/91	Ole Lehrmann Madsen	Aspects of Programming-in-the-Large - Towards the Design of a Graphical Module Browser	500
501	Jens Givskov	16/12/91	Ole Lehrmann Madsen	Aspects of Programming-in-the-Large - Towards the Design of a Graphical Module Browser	501
502	Henrik Dahl	14/1/92	Morten Kyng	HanDahl - en model til estimering af omfanget af et systemudviklingsprojekt baseret på objektiv opmåling af kravspecifikationen	502
503	Poul-Erik Dahl	14/1/92	Jørgen Lindskov Knudsen	Muligheder og begrænsninger ved integration af multimedie-omgivelser	503
504	Michael Ringgaard	14/1/92	Brian Henry Mayoh	FACE - Ansigtsgenkendelse	504
505	Søren Thygesen Gjesse	15/1/92	Brian Henry Mayoh	FACE - Ansigtsgenkendelse	505
506	Steen Sjøgaard	16/1/92	Brian Henry Mayoh	A Conceptual Approach to Generalization in Dynamic Neural Networks	506
507	Anne Klinke Kettunen	16/1/92	Morten Kyng	Estimering af systemudviklingsprojekter - En empirisk undersøgelse	507
508	Nicholas Blackburn	21/1/92	Brian Henry Mayoh	Modelling Reaction-Diffusion Processes with System Dynamics	508
509	Peter Andersen	21/1/92	Jørgen Lindskov Knudsen	Bifrost - An interactive Object-Oriented Device Independent Graphics System	509
510	Lars Ramkilde Knudsen	21/1/92	Ivan Damgaard	Differential Kryptoanalyse af DES og LOKI	510
511	Lotte Lyngsø Jensen	22/1/92	Morten Kyng	Kvalitetsstyring af Systemudvikling	511
512	Tanja Anette Nørgaard Troelsen	22/1/92	Morten Kyng		512
513	Claus Jensen	7/2/92	Brian Henry Mayoh	Klassificering af pletysmografkurver ved hjælp af neurale netværk	513
514	Lars Svith	7/2/92	Brian Henry Mayoh	Klassificering af pletysmografkurver ved hjælp af neurale netværk	514
515	Morten Wulff Pedersen	19/2/92	Ole Caprani	Parallelisering af Simulated Annealing og Genetiske Algoritmer anvendt på Traveling Salesman Problemet	515
516	Bjarne Ebsen	19/2/92	Ole Caprani	Parallelisering af Simulated Annealing og Genetiske Algoritmer anvendt på Traveling Salesman Problemet	516
517	Troels Agerbo Jensen	13/3/92	Ivan Damgaard		517
518	Frank Christensen	13/3/92	Ivan Damgaard	A Survey of Identification Schemes	518
519	Søren Rehné	30/3/92	Peter Møller-Nielsen	Et simuleringsværktøj til design, verifikation og fejlfinding af VLSI-kredse - en videochip som case	519
520	Torben Nielsen	30/3/92	Peter Møller-Nielsen	Design, simulering og optimering af VLSI kredsløb ved hjælp af et funktionelt sprog	520
521	Lars Skøtt Christensen	13/4/92	Peter Møller-Nielsen	Anvendelse af Medusa - En undersøgelse af chiptester og co-processor aspektet	521
522	Bente Laursen	1/5/92	Joan Greenbaumr	User Interface Consistency - A Case Study Suggesting User Involvment in Consistency Design Issues	522
523	Nicolette Frederiksen	1/5/92	Joan Greenbaumr		523
524	Torben Lange	4/5/92	Flemming Nielson		524
525	Thomas Wirendeldt Larsen	8/5/92	Sven Skyum		525
526	Claus Torp Jensen	13/5/92	Glynn Winskel		526
527	Tommy Ravn Jensen	17/6/92	Brian Henry Mayoh	Metoder til indlæring af intelligente kontrolsystemer	527
528	Jan Reher	17/6/92	Ole Caprani	Design af et styreprogram til en tandemaccelerator	528
529	Henrik Marcussen	17/6/92	Morten Kyng	Estimering af systemudviklingsprojekter - En empirisk undersøgelse	529
530	Jens Christian Mikkelsen	18/6/92	Hanne Riis Nielson	Strictnes Analysis Using Homomorphisms	530
531	Niels Erik Jehøj	19/6/92	Sven Skyum	Om elastik metoden til Konstruktion af Voronoidiagrammer	531
532	Martin Petersen	19/6/92	Morten Kyng		532
533	Jesper Andersen	23/6/92	Ole Caprani	Design af et styreprogram til en tandemaccelerator	533
534	Nicholas Oxhøj	23/6/92	Michael I. Schwartzbach	Practical Object-Oriented Type Inference	534
535	Bent Handberg	24/6/92	Morten Kyng	HanDahl - en model til estimering af omfanget af et systemudviklingsprojekt baseret på objektiv opmåling af kravspecifikationen	535
536	André Riget	25/6/92	Brian Henry Mayoh	Klassificering af pletysmografkurver ved hjælp af neurale netværk	536
537	Lars Tøffner-Clausen	11/9/92	Ivan Damgaard		537
538	Peter Berg	3/10/92	Brian Henry Mayoh	Automated Belief Revision - From Theory to Practice	538
539	Jens Arnold Hem	6/10/92	Ole Lehrmann Madsen	Object-Oriented Database Management Systems - A Design for Schema Evolution in Beta-Flex	539
540	Lennert Sloth	6/10/92	Ole Lehrmann Madsen	Object-Oriented Database Management Systems - A Design for Schema Evolution in Beta-Flex	540
541	Jens Toft Pedersen	26/10/92	Ole Lehrmann Madsen	Object Management in Distributed Object Oriented Databases	541
542	Lars Toftgaard	2/11/92	Ole Lehrmann Madsen	Communication in Distributed Systems	542
543	Carsten Hansen	14/12/92	Ole Lehrmann Madsen	Valhall - et projekt om multimedier i objektorienteret programmering	543
544	Dag Amund Helstad	14/12/92	Ole Lehrmann Madsen	Valhall - et projekt om multimedier i objektorienteret programmering	544
545	Folmer Sørensen	22/12/92	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
546	Birthe Hust	22/12/92	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	546
547	Ebbe Skak Larsen	23/12/92	Michael I. Schwartzbach	SCAMIRA - A functional language with implicit scaling	547
548	Robert Monrad Sie	20/1/93	Ole Lehrmann Madsen	Communication in Distributed Systems	548
549	Frank Bagge Ivens de Carvalho	21/1/93	Brian Henry Mayoh		549
550	Dorthe Torp Jensen	22/1/93	Mogens Nielsen	Lokaliteter i Procesalgebra	550
551	Niels Koldsø	25/1/93	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"	551
552	Birgitte Mølgaard Pedersen	25/1/93	Ole Lehrmann Madsen	Developing Animated Graphical Interfaces to an Object-oriented Simulation Framework	552
553	Fin Steenbjerg Olesen	25/1/93	Jens Kristian Kjærgaard		553
554	Jacob Havkrog Jørgensen	26/1/93	Peter Mosses	Terminering af associativ kommutativ genskrivning	554
555	Iraj Bastar	26/1/93	Jens Kristian Kjærgaard		555
556	Alf Holten Gaba	27/1/93	Brian Henry Mayoh		556
557	Niels Franck Villadsen	28/1/93	Ole Caprani	NETWORK MANAGEMENT - i sammenhæng med ISDN	557
558	Torsten Bjørn Hagemann	28/1/93	Ole Lehrmann Madsen	Valhall - et projekt om multimedier i objektorienteret programmering	558
559	Mojtaba Danai	28/1/93	Jens Kristian Kjærgaard		559
560	Lars Olav Wedege Bertelsen	23/3/93	Susanne Bødker	Når uret blir ret - Et litteraturstudium til belysning af muligheden for teori i human-computer interaction	560
561	Steen Basse Jensen	23/4/93	Kaj Grønbæk	Hypermedia-baseret støtte til udvikling og brug af dokumentation i systemudvikling	561
562	Jacob Steen Due	23/4/93	Kaj Grønbæk	Hypermedia-baseret støtte til udvikling og brug af dokumentation i systemudvikling	562
563	Tony Thisted Jacobsen	4/5/93	Peter Mosses	Towards a Realistic Type Inference System for Action Semantics	563
564	Hans Jakob Pedersen	10/5/93	Glynn Winskel		564
565	Poul Christiansen	10/5/93	Glynn Winskel		565
566	Lars Rasmussen	18/5/93	Hanne Riis Nielson	Inference Systemer for Strictness Analyse	566
567	Henrik Reiche	28/5/93	Morten Kyng	Delaunay diagrammer i planen	567
568	Anders Kjærsgaard	28/5/93	Morten Kyng	Fra idé til industriel prototype - Aspekter af design om implementation illustreret ved udviklingen af et manualprogram	568
569	Jørn Hansen	4/6/93	Erik Meineche Schmidt	Anvendelse af skiplister	569
570	Erik Jacobsen	16/6/93	Erik Meineche Schmidt	7 år med RASMUS og RIKKE	570
571	Peter Ryberg Jensen	16/6/93	Kurt Jensen	Usage parameter Control Algorithms in Higher Speed Networks	571
572	Henning Clausen	16/6/93	Kurt Jensen	Usage parameter Control Algorithms in Higher Speed Networks	572
573	Morten Dahl	21/6/93	Sven Skyum	Delaunay diagrammer i planen	573
574	Knud Mikael Nyvang Knudsen	21/6/93	Erik Meineche Schmidt		574
575	Kirsten Larsen	21/6/93	Erik Meineche Schmidt	I/O-complexity of comparison and permutation problems	575
576	Ole Bak Jensen	19/7/93	Brian Henry Mayoh	Visuel Programmering i Billedbehandling - VIBB	576
577	Lars Peter Abildskov	22/7/93	Brian Henry Mayoh	Virtual Reality og den talende handske	577
578	Michael Troelsen	31/7/93	Ivan Damgaard	Elliptiske kurver og nogle anvendelser i kryptografien	578
579	Ejner Tatari	31/7/93	Ivan Damgaard	Elliptiske kurver og nogle anvendelser i kryptografien	579
580	Per Lynge Kristoffersen	4/8/93	Ole Caprani	Parallelisering af algoritme til genkendelse af håndskrevne cifre	580
581	Bjarne Hansen	5/8/93	Jens Kristian Kjærgaard		581
582	Jacob Seligmann	31/8/93	Ole Lehrmann Madsen	Incremental Mature Garbage Collection	582
583	Steffen Grarup	31/8/93	Ole Lehrmann Madsen	Incremental Mature Garbage Collection	583
584	Pia Lund	14/10/93	Susanne Bødker	Den daglige brug af WordPerfect i Arbejdstilsynet - hvordan kan man understøtte arbejdets udvikling	584
585	Christen Jørgen Christensen	1/11/93	Brian Henry Mayoh		585
586	Torben Brauner	26/11/93	Glynn Winskel		586
587	Lars Allan Arge	29/11/93	Erik Meineche Schmidt		587
588	Bettina Blaaberg Sørensen	29/11/93	Glynn Winskel		588
589	Allan Cheng	29/11/93	Mogens Nielsen		589
590	Lars Peter Larsen	8/12/93	Brian Henry Mayoh	Design af LLExpert - en ekspertsystemskal og implementation af LLExpert p - en prototype på LLExpert	590
591	Lars Søderman Eskildsen	8/12/93	Brian Henry Mayoh		591
592	Lars Peter Andersen	15/12/93	Brian Henry Mayoh	Experimenter omkring Exponentierings-Algoritmer	592
593	Mikael Christian Varrild Flensborg	15/12/93	Brian Henry Mayoh		593
594	Nikolaj Nederby	16/12/93	Ole Caprani	Effektiv Automatisk Verifikation	594
595	Mikael Nygård	16/12/93	Ole Caprani	Effektiv Automatisk Verifikation	595
596	Jens Hørup Jensen	22/12/93	Brian Henry Mayoh	Klassifikation af træ	596
597	Søren Hilmer Pedersen	22/12/93	Brian Henry Mayoh	Klassifikation af træ	597
598	Christian Clausen	17/1/94	Mogens Nielsen		598
599	Torben Petersen	18/1/94	Brian Henry Mayoh	En Genetisk Algoritme til Reduktion af Bools Algebra med henblik på VLSI Implementation	599
600	Ole Helbo	18/1/94	Ole Caprani	Parallelisering af algoritme til genkendelse af håndskrevne cifre	600
601	Soudabeh Sardarpour?Goodarzi	19/1/94	Susanne Bødker		601
602	Torben Bach Pedersen	24/1/94	Ole Caprani	Effektiv Automatisk Verifikation	602
603	Peter Ørbæk	25/1/94	Peter Mosses	Analysis and Optimization of Actions	603
604	Claus Aggerholm Sørensen	8/2/94	Ole Caprani	Genetiske algoritmer og global funktionsoptimering	604
605	Torben Vestergaard Blach	8/2/94	Ole Caprani	Genetiske algoritmer og global funktionsoptimering	605
606	Hosein Askari	7/4/94	Michael I. Schwartzbach	Implicit Typing for Turbo Pascal - teknikker og deres anvendelse	606
607	Ole Ildsgaard Hougaard	7/4/94	Michael I. Schwartzbach		607
608	Anders Tvedt	18/4/94	Michael I. Schwartzbach	Partial Products and their Implementation	608
609	Kristian Lippert	18/4/94	Michael I. Schwartzbach	Partial Products and their Implementation	609
610	Søren Hvidberg Christensen	20/4/94	Erik Meineche Schmidt	Dynamiske Grafalgoritmer - teknikker og deres anvendelse	610
611	Carsten Bjerring	20/4/94	Erik Meineche Schmidt	Dynamiske Grafalgoritmer - teknikker og deres anvendelse	611
612	Ejnar Steffensen	5/5/94	Brian Henry Mayoh	Kamera kalibrering	612
613	Lisbeth Vlk	5/5/94	Brian Henry Mayoh		613
614	Jan Hvid Sørensen	6/5/94	Erik Meineche Schmidt	Data Structures and Algorithms for Connectivity	614
615	Mogens Birk Hansen	6/5/94	Erik Meineche Schmidt	Data Structures and Algorithms for Connectivity	615
616	Peter Hübel	16/5/94	Ole Lehrmann Madsen	Multiple Language Systems Sharing BETA and C++ Objects	616
617	Jens Troelsgaard Thorsen	16/5/94	Ole Lehrmann Madsen		617
618	Søren Brandt	30/5/94	Ole Lehrmann Madsen		618
619	Michael Kjærgaard Sørensen	13/6/94	Sven Skyum	Abstrakte Voronoi diagrammer med huller	619
620	Farshid Shaikhrezai	13/6/94	Brian Henry Mayoh	A Blackboard Architecture for X-ray Image Understanding	620
621	Jesper Rosenlund Nielsen	13/6/94	Erik Meineche Schmidt	Distribuerede datastrukturer i distribuerede systemer med dynamisk topologi	621
622	Søren Weeke	13/6/94	Erik Meineche Schmidt	Distribuerede datastrukturer i distribuerede systemer med dynamisk topologi	622
623	Kim Fisker	14/6/94	Ole Caprani	Rekonstruktion af slægtskabs forhold baseret på DNA strenge	623
624	Martin Faurby	14/6/94	Peter Møller-Nielsen	Syntese af integrerede kredse baseret på program-prototyper	624
625	Jens Middelfart	15/6/94	Jørgen Lindskov Knudsen	GLEIPNER - a Framework for Supporting Constraint Object Oriented Programming in BETA	625
626	Lars Hvidegaard	15/6/94	Jørgen Lindskov Knudsen, Ole Caprani	Visualisering af implicitte flader ved hjælp af ray tracing	626
627	Mikkel Mølgaard Mortensen	15/6/94	Jørgen Lindskov Knudsen, Ole Caprani	Visualisering af implicitte flader ved hjælp af ray tracing	627
628	Thomas Schneider	15/6/94	Jørgen Lindskov Knudsen, Ole Caprani	Visualisering af implicitte flader ved hjælp af ray tracing	628
629	Erik Pedersen	16/6/94	Ole Caprani	Parallel programmering på arbejdsstationer - en undersøgelse af PVM's anvendelse og effektive brug på klynger af arbejdsstationer	629
630	Anders Kristensen	16/6/94	Ole Lehrmann Madsen	Object-Oriented Group Communication in Beta	630
631	Kell Sønnichsen	16/6/94	Ole Caprani	Parallel programmering på arbejdsstationer - en undersøgelse af PVM's anvendelse og effektive brug på klynger af arbejdsstationer	631
632	Steen Ladegaard Knudsen	21/6/94	Brian Henry Mayoh	Ockham's Razor Drawn against Overfitted Neural Nets - A Quest for the Glorious Features	632
633	Peter Dalsgaard	21/6/94	Brian Henry Mayoh	Speaker Verification using Neural Networks applied in Telecommunication Services	633
634	Jakob Eyvind Bardram	23/6/94	Susanne Bødker	Fra interface til interaktion	634
635	Martin Broch Pedersen	23/6/94	Susanne Bødker	Fra interface til interaktion	635
636	Kim Jakobsen	23/6/94	Ole Lehrmann Madsen	Eksperimentel indplacering af objektdiagrammer i reverse engineering sammenhæng	636
637	Michael Christensen	23/6/94	Ole Lehrmann Madsen	Eksperimentel indplacering af objektdiagrammer i reverse engineering sammenhæng	637
638	Benny Skov	24/6/94	Peter Landrock	Kryptering i EDIFACT	638
639	Jesper Schmidt	24/6/94	Erik Meineche Schmidt	Dynamiske Grafalgoritmer - teknikker og deres anvendelse	639
640	Heidi Pedersen	24/6/94	Peter Landrock	Kryptering i international kommunikation med overvågning	640
641	Kirsti Kruse	24/6/94	Peter Landrock	Kryptering i international kommunikation med overvågning	641
642	Kaj Aage Jensen	27/6/94	Brian Henry Mayoh	Simuleret skovbrandsbekæmpelse - et eksempel på genetisk baseret maskinindlæring	642
643	Peter Rolann Arentoft	27/6/94	Brian Henry Mayoh	Simuleret skovbrandsbekæmpelse - et eksempel på genetisk baseret maskinindlæring	643
644	Hans Lohmann Jayatissa	28/7/94	Ole Lehrmann Madsen		644
645	Kim Kortermand Hansen	8/8/94	Brian Henry Mayoh	Observing, Understanding, and Controlling the Genetic Method on a Neural Network Application	645
646	Keld Lyngsø Andersen	15/8/94	Morten Kyng	Systemudvikling - en værktøjskasse	646
647	Britta Lindbjerg Tønning	15/8/94	Morten Kyng	Systemudvikling - en værktøjskasse	647
648	Claus Winther Rasmussen	15/8/94	Morten Kyng		648
649	Thorleif Nielson	31/8/94	Hanne Riis Nielson	Semantik-bevarende program-transformationer i en typet lambda-kalkyle	649
650	Erik Futtrup Sørensen	13/9/94	Susanne Bødker	Objekt-Orienteret Brugergrænsefladedesign	650
651	Anders Harder	15/9/94	Erik Meineche Schmidt	Upper and Lower Bounds in the LSA Model	651
652	Brian Lykkegård Karlsen	7/10/94	Brian Henry Mayoh		652
653	Ali Reza Kian Abolfazlian	9/11/94	Brian Henry Mayoh	On Selective Attention in the Auditory Domain - A Hybrid Coctail Party Listner	653
654	Thore Husfeldt	24/11/94	Sven Skyum		654
655	Gerth Stølting Brodal	24/11/94	Erik Meineche Schmidt	Complexity of Data Structures	655
656	Kjeld Høyer Mortensen	25/11/94	Kurt Jensen		656
657	Tommy Rudmose Hansen	16/1/95	Kurt Jensen, Søren Christensen	Optimising a Coloured Petri Net Simulator	657
658	Torben Bisgaard Haagh	16/1/95	Kurt Jensen, Søren Christensen	Optimising a Coloured Petri Net Simulator	658
659	Jesper Buhl	16/1/95	Peter Mosses	Communicative action semantics	659
660	Afshin Foroughipour	18/1/95	Kurt Jensen	Construction of the OS-graph with Permutation Symmetries of a Coloured Petri Net using Algebraic Algorithms	660
661	Anne Birte Jørgensen	18/1/95	Brian Henry Mayoh	Kostplanlægning og case-based planlægning	661
662	Mehran Nourbakhsh	18/1/95	Brian Henry Mayoh	Styring af en Kunstig Hånd ved hjælp af Neurale Netværk	662
663	Khosrow Jafehvand	18/1/95	Brian Henry Mayoh	Styring af en Kunstig Hånd ved hjælp af Neurale Netværk	663
664	Ali Alizadeh Khasmakhi	19/1/95	Brian Henry Mayoh		664
665	Michael Hjortshøj Pedersen	19/1/95	Brian Henry Mayoh	Korn klassificering ved brug af Fuzzy Logic og Neurale Netværk	665
666	Ralf Mattethat	23/1/95	Jørgen Lindskov Knudsen, Ole Caprani	Parallelisering af reaction-diffusion modellen	666
667	Morten Damgaard	23/1/95	Jørgen Lindskov Knudsen, Ole Caprani	Parallelisering af reaction-diffusion modellen	667
668	Ivan Høy	23/1/95	Ole Caprani	Duplikationer i DNA- og proteinstrenge	668
669	Morten Ingolf Skifter Jensen	25/1/95	Susanne Bødker	Objekt-Orienteret Brugergrænsefladedesign	669
670	Flemming Andersen	10/3/95	Jørgen Lindskov Knudsen	Automatisk registrering og sammenlægning af MR, CT og PET Skanningsbilleder af hjernen ved symmetribetragtninger af en kraftfeltmodel	670
671	Helle Majbritt Jensen	25/1/95	Gudmund Frandsen	Beregning af mindste udspændende træ med anvendelse af parallelisme og randomisering	671
672	Klaus Lisberg Kristensen	25/1/95	Jørgen Lindskov Knudsen	A Study of Realistic Illumination in Computer Graphics	672
673	Christian Pierre Didier Gautier	25/1/95	Jørgen Lindskov Knudsen	A Study of Realistic Illumination in Computer Graphics	673
674	Anne Kirsten Mølle	26/1/95	Jørgen Lindskov Knudsen	TK-VEV et rastergrafisk edb-værktøj til design	674
675	Jan Sander Jensen	26/1/95	Jørgen Lindskov Knudsen, Ole Lehrmann Madsen	Conference systems	675
676	Henrik Svanberg	26/1/95	Jørgen Lindskov Knudsen, Ole Lehrmann Madsen	Conference systems	676
677	Henrik Kjær Nielsen	26/1/95	Erik Meineche Schmidt	Gibbs Sampling in the Context of Hierarchical Models	677
678	Søren Bøgh Lassen	10/3/95	Peter Mosses		678
679	Anders Bertil Rodell	10/3/95	Jørgen Lindskov Knudsen	Automatisk registrering og sammenlægning af MR, CT og PET Skanningsbilleder af hjernen ved symmetribetragtninger af en kraftfeltmodel	679
680	Ove Berg Risum	14/6/95	Brian Henry Mayoh	Revision af teorier med Genetisk Programmering	680
681	Bo Bergholdt Madsen	14/6/95	Brian Henry Mayoh	Revision af teorier med Genetisk Programmering	681
682	Jørgen Greve	14/6/95	Michael I. Schwartzbach	Type inference of BETA	682
683	Jens Cornelius Olsen	14/6/95	Michael I. Schwartzbach	Type inference of BETA	683
684	Christian Otkjær	14/6/95	Olivier Danvy	Language design through extension	684
685	Jais Lytje Hansen	14/6/95	Olivier Danvy	Language design through extension	685
686	Ebbe Jakobsen	15/6/95	Peter Møller-Nielsen, Jørgen Lindskov Knudsen	Morphing algoritmen og dens implementering i VLSI	686
687	Nils Bundgaard	15/6/95	Morten Kyng	On representations and models in computer system development	687
688	Kim Oechsle Hansen	16/6/95	Brian Henry Mayoh	Practical applications of Virtual Reality & Implementation of a VR interface for an emergency management training system - including technological status	688
689	Henrik Hautop Lund	16/6/95	Brian Henry Mayoh		689
690	Ole Østergaard	16/6/95	Brian Henry Mayoh	Practical applications of Virtual Reality & Implementation of a VR interface for an emergency management training system - including technological status	690
691	Peter Gravild Korning	19/6/95	Martin Møller		691
692	Carsten Teichert	19/6/95	Martin Møller	Viden i Neurale Netværk	692
693	Stefan Hebsgaard	19/6/95	Martin Møller		693
694	Jan Toksvig	20/6/95	Søren Christensen	Design and implementation of a place invariant tool for coloured petri nets	694
695	Christian Lynbech	4/8/95	Peter Mosses		695
696	Thomas Sølling	25/8/95	Jørgen Lindskov Knudsen	Segmentering i Magnetisk Resonans billeder ved brug af den aktiv-kontur baserede Segment algoritme	696
697	Kim Vestergaard	25/8/95	Jørgen Lindskov Knudsen	Segmentering i Magnetisk Resonans billeder ved brug af den aktiv-kontur baserede Segment algoritme	697
698	Helge Vad	6/10/95	Brian Henry Mayoh	Kinematisk begrundet vidensrepræsentation	698
699	Esben Andreas Dalsgaard	11/10/95	Susanne Bødker	En analyse af to metoder til planlægning af forandringer	699
700	Kim Sunesen	5/12/95	Mogens Nielsen		700
701	Ole Carstensen	6/12/95	Gudmund Frandsen	Parallelisering af P-hårde problemer på en PRAM	701
702	Tommy Thorn	16/1/96	Olivier Danvy	A Symbolic Approach to Binding-Time Analysis	702
703	Rico Werni Steenfeldt	16/1/96	Ivan Damgaard	Identity Based System	703
704	Morten Klitgaard Friis	16/1/96	Ivan Damgaard	Identity Based System	704
705	Theis Rauhe	16/1/96	Gudmund Frandsen	Dyck-sprogene - dynamiske algoritmer og deres kompleksitet	705
706	Mejar Singh	17/1/96	Kurt Jensen, Søren Christensen	Designing and Analysing a Security System by means of Coloured Petri Nets	706
707	Jens Linneberg Rasmussen	17/1/96	Kurt Jensen, Søren Christensen	Designing and Analysing a Security System by means of Coloured Petri Nets	707
708	Aksel Jørgensen	18/1/96	Kurt Jensen, Søren Christensen	VLSI-modellering med Farvede Petri Net	708
709	Claus Hemberg Jørgensen	18/1/96	Kurt Jensen, Søren Christensen	VLSI-modellering med Farvede Petri Net	709
710	Michael Thomsen	22/1/96	Susanne Bødker	Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling	710
711	Niels Esge Rasmussen	22/1/96	Jørgen Lindskov Knudsen	CPN formalisering som repræsentation af BETA programmer	711
712	Jens Hedegaard Hykkelbjerg	23/1/96	Sven Skyum		712
713	Allan Vadskjær Severinsen	23/1/96	Sven Skyum		713
714	Lars Andersen	23/1/96	Peter Møller-Nielsen	Computer generede billeder baseret på simulation af menneskelig hud	714
715	Carsten Pedersen	23/1/96	Jens Palsberg	Generation of Class Graphs from Adaptive Programs	715
716	Dan Nødskouv Christensen	24/1/96	Brian Henry Mayoh	Fraktal Kompression of Fraktale Mål	716
717	Jan Riis Nielsen	24/1/96	Brian Henry Mayoh	Fraktal Kompression of Fraktale Mål	717
718	Peder Overgaard Pedersen	24/1/96	Brian Henry Mayoh	Web Extractor - Processing of Spider Web Images	718
719	Morten Buhr	24/1/96	Brian Henry Mayoh	Aesthetics of Newspaper Layout	719
720	Lars Jacobsen	15/3/96	Kaj Grønbæk	Udvikling af hypermediastøtte for digitaliseret video	720
721	Rasmus Munk Larsen	7/6/96	Ole Caprani		721
722	Rene Wenzel Schmidt	15/5/96	Ole Lehrmann Madsen		722
723	Henrik Bærbak Christensen	11/6/96	Ole Lehrmann Madsen		723
724	Klaus Bucka-Lassen	17/6/96	Ole Caprani	Heuristiske metoder til multipel sekvens alignment	724
725	Jesper Lauridsen	17/6/96	Gudmund Frandsen	Dynamic Text Editing	725
726	Peter Zacho	17/6/96	Ivan Damgaard	Design og implementering af et autentifikations- og autorisationssystem	726
727	Thomas Jürgensen	17/6/96	Ivan Damgaard	Design og implementering af et autentifikations- og autorisationssystem	727
728	Simon Hieronymus Laub	18/6/96	Brian Henry Mayoh	Evolutionary Ideas and Artificial Life	728
729	Hans Sølvsten Damgaard	18/6/96	Brian Henry Mayoh	Lokalisering og genkendelse af ansigter	729
730	Bo Pedersen	18/6/96	Brian Henry Mayoh	Processing Natural Language with Harmony Functions and Canonical Syntax	730
731	Søren Skyum	18/6/96	Gudmund Frandsen	Dyck-sprogene - dynamiske algoritmer og deres kompleksitet	731
732	Hans Køhling Pedersen	19/6/96	Brian Henry Mayoh	A Framework for Interactive Texturing on Curved Surfaces	732
733	Per Knudsgaard	19/6/96	Brian Henry Mayoh	Genkendelse af sammenhængende ord i tale	733
734	Lars Handrup	19/6/96	Brian Henry Mayoh	3D objektgenkendelse i dybdebilleder	734
735	Christian Norup	19/6/96	Brian Henry Mayoh	Opmåling af maskestørrelser i selektionspaneler	735
736	Christian Vinther	20/6/96	Ole Caprani	Efficiency of the PVM on Different Architectures - a Case Study	736
737	Morten Hoffmann Sørensen	20/6/96	Michael I. Schwartzbach	Rutebeskrivelser i C	737
738	Søren Møllebjerg	21/6/96	Martin Møller	Finansielle forudsigelser v. h. a. neurale net	738
739	Christian Peter Rybak Bækdorf	21/6/96	Martin Møller		739
740	Knud Åge Hansen	21/6/96	Brian Henry Mayoh	Korn klassificering ved brug af Fuzzy Logic og Neurale Netværk	740
741	Afsar Jalali	21/6/96	Brian Henry Mayoh	A Suitable Neural Network Architecture for Recognition of Machine Printed Symbols	741
742	Jakob Mathiasen	25/6/96	Kaj Grønbæk	Udvikling af hypermediastøtte for digitaliseret video	742
743	Lars Høgsted Andersen	25/6/96	Morten Kyng	Evaluering af et fastprisprojekt - om estimering og kvalitetsstyring	743
744	Niels Olof Bouvin	28/6/96	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	744
745	Klaus Seidenfaden	1/8/96	Kaj Grønbæk	On the Design of Browsing and Orientation Support for Dexter-based Hypermedia	745
746	Helle Krogh Kristensen	25/11/96	Kaj Grønbæk	Edb i undervisningen - et anvendelsesorienteret og undervisningsteoretisk perspektiv	746
747	Ole Jakob Lundager Jensen	13/1/97	Michael I. Schwartzbach		747
748	Michael Edgar Jørgensen	13/1/97	Michael I. Schwartzbach		748
749	Chris Ranzau Hansen	13/1/97	Ole Lehrmann Madsen	Versions- og konfigurationsstyring i objekt-orienterede databaser	749
750	Peer Gunnar Duschner	14/1/97	Mogens Nielsen	A Discrete Responsiveness Framework for Concurrent Processes	750
751	Lone Overgaard	14/1/97	Sven Skyum	Steinertræer i orienterede grafer	751
752	Ole Skydtsgaard Nielsen	14/1/97	Sven Skyum	Majoritets- og medianproblemer	752
753	John Vestergaard Nielsen	17/1/97	Susanne Bødker	Evaluering af brugergrænsefladen for Devise Hypermedia	753
754	Nikolaj Kolte	17/1/97	Susanne Bødker	Evaluering af brugergrænsefladen for Devise Hypermedia	754
755	Thomas Stidsen	17/1/97	Brian Henry Mayoh	Hybrid Systems - Genetic Algorithms, Neural Networks, and Fuzzy Logic	755
756	Martin Schmidt	17/1/97	Brian Henry Mayoh	Hybrid Systems - Genetic Algorithms, Neural Networks, and Fuzzy Logic	756
757	Bjarke Bisgaard Blendstrup	22/1/97	Peter Møller-Nielsen	PVMbuilder - et grafisk værktøj til parallelprogrammering	757
758	Jan Bækgaard Pedersen	22/1/97	Peter Møller-Nielsen	PVMbuilder - et grafisk værktøj til parallelprogrammering	758
759	Hans Christian Pedersen	22/1/97	Brian Henry Mayoh	Dusty Pictures - Study of Applying Dust to a Ray-Tracer	759
760	Morten Sabroe Mortensen	22/1/97	Gudmund Frandsen	Engineering of a Graphical Engine for Visualizing Virtual Environments - A Solution Within the Paradigm of Algorithm Engineering	760
761	Jesper Jensen	23/1/97	Kaj Grønbæk, Kurt Jensen	Anvendelse af Farvede Petri Net i en object-orienteret metode	761
762	Peter Rene Schmidt Høggaard	23/1/97	Kaj Grønbæk, Kurt Jensen		762
763	Jan Hansen	23/1/97	Jørgen Lindskov Knudsen	Atomare datatyper	763
764	Sharmila Rajani Lassen	23/1/97	Hanne Riis Nielson	Static Processor Allocation for CML	764
765	Anders Bækgaard Sandholm	23/5/97	Michael I. Schwartzbach		765
766	Jesper Gulmann Henriksen	4/6/97	Mogens Nielsen		766
767	Lars Michael Kristensen	10/6/97	Kurt Jensen		767
768	Thomas Troels Hildebrandt	10/6/97	Glynn Winskel		768
769	Christian Nørgaard Storm Pedersen	10/6/97	Sven Skyum		769
770	Rune Bang Lyngsø	10/6/97	Ole Caprani		770
771	John Brøndum	18/6/97	Jørgen Lindskov Knudsen	Debugging Distributed BETA Programs	771
772	Søren Bak Larsen	18/6/97	Kaj Grønbæk	Hypermedia Agents - Towards a Protocol for Mediating Contents and Structure Search in Open Hypermedia Systems	772
773	Jan Rene Vestergaard	18/6/97	Olivier Danvy	From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation	773
774	Martin Jacob Rehder	18/6/97	Brian Henry Mayoh	Predicting Forest Animal Movement Using AI Methods	774
775	Torben Koch	20/6/97	Preben Mogensen	CSCW i praksis - Lotus Notes i et shipping-firma	775
776	Ulrik Pagh Schultz	20/6/97	Olivier Danvy	Implicit and Explicit Aspects of Scope and Block Structure	776
777	Anders Thorbjørn Jensen	26/6/97	Kaj Grønbæk	Udvikling af en stimekanisme til WWW	777
778	Jesper Jühne	26/6/97	Kaj Grønbæk	Udvikling af en stimekanisme til WWW	778
779	Rene Schade	26/6/97	Ole Lehrmann Madsen	Midgård - En dynamisk programmeringsomgivelse baseret på ekstensibilitet	779
780	Henrik Røn	26/6/97	Ole Lehrmann Madsen	Midgård - En dynamisk programmeringsomgivelse baseret på ekstensibilitet	780
781	Jørg Olaf Schneider	27/6/97	Ole Lehrmann Madsen		781
782	Tue Jakobsen	27/6/97	Hanne Riis Nielson	Path Reduction and Graph Reduction for the Lambda Calculus	782
783	Ann Christina Nielsen	20/10/97	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
784	Marianne Graves Petersen	30/10/97	Kaj Grønbæk	Towards Usability Evaluation of Multimedia Applications - Experiences from an Empirical Study of Current Evaluation Methods	784
785	Jakob Vogdrup Hansen	16/12/97	Brian Henry Mayoh		785
786	Benny Rene Frederiksen	19/1/98	Ivan Damgaard		786
787	Astrid Benedicte Meldgaard Madsen	19/1/98	Ivan Damgaard		787
788	Torben Slaikjer	19/1/98	Peter Møller-Nielsen		788
789	Søren Brian Carlsen	20/1/98	Ole Caprani	Et annoteret WWW værktøj til løsning af biologiske sekvens problemer	789
790	Stephan Erbs Korsholm	20/1/98	Ole Lehrmann Madsen		790
791	Aino Cornils	20/1/98	Ole Lehrmann Madsen	Theory of Language Support for Design Patterns	791
792	Ellen Birgitte Agerbo Jensen	20/1/98	Ole Lehrmann Madsen	Theory of Language Support for Design Patterns	792
793	Brian Bek Jensen	21/1/98	Ole Lehrmann Madsen	HUGIN - An ODMG Framework for Java and RDB's	793
794	Johanna Wiederhold Tind	21/1/98	Ole Lehrmann Madsen	A Multi-User Persistence Framework - Building Customized Database Solutions Using the BETA Persistens Store	794
795	Morten Lauritsen	21/1/98	Ole Caprani	Et annoteret WWW værktøj til løsning af biologiske sekvens problemer	795
796	Richard Jørgensen	21/1/98	Ole Caprani		796
797	Søren Cramer Christiansen	22/1/98	Ole Caprani		797
798	Jakob Fredslund	22/1/98	Ole Caprani	Intelligent adfærd uden intelligens	798
799	Leon Mortensen	22/1/98	Peter Møller-Nielsen	MBP: Multiparty Broadcast Protocol	799
800	Nis Peder Bonde	22/1/98	Peter Møller-Nielsen	MBP: Multiparty Broadcast Protocol	800
801	Henrik Petersen	26/1/98	Peter Møller-Nielsen	Generering af netlister fra Occam-modeller af integrerede kredsløb	801
802	Anders Juul Nielsen	26/1/98	Preben Mogensen		802
803	Henrik Enstrøm	26/1/98	Glynn Winskel		803
804	Lars Winther Madsen	26/1/98	Brian Henry Mayoh	Neurale netværk og forudsigelse af tidsrækker	804
805	Henrik Behrens Jensen	27/1/98	Susanne Bødker		805
806	Rune Raunow	27/1/98	Susanne Bødker		806
807	Hanne Gottliebsen	28/1/98	Peter Mosses	Combinatory Reduction Systems and Natural Semantics	807
808	Morten Rhiger	28/1/98	Olivier Danvy	A Study in Higher-Order Programming Languages	808
809	John Rasmussen	28/1/98	Mogens Nielsen	Implementation of realtime CCS	809
810	Asger Sporring	28/1/98	Brian Henry Mayoh	Evolvable Hardware - Designing Chips, from Top to Bottom	810
811	Morten Flink	29/1/98	Brian Henry Mayoh		811
812	Mikkel Arentoft	29/1/98	Brian Henry Mayoh	Developing a Robot Controller using Genetic Programming on Decision Trees	812
813	Simeon Falk Sheye	29/1/98	Jan Depenau	Ensemble Techniques and Neural Networks	813
814	Stig Larsen	29/4/98	Peter Møller-Nielsen	Effektivisering af programmer til behandling af digitaliseret lyd	814
815	Kresten Krab Thorup	4/6/98	Ole Lehrmann Madsen		815
816	Jesper Frandsen	22/6/98	Jørgen Lindskov Knudsen	Towards Automatic Segmentation, Visualization and Animation of Cerebral Arteries	816
817	Christian Vandsø Andersen	22/6/98	Jørgen Lindskov Knudsen	Towards Automatic Segmentation, Visualization and Animation of Cerebral Arteries	817
818	Krister Grønhøj	22/6/98	Jørgen Lindskov Knudsen	3D-visualisering af software strukturer	818
819	Peter Petersen	22/6/98	Ole Lehrmann Madsen	Software Components and Development Tools	819
820	Kåre Kjelstrøm	22/6/98	Ole Lehrmann Madsen	Software Components and Development Tools	820
821	Anders Marager	23/6/98	Susanne Bødker	Shopfloor CSCW - Et studie af edb-systemer og den organisationelle kontekst med et rekvisitionssystem til sygehuskøkkener som case	821
822	Peter Grassme Binderup	23/6/98	Sven Skyum		822
823	Jesper Just	23/6/98	Olav Bertelsen		823
824	Lars Ræder Clausen	23/6/98	Olivier Danvy	Intensional and Extensional Aspects of Java byte code	824
825	Lars Vestergaard Kragelund	24/6/98	Brian Henry Mayoh		825
826	Peter Andersen	23/6/98	Ole Caprani	Evolvable Hardware - Artificial Evolution of Hardware Design - in Simulation and Reality	826
827	Torben Flytkjær Kabel	24/6/98	Brian Henry Mayoh		827
828	Jakob Pagter	3/12/98	Erik Meineche Schmidt		828
829	Mads Torgersen	11/12/98	Ole Lehrmann Madsen		829
830	Thomas Hune	11/12/98	Mogens Nielsen		830
831	Bo Frederiksen	20/1/99	Ole Lehrmann Madsen	Framework for Embedded Systems - a Case Study and Tool Support	831
832	Klaus Langgaard Jensen	20/1/99	Ole Lehrmann Madsen	Framework for Embedded Systems - a Case Study and Tool Support	832
833	Anders Jacob Truelsen	21/1/99	Ole Lehrmann Madsen	Synchronising Distributed Concurrent Objects	833
834	Claus Ågård Pedersen	21/1/99	Kaj Grønbæk	Cooperative Authoring Using Open Spatial Hypermedia	834
835	Olavur Heri Reinert	21/1/99	Kaj Grønbæk	Cooperative Authoring Using Open Spatial Hypermedia	835
836	Dirk Bucka-Lassen	21/1/99	Kaj Grønbæk	Cooperative Authoring Using Open Spatial Hypermedia	836
837	Sebastian Lukas Arne Czort	22/1/99	Peter Bro Miltersen	The Complexity of Minimizing Disjunctive Normal Form Formulas	837
838	Henrik Rosenberg Rasmussen	22/1/99	Kaj Grønbæk	The Integrator Framework - Supporting Web Base Access to Distributed Heterogeneous Databases	838
839	Mikkel Verner Nielsen	22/1/99	Kaj Grønbæk	Mod en teknik til lagbaseret udforskning af søgesvar i digitale biblioteker	839
840	Søren Pingel Dalsgaard	25/1/99	Jørgen Lindskov Knudsen	Just-in-Time Compilation for Processor Simulation	840
841	Thomas Peter Erich Hohn	25/1/99	Jørgen Lindskov Knudsen	Design and Implementation of an ODMG Language Binding for BETA	841
842	Emmanouil Marinos	26/1/99	Michael I. Schwartzbach	WIG Database	842
843	Claus Rasmussen Brabrand	26/1/99	Michael I. Schwartzbach	Synthesizing Safety Controllers for Interactive Web Services	843
844	Morten Værum	26/1/99	Michael I. Schwartzbach	A Web Programming Survey	844
845	Morten Bach Møller	27/1/99	Ole Caprani		845
846	Finn Pedersen	27/1/99	Kurt Jensen	Modellering af validering af en cache coherence protokol	846
847	Belmina Dzafic	27/1/99	Olivier Danvy	Formalizing Program Transformations	847
848	Mikkel Thomas Tjørnfelt-Jensen	28/5/99	Brian Henry Mayoh		848
849	Niels Damgaard	4/6/99	Michael I. Schwartzbach		849
850	Thomas Randers Jensen	14/6/99	Brian Henry Mayoh	Solving a Real Life Scheduling Problem Using Evolutionary Algorithms	850
851	Kim Kristensen	14/6/99	Brian Henry Mayoh	Solving a Real Life Scheduling Problem Using Evolutionary Algorithms	851
852	Flemming Friche Rodler	14/6/99	Brian Henry Mayoh		852
853	Jørgen Bang Erichsen	15/6/99	Brian Henry Mayoh	Three EA Techniques for Constrained Parameter Optimization Problems	853
854	Jacob Elgaard	15/6/99	Michael I. Schwartzbach	Verifying C Pointer Programs Using Monadic Second-Order Logic	854
855	Dan Witzner Hansen	15/6/99	Brian Henry Mayoh	Stereo og Alternative Kameraer i Datamatsyn	855
856	Ulrik Skyt	17/6/99	Michael I. Schwartzbach	Compiler Directed Memory Coherence for Parallel Computing	856
857	Henrik Lautrup	17/6/99	Michael I. Schwartzbach	A Web Programming Survey	857
858	Lisa Marie Wells	18/6/99	Søren Christensen		858
859	Bo Lindstrøm	18/6/99	Søren Christensen	Performance Analysis using Coloured Petri Nets	859
860	Anette Christensen	18/6/99	Kurt Jensen	Design og Analyse af et Busallokeringssystem ved brug af Farvede Petri Net	860
861	Morten Heiberg Rasmussen	21/6/99	Peter Bro Miltersen	An Adaption of Zerotree Coding Techniques to Wavelet Packet Image Compression	861
862	Lars Ulrik Pedersen	21/6/99	Sven Skyum	Et overblik over lavrate video komprimering	862
863	Jacob Grydholt Jensen	21/6/99	Flemming Nielson	Flow Logics for Mobile Agents	863
864	Rene Rydhof Hansen	21/6/99	Flemming Nielson	Flow Logics for Mobile Agents	864
865	Jes Hvoldal Nielsen	22/6/99	Henrik Hautop Lund	Adaptive Pet Robots	865
866	Kasper Støy	22/6/99	Henrik Hautop Lund	Adaptive Control Systems for Autonomous Robots	866
867	Michael Nielsen	22/6/99	Henrik Hautop Lund	Adaptive Pet Robots	867
868	Claus Hjort Bjerre	22/6/99	Henrik Hautop Lund	Adaptive Pet Robots	868
869	Niels Nørgaard Pedersen	22/6/99	Mogens Nielsen	Theorem Proving with Polymorphic Types	869
870	Lasse Reichstein Nielsen	22/6/99	Olivier Danvy	A Denotational Investigation of Defunctionalization	870
871	Anders Egestrøm	23/6/99	Ole Lehrmann Madsen	Mobile Object Systems	871
872	Eric Werk	23/6/99	Brian Henry Mayoh		872
873	Jens Kaas Benner	23/6/99	Brian Henry Mayoh	Automatisk konstruktion af statiske evalueringsfunktioner til ikke-trivielle strategiske brætspil	873
874	Thomas Gjørup	23/6/99	Jørgen Lindskov Knudsen	Exploring Portals in Consumer Class Applications	874
875	Mikkel Yde Kjær	24/6/99	Ole Caprani	Robot-byggesæt til børn	875
876	Rene Schalburg	24/6/99	Brian Henry Mayoh	Table based Neural Networks with examples	876
877	Rasmus Pagh	1/12/99	Peter Bro Miltersen		877
878	Peter Frands Frandsen	21/1/00	Gudmund Frandsen	Rangmaksimering og dynamisk rangberegning	878
879	Tina Olesen	21/1/00	Kurt Jensen	Coloured Petri Nets and state space reduction methods	879
880	Jan-Henrik Paulsen	21/1/00	Søren Christensen	Code generation from coloured Petri Nets	880
881	Thomas Sangild Sørensen	24/1/00	Jørgen Lindskov Knudsen	Visualization of the cardiovascular system in a virtual reality environment for preoperative planning of cardiac surgery	881
882	Jacob Sebastian Winstrup Schmidt	24/1/00	Jørgen Lindskov Knudsen	Stereographic Visualisation of Computational Fluid Dynamics	882
883	Søren Vorre Therkildsen	24/1/00	Jørgen Lindskov Knudsen	Visualization of the cardiovascular system in a virtual reality environment for preoperative planning of cardiac surgery	883
884	Jon Bomme	24/1/00	Jørgen Lindskov Knudsen	Stereographic Visualisation of Computational Fluid Dynamics	884
885	Søren Gregersen	25/1/00	Henrik Hautop Lund	Evolution and learning in robotics	885
886	Henrik Madsen	25/1/00	Henrik Hautop Lund	Evolving a robust and complex control system for an autonomous robot	886
887	Mohammad Saeed Babakhani	25/1/00	Brian Henry Mayoh	Riding a bicycle to a goal using reinforcement learning and shaping	887
888	Tom Pilgård	25/1/00	Michael I. Schwartzbach	Security aspects of web services	888
889	Morten Grouleff	26/1/00	Ole Lehrmann Madsen	A concurrent garbage collector for BETA	889
890	Thomas Arge	26/1/00	Ole Lehrmann Madsen	Aspects of distributed objects - adding distribution to self	890
891	Ulrik Jørgensen	26/1/00	Ole Lehrmann Madsen	Aspects of distributed objects - adding distribution to self	891
892	Oliver Möller	24/2/00	Michael I. Schwartzbach		892
893	Michael Thomsen	30/5/00	Ole Lehrmann Madsen	Systemudvikling som lærevirksomhed- Konflikter som basis for organisationel udvikling	893
894	Christian Heide Damm	30/5/00	Ole Lehrmann Madsen	Component Architectures for Software Development Tools	894
895	Klaus Marius Hansen	31/5/00	Ole Lehrmann Madsen		895
896	Louise Lorentsen	15/6/00	Søren Christensen		896
897	Anders Møller	16/6/00	Michael I. Schwartzbach		897
898	Michael Balieu	26/6/00	Jørgen Lindskov Knudsen	3D Mission Debriefing of F16 Fighter Pilots - An Experimental Prototype Using 3D Stereo Graphics	898
899	Brian Kømmel Nielsen	26/6/00	Jørgen Lindskov Knudsen	3D Mission Debreifing of F16 Fighter Pilots	899
900	Anders Villy Ehrenreich Eriksen	26/6/00	Ole Lehrmann Madsen	Applying Optimisations to an Object Oriented Programming Language	900
901	Flemming Gram Christensen	26/6/00	Ole Lehrmann Madsen	Applying Optimisations to an Object Oriented Programming Language	901
902	Hans Erik Sørensen	26/6/00	Susanne Bødker	Brugbarhedsevaluering ved hjælp af log og dagbog	902
903	Anders Ringsmose	27/6/00	Kasper Østerbye	Primitiver til programmering med mobile objekter i et heterogent, løstkoblet netværk	903
904	John Vibe Grevsen	27/6/00	Ole Caprani	Evolution af mobile robotters kontrolsystemer og morfologier	904
905	Tage Kiilsholm Hansen	27/6/00	Brian Henry Mayoh	Ant Colony Optimization and Job Shop Scheduling - Schedule Robustness and Rescheduling	905
906	Johan Kjeldgaard-Pedersen	27/6/00	Peter Bro Miltersen	On the Complexity of Arithmetical Computation	906
907	Søren Mors	28/6/00	Ivan Damgaard	Zero-knowledge arguments of possession for RC6 encryption keys	907
908	Jesper Blynel	28/6/00	Henrik Hautop Lund	Reinforcement Learning on Real Robots	908
909	Esben Hallundbæk Østergaard	28/6/00	Henrik Hautop Lund		909
910	Gregers Jørgensen	28/6/00	Henrik Hautop Lund	A Survey of Grammar-Based Genetic Programming	910
911	Jørgen Møller Ilsøe	29/6/00	Ole Caprani	Robot kontrolsystemer - eksperimetel undersøgelse af kontrolsystem arkitektur	911
912	Thomas Mailund Jensen	19/12/00	Søren Christensen		912
913	Ole Hedegaard Kristensen	19/1/01	Brian Henry Mayoh		913
914	Rene Thomsen	19/1/01	Thiemo Krink	Introducing Spatial Agent-Based Models and Self-Organised Criticality to Evolutionary Algorithms	914
915	Peter Rickers	19/1/01	Thiemo Krink	Introducing Spatial Agent-Based Models and Self-Organised Criticality to Evolutionary Algorithms	915
916	Lars Kroll Kristensen	19/1/01	Thiemo Krink	Aintz - Collective Problem Solving by Artificial Ants	916
917	Rune Orsval	22/1/01	Peter Møller-Nielsen	Et"Højtalerorkester" - design og implementation af en mange kanalers Phase-Vocoder	917
918	Niels Husted Kjær	22/1/01	Jørgen Lindskov Knudsen	Distributed Seismic Visualisation	918
919	Kaare Bøegh	22/1/01	Jørgen Lindskov Knudsen	Distributed Seismic Visualisation	919
920	Kristian Høgsberg Kristensen	22/1/01	Gerth Stølting Brodal		920
921	Morten Kvistgaard Nielsen	23/1/01	Ole Lehrmann Madsen		921
922	Gustav Seth Wibling	23/1/01	Ole Lehrmann Madsen		922
923	Michael Tyrsted	23/1/01	Ole Lehrmann Madsen	Application Migration in a Pervasive Computing Environment	923
924	Steffen Foldager	24/1/01	Michael I. Schwartzbach	Redigering af regelbaserede XML-dokumenter på Internettet	924
925	Tejs Bomme	24/1/01	Michael I. Schwartzbach	Redigering af regelbaserede XML-dokumenter på Internettet	925
926	Christian Horsdal Pedersen	24/1/01	Peter Bro Miltersen		926
927	Anne Krogh Nielsen	24/1/01	Olav Bertelsen	Shit, now we have to change again - En virksomhedsteoretisk analyse og diskussion af et strategiudviklingsforløb	927
928	Mikkel Nygaard Hansen	7/6/01	Glynn Winskel		928
929	Mads Johan Jurik	14/6/01	Ivan Damgaard		929
930	Jesper Buus Nielsen	14/6/01	Ivan Damgaard		930
931	Anne Vinter Ratzer	22/6/01	Susanne Bødker	Use of Design Principles in Advanced User Interface Design	931
932	Thorbjørn Donbæk	22/6/01	Søren Christensen	Internal Network Security - Defending the Network from the Inside	932
933	Jan Møller	22/6/01	Søren Christensen	Internal Network Security - Defending the Network from the Inside	933
934	Anders Morten Mikkelsen	22/6/01	Søren Christensen	On-The-Fly LTL Model Checking in Design/CNP	934
935	Jesper Bach Larsen	25/6/01	Thiemo Krink	Specialization and Division of Labour in Distributed Autonomous Agents	935
936	Hans Kyndesgaard	25/6/01	Peter Bro Miltersen		936
937	Christian Yndigegn	25/6/01	Kaj Grønbæk	An Open Hypermedia Approach to The Semantic Web	937
938	Rasmus Kjær Ursem	26/6/01	Brian Henry Mayoh/Thiemo Krink		938
939	Jakob Skyberg	27/6/01	Gudmund Frandsen	Redigeringsafstande imellem niveau-strenge	939
940	Jacob Ilsø Christensen	27/6/01	Gudmund Frandsen	Dynamisk Pattern Matching	940
941	Tejs Scharling	27/6/01	Ole Caprani/Christian Nørgaard Storm Pedersen	Gen-identifikation ved sekvens-sammenligning	941
942	Regnar Bang Lyngsø	27/6/01	Ole Caprani	Analysing real-time programs using Design/CPN Case study: LEGO RCX	942
943	Alex Rune Berg	20/12/01	Thiemo Krink/Erik Meineche Schmidt		943
944	Morten Moth Iversen	16/1/02	Ivan Damgaard		944
945	Claus Danielsen	16/1/02	Ivan Damgaard		945
946	Claus Pedersen	16/1/02	Ivan Damgaard		946
947	Per Bering Steffensen	17/1/02	Ole Lehrmann Madsen		947
948	Henrik Kjær Nielsen	17/1/02	Ole Lehrmann Madsen	Distributed Debugging: A Debugging Tool for Jini Applications	948
949	Kim Burgaard	17/1/02	Ulrik Pagh Schultz		949
950	Lars Mellergaard	18/1/02	Peter Møller-Nielsen	Beowulf clusters in a GRID environment	950
951	Walther Fledelius Hansen	18/1/02	Brian Henry Mayoh		951
952	Claus Nicolaj Bendtsen	18/1/02	Thiemo Krink		952
953	Jakob Færch	21/1/02	Søren Christensen		953
954	Peter Christian Ogstrup	21/1/02	Preben Mogensen	Forslag til risikostyringstiltag i offentlige IT-projekter.	954
955	Jan Ernfred Madsen	21/1/02	Preben Mogensen		955
956	Jan Neerbek	22/1/02	Gudmund Frandsen	Lower bounds in the quantum black box model	956
957	Martin Eriksen	22/1/02	Ivan Damgaard		957
958	Finn Larsen	22/1/02	Ivan Damgaard		958
959	Niels Kjær Sørensen	14/6/02	Brian Henry Mayoh	Identification, segmentation and visualization of coronaries from MR scans	959
960	Stefan Sørensen	14/6/02	Søren Christensen	Disk based state space storage for coloured petri nets	960
961	Bjarke Skjernaa	17/6/02	Sven Skyum		961
962	Jesper Makholm Nielsen	17/6/02	Peter Bro Miltersen		962
963	Mette Ravn	18/6/02	Ole Lehrmann Madsen		963
964	Mikkel Ricky	18/6/02	Michael I. Schwartzbach	Automatisk validering af webbaserede formularer	964
965	Andreas Claudi Andersen	18/7/02	Ole Caprani	Motivation networks in game AI - a new angle towards agent behaviour-selection	965
966	Nis Haller Baggesen	19/6/02	Ole Caprani		966
967	Anders Kåre Olsen	19/6/02	JEB	Context aware computing in a pervasive healthcare setting	967
968	Tabita Enig	19/6/02	Olav Bertelsen	Laserpennen som input device	968
969	Robert Knudsen	19/6/02	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	969
970	Lars Rosenberg Nielsen	20/6/02	Thiemo Krink	Intelligent load sharing in NOWs	970
971	Jakob Svaneborg Vesterstrøm	20/6/02	Thiemo Krink		971
972	Jacques Riget	20/6/02	Thiemo Krink	Particle swarms - extensions for improved local, multi-moral, and dynamic search in numerical optimization	972
973	Morten Løvbjerg	21/6/02	Thiemo Krink	Improving particle swarm optimization by hybridization of stochastic search heuristics and self-organized criticality	973
974	Katrine Rauhe de Neergaard Ravn	21/6/02	Jørgen Brandt		974
975	Darya Es Perge A.	21/6/02	Jørgen Brandt		975
976	Lene Bredgaard	24/6/02	Ole Lehrmann Madsen		976
977	Morten D. Mørup	24/6/02	Ole Lehrmann Madsen		977
978	Rasmus Ebler Simonsen	24/6/02	Ole Lehrmann Madsen	Lazy JIT compilation - efficient lazy evaluation and compilation in a JIT compiler for an object oriented virtual machine	978
979	Thomas Brochmann Pedersen	24/6/02	Ivan Damgaard		979
980	Rasmus Rohde	25/6/02	Michael I. Schwartzbach		980
981	Ole Friis Østergaard	25/6/02	Michael I. Schwartzbach		981
982	Mikkel Bjerg	25/6/02	Michael I. Schwartzbach	Static bounds on memory usage in Java programs	982
983	Peter Posselt Vestergaard	25/6/02	Kaj Grønbæk		983
984	Mads Ulrik Kristoffersen	26/6/02	Peter Møller-Nielsen	Evolutionary trained Kohonen networks as classifiers for human utterances	984
985	Troels Grosbøll-Poulsen	26/6/02	Peter Møller-Nielsen	Evolutionary trained Kohonen networks as classifiers for human utterances	985
986	Morten Bek	26/6/02	Peter Møller-Nielsen	Evolutionary trained Kohonen networks as classifiers for human utterances	986
987	Andreas Møller	26/6/02	Brian Henry Mayoh	Believable multi agent systems	987
988	Bolette Ammitzbøll Madsen	10/12/02	Sven Skyum		988
989	Jørgen Iversen	11/12/02	Peter Mosses		989
990	Sara Halleløv	20/1/03	Ole Lehrmann Madsen		990
991	Søren Schmidt Hansen	20/1/03	Ole Lehrmann Madsen		991
992	Shahnam Taibakhsh	20/1/03	Brian Henry Mayoh		992
993	Thomas Peter Kiel Rasmussen	20/1/03	Brian Henry Mayoh	Optimising hidden Markov models for multiple sequence alignment by hybrid particle swarm optimisation	993
994	Thomas Kejser	20/1/03	Kaj Grønbæk	The GAIA framework - toward versioning support in web based open hypermedia systems	994
995	Mads Vanggaard Jensen	21/1/03	Michael I. Schwartzbach		995
996	Peter Juhl Christensen	21/1/03	Ivan Damgaard		996
997	Anders Brodersen	22/1/03	Kaj Grønbæk	Inverse rendering under uncontrolled illumination	997
998	Michael Bang Nielsen	22/1/03	Kaj Grønbæk	Inverse rendering under uncontrolled illumination	998
999	Bent Guldbjerg Christensen	22/1/03	Niels Olof Bouvin	XLink - bridging open hypermedia and the World Wide Web	999
master	ligaard	antilles.daimi.au.dk
1000	Frank Allan Hansen	22/1/03	Niels Oluf Bouvin	XLink - bridging open hypermedia and the World Wide Web	1000
master	ligaard	antilles.daimi.au.dk
1001	Phillipp Gerhardy	23/1/03	Ulrich Kohlenbach		1001
1002	Jan Rise	27/1/03	Christian Storm Pedersen	Analyse og håndtering af genekspressionsdata	1002
1003	Bo Normann Pedersen	27/1/03	Christian Storm Pedersen	Analyse og håndtering af genekspressionsdata	1003
1004	Carsten B. Pedersen	27/1/03	Peter Møller-Nielsen	Affoldning af medicinske billeder	1004
1005	Thomas Bjørn Andersen	27/1/03	Peter Møller-Nielsen	Affoldning af medicinske billeder	1005
1006	Jonas Martin Thomsen	28/1/03	Søren Christensen	Analysis of GSM handover using coloured Petri nets	1006
1007	René Manggaard Jensen	28/1/03	Søren Christensen		1007
1008	Simon Aske Christensen	3/6/03	Michael I. Schwartzbach		1008
1009	Tomas Toft	17/6/03	Ivan Bjerre Damgård	[Sigma]-protocols based on n-one-way group homomorphisms	1009
1010	Jakob Gadegaard Bendixen	17/6/03	Ivan Bjerre Damgård		1010
1011	Thomas Andreasen Ljungberg	17/6/03	Ivan Bjerre Damgård	Implementation and analysis of the arithmetic black box	1011
1012	Jesper Lindholt Ottosen	17/6/03	Henrik Bærbak Christensen	Framework til webbaseret selvbetjening	1012
1013	Søren Louring	18/6/03	Brian Henry Mayoh	Traffic simulation using reinforcement learning	1013
1014	Martin Elmer Jørgensen	18/6/03	Brian Henry Mayoh	Automatic discovery of parallelism and hierarchy in music	1014
1015	Peter Skaarup	18/6/03	Peter Møller-Nielsen		1015
1016	Kasper Dupont	18/6/03	Ivan Bjerre Damgård	Disk encryption and Optimistic threshold RSA signatures	1016
1017	Frank Dabelstein	18/6/03	Peter Møller-Nielsen	Measuring execution characteristics of MPI master/slave programs	1017
1018	Kristoffer Vinther	18/6/03	Gerth Stølting Brodal/Rolf Fagerberg	Engineering cache-oblivious sorting algorithms	1018
1019	Jesper Mosegaard	19/6/03	Peter Møller-Nielsen		1019
1020	Emil Kaae Hansen	19/6/03	Brian Henry Mayoh		1020
1021	Stephanie Elisabeth Fournier Munck	19/6/03	Thiemo Kring	Stochastic L-systems as generative encodings for evolving morphology and behaviour of virtual agents	1021
1022	Eva Troels	20/6/03	Jens Bæk Jørgensen		1022
1023	Henrik Refslund Sørensen	20/6/03	Jens Bæk Jørgensen	Routing and TCP performance in mobile ad hoc networks	1023
1024	Christian Kirkegaard	20/6/03	Michael I. Schwartzbach	Dynamic XML Processing with Static Validation	1024
master	ligaard	antilles.daimi.au.dk
1025	Helle Markmann Andersen	20/6/03	Ulrik Pagh Schultz	Deklarativ specialisering af objektorienterede sprog	1025
1026	Met-Mari Nielsen	23/6/03	Ulrik Pagh Schultz	A language fragment of social antipatterns in systems development	1026
1027	Kim Falk Jørgensen	23/6/03	Ole Lehrmann Madsen	Implementing distributed systems using web service technology	1027
1028	Henry Michael Lassen	23/6/03	Ole Lehrmann Madsen		1028
1029	Jakob Roland Andersen	23/6/03	Ole Lehrmann Madsen	Revolutionizing Embedded Software	1029
master	ligaard	antilles.daimi.au.dk
1030	Kasper Verdich Lund	23/6/03	Ole Lehrmann Madsen	Revolutionizing Embedded Software	1030
master	ligaard	antilles.daimi.au.dk
1031	Toke Eskildsen	24/6/03	Olav Wedege Bertelsen	Computeren in ovnen - brugsorienteret design af en grænseflade til en storkøkkenovn	1031
1032	Christian Gasser	25/6/03	Ivan Bjerre Damgård	Anonymity in communication networks	1032
1033	Jonas Auken	25/6/03	Peter Møller-Nielsen	Visuel tracking af interaktive objekter i virtuel scenografi	1033
1034	Peter Riishøj Brinkler	25/6/03	Peter Møller-Nielsen	Particle systems for computer graphics contents creation	1034
1035	Michael Thornvig Mikkelsen	13/1/04	Peter Bro Miltersen	Towards practical deterministic extractors	1035
1036	Kim Pedersen	13/1/04	Brian Mayoh	Accelerated numerical optimization on computationally expensive problems	1036
1037	Klaus Andersen	13/1/04	Brian Mayoh		1037
1038	Mads Orehøj Sørensen	15/1/04	Henrik Bærbak Christensen	Agenter i pervasive healthcare	1038
1039	Jacob Frank Qvortrup	15/1/04	Henrik Bærbak Christensen	Agenter i pervasive healthcare	1039
1040	Jon Asbjørn Svanholm Fogh	15/1/04	Henrik Bærbak Christensen	Jesco - understøttelse af kollaborativ arbejde i Java	1040
1041	Peter Tauensig Nielsen	15/1/04	Henrik Bærbak Christensen	Jesco - understøttelse af kollaborativ arbejde i Java	1041
1042	Kasper Jensen	16/1/04	Mads Torgersen	Distribuerede transaktioner	1042
1043	Peter von der Ahé	16/1/04	Ulrik Pagh Schultz	Applications of concrete-type inference	1043
1044	Søren Tjagvad Madsen	16/1/04	Brian Mayoh		1044
1045	Torben Lauritzen	19/1/04	Christian N. Storm Pedersen	Skjulte Markov modeller og genidentifikation	1045
1046	Niels Christian Bach	19/1/04	Christian N. Storm Pedersen	Skjulte Markov modeller og genidentifikation	1046
1047	Henrik Sandmann	19/1/04	Christian N. Storm Pedersen	Maksimale par og suffikstræer	1047
1048	Henning Böttger	19/1/04	Anders Møller	Web development - improving cooperation between programmers and HTML deigners using contracts	1048
1049	Wouter Boomsma	20/1/04	Ole Caprani	Adaptive operator scheduling in evolutionary algorithms	1049
1050	Kåre Fiedler Christiansen	20/1/04	Gudmund Frandsen	Vedligeholdelse af sammenhængskomponenter i dynamiske grafer	1050
1051	Lone Asferg	20/1/04	Gerth Stølting Brodal	Approksimative afstande i planare grafer	1051
1052	Louise Skouboe Bjerg	20/1/04	Gerth Stølting Brodal	Approksimative afstande i planare grafer	1052
1053	Kasper Fauerby	21/1/04	Peter Ørbæk	Real-time soft shadows in a game engine	1053
1054	Carsten Kjær	21/1/04	Peter Ørbæk	Real-time soft shadows in a game engine	1054
1055	Jacob Mortensen	21/1/04	Peter Ørbæk	Implementation of a global illumination system with participating media	1055
1056	Peder Herborg	21/1/04	Peter Ørbæk	Implementation of a global illumination system with participating media	1056
1057	Karl Kristian Krukow	6/7/04	Mogens Nielsen	NULL	1057
1058	Kristoffer Arnsfeldt Hansen	9/6/04	Peter Bro Miltersen	NULL	1058
1059	Mads Sig Ager	9/6/04	Olivier Danvy	From Natural Semantics to Abstract Machines	1059
1060	Sabrina Vestergaard Nielsen	14/6/04	Peter Møller Nielsen	Real-time Simulation and Visualization of Water	1060
NULL	master
1061	Rory Middleton	14/6/04	Peter Møller Nielsen	Real-time Simulation and Visualization of Water	1061
1062	René Dalsgaard Larsen	14/6/04	Niels Olof Bouvin	HyperPeer - Peer-to-peer Based Hypermedia on the Web	1062
1063	Laust Rud Jensen	14/6/04	Peter D. Mosses	A reuse repository with automated synonym support and cluster generation	1063
1064	Michael Toftdal	16/6/04	Ulrich Kohlenbach	Calibration of Ineffective Theorems of Analysis in a Constructive Context	1064
NULL	master
1065	Gorm Lai	16/6/04	Peter Ørbæk	A Spectrally Based Global Illumination System	1065
1066	Karsten Strandgaard Jørgensen	16/6/04	Rolf Fagerberg	Shortest Paths in Directed Graphs	1066
1067	Jens Ebbesen	17/6/04	Rolf Fagerberg	A Survey of Density Keeping Algorithms	1067
1068	Jesper Hedegaard	17/6/04	Rolf Fagerberg	Trade-offs for Internal and External Memory Dictionaries	1068
1069	Martin Møller Johansen	17/6/04	Rolf Fagerberg	Integer Sorting	1069
1070	Kenneth-Daniel Nielsen	18/6/04	Lars Michael Kristensen	Evaluation of Broadcast Based Protocols for Data Dissemination in Traffic Warning Networks	1070
1071	Lasse Westh-Nielsen	18/6/04	Christian Nørgaard Storm Pedersen	Refined Buneman Trees	1071
1072	Sune Kristensen	18/6/04	Ole Caprani	Robotspil - Introduktion af fysiske adaptive autonome agenter som del af interaktive underholdningsspil	1072
1073	Peter Buch Jakobsen	22/6/04	Ole Caprani	Ad Hoc netværk anvendt på autonome mobile adfærdsbaserede robotter	1073
1074	Mads Brøgger Enevoldsen	22/6/04	Ole Lehrmann Madsen	Object Oriented Language Interoperability - A Case Study of BETA support in Eclipse	1074
1075	Erik Corry	22/6/04	Ole Lehrmann Madsen	Stack Allocation for Object-Oriented Languages	1075
1076	Jesper Risager Jensen	22/6/04	Ole Lehrmann Madsen	Extreme Programming - En iterativ software udviklingsmodel	1076
1078	Jeppe Ravn-Grove	23/6/04	Michael Schwartzbach	Techniques for Automatic Error Checking of Software - a Comparison	1078
1079	Emanuela Pinheiro Lins	23/6/04	Ulrich Pagh Schultz	Evolution, Versioning and Compatibility of Distributed Objects	1079
1080	Anne Joost Jensen	23/6/04	Brian Mayoh	Prediction of Protein Secondary Structure by Coevolving Neural Networks	1080
1081	Mads Kristian Østerby Olesen	23/6/04	Anders Møller	Static Validation of XSLT	1081
1082	Martin Ingvar Kofoed Jensen	23/6/04	Brian Mayoh	Katastrofe simulatorer - Ny viden og erfaring med RoboCup Rednings Simulatoren	1082
1083	Torben Ruby	23/6/04	Anders Møller	Specification, Implementation, and Verification of Web Services	1083
1084	Kari Sofie Fogh Schougaard	24/6/04	Ole Lehrmann Madsen	NULL	1084
1077	Christian Plesner Hansen	22/6/04	Mads Torgersen	An Efficient, Dynamically Extensible ELL Parser Library	1077
1466	Mogens Nielsen	14/6/76	Arto Salomaa	Some results on context-free Lindenmayer systems	0
1467	Sven Skyum	19/3/75		Parallelisme i definitioner af sprog	0
1465	Kurt Jensen	13/10/80		Net theory - adequacy and applications in language theory	0
1464	Ole Lehrmann Madsen	13/10/80	Peter Kornerup	Anvendelse af attribut-oversættelsesskemaer i realisation af sprogdefinitioner i alternative formalismer	0
1463	Leo Mark	24/6/85	B. Mayoh	Self Describing Database Systems	0
1462	Gudmund Frandsen	18/8/86	Mogens Nielsen	Semantik af logikprogrammering	0
1461	Jørgen Lindskov Knudsen	15/12/86	Ole Lehrmann Madsen	Understøttelse af undtagelseshåndtering i programmeringssprog	0
1460	Kristine Stougård Thomsen	15/12/86	Ole Lehrmann Madsen	Understøttelse af nedarvning i programmeringssprog	0
1459	Kurt Nørmark	7/9/87		Transformationer og abstrakte præsentationer i en sprogudviklingsomgivelse	0
1458	Andreas Munk-Madsen	12/10/87		Vurdering af systemudviklingsprojekter	0
1457	Susanne Bødker	14/12/87		Brugergrænseflader - hvordan skal vi forstå dem og deres brug, og hvordan skal vi designe dem	0
1456	Kim Halskov Madsen	25/4/88		Sprogbrug og design	0
1455	Ivan Bjerre Damgård	30/5/88		Ubetinget beskyttelse i kryptografiske protokoller	0
1454	Pål Sørgaard	23/1/89		A framework for computer supported cooperative work, and its application to system development	0
1453	Per Hasle	19/6/89		Logic grammar + computer science = natural language understanding	0
1452	Uffe Engberg	19/3/90	Mogens Nielsen	Interleaving versus noninterleaving in the theory of concurrency	0
1451	Kaj Grønbæk	9/9/91		Edb-baserede værktøjer - muligheder og begrænsninger for aktiv brugerdeltagelse	0
1449	Jens Palsberg Jørgensen	24/8/92	Peter D. Mosses	Provably correct compiler generation	0
1450	Madhavan Mukund	24/8/92		Models and logics in concurrency - achievements and major open problems	0
1447	Søren Christensen	26/10/92		Farvede Petri Net: teori, værktøjer og praktisk anvendelse	0
1448	Anders Gammelgaard	26/10/92		From Bisimulation to Chunk-by-Chunk Simulation	0
1445	Elmer Sandvad	8/3/93	Ole Lehrmann Madsen	Værktøj til dokumenthåndtering i en programmeringsomgivelse	0
1446	Kim Skak Larsen	8/3/93		High Level Efficiency in Database Languages	0
1444	Henrik Reif Andersen	7/6/93	Glynn Winskel	Verification of Temporal Properties in Concurrent Systems	0
1442	Peter Bro Miltersen	28/6/93		Bitkompleksiteten af endelige datatyper	0
1443	Torben Amtoft	21/6/93		Sharing of Computations	0
1441	Jawahar Malhortra	27/6/94		Techniques and tools for building tailorable systems using stronly typed object-oriented languages	0
1440	Henrik Esbensen	24/10/94		Genetic algorithms for global routing of VLSI macro-cell layout	0
1438	Preben Holst Mogensen	24/10/94		Challenging practice - an approach to cooperative analysis	0
1439	Lars Ramkilde Knudsen	24/10/94		Block ciphers - analysis, design and applications	0
1436	Martin Møller	29/12/94		Efficient training of feed-forward neural networks	0
1437	Sten Agerholm	28/11/94		A HOL basis for reasoning about functional programs	0
1435	Claus Torp Jensen	20/2/95		Prioritized and independent actions in distributed computer systems	0
1433	Holger Orup	27/10/95		Fast VLSI implementation of modular exponentiation	0
1434	Jan Depenau	18/10/95		Automated Design of neural network architectures for classificatiobn	0
1431	Allan Cheng	24/5/96		Reasoning about concurrency	0
1432	Urban Engberg	5/1/96	Glynn Winskel	Reasoning in the temporal logic of actions	0
1430	Lars Arge	7/6/96		Efficient external memory data structures and applications	0
1428	Torben Braüner	8/11/96		An Axiomatic Approach to Adequacy	0
1429	Ole Villumsen	28/8/96		Tools for stored interactive multimedia	0
1427	Peter ørbæk	14/3/97	Peter Mosses	Trust and Dependence Analysis	0
1425	Gerth Stølting Brodal	18/4/97	Erik M. Schmidt	Worst Case Efficient Data Structures	0
1426	Alexandre Valente Sousa	20/3/97	Ole Lehrmann Madsen	Engineering a Reliable Object Storage System	0
1424	Thore Husfeldt	2/5/97	Sven Skyum	Dynamic Computation	0
1423	Søren Brandt	14/5/97	Ole Lehrmann Madsen	Towards Orthogonal Persistence as a Basic Technology	0
1422	Jens Bæk Jørgensen	15/5/97	Kurt Jensen	Analysing Coloured Petri Nets by the Occurrence Graph Method	0
1421	Kjeld Høyer Mortensen	15/5/97	Kurt Jensen	Coloured Petri Nets - A Pragmatic Formal Method for Designing and Analysing Distributed Systems	0
1419	Ole Ildsgaard Hougaard	20/5/98	Michael I. Schwartzbach	Tractable Type Inference made Easy	0
1420	Søren Bøgh Lassen	15/5/98	Peter D. Mosses	Relational Reasoning about Functions and Nondeterminism	0
1418	Kim Sunesen	11/6/98	Mogens Nielsen	Reasoning about Reactive Systems	0
1417	Jakob Eyvind Bardram	29/10/98	Susanne Bødker	An Activity Theoretical Approach to the Design of Computer Supported Cooperative Work	0
1416	Rasmus Munk Larsen	3/12/98	Jørgen Christensen-Dalsgaard	Efficient Algorithms for Helioseismic Inversion	0
1415	Gian Luca Cattani	29/4/99	Glynn Winskel	Presheaf Models for Concurrency	0
1414	Henrik Bærbak Christensen	10/6/99	Ole Lehrmann Madsen	RAGNAROK: An architecture Based Software Development Environment	0
1413	Erik Ernst	12/10/99	Ole Lehrmann Madsen	gbeta - A Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance	0
1412	Thomas Troels Hildebrandt	10/2/00	Glynn Winskel	Categorical Models for Concurrency: Independence, Fairness and Dataflow	0
1411	Anders Bækgaard Sandholm	18/2/00	Michael I. Schwartzback	Programming Languages: Design, Analysis, and Semantics	0
1410	Theis Rauhe	6/3/00	Sven Skyum	Complexity of Data Structures	0
1409	Christian Nørgaard Storm Pedersen	9/3/00	Sven Skyum	Algorithms in Computational Biology	0
1408	Rune Bang Lyngsø	9/3/00	Ole Caprani	Computational Biology	0
1407	Lars Michael Kristensen	29/3/00	Kurt Jensen	State Space Methods for Coloured Petri Nets	0
1406	Jakob Vogdrup Hansen	18/4/00	Brian H. Mayoh	Combining Predictors - Meta Machine Learning Methods and Bias/Variance & Ambiguity Decompositions	0
1405	Jesper Gulmann Henriksen	26/5/00	Mogens Nielsen	Logics and Automata for Verification: Expressiveness and Decidability Issues	0
1404	Kresten Krab Thorup	17/11/00	Ole Lehrmann Madsen	Discourse on Genericity in Object-Oriented Programming Languages	0
1403	Marcin Jurdzinski	18/12/00	Mogens Nielsen	Games for Verification: Algorithmic Issues	0
1402	Stefan Dziembowski	19/1/01	Ivan Bjerre Damgård	Multiparty Computations - Information-Theoretically Secure against an Adaptive Adversary	0
1401	Niels Olof Bouvin	9/3/01	Kaj Grønbæk	Augmenting the Web through Open Hypermedia - The Development of the Arakne Environment, a Collaborative Open Hypermedia System for Web Augmentation	0
1400	Jakob Pagter	27/3/01	Erik Meineche Schmidt	Time-Space Trade Offs	0
1399	Thomas Seidelin Hune	27/3/01	Mogens Nielsen	Analyzing Real-Time Systems: Theory and Tools	0
1398	Morten Rhiger	17/8/01	Olivier Danvy	Higher-Order Program Generation	0
1397	Daniel Damian	17/8/01	Olivier Danvy	On Static and Dynamic Control-Flow Information in Program Analysis and Transformation	0
1396	Bernd Grobauer	31/8/01	Olivier Danvy	Topics in Semantics-based Program Manipulation	0
1395	Lasse Reichstein Nielsen	31/8/01	Olivier Danvy	A Study of Defunctionalization and Continuation-Passing Style	0
1394	Mads Torgersen	14/9/01	Ole Lehrmann Madsen	Unifying Abstractions	0
1393	Niels Damgaard	1/10/01	Michael I. Schwartzbach	Using Theory to Make Better Tools	0
1392	Aino Cornils	1/11/01	Jørgen Lindskov Knudsen	Patterns in Software Development	0
1391	Flemming Friche Rodler	16/11/01	Brian H. Mayoh	Compression With Fast Random Access	0
1390	Mikkel Thomas Jensen	23/11/01	Brian H. Mayoh	Robust and Flexible Scheduling with Evolutionary Computation	0
1389	Christina Nielsen	19/3/02	Susanne Bødker	Designing to support Mobile Work with Mobile Devices	0
1388	M. Oliver Möller	19/4/02	Kim G. Larsen, Aalborg Univ. and Mogens Nielsen	Structure and Hierarchy in Real-Time Systems	0
1387	Stefan Stoyanov Dantchev	10/5/02	Søren Riis, Queen Mary's College, Univ. of London, UK and Erik Meineche Schmidt	On Resolution Complexity of Matching Principles	0
1386	Riko Jacob	31/5/02	Gerth Stølting Brodal	Dynamic Planar Convex Hull	0
1385	Klaus Marius Hansen	31/5/02	Ole Lehrmann Madsen	Experimantal Object-Oriented Modelling	0
1384	Jakob Fredslund	19/6/02	Ole Caprani	Simplicity Applied in Projects Involving Embodied, Autonomous Robots	0
1383	Lisa Wells	28/8/02	Søren Christensen	Performance Analysis Using Coloured Petri Nets	0
1382	Bo Lindstrøm	29/8/02	Søren Christensen	Facilitating the Practical Use of Coloured Petri Nets	0
1381	Louise Elgaard	30/8/02	Søren Christensen	The Symmetry Method for Coloured Petri Nets	0
1380	Anders Møller	30/9/02	Michael I. Schwartzbach	Program Verification with Monadic Second-Order Logic & Languages for Web Service Development	0
1379	Rasmus Pagh	11/10/02	Peter Bro Miltersen	Hashing, Randomness and Dictionaries	0
1378	Michael Thomsen	29/10/02	Ole Lehrmann Madsen	Malleable Software Development - Supporting Collaboration and Iteration in Object-Oriented Software Development	0
1377	Claus Brabrand	24/1/03	Michael I. Schwartzbach	Domain Specific Languages for Interactive Web Services	0
1376	Marianne Graves Petersen	29/1/03	Susanne Bødker	Designing for Learning in Use of Everyday Artefacts	0
1375	Frank D. Valencia Posso	5/2/03	Mogens Nielsen	Temporal Concurrent Constraint Programming	0
1374	Christian Heide Damm	19/3/03	Ole Lehrmann Madsen	Collaborative Software Development - Design and Implementation of Tools for Object-Oriented Modelling	0
1373	Jiri Srba	14/4/03	Mogens Nielsen	Decidability and Complexity Issues for Infinite-State Processes	0
1372	Thomas Mailund	28/4/03	Søren Christensen	Sweeping the State Space - A Sweep-Line State Space Exploration Method	0
1371	Federico Grazzolara	15/5/03	Glynn Winskel	Language, Semantics, and Methods for Security Protocols	0
1370	Giuseppe Milicia	16/6/03	Mogens Nielsen	Applying Formal Methods to Programming Language Design and Implementation	0
1369	Rasmus Kjær Ursem	20/6/03	Thiemo Krink	Models for Evolutionary Algorithms and Their Applications in System Identification and Control Optimization	0
1368	Mario Josè Càccamo	23/6/03	Glynn Winskel	A Formal Calculus for Categories	0
1367	Jesper Buus Nielsen	7/8/03	Ivan Bjerre Damgård	On Protocol Security in the Cryptographic Model	0
1366	Mads Johan Jurik	7/8/03	Ivan Bjerre Damgård	Extensions to the Paillier Cryptosystem with Applications to Cryptological Protocols	0
1365	Serge Fehr	8/8/03	Ivan Bjerre Damgård	Secure Multi-Player Protocols: Fundamentals, Generality, and Efficiency	0
1364	Maciej Koprowski	8/8/03	Ivan Bjerre Damgård	Cryptographic Protocols Based on Root Extracting	0
1363	Paulo Borges Oliva	26/9/03	Ulrich Kohlenbach	Proof Mining in Subsystems of Analysis	0
1362	Mikkel Nygaard	21/11/03	Glynn Winskell	Domain Theory for Concurrency	0
1361	Daniele Varacca	24/11/03	Glynn Winskell	Probability, Nondeterminism and Concurrence: Two Denotational Models for Probabilistic Computation	0
1360	Bartosz Klin	28/5/04	Peter Mosses	An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics	0
1359	Rene Thomsen	31/5/04	Thiemo Krink	Evolutionary Algorithms and their Application in Bioinformatics	0
1481	Bjarke Skjernaa	26/11/04	Peter Bro Miltersen	Exact Algorithms for Variants of Satisfiability and Colouring Problems	NULL
1487	Jesper Makholm Byskov	11/11/04	Peter Bro Miltersen	Exact Algorithms for Graph Colouring and Exact Satisfiability	NULL
1483	Pawel Sobocinski	3/12/04	Mogens Nielsen	Deriving process congruences from reaction rules	NULL
1484	Alex Rune Berg	7/7/04	Erik Meineche Schmidt	Rigidity of frameworks and connectivity of graphs	NULL
1485	Jannie Friis Kristensen	8/10/04	Kaj Grønbæk	Interaction through Negotiation - Interaction design in a pervasive computing perspective	NULL
1486	Jens Groth	15/10/04	Ivan Damgård	Honest Verifier Zero-knowledge Arguments applied	NULL
1488	Esben Skovenborg	10/2/05	Ole Caprani	Perceptual Features of Music and Speech - Measured by Listening Experiments, and Computer Modelled from Signal Analysis	NULL
1489	Henning Korsholm Rohde	1/10/04	Olivier Danvy	Formal Aspects of Polyvariant Specialization	1085
1490	Jan Midtgaard	1/10/04	Olivier Danvy	From Implicit to Explicit Contexts in Operational Semantics	1086
1491	Kaspar Rosengreen Nielsen	17/1/05	Susanne Bødker	Course Web - Examining Usability with Multiple Actors	1087
1492	Hanne Steenberg Rasmussen	20/1/05	Brian Mayoh	The Use of L-systems in Multi-agent Systems for the Purpose of Biological Modelling	1088
1494	Martin Hansen	24/1/04	Ole Caprani	Vibrato Preserving Filling of Gaps in Harmonic Sounds.	1089
1495	Helena Marie Meyer	24/1/05	Mogens Nielsen	Model checking infinite state systems: Symbolic representations, abstractions and experiments	1090
1496	Jan Nielsen	24/1/05	Ulrik Pagh Schultz	Modules for Flexible and Mobile Applications.	1091
1497	Michael Dalgaard Jepsen	24/1/05	Ulrik Pagh Schultz	Modules for Flexible and Mobile Applications.	1092
1498	Simon Clemen Pedersen	25/2/05	Jakob Bardram	Runtime Environment for Supporting Composite Devices	1093
1499	Christina Fuglsang	25/2/05	Jakob Bardram	Runtime Environment for Supporting Composite Devices	1094
1500	Thomas Clemen Pedersen	8/3/05	Peter Ørbæk	Segmenting Medical Images on the GPU.	1095
1501	Thomas Holmen Jørgensen	11/3/05	Brian Mayoh	Document clustering using hierarchical Kohonen networks	1096
1502	Jesper Torp Kristensen	15/3/05	Peter Bro Miltersen	Generation and Compression of Endgame Tables in Chess with Fast Random Access.	1097
1503	Rasmus Ellebæk Kjær	16/3/05	Ivan Damgård	An Overview of Traitor Tracing	1098
1504	Per Liboriussen	16/3/05	Ole Lehrmann Madsen	Genericity	1099
1505	Thomas Lindgaard	31/3/05	Kaj Grønbæk	Geo-Spatial Indexing of Web Pages.	1100
1507	Sune Håkonsson	1/4/05	Susanne Bødker	Model Controller View Pattern - An analysis of advantages and disadvangages seen from the experiences of the LUDUS Sundhed application.	1102
1508	Kirill Morozov	11/3/05	Ivan Damgård	On Cryptographic Primitives Based on Noisy Channels	NULL
1509	Jørgen Iversen	12/5/05	Mogens Nielsen / Peter Mosses	Formalisms and tools supporting Constructive Action Semantics	NULL
1554	Ole Sejer Iversen	20/2/06	Susanne Bødker	Participatory Design Beyond Work Practices - Designing with Children	NULL
1515	Bolette Ammitzbøll Madsen	9/9/05	Peter Bro Miltersen	Exact Algorithms and Exact Satisfiability	NULL
1516	Jesus Fernando Almansa Guerra	12/9/05	Ivan Damgård	A Study for Cryptologic Protocols	NULL
1517	Saurabh Agarwal	28/10/05	Gudmund Frandsen	GCD Algorithms for Quadratic Number Rings	NULL
1518	Marco Carbone	30/6/05	Mogens Nielsen	Trust and Mobility	NULL
1519	Dariusz Biernacki	15/12/05	Olivier Danvy	The Theory and Practice of Programming Languages with Delimited Continuations	NULL
1520	Kasper Dupont	12/12/05	Ivan Damgård	Disk Encryption, Group Identification, Byzantine Agreement, and Threshold RSA	NULL
1521	Henning Korsholm Rohde	19/12/05	Olivier Danvy and Andrzej Filinski	Formal Aspects of Partial Evaluation	NULL
1522	Mads Laursen	4/7/05	Christian N. Storm Pedersen	Reconstructing Evolutionary Trees Using Experiments	1112
1524	Kristian Støvring Sørensen	17/6/05	Olivier Danvy	Normalization and Simple Types	1104
1525	Gabriel Moruz	16/6/05	Gert Stølting Brodal	NULL	1103
1526	Michael Westergaard	17/6/05	Kurt Jensen	NULL	1105
1527	Lars Hesel Christensen	28/6/05	Gudmund Skovbjerg Frandsen	An Experimental Comparison of the Miller-Rabin and the Extended Quardratic Frobenius Primality Tests	1106
1528	Andreas Andersen	28/6/05	Gudmund Skovbjerg Frandsen	Fully Dynamic All Pairs Shortest Paths	1107
1529	Mikael Skovby Andersen	28/6/05	Gudmund Skovbjerg Frandsen	Fully Dynamic All Pairs Shortest Paths	1108
1530	Henning Qin Jehøj	29/6/05	Kaj Grønbæk	Awareness for collaborative web authoring - An event-notification mechanism for WebDAV	1109
1531	Martin Knudsen	30/6/05	Christian N. Storm Pedersen	Stochastic context-free grammers and RNA secondary structure prediction	1110
1532	Christopher Mosses	4/7/05	Christian N. Storm Pedersen	Triplet Supertrees	1111
1533	Casper Lund Thomsen	4/7/05	Christian N. Storm Pedersen	Reconstructing Evolutionary Trees Using Experiments	1113
1534	Ole Juul Kristensen	6/7/05	Mogens Nielsen	A Generic Agent Language	1114
1535	Boris Venkov	26/7/05	Peter Ørbæk	Realtime Physically Based Rendering of Lightning	1115
1536	Christoffer Magnussen	22/8/05	Ole Caprani	Embodied Evolution on the RCX in Java	1116
1537	Niels Carsten Thrane	30/8/05	Peter Ørbæk	A Comparison of Acceleration Structures for GPU Assisted Ray Tracing	1117
1538	Lars Ole Simonsen	30/8/05	Peter Ørbæk	A Comparison of Acceleration Structures for GPU Assisted Ray Tracing	1118
1539	Hieu Trong Phan	2/9/05	Brian Mayoh	Applying Knowledge-Based Artificial Neural Networks in Game-Driven Intelligent Tutoring Systems	1119
1540	Daniel Nielsen	30/9/05	Ole Caprani	Investigating small scale combat situations in real-time strategy computer games	1120
1541	Ronni Laursen	30/9/05	Ole Caprani	Investigating small scale combat situations in real-time strategy computer games	1121
1542	Bjarne Ridderberg	30/9/05	Ole Caprani	Java on the RCX	1122
1543	Niels Tranberg Johansen	14/10/05	Jakob Bardram	A Data Management Infrastructure for Activity-Based Computing	1123
1544	Michael Bræmer Nielsen	24/10/05	Thomas Sangild / Peter Møller Nielsen	Real-time Fracture of Brittle Materials in a Game Setting	1124
1545	Martin Mogensen	31/10/05	Jakob Bardram	Distributed Objects	1125
1546	Mathias Ravn	29/11/05	Ole Caprani	Neuroevolution of artificial poker players without pre-encoded expert strategy	1126
1547	Lars Vadstrup Hansen	29/11/05	Ole Caprani	Neuroevolution of artificial poker players without pre-encoded expert strategy	1127
1548	Michael Østergaard Pedersen	16/12/05	Ivan Damgård	NULL	1128
1549	Troels Bjerre Sørensen	20/12/05	Peter Bro Miltersen	Computing Equilibria of Two-Player Games	1129
1550	Martin Holmgaard Rossen-Jørgensen	10/1/06	Henrik Bærbak Christensen	Java Objekt Persistent Modul Framework	1130
1551	Casper Lindegaard Madsen	10/1/06	Henrik Bærbak Christensen	Java Objekt Persistent Modul Framework	1131
1552	Jesper Buch Hansen	11/1/06	Gerth Stølting Brodal	Computing the visibility graph of points within a polygon	1132
1553	Peter Flintholm Sørensen	16/1/06	Ivan Damgård	Password Based Authentification and Key Exchange - Theory and Practice	1133
1555	Thomas Brochmann Pedersen	23/1/06	Louis Salvail	Quantum Encryption Minimising Key Leakage unider Known Plaintext Attacks	NULL
1556	Malgorzata Biernacka	27/1/06	Olivier Danvy	A Derivational Approach to the Operational Semantics of Functional Languages	NULL
1557	Mads Sig Ager	30/1/06	Olivier Danvy	Partial Evaluation of String Matchers & Constructions of Abstract Machines	NULL
1607	Karsten Østergaard Noe	3/3/06	Peter Møller-Nielsen and Thomas Sangild Sørensen	Viscous-fluid-registrering af medicinske 3D-billeder accelereret af GPU'en	1146
1606	Piotr Michal Kotlicki	31/3/05	Brian Mayoh	Time Series Prediction Comparing New and Old Neutral Network Methods	1101
1562	Martin Mosegaard Jensen	26/1/06	Anders Møller	Understanding Parametric Shape Analysis	1134
1563	Henrik Pedersen	30/1/06	Niels Olof Bouvin	Proactive and Reactive Adaptive Networks: An Evaluation	1135
1564	Jeppe Thestrup Knudsen	31/1/06	Klaus Marius Hansen	Architectural Refactorings - Analysis and Experiments on xADL 2.0 Based Architectural Descriptions	1136
1565	Bo Vium Thomsen	7/2/06	Erik Ernst	Frob - A Programming Language for Multimedie Applications	1137
1566	Jesper Fruergaard Andersen	22/2/06	Brian Mayoh	Cooperating AUUS	1138
1568	Henrik Sloth Hansen	23/2/06	Ivan Damgård	Implementation and Analysis of Five Group Signature Schemes	1139
1569	Kristoffer Kjærvik Pagels	23/2/06	Ivan Damgård	Implementation and Analysis of Five Group Signature Schemes	1140
1570	Martin Stig Stissing	24/2/06	Christian Nørgaard Storm Pedersen	Algorithms for Computing the Quartet Distance	1141
1571	Chris Christiansen	24/2/06	Christian Nørgaard Storm Pedersen	Quartet Distance Between Evolutionary Trees of Arbitrary Degree	1142
1572	Martin Randers	24/2/06	Christian Nørgaard Storm Pedersen	Quartet Distance Between Evolutionary Trees of Arbitrary Degree	1143
1573	Jakob Langdal Jensen	27/2/06	Ole Caprani	NULL	1144
1574	Lee Herluf Lund Lassen	18/4/06	Jakob Bardram	Realtime Rendering of Fire in 3D using Navier-stokes Equations for an Incompressible Gas	1145
1575	Timo Paukku Dinnesen	28/4/06	Ole Caprani	Design and implementation of a LEGO mindstorms based Robot Game on a JAVA Platform	1157
1576	Thomas Hæstrup	29/5/06	Jakob Bardram	Structured P2P Environment for Context Aware Services	1158
1577	Balasuthas Sundararajah	29/5/06	Niels Olof Bouvin og Jakob Bardram	Structured P2P Environment for Context Aware Services	1159
1578	Morten Laustsen	29/5/06	Gerth Stølting Brodal	Range Counging in the Cache Oblivious	1160
1579	Svend Haugaard Sørensen	1/6/06	Brian Mayoh	Hierarchies	1161
1580	Søren Besenbacher	8/6/06	Christian Nørgaard Storm Pedersen	NULL	1162
1581	Jeppe Rørbæk Brønsted	13/6/06	Klaus Marius Hansen	NULL	1163
1582	Mikkel Baun Kjærgaard	14/6/06	Søren Christensen	NULL	1164
1583	Jonathan Bech Bunde-Pedersen	15/6/06	Jakob Bardram	NULL	1165
1584	Dennis Jensen Søgaard	23/6/06	Gerth Stølting Brodal	Motion Planning in the Plane	1167
1585	Martin Kjeldsen	17/7/06	Klaus Marius Hansen	An Approach to interoperability using semantic Web Services	1169
1586	Lene Søndergaard Nielsen	15/8/06	Peter Møller-Nielsen	Parallelization of Particle Swarm Optimization	1170
1587	Rene Vejlgaard Vedstesen	15/8/06	Klaus Marius Hansen	Parallelization of Particle Swarm Optimization	1171
1588	Rasmus Witting Larsen	15/8/06	Peter Møller-Nielsen	Ray Tracing using evolutionary Algorithms	1172
1589	Helge Jensen	17/8/06	Søren Christensen and Aino Corry	Routning in Multi-Entry netværk at Kamstrup	1173
1590	Paul Fleischer	17/8/06	Lars Michael Kristiansen	Implementation and Evaluation of a Quality of Service Option Header Architecture	1174
1591	Espen Toftdahl Nielsen	18/8/06	Klaus Marius Hansen	First-Class Service Composition and Coordination in Pervasive Computing	1175
1592	Kristian Ellebæk Kjær	18/8/06	Klaus Marius Hansen	First-Class Service Composition and Coordination in Pervasive Computing	1176
1594	Mads Darø Kristensen	22/8/06	Niels Olof Bouvin	Evaluating Energy Efficient Routing Protocols for Nomadic Networks	1177
1595	Søren Olesen	5/9/06	Henrik Bærbak Christensen	FrameWork for Boardgames	1178
1596	Maibritt Kerner	5/9/06	Jens Bæk Jørgense	The early history of Computer Science in Århus - prelude, context and estabilishment	1179
1597	Kim Bjørn Nielsen	6/9/06	Lars Michael Kristensen	Transition Mechanisms in IPv6	1180
1608	Kristian Beyer Thommesen	22/3/06	Ivan Damgård	Primality Verification with the Extended Quadratic Frobenius Test	1147
1599	Philipp Gerhardy	29/5/06	Ulrich Kohlenbach	Applications of Proof Interpretations	NULL
1600	Jonas Martin Thomsen	8/6/06	Søren Christensen	Home Appliance Integration by Pervasive Computing	NULL
1601	Christian Kirkegaard	4/10/06	Michael Schwartzbach	Programming with XML	NULL
1602	Simon Bo Larsen	12/10/06	Ole Lehrmann Madsen	Pervasive Home Care - Technological support for treatment of diabetic foot ulcers at home	NULL
1603	Aske Simon Christensen	4/5/06	Michael Schwartzbach	Something to do with Java	NULL
1604	Branimir Zdravkov Lambov	31/3/06	Ulrich Kohlenbach	Topics in the Theory and Practice of Computable Analysis	NULL
1605	Jakob Svaneborg Vesterstrøm	31/3/06	Christian Storm Nørgaard Pedersen	Heurestic Algorithms in Bioinformatics	NULL
1609	Ergin Kilic	27/3/06	Ivan Damgård	Commitment Schemes	1148
1610	Araz Bayat Makoo	27/3/06	Ivan Damgård	Transformation af Symmetirsk Kryptering til Assymetrisk Kryptering ved hjælp af Obfuskering	1149
1611	Strange Løhde From	27/3/06	Ivan Damgård	Sikre distribuerede beregninger på heltal	1150
1612	Thomas Jakobsen	27/3/06	Ivan Damgård	Sikre distribuerede beregninger på heltal	1151
1613	Søren Aaen Madsen	28/3/06	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	1152
1614	Peter Julian Marstrand Mechlenborg	29/3/06	Ulrik Pagh Schultz	En fleksibel tilgang til sprog interoperbilitet	1153
1615	Søren Kuula	30/3/06	Michael Schwartzbach and Anders Møller	Practical type-safe XSLT 2.0 stylesheet authoring	1154
1616	Janus Dam Nielsen	30/3/06	Anders Møller	Relations between Schema Languages for XML	1155
1617	Guoqing Zhang	30/3/06	Lars Michael Kristensen	Modelling and Validation of the Ad-hoc On-demand Distance Vector Protocol using Coloured Petri Nets	1156
1618	Søren Michael Ustrup	18/6/06	Anders Møller	Analysis of coding conventions with emphasis on naming conventions and design of a plug-in for the Eclipse IDE which can automatically enforce a naming convention in Java	1166
1619	Niels Ole Jensen	28/6/06	Jens Bæk Jørgensen	CPN-modellering og analyse af routing i mobile ad hoc netværk	1168
1620	Søren Skov	21/9/06	Peter Møller-Nielsen	Simulation of Blood Flow on the CPU for Planning Children	1182
1621	Jesper André Lyngesen Pedersen	25/9/06	Ole Caprani	Robot Navigation	1183
1622	Rasmus Vedel Petersen	25/9/06	Ole Caprani	Naturvidenskabelig undervisning med Lego og Robolab	1184
1623	Jing Sun	26/9/06	Henrik Bærbak Christensen	Software Architecture Conformance Checking at Development Time	1185
1624	Niels Døssing	4/10/06	Gudmund Frandsen	Experimental Comparison of GCD Algorithms	1186
1625	Søren Gjellerup Christiansen	26/10/06	Ole Caprani	Hvordan man består Turing-testen med varianter af Eliza	1188
1626	Gang Jun Tu	13/11/06	Brian Mayoh	Billedbehandling og analyse baseret på Wavelet transform	1192
1627	Ole Lambæk	14/11/06	Christian Nørgaard Storm Pedersen	Practical fast Algorithms for constructing Suffix Arrays	1193
1628	Thomas Toftkjær	14/11/06	Christian Nørgaard Storm Pedersen	Praktisk hurtige algoritmer til Suffiks array konstruktion	1194
1629	Tajs Bromose Kolmann	0000-00-00	Ivan Damgård	?	1190
1630	Svend Rostgaard Thielsen	12/12/06	Klaus Marius Hansen	Runtime Monitoring of Architectural Qualities	1196
1631	Simon Bo Larsen	0000-00-00	Ole	NULL	NULL
1632	Jesper Mosegaard	3/11/06	Peter Møller-Nielsen	Cardiac Surgery Simulation	NULL
1633	Kristoffer Arnsfelt Hansen	13/11/06	Peter Bro Miltersen	Constant Width and Constant Depth Computation	NULL
1634	Karl Kristian Krukow	17/11/06	Mogens Nielsen	Towards a Theory of Trust for the Global Ubiquitous Computer	NULL
1635	Frank Allan Hansen	4/12/06	Kaj Grønbæk	Context-aware Mobile Hypermedia: Concepts, Framework, and Applications	NULL
1636	Michael Bang Nielsen	5/12/06	Kaj Grønbæk	Efficient and High Resolution Level Set Simulations - Data Structures, Algorithms and Applications	NULL
1637	Mads Ingstrup	15/12/06	Morten Kyng	Towards Distributed Declarative Architectural Reflection	NULL
1638	Thomas Riisgaard Hansen	18/12/06	Jakob Bardram	Pervasive Interaction - Designing interactive pervasive systems for complex work environments	NULL
1639	Nicolai Lundgaard	6/11/06	Peter Møller Nielsen	Parallel Programming on the GPU	1190
1640	Tajs Bromose Kolman	20/11/06	Ivan Damgaard	Digiatle Signaturer og Merkle Træer	1195
1641	Rune Thorbek	19/12/06	Ivan Damgaard	NULL	1197
1642	Rasmus Fruergaard-Pedersen	8/1/07	Brian Mayoh	Demining Strategies using low-cost Robotic Units	1198
1643	Jacob Andersen	24/1/07	Jacob Bardram	NULL	1199
1644	Rasmus Noesgaard Leth Vestergaard	24/1/07	Ivan Damgaard	Universal One-Way Hash Functions	1200
1645	Kristian Dorph-Petersen	30/1/07	Gerth Stølting Brodal	Practical use of dynamic Sampling in Data Streams for logging for logging Network Usage	1201
1646	Mads Peter Lindberg	6/2/07	Christian Nørgaard Storm Pedersen	Evaluation of genetic Algorithm-Based least Squares and minimum Evolution Methods	1202
1647	Steffen Wang Fischer	6/2/07	Christian Nørgaard Storm Pedersen	Evaluation of genetic Algorithm-Based least Squares and minimum Evolution Methods	1203
1648	Jiangbo Cheng	9/2/07	Lars Michael Kristensen	Evaluation and Optimization of Heuristics for TCP Acknowledgement Frequency	1204
1649	Christian Bøegh Larsen	12/2/07	Ivan Damgaard	Electronic Voting - Properties, Threats and Protocols	1205
1650	Peter Trier Mikkelsen	16/2/07	Peter Møller-Nielsen	The Virtual Ear	1206
1651	Peter Ravn Kragelund	26/2/07	Morten Kyng	Improvement of Software Development - based on an Empirical Analysis of COWI A/S	1207
1652	Rolf Ehrenreich Thorup	26/2/07	Lars Michael Kristensen	Implementing and Evaluating the Dymo Routing Protocol	1208
1653	Sune Sloth Simonsen	27/2/07	Christian Nørgaard Storm Pedersen	Analysis and Implementation of Suffix Trees based on enhanced Suffix Arrays	1209
1654	Rasmus Grønbæk	27/2/07	Christian Nørgaard Storm Pedersen	Detecting maximal quasiperiodic Substrings	1210
1655	Stine Cortsen Hansen	28/2/07	Lars Michael Kristensen	Modelling and Validation of the Dynamic MANET On-Demand Routing Protocol	1211
1656	André Højgaard Jensen	28/2/07	Brian Mayoh	Classification of Objects in digital Pictures	1212
1657	Jimmy Weibel Rasmussen	7/3/07	Mogens Nielsen	A Calculus for Context Awareness	1213
1658	Bo Søndergaard Carstensen	8/3/07	Gerth Stølting Brodal	Cache - Oblivious Tries	1214
1659	Bjørn Casper Torndahl	8/3/07	Gerth Stølting Brodal	Cache - Oblivious Tries	1215
1660	Tony Gjerlufsen	8/3/07	Preben Holst Mogensen	The Harmonization of Physicality and Digitality. - The true Challenge of Ubiquitous Computing	1216
1661	Jesper Wolff Olsen	8/3/07	Preben Holst Mogensen	The Harmonization of Physicality and Digitality. - The true Challenge of Ubiquitous Computing	1217
1662	Jooyong Lee	26/2/07	Mogens Nielsen and Olivier Danvy	Program Validation by Symbolic and Reverse Execution	NULL
1663	Christian Schaffner	27/4/07	Louis Salvail	Cryptography in the Bounded-Quantum-Storage Model	NULL
1666	Michael Edelgaard Caspersen	31/5/07	Ole Lehrmann Madsen	Educating Novices in the Skills of Programming	NULL
1665	Kevin Scott Millikin	1/5/07	Olivier Danvy	A Structured Approach to the Transformation, Nomalization and Execution of Computer Programs	NULL
1667	Anders Torp Brodersen	27/6/07	Kaj Grønbæk	Flexible Methods for Geometric Texturing - From Terrain Visualization to Geometric Texture Mapping	NULL
1668	Tomas Toft	6/7/07	Ivan Damgård	Primitives and Applications for Multi-party Computation	NULL
1670	Jan Midtgaard	20/6/07	Olivier Danvy	Transformation, Analysis, and Interpretation of Higher-Order Procedural Programs	NULL
1671	Svend Hesselholt Henne Hansen	6/11/06	Peter Møller-Nielsen	Real Time Ray Tracer til Panoramaet	1191
1672	Kim Alster Larsen	2/11/06	Niels Olof Bouvin	Data distribution via P2P Multicast	1189
1673	Morten Lynge Jensen	23/10/06	Brian Mayoh	Distributing NeuroEvolution of Augmenting Topologies in order to evaluate Strategies in different Environments	1187
1674	Kristian Bisgaard Lassen	19/9/06	NULL	From Real World Problems to Implemantation Using Coloured Petri Nets and translations Between Workflow Languages	1181
1675	Carsten Holmvig Pedersen	22/3/07	Henrik Bærbak Christensen	A prototype for Socket Simulation	1218
1676	Mikkel Bech-Petersen	22/3/07	Ole Caprani	Music Software for live Group Performance	1219
1677	Henrik Lynbech	22/3/07	Ole Caprani	Music Software for live Group Performance	1220
1678	Nikolaj Gynther Bramsen	18/4/07	Ole Caprani	Computer Supported Construction Work	1221
1679	Jens Pilemand Ottesen	21/5/07	Niels Olof Bouvin	Evaluation and Design of a Supernode Architecture for heterogenous MANETs.	1222
1680	Peter Gade Jensen	22/5/07	Lars Michael Kristensen	Evaluatio of Protocols for Reliable Multicast Routing in Wireless Sensor Networks	1223
1681	Johan Lund Munk	23/5/07	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.	1224
1682	Henrik Thuesen	23/5/07	Anders Møller	Type Inference for Javascript	1225
1683	Erik Mejer Hansen	31/5/07	Christian Nørgaard Storm Pedersen	Methods for Comparison of Trees	1226
1684	Peter Kjellerup Rasmussen	1/6/07	Niels Olof Bouvin	Realtime Data Distribution in Peer-to-Peer Networks	1227
1685	Thomas Mølhave	11/6/07	Lars Arge	NULL	1228
1686	Jørgen Lund	12/6/07	Gudmund Frandsen	Experimental Comparison of Algorithms for reducing binary quadratic forms	1229
1687	Peter Dueholm Justesen	19/6/07	Ole Caprani	Exploring User Defined Audio/Visual Spaces using a Hybrid Human Based Genetic Algorithm	1230
1688	Michael Petersen	19/6/07	Klaus Marius Hansen	Arguing Safety for Pervasive Computing Scenarios - A Study of Modular Safety	1231
1689	Clemens Nylandssted Klokmose	19/6/07	Susanne Bødker	NULL	1232
1690	Alex Andersen	26/6/07	Jens Bæk Jørgensen	Requirements Engineering for a License Management System with a Excutable Use Cases	1233
1691	Gabriel Moruz	7/9/07	Gerth Stølting Brodal	Hardware-Aware Algorithms and Data Structures	NULL
1697	Kristian Støvring	24/10/07	Olivier Danvy	On Reasoning Equationally: Lambda Calculi and Programs with Computational Effects	NULL
1693	Johan Peter Nilsson	15/10/07	Gerth Stølting Brodal	Combinatorial algorithms for partially ordered sets	NULL
1698	Peter Færløv Bering	29/6/07	Susanne Bødker	Cognitive-behavioral Therapy using Mediating Instruments	1234
1700	Thomas John Hørlyck Christensen	29/6/07	Michael Schwartzbach og Peter Gorm Larsen	Cognitive-behavioral Therapy using Mediating Instruments	1235
1696	Michael Westergaard	23/10/07	Kurt Jensen	Looking Good, Behaving Well - Behavioural Verification and Visualisation of Formal Models of Concurrent Systems	NULL
1701	Esben Søe Sørensen	29/6/07	Michael Schwartzback	A Domain-specific Language for Web Broesing	1236
1702	Esben Søe Sørensen	29/6/07	Michael Schwartzback	A Domain-specific Language for Web Broesing	1236
1703	Martin Henning Jensen	29/6/07	Peter Møller-Nielsen	Combining Cutting Edge Shadow Volume Algorithms	1238
1704	Gabriel Jacob Siegel	27/7/07	Peter Møller-Nielsen	Combining Cutting Edge Shadow Volume Algorithms	1239
1705	Lars Hvam Petersen	5/7/07	Lars Arge	External Priority Queues in Practice	1237
1706	Brian Pedersen	21/8/07	Lars Michael Kristensen	Modeling and Validating Distributed Autoconfiguration of Mobile ad hoc Networks using Coloured Petri Nets	1240
1707	Rasmus Nygaard Andersen	23/8/07	Anders Møller	Survey of Web-application Frameworks	1243
1708	Jonas Krarup Dam	23/8/07	Anders Møller	Static validation of XHTML Output from Java Servlets and JSP	1244
1709	Bárdur Háskor	23/8/07	Anders Møller	Analysis of String Expressions	1245
1710	Bo Martin Sponholtz	27/8/07	Niels Oluf Bouvin	Applying Trust Negotiation to Cyber Foraging	1246
1711	Artur Michal Gadomski	14/9/07	Henrik Bærbak Christensen	Comparison of Automated Test Data generation Methods	1248
1712	Mads Byrgesen Tandrup	28/9/07	Jesper Buus Nielsen	Implementing Efficient Multiparty Computation - From Theory to Practice	1249
1713	Anders Jacobsen	28/9/07	Anders Møller	Analysis of SAX Applications	1250
1714	Carsten Haahr Larsen	26/10/07	Henrik Bærbak Christensen	Multitasking Web Application Platform Supporting Activity-based Computing	1253
1715	Lars Møller	1/11/07	Søren Christensen	Modeling and Analysis of the DCCP Protocol in CPN	1254
1716	Martin Mortensen	9/11/07	Michael Schwartzback	High Level Programming Language Compiling to a cellular Automata Processing Model	1255
1717	Jakob Justsen	12/11/07	Niels Oluf Bouvin	Interactive Peer-to-Peer Live Streaming Network	1256
1718	Niels Jeppe Anders Nielsen	19/11/07	Peter Møller-Nielsen	Point Cloude Modeling	1257
1719	Bjarne Knudsen	27/11/07	Peter Møller-Nielsen	Physics Based Character Animation for Interactive Applications	1258
1720	Thomas Rasmussen	30/8/07	Gerth Stølting Brodal	Evaluation of an intersection algorithm for Bézier curves in the plane	1247
1721	Torsten Aaboe Andersen	9/10/07	Susanne Bødker	Analysis of user identification methods for ”Den Interaktive Operationsplan”	1251
1722	Chresten Lei Sandager	9/10/07	Susanne Bødker	Analysis of user identification methods for ”Den Interaktive Operationsplan”	1252
1723	Morten Revsbæk	20/12/07	Lars Arge	I/O Efficient Algorithms for Batched Union-Find with Dynamic Set Properties and its Application to Hydrological Conditioning	1259
1724	Reasmus Kromann-Larsen	23/8/07	Anders Møller	Statisk analyse af JavaScript: Indledende arbejde	1241
1727	Lasse Dahl Ebert	10/1/08	Christian Nørgaard Storm Pedersen	Comparison of the Learning Methods of three Types of neural Networks	1260
1725	Rune Simonsen	23/8/07	Anders Møller	Statisk analyse af JavaScript: Indledende arbejde	1242
1728	Christian Jonigkeit	18/1/08	Klaus Marius Hansen	Symbolic Debuggers for Distributed Systems	1261
1729	Allan Rasmusson	22/1/08	Peter Møller-Nielsen and Thomas Sangild	Simulating Cardiac Surgery in CUDA	1262
1730	Carsten Wollsen	28/1/08	Ole Caprani	King Bluetooth and His Lovely Princess - A Robot Game on the Logo Mindstorms NXT Platform	1263
1731	Mikkel Edelmann Nielsen	4/3/08	Ole Caprani	Robotgame implemented on LEJOS-Java Platform	1265
1737	Joakim Bittel Geisler	21/2/08	NULL	Implementing Asynchronous Multi-Party Computation	1264
1738	Peter Madsen	4/3/08	Jakob Bardram	Rover: A Data Management Infrastructure for Activity-Based Computing - Extending the support for user Mobility	1266
1733	Kari Rye Schougaard	12/12/07	Ole Lehrmann Madsen	Programming with Location from Conceptualization to Language Design	NULL
1734	Bent Otto Guldbjerg Christensen	11/3/08	Kaj Georg Grønbæk	Mobile P2P in Ad Hoc Networks: Framework and Applications	NULL
1735	Martin Brynskov	31/3/08	Kaj Georg Grønbæk	Tools for Social Construction: A Framework for Pervasive Media for Children	NULL
1736	Troels Bjerre Sørensen	10/3/08	Peter Bro Miltersen	Computing Equilibria of Two Player Games	NULL
1739	Johannes Brøgger Albertsen	11/3/08	Niels Olof Bouvin	Dynamic Content and Structural Search in MediaWiki	1267
1740	Jonas Maturana Larsen	25/3/08	Gerth Stølting Brodal	A Survey of Algorithms for Solving the Generalized Movers Problem in 3D	1268
1741	Jesper Dyhrman Thomsen	31/3/08	Ole Caprani	Investigating the applicability of reinforcement learning methods to agents in first person shooter games	1270
1742	Sune Koch Hansen	31/3/08	Anders Møller	Call-Graph analysis for Javascript	1271
1743	Søren Markert	31/3/08	Lars Kristensen	Internet Connectivity for MANETs	1272
1744	Mehdi Abyar	15/4/08	Ivan Damgård	Evaluation of Codesealer	1273
1745	Per Graa	16/4/08	Michael Schwartzbach	A Survey of syntax extension tools for Java	1274
1746	Hans Ehlert Thomsen	30/4/08	Susanne Bødker	Activity Theory Informed Scenario Based Design	1275
1747	Rasmus Winther Lauritsen	4/5/08	Ivan Damgård	Backups with computational secret sharing	1276
1748	Jing Wang	26/5/08	Michael Schwartzbach	HTML Personalization. HTML to XHTML Transformation, CSS Normalization and Ads Replacement	1277
1749	Carsten Raskgaard	4/4/08	Ivan Damgård	On the Protection of the Integrity of Data stored on untrusted Storage	1278
1750	Jacob Johannsen	25/6/08	Olivier Danvy	Et studie af Abadi & Cardellis type-løse objekt-calculus	1279
1751	Morten Stærkær	27/6/08	Klaus Marius Hansen	Comparing Web Services and REST	1280
1752	Jonas Sejr	27/6/08	Preben Mogensen	Agile Versus Participatory	1281
1753	Michael Nielsen	25/3/08	Gerth Stølting Brodal	A Survey of Algorithms for Solving the Generalized Mover's Problem in 3D	1269
1754	Troels Lund Rasmussen	13/8/08	Gudmund Frandsen	An Experimental comparison of Algorithms for generating random factored Numbers	1282
1755	Jesper Wolff Olsen	2/9/08	Preben Holst Mogensen	NULL	1283
1756	Rune Lehard Hansen Stubbe	24/9/08	Peter Bro Miltersen	Computer Program Compression	1284
1757	Olafur Helgi Rögnvaldsson	26/9/08	Frank Allan Hansen	NULL	1285
1758	Martin Simonsen	2/10/08	Christian Nørgaard Storm Pedersen	Phylogenetic Interence on Cell Processors	1286
1759	Benjamin Toft Jakobsen	2/10/08	Christian Nørgaard Storm Pedersen	Word Deobfuscation in Spam Filtering	1287
1760	Bjørn Rohde Jensen	2/10/08	Christian Nørgaard Storm Pedersen	Tree Reconstruction by Maximum Likelihood using Prior Knowledge	1288
1761	Jens Rimestad	3/10/08	Ole Østerby	Deformed Particle Level Set	1289
1762	Elvar Olafsson	8/10/08	Lars Michael Kristensen	Evaluating Wireless Sensor Network Power Consumption: A Case Study on Two Routing Protocols for Structural Health Monitoring	1290
1763	Henrik Skaarup Andersen	8/10/08	Lars Michael Kristensen	Evaluating Wireless Sensor Network Power Consumption: A Case Study on Two Routing Protocols for Structural Health Monitoring	1291
1764	Mads Darø Kristensen	9/10/08	Kaj Grønbæk	NULL	1292
1765	Asbjørn Tølbøl Brask	27/10/08	Christian Nørgaard Storm Pedersen	Optimizing general hidden Markov Models on Multi-Core CPUs and GPUs	1293
1766	Torill Hagesæther Skytte	28/10/08	Morten Kyng	User-Driven innovation - when there are complex Interrelations within the User-Group	1294
1767	Kristian Jakob Dorland	6/11/08	Lars Michael Kristensen	A virtual Environment for Development of Location-Aware Mobile Network Software	1295
1768	Søren Kanstrup	13/11/08	Kaj Grønbæk	Communities of Practice using FOAF	1296
1769	Anders Westfall Reinholt Petersen	9/12/08	Henrik Bærbak Christensen	Model for Measuring Alignment in University Courses	1297
1770	Piotr Zbigniew Karasinski	17/12/08	Ole Caprani	Utilization of the Java Programming Language ind Sound Processing Applications	1298
1771	Claus Andersen	19/12/08	Gerth Stølting Brodal	An optimal Minimum Spanning Tree Algorithm	1299
1772	Michael Østergaard Pedersen	30/5/08	Ivan Damgård	Authentication and Privacy with Application to Pervasive Computing	NULL
1773	Mikkel Baun Kjærgaard	8/9/08	Klaus Marius Hansen	Indoor Positioning with Radio Location Fingerprinting	NULL
1774	Jeppe Rørbæk Brøndsted	12/9/08	Klaus Marius Hansen	Vehicle to Vehicle Services. Service oriented architecture for pervasive computing systems with emphasis on vehicle to vehicle applications	NULL
1775	Kristian Bisgaard Lassen	21/10/08	Søren Christensen	Using Formal Behavioral Models in Software Development: From Real-World Problems to Software Systems	NULL
1776	Søren Besenbacher	31/10/08	Christian Nørgaard Storm Pedersen	Challenges in whole-genome association mapping	NULL
1777	Doina Bucur	21/11/08	Mogens Nielsen	On Context awareness in Ubiquitous Computing	NULL
1778	Raphael Dobers	14/1/09	Lars M. Kristensen	A Hybrid Publish-Subscribe Middleware interconnecting mobile ad-hoc and wired Networks across the Internet	1300
1779	Sine Flarup Budtz	16/1/09	Ole Caprani	Can Computers play Whist? -A Framework to develop and experiment with learning, Computer controlled Players.	1301
1780	Jakob Vaagholt Sørensen	16/1/09	Ole Caprani	Can Computers play Whist? -A Framework to develop and experiment with learning, Computer controlled Players.	1302
1781	Mads Keblov Kjeldsen	16/1/09	Lars M. Kristensen	Automatic Code Generation from Process-partitioned coloured Petri Net Models	1303
1782	Kristian Asbjørn Leth Espensen	16/1/09	Lars M. Kristensen	Automatic Code Generation from Process-partitioned coloured Petri Net Models	1304
1783	Kristian Asbjørn Leth Espensen	16/1/09	Lars M. Kristensen	Automatic Code Generation from Process-partitioned coloured Petri Net Models	1304
1784	Torben Ditlev Jensen	23/1/09	Ivan Damgaard	Security in Battle Management Systems using Web-services, under the Influence of a Service Oriented Architecture	1305
1785	Niels Ladegaard Beck	28/1/09	Erik Ernst	Optimizing LINQ-quries in C5 using Indices.	1306
1826	Rune Ivan Thorbek	15/9/09	Ivan Bjerre Damgård	Linear Integer Secret Sharing	NULL
1825	Simon Tjell	28/4/09	Søren Christensen	Formal Requirements Modeling	NULL
1789	Anders Kirkeskov Carlsen	29/1/09	Michael Schwartzbach	Evaluation of a DSL for SMC.	1307
1790	Lars Søndergaard Pedersen	13/2/09	Erik Ernst	Native Command Queuing og Latency.	1308
1791	Krzysztof Piatkowski	25/2/09	Gerth Stølting Brodal	Engineering Maximum Delsum Algorithms.	1309
1792	Kim Rauff Schurmann	18/3/09	Niels Olof Bouvin	Task Scheduling in Cyber Foraging.	1310
1793	Kristian Andersen	18/3/09	Niels Olof Bouvin	Task Scheduling in Cyber Foraging.	1311
1794	Lea Troels Møller Pedersen	19/3/09	Anders Møller	Program Slicing for String Analysis.	1312
1795	Bjarke Nørgaard Laustsen	24/3/09	Peter Møller-Nielsen	Real-time Camera-Space Subsurface scattering on the GPU.	1313
1796	Henrik Bitsch Kirk	1/4/09	Gerth S. Brodal	Searching with dynamic Optimality, in Theory and Practise	1314
1797	Miroslava Sotáková	20/3/09	Louis Salvail	On the Power of Two-Party Quantum Cryptography	NULL
1798	Martin Mogensen	15/4/09	Jakob Bardram	Infrastructure Support for Collaborative Pervasive Computing Systems	NULL
1801	Janus Dam Nielsen	28/5/09	Michael I. Schwartzbach	Languages for Secure Multiparty Computation and Towards Strongly Typed Macroes	NULL
1800	Jonathan Bunde-Pedersen	16/4/09	Jakob Bardram	Distributed Interaction for Activity-Based Computing	NULL
1802	Claudio Orlandi	15/4/09	Ivan Bjerre Damgård	LEGO and Other Cryptographic Constructions	1315
1803	Niels Raabjerg Mathiasen	15/4/09	Susanne Bødker	Designing Useful IT Security for Everyday People	1316
1804	Rolf Bagge	1/5/09	Peter Møller-Nielsen	Working towards a more physically correct Real-Time Rendering of Indoor Scenes	1317
1805	Janus Bager Kristensen	1/5/09	Peter Møller-Nielsen	Working towards a more physically correct Real-Time Rendering of Indoor Scenes	1318
1806	Ole Jørgensen	0000-00-00	Christian Nørgaard Storm Pedersen	Logic Regression in Association Mapping	1319
1807	Woody Toke Mejer Jensen	6/5/09	Christian Nørgaard Storm Pedersen	Improving a Text Prediction Algorithm without using Language specific Knowledge	1320
1808	Henrik Gammelmark	15/5/09	Niels Olof Bouvin	Adaptive Forms: A XML-Based Framework for Dynamic Data Entry	1321
1809	Søren Sunesen Soltveit	2/6/09	Henrik Bærbak Christensen	Criticism of a software quality model	1322
1810	Helle Friis Petersen	15/6/09	Preben Mogensen	Rules for development and use of a system for mood monitoring and lifechart	1323
1811	Morten Tranberg Hansen	24/6/09	Søren Christensen	Long Living Sensors	1324
1812	Anne Therese Frost Hansen	24/6/09	Marianne Graves	Supporting social interaction between Web 2.0-services	1325
1813	Thomas Vestergaard	25/6/09	Henrik Bærbak Christensen	A Foray Into Autonomic Territory	1326
1814	Christof Lemke	25/6/09	Niels Olof Bouvin	A Trusted P2P Overlay for Social Networking	1327
1815	Jonathan Frumer	29/6/09	Niels Olof Bouvin	Evaluating Location Aware Multihop Routing for Pervasive Monitoring of Firefighters	1328
1816	Jakob Løvstad Funder	1/7/09	Ivan Bjerre Damgård	Cryptography in Higher Dimensions	1329
1817	Konstantinos Tsakalidis	2/7/09	Gerth Stølting Brodal	External Memory 3-sided Planar Range Reporting and Persistent B-Trees	1330
1818	Morten Holdflod Møller	3/7/09	Niels Olof Bouvin	Optimizing Mobile Applications using Cyber Foraging	1331
1819	Mads Østerby Jespersen	3/7/09	Kaj Grønbæk	Methods for Preserving Digital Heritage from Legacy Platforms - a Case Study on Preservation of Commodore 64 Material	1332
1820	Jesper Nielsen	8/7/09	Christian Nørgaard Storm Pedersen	Finding Patterns in Biological and Molecular Data	1333
1821	Michael Achenbach	22/7/09	Klaus Ostermann	Abstraction Engineering	1334
1822	Morten Bohøj	27/7/09	Susanne Bødker	Social Navigation, Adaptivity and Validation	1335
1823	Fredrik Skeel Løkke	4/8/09	Erik Ernst	Design Patterns and Scala	1336
1824	Kasper Ligaard	14/8/09	Niels Olof Bouvin and Frank Allan Hansen	An Exploratory Search Tool for Folksonomies	1337
1827	Karsten Østergaard Noe	1/10/09	Ole Østerby, Thomas Sangild, Cai Grau og Kari Tanderup	Deformable Image Registration for Use in Radiotherapy, Using GPU Acceleration	NULL
1828	Clemens Nylandsted Klokmose	22/10/09	Susanne Bødker	On Human-Computer Interaction in Complex Artefact Ecologies	NULL
1829	Klas Olof Daniel Andersson	31/10/09	Peter Bro Miltersen	Perfect-Information Games with Cycles	NULL
1830	Martin Olsen	9/11/09	Gerth Stølting Brodal	Link Building	NULL
1831	Kristian Ellebæk Kjær	17/12/09	Klaus Marius Hansen	Participatory Middleware Design	NULL