| Student | Year | Group | Advisor | Thesis | Pdf |
| 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 en Dr. P. Lago co-promotor | 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. J.C. van Vliet en Dr. P. Lago co-promotor | 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. J.C. 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 en 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 en
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 | Prof. dr. J. TreurDr. 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 | IMSEempty | 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.E. 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.E. Bal
Dr. H.J. Bos,
copromotor | A Framework for Parallel Streaming Applications | M. Nijhuis 18-10-2010 |
| M.F.J. van Assem | 2010 | BWM | 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.R. van Steen | Hierarchical Routing in Low-Power Wireless Networks | K Iwanicki 29-06-2010 |
| J.Endrullis | 2010 | TI | 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 | 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 | 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 | 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.E. 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.E. 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 | Prof. dr. A. Tanenbaum
Dr. B. Crispo
copromotor | Remote Policy Enforcement using Java Virtual Machine | SK Nair |
| W.A. Pirovano | 2010 | Bioinf. | 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 | IMSEempty | Prof. dr. J.C. van 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 | 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 | 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 | Prof.dr. J. Treur | On Computer-Aided Methods for Modeling and Analysis of Organizations | A. Sharpanskykh 10-01-2008 |
| R.J. Szklarczyk | 2007 | Bioinf | 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. J.C. van Vliet | Empirical Investigations
of Software Process Improvement | J Schalken 17-12-2007 |
| N. Veerman | 2007 | IMSE | prof. dr. C. Verhoef
| Automated Mass Maintenance of Software Assets | N Veerman 15-01-1007 |
| B. Popescu | 2007 | CS | Prof. dr. A. Tanenbaum | Design and Impl. of a Secure Wide-Area Object Middleware | BC Popescu 05-09-2007 |
| M. Hoogendoorn | 2007 | AI | Prof. dr. J. Treur | Modeling of Change in Multi-Agent Organizations | M Hoogendoorn 18-06-2007 |
| K. Jong | 2007 | AI | Prof.dr. A.E. Eibenempty | 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 | Prof. dr. ir. H.E. Bal | Handling Complexity and Changes in Grid Computing | G Wrzesinska 10-05-2007 |
| M. Szymaniak | 2007 | CS | Prof. dr. ir. M.R. van Steen | Latency-Driven Replication for Globally Distributed Systems | M Szymaniak 17-04-2007 |
| C. Stormer | 2007 | IMSE | prof. dr. C.Verhoef
| Software Quality Attribute Analysis by Architecture Reconstruction | C Stormer 16-03-2007 |
| S.Sivasubramanian | 2006 | CS | Prof. dr. ir. M.R. van Steen | Scalable Hosting of Web Applications | S Sivasubramanian 18-04-2007 |
| L. Hollink | 2006 | BWM | Prof. dr. G. Schreiber | Semantic Annotation for Retrieval of Visual Resources | L Hollink 16-11-2006 |
| J. Hoorn | 2006 | IMSE | Prof. dr. G.C. v. d. Veer
prof. dr. J.C. van Vliet | Software Requirements: Update, Upgrade, Redesign : Towards a Theory of Requirements Change | JF Hoorn 09-10-2006 |
| S. Vougaris | 2006 | CS | Prof. dr. ir. M.R. van Steen | Epidemic-Based Self-Organization in Peer-to-Peer Systems | S Voulgaris 03-10-2006 |
| B. Badban | 2006 | TI | Prof. dr. W.J. 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. J.C. van Vliet | Interactivation -Towards an e-cology of people, our technological environment, and the arts | |
| M. Sabou | 2006 | AI | Prof.dr. F.A.H. v. Harmelenempty | Building Web Service Ontologies | M Sabou 27-04-2006 |
| J. Ketema | 2006 | TI | Prof. dr. J W. Klop | Bohm-Like Trees for Rewriting | J Ketema 20-03-2006 |
| C. Chisalita | 2006 | IMSE | Prof. dr. G.C. v. d. Veer
Prof. dr. J.C. van Vliet | Contextual Issues in the Design and Use of Inf. Tech. in Orgs. | |
| M. Valero Espada | 2005 | TI | Prof. dr. W.J. Fokkink | Modal Abstracton and Replication of Processes with Data | M Valero Espada 05-12-2005 |
| B. Craenen | 2005 | AI | Prof.dr. A.E. Eibenempty | Solving Constraint Satisfaction Problems with Evolutionary Algorithms | B Craenen 24-11-2005 |
| V. Simossis | 2005 | Bioinf. | Prof.dr. J. Heringa | From Sequence to Structure and Back Again | VA Simossis 07-07-2005 |
| J. Broekstra | 2005 | | Prof.dr. F.A.H. v. Harmelen | Storage Querying and Inferencing for Semantic Web Languages | J Broekstra 04-07-2005 |
| M. Oey | 2005 | CS | Prof. dr. A. Tanenbaum | The Design of a High-Integrity Disk Management Subsystem | M Oey 17-05-2005 |
| T. Bosse | 2005 | empty | Prof. dr. J. Treur | Analysis of the Dynamics of Cognitive Processes | T Bosse 23-11-2005 |
| E. Ogston | 2005 | CS | Prof. F.Brazier | Agent Based Matchmaking and Clustering | E Ogston 05-04-2005 |
| C. Grabmayer | 2005 | TI | 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 | Prof. dr. W.J. Fokkink | On Distributed Verification and Verified Distribution | SM Orzan 05-11-2004 |
| N. Ioustinova | 2004 | TI | Prof. dr. W.J. Fokkink | Abstractions and Static Analysis for Verifying Reactive Systems | N Yustinova 04-11-2004 |
| F. Divina | 2004 | | Prof.dr. A.E. Eibenempty | Hybrid Genetic Relational Search for Inductive Learning | F Divina 26-10-2004 |
| M. Klein | 2004 | BWM | Prof. dr. G. Schreiber | Change Management for Distributed Ontologies | M Klein 14-09-2004 |
| J. Pang | 2004 | TI | Prof. dr. W.J. Fokkink | Formal Verification of Distributed Systems | J Pang 26-10-2004 |
| M. Caminada | 2004 | IMSE | Prof. R.P.van der Riet (†) | For the Sake of Argument | MWA Caminada 22-06-2004 |
| I. Kuz | 2003 | CS | Prof. dr. ir. M.R. van Steen | An Approach to A Scalable Wide-Area Web Service | IT Kuz 04-12-2003 |
| W. Vogels | 2003 | CS | Prof. dr. ir. H.E. Bal | Scalable Cluster Tech. for Mission-Critical Enterprise Computing | WHP Vogels 11-11-2003 |
| G. Ballintijn | 2003 | CS | Prof. dr. A. Tanenbaum | Locating Objects in a Wide-Area System | GC Ballentijn 30-10-2003 |
| R. Veldema | 2003 | CS | Prof. dr. ir. H.E. Bal | Compiler and Runtime Opt. for Fine-Grained Shared Memory Systems | RS Veldema 02-10-2003 |
| Van Nieuwpoort | 2003 | CS | Prof. dr. ir. H.E. Bal | Efficient Java-Centric Grid-Computing | RV van Nieuwpoort 04-09-2003 |
| J. Maassen | 2003 | CS | Prof. dr. ir. H. Bal | Method Invocation Based Commun. Models for Parallel Prog. in Java | J Maassen 17-06-2003 |
| J. Broersen | 2003 | IMSE | Prof.dr. R.J. Wieringa | Modal Action Logics for Reasoning about Reactive Systems | JM Broersen 25-02-2003 |
| H.Stuckenschmidt | 2003 | AI | Prof.dr. F.A.H. v. Harmelen | Ontology-Based Information Sharing in Weakly Structured Environments | H Stuckenschmidt 23-01-2003 |
| J. Gordijn | 2002 | BWM | Prof. dr. H. Akkermans | Value-based Requirements Eng.: Exploring Innovative E-Commerce Ideas | J Gordijn 25-06-2002 |
| M. Bognar | 2002 | TI | 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 | Prof. F. Brazier | The Anatomy of Design | |
| A. Bakker | 2002 | CS | Prof. dr. A. Tanenbaumempty | An Object-Based Software Distribution Network | |
| N.Lassing | 2002 | IMSE | Prof.dr. J.C. van Vliet,
Prof.dr. D.B.B.Rijsenbrij | Architecture-Level Modifiablility Analysis | |
| J. den Hartog | 2002 | TI | J. De Bakker (†) | Probabilistic Extensions of Semantical Models | |
| T.M. van Engers | 2001 | BWM -IMSE | 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 | Prof. dr. J W. Klop | Term Graph Rewriting--syntax and semantics | SCC Blom 06-03-2001 |
| L. van Doorn | 2001 | CS | Prof. dr. A. Tanenbaum | The Architecture of a Worldwide Distributed System | L van Doorn 08-03-2001 |
| P. Homburg | 2001 | CS | Prof. dr. A. Tanenbaum | The Architecture of a Worldwide Distributed System | PC Homburg 08-03-2001 |
| J van Ossenbruggen | 2001 | IMSE | Prof. dr. J.C. van Vliet | Processing Structured Hypermedia | J van Ossenbruggen 10-04-2001 |
| J. Romein | 2001 | CS | Prof. dr. ir. H.E. Bal | Multigame- An Environment for Distributed Game Tree Searchempty | JW Romein 18-01-2001 |
| S. Schonhage | 2001 | IMSE | prof. dr. J.C. van 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 | Prof. dr. J.C. van 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 | Prof. dr. ir. H.E. Bal | Communication Architectures for Parallel-Programming Systems | RAF Bhoedjang 06-06-2000 |
| G. de Haan | 2000 | IMSE | Prof. dr. J.C. van 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 | Prof. dr. J.C. van Vliet | Perspectives on Improving Software Maintenance | F Niessink 28-03-2000 |
| T. Ruhl | 2000 | CS | Prof. dr. ir. H.E. Bal | Collective Computation in Object-Based Parallel Programming Langs. | T Ruhl 16-11-2000 |
| J. Engelfriet | 2000 | AI | Prof. dr. J. Treur | The Dynamics of Reasoning | J Engelfriet 04-02-1999 |
| M. Sloof | 1999 | | Prof. dr. J. Treurempty | Physiology of Quality Change Modeling | M Sloof 11-05-1999 |
| N. Wijngaards | 1999 | AI | Prof. dr. J. Treurempty | Re-design of Compositional Systems | NJE Wijngaards 30-09-1999 |
| M. Bonsangue | 1996 | TI | J. De Bakker (†) | Topological Dualities in Semantics | MM Bonsangue 07-10-1996 |
| J. Burg | 1996 | IMSE | Prof. R.P.van der Riet (†) | Linguistic Instruments in Requirements Engineering | |
| P. Elsas | 1996 | IMSE | Prof. R.P.van der Riet (†) | Computational Auditing | |
| P. Lucas | 1996 | AI | Prof. dr. J. Treurempty | Structures in Diagnosis from Theory to Medical Application | |
| F. van Raamsdonk | 1996 | TI | Prof. dr. J W. Klop | Confluence and Normalisation of Higher-Order Rewriting | F van Raamsdonk 13-05-1996 |
| D. Turi | 1996 | TI | J. De Bakker (†) | Functional Operational Semantics and its Denotational Dual | D Turi 06-06-1996 |
| F. van Breugel | 1994 | TI | J. De Bakker (†) | Topological Models in Comparative Semantics | F van Breugel 28-09-1994 |
| V. van Oostrom | 1994 | TI | Prof. dr. J W. Klop | Confluence for Abstract and Higher-Order Rewriting | V van Oostrom 29-03-1994 |
| P. Spruit | 1994 | IMSE | Prof. R.P.van der Riet (†) | Logics of Database Updates | |
| E. Horita | 1993 | TI | J. De Bakker (†) | Fully Abstract Models for Concurrent Languages | |
| G. Vreeswijk | 1993 | TI | Prof.dr. J-J. Ch.Meyerempty | Studies in Defeasible Argumentation | |
| E. Baalbergen | 1992 | CS | Prof. dr. A. Tanenbaum | The Declaritive Operating System Model | |
| W. van der Hoek | 1992 | TI | Prof.dr. J-J. Ch.Meyer | Modalities for Reasoning about Knowledge and Quantities | |
| F. Kaashoek | 1992 | CS | 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 | Prof. dr. J. Treurempty | Architecture and Philosophical Applications | |
| R. Walker | 1992 | AI | Prof. dr. J. Treurempty | An Expert System Architecture for Heterogeneous Domains | RF Walker 1992 |
| F. de Boer | 1991 | TI | J. De Bakker (†) | Reasoning about Dynamically Evolving Process Structures | |
| R. van Glabbeek | 1990 | TI | Prof. dr. J W. Klopempty | Comparative Concurrency Semantics and Refinement of Actions | |
| A. Middeldorp | 1990 | TI | Prof. dr. J W. Klop | Modular Properties of Term Rewriting Systems | |
| E. de Vink | 1990 | TI | J. De Bakker (†) | Designing Stream Based Semantics for Uniform Concurrency and Logic Programming | |
| R. Wieringa | 1990 | IMSE | Prof. R.P.van der Riet (†) | Algebraic Foundations for Dynamic Conceptual Models | |
| P. Americana | 1989 | TI | J. De Bakker (†) | A Parallel Object-Oriented Language | |
| J. Rutten | 1989 | TI | J. De Bakker (†) | A Parallel Object-Oriented Language | |
| H. Bal | 1989 | CS | 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 | Prof. R.P.van der Riet (†) | A Language for Modelling Knowledge Base Systems | |
| J. Kok | 1989 | TI | J. De Bakker (†) | Semantics Models for Parallel Computation in Data Flow, Logic-, and Object-Oriented Programming | |
| R. van Renesse | 1989 | CS | 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 | Prof. R.P.van der Riet (†) | Linguistically Motivated Principles of Knowledge Base Systems | |
| A. de Bruin | 1986 | TI | J. De Bakker (†) | Experiments with Continuation Semantics | |
| W. de Jonge | 1985 | IMSE | Prof. R.P.van der Riet (†) | Security and Privacy in Information Systems | |
| M. Kersten | 1985 | IMSE | Prof. R.P.van der Riet (†) | A Model for a Secure Programming Environment | |
| J.-J. Ch. Meyer | 1985 | TI | J. De Bakker (†) | Programming Calculi Based on Fixed Point Transformations | |
| S. Mullender | 1985 | CS | Prof. dr. A. Tanenbaum | Principles of Distributed Operating System Design | |
