Home > Research > Dissertations 1985 - now

Computer Science PhDs since 1985

Student	Year	Group	Employer	Advisor	Thesis	Pdf
D. Jiang	2012	CS		prof.dr.ir. M.R. van Steen	Performance Guarantees for Web Applications
A. Vanya	2012	IMSE		Prof.dr. J.C. van Vliet	Supporting Architecture Evolution by Mining Software Repositories
M. Umair	2012	AI		Prof.dr. J. Treur	Adaptivity, Emotion, and Rationality in Human and Ambient Agent Models	M.Umair 06-02-2012
D. Ganesan	2011	IMSE		Prof.dr. C. Verhoef	Software Architecture Discovery for Testability, Performance and Maintainability of Industrial Systems	D Ganesan 24-01-2012
J.L. Eveleens	2011	IMSE		Prof.dr. C. Verhoef	IT Forecast Quality in Measure and Number	JL Eveleens 13-12-2011
V. Clerc	2011	IMSE		Prof.dr. J.C. van Vliet	Architectural Knowledge Management in Global Software Development	V. Clerc 13-12-2011
A.A.Aziz	2011	AI		Prof.dr. J. Treur	Exploring Computational Models for Intelligent Support of Persons with Depression	AB Ab Aziz 06-12-2011
A. Bhulai	2011	IMSE		Prof.dr. G.C. van der Veer	Dynamic website optimization through autonomous management of design patterns	A. Bhulai 25-11-2011
Q. Gu	2011	IMSE		Prof.dr. H. van Vliet	Guiding Service-Oriented Software Engineering	Q. Gu 06-10-2011
M.A. Pontier	2011	AI		Prof.dr. J. Treur	Virtual Agents for Human Communication: Emotion Regulation and Involvement-Distance Trade-Offs in Embodied Conversational Agents and Robots	MA Pontier 19-09-2011
S.W. Jaffry	2011	AI		Prof.dr. J. Treur	Analysis and Validation of Models for Trust Dynamics	SW Jaffry 09-11-2011
G. Urdaneta Paredes	2011	CS		prof.dr.ir. M.R. van Steen	Collaborative Wikipedia Hosting	G. Urdaneta Paredes 30-06-2011
I. Vaishnavi	2011	CS en BWM		Prof.dr. D.C.A.Bulterman en prof. dr.ir. M.R. van Steen	Coherence in Synchronous Shared Experiences	I Vaishnavi 24-06-2011
T. Binsl	2011	Bioinf		Prof.dr. J. Heringa	Fluxes of life: Bioinformatica for Metabolic Flux Quantification in Isotopic Non-Steady-State	T. Binsl 11-03-2011
B. van der Raadt	2011	IMSE		Prof. dr. H. v. Vliet	Enterprise Architecture coming of age: Increasing the performance of an emerging discipline	B van der Raadt 25-02-2011
R.Bakhshi	2011	TI		Prof. Dr. W. Fokkink Prof. dr. ir. M. v. Steen	Gossiping Models. Formal Analysis of Epidemic Protocols	Rena Bakhshi 13-01-2011
V.A.Pijpers	2010	BWM		Prof. dr. H. Akkermans Dr. J.Gordijn, copromotor	e3alignment: Exploring Inter-Organizational Business ICT Alignment	VA Pijpers 17-12-2010
D.F. de Oliveira Costa	2010	TI		prof.dr. J.J.M.M.Rutten prof.dr. F.Arbab Dr.M.Niqui, copromotor Dr. D.G. Clarke, copromotor	Formal models for component connectors	DF de Oliviera Costa 13-12-2010
P. van Maanen	2010	AI	TNO	Prof. dr. J. Treur Dr. T. Bosse	Adaptive Support for Human-Computer Teams. Exploring the Use of Cognitive Models of Trust and Attention	P van Maanen 09-12-2010
P.N. van der Spek	2010	IMSE		prof. dr. C. Verhoef Dr.A.S.Klusener, copromotor	Managing software evolution in embedded systems	PN van der Spek 30-11-2010
N.Drost	2010	CS		Prof. dr. ir. H. Bal dr. R.V. van Nieuwpoort, dr. F.J. Seinstra, copromotoren	Real-World Distrubuted Supercomputing	Niels Drost 25-11-2010
V.V.Zaytsev	2010	IMSE		prof. dr. C. Verhoef Prof.dr. R. Laemmel	Recovery, Convergence and Documentation of Languages	VV Saytzev 27-10-2010
S. de Kinderen	2010	BWM		Prof. dr. H. Akkermans Dr. J.Gordijn, copromotor	Needs-driven service bundling in a multi-suppliersetting: The comuputational e3 service approach	S de Kinderen 25-10-2010
M.H.J.Nijhuis	2010	CS		Prof. dr. ir. H. Bal Dr. H. Bos, copromotor	A Framework for Parallel Streaming Applications	M. Nijhuis 18-10-2010
M.F.J. van Assem	2010	BWM	VUA	Prof. dr. G. Schreiber Dr. J. v. Ossenbruggen, copromotor	Converting and Integrating Vocabularies for the Semantic Web	M van Assem 01-10-2010
G.F.Siddiqui	2010	AI		Prof. dr. J. Treur Dr. T. Bosse & Dr. J.F. Hoorn copromotoren	Integrative Modeling of Emotions in Virtual Agents	GF Siddiqui 28-09-2010
J.N.Herder	2010	CS		Prof. dr. A. Tanenbaum	Building a dependable operating system: fault tolerance in MINIX 3	JN Herder 09-09-2010
K.Iwanicki	2010	CS		Prof. dr. ir. M. v. Steen	Hierarchical Routing in Low-Power Wireless Networks	K Iwanicki 29-06-2010
J.Endrullis	2010	TI	VUA	Prof. dr. J W. Klop Dr. R. de Vrijer,	Termination and Productivity cum laude	J Endrullis 01-06-2010
Z.A.Memon	2010	AI		Prof. dr. J. Treur Dr. T. Bosse	Modelling Human-Awareness in Ambient Agents:: A Human Mindreading Perspective	ZA Memon 25-05-2010
C.Gerritsen	2010	AI	VUA	Prof. dr. J. Treur Dr. M. Klein	Caught in the Act: Investigating Crime by Agent-Based Simulation	C Gerritsen 12-04-2010
S. v. Splunter	2010	CS	TU Delft	Prof.dr. F. Brazier, dr. P.H.G. v. Langen copromotor	Automated Web Service Reconfiguration	S van Splunter 29-03-2010
I.Isihara	2010	TI		Prof. dr. J W. Klop Dr. R. de Vrijer, copromotor	Algorithmic Term Rewriting Systems	A Isihara 25-03-2010
S.Kotoulas	2010	AI	VUA	Prof.dr. F.A.H. v. Harmelen Dr.R.M.Siebes, copromotor	Scalable discovery of networked data: Algorithms, Infrastructure, Applications	S Kotoulas 24-03-2010
G.Portokalidis	2010	CS		Prof. dr. ir. H. Bal Prof. dr.ir. H.J.Bos	Using Virtualisation to Protect Against Zero-Day Attacks	G Portokalidis 25-02-2010
W.J.de Bruijn	2010	CS		Prof. dr. ir. H. Bal Prof.dr.ir.H.J.Bos, copromotor	Adaptive Operating System Design for High Throughput I/O	W de Bruijn 29-01-2010
S. K. Nair	2010	CS	BT	Prof. dr. A. Tanenbaum Dr. B. Crispo copromotor	Remote Policy Enforcement using Java Virtual Machine	SK Nair
W.A. Pirovano	2010	Bioinf.	Baseclear	Prof.dr. J. Heringa dr.ir.K.A.Feenstra, copromotor	Comparing building blocks of life: sequence alignment and evaluation of predicted structural and functional features	W Pirovano 15-01-2010
R. Farenhorst, R. de Boer	2009	IMSE		Prof. dr. H. v. Vliet dr. P. Lago copromotor	Architectural Knowledge Management: Supporting Architects and Auditors	R Farenhorst en R de Boer 05-10-2009
W. van Hage	2009	BWM	VU	Prof. dr. G. Schreiber	Evaluating Ontology-Alignment Techniques	W van Hage 19-01-2009
E. Kulk	2009	IMSE		prof. dr. C. Verhoef	IT Risks in Measure and Number	E. Kulk 18-11-2009
P.I. Hofgesang	2009	AI		Prof.dr. A.E. Eiben	Modelling Web Usage in a Changing Environment	PI Hofgesang 08-10-2009
T. Chen	2009	TI		Prof.dr. W.J. Fokkink	Clocks, Dice and Processes	T. Chen 21-09-2009
D. Gavidia	2009	CS		Prof.dr.ir. M.R. van Steen	Epidemic-Style Information Dissemination in Large-Scale Wireless Networks	D. Gavidia 30-06-2009
A. Heuvelink	2009	AI		Prof.dr. J. Treur	Cognitive Models for Training Simulations
M.D. den Burger	2009	CS		Prof.dr.ir. H.E. Bal	High-throuhput Multicast Communication for Grid Applications	MD den Burger 22-06-2009
M Korotkiy	2009	BWM		Prof.dr.ir. J.L. Top	From Ontology-enabled Services to Service-enabled Ontologies	M Korotkiy 18-06-2009
H.H. Hansen	2009	TI		Prof.dr. J.J.M.M. Rutten	Coalgebraic Modelling	HH Hansen 14-05-2009
G.S. Nitschke	2009	AI		Prof.dr. A.E. Eiben	Neuro-Evolution For Emergent Specialization in Collective Behavior Systems	GS Nitschke 06-03-2009
V. Nannen	2009	AI		Prof.dr. A.E.Eiben	Evolutionary Agent-Based Policy Analysis in Dynamic Environment	V Nannen 16-04-2009
Z. Aleksovski	2008	AI		Prof.dr. F.A.H. van Harmelen	Using background knowledge in ontology matching	Z Aleksovski 24-06-2008
M. Rieback	2008	CS	VU	Prof. dr. A. Tanenbaum	Security and Privacy of Radio Freequency Identification	M Rieback 11-09-2008
S. Smit	2008	Bioinf		Prof.dr. J. Heringa	RNA in Formation	S. Smit 29-09-2008
W. van Atteveldt	2008	AI		Prof.dr. F.A.H. van Harmelen	Semantic Network Analysis	WH van Atteveldt 14-10-2008
T. van der Schaaf	2008	CS		Prof.dr.ir. H.E. Bal	Aura II: a Scene Graph based Architecture for Interactive Parallel Rendering
M. Torabi Dashti	2008	TI		Prof.dr. W.J. Fokkink	Keeping Fairness Alive	M Torabi Dashti 27-02-2008
A. Sharpanskykh	2008	AI	VU	Prof.d.r J. Treur	On Computer-Aided Methods for Modeling and Analysis of Organizations	A. Sharpanskykh 10-01-2008
R.J. Szklarczyk	2007	Bioinf	Radboud Universiteit Nijmegen	Prof.dr. J. Heringa	Information reuse in comparative genomics	RJ Szklarczyk 23-11-2007
A. Wijs	2007	TI		Prof.dr. W.J. Fokkink	What to Do Next? Analysing and Optimising System Behaviour in Time	A. Wijs 02-10-2007
J. Schalken	2007	IMSE	-	Prof. dr. H. v. Vliet	Empirical Investigations of Software Process Improvement	J Schalken 17-12-2007
N. Veerman	2007	IMSE	VU	prof. dr. C. Verhoef	Automated Mass Maintenance of Software Assets	N Veerman 15-01-1007
B. Popescu	2007	CS	Optiver	Prof. dr. A. Tanenbaum	Design and Impl. of a Secure Wide-Area Object Middleware	BC Popescu 05-09-2007
M. Hoogendoorn	2007	AI	VU	Prof. dr. J. Treur	Modeling of Change in Multi-Agent Organizations	M Hoogendoorn 18-06-2007
K. Jong	2007	AI	-	Prof.dr. A.E. Eiben	Machine Learning for Human Cancer Research	Kees Jong 01-06-2006
D. Mobach	2007	CS	-	Prof. F. Brazier	Agent-Based Mediated Service Negotiation	D Mobach 21-05-2007
G. Wrzesinska	2007	CS	Pointlogic	Prof. dr. ir. H. Bal	Handling Complexity and Changes in Grid Computing	G Wrzesinska 10-05-2007
M. Szymaniak	2007	CS	Google	Prof. dr. ir. M. v.Steen	Latency-Driven Replication for Globally Distributed Systems	M Szymaniak 17-04-2007
C. Stormer	2007	IMSE	ETAS	prof. dr. C.Verhoef	Software Quality Attribute Analysis by Architecture Reconstruction	C Stormer 16-03-2007
S.Sivasubramanian	2006	CS	Amazon.com	Prof. dr. ir. M. v. Steen	Scalable Hosting of Web Applications	S Sivasubramanian 18-04-2007
L. Hollink	2006	BWM	VU	Prof. dr. G. Schreiber	Semantic Annotation for Retrieval of Visual Resources	L Hollink 16-11-2006
J. Hoorn	2006	IMSE	VU	Prof. dr. G.C. v. d. Veer prof. dr. H. v. Vliet	Software Requirements: Update, Upgrade, Redesign : Towards a Theory of Requirements Change	JF Hoorn 09-10-2006
S. Vougaris	2006	CS	ETH	Prof. dr. ir. M. v. Steen	Epidemic-Based Self-Organization in Peer-to-Peer Systems	S Voulgaris 03-10-2006
B. Badban	2006	TI	U. of Oldenburg	Prof. Dr. W. Fokkink	Verification Techniques for Extensions of Equality Logic	B Badban 07-09-2006
B. Bongers	2006	IMSE	-	Prof. dr. G.C. v.d.Veer Prof. dr. H. v.Vliet	Interactivation -Towards an e-cology of people, our technological environment, and the arts
M. Sabou	2006	AI	Open U	Prof.dr. F.A.H. v. Harmelen	Building Web Service Ontologies	M Sabou 27-04-2006
J. Ketema	2006	TI	Tohohu U.	Prof. dr. J W. Klop	Bohm-Like Trees for Rewriting	J Ketema 20-03-2006
C. Chisalita	2006	IMSE	U. of Twente	Prof. dr. G.C. v. d. Veer Prof. dr. H. v. Vliet	Contextual Issues in the Design and Use of Inf. Tech. in Orgs.
M. Valero Espada	2005	TI	U. Madrid	Prof. Dr. Wan Fokkink	Modal Abstracton and Replication of Processes with Data	M Valero Espada 05-12-2005
B. Craenen	2005	AI	Napier U.	Prof.dr. A.E. Eiben	Solving Constraint Satisfaction Problems with Evolutionary Algorithms	B Craenen 24-11-2005
V. Simossis	2005	Bioinf.	Stadonlab	Prof.dr. J. Heringa	From Sequence to Structure and Back Again	VA Simossis 07-07-2005
J. Broekstra	2005		TUE	Prof.dr. F.A.H. v. Harmelen	Storage Querying and Inferencing for Semantic Web Languages	J Broekstra 04-07-2005
M. Oey	2005	CS	VU	Prof. dr. A. Tanenbaum	The Design of a High-Integrity Disk Management Subsystem	M Oey 17-05-2005
T. Bosse	2005	Artificial Intelligence	VU	Prof. dr. J. Treur	Analysis of the Dynamics of Cognitive Processes	T Bosse 23-11-2005
E. Ogston	2005	CS	VU	Prof. F.Brazier	Agent Based Matchmaking and Clustering	E Ogston 05-04-2005
C. Grabmayer	2005	TI	TUE	Prof. dr. J W. Klop	Relating Proof Systems for Recursive Types	C Grabmayer 22-03-2005
M.Evers	2004	IMSE		Prof. dr. G.C. v. d. Veer. Prof. dr.W.Baets	Learning from Design: facilitating multidisciplinary design teams
S. Orzan	2004	TI	TUE	Prof. Dr. W. Fokkink	On Distributed Verification and Verified Distribution	SM Orzan 05-11-2004
N. Ioustinova	2004	TI	CWI	Prof. Dr. W. Fokkink	Abstractions and Static Analysis for Verifying Reactive Systems	N Yustinova 04-11-2004
F. Divina	2004		U. Tilburg	Prof.dr. A.E. Eiben	Hybrid Genetic Relational Search for Inductive Learning	F Divina 26-10-2004
M. Klein	2004	BWM	VU	Prof. dr. G. Schreiber	Change Management for Distributed Ontologies	M Klein 14-09-2004
J. Pang	2004	TI	U. of Oldenburg	Prof. Dr. W. Fokkink	Formal Verification of Distributed Systems	J Pang 26-10-2004
M. Caminada	2004	IMSE	U. of Utrecht	Prof. R.P.van der Riet (†)	For the Sake of Argument	MWA Caminada 22-06-2004
I. Kuz	2003	CS	NICTA	Prof. dr. ir. M. van Steen	An Approach to A Scalable Wide-Area Web Service	IT Kuz 04-12-2003
W. Vogels	2003	CS	Amazon.com	Prof. dr. ir. H. Bal	Scalable Cluster Tech. for Mission-Critical Enterprise Computing	WHP Vogels 11-11-2003
G. Ballintijn	2003	CS	CWI	Prof. dr. A. Tanenbaum	Locating Objects in a Wide-Area System	GC Ballentijn 30-10-2003
R. Veldema	2003	CS	U. of Erlangen	Prof. dr. ir. H. Bal	Compiler and Runtime Opt. for Fine-Grained Shared Memory Systems	RS Veldema 02-10-2003
Van Nieuwpoort	2003	CS	VU	Prof. dr. ir. H. Bal	Efficient Java-Centric Grid-Computing	RV van Nieuwpoort 04-09-2003
J. Maassen	2003	CS	VU	Prof. dr. ir. H. Bal	Method Invocation Based Commun. Models for Parallel Prog. in Java	J Maassen 17-06-2003
J. Broersen	2003	IMSE	U. of Utrecht	Wieringa	Modal Action Logics for Reasoning about Reactive Systems	JM Broersen 25-02-2003
H.Stuckenschmidt	2003	AI	VU	Prof.dr. F.A.H. v. Harmelen	Ontology-Based Information Sharing in Weakly Structured Environments	H Stuckenschmidt 23-01-2003
J. Gordijn	2002	BWM	VU	Prof. dr. H. Akkermans	Value-based Requirements Eng.: Exploring Innovative E-Commerce Ideas	J Gordijn 25-06-2002
M. Bognar	2002	TI	Deloitte	Prof. dr. J W. Klop	Contexts in Lambda Calculus
W.C.A. Wijngaards	2002	AI		Prof.dr. J. Treur	Agent-Based Modelling of Dynamics: Biological and Organisational Applications
P. van Langen	2002	AI	Rabofacet	Prof. F. Brazier	The Anatomy of Design
A. Bakker	2002	CS	VU	Prof. dr. A. Tanenbaum	An Object-Based Software Distribution Network
N.Lassing	2002	IMSE		Prof.dr. Hans van Vliet, Prof.dr. D.B.B.Rijsenbrij	Architecture-Level Modifiablility Analysis
J. den Hartog	2002	TI	TUE	De Bakker	Probabilistic Extensions of Semantical Models
T.M. van Engers	2001	BWM -IMSE	UvA	Prof. dr. H. Akkermans Dr. G.C. v. d. Veer copromotor	Knowledge Management: The Role of Mental Models in Business Systems Design	TM van Engers 11-12-2001
S. Blom	2001	CS	CWI	Prof. dr. J W. Klop	Term Graph Rewriting--syntax and semantics	SCC Blom 06-03-2001
L. van Doorn	2001	CS	AMD	Prof. dr. A. Tanenbaum	The Architecture of a Worldwide Distributed System	L van Doorn 08-03-2001
P. Homburg	2001	CS	VU	Prof. dr. A. Tanenbaum	The Architecture of a Worldwide Distributed System	PC Homburg 08-03-2001
J van Ossenbruggen	2001	IMSE	CWI	Prof. dr. H. v. Vliet	Processing Structured Hypermedia	J van Ossenbruggen 10-04-2001
J. Romein	2001	CS	VU	Prof. dr. ir. H. Bal	Multigame- An Environment for Distributed Game Tree Search	JW Romein 18-01-2001
S. Schonhage	2001	IMSE	Object. Tech. Int'l	prof. dr. H. v. Vliet	DIVA Architectural Perspectives on Information Visualization	SPC Schonhage 08-05-2001
P.A.T. van Eck	2001	AI		Prof.dr. J. Treur	A Compositional Semantic Structure for Multi-Agent Systems Dynamics	PAT van Eck 12-06-2001
M. van Welie	2001	IMSE	Satana	Prof. dr. H. v. Vliet Dr. G.C. v. d. Veer Dr. Anton Eliens copromotoren	Task-based User Interface Design	M van Welie 17-04-2001
R. Bhoedjang	2000	CS	Cornell U.	Prof. dr. ir. H. Bal	Communication Architectures for Parallel-Programming Systems	RAF Bhoedjang 06-06-2000
G. de Haan	2000	IMSE	U. of Maastricht	Prof. dr. H. v. Vliet Dr. G.C. v. d. Veer Dr. M.J.Tauber copromotoren	A Formal Model of Competence Knowledge for User Interface Design	G de Haan
F. Niessink	2000	IMSE	Software Eng. Research Centre	Prof. dr. H. v. Vliet	Perspectives on Improving Software Maintenance	F Niessink 28-03-2000
T. Ruhl	2000	CS	Data Distilleries	Prof. dr. ir. H. Bal	Collective Computation in Object-Based Parallel Programming Langs.	T Ruhl 16-11-2000
J. Engelfriet	2000	AI	McKinsey	Prof. dr. J. Treur	The Dynamics of Reasoning	J Engelfriet 04-02-1999
M. Sloof	1999		Everest	Prof. dr. J. Treur	Physiology of Quality Change Modeling	M Sloof 11-05-1999
N. Wijngaards	1999	AI	VU	Prof. dr. J. Treur	Re-design of Compositional Systems	NJE Wijngaards 30-09-1999
M. Bonsangue	1996	TI	U. of Leiden	De Bakker	Topological Dualities in Semantics	MM Bonsangue 07-10-1996
J. Burg	1996	IMSE	Ordina Finance	Prof. R.P.van der Riet (†)	Linguistic Instruments in Requirements Engineering
P. Elsas	1996	IMSE	Deloitte	Prof. R.P.van der Riet (†)	Computational Auditing
P. Lucas	1996	AI	U. of Aberdeen	Prof. dr. J. Treur	Structures in Diagnosis from Theory to Medical Application
F. van Raamsdonk	1996	TI	VU	Prof. dr. J W. Klop	Confluence and Normalisation of Higher-Order Rewriting	F van Raamsdonk 13-05-1996
D. Turi	1996	TI	U. of Edinburgh	De Bakker	Functional Operational Semantics and its Denotational Dual	D Turi 06-06-1996
F. van Breugel	1994	TI	York U.	De Bakker	Topological Models in Comparative Semantics	F van Breugel 28-09-1994
V. van Oostrom	1994	TI	U. of Utrecht	Prof. dr. J W. Klop	Confluence for Abstract and Higher-Order Rewriting	V van Oostrom 29-03-1994
P. Spruit	1994	IMSE	Duivenvoorde Software Eng.	Prof. R.P.van der Riet (†)	Logics of Database Updates
E. Horita	1993	TI	NTT Japan	De Bakker	Fully Abstract Models for Concurrent Languages
G. Vreeswijk	1993	TI	U. of Utrecht	Prof.dr. J-J. Ch.Meyer	Studies in Defeasible Argumentation
E. Baalbergen	1992	CS	Nat. Air & Space Lab	Prof. dr. A. Tanenbaum	The Declaritive Operating System Model
W. van der Hoek	1992	TI	U. of Utrecht	Prof.dr. J-J. Ch.Meyer	Modalities for Reasoning about Knowledge and Quantities
F. Kaashoek	1992	CS	M.I.T.	Prof. dr. A. Tanenbaum	Group Communication in Distributed Operating Systems	MF Kaashoek 14-12-1992
P.J. Veerkamp	1992	AI		Prof.dr. J. Treur	On the Development of an Artifact and Design Description Language
Y. Tan	1992	AI	VU	Prof. dr. J. Treur	Architecture and Philosophical Applications
R. Walker	1992	AI	Cap Gemini	Prof. dr. J. Treur	An Expert System Architecture for Heterogeneous Domains	RF Walker 1992
F. de Boer	1991	TI	U. of Utrecht	De Bakker	Reasoning about Dynamically Evolving Process Structures
R. van Glabbeek	1990	TI	Stanford U.	Prof. dr. J W. Klop	Comparative Concurrency Semantics and Refinement of Actions
A. Middeldorp	1990	TI	U. of Tsukuba	Prof. dr. J W. Klop	Modular Properties of Term Rewriting Systems
E. de Vink	1990	TI	TUE	De Bakker	Designing Stream Based Semantics for Uniform Concurrency and Logic Programming
R. Wieringa	1990	IMSE	U. of Twente	Prof. R.P.van der Riet (†)	Algebraic Foundations for Dynamic Conceptual Models
P. Americana	1989	TI	Philips Research	De Bakker	A Parallel Object-Oriented Language
J. Rutten	1989	TI	CWI	De Bakker	A Parallel Object-Oriented Language
H. Bal	1989	CS	VU	Prof. dr. A. Tanenbaum	The Shared Data Object Model as a Paradigm for Prog. Distr. Sys	HE Bal 17-10-1989
F. Dignum	1989	IMSE	U. of Utrecht	Prof. R.P.van der Riet (†)	A Language for Modelling Knowledge Base Systems
J. Kok	1989	TI	U. of Leiden	De Bakker	Semantics Models for Parallel Computation in Data Flow, Logic-, and Object-Oriented Programming
R. van Renesse	1989	CS	Cornell U.	Prof. dr. A. Tanenbaum	Functional Processing as a Paradigm for Distr. Computing
J. Tebra	1989	IMSE	-	Prof. R.P.van der Riet (†)	Optimistic and Parallelism in Prolog
H. Weigand	1989	IMSE	Kath. U. Brabant	Prof. R.P.van der Riet (†)	Linguistically Motivated Principles of Knowledge Base Systems
A. de Bruin	1986	TI	Erasmus U.	De Bakker	Experiments with Continuation Semantics
W. de Jonge	1985	IMSE	VU	Prof. R.P.van der Riet (†)	Security and Privacy in Information Systems
M. Kersten	1985	IMSE	CWI & Data Distilleries	Prof. R.P.van der Riet (†)	A Model for a Secure Programming Environment
J.-J. Ch. Meyer	1985	TI	U. of Utrecht	De Bakker	Programming Calculi Based on Fixed Point Transformations
S. Mullender	1985	CS	Bell Labs	Prof. dr. A. Tanenbaum	Principles of Distributed Operating System Design