Home Lotgevallen
Home Promoties en examens

Informatica ingenieurs

| 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 |

Zie ook Masters BIS (m.i.v. 2005), Masters CSE (m.i.v. 2005) en Masters ES (m.i.v. 2006)

2009

Op 31 augustus 2009 zijn de laatste diploma's in de opleiding “oude stijl” uitgereikt.

Voorjaar (7) (cum:1182)

Ammerlaan, dhr. B. (Boris), On developing a multi-model repository, 31 augustus 2009
Bergsma, dhr. M. (Mark), Extending RTAI/Linux with FPDS, 31 augustus 2009
van den Boom, dhr. S. (Serge), Towards a generic structure editor for annotated documents, 31 augustus 2009
Bouwmans, dhr. P.F.M. (Peter), An architecture for data synchronization in a mobile environment, 31 augustus 2009
van Heeswijk, dhr. M. (Mark), Adaptive ensemble models of extreme learning machines for time series prediction, 31 augustus 2009
Huijbers, dhr. E.A.M. (Rico), Complexity scalable motion estimation control for H.264/AVC, 31 augustus 2009
Snoek, dhr. M.L. (Mark), ELP: towards an extendible logistics protocol, 2009

2008

Najaar (1) (cum:1175)

Crooy, dhr. R.A. (Ronald), Predictions in information systems: a process mining perspective, 2008

Voorjaar (14) (cum:1174)

Beerendonk, mw. G.D.M. (Chantal), Proving termination of imperative programs through term rewriting systems, 22 januari 2008
Boshouwers, dhr. G.A.R.M. (Guido), CHI explorer: building a community, 26 augustus 2008
Bruggeman, dhr. W. (Wouter), Transformations of a SIP Service Model, 17 juni 2008
Flaton, dhr. B.J. (Bas), Exploring the effect of UML modeling on software quality, 17 juni 2008
Kamphuis, dhr. J. (Johfra), From product data model to process model: algorithms and their classification, 17 juni 2008
Karis, dhr. R.E.L.M. (Roger), An analysis of a peer-to-peer platform, 22 januari 2008
Kennes, mw. J.H.J. (Judith), Towards an architectural framework for IT-enabled, continuous auditing at health insurers, 22 januari 2008
Maassen, dhr. H.A.M. (Harald), Verified design by contract: case studies, 26 augustus 2008
van Niftrik, dhr. W.F.B.W. (Walter), Context sensitive interpolation for timed process algebra, 26 augustus 2008
Roza, dhr. M.W.A. (Michiel), Game pro: a high performance visual profiler for real-time applications, 26 augustus 2008
Schakenbos, dhr. R.P.H. (Robin), Multi-mouse user interaction framework and application, 26 augustus 2008
Schindler, dhr. E. (Eugen), Real-time indexation of meeting recordings, 18 maart 2008
van der Vossen, dhr. R.R. (Remko), On the flip distance of pointed pseudo-triangulations, 26 augustus 2008
Wagemans, dhr. J.M.M. (Stefan), Finding maximal frequent subgraphs, 17 juni 2008

2007

Najaar (3) (cum:1160)

van Kempen, dhr. J.J.H. (Jasper), 20 november 2007
Merkx, dhr. L.L.F. (Leon), Safety-critical design of the generic driving actuator: a hybrid approach, 20 november 2007
Roes, dhr. R. (Roy), Een CMMI procesverbetering met behulp van een tool, 20 november 2007

Voorjaar (21) (cum:1157)

Baeten, mw. M.C. (Michelle), Verification and performance analysis of a paint factory, 19 juni 2007
Broeders, dhr. R.L. (Ronald), Automatisch toetsen van testresultaten, 23 januari 2007, van Hee
van Dam, dhr. A. (Alexander), Instantiation of parameterised Boolean equation systems, 28 augustus 2007
Diederen, dhr. R.A.J. (Robin), Reviewing SWAP, 19 juni 2007
Dresens, dhr. R.T.E.H. (Raymond), Testing the Linux VFS with two mCRL2 models, 23 januari 2007, Groote
van den Heuvel, dhr. H.A.C. (Herjan), Context awareness in ambient intelligence surroundings, 28 augustus 2007
Hornix, dhr. P.T.G. (Peter), Performance analysis of business processes through process mining, 23 januari 2007
Janssen, dhr. D.F.B.W. (Davy), Parallel simulation of scattering analysis on a shared dataspace, 28 augustus 2007, Mak
Ramaekers, dhr. I.R.T. (Ivo), User management for the AME Software Framewook 2.0, 23 januari 2007
van de Rijdt, dhr. A.H.J.A. (Ton), 28 augustus 2007
Schmitz, dhr. R. (Rudy), Proving liveness in waiting lines, 28 augustus 2007, Zantema
Seghers, dhr. B. (Bart), Defining metrics for STL-code, 23 januari 2007
Siebers, dhr. I. (Iwan), 23 januari 2007
Sturm, dhr. M. (Martin), Personalized resource recommendation for a semantic-enhanced platform for information resources: Improving OntoAIMS, 28 augustus 2007, Aroyo
van der Stap, dhr. C.J.G. (Christian), Verification of the IEEE 1394.1 panic protocol with formal methods, 3 april 2007
Stappers, dhr. F.P.M. (Frank), 3 april 2007
van Stijn, dhr. T.C. (Tristan), Analyzing RFID authentication protocols, 19 juni 2007, Baeten
Vos, dhr. P.J.W. (Peter), KnotWeaver: an interactive knot editor, 28 augustus 2007
Wolfs, dhr. M. (Martijn), Performance analysis of parallel blocksorters, 2007, Mak
Wijnant, dhr. L.H.J.M. (Arnaud), A comparison of CMS Tier0-dataflow scenarios using the Yasper simulation tool, 23 januari 2007
Zegers, dhr. A.T.M. (Alexander), Omzetbelastingwetgeving en ERP-systemen: een overbrugbare kloof?, 23 januari 2007

2006

Najaar (5) (cum:1136)

Engelen, dhr. L.J.P. (Luc), A BDD based prover for mCRL2, 14 november 2006, Groote
Hendrix, dhr. K.J.J. (Koen), Powercursor: a toolkit for designing active cursor behaviours, 14 november 2006, Huizing
Ladan, dhr. R.C. (René), Automating model transformations using UML functions, 14 november 2006, Chaudron
Martens, dhr. J.A.F. (Jaco), 14 november 2006, Hardman
Rijshouwer, dhr. E.J.C. (Erik), The design of a reconfigurable interleaver architecture for software defined radio, 14 november 2006, van Berkel

Voorjaar (47) (cum:1131)

Beckers, dhr. R.J.J. (Remco), Evaluation of UPnP in the context of service oriented architectures, 24 januari 2006, Lukkien
de Beer, dhr. H.T. (Huub), The history of the ALGOL effort, 29 augustus 2006, Hemerik (cum laude)
Blankers, dhr. L. (Laurens), Techniques and processes for assessing compatibility of third-party software components, 20 juni 2006, Chaudron
te Boekhorst, dhr. A.N. (Albert), The DTI-tool in the personal space station, 04 april 2006, van Wijk
Boerboom, dhr. F.J.A. (Frans), Fact extraction, querying and visualization of large C++ code bases (met A.A.M.G. Janssen), 29 augustus 2006, Telea
Brouwers, dhr. C.J.J. (Niels), A real-time SNR scalable transcoder for MPEG-2 video streams, 20 juni 2006, Lukkien
Clairbois, dhr. X.J.L. (Xavier), Optimal binary space partitions, 29 augustus 2006, de Berg
Datema, dhr. R. (Richard), A parallel algorithm for comparing metabolic pathways, 29 augustus 2006, Hilbers
Deelen, dhr. P. (Pieter), Visualization of dynamic program aspects, 20 juni 2006, van de Wetering
Dekkers, dhr. M. (Maarten), Improving multipoint video conferencing using scalable video coding, 20 juni 2006, Bril
Dorssers, dhr. G.H.J. (Guido), Ontsluiting van cultuurhistorische informatie. De chi-navigator : datamodel en implementatie, 20 juni 2006, Houben
van Dortmont, dhr. M.A.M.M. (Martijn), Skeletonization of volumetric objects using graphics hardware, 04 april 2006, Telea
Essink, dhr. R.J.H.M. (Rob), Concept indexing of news articles with neural systems, 29 augustus 2006, Cristea
Hendrix, dhr. M. (Maurice), Adaptive authoring of adaptive hypermedia, 29 augustus 2006, Cristea
van den Heuvel, dhr. A.W. (Ton), Feature-based visualization of time-dependent vortices, 04 april 2006, van Wijk (cum laude)
van den Heuvel, dhr. C.C.M.G. (Chantal), Migration of legacy data systems, a case study : traffic telematics tools, 20 juni 2006, Thiran
Janssen, dhr. A.A.M.G. (Arjan), Fact extraction, querying and visualization of large C++ code bases (met F.J.A. Boerboom), 29 augustus 2006, Telea
de Jong, dhr. D.P.H. (Dennis), Machine 2 machine communication : remote monitoring and management, 24 januari 2006, Lukkien
Kamzol, dhr. F.T.M. (Ron), Ontsluiting van cultuurhistorische informatie. De chi-navigator : datamodel en gebruikerstest, 20 juni 2006, Aroyo
Kerstjens, dhr. R.J.J. (René), Process analysis in ARIS PPM, BusinessObjects and the ProM framework, 29 augustus 2006, van der Aalst (TM)
Kochen, dhr. R. (René), Design environment for adaptive web application development, 20 juni 2006, Houben
Koonen, dhr. M.E.E.J. (Marcel), Parallel object oriented scattering analysis using a service oriented architecture, 20 juni 2006, Mak
Koudijs, dhr. J.C. (Johan), Automated verification of Owicki/Gries proof outlines : comparing PVS and Isabelle, 24 januari 2006, Romijn (cum laude)
Krooswijk, dhr. I. (Ivo), On semantic searching for municipal information services, 29 augustus 2006, Aroyo
Kuijpers, dhr. T.J.H. (Thijs), An automated verification approach for scheduling in complex manufacturing machines, 24 januari 2006, Groote
Loef, dhr. E. (Erik), On the construction of a personalized home media system using TV-Anytime packaging, 24 januari 2006, Aroyo
Mans, dhr. R.S. (Ronny), Generic and specific eEPCs for product and customer groups, 04 april 2006, Reijers
de Oude, dhr. J.N. (Jake), Improving a visualization tool from the perspective of the user, 29 augustus 2006, van Wijk
Ramachers, dhr. M.F.T. (Marc), Interactive visualization of CVS Data, 29 augustus 2006, Huizing
Ramesh, dhr. A. (Adarsh), Process mining in PeopleSoft, 24 januari 2006, Jansen-Vullers (TM)
Rombout, mw. P.A.M. (Peggie), Model en aanpak keten-en netwerkintegratie, 29 augustus 2006, Rietveld
Rijsdijk, dhr. J.T.J. (Jurgen), Authoring resources in a concept-based educational system, 24 januari 2006, Aroyo
Sogeler, dhr. D.J.S. (Dennis), Analysis and improvement of data handling performance of a visualization tool, 29 augustus 2006, De Bra
Sonnenberg, dhr. C.J. (Keesjan), Improving software maintainability : a case study, 24 januari 2006, Somers
Sijpkes, dhr. P.E. (Peter), A prototype parallel particle tracking blood flow simulation system, 29 augustus 2006, Hilbers
van Strien, dhr. R.A.C. (Rolf), Atlas Ruimtelijke Kwaliteit : ontsluiting van cultuurhistorische informatie, 29 augustus 2006, Houben
Verburg, dhr. E.I. (Edgar), GPU-based rendering to a multiview display, 20 juni 2006, Huizing
Verheijen, dhr. D.M.J. (Dennis), Metadata storage, search and retrieval in surveillance video databases, 29 augustus 2006, Aerts
Vliegen, dhr. R.A.M. (Roel), Visualizing business information using generalized treemaps, 04 april 2006, van Wijk
Vos, dhr. R.L. (Reynout), Verbeteren van het proces fondsjaarverslagen een casestudie naar de mogelijkheden van business process redesign, 24 januari 2006, van Hee
Vijverberg, dhr. W.M. (Wouter), Translation of process modeling languages, 29 augustus 2006, van Hee
van Weert, dhr. J.C.M. (Jochum), SOWAT Ship Operator Workload Assessment Tool : an explorative implementation of a workload assessment and visualization tool for ship operators, 29 augustus 2006, Cristea
Wentzler, dhr. A.W.M. (Angelo), Adapting for adaptivity authoring of adaptive e-content for a commercial environment, 29 augustus 2006, Cristea
Wulms, dhr. R.M.M. (Remco), Automatic execution of manufacturing and maintenance procedures for lithographic equipment, 04 april 2006, Voorhoeve
Wijns, dhr. M.A.M. (Martijn), Metric view evolution monitoring architectural quality, 04 april 2006, Chaudron
IJedema, dhr. W.F.D. (Wim), Code generation for RISC machines, 29 augustus 2006, Hemerik
Zijlmans, dhr. G. (Geert), A high-level Petri nets based modeling language for generation of BPEL4WS processes, 04 april 2006, Sidorova

2005

Najaar (9) (cum:1084)

van Beek, dhr. W.H.M. (William), Design and implementation of a system to control matrix displays, 08 november 2005, Huizing
Beesems, dhr. R.P.M. (Robbert), Het rendement van invoering van een WfMS, 08 november 2005, Reijers (TM)
van den Broek, dhr. K.H.M. (Kees), Resource constrained meta-data storage and retrieval, 08 november 2005, Aerts
Bijlsma, dhr. J.W. (Wouter), 3D Rasterizer Setup on a Silicon Hive DSP core, 08 november 2005, Kok
van Daal, dhr. L.B.K. (Leon), Panoramix, a panoramic visualisation tool for metrics, 08 november 2005, Huizing
van Leeuwen, dhr. W.T. (Wouter), A critical analysis of the IOI grading process, 08 november 2005, Verhoeff
Maas, dhr. S.M.P. (Sander), Control of a pneumatic robot arm by means of reinforcement learning, 08 november 2005, de Berg (cum laude)
Welters, dhr. M.H.E. (Marcel), Workload distribution over parallel werkende koppen, 08 november 2005, Woeginger (Wsk)
van Zutven, dhr. P.J.M. (Peter), An integrated scanner framework for the Borland Delphi IDE, 08 november 2005, Hemerik

Voorjaar (52) (cum:1075)

Aarts, dhr. B. (Bram), Validating operational compututerized systems, 30 augustus 2005, Voorhoeve
Aben, dhr. K.O. (Koen), Linken met betekenis: ontologische navigatie voor ADIRA, 30 augustus 2005, Voorhoeve
Ansems, mw. M.L.A. (Monique), Querying resource description framework graphs, 18 januari 2005, Aarts
van Antwerpen, dhr. C.F. (Cornee), Interfaces selection layer improving QoS using interface pair selection, 12 april 2005, Lukkien
Bellekens, dhr. P.A.E. (Pieter), Implementing an RDF Mediator for the Hera Software Suite, 18 januari 2005, Houben (cum laude)
van den Berg, dhr. S. (Sander), Extending Clean with exception handling, 30 augustus 2005, Watson
Bosman, dhr. R.P. (Remi), A taxonomy of approximate pattern matching algorithms in strings, 12 april 2005, Watson (cum laude)
Branderhorst, dhr. W.J. (Woutjan), Atherosclerotic plaque classification using supervised classification algorithms, 18 januari 2005, Hilbers
Brits, dhr. G.J.C. (Geert-Jan), A personalized perspective, 18 januari 2005, De Bra
Burgers, dhr. W.F.P.W. (Wouter), Tile-based rendering, 18 januari 2005, Kok
Compen, dhr. J.H. (Johan), 3D graphics rendering for multiview displays, 12 april 2005, Kok
Denaux, dhr. R.O. (Ronald), Ontology-based interactive user modeling for adaptive web information systems, 18 januari 2005, Aroyo
Dragstra, dhr. P. (Paul), Enterprise architecture, 12 april 2005, van Hee
Driessen, dhr. M.M.H. (Martin), Requirements, design and implemaentation of T-ReCS Basic, 30 augustus 2005, Verhoeff
Frishert, dhr. M. (Michiel), FIRE Works & FIRE Station, 12 april 2005, Watson (cum laude)
Gadellaa, dhr. K.O. (Koos), Fault attacks on Java Card, 30 augustus 2005, de Vink
van Geffen, dhr. J. (Joost), An agile approach supported by a tool environment for the development of software components (met Zwartjes), 18 januari 2005, Watson (cum laude)
Golsteijn, dhr. B.J.T. (Bart), GLASS layout and styling system, 30 augustus 2005, Aerts
de Graaf, dhr. W.I. (Ivo), Overlijden in het Linh project, 12 april 2005, Thiran
Holten, dhr. D.H.R. (Danny), Texture synthesis for data visualization, 12 april 2005, van Wijk (cum laude)
Hubbers, dhr. A. (Wies), Analysis and implementation of the context mechanism, 30 augustus 2005, Radovanovic
Kaan, dhr. K. (Kees), Modeling support for the case management paradigm and expectations management in process innovation, 30 augustus 2005, Reijers (TM)
Kalb, dhr. J. (Jos), Buffering in een productielijn voor printkoppen, 30 augustus 2005, van der Wal (Wsk)
Kater, dhr. B. (Bram), Music based light effects, 30 augustus 2005, Aarts
van Kempen, dhr. M.A.J.M. (Marc), Studies into refactoring of software architectures, 21 juni 2005, Chaudron
Kersemakers, dhr. R. (Rob), Architectural pattern recovery, 18 januari 2005, Somers
Kruidhof, dhr. R. (Ronald), Release testing, 12 april 2005, Groote
Mank, dhr. F.W.M. (Freek), CristalView-The visualization of a cristal, 21 juni 2005, van Wijk
Martens, dhr. B.A.A. (Bjorn), Detection of erroneous branches in vessel segmentations, 30 augustus 2005, van de Wetering
Mees, dhr. L.A.A.D.D.M.G. (Lawrence), Developing tool support for the design and implementation of a web site with Hera's HPG, 18 januari 2005, Houben
Moberts, dhr. B.T.R. (Bart), Hierarchical visualization using fiber clustering, 21 juni 2005, van Wijk
Nossin, dhr. F. (Freek), Cushion treemaps voor hiërarchische code visualisatie, 30 augustus 2005, Telea
Okkerse, dhr. B. (Bert), The presentation layer of the Hera methodology, 18 januari 2005, Houben
Ouwens, dhr. T.J. (Jan), The performance of wireless MPEG-2 video streaming, 30 augustus 2005, Radovanovic
Peeters, dhr. B.T.A. (Bruno), Assembly deployment in peer-to-peer environments, 12 april 2005, Somers
Peters, dhr. R.A. (Richard), A secure bulletin board, 21 juni 2005 (cum laude), Schoenmakers (Wsk)
Ploeger, dhr. S.C.W. (Bas), Analysis of concurrent state machines in embedded copier software, 30 augustus 2005, Groote (cum laude)
van de Pol, dhr. M.M.L. (Maikel), Simulation of multi-company product development processes in CPN Tools, 21 juni 2005, Pels (TM)
Poupa, dhr. B.G.J.J. (Benjamin), Analyse van FRIDA met behulp van CPN Tools, 12 april 2005, Sidorova
Ramp, dhr. E.W.A. (Ewald), Authoring through concept structure level translation of adaptive hypermedia systems, 21 juni 2005, De Bra
den Rooijen, mw. J.A.A. (Josine), Global database consolidation, 18 januari 2005, Aerts
van de Rijdt, dhr. M.G.W.H. (Martijn), Two-dimensional pattern matching, 30 augustus 2005, Zwaan
Schouten, dhr. R.A. (Rogier), Simulation of hybrid processes, 30 augustus 2005, Reniers
Schrijvers, dhr. L. (Leon), Secure processing of confidential digital information in a potentially insecure environment, 30 augustus 2005, Mauw
Spanbroek, dhr. M.J.M. (Mark), Towards a unification of regular and context free recognition, 30 augustus 2005, Hemerik
van Tienen, dhr. M.H.A. (Martijn), The personal action space: A virtual environment, 30 augustus 2005, van Liere
Urlings, dhr. R.G.L.H. (Rob), Personalization of photo labels by using ontologies, 12 april 2005, Vdovjak
Vorstenbosch, dhr. S. (Stefan), Using local area netwoks for real-time applications, 30 augustus 2005, Radovanovic
Vossen, dhr. M.P.H. (Mark), Local search for automatic playlist generation, 30 augustus 2005, Aarts
Wierda, dhr. A. (Andreas), Architecture reconstruction of industrial object-oriented software: A case study, 30 augustus 2005, Somers (cum laude)
van der Wulp, dhr. J. (Jeroen), Proving termination of term rewriting automatically, 30 augustus 2005, Zantema
Zwartjes, dhr. G. (Gertjan), An agile approach supported by a tool environment for the development of software components (met van Geffen), 18 januari 2005, Watson (cum laude)

2004

Najaar (8) (cum:1023)

de Beijer, dhr. A.A. (Noud), Stretching and jamming of automata, 16 november 2004, Watson
Bogers, dhr. G.J.C. (Gertjan), UPnP-JXTA : Bridging an architecture to connect two technologies, 16 november 2004, Lukkien
Christiaens, dhr. A.W.M. (Dries), Web-based information systems, 16 november 2004, Thiran
Hellegers, dhr. M.H. (Mark), WebCS : XML-based wrapping of data and user interface, 16 november 2004, Thiran
Hofman, dhr. M.J. (Melchior), Automatic scheduling with variable constraints : design and development of a generic assignment and scheduling algorithm, 16 november 2004, Aarts
Reniers, dhr. D. (Dennie), Multi-scale extreme simplification and rendering of point sets, 16 november 2004, Telea (cum laude)
Spoor, dhr. R.D.G.M. (Rob), Design and implementation of a real-time distributed shared data space, 16 november 2004, Chaudron
Vrijaldenhoven, dhr. S.C.B.J. (Serge), Acoustical physical uncloneable functions, 16 november 2004, de Vink

Voorjaar (40) (cum:1015)

Aalbers, dhr. B. (Björn), Validating computerized systems, 20 april 2004, Houben
Ansems, dhr. A. (Arno), An OpenGL pipeline on the Wasabi architecture, 20 april 2004, Kok
van den Brand, dhr. P.C.W. (Peter), Linearization of hybrid processes, 31 augustus 2004, Reniers (cum laude)
van den Broek, dhr. H.A. (Huub), Automatic living light effect generation, 31 augustus 2004, Aarts
Claasen, dhr. A. (Arjan), Content exchange for mobile devices : A system for autonomous, peer to peer, smart robust content exchange, 27 januari 2004, Aroyo
Coenen, dhr. M.F.A. (Martijn), Automatic vectorization for the CVP, 31 augustus 2004, van Berkel
Derksen, dhr. P.J.H. (Paul), Fueling the IDS engine, 20 april 2004, Watson
Engelen, dhr. E. (Edwin), FINPAK en .NET, 15 juni 2004, Houben
van Geenen, dhr. J.L. (Jurjen), Transaction integrity in the ING financial services architecture, 31 augustus 2004, Groote (cum laude)
Geleijnse, dhr. G. (Gijs), Comparing two user-friendly formal languages for mathematics : Weak type theory and Mizar, 15 juni 2004, Nederpelt (cum laude)
van Gulik, dhr. R. (Rob), Mapping music in the palm of your hand : a visualization algorithm and interaction concept for browsing music on portable players, 31 augustus 2004, van de Wetering
Hoebergen, dhr. H.T.W. (Harm), Rendement invoering WFMS, 27 januari 2004, Reijers (TM)
Hubens, dhr. J.L.P. (Johan), Authoring support for domain modelling in concept-based educational system, 15 juni 2004, Aroyo
Jonker, dhr. H.L. (Hugo), Security of digital rights management systems, 31 augustus 2004, Mauw
de Keijzer, dhr. A.C. (Remco), Modelling CPU usage of a GPRS protocol layer using Couloured Petri Nets, 27 januari 2004, Chaudron
Klabbers, dhr. M.P.H. (Michel), Visualization of clustered multidimensional data, 27 januari 2004, van de Wetering
de Laat, dhr. R.F. (Roeland), De kansen van ODM II in de metaal, 31 augustus 2004, Somers
van der Leest, dhr. J.J.W.A. (Juul), ADIRA: Adaptiviteit gecombineerd met e-learning, 27 januari 2004, Voorhoeve
Leurs, dhr. M.T.J. (Maarten), The design and realization of an enterprise architecture toolset, 31 augustus 2004, van Hee (cum laude)
Manders, dhr. A.J.S., Configuratieadvies ING pin betalingssysteem, 15 juni 2004, Sidorova
Meijer, dhr. R. (Ralph), Volund, a research vehicle for networked video streaming, 20 april 2004, Lukkien
Oliveira Ramos, dhr. C.A. (Cesario), A J2 pattern language : a systematic approach for using patterns in designing J2EE architecture, 31 augustus 2004, Houben
Palm, dhr. N.P. (Niek), Bewijzen van authenticatieprotocollen in een trace model, 31 augustus 2004, Mauw
Peeters, dhr. T.H.J.M. (Tim), Interactive visualization of annotated DNA sequences, 27 januari 2004, van de Wetering
Rutten, dhr. B.A.H. (Bas), Hera Presentation Generator : an application for semi automatic hypermedia presentation generation, 31 augustus 2004, Houben (cum laude)
Schroders, dhr. M.F.A. (Mark), Feature tracking and grouping in video, 27 januari 2004, van de Wetering
Simons, dhr. L.J.H. (Loek), Distributed collaboration using the internet : the DiCol language, 15 juni 2004, Mauw (cum laude)
van der Sluijs, dhr. K.A.M. (Kees), Search the semantic web, 31 augustus 2004, Houben
Smits, dhr. D. (David), Terminatie en confluentie in AHA!, 20 april 2004, De Bra
Smulders, dhr. T.H. (Tomas), Security threats of executing malicious applications on mobile phones, 31 augustus 2004, de Vink
Vanderfeesten, mw. I.T.P. (Irene), Designing workflow sytems : an algorithmic approach to process design and a human oriented approach to process automation, 31 augustus 2004, Reijers (TM)
van Velthoven, dhr. R.C.E. (Rob), Transforming abstract document structure to a hypermedia presentation, 15 juni 2004, Hardman
Verdonk, dhr. M.C.B. (Martijn), Ontwerp en analyse van garbage collectors, 31 augustus 2004, Hoogerwoord
Verbruggen, dhr. M.A.G.H. (Marcel), Automatische generatie en template-matching modulaire databases, 20 april 2004, Voorhoeve
Verheijen, dhr. B. (Bart), An experiment on two-handed interaction in the Personal Space Station, 15 juni 2004, van Liere
Verschoor, dhr. M.P.F. (Michael), Automatic ontology-driven extraction and structuring of information from the Internet, 31 augustus 2004, Aarts
Vrebos, dhr. G.A.E., Algorithms on vector processors : A framework for testing vectorized algorithms, 20 april 2004, van Berkel
Vreeken, dhr. N.V. (Niels), The value of sharing knowledge : a method to determine the effect of a knowledge-based management system, 15 juni 2004, Pels (TM)
van Weerdenburg, dhr. M.J. (Muck), GenSpect process algebra, 31 augustus 2004, Groote (cum laude)
Wu, dhr. L. (Lin-zen), Advanced connection management, 31 augustus 2004, Lukkien

2003

Najaar (15) (cum:975)

Berkers, dhr. T. (Teun), Digitale Koopgoot: an environment for online decision support systems (met Raedts), 18 november 2003, Van Hee
van den Borne, dhr. R. (Ruud), Spaarpost: een component based ontwerp met Petri netten, 18 november 2003, Van Hee
Dijk, dhr. I. (Ingmar), Enabling ambient intelligence: A network simulation framework for analysis of target based distributed component assembly systems, 18 november 2003, Reniers
van Erp, dhr. A.J. (Jeroen), Distributed databases in model driven architectures, 18 november 2003, De Bra
Gerritsen, dhr. D. (Denis), Vectorization of Fast Fourier Transform and digital audio broadcast reception, 18 november 2003, Van Berkel
de Groot, dhr. E.P.H. (Erwin), Exploring the Blobtree, 18 november 2003, Van de Wetering
van der Horst, dhr. M.G. (Martijn), Optimal route planning for car navigations systems, 18 november 2003, Lukkien
Hufkens, dhr. M.F.L. (Max), XML or embedded systems: The rol of XML in distributed embedded networks, 18 november 2003, Lukkien
Lange, dhr. C.F.J. (Christian), Empirical investigations in software architecture completeness, 18 november 2003, Chaudron (cum laude)
Middelkoop, dhr. R. (Ronald), A proof system for object oriented programming using separation logic, 18 november 2003, Kuiper
Mommersteeg, dhr. G.A.M. (Fri), Redesign of the Tangram compiler to allow, 18 november 2003, Verhoeff (cum laude)
Raedts, dhr. I.G.J. (Ivo), Digitale Koopgoot: an environment for online decision support systems (met Berkers), 18 november 2003, Van Hee
Scheffer, dhr. M. (Mark), Formalizing mathematics using weak type theory, 18 november 2003, Nederpelt (cum laude)
van Westreenen, dhr. J.P. (Jurgen), e-Business voor Web4all, 18 november 2003, De Bra
de Wit, dhr. M. (Mark), Program transformations in Tangram: A framework for abstract syntax tree rephrasings, 18 november 2003, Verhoeff (cum laude)

Voorjaar (28) (cum:960)

van Acker, dhr. B.T.E., Catalyst data management and solubility prediction, 15 april 2003, Hilbers
Berden, dhr. B.A., Stabiele presentaties binnen AHA!, 17 juni 2003, Aerts
van Boven, dhr. D.M.J. (Dennis), A framework for developing .NET distributed systems, 26 augustus 2003, Sidorova
Cleophas, dhr. L.G.W.A. (Loek), Towards SPARE time : A new taxonomy and toolkit of keyword pattern matching algorithms, 26 augustus 2003, Watson (cum laude)
Crombach, dhr. A.B.M. (Anton), Metabolomic mass spectogram analysis : First steps in pattern classification of mass spectograms in bioformatics, 26 augustus 2003, Hilbers
van Dongen, dhr. B.F. (Boudewijn), GPRS dimensioning, an algorithmic approach. A combination of analytical and local search methods for GPRS capacity planning, 26 augustus 2003, Boxma
Geelen, dhr. T.J.H. (Tom), Communication between a MHP set-top box and mobile devices, 28 januari 2003, Lukkien
van Gogh, dhr. K. (Koos), Consistency in ISpec specifications : Interface role diagrams, sequence diagrams and inheritance, 26 augustus 2003, Kuiper
de Hesselle, dhr. H.M.P. (Huub), Development of an information system for the European Week Eindhoven foundation, 17 juni 2003, De Bra
Hoeks, dhr. J.P.H. (Sjef), Authool : A visual authoring tool for MHP applications, 15 april 2003, Huizing
Kleihorst, dhr. R.P., Quantifying and optimizing RF-Coil quality, 17 juni 2003, Schilders
Kouwenberg, dhr. J.J.C. (John), A taxonomy of Lempel-Ziv compression algorithms, 26 augustus 2003, Hemerik (cum laude)
de Lange, dhr. B.H., Dynamische object insluiting in AHA!, 17 juni 2003, Aerts
Lankhorst, dhr. M.J.W. (Marthijn), Selectie en ontwikkeling van een data warehouse bij Gelre ziekenhuizen, 26 augustus 2003, Sidirova
Mamane, dhr. L.E. (Lionel), Surreal numbers in Coq, 26 augustus 2003, Nederpelt (cum laude)
Mathijssen, dhr. A.H.J. (Aad), Formal derivations of binary arithmetic, 17 juni 2003, Hoogerwoord
de Mooij, dhr. A.M. (Arnout), Learning preferences for music playlists, 26 augustus 2003, Aarts
Nas, dhr. R.J.M. (Rick), Vectorazation of code generation in CBMA, 15 april 2003, van Berkel
Ogg, dhr. F.H.G. (Felix), Smoother streaming over wireless networks : real time scheduling the IP transport of video data, 28 januari 2003, Romijn
van der Poel, dhr. B.A., XML editor from design to implementation, 28 januari 2003, Houben
Reynhout, dhr. O.H.G.M. (Oscar), Improving optical tracking for the Personal Space Station, 28 januari 2003, van Liere
Rijbroek, dhr. D.H.L. (Dennis), Advanced virtual printer : A simulation of print quality of a printer under development, 26 augustus 2003, Nuij
Rousseau, dhr. B.J.P. (Brendan), Graph Author : een AHA! auteurstool, 28 januari 2003, De Bra
Santic, dhr. T. (Tomislav), AHA! goes interbook and beyond, 17 juni 2003, De Bra
Steinmann, dhr. X.A.H. (Xander), Multi-player game search in Cartagena, 15 april 2003, Cristea
van Tilborg, dhr. R., ADISA : automatic data / information structuring application, 26 augustus 2003, Voorhoeve
van de Ven, dhr. E. (Erik), Group support applicatieontwikkeling met Groove, 15 april 2003, Aroyo
Wiersma, dhr. W.Th. (Wouter), Software-simulated power analysis on smartcards, 17 juni 2003, de Vink

2002

Najaar (7) (cum:932)

Baijens, dhr. J.J.M. (Joris), Quality improvement through architecture analysis using the ATAM, 19 november 2002, Chaudron
Goes, dhr. J.W. (Jan Willem), Performance of the product development process : a method to measure the expected efforts of PDM, 19 november 2002, Pels (TM)
Heijmans, dhr. J. (Jeroen), Load sharing in an in-home network, 19 november 2002, Groote
Korvers, dhr. R.W.J. (Roel), A computer assistant for a formal mathematical language, 19 november 2002, Nederpelt
Piek, dhr. M.C. (Matthijs), Video segmentation using motion and color, 19 november 2002, van de Wetering
Spee, dhr. R.L.M. (Robert), Automatic test generation and execution in practice -TorX, Testframe and the Easy mail Machine-, 19 november 2002, Feijs
Tels, dhr. B.Z. (Ben), On adding binding structures and annotations to abstract syntax trees, 19 november 2002, Hemerik

Voorjaar (33) (cum:925)

Aarts, dhr. S.G.P. (Sebastiaan), Depth estimation using segmentation and geometric model matching, 27 augustus 2002, van Wijk
de Brouwer, dhr. R.P.G., Measuring formal tools and methods, 23 april 2002, Middelburg
Cremers, dhr. C.J.F. (Cas), How best to beat high scores in Yathzee: A caching structure for evaluating large recurrent functions, 18 juni 2002, Verhoeff
Cuppen, dhr. R.P.G. (Roel), SeMMa project: Semantic-based modelling for an agent-based software system, 27 augustus 2002, van de Wetering
Dirkse, dhr. P.P.A., Portal processing in 3D-environments: Visibility determination and other applications, 23 april 2002, van de Wetering
Dollevoet, dhr. S.A.H., A UML based hypermedia system development methodology, 27 augustus 2002, Voorhoeve
Duine, dhr. A.F. (Alexander), Using high level Petrinets to model and simulate communication networks, 27 augustus 2002, Verkoulen
van Geloof, dhr. W.M.T., Data structure and test graph generator for the DEDOS scheduler, 18 juni 2002, Hammer
Gronenschild, dhr. H.R., Referentiemodellen: Een instrument voor kennismanagement, 18 juni 2002, Goossenaerts (met lof)
Heck, mw. P.M. (Petra), E-Business Planning Approach (EPA): Comprehensive realization approach for knowledge portals, 27 augustus 2002, Aerts (met lof)
Heessen, dhr. W.H. (Wouter), MUD layout generation and visualisation, 27 augustus 2002, van Wijk
Holthuizen, dhr. R.F.J. (Ronald), Interactive fiber tracking and visualisation, 27 augustus 2002, Telea
Hoogendoorn, dhr. M. (Mark), Kwaliteitsraamwerk voor Enterprise Application Integration, 23 april 2002, Houben
ter Huurne, dhr. M.K., Framework for live voting, 27 augustus 2002, Huizing
van Kervinck, dhr. M.N.J., The design and implementation of the Rookie 2,0 chess playing program, 27 augustus 2002, Verhoeff
van Kreij, dhr. A.J. (Anko), Near video on demand broadcasting strategies, 18 juni 2002, Aarts
van der Laar, dhr. F. (Frank), Publish/subscribe as architectural style for component interaction, 27 augustus 2002, Chaudron
Lauwerijssen, dhr. A.C.P.J., Architectural isuues of virtual network services for intelligent networks, 30 augustus 2002, Hammer
van Leeuwen, dhr. J.J.A. (Jasper), On a component based approach to parallel programming and its application to molecular dynamics, 27 augustus 2002, Hilbers
de Louw, dhr. P.H.M., Graph coloring in timetabeling, 27 augustus 2002, Aarts
Mooij, dhr. A.J. (Arjan), Formal derivations of non blocking multiprograms, 27 augustus 2002, Feijen (met lof)
Muskens, dhr. J. (Johan), Software architecture analysis tool, 23 april 2002, Chaudron
Nouwens, dhr. M.A. (Marc), Support vector machines as a recommender algorithm, 18 juni 2002, Aarts
van Oers, dhr. Y.A. (Yuri), Softwarevisualisatie door structuurweergave: proof of concept, 23 april 2002, Huizing
van Oort, dhr. D., Archtext: A machine description language for a simulator generator, 18 juni 2002, Hemerik
van Oosten, dhr. R., Spouse manipulating objects in 3D with two mice, 27 augustus 2002, Huizing
Peters, dhr. K.F.A., "HENK" Een architectuur voor thin client applicaties ter ondersteuning van synchroon collaboratief werken met mobiele en niet mobiele clients (met Scholten), 23 april 2002, De Bra
de Rooij, dhr. M.J.A. (Marc), Segmentation and interactive visualisation of WWW log data, 05 februari 2002, van Wijk
Scholten, dhr. V.R.N., "HENK" Een architectuur voor thin client applicaties ter ondersteuning van synchroon collaboratief werken met mobiele en niet mobiele clients (met Peters), 23 april 2002, De Bra
van Sinten, dhr. M.G.J. (Martijn), Implementation and simulation of two pass forward texture mapping on a SIMD coprocessor architecture, 27 augustus 2002, Chaudron
Smets, dhr. A.M.C., Design of optimal buffers, 27 augustus 2002, Mak
Timmermans, dhr. D. (Daniel), The design of a micro-controller: A transformational approach, 27 augustus 2002, van Berkel
Verwer, dhr. K.M., Argument editor, 27 augustus 2002, De Bra

2001

Najaar (3) (cum:892)

Delnooz, dhr. C. (Chris), From polygons to bricks: Generating a simulation graph for the cellular atrium model, 30 oktober 2001, Van Wijk
Geerlings, dhr. J.C.L. (Johan), Animatie in Virtue, 30 oktober 2001, Van de Wetering
de Vries, dhr. P.M., Wireless telephony applications: A study to the possibilities of WTA, 30 oktober 2001, De Bra

Voorjaar (13) (cum:889)

de Backer, dhr. R.E.J., A sliding-window protocol, 13 februari 2001, Hoogerwoord
Beens, dhr. R. (Richard), ADIRA: Adaptive Information Retrieval Application (met Hoogendoorn), 26 juni 2001, Houben
Brand, dhr. R.K. (Roel), Document Retrieval from Heterogeneous Document Collections, 26 juni 2001, De Bra (met lof)
Brouwer, dhr. R.J. (Robin), Framework for Collaboration in Mobile Ad Hoc Networks, 28 augustus 2001, De Bra
Hanssen, dhr. F.A.J., Graphical Editor for Document Workflow, 24 april 2001, Somers
Hoogendoorn, dhr. A.F. (Teun), ADIRA: Adaptive Information Retrieval Application (met Beens), 26 juni 2001, Houben
Kleiberg, dhr. E.A.M. (Ernst), Visualizing large hierarchies by means of botanic trees, 28 augustus 2001, Van de Wetering
van Osch, dhr. M.P.W.J. (Michiel), Finite state analyses of CAN bus protocol : What CAN can and can not do, 24 april 2001, Baeten
Ruiter, dhr. J.P. (Jan-Peter), Generatelist Editor - Een editor voor de generatekist van AHA, 26 juni 2001, De Bra
Theune, dhr. P. (Patrick), Image segmentation using a hierarchy of homogeneus regions, 26 juni 2001, Van Wijk
Vaessen, dhr. R.G.H. (Roel), Business Logic Extraction, 26 juni 2001, Houben (met lof)
Verleg, dhr. A.J. (Andre), Ontwerp van een gedistribueerd event verwerkingssysteem, 28 augustus 2001, Hoogerwoord
Vrijnsen, dhr. L.J.G. (Laurens), Emergencies: acute myocardial infarction: an exercise in the architecting of agent software based support for the Chain of Survival, 28 augustus 2001, Hammer (met lof)

2000

Najaar (7) (cum:876)

van Erk, dhr. S.E. (Sebastiaan), Positions, A contribution to the development of generic programming, 31 oktober 2000, Backhouse (met lof)
Habets, dhr. D.F., A system for Computed Rotational Angiography, 19 december 2000, van Wijk
Hemel, dhr. T.C. (Tim), A better interface for automated program transformation, 31 oktober 2000, Backhouse
Janssen, dhr. E.H.C.J. (Edmond), Eisen aan een platform voor synchroon collaboratief werken, 19 december 2000, De Bra
Nikkelen, dhr. V.J.W. (Vincent), Implementation of abstract UNITY algorithms in PVM, 31 oktober 2000, Mak
Remmen, dhr. M. (Martijn), Authoring support for adaptive hypermedia, 31 oktober 2000, De Bra
van Wel, dhr. A.A.M. (Antoine), Scheduling data services over satellites: A local search approach, 19 december 2000, Aarts

Voorjaar (14) (cum:869)

van Beek, dhr. H.M.A. (Harm), Internet protocols for distributed consensus: the Dicons language, 29 augustus 2000, Baeten (met lof)
van den Brand, dhr. B.J.M. (Boechie), E-commerce in de Borstlap Masters in Fasteners Group: de technische aspecten, 29 augustus 2000, Dignum
Buijsse, dhr. E.E.A. (Ermo), Libraries voor functionele en objectgeoriënteerde analyse, 11 april 2000, Somers
van Eijndt, dhr. R.J.J.H., Spatial Data Store : (geo)informatie organisatiebreed beschikbaar, 4 juli 2000, Paredaens
Geraats, dhr. J.S.M. (Jack), Het delen van een kennis, een praktische benadering (met Van Poppel), 4 juli 2000, Aerts
van Gool, dhr. L.C.M. (Louis), Cylindrische componenten calculus, 11 april 2000, van der Woude (met lof)
van Ham, dhr. F.J.J. (Frank), Visualisation of State Transition Graph, 29 augustus 2000, van Wijk (met lof)
Kuipers, dhr. R.P.J. (Ruud), The world according to Warp: evaluation and implementation of warp methods for digitised maps, 11 april 2000, Huizing
van der Laan, dhr. M. (Marcel), Visualizing end-to-end temporal constraints, 29 augustus 2000, Hammer
Litjens, dhr. V.L.J. (Vincent), A distributed PDM System, 4 juli 2000, Aerts
van Poppel, dhr. M. (Martijn), Het delen van een kennis, een praktische benadering (met Geraats), 4 juli 2000, Aerts
Schwartzmans, dhr. I.M.M. (Ivar), Broker XML: Ontwerp van een protocol voor e-procurement, 29 augustus 2000, Dignum
Verstappen, dhr. R.L.H. (Ralf), A Petri-net based workflow engine, a general framework, 4 juli 2000, Somers
Zandhuis, dhr. I. (Ivo), The re-use of knowledge via the Intranet of Corus R.D&T, 4 juli 2000, Houben

1999

Najaar (13) (cum:855)

Biemond, dhr. P.B. (Pieter), Sensor Jacket, 21 december 1999, van Overveld
de Brouwer, dhr. S.P.M., Bijzondere aspecten van Web-applicatie-ontwerpen, 26 oktober 1999, Houben
Bruls, dhr. M.J. (Mark), Squared treemaps, 21 december 1999, Huizing
Dees, dhr. M. (Marcus), Voorspellen van de vraag naar reserveonderdelen bij NS Materieel, Onderhoud & Service, 26 oktober 1999, van der Wal
van Driel, dhr. T.W., Implementatie van een tableauwijzer, 26 oktober 1999, Hemerik
van der Grift, mw. E. (Evelien), Uitwisseling van productiestructuren tussen CAD, EDM en ERP, 21 december 1999, Pels (TM-BDK)
Hoang, dhr. A.D. (Poc), Design and implementation of generic dashboard components for ExSpect, 21 december 1999, van der Stok
Jans, dhr. E.J.A. (Erik), Simulation of Product Development Processes in ExSpect, 21 december 1999, Pels (TM-BDK)
Kuipers, dhr. F.S. (Friso), Evolueren en evalueren van de SLA-specificatiemethode, 26 oktober 1999, Trienekens (TM-BDK)
Nuijten, dhr. J.A.J.A., E-commerce, a survey and automating the catalog generation proces, 21 december 1999, Dignum
Sangers, dhr. J.W. (Jan-Willem), Using triple scanplane information to triangle implicit surfaces, 21 december 1999, van de Wetering
van der Tuin, dhr. C. (Casper), E-commerce: a survey and Java interface, 21 december 1999, Dignum
van Velden, dhr. A.P.J., U-AID, User Aided Image Discovery, 26 oktober 1999, De Bra

Voorjaar (31) (cum:842)

Albers, dhr. F.H.A. (Frank), Development of a mathematical article browser based on type theory, 6 juli 1999, Hemerik
Boer, dhr. E.A.M. (Edwin), A meta model for the mapping of hierarchical message structures, 20 april 1999, Somers
Branderhorst, dhr. J.C., Information infrastructure for data broadcasting, 20 april 1999, De Bra
Brook, dhr. J.W., Design and implementation of a tool for software re-clustering, 23 februari 1999, Feijs
Deckers, dhr. J.L.H.G.M., EDI & Internet, 20 april 1999, Houben
van Eeten, dhr. G.A. (Govert), Modelleren, analyseren en simuleren van IT-infrastructuren, 6 juli 1999, Verkoulen
Engelfriet, dhr. A.P. (Arnoud), Digitale handtekeningen bij de Nederlandse overheid, 6 juli 1999, Houben
Granneman, dhr. G.H., Het gebruik van electronische formulieren in een workflow omgeving, 31 augustus 1999, De Bra
Hulsen, dhr. P.A. (Peter), Information filtering within a TV-environment a neural network approach, 23 januari 1999, Aarts
van Hulten, mw. H. (Hilde), Gegevensuitwisseling tussen politie en OM. De weg naar een elektronisch dossier, 23 februari 1999, van Hee
Huybrechts, dhr. S.A.Z., Using DMSO's high level architecture for distributed simulations, 20 april 1999, Lukkien
Jansen, dhr. M.A.F., Optimizations of Tangram-compiles asynchronous circuits, 6 juli 1999, van Berkel
Kapteijn, dhr. J.D. (Johan), Een alumni relatie systeem, 31 augustus 1999, De Bra
Kooijmans, dhr. S.R. (Sander), SimPPL: A simple programming language for distributed algorithms, 31 augustus 1999, Hoogerwoord (met lof)
de Kort, dhr. E. (Erik), World Wide Web presentations for volatile databases output, 31 augustus 1999, Houben
Kuunders, dhr. S.L. (Stan), Environmental performance evaluation at a handmade glass manufacturing company in Portugal, 20 april 1999, Lambert (TM-BDK)
Lam, dhr. W.K. (Wai Keung), Simulating KISS process models, 31 augustus 1999, Somers
van Malde, dhr. A. (Albert), Informatievoorziening bij Dräger Medical Electronics door middel van Intranet, 23 februari 1999, De Bra
Michiels, dhr. W.P.A.J. (Wil), Block placement on multi-zone disks, 6 juli 1999, Aarts (met lof)
Noël, dhr. J.E.E., Interactief 3D-meetkunde systeem, 23 februari 1999, van Overveld
Otten, dhr. S.B. (Sebastiaan), A virtual reality system for offshore platform safety training, 31 augustus 1999, van Wijk
Peters, dhr. P.J.F., Specification, design and implementation of an MSC editor using UML and Java, 31 augustus 1999, Feijs
Roghair, dhr. F. (Frank), Distributie van multimedia applicaties, 20 april 1999, Somers
Rorije, dhr. S. (Sander), Een interactieve preprocessor voor het WISH verbrandingsmodel, 6 juli 1999, van de Wetering
See, mw. H.L. (Huili), Een relationele repository voor ExSpect, 31 augustus 1999, Somers
Tap, mw. M.A., Test time and wire length minimization for scanned IC designs: a layout-driven partitioning approach, 20 april 1999, Aarts
Teeuwen, dhr. G., Operational planning of supply chains with an application in the newspaper industry, 6 juli 1999, Aarts (met lof)
de Vaal, dhr. W.J.A. (Wouter), Een vergelijking van methoden voor natuurlijke deductie, 6 juli 1999, Nederpelt
Vastenburg, dhr. M.H., User interfaces design patterns. Een onderzoek naar toepasbaarheid van design patterns bij user interface ontwerp, 23 februari 1999, Huizing
Volkers, dhr. W., INAP Communication over TCP/IP Networks, 23 februari 1999, van der Stok
Vrijland, dhr. J.J. (Jacco), Experimental data management, 6 juli 1999, Hilbers

1998

Najaar (4) (cum:811)

Eversdijk, dhr. G.F., Information retrieval multiagentsysteem, 17 december 1998, Dignum
Hermeling, dhr. M. (Mark), Timing constraints in an object oriented language, 17 december 1998, van Roosmalen
Vogel, mw. I., Efficiënter onderwijs met behulp van workflowmanagement; de mogelijkheden binnen Fontys Hogescholen Venlo, 29 oktober 1998, Houben
Willems, dhr. E.L.J., Het onderzoek naar de mogelijkheden om de communicatie tussen enerzijds de afdelingen Klinische Farmacie en Klinisch Chemisch Laboratorium en anderzijds de medici en verpleegafdelingen te verbeteren, 29 oktober 1998, De Bra

Voorjaar (29) (cum:807)

Baas, dhr. R.J.W., Low-power DECT-ADPCM transcoders: Synchronous and asynchronous implementations, 27 augustus 1998, van Berkel
Bierhoff, dhr. P.F.M., Development of an Internet based competition, 27 augustus 1998, Aerts (met lof)
Bindels, dhr. M. (Marnix), Componenten voor het genereren van attribuut evaluatoren, 27 augustus 1998, Hemerik
den Braber, dhr. A.C.B.J.L. (Arald), MathSpad for Windows 95 (met Lucas), 26 februari 1998, Backhouse
van Bragt, dhr. B.J.E.A. (Bart-Jan), Version management and change control, 26 februari 1998, van der Stok/Somers
van den Broek, dhr. N., A timing model for an interactive animation, 27 augustus 1998, Huizing
van Ekris, dhr. D.J. (Jaap), The design of a method for identifying quality requirements for software products, 25 juni 1998, Somers
Frijns, dhr. M.M.J., A MPI-based communication library for development of parallel programs, 25 juni 1998, Hilbers
Groenewegen, dhr. R., Hergebruik van software componenten, 23 april 1998, Somers
Job, dhr. L.E. (Ludgardo), Secure sessions on the Internet, through the use of smartcards, 27 augustus 1998, De Bra
de Jonge, dhr. W.A.G. (Willem), GDP & Java, 25 juni 1998, Huizing
de Kort, dhr. M. (Martijn), Rendering Lipschitz based implicit surface using an adaptive scanline algorithm, 27 augustus 1998, van de Wetering
Kotterink, dhr. C., De pre- en postprocessor voor GTM, 26 februari 1998, van de Wetering
van Leeuwen, dhr. J.J., An execution graph specification tool for DEDOS, 25 juni 1998, Hammer (met lof)
Lucas, dhr. F.M. (Frits), MathSpad for Windows 95 (met Den Braber), 26 februari 1998, Backhouse
Meuwissen, dhr. J.H.M. (Johan), Operating system performance measurements, 27 augustus 1998, Hoogerwoord
Nguyen, dhr. V.P., Collision detection of Lipschitz implicit surfaces, 27 augustus 1998, van de Wetering
Özkeles, dhr. T. (Talip), Interactieve ontwikkeling van een stageplanningssysteem, 27 augustus 1998, Aerts
van Pol, dhr. J.C.H., ExSpect++, 27 augustus 1998, Somers
Smeets, dhr. L.B.M. (Luc), Ontwerp en implementatie van een intranet, 23 april 1998, Somers
van Stiphout, dhr. R.A. (Remco), Trex: Workflow transactions by means of exceptions, 23 april 1998, Hammer (met lof)
Timmermans, dhr. M.F.J. (Marco), DReSS 2.0, a platform independent document repository service station, 26 februari 1998, De Bra
van Velzen, dhr. R.A. (Roel), Data- and action management for cooperative information agents, 27 augustus 1998, Dignum
Verhelst, dhr. R.L.J. (Ralph), User interface for Wisdom in Java, 27 augustus 1998, Dignum
Wackers, dhr. G.J.P.M. (Jan), An implementation of an adaptive triangulation algorithm for implicit surface with genius zero, 23 april 1998, Nuij
Weterings, dhr. I.W.V.J., Interface management. De inzet van middleware onder architectuur, 23 april 1998, Dignum
Willemse, dhr. T.A.C. (Tim), The specification and validation of the OM/RR-Protocol, 25 juni 1998, Baeten (met lof)
van Zwam, dhr. J. (Joost), Developing object-oriented concurrent software with use of the UML, 25 juni 1998, Somers
Zwart, dhr. J.S. (Joris), Fagan inspection in rapid development environments, 27 augustus 1998, van der Stok

1997

Najaar (18) (cum:778)

Bakker, dhr. B.F.G. (Bryan), Onderzoek naar implementatiemogelijkheden van interactive documenten (met De Jong), 30 oktober 1997, Hemerik
Dekkers, dhr. D., Real-time rendering of animated implicit surfaces, 30 oktober 1997, van Overveld (met lof)
van Gestel, dhr. A.A.H., The Implementation of a Unix interface for the Eindhoven Communication Library, 30 oktober 1997, Lukkien
Görtzen, dhr. R.B.J.P. (Ralph), Intranet: Expanding the corporate intranet at Dräger, 18 december 1997, De Bra
Huizer, dhr. M.A. (Mark), Talen en gereedschappen voor test afleiding, 30 oktober 1997, Feijs
de Jong, dhr. G.C.M. (Ferry), Onderzoek naar implementatiemogelijkheden van interactieve documenten (met Bakker), 30 oktober 1997, Hemerik
de Jong, dhr. R.J.H., Implementatie van een framework voor Structuur-Editors voor Microsoft Windows, 18 december 1997, Hemerik
Kats, dhr. R. (Ronald), LOOKS classes for an ergonomic simulator, 30 oktober 1997, van Overveld
van de Laar, dhr. L. (Laurens), A real-life pickup and delivery problem with multiple depots: From model to solution strategy, 18 december 1997, Aarts
van Mensvoort, dhr. K.M. (Koen), WalkSyntesizer, 18 december 1997, van de Wetering
Mollet, dhr. D.J.A.M., A 3D modeller for implicit surface skeletons, 18 december 1997, van Overveld
van den Munckhof, dhr. G.W.M., Een vragenlijst verwerkingsprogramma, 30 oktober 1997, Somers
van Roomen, dhr. D.C.W.H., PRO/Rent. Een informatiesysteem voor verhuurbedrijven, 18 december 1997, Somers
Scheffers, dhr. E.T.J. (Erik), A tool for validation and comparison of delay-insensitive specifications, 30 oktober 1997, Verhoeff
Snepvangers, dhr. B.J.A., Collision detection of convex primitive shapes, 18 december 1997, van de Wetering
van Stipdonk, dhr. G.J.H., PLC-program Specification of the Model Factory, 18 december 1997, Hammer
van Tongeren, dhr. P.A.A., Adding a new Window System to Grob, 18 december 1997, van Overveld
Weys, dhr. M.C.A. (Michiel), A transaction model for worklow applications, 30 oktober 1997, Aerts

Voorjaar (39) (cum:760)

Bastiaansen, dhr. J.J.W. (Jaccon), Design and implementation of a teleshopping extension for the GMS system, 17 april 1997, Hammer
Bax, dhr. M.G.P. (Mike), Ontwerp en realisatie van een systeem voor wachtrijafhandeling en een simulatie-engine, 3 juli 1997, van der Aalst
van Beek, dhr. E.A.H.M. (Erwin), Een definitie voor het indexeren van een ODE-Database voor een zoektoepassing, 27 februari 1997, De Bra
Biemans, dhr. M.D.A.M. (Michael-Dennis), Extension of Graded by implementing cut and paste operations on meshes, 17 april 1997, van Overveld
Bos, dhr. A.J., Prototype implementation of a cooperative agent architecture based on the language-action perspective, 29 augustus 1997, Dignum
van den Broek, dhr. T.G.T.C. (Thomas), Evaluation of three RAD tools (met Lemmers), 17 april 1997, Somers
Cremers, dhr. B.A.J. (Bart), Ontwikkeling van een geautomatiseerd afsprakenplanningssysteem voor radiologie-afdelingen, 17 april 1997, De Bra
Dees, dhr. W. (Walter), Navigatie door informatiesystemen, 29 augustus 1997, De Bra
Fieten, dhr. W.H.A., Internet plaatjes database, 17 april 1997, De Bra
Gelden, dhr. M.J.H. (Maurice), EDI in de logistieke dienstverlening, 29 augustus 1997, Somers
Golsteijn, dhr. R.H.M. (Rob), A database extension for DEDOS, 29 augustus 1997, Hammer
Goverde, dhr. R.R.H.M.J., Toepassingen binnen een intermediaie franchise-organisatie, 3 juli 1997, van der Aalst
de Greef, dhr. A.C. (Toine), How to question the world? Design of the KISS question language, 29 augustus 1997, Dignum
Greef, dhr. M.J., Constraint Satisfaction for Multidimensional Periodic Scheduling, 27 februari 1997, Aarts
van Heesch, dhr. H.C.W. (Dimitri), Image based texture retrieval, 29 augustus 1997, van Overveld
van Houtem, dhr. L.J.M., Data warehousing, 3 juli 1997, Houben
Hurkmans, dhr. A.G.N.M., Algorithm animation system (met Van Son), 29 augustus 1997, Hammer
Jessurun, dhr. A.J. (Joran), De torenkraansimulator, 29 augustus 1997, Huizing
Leeferink, dhr. P.W. (Patrick), Widgets voor structured views, 3 juli 1997, Hemerik
Lemmers, dhr. R.M.T. (Ruud), Evaluation of three RAD tools (met Van den Broek), 17 april 1997, Somers
Mehtani-Wadhwa, mw. P. (Poonam), Implementation of a relational wrapper for the Medline database, 29 augustus 1997, De Bra
Mennen, mw. W.M.T. (Wendi), Verificatie van EURIS. Een mogelijke route, 29 augustus 1997, Baeten
Peeters, dhr. D.P.M.C.C. (Daniël), Towards a publication style of functional progamming, 3 juli 1997, Hemerik
Peters van Ton, dhr. M. (Marcel), Visual logic: an experiment in graphical assertion language design, 29 augustus 1997, Feijs (met lof)
Raijmakers, dhr. E.P.J. (Eric), A graphical user interface for the proof assistant Yarrow, 29 augustus 1997, Hemerik
Rikken, dhr. E.H., Vergelijking van theorem provers, 17 april 1997, Nederpelt
de Rooij, dhr. M.G.M., Realisatie van dashboardobjecten ExSpect 6.0, 3 juli 1997, Somers
van Schaijk, dhr. J.F. (Jeroen), A heuristic approach for solving the vehicle routing problem, 3 juli 1997, Dignum
Schepers, dhr. P.J.C., Structuurediting met gebonden variabelen, 17 april 1997, Nederpelt
Schoonen, dhr. J.W., 3D Fisheye treemaps, 3 juli 1997, van Overveld
van Son, dhr. T.J. (Tom), Algorithm animation system (met Hurkmans), 29 augustus 1997, van de Wetering
Trum, dhr. J.J.C. (Jeroen), Resequencing in a singlestage switching network, 3 juli 1997, Mak/Hilbers
Verhagen, dhr. G.J.M., ExSpecT op het spoor, 3 juli 1997, Somers
Verstraten, mw. A.J.E., Scheduling of signal flow graphs for programmable video signal processors, 17 april 1997, Aarts
Weijs, dhr. S. (Sander), A computer search for quasi-cyclic codes, 3 juli 1997, Verhoeff
Witlox, dhr. B.R.T.M. (Bob), Performance analysis of dataflow architectures using Petri nets, 3 juli 1997, Aarts
de Wolf, dhr. R. (Ruben), Penetration testing: A test approach and a practical toolkit for firewall penetration testing according to a generic framework, 29 augustus 1997, De Bra
van Wouw, dhr. K.G. (Kasper), Range map based model reconstruction, 29 augustus 1997, van de Wetering
van Zandbeek, dhr. J.P.F.A. (Jasper), Technische realisatie van een amusementsspel op internet, 17 april 1997, Somers

1996

Najaar (12) (cum:721)

Bouman, dhr. J.J. (Jacques), SLM ondersteuning: De ontwikkeling van tools voor het ondersteunen van service level management, 19 december 1996, Somers
Buhuceanu, mw. D.S. (Dana), Adaptive triangulation of implicit surfaces, 24 oktober 1996, van Overveld (met lof)
Craane, dhr. O.L.J.P. (Oscar), Developing a user interface for 3D architectural, 24 oktober 1996, van Overveld
Dalmeijer, dhr. M. (Manfred), Mobile agents, 19 december 1996, Hammer
Dielhof, dhr. R. (Ron), Implementation of test coverage measurement on an MR scanner system, 19 december 1996, Somers
Gijsen, dhr. R.J.G. (Bart), Mixed-model assembly line sequencing with product options, 19 december 1996, van Hee
van Horssen, dhr. E.R., Transaction scheduling in real-time distributed databases, 24 oktober 1996, van der Stok
Meulendijks, dhr. S.M.A., Object-oriented compiler construction, 24 oktober 1996, Hemerik
van Oosterhout, dhr. J.J.G.M., On-line signature verification using hidden Markov models, 24 oktober 1996, Rem
van de Pol, dhr. E.T.J., Optimisation of optical based hazard avoidance using hazard map propagation, 24 oktober 1996, Lukkien
Thomassen, dhr. M.N., Kalkulatie-informatiesysteem: kalkuleren in het 'offerte-order-traject', 24 oktober 1996, Dignum
van 't Westeinde, dhr. R.F. (Ronnie), Sinview '96: Tangram performance analyzer, 19 december 1996, van Berkel

Voorjaar (38) (cum:709)

van Aarle, dhr. W.P.H.C. (Marco), On-line enforcement of static schedules, 27 juni 1996, Luit
Aarts, dhr. B.J.M. (Bas), A parallel local search algorithm for the job shop scheduling problem, 18 april 1996, Aarts
Boeijen, dhr. M.H.T.C.M. (Marc), Translation of multiresolution. Algortihms into VSP Signal Flow Graphs, 30 augustus 1996, Mak
van den Broek, dhr. B.C. (Bram), Interactive control of cameras and articulated bodies for Looks and the GDP, 30 augustus 1996, van Overveld
Caelers, dhr. R.H.H., Step-wise construction of a virtual environment, 30 augustus 1996, Hoogerwoord
Coolen, dhr. M.J. (Martijn), Internet interface voor TOBIAS, 30 augustus 1996, De Bra
Coumans, dhr. P.F.A. (Pascal), Start time assignment in multidimensional periodic scheduling, 18 april 1996, Aarts
van Drimmelen, dhr. L.P. (Leendert), A distributed patient hospital information system. Central server handling, 30 augustus 1996, De Bra
Dumont, mw. S.H.M.M. (Susan), A parallel Implementation of the Random Encounter Iterated Prisoner's Dilemma, 30 augustus 1996, Mak
van Engelen, dhr. R.J. (Remco), An algorithm that constructs primitive implementations from delay-insensitive specifications, 30 augustus 1996, Verhoeff (met lof)
Foederer, dhr. J. (Jochem), 3D Minimal Energy Curves, 15 februari 1996, van Overveld
Gouder de Beauregard, dhr. A.F.W. (Arnaud), Object Assignment in Real-Time Systems A Case Study in DEDOS, 30 augustus 1996, Hammer
't Hoen, dhr. P.J. (Jan), View Trees for Windows, 30 augustus 1996, Hemerik
Jilderda, dhr. F.J., The synergism of subjects, business processes and objects in the KISS method of object orientation, 27 juni 1996, Hammer
van de Kimmenade, dhr. R.J.H. (Roger), Interactive realistic animation en ExSpect, 18 april 1996, van Overveld
Knook, dhr. R.J.C. (Raymond), Weapon assigment and sensor allocation in a constraint logic programming language, 27 juni 1996, Rem
Koopmans, dhr. M.A. (Marco), An Evaluation of Object-Oriented Languages for DEDOS/Deal, 30 augustus 1996, Hammer
van der Laak, dhr. E.P.C.F.M., Adaptive octrees for balancing the load of a parallel simulation of a cluster-cluster aggregation, 30 augustus 1996, Hilbers
van Laar, dhr. S. (Sander), Een Database Publishing Systeem toegespitst op een Kartografische Omgeving, 30 augustus 1996, de Bra
Linschoten, dhr. T.F.A.M., Design of a PDF417 Symbol decoder, 27 juni 1996, Schols
Marcelis, dhr. R., Het ontwerp van de rekenfunctionaliteit van TOP SYS 3.0, een beslissingsondersteunend systeem vor multi criteria analyse, 27 juni 1996, Somers
Marsman, dhr. M. (Marcel), Derivation of an efficient BSP tree merge algorithm, 30 augustus 1996, van Overveld
van den Meerendonk, dhr. J.M.S., Specification and verification of a circuit in ACPdrt-ID, 15 februari 1996, Baeten
Messchendorp, dhr. G.P.J., Scalability study of the parallel soleqs, 30 augustus 1996, Lukkien
Meuwissen, dhr. P.H.E. (Pedro), The implementation of the Eindhoven communication library on the Parsytec PowerXplorer, 30 augustus 1996, Lukkien
Moerenhout, dhr. M.J.H.A., Reducing IC test time through parallel composition of test protocols, 30 augustus 1996, Aarts
Munk, dhr. J.T., Een object georiënteerde database als hypertext opslagmedium, 15 februari 1996, De Bra
Oostendorp, dhr. A.A.M.J., Matrix-vermenigvuldiging op twee-dimensionale processornetwerken, 30 augustus 1996, Rem
Penners, dhr. R.W.S., Step-wise construction of a virtual environment, 30 augustus 1996, Hoogerwoord
Rentier, dhr. M.C., Het testen van software voor logistieke projecten, 30 augustus 1996, Feijs
van Riel, dhr. R.E. (Rob), Remote Procedure Calls and Universal References for DEAL, 30 augustus 1996, Hammer
Rijnkels, dhr. P.A.W. (Stefan), A parallel preconditioned conjugate gradient algortihm in B2000 on the SGI power challenge, 27 juni 1996, Hilbers
Setz, dhr. R.B.W. (Robert), Designing parallel programs for linear block computations, 27 juni 1996, Lukkien
Seuren, dhr. M.F.H. (Michiel), Design and implementation of an automatica event abstraction tool, 30 augustus 1996, Somers
Thomasse, dhr. V.F. (Victor), The sound of motion, 27 juni 1996, van Overveld
Veltman, dhr. R.L. (Rinse), The rock mechancs database, 30 augustus 1996, de Bra
Viegers, dhr. A.T., The synergism of subjects, business processes and objects in the KISS method of object orientation, 18 april 1996, Hammer
Wakkee, dhr. B.H.F.R., Implementatie van structuureditors voor database-publishing, 30 augustus 1996, Hemerik

1995

Najaar (13) (cum:671)

Bos, mw. S.H.J. (Sonja), Het beschrijven van de I2C-bus met behulp van een timed process algebra, 21 december 1995, Baeten
Coenen, dhr. F.W.J., Een heterarchische besturingsstructuur voor flexibele produktiesystemen, 21 december 1995, Rem
van Doren, dhr. E.G.P. (Giel), Disk scheduling in a video on demand server, 26 oktober 1995, Aarts
Franssen, dhr. M.G.J. (Michael), Evaluation of DMS-splines, 21 december 1995, van Overveld (met lof)
van Gassel, dhr. R.P.T. (Rob), Parallel structure factor calculations, 21 december 1995, Hilbers
Keukens, dhr. H.M.J.G. (Manuel), Internet and Wold-Wide Web at Schlumberger RPS, 26 oktober 1995, De Bra
Prins, dhr. S. (Sacha), MMPC client for new topia, 21 december 1995, van der Stok
Rietjens, dhr. E., Specifying video signal processing functions, 26 oktober 1995, Rem
van der Schot, dhr. P.J.N. (Patrick), World Wide Web indexering met proximity, 26 oktober 1995, De Bra
Waijers, dhr. B.H.F.M. (Boudewijn), A communication facility between the EMPS and UNIX, 26 oktober 1995, van der Stok
Warmoeskerken, dhr. R.J.P.C. (Robert), Design of a prototype-environment for testing PCB's, 26 oktober 1995, Hammer
Wevers, dhr. H.H.H. (Harry), Reliable HRT intra-node multipoint RPC in DEDOS, 26 oktober 1995, Hammer
van Wijk, dhr. R.J., The rock mechanics database, 26 oktober 1995, De Bra

Voorjaar (42) (cum:658)

Antens, dhr. J.C.A.M. (Coen), Combinatorial optimization for image processing: the halftoning problem, 20 april 1995, Aarts
Augusta, dhr. G.A. (Glenn), Parallel berekenen van discrete logaritmen in grote lichamen, 31 augustus 1995, Rem
Auwens, dhr. J.C.L. (Ronald), Connecting Wireframes, 31 augustus 1995, van Overveld
van den Berg, dhr. J.C.F. (Johan), A feasibility study of the implementation of the MHT algorithm on SPLICE, 31 augustus 1995, Rem
Beuzenberg, dhr. E. (Elmar), TASTE Input Tool (T.I.T.), 20 april 1995, Somers
Braeken, dhr. R.S.J.M. (Richard), Operating parameter variance effects on the security lending business in Canada using a simulation model, 31 augustus 1995, van Hee
Brood, dhr. E.J.A., An object oriented framework for the DEDOS off-line scheduler, 16 februari 1995, van der Stok
Cornelissen, dhr. H.C.A. (Harm), Konstruktie van een workflow management toolkit in ExSpect, 31 augustus 1995, van Hee
van Dalen, dhr. F. (Frank), Optimal transport planning, 16 februari 1995, van Hee
van Dartel, dhr. K.W. (Koen), The contour and range problem: Solutions based on leaf trees, 20 april 1995, Kaldewaij (met lof)
van Dongen, dhr. E.C.J. (Eric), Transformatie van object georiënteerde datamodellen naar object georiënteerde programmamodellen, 22 juni 1995, De Bra
van Gorp, dhr. P.C.N. (Paul), Period assignment in multi-dimensional periodic scheduling, 16 februari 1995, Aarts (met lof)
Helder, dhr. M.W.J. (Matthieu), Reverse engineering of an algorithm that generates coherent monologues, 22 juni 1995, Hemerik
Heijmans, dhr. C.E., Gedistribueerde simulatie van timed coloured Petri-netten, 31 augustus 1995, Somers
Holtman, dhr. K.J.G. (Koen), Pointer programming methods and formalisms, 31 augustus 1995, Bijlsma
Horbach, mw. S.A.J., Definitie van een generiek geografisch informatie systeem met behulp van het object oriented paradigma, 31 augustus 1995, De Bra
Janssen, mw. J.M.J. (Jeanette), Automatiseren van de ritplanning bij FoodCargo bv, 31 augustus 1995, De Bra
Kemper, dhr. M.C.M. (Marco), Topological operations on polygon meshes, 16 februari 1995, van Overveld
Kivits, dhr. R.W.L.J. (Ron), Fundamentele technische keuzen voor een open infrastructuur voor chipkaarttoepassingen en biometrische verificatiesystemen voor zo'n infrastructuur, 22 juni 1995, De Bra
Klomps, mw. B.M. (Birgit), Aspects of the implementation of an iterative matrix solver om the Cenju-3 parallel computer, 22 juni 1995, Hilbers
Luijkx, dhr. P.M. (Peter), Area reservation in an iron foundry, 31 augustus 1995, Aarts
Lyppens, dhr. H.M.H. (Hugo), From S-algebras to template classes: a structure editor with multiple views, 20 april 1995, Hemerik (met lof)
Maassen, dhr. P.M.F.T. (Patrick), Real-time implementatie PBE-algoritme, 22 juni 1995, Rem
Pham, dhr. V.V.S. (Si), Automated integrity control in AKTS, 31 augustus 1995, Dignum
Poels, dhr. M.H.A., An embedded application in a real-time programming language implementation of the control software of a copier in DEAL (met Strooper), 20 april 1995, van der Stok
Poorts, mw. K.M. (Karin), e.v. Lim, Time and resource constrained scheduling: a production planning case study, 20 april 1995, Aarts
Prange, dhr. P.U.M.J., Searching basic building blocks for delay-insensitive systems, 16 februari 1995, Rem
Pustjens, dhr. M.J.H. (Maurice), Ontwerp van een informatica warehouse in de bedrijfsketen, 22 juni 1995, De Bra
Remijn, dhr. P.B.C.M. (Pascal), Automatisering van de afdeling Groepsreizen VVV Het Geuldal, 22 juni 1995, De Bra
Ruffini, dhr. N.F.A.J. (Norbert), Ontwerp van bouwstenen voor een workflow management systeem in ExSpect, 31 augustus 1995, van Hee
Severens, dhr. M.E.M. (Maurice), Parallel local search for the Steiner Tree Problem in Graphs, 22 juni 1995, Aarts
Smeets, dhr. M.L.G., Delay management in the VSP Tools, 22 juni 1995, Aarts
Stalpers, dhr. M.G.J.R., A solution to the vertex correspondece problem and its application in real time animation of complex geometric models, 31 augustus 1995, van Overveld
Stenneke, dhr. R.P., Geautomatiseerde orderverwerking en produktievoorbereiding bij Ben Eilers Tenten VOF, 20 april 1995, de Bra
Strooper, dhr. M.J., An embedded application in a real-time programming language implementation of the control software of a copier in DEAL (met Poels), 16 februari 1995, van der Stok
Thuijls, dhr. J.M.P. (Hans), Ontwikkeling van een management infotmatiesysteem voor de bedrijfsvoeringsmanagers van cluster medische ondersteuning, 22 juni 1995, De Bra
van Veldhoven, dhr. E.R. (Edwin), Array indexing in SuperVokel, 31 augustus 1995, Rem
Vermeulen, dhr. R.R.M. (Rogier), Database-publishing en syntax-gestuurde editors, 31 augustus 1995, Hemerik
van Vliet, dhr. R.T.C., Ontwerp van een informatiesysteem voor Centra voor Kunstzinnige Vorming, 31 augustus 1995, De Bra
Vossen, dhr. T.W.M. (Thom), A probabilistic analysis of local search, 16 februari 1995, Aarts (met lof)
Vugts, dhr. R.A.M.J. (Rob), Reducing the storage space requirements of the road map data of the Philips Car Information and Navigation Systems, 31 augustus 1995, Somers
Wouters, dhr. P.N. (Rian), A feasibility study for scanning the two-dimensional barcode PDF417, 31 augustus 1995, Rem

1994

Najaar (24) (cum:616)

Bassie, dhr. E.F. (Erik), Een kwaliteitsmodule voor TRITON, 3 november 1994, Wortmann (BDK)
van Beek, dhr. J.C.M. (John), Parallel programs for convolution and correlation in stereo vision, 22 december 1994, Rem (met lof)
Bier, dhr. R.W.H. (Ralph), Een ziekenhuistoepassing in ExSpect, 22 december 1994, van Hee
Boosten, dhr. M. (Marcel), Test protocol expansion: memory handeling and efficiency improvements (met Jacobs), 3 november 1994, Aarts (met lof)
Cheung, dhr. H.C. (Hang Choi), A mesh routing chip in tangram, 3 november 1994, Rem
Crombach, dhr. C.J.H. (Coen), Implementatie van binnenblokken, 3 november 1994, Hoogerwoord
Foliant, dhr. P.A.J. (Peter), Low-energy VLSI-programming, 22 december 1994, Rem
de Gronckel, dhr. M.A.M. (Michel), Artikel branche codering, 3 november 1994, Somers
van Hees, dhr. M.C.M.M. (Maurice), Objectgeoriënteerde implementatie van een syntaxgestuurde editor met meervoudige representaties, 3 november 1994, Hemerik
Jacobs, dhr. H.S. (Harro), Test protocol expansion: memory handeling and efficiency improvements (met Boosten), 22 december 1994, Aarts (met lof)
Janssen, dhr. L.M.A. (Lucas), Time and resource constrained scheduling: a case study in school timetabling, 3 november 1994, Aarts
Jutten, dhr. M.H.A. (Maurice), Objectgeoriënteerde implementatie van een syntaxgestuurde editor met meervoudige representaties, 3 november 1994, Hemerik
Kasanardjo, dhr. E.R. (Endy), Een systematische afleiding van "stratified trees", 22 december 1994, Kaldewaij (met lof)
Lamerikx, dhr. F.J.G. (Frankco), Scheduling access requests for compact discs in multimedia systems, 3 november 1994, Aarts
Paijmans, dhr. H.W.A.J., Leaftrees en leaps, 22 december 1994, Kaldewaij
Peters, mw. N.H.E. (Nicole), Analysis of scheduling problems by means of INA/ExSpect, 3 november 1994, Somers
Schoenmakers, dhr. J.C.M., Algorithm animation using the generalized display processor, 22 december 1994, van Overveld
van der Sommen, dhr. F.W., Multiprogram derivations, 3 november 1994, Feijen (met lof)
Stienen, dhr. A.H.E. (Oscar), Artikel branche codering, 3 november 1994, Somers
Stout, dhr. J.M. (Jan), Animating a jellyfish ballet, 3 november 1994, van Overveld
Swinkels, dhr. P.C.J. (Pieter), A parallel Lin-Kernighan algorithm for the traveling salesman problem, 3 november 1994, Aarts (met lof)
Verhoeven, dhr. J.L.M. (Jan), Toonbeeld: Educational software for teaching intonation to deaf persons, 22 december 1994, Somers (met lof)
Vlemmings, dhr. H.H.M., CDIF als intermediair tussen Triton en CASE, 3 november 1994, Somers
Voet, mw. M.G. (Irene), Formal verification of the wireless medium access control protocol using COSPAN, 22 december 1994, Baeten (met lof)

Voorjaar (72) (cum:592)

Aarts, dhr. P.J.M. (Peter), The extension of X.500 with Lazy Replication, 23 juni 1994, Hammer
D'Agostino, dhr. L.A.A. (Leandro), Implementation of HSC's in VHDL, 23 juni 1994, Rem
Arts, dhr. R.A.F.M. (Raymond), Priority-rule-based constaint satisfaction heuristics for job shop scheduling, 31 augustus 1994, Aarts
Barenbrug, dhr. B.G.B. (Bart), Using a constraint driven approach to dynamic simulation of rigid body movements in computer animation, 21 april 1994, van Overveld
Belgers, dhr. W.H.B. (Walter), Reliable SRT inter-node multicast in DEDOS, 31 augustus 1994, Hammer
Blijenberg, mw. J.N. (Jolanda), De implementatie van een kwaliteitsbesturingssysteem voor een woningbouwvereniging, 23 juni 1994, De Bra
Bijsterveld, dhr. M.L.L. (Marcel), Categorical fixed point rRules, 23 juni 1994, Backhouse (met lof)
Clout, dhr. R.A.W. (Ramon), Off-line scheduling for cache optimization, 21 april 1994, Rem (met lof)
van der Cruijs, dhr. P.E.A.J. (Paul), Highly available distributed directory systems, 31 augustus 1994, Hammer
Dieben, dhr. M.P., Parallel Simulation of Handshake Circuits, 10 februari 1994, Rem
van Doornik, dhr. J.V. (Jeroen), The composition of wrap-around mappings, 31 augustus 1994, Hilbers
van Dijk, dhr. C.H.B. (Coen), Adding and checking constraints with the DEDOS graph viewer, 31 augustus 1994, Hammer
van Eck, dhr. E. (Edwin), Interactive modelling of constrained variational triangular surfaces (met De Krom), 31 augustus 1994, van Overveld
Egelmeers, dhr. P.W.M.M. (Perry), Optimistic concurrency control in a distributed environment, 31 augustus 1994, Hammer
van Gageldonk, dhr. J.S.H. (Johan), The asynchronous move machine: verification using CCS, 31 augustus 1994, Rem
Geraets, dhr. R.H.J. (René), Improvements and extensions of matrix expressions in ILIAS, 23 juni 1994, Rem (met lof)
Gommeren, dhr. J., Een efficiënte implementatie van flexible arrays, 23 juni 1994, Hoogerwoord
Gijsbers, dhr. R.J.L.C., Ontwerp en implementatie van OODE de object oriented design editor, 31 augustus 1994, Somers
Harte, dhr. M.J. (Mark-Jan), Syntax-gestuurde editors voor getypeerde Lambda-termen, 23 juni 1994, Hemerik
van den Heuvel, dhr. E.R. (Erwin), Parameterizable controller generation, 31 augustus 1994, Aarts
Hoogendijk, dhr. R.A.D. (Roland), A realisation of a concurrency control algorithm for DEDOS, 21 april 1994, Hammer
Hoskens, mw. C.P.M. (Cora), Systeemontwikkelmethoden, 21 april 1994, Somers (met lof)
van Iersel, mw. H.C.P.M. (Hannie), Time and Resource Constrained Scheduling: a case study in production planning, 10 februari 1994, Aarts
Jansen, dhr. R.E.J. (Roger), Partitioning of signal flows graphs for programmable video signal processors, 23 juni 1994, Aarts (met lof)
Kerkhof, dhr. M. (Martin), A molecular dynamics simulation on a distributed memory parallel machine, 23 juni 1994, Rem
Kleijnen, dhr. K.H.G.M., Onderzoek naar het verpleegdossier van verpleeghuis Invia/St. Agnetenberg, 23 juni 1994, De Bra
de Kloe, mw. S.M.J.A. (Silvia), Ontwikkeling van een taal voor het genereren van dienstregelingen bij de NS, m.b.v. ASF + SDF, 31 augustus 1994, van Hee (met lof)
Knubben, dhr. R.J.J. (Rob), Overwegingen over object-georiënteerde ontwerpen, 31 augustus 1994, Hoogerwoord (met lof)
Koehorst, dhr. M.W., Object-oriented design and implementation of the FALC transportation system controller, 23 juni 1994, Hammer
Koolen, dhr. P.J.C.M. (Patrick), Business modelling: A comparative case study, 31 augustus 1994, Hammer
Krabbendam, dhr. J. (Jeroen), On the soundness of explicit substitution, 21 april 1994, Nederpelt (met lof)
de Krom, dhr. P.P.J. (Paul), Interactive modelling of constrained variational triangular surfaces (met Van Eck), 31 augustus 1994, van Overveld
de Krijger, dhr. R.P.J., Implementatie van (inverse) kinematica en dynamica methoden in de GDP, 31 augustus 1994, van Overveld
Kuijpers, dhr. J.A.A. (Harold), Het relatie management systeem van Hypotheek Visie, 23 juni 1994, De Bra
Langenhuizen, dhr. M.L.J.A. (Marco), Development of a generic Gantt chart editor, 31 augustus 1994, Somers
Leenders, dhr. G.G.A.J.G. (Guido), Tactile fields and target acquisition in the user interface, 31 augustus 1994, Somers
de Leijer, dhr. R.J.A. (Rene), Het PB-Model: een browsing-techniek in een graaf, 31 augustus 1994, Paredaens
Lenders, dhr. R.J.G.M., Van 2D naar 21/2D met behulp van digitale camerabeelden, 31 augustus 1994, Somers
Lenkens, dhr. C.C.A.S.E., "Over documentaire en 'echte' informatiesystemen", 31 augustus 1994, De Bra
Lindelauf, dhr. P.H.E. (Pascal), Simulation of discrete manufacturing systems with ExSpect, 31 augustus 1994, Somers
van der Linden, dhr. H.F.M. (Eric), Type- en functiegeneratie voor datamodellen van de simcon editor van ExSpect, 31 augustus 1994, Somers
van der Linden, dhr. P.J.M. (Peter), ISSP/ExSpect: een gereedschap voor het interaktief simuleren van produktieafdelingen, 31 augustus 1994, Somers
Löhr, dhr. M., Implementatie van (inverse) kinematica en dynamica methoden in de GDP, 31 augustus 1994, van Overveld
van Meeuwen, dhr. E.H.P.G. (Edwin), Path specification system, 31 augustus 1994, van Overveld
de Nooij, dhr. T. (Thomas), QuickView, 31 augustus 1994, Somers
van de Pas, dhr. A.W. (Alexander), Het nesten van complexe vormen in standaard formaat platen, 23 juni 1994, van Hee
Paulssen, mw. N.H.M. (Natasja), Progress in multiprograms: An exploratory tour, 10 februari 1994, Feijen
Paulussen, dhr. R., ExSpect in een gedistribueerde omgeving, 23 juni 1994, Somers
Pelkmans, dhr. A.J.A., Functionality of GBOB's programmerfriendly interface, 21 april 1994, van Overveld
Polisini, dhr. M.G. (Mirko), Requirements and specification of a block editor, 31 augustus 1994, van Overveld
Pijnappel, dhr. W.W.F., Vergelijking tussen verzamelinngstheoretische rekenmodellen, 21 april 1994, Backhouse
Reniers, dhr. M.A. (Michel), An algebraic semantics of Message Sequence Charts, 21 april 1994, Baeten (met lof)
Rens, dhr. R.J.A. (Ronald), Prospectieve modellen, 21 april 1994, De Bra
Reijers, dhr. H.A. (Hajo), Informatie-analyse voor het beleidsveld waterbeheer van de Directie Milieu en Waterstaat Provincie Zeeland, 31 augustus 1994, De Bra
Riemens, dhr. D.K. (David), Approximation of preconditions for a programming lanuage with backtracting, 21 april 1994, Kruseman Aretz (met lof)
Roelen, dhr. A.H.W. (Arjan), Layoutalgoritmen voor syntaxgestuurde editors, 31 augustus 1994, Hemerik
Schellekens, dhr. M.H.M. (Maurice), Concepten in regelingsteksten, 23 juni 1994, De Bra
Schouten, dhr. G.C. (Gertjan), Mesh editing and editor, based on weaving, 31 augustus 1994, van Overveld
Smeets, dhr. H.C.J., Increasing the throughput of VLSI-circuits a mathematical approach, 31 augustus 1994, Rem
Smelt, dhr. M. (Martijn), Boekingssysteem voor de informatiedienst van VVV Het Geuldal, 31 augustus 1994, De Bra
Stalman, dhr. R.J.L., Automatisering VVV Het Geuldal, 10 februari 1994, De Bra
Stevens, dhr. R.R.W., A graph generator for DEDOS applications, 31 augustus 1994, Hammer
Tonneijk, dhr. B.L.A. (Bart), Het puzzel-processor project: vergelijking van puzzel-algoritmen, 31 augustus 1994, Rem
Venkataraman, mw. V.L. (Vinta), Software process modelling formalisms, 21 april 1994, Somers (met lof)
Vesters, dhr. J.M. (Hans), Implementatie van Schuwer's model, 31 augustus 1994, van Hee
Visser, dhr. E.E.R., PostScript interpretatie, 21 april 1994, Somers
de Vocht, dhr. J.W. (Joep), Experiments for the characterization of Hyper text - structures, 23 juni 1994, De Bra
Vonk, dhr. F. (Francois), Full-text retrieval applied to teletext, 31 augustus 1994, Rem
Vreman, dhr. P.J. (Peter), Look before you leap. HL7 is a framework not a fixed solution, 21 april 1994, Hammer
Wijnands, dhr. A.I.J. (Toon), Experiments in multiprogramming; an exploratory tour, 31 augustus 1994, Feijen
Zegwaard, dhr. H.C., An exploring walk through the fascinating forests of leaftrees, 31 augustus 1994, Kaldewaij
van Zoggel, dhr. S.G.N. (Stefan), Timing constraints in an object oriented, 23 juni 1994, Hammer

1993

Najaar (20) (cum:520)

Alberts, dhr. W.T.M. (Wilbert), Curve editing en chain coding, 4 november 1993, van de Wetering
Beckers, dhr. M.F.G., Ground segment simulation, 23 december 1993, Somers
Bonné, dhr. P.H.M. (Patrick), An object-oriented model of a heterarchical shop floor control system, 23 december 1993, Hammer (met lof)
Filius, dhr. P.C. (Pieter), EDM: Bedrijfsbehoefte analyse met betrekking tot Engineering Data Management, 23 december 1993, Pels (BDK)
Gijsen, dhr. B.M.M. (Bart), Constructive regular algebra in the Spec calculus, 4 november 1993, Backhouse
van Haastert, dhr. A.J.W. (Arno), Random search, guided by dynamic programming, 4 november 1993, van Hee
La Haye, dhr. R.G.M., Het Intern Budgetteringssysteem voor verzorgingstehuizen, 23 december 1993, van Hee
Knapen, dhr. E.G. (Ed), Relational programming, program inversion and the derivation of parsing algorithms, 4 november 1993, Backhouse (met lof)
Luijkx, dhr. A.H., Ontwerp en implementatie van algoritmen ter bepaling van optimale onderhoudsstrategieën, 4 november 1993, Somers
Nijssen, dhr. J.T.M. (Jorrit), The Performance of Nonlinear Multi Layered Perceptrons, 23 december 1993, Aarts
Oerlemans, mw. S.P.M. (Saskia), e.v. Vos, Bewijssystemen met definities, 4 november 1993, Nederpelt
Olders, dhr. R.J.C., The technical aspects of on-farm data communication, 4 november 1993, Hammer
Pinontoan, dhr. B. (Benny), Complexiteit van GOOD, 4 november 1993, Paredaens
van Roessel, dhr. E.M. (Eugene), SSPC - UI Designing and Implementing a User Interface for the SAX Satellite AOCS Testing system, 23 december 1993, Somers
Rütten, dhr. P.H., Table Compression of Fuzzy Logic Functions, 23 december 1993, Aarts
Smedema, dhr. B.A. (Bart), Development of a Performance manager for a Subscriber Unit, 23 december 1993, Somers
Vergouwen, dhr. C.A., User Interface Programming Support in Looks, 23 december 1993, van de Wetering
Vos, dhr. P. (Peter), Software process modelink languages, 4 november 1993, Somers
van der Wijst, dhr. L.W.A., Development of a tool for editing objects in the MR Methods Software. "An Editor using Lazy and Incremental Evaluation", 23 december 1993, van de Wetering
van Zutphen, dhr. J.R. (Jeroen), PentaPro. Een Documentbeheer Systeem onder Windows, 23 december 1993, Somers

Voorjaar (68) (cum:500)

van den Akker, dhr. A. (Arnold), Onderzoek naar de informatieverwerking voor de maaltijdproductie in de gezondheidszorg, 24 juni 1993, De Bra
Anema, dhr. W.J. (Walter), Snel ontwikkelen van informatiesystemen met lage onderhoudskosten, 29 april 1993, van Hee
Basten, dhr. A.A. (Twan), Hierarchical event-based behavioral abstraction in interactive distributed debugging: A theoretical approach, 30 augustus 1993, Hammer (met lof)
Benda, dhr. J.W.H. (Jeroen), Automatisering van projectregistratie bij Medical Trading Company B.V., 30 augustus 1993, van Hee
van den Berg, dhr. A.A.H.M. (Ton), Taktiekgestuurde bewijsprogramma's, 30 augustus 1993, Nederpelt
van den Berkmortel, dhr. P.L.A. (Peter), The non-existence of a solution to Graham's bin packing problem, 30 augustus 1993, Lenstra
Bink, dhr. A.J. (Arjan), Constructive solid geometry on pixel-planes 5, 30 augustus 1993, Rem (met lof)
Blokdijk, dhr. W.A. (Wouter), Ontwerp van een informatiesysteem ter ondersteuning van professionals, die belast zijn met het managen van IT-projecten. Bouw van een prototype, 30 augustus 1993, Wortmann (BDK)
Brassé, dhr. M.H.H. (Marco), Parallel correlation of stereo images, 24 juni 1993, Rem (met lof)
de Bruijn, dhr. G.A.M., A graph viewer for DEDOS applications, 30 augustus 1993, Hammer
Bun, dhr. L.J.G. (Leon), ACP versus ATP and ATG, 29 april 1993, Baeten
van der Burgt, dhr. T.M.M.M. (Therry), Computer aided identification of IMS Spectra, 30 augustus 1993, De Bra
Cuijpers, dhr. M.J.M. (Maurice), Satellite ground segment simulation, 24 juni 1993, Somers (met lof)
Derix, mw. M.M.H. (Marcha), Specificatie en implementatie van de wachtlijst van de verpleeghuizen van de Stichting Ziekenzorg Westelijke Mijnstreek, 24 juni 1993, De Bra
van Drimmelen, dhr. M.J., Modelleren en simuleren van robotassemblagesystemen met behulp van ExSpect, 24 juni 1993, Somers
Fassotte, mw. B.J. (Barbara), Design and implentation of the generic bill-of-material using the object-oriented database ONTOS, 24 juni 1993, De Bra
de Fluiter, mw. B.L.E. (Babette), A complexity catalogue of high-level synthesis problems, 29 april 1993, Aarts (met lof)
Gelderblom, dhr. R.H. (Rob), Een systeem voor het genereren van compilerkomponenten, 24 juni 1993, Hemerik
Gijsbers, dhr. J.A.J., Performance analysis and optimalization of parallel programs using the DFG model, 18 februari 1993, Rem
Hakkesteegt, dhr. R.J. (Ruud), Client-server cComputing in shop floor management, 29 april 1993, Hammer
Hames, dhr. R.L.I., KWADILO, een analyseprogramma voor logistieke dienstverleners, 30 augustus 1993, Somers
Hanse, dhr. A.J. (Anko), Connecting asynchronous devices to the PC-bus, 24 juni 1993, Rem
Heldens, dhr. P.G., Lay-out analyse van gedigitaliseerde tekst-documenten, 24 juni 1993, Hammer
van der Heijden, dhr. J.W.B. (Jos), Classical search trees, 30 augustus 1993, Kaldewaij (met lof)
Huijbens, dhr. R.J. (Ramon), Een studie naar object-georiënteerd programmeren, 30 augustus 1993, Hoogerwoord
Jansen, dhr. J.A., Proposals for the improvement/adaptation of EPEP for the achievement of MPEP, 18 februari 1993, Hammer
Janssen, dhr. X.M.J., Ontwerp en implementatie van een prototype informatiesysteem voor Ben Eilers Tenten V.O.F. te Roermond, 30 augustus 1993, De Bra
Jonkers, dhr. J.P.J. (Jan), Disaster Recovery Planning, 29 april 1993, Somers
Jonkers, dhr. M., ExSpect-simulation of Dealy-Insensitieve Circuits, 30 augustus 1993, Rem
Kaas, dhr. E.C.E. (Erik), Design of an interactive, constraint-based expert system to support the scheduling of the National Hockey League, 30 augustus 1993, De Bra
Kelleners, dhr. R.H.M.C. (Richard), Solving collisions in Walt, 24 juni 1993, van de Wetering
Kemp, dhr. P.J.C. (Peter), Classes met meervoudige typen in een graafgeoriënteerd datamodel, 18 februari 1993, Paredaens
Kennes, dhr. J.J.P., Reliable HRT inter-node multicast in DEDOS, 30 augustus 1993, Hammer
Kikken, dhr. A.H.M. (Anton), Specification of timing constraints in an object oriented environment, 30 augustus 1993, Hammer
Klein, mw. M. (Marjolein), The object-oriented database system ONTOS, 24 juni 1993, Paredaens
de Kock, dhr. E.A. (Erwin), Partitioning of signal flows graphs in real-time sigital video signal processing, 24 juni 1993, Aarts
Kruizinga, dhr. A.C. (Anthony), Informatie-uitwisseling in de functioneel geordende geestelijke gezondheidszorg, 24 juni 1993, Bemelmans (BDK)
Kuipers, dhr. H.J. (Harry), Management system for a DECT intra-office communication system, 30 augustus 1993, Hammer
Kunnen, mw. G.M., Object-oriented design and implementation of the FALC controller, 24 juni 1993, Hammer
Kuijpers, dhr. N.H.L. (Nico), Feature Matching Algorithms for Stereo Vision on a Distributed Memory System, 30 augustus 1993, Rem (met lof)
Langewouters, dhr. J.L.R.M. (Jan), Correctness proof an implementation of the CSP-interaction mechanism, 24 juni 1993, Rem
Martin, dhr. J.M.M. (Maurice), Clock synchronization with reading errors and Byzantine clock-behavior (for DEDOS), 29 april 1993, Hammer
Meesters, dhr. M.R.J. (Marcel), Systolic 2-dimensional rank filtering, 24 juni 1993, Rem
van Moergastel, dhr. A.M.H. (Toine), Evaluatie van en een model voor de software life-cycle bij Tektronix, 18 februari 1993, Somers
Moerland, dhr. P.D., Exercises in multiprogramming, 18 februari 1993, Feijen (met lof)
Moling, mw. I.G.T.M. (Ingrid), Betere informatievoorziening voor medisch specialisten en een ontwerp voor een relationeel database management systeem, 24 juni 1993, De Bra
Moonen, dhr. J.R. (Jean), ILIAS a sequential language for parallel matrix computations, 29 april 1993, Rem
Moors, dhr. P.J.F. (Peter), Een efficiënt filing system, 30 augustus 1993, Hoogerwoord
Nijman, dhr. M.J. (Marcel), Prediction of loudspeaker behavior using neural networks, 30 augustus 1993, Aarts
van Opdorp, dhr. P., Guidelines for user interface design, 29 april 1993, van de Wetering
van Opstal, dhr. A.A.M. (Ton), The perspect-manipulation user interface, 24 juni 1993, van Overveld
Penners, dhr. M.P.H. (Maurice), Geometric constraint satisfaction, 30 augustus 1993, van de Wetering
Postma, dhr. A. (André), Geometrie modeling by object substitution, 24 juni 1993, van de Wetering
de Putter, dhr. C.A.J., A DES Generator for Smartcard Processors, 30 augustus 1993, Rem
van Rattingen, dhr. M.L., MCCC Mobile telephony Call Control Coordinator. The Basic Test, 30 augustus 1993, Somers
Segers, dhr. J.P.L. (John), The Design and Analysis of Asynchronous Up-Down Counters, 30 augustus 1993, Rem (met lof)
Slob, dhr. E., Generieke produktstructuren bij Philips Medical Systems, 24 juni 1993, Hammer
Smakman, dhr. C.H.J. (Cor), Wire Frames to Solids using Topological Information, 30 augustus 1993, van de Wetering (met lof)
Stappers, dhr. B. (Bram), On designing evaluators for languages, 29 april 1993, Hoogerwoord
Stehouwer, dhr. H.P. (Peter), Self organizing feature maps and the traveling salesman problem : a theoretical study, 18 februari 1993, Aarts
Tevel, dhr. J.H.P. (Jan Pieter), Visualisatie van type-afleidingen in l-calculus, 30 augustus 1993, Hemerik
Thoma, mw. P.H.C.M. (Pascale), Ruim baan voor kwaliteit, 30 augustus 1993, Wortmann (BDK)
Verhulst, dhr. B.J.J., Specification of time constraints for SPRINT, 29 april 1993, Hammer
Vink, dhr. P.T. (Peter), Delay management in real-time digital video signal processing, 24 juni 1993, Aarts
de Vries, dhr. A.A.J., Management system for a DECT intra-office communication system, 30 augustus 1993, Hammer
Weffers, dhr. H.T.G. (Harold), Implementing Elements of the Spec-Calculus, 30 augustus 1993, Backhouse
Westra, dhr. M.R. (Marcel), Implementation of generic MMS interface, 30 augustus 1993, Hammer
van Wijngaarden, dhr. M.A. (Michael), Test protocol expansion : model and solution approaches, 30 augustus 1993, Aarts

1992

Najaar (27) (cum:432)

van Acht, dhr. P.W.M., Standard-Cell Placement Using Cluster Information, 17 december 1992, Aarts
Arres, dhr. M.J.E. (Michel), De ontwikkeling van een milieuzorgsysteem, 29 oktober 1992, De Bra
van den Bergen, dhr. G.J.A. (Gino), Optimaal bijhouden van de vereniging van segmenten van een lijn, 17 december 1992, Kaldewij (met lof)
Bosman, dhr. M., A syntax-directed editor for a set of PLC languages, 17 december 1992, Hammer
Boumans, dhr. W.C.J.G.G., Remote Procedure Calls in DEDOS A Soft-Real Time Protocol, 29 oktober 1992, Hammer
Claessen, dhr. M.M.M.P.J. (Marc), Membership protocol for DEDOS, 17 december 1992, Hammer (met lof)
de Crom, dhr. P.J.N. (Paul), Een beheersysteem voor simulatieresultaten afkomstig uit ExSpect, 17 december 1992, Somers
Derwig, dhr. R.J.C. (Ruud), Distributed Full-Text Search, 17 december 1992, Rem (met lof)
van den Elzen, dhr. A.P.J.G. (John), Ontwerp en implementatie van een model voor de prognose van de exploitatierekening en de balans voor de Nederlandse Centrale voor Huisvesting Bejaarden (NCHB) te Amsterdam, 17 december 1992, De Bra
van Erp Taalman Kip, dhr. D.A.A., Some constraint satisfaction algorithms for the generalized job shop scheduling problem, 17 december 1992, Aarts
Hautus, dhr. E.H. (Edwin), Creation of soft shadows by means of contour following (met Huibers), 17 december 1992, van de Wetering
Hermans, dhr. H.P.A., Integratie van het SimCon/SCA-model in ExSpect, 17 december 1992, Somers
Huibers, dhr. P.J. (Peter), Creation of soft shadows by means of contour following (met Hautus), 17 december 1992, van de Wetering
Jansen, dhr. W.M., A simulation program for hard real-time applications, 29 oktober 1992, Hammer
Janssen, dhr. J.T.L.M., Design and implementation of a user interface for a scheduling application, using the application framework ET++, 29 oktober 1992, Somers
Koop, dhr. C. (Carlo), Een protocol voor EDI in de externe logistiek, 17 december 1992, van Hee
Masthoff, mw. J.F.M. (Judith), A formal design of the nucleus, 17 december 1992, Hoogerwoord (met lof)
Nijsten, dhr. R.J.L. (Raf), Analysis of the timing behaviour of PROTOCOLD, 17 december 1992, Hammer
Nobel, dhr. R.R., A Generalised Constraint Satisfaction Scheduling Problem and its Solution Method, 17 december 1992, Aarts
van Rossum, dhr. J.P.H. (John), Hoe goed is GOOD?, 17 december 1992, Paredaens
Smeets, dhr. R.J.H.G. (Robert), Een interpreter voor de taal Looks: gedeelte van de generalized display processor, 29 oktober 1992, van Overveld
Verhoeven, dhr. P.H.F.M. (Richard), MathSpad: Implementatie van een formule editor (met Weber), 17 december 1992, Backhouse
Voskuil, dhr. E.W. (Erik), Het K-verschillen probleem, 17 december 1992, Kaldewaij
de Vries, dhr. L.M.G. (Laurens), Implicit data structures, 17 december 1992, Kaldewaij (met lof)
Weber, dhr. O.J.M. (Olaf), MathSpad: Implementatie van een formule editor (met Verhoeven), 17 december 1992, Backhouse
Wolters, dhr. J.W.A.C., Hulpmiddelen voor het opbouwen van pakketkennis bijdrage aan "gegevensmodellen bij pakketselectie", 29 oktober 1992, De Bra
van Wijk, dhr. M.J., Interworkings, 29 oktober 1992, Baeten

Voorjaar (60) (cum:405)

Aarts, dhr. C.J., Galois Connections Presented Calculationally, 25 juni 1992, Backhouse (met lof)
Beelen, dhr. T.H.W., An integration of MOVIE and ExSpect, 25 juni 1992, Somers
Boelhouwer, dhr. E.J. (Erik), Design and implementation of a real-time expert systems with STRESS, 25 juni 1992, Hammer
Bons, dhr. R.W.H. (Roger), Aspects of high-level distributed object-oriënted real-time application languages, 31 augustus 1992, Hammer
van Bourgondiën, dhr. P.H.J.M. (Peter), Interactive Network Configuration Aid for Windows, 25 juni 1992, De Bra
Conijn, dhr. R.J., Simulatie software voor EDI workshops, 31 augustus 1992, van der Vlist (BDK)
de Deugd, dhr. C.M. (Cornelis), A mathematical framework for image construction in syntax-directed editors, 16 april 1992, Hemerik
van Dommelen, dhr. R.W. (Reinoud), G _ M : ? , G _ M : t? , G _ ? : t or Synthesis of types and terms for Typed Lambda Calculi, 31 augustus 1992, Hemerik
Dijkstra, dhr. E.J., FORmal Specification of Embedded Systems in COLD-1, 20 februari 1992, Hammer
Dijkstra, dhr. T. (Tamme), Het modelleren van curven en oppervlakken m.b.v. relaxatiemethoden, 31 augustus 1992, van Overveld
Engbers, dhr. R.R. (René), Een analyse van het transputer image procesing systeem, van de vier-kleuren inktjetprinter van Stork Colorproofing, met behulp van CCS, 16 april 1992, Rem
de Gast, dhr. E. (Edwin), The processor-group membership problem: Towards a calculational approach, 31 augustus 1992, Baeten
van Geene, dhr. R.A.M., Ontwerp en implementatie van een circuit compiler, 25 juni 1992, Rem
van Gemert, dhr. M.P., Distribute programs over tree networks, 31 augustus 1992, Rem
Glim, dhr. A. (Arno), Optimistic concurrency control for DEDOS, 31 augustus 1992, Hammer
Haans, dhr. J.M.P.W, VLSI programming of multipliers, 31 augustus 1992, Rem
van Ham, dhr. P.G.J. (Pieter), Electronic data interchange within Philips Semiconductors, 16 april 1992, Somers
Hannet, dhr. C.P. (Carl), Data management voor gemeenschappelijke data bases, 16 april 1992, Pels (BDK)
van Helmond, dhr. R.A.W., The rounding of edges in wire frame objects, 16 april 1992, van Overveld
Heutmekers, dhr. L.J.G., An execution-graph analyzer for DEAL, the application language of DEDOS, 31 augustus 1992, Hammer
van der Heijden, dhr. J.H.M., Fog, something to take in account, 25 juni 1992, van Overveld
Heijnen, dhr. E.W. (Eugene), Area minimization in multiplexed processing units by retiming, 31 augustus 1992, Aarts
van Hoesel, dhr. S.H.M.A., A heuristic global schedular for DEDOS, 31 augustus 1992, Hammer
van Horssen, dhr. J.J., Explicit Substitution in two versions of Typed Lambda Calculus, 16 april 1992, Nederpelt (met lof)
Kapteijns, dhr. J.A.J. (Jos), ExSpect, de configuraite van de userinterface, 25 juni 1992, Somers
Kersic, dhr. R.J.P., Philosophy, design and implementation of datatypes used in the GDP animator, 25 juni 1992, van Overveld
Keuning, dhr. C.W.M., De verbetering van de gebruikersvriendelijkheid van een centraal geautomatiseerd informatiesysteem bij Philips Corporate Purchasing, 16 april 1992, de Bra
Kikkers, dhr. H. (Hilbrand), Object-georiënteerde database systemen en multimedia: ONTOS als object-georiënteerd database management systeem, 25 juni 1992, De Bra
Koopmans, dhr. C.A. (Carlo), Exchangeability of CIM components, 25 juni 1992, Wortmann (BDK)
van der Laan, dhr. T.A. (Tjeerd), Implementation model of a generic MMS interface, 25 juni 1992, Hammer
Lammers, dhr. A.J.M., Clock synchronization for DEDOS, 20 februari 1992, Hammer
Langenberg, dhr. J.C.F.M., Designing Processes using Invariants, 25 juni 1992, Rem
van der Linden, dhr. P.A.W.L. (Peter), The rounding of edges in wire frame objects, 16 april 1992, van Overveld
Luykx, dhr. D.P.M. (Dirkjan), Object-oriented support for multi-PDL printers, 16 april 1992, Hammer
Maasakker, mw. M.A. (Marion), De ontwikkeling van een tekstverwerker, 25 juni 1992, Kaldewaij
de Man, dhr. A.J.J., Formal specification languages ASL, ISL and TSL: A means for communication software specification, 25 juni 1992, Hammer
Mennen, dhr. A.J.L., Alternatievenstudie naar een personeelsinformatie en registratie systeem, 16 april 1992, De Bra
Mertens, dhr. E.M.A. (Erik), Specificatie van implementatie van de uitvoer van een verpleeghuisinformatiesysteem, 16 april 1992, De Bra
van de Mond, dhr. G.J.M., Investigation for an Application Communication Environment, 20 februari 1992, Bemelmans (BDK)
van Nieuwenhoven, dhr. M.S.E., WALT: An interactive computer animation system, 20 februari 1992, van Overveld
Ooms, dhr. M.J.S., Philosophy, design and implementation of datatypes used in the GDP animator, 25 juni 1992, van Overveld
Peelen, dhr. W.P.V., The possibilities of a Multilingual Numerical Control from a Software Technical Point of View, 16 april 1992, Somers
Peeters, dhr. M.J., Universele data-opslag & selectie, 31 augustus 1992, De Bra
Peeters, dhr. R.H.M.T, Oorsprong van de Typentheorie, 31 augustus 1992, Nederpelt
Perquin, dhr. R.A. (Reinier), The Looks Symbol Table Manager, 20 februari 1992, van Overveld
van Riel, dhr. P.M.M.F., Constructing Functional User Interface Components, 31 augustus 1992, Van Overveld
van Run, dhr. P.A.R. (Paul), Accell/IQ, invoering van een eindgebruikerstool binnen Hoogovens Buizen, 25 juni 1992, de Bra
Savelkoul, dhr. L.J. (Leon), Specification and generation of black-box software tests, 25 juni 1992, Hammer
Schats, dhr. P.R., A parallel algorithm for alpha-beta pruning, 25 juni 1992, Rem
Senden, dhr. H.E.A. (Hans), Een grafisch interface voor het functionele datamodel: Definitiestudie, 25 juni 1992, De Bra
Slakhorst, dhr. P.T. (Peter), Ontwerp en implementatie van een informatiesysteem voor een medisch microbiologisch laboratorium, 16 april 1992, De Bra
Smits, dhr. K.C.M., Fuzzy logic control of a flexible mechanism, 16 april 1992, Hammer
Sonnenschein, mw. D.P.L.M. (Diana), Ontwerp en ontwikkeling van software voor gegevensverwerking, ten behoeve van elementenanalyse in biologische preperaten, 25 juni 1992, Hammer
Verhoeven, dhr. M. (Menno), Tree circuits and redundant binary representations: Tools for implementing constant response time arithmetic circuits, 31 augustus 1992, Rem (met lof)
Vermeulen, dhr. G.A., Reliable multicast for soft real-time processes in DEDOS, 16 april 1992, Hammer
Vortman, dhr. K.H. (Kees), A timing analyzer for DEDOS, 31 augustus 1992, Hammer
de Vries, dhr. J.J. (Jan), Computer animation based on chaincodes and discrete bilinear blending, 25 juni 1992, van Overveld
de Waal, dhr. R.R.A.M. (Renze), An experimental enviroment for a continuous version of the Prisoner's Dilemma, 31 augustus 1992, Rem
Werrelman, mw. S.A.M. (Sonja), Automatic Connection between a Design Data-base and a Storage-control Data-base, 20 februari 1992, Hammer
van de Wiel, dhr. H.W.J. (Rik), An operational semantics for the DI-algebra, 31 augustus 1992, Rem

1991

Najaar (12) (cum:345)

Campman, dhr. A.F., Kennissystemen in een administratieve omgeving, 24 oktober 1991, Somers
Enning, dhr. C.J.W.A. (John), StarNet; een geautomatiseerd systeem ter ondersteuning van verkeersbeheersing, 19 december 1991, De Bra
van Esch, dhr. W.M.F., Een ontwerp van een parallelle asynchrone microprocessor, 24 oktober 1991, Rem
Geelen, dhr. R.H.E., Differencelists: een efficiënte lijst-implementatie voor Prolog, 19 december 1991, Kaldewaij
van den Heuvel, dhr. A.A.P., IAT: een tool voor het analyseren van Interval Timed Petri Nets, 24 oktober 1991, Somers
de Heij, dhr. J.C.J. (Jos), Gegevensmodellen in pakketten voor produktiebesturing en voorraadbeheersing, 24 oktober 1991, De Bra
Pouwels, dhr. E.P.L., FORmal Specification of Embedded Systems in ExSpect, 24 oktober 1991, Hammer
Schiefer, dhr. R. (René), Een logische kijk op de mTMS database, 19 december 1991, De Bra (met lof)
Thijssen, dhr. P.T.A., Specification of DEDOS concurrency control with ExSpect, 19 december 1991, Somers
Verhoeven, dhr. M.G.A., Parallel local search and the traveling salesman problem, 19 december 1991, Aarts (met lof)
Veugen, dhr. P.J.M. (Thijs), Some mathematical and computational aspects of electronic cash, 19 december 1991, Kaldewaij (met lof)
Wisse, mw. K.I., Realisatie van een gateway tussen ExSpect en standaard spreadsheetpakketten t.b.v. analyse van simulatiedata, 24 oktober 1991, Somers

Voorjaar (47) (cum:333)

Begemann, dhr. E.P. (Edwin), De performance van het relationele database management systeem SYBASE, 30 augustus 1991, De Bra
van Belkum, dhr. R., The Symbol Table Manger for the Generalized Display Processor, 30 augustus 1991, van Overveld
Böckting, dhr. T.J.F.A., Een transformatie van IFO naar FDM, 30 augustus 1991, De Bra
Boons, mw. K., De practische realisatie van een Corporate Database. Top-down en Bottum-up, 27 juni 1991, van Hee
Bos, dhr. E.T. (Eugene), De ontwikkeling van een paramedisch informatiesysteem, 25 april 1991, De Bra
Boumans, dhr. P.P.W., A DSS for production and distribution planning based on database management and linear programming, 21 februari 1991, van Hee
van den Brink, dhr. J.B.M., Generieke Componenten in ExSpect, 30 augustus 1991, Somers
van den Broek, mw. E.M.M.A. (Eugenie), Een datamodelleringsfaciliteit voor ExSpect, 30 augustus 1991, Somers
Brouwer, dhr. T.J., Implementation, testing and transfer of an integrated data base system for the CIRG, Philips C.E., 25 april 1991, Paredaens
Caris, dhr. J.L.M., Een grafische interface voor ESIS, 27 juni 1991, van Hee
Ceelen, dhr. C.C. (Martijn), Benaderingsalgoritmen en een DSS voor het gecapaciteerde Chinese postcodeprobleem, 30 augustus 1991, Lenstra
Deckers, dhr. R.T.C. (Robert), Een vergelijking tussen LOTOS en ExSpect vanuit een software engineering oogpunt, 21 februari 1991, van Hee
Diesveld, dhr. H.P.J. (Harald), Selecting and using methods, 30 augustus 1991, Hammer
Dohmen, dhr. M.H.P.J., Bewaking van geometrische constrains op topografische objecten, 25 april 1991, van Overveld
van Dijk, dhr. M.E. (Marten), Graph algorithms, 30 augustus 1991, Kaldewaij (met lof)
van Ee, dhr. J. (Jan), Casting shadows with object space accuracy by means of a modified Z-buffer, 30 augustus 1991, van Overveld (met lof)
Engel, mw. A.J.P.M. (Angelic), Concurrency control and recovery of global objects for DEDOS, 21 februari 1991, Hammer
van Gompel, dhr. B.P.H.C., The development of a Hoare-style proof system for systolic computations, 30 augustus 1991, Rem
Grams, dhr. H. (Helmut), Informatie-analyse bij bureau 'Bodem en Afval' van Directie Milieu en Waterstaat Provincie Zeeland, 30 augustus 1991, De Bra
Hoogendijk, dhr. P.F. (Paul), A hierarchy of relational type constructors, 27 juni 1991, Backhouse
Hoppenbrouwers, dhr. J.J.E.M. (Jurgen), A general scheduling problem and the simulation of a DSS generator, 30 augustus 1991, Aarts
van de Hurk, dhr. P.A.J.M., Het ontwerpen van geamortiseerd efficiënte datastructuren, 21 februari 1991, Kaldewaij (met lof)
Kaas, mw. A.C.A., The evaluation of two user interface development tools and a proposal for a new user interface for a telecommunication management system, 30 augustus 1991, Hammer
van der Kammen, dhr. M., The logic of objects (objects oriented programming in a logical perspective), 21 februari 1991, de Swart (KUB) (met lof)
Ketelaars, dhr. M.W.A.M. (Maarten), Het ontwerp van een diagnose-expert-systeem voor het gewas Iris, 30 augustus 1991, Somers
Leermakers, dhr. P.F.M., Het ontwerp van een data dictionary, 25 april 1991, De Bra
Linssen, dhr. R.J.C. (Roger), De automatisering van een operatiekamer, 30 augustus 1991, De Bra
Lintjens, dhr. R.T.J., Een objectgeoriënteerde benadering van algemene roosterproblemen, 27 juni 1991,van Hee
Logt, dhr. W.F.F., Het ontwerpen en implementeren van een concept van groepsgewijs gebruik van onderhoudsprocedures binnen Pluriform, 30 augustus 1991, van Hee
Manders, dhr. J.P.A.M., On parallel implementation of functional programs, 27 juni 1991, Hoogerwoord
van Meel, dhr. D.A., Connected components in parallel, 27 juni 1991, Rem
Melisse, dhr. A.A.J., Mapping graphs onto a reconfigurable transputer networks, 21 februari 1991, Rem
Mombarg, dhr. V.A.P. (Vincent), The DEDOS hard real-time on-line schedular, 30 augustus 1991, Hammer
Paland, dhr. H.A.A., A preprocessor for DEDOS, 30 augustus 1991, Hammer
Peek, dhr. M.J.A. (Marcel), Multiplexing of datapaths: Algorithms and implementations, 30 augustus 1991, Aarts
Prasetya, dhr. I.S.W.B. (Ignatius), Solving the design equation in the failures model, 30 augustus 1991, Rem (met lof)
Schot, dhr. H.A., Uitbreiding van ExSpect met een debugger, 30 augustus 1991, Somers
Schumacher, dhr. H.M.J. (Henry), Analysis of a logic of authentication, 27 juni 1991, Hammer
Slenter, dhr. F.G. (Frank), PASN language and tool: a means for protocol message specification, 30 augustus 1991, Hammer
Sneepers, dhr. O., Implementatie in PROGRESS van een informatiesysteem voor de verpleeghuisadministraties binnen de Stichting Ziekenzorg Westelijke Mijnstreek, 25 april 1991, de Bra
van Strien, dhr. W.J.M., Introduction of Software Configuration Management at Schlumberger Technologies Retail Petroleum Systems Division, 25 april 1991, De Bra
Suijs, dhr. E.A.L.F. (Eric), Een convertor voor EDI-berichten op basis van data-modellering, 25 april 1991, van Hee
Timmermans, dhr. P.M.A. (Patrick), Ontwerp en implementatie van een prototype informatiesysteem voor de verwerking van medisch administratieve gegevens op het Laboratorium voor de Volksgezondheid in Friesland, 30 augustus 1991, De Bra
Uittenboogaard, dhr. D., An electronic data management system within OCÉ (met Voeten), 27 juni 1991, Hammer
Voeten, dhr. J.P.M. (Jeroen), An electronic data management system within OCÉ (met Uittenboogaard), 27 juni 1991, Hammer
van de Vijver, dhr. Y.A.J.R. (Yves), The implementation in PROLOG of an off-line schedular for hard real-time systems, 25 april 1991, Hammer
Wolters, dhr. P.L., Parallel algorithms implementing neural networks, 30 augustus 1991, Rem

1990

Najaar (21) (cum:286)

Andree, dhr. H.M.A., (Data) refinement calculus met stack voorbeelden, 25 oktober 1990, Kaldewaij
van Bergen, dhr. E.L.G.A. (Erik), Een grafisch interface voor ExSpect en andere specificatie-tools, 20 december 1990, van Hee
Damen, dhr. A.J.W., Een datamodel voor IRIS, 20 december 1990, van Hee
Derksen, dhr. E.R.A.I. (Erwin), Communication in the Dedos System, 20 december 1990, Hammer
Douwes, dhr. J.R., Evaluatie PCTE door configuration management data-analyse en implementatie, 25 oktober 1990, van Hee
Elbrink, dhr. R.J., Integration of an existing tool for completion of abstract data types into the LOTOS toolenvironment lite, 20 december 1990, Nederpelt
van Gerwen, dhr. M.J.A.M., Parallel branch and bound algorithms and an implementation of the traveling salesman problem, 20 december 1990, Rem
van Helvoort, dhr. M.H.P. (Maarten), A Knowledge-based PBX hardware configuror, 25 oktober 1990, Hammer
Jonkers, dhr. M.W.J., Aspecten van het gebruik van een reason maintenance system bij een planningsysteem voor produktiebesturing (met Knops), 20 december 1990, Rem
Knops, dhr. H.W.M., Aspecten van het gebruik van een reason maintenance system bij een planningsysteem voor produktiebesturing (met Jonkers, 20 december 1990, Rem
Lim, dhr. H.T. (Han Toan), The Implementation of the GOOD Operations, 25 oktober 1990, Paredaens
Nauta, dhr. R.J. (Rob), Een uitbreiding van het ExSpect simulatiesysteem, 20 december 1990, van Hee
Nelis, dhr. A.D., Lineaire recursie, staartrecursie, en continuations, 25 oktober 1990, Kaldewaij
Pennings, dhr. M.C. (Maarten), The formal derivation of an editor, 25 oktober 1990, Kaldewaij
Raap, dhr. A., Specification and deriviation of digital circuits using higher-order logic, 25 oktober 1990, Koomen (E)
Schurgers, mw. M.M.J.H. (Monique), Ontwerp en implementatie van een on-line informatiesysteem voor documentatie, 25 oktober 1990, De Bra
Shmuely, dhr. G., Specification, design and prototype-implementation of an integrated database system for The CIRG of Philips-C.E., 25 oktober 1990, Paredaens
Steins, dhr. F.G.M., Een Electronische Postbus: een interface tussen een communicatiesysteem en een informatiesysteem, 20 december 1990, van Hee
Surtel, dhr. A.J.M. (Guus), De logistieke uitdagingen bij De Hoop Tilburg, 20 december 1990, Wortmann (BDK)
Vinken, dhr. S.C.H.B.M., Een expertsysteem voor planning in de bouw, 20 december 1990, van Hee
Wolbers, dhr. R., Design and implementation of raste algorithms on a distributed framebuffer, 25 oktober 1990, Rem

Voorjaar (53) (cum:265)

Adriaans, dhr. R.E.H. (Richard), Ontwerp van de database 'Vergunningen & Handhaving' voor de Provinciale Waterstaat Zeeland, 31 augustus 1990, De Bra
Balvers, dhr. M.A.H., Systeemspecificatie van DIABOL, 26 april 1990, van Hee
van Beek, mw. H.J.R.A.J., e.v. van Vroonhoven, The data handling component of the decision support system Formasy, 31 augustus 1990, Wessels
Bekkers, dhr. T.H.M., Implementatie van een informatiesysteem voor een medisch microbiologisch laboratorium, 31 augustus 1990, van Hee
de Brouwer, dhr. M.M., Flexibility, Abstract Types and Reasoning in ExSpect, 26 april 1990, van Hee (met lof)
Brouwers, dhr. W.J.H., SDL Based test facility for telecommunication protocols, 28 juni 1990, Hammer
van der Burgt, mw. G.M.A.A., An analysis of Tomita's parsing algorithm, 31 augustus 1990, Kruseman Aretz
Dams, dhr. D.R. (Dennis), Abstract Interpretation of Concurrent Logic Programs for the Analysis of Variable Sharing, 31 augustus 1990, Nederpelt (met lof)
van Eekelen, dhr. J.G., Netwerk accounting, 26 april 1990, Wortmann (BDK)
Elshout, dhr. M.T.A.M., Datamodellering als onderdeel voor Electronic Data Interchange (EDI) (met Kersten), 31 augustus 1990, van Hee
van Engelen, dhr. H.J.M., Onderzoek naar een logica voor programmeertaal-constructies gebaseerd op getypeerde l-calculus, 26 april 1990, Hemerik
Erens, dhr. F.J. (Freek), Het ontwerp van een : produktstructuur, coderingswijze, documentatiesysteem en configuratiesysteem voor Philips Medical Systems, 28 juni 1990, Wortmann (BDK)
van Ginderen, dhr. B. (Bart), An object-oriented hypertext system for computer-aided learning, 31 augustus 1990, De Bra
Haesen, dhr. H.C., Associativiteit van Interface Compositie, 26 april 1990, van Hee (met lof)
Hamilton, dhr. M.A.M., Specification of a generic MMS interface, 31 augustus 1990, Hammer
van Helvoort, dhr. M.J.M. (Mark), Code generation with attributed tree grammars, 31 januari 1990, Hemerik
Heuijerjans, dhr. A.W. (Andreas), Distributed font caching, 31 augustus 1990, Hammer
Hulsman, dhr. M.J.C.P., Implementation and Use of Object-Oriented Databases, 26 april 1990, De Bra
Jacobs, dhr. P.H.J., Zittingplanning in COMPAS deelsysteem III: een conceptueel datamodel, 26 april 1990, van Hee
Jansen, dhr. A.R.H.W. (Alex), Een aanpak van resource-constrained project scheduling problemen, 31 augustus 1990, van Hee (met lof)
Jansen, dhr. E.F.J. (Edwin), An approach to scheduling in distributed hard-real-time systems, 26 april 1990, Hammer
Janssen, dhr. W.P.M. (Wil), Partial order semantics with an application to databases, 26 april 1990, Nederpelt (met lof)
Kaptein, dhr. I.J., Parallel Algorithms for Halftoning with Error Diffusion, 28 juni 1990, Rem
Kersten, dhr. L.J., Datamodellering als onderdeel voor Electronic Data Interchange (EDI) (met Elshout), 31 augustus 1990, van Hee
Klaassen, dhr. R.J.L.W. (Raymond), Realisatie van besturingen met de Proces-Interactie Omgeving gekoppeld aan een Bitbusnetwerk, 26 april 1990, Rem
Knoors, dhr. F.M.J., The design of a general model of high-volume copier control systems, 26 april 1990, Hammer (met lof)
Koole, dhr. I.P.L., X.400 A Promising infrastructure for Electronic Data Interchange, 26 april 1990, Bemelmans (BDK)
Koster, dhr. J. (Jacko), Een methode voor het oplossen van besturingsproblemen in tracetheorie, 31 augustus 1990, Rem
van der Leije, dhr. P. (Paul), Een programmeerstrategie voor Prolog, 26 april 1990, Kaldewaij
van der Maas, dhr. C.A., Chain coding en Bézier curven, 31 augustus 1990, van Overveld
Marinissen, dhr. E.J. (Erik Jan), Automated test control block generation and minimization, 15 februari 1990, Rem
Martens, dhr. R.J.A., Evaluatie en modificatie van een workbench voor informatieplanning, 28 juni 1990, van Hee
Melis, dhr. G.P., Ontwerp van een datamodel voor de Wet Mulder, 26 april 1990, van Hee
Miesen, dhr. M.J.H., Efficient storage and retrieval of graphical data using a relational database, 31 augustus 1990, de Bra
Naus, dhr. W.M., A parallel implementation of a genetic placement algorithm, 26 april 1990, Rem/Aarts
van den Nieuwenhof, dhr. M.M.A., Het modelleren van berichten en trajekten in een informatiesysteem, 26 april 1990, van Hee
Nuijten, dhr. W.P.M. (Wim), Genetische algoritmen en job shop scheduling, 15 februari 1990, van Hee (met lof)
Nijhuis, dhr. B.M., Een expertsysteem voor Customer Site Services, IBM Nederland N.V., 31 augustus 1990, De Bra
Peeters, dhr. E.A.J., Algebraïsche beschrijving en implementatie van een circuit-compiler, 31 augustus 1990, Hemerik
Poll, dhr. E. (Erik), Een afleiding van acceptor algoritmen voor contextvrije talen, 26 april 1990, Hemerik (met lof)
Reijnders, dhr. A.J.J., Modular Call Processing in SDL, 28 februari 1990, Hammer
Robben, dhr. A.M.C., De specificatie en implementatie van een Logistic Management System in ExSpect, 31 augustus 1990, van Hee
Rooijakkers, dhr. J.M.F.H., Interpretatie van PostScript Images & Rotatie van Halftone Cellen, 31 augustus 1990, van Overveld
Smedes, dhr. A., Implementatie in SPEED II van een informatiesysteem voor een bouwkundige/technische dienst, 26 april 1990, van Hee
Smits, dhr. J.P.M., Een alternatievenstudie voor een radiologie informatiesysteem binnen de Stichting Ziekenzorg Westelijke Mijnstreek, 31 augustus 1990, van Hee
van der Steen, dhr. V.H.L.J., Het ontwerp van een verpleeghuismodule binnen het informatiesysteem van de Stichting Ziekenzorg Westelijke Mijnstreek, 31 augustus 1990, van Hee
Vashen, dhr. M.W.G., Communicatie analyse methode voor de gezondheidszorg, 31 augustus 1990, van Hee
Vermazeren, dhr. R.C.J.G., The 3-dimensional positioning of a dummy on behalf of simulating the dynamical behavior of crash-victims, 28 juni 1990, van Overveld
Vermeijlen, dhr. J.H.A.A., Een calculationele benadering van een evaluator voor functionele programmeertalen, 28 juni 1990, Rem
de Vet, dhr. A.C.F.M. (Arjan), Generalization and Classification of Type Inference Algorithms, 26 april 1990, Hemerik (met lof)
Vogels, dhr. C.M., Het ontwerpen van een informatiesysteem voor het schapenfokkerij-onderzoek, 26 april 1990, van Hee
van Vroenhoven, dhr. T.P.J., Ontwerp en implementatie van een databank voor glasproducten, 15 februari 1990, van Hee
de Wit, dhr. R.C.M., De bouw van een systeem voor Probleem Management, 28 juni 1990, van Hee

1989

Najaar (14) (cum:212)

Adam, mw. A.G.J. (Anja), Prototyping en vergelijkingen van twee databasepakketten, 20 december 1989, Remmen
Boden, dhr. H.J.P.M. (Eric), O.T.E.S. the Oracle testing expert system, 20 december 1989, Remmen
Cau, dhr. A.G., Stark's Rely/Guarantee formalisme intuitief verklaard, verfijnd en toegepast op [EWD703], 26 oktober 1989, de Roever
van Heeswijk, dhr. A.A.A., Een syntax - gedreven editor met behulp van walking menus, 20 december 1989, Hammer
Janssen, dhr. J.J. (Jack), Afleiding en representatie van enige attribuut evaluatie algoritmen, 20 december 1989, Kruseman Aretz
Leijten, dhr. P.W.G., Herontwerp en implementatie van een Decision Support System voor capaciteitstoekenning in een Job Shop, 26 oktober 1989, van Hee
Regtien, dhr. F.R.M., Een representatie van hiërarchische puntverzamelingen door middel van abstracte datatypen, 20 december 1989, Hammer
van Rooy, dhr. H.E.J.M. (Eric), Optimalisatie van EXSPECT-objectfiles, 24 november 1989, van Hee
Sarbach, dhr. R.J.C., Ontwerp van een informatie-(sub)systeem t.b.v. bewerkingen bij handelsonderneming, 26 oktober 1989, van Hee
Schreurs, dhr. R.A.H., Ontwerp en implementatie van een databasesysteem voor een Expertise Centrum t.b.v. de SPIN-OV regeling, 26 oktober 1989, Remmen
Schuwer, dhr. R.V. (Robert), Kennissystemen, 26 oktober 1989, Bemelmans (BDK)
Verkoulen, dhr. P.A.C. (Peter), Extensions and Enrichment of ExSpect, 20 december 1989, van Hee (met lof)
de Visser, dhr. P.J., A Hierarchy of General Parser Algorithms, 26 oktober 1989, Hemerik (met lof)
Walbeehm, dhr. B.J., Het afleiden van funktionele programma's voor een klasse van segmentprobleem, 26 oktober 1989, Rem

Voorjaar (58) (cum:198)

Alofs, dhr. L.H.A. (Ron), Simulatieprogramma voor productie-voorraad-systemen, 26 januari 1989, van Hee
van Breugel, dhr. F.C. (Franck), Testing compilers using grammars, 31 augustus 1989, Rem
Bruekers, mw. A.C.T., Imlementatie van queries met behulp van de geneste relationele algebra, 31 augustus 1989, Paredaens
Bruns, dhr. B.A.W.M., Het begroten van automatiseringsprojecten, 26 januari 1989, Bemelmans (BDK)
Coesmans, dhr. P.A.M.A., The Oracle Testing Expert System, 11 mei 1989, Remmen
van Diepen, dhr. J.M., Een simulatieprogramma voor een eenvoudig productievoorraad - systeem, 27 juni 1989, van Hee
van Diepen, dhr. M.J. (Math), Drie formele specificatiemethoden in vergelijking, t.w. Z, VDM en DES/EXSPECT, 11 mei 1989, van Hee
Diepstraten, dhr. E.C.M., Specifying observable behavior using temporal logic and auxiliary variables, 27 juni 1989, de Roever (met lof)
Hendrickx, dhr. M.A.J.P., Een algemeen informatiemodel voor de medisch specialist, 11 mei 1989, Remmen
Heutinck, dhr. R.A.J. (Ronald), Priority-queues, 27 juni 1989, Kaldewaij
van der Heijden, dhr. P.J., The computation of the delay insensitive enclosure without transmission interference hazard, 31 augustus 1989, Rem
Heijman, dhr. R.J.J., Het opzetten van een informatiesysteem ten behoeve van een proefboerderij, 31 augustus 1989, van Hee
van Hinsberg, dhr. M., Ontwerp en implementatie van een Toolbox voor het uitvoeren van database-applicaties binnen de FLEX gebruikersinterface, 31 augustus 1989, Remmen
van Hoesel, dhr. L.A.C.A., Implementatie van een Decision Support System voor capaciteitstoekenning in een Jobshop, 27 juni 1989, van Hee
van Hoof, dhr. C.A., Ontwerp van het geluidsaspect van een milieudatabase, 11 mei 1989, Remmen
van den Hoogen, dhr. R.T.A., Omzetting van functionele database representatie naar relationele database representatie, 27 juni 1989, van Hee
Horsten, dhr. A.P.C., Uitbouw en evaluatie van een informatiesysteem voor een klinisch chemisch laboratorium, 27 juni 1989, Remmen
van Kemenade, dhr. J.M.F.M., Parallel Dynamic Programming On A Fixed Processor Network, 27 juni 1989, Rem
Ketelaar, dhr. A.H., Een methode voor het bepalen van de typeerbare expressies in het SPICOS systeem, 27 juni 1989, Hemerik
Jennekens, dhr. J.F.M.J., Ontwerp en implementatie van een prototype informatiesysteem voor een streeklaboratorium, 31 augustus 1989, Remmen
Kleijkers, dhr. G.W., Communication strategies for neighbourhood opeations in a mesh-connected network of processes, 26 januari 1989, Rem
Kloosterhuis, dhr. J.M., Ontwerp en implementatie van een geparametriseerde query optimizer, 26 januari 1989, Remmen
Kuunders, dhr. M.M.L., Onderzoek naar een Topografische Gegevensstructuur, 23 maart 1989, Hammer
van Laarhoven, dhr. M.J.W., Specification and design of a software bus for a distributed system, 27 juni 1989, Hammer
Leenders, dhr. J.A., Formele specificatie van netwerkprotocollen in exspect en de implementatie daarvan in Occam, 11 mei 1989, van Hee (met lof)
de Leeuw, dhr. C.W., Benchmarks for DOOM, 27 juni 1989, Kruseman Aretz
Levasier, mw. M.W., BESIS: Ontwerp en implementatie van een database systeem voor informatieplanning (met Nooijen), 31 augustus 1989, van Hee
Lubbers, dhr. C.M.T. (Clen), Ontwerp en implementatie van een userinterface: modificatie en weergave van een gepland schedule m.b.v. een planbord, 11 mei 1989, van Hee
Luijten, dhr. J.G.M., Het ontwerp van een informatiesysteem voor een technische/bouwkundige dienst binnen een ziekenhuis, 31 augustus 1989, Remmen
van der Meeren, dhr. F.J.W., Het ontwerp van de implementatie van een scanner/parser en een database, 31 augustus 1989, van Hee
Nooijen, mw. A.M.L., BESIS: Ontwerp en implementatie van een databases systeem voor informatieplanning (met Levasier), 31 augustus 1989, van Hee
Olislaegers, mw. P.J.W., Functionele en sequentiële programma's voor operaties op flexible arrays, 27 juni 1989, Rem
van Oijen, dhr. E.C., Configuration Management for Cold-K, 31 augustus 1989, Remmen
Paulissen, dhr. G.J.L.M., Verschillende ontwerpmethoden voor de besturing van een lift, 23 maart 1989,Rem
Peeks, dhr. H.H., Een informatiesysteem voor de medisch specialist uitgaande van het zorgproces, 31 augustus 1989, Remmen
van der Peijl, dhr. M.J., Ontwerp en implementatie van een monitor- en accountingsysteem voor de FLEX gebruikersinterface, 31 augustus 1989, Remmen
Peters, dhr. L.J. (Laurens), Praktische werkwijzen voor een data-administratie binnen DAF - CMO, 31 augustus 1989, van Hee
Pieter, dhr. J.M.F., Mathematische Kwaliteitsfuncties voor Grafische Algoritmen, 26 januari 1989, Hammer
van der Ploeg, dhr. S.G.J., Een objectgeoriënteerd informatiesysteem t.b.v. het ontwikkelen van bovengrondse hoogspanningslijnen, 27 juni 1989, Remmen
Potters, mw. E.M. (Liesbeth), Datamodellering, 31 augustus 1989, van Hee
Rooijakkers, dhr. L.W.J., Clustering een techniek voor het ontwikkelen van grofkorrelig parallelle componenten, 27 juni 1989, Rem (met lof)
Schekkerman, dhr. M.P., Investigation of the technical feasibility of a partly generic natural language interface (NLI) to a relational dbms, 26 januari 1989, Remmen
Schoenmakers, dhr. F.J., Developing a distributed calendar system: Towards a compositional version of L. Lamport's transition axiom method, 27 juni 1989, de Roever (met lof)
Sips, dhr. J.W., Ontwerpen en specificeren met STATEMATE, 11 mei 1989, Hammer
van der Smagt, dhr. T.A.J. (Steven), Het bepalen van konstante responstijd aan de hand van een ordening op gebeurtenissen, 11 mei 1989, Rem
Stoffels, dhr. S.H.C.M. (Stefan), On the design of real-time systems, 27 juni 1989, Hammer
Teunissen, dhr. R.A.P., The computation of the delay insensitive enclosure without transmission interference hazard, 31 augustus 1989, Rem
Thijssen, dhr. L.T.G.M., Een grafische user-interface voor het Database Management Systeem ELDORADO, 27 juni 1989, van Hee
Timmermans, dhr. P.J.M. (Patrick), Projectmanagement en kwaliteitsbeheersing bij de ontwikkeling van kennissystemen, 23 maart 1989, Bemelmans (BDK)
Vankan, dhr. A.H., Een provinciaal informatie- en gegevensmodel, 23 maart 1989, van Hee
Verbeek, dhr. H.M.W. (Eric), Gebruikersinterface voor de EXSPECT-interpreter, 11 mei 1989, van Hee
van Vonderen, dhr. L.A.H., Pluriform: gegevensstruktuur en trajekten, 27 juni 1989, van Hee
Vriezekolk, dhr. E. (Eelco), Een onderzoek naar de toepasbaarheid van expertsysteem technieken bij de konfiguratie van embedded systems, 11 mei 1989, Hammer
Waardenburg, dhr. M.T. (Martin), Composition and classification of components, 23 maart 1989, Rem
Wiggers, dhr. E.T.M., Het ontwerpen van een systeem voor problem management, 31 augustus 1989, Remmen
Willems, dhr. J.L.M., Onderzoek naar het rekenbeslag van drie renderingsalgoritmen, 26 januari 1989, Hammer
Wijnants, dhr. M.H., Het ontwerp van een logisch model voor het functiegebied 'personeel' binnen CVI, 26 januari 1989, Remmen
Zoontjens, dhr. F.B.A. (Frank), Compositional Semantics for Uniprocessor Implementations, 31 augustus 1989, de Roever

1988

Najaar (17) (cum:140)

van der Aalst, dhr. W.M.P. (Wil), Specificatie en simulatie met behulp van exspect, 22 september 1988, van Hee
Aerts, dhr. C.M.M., Software Testing: An approach to improve quality and development of software, 3 november 1988, Bemelmans (BDK)
van den Broek, mw. G.M.C.M., Requirement specifications for Knowledge-based systems, 22 september 1988, Bemelmans (BDK)
Elbers, dhr. T.F., Ontwerp van een informatiesysteem voor een medisch microbiologisch laboratorium, 8 december 1988, Remmen
Geurts, dhr. J.H.J., Development and Implementation of a System Test Generator, 22 september 1988, Hammer
van Gisbergen, dhr. A.J.M., A RIDL-M-Transducer, 22 september 1988, Remmen
Gorissen, dhr. L.M.P. (Luc), Lerende systemen, 3 november 1988, van Hee
Hesen, dhr. M.W.H., Simulated annealing en fileallocatie & Programmageneratie voor simulated annealing problemen, 8 december 1988, van Hee (met lof)
Karthaus, dhr. V.L.J., Specificatie van transacties op de CELEX-database, 22 september 1988, Remmen
van Kessel, dhr. H.G.P.J., A RIDL-M-Transducer, 22 september 1988, Remmen
Koenders, dhr. H.A.M. (Henricus), Registratie van een productbeschrijving, 22 september 1988, Bemelmans (BDK)
Peeters, dhr. A.M.G. (Ad), Uitbreiding van het procesbegrip in trace theorie, 22 september 1988, Rem (met lof)
Peeters, dhr. R.P., Gebruikersinterface voor exspect, 22 september 1988, van Hee
Sormani, dhr. B.M., Specificatie van een Satelliet Standregel Simulatie programma met behulp van EXSPECT, 3 november 1988, van Hee
Stouten, dhr. G.G., TREES: grafische querytaal en grafische interface voor geneste relationele databases, 8 december 1988, Paredaens
van de Ven, dhr. W.F.M., Investigation of Software Porting, 8 december 1988, Hammer
van Vianen, dhr. H.E., Traces: Two approaches, 8 december 1988, Rem

Voorjaar (49) (cum:123)

Bieling, dhr. R. (Rob), Input/output specifications of parallel processes, 19 mei 1988, Koomen (E)
Boïnck, dhr. J.G.M., Een vergelijking van efficiënte berekeningsmethoden voor de lookahead sets van een LALR(1)-parser, 31 augustus 1988, Kruseman Aretz,
Canjels, dhr. I.J.M., Trajekten: het modelleren van samenhangendehandelingen in een bedrijf, 30 juni 1988, van Hee,
Coelen, dhr. P.M. (Paul), Vergelijkingen van specificatietalen aan de hand van een model van een gedistribueerd database systeem, 30 juni 1988, van Hee
Coenen, dhr. J.A.A. (Jos), Polynomiale reducties: Beschrijvingen en toepassingen, 31 augustus 1988, de Roever
Dielissen, dhr. V.J. (Victor), Partities van blokfiguren, 31 augustus 1988, Kaldewaij
van Dortmont, dhr. M.R.M., Data - ontsluiting, 30 juni 1988, Remmen
Durlinger, dhr. P.G.W., Het opzetten van een informatiesysteem ten behoeve van 't Gen, een proefboerderij van het I.V.O. (met Pisters), 30 juni 1988, Remmen
Duijx, mw. E.W.M., Een nieuw algoritme voor het berekenen van de collectie enkelvoudige cykels van een ongerichte graaf, 28 januari 1988, Kaldewaij
Eemers, dhr. H.G.N. (Henk), A description of communicating mechanisms and their behaviour, 28 januari 1988, Rem
Geelen, dhr. J.F.M.E., Acceptor algoritmen voor reguliere talen, 28 januari 1988, Hemerik
de Hoon, dhr. M., Aspecten van een alternatie van bottum-up parsing en Earley parsing, 30 juni 1988, Kruseman Aretz
van den Hurk, dhr. P.J.H., Kentallen over DASD-groei, 28 januari 1988, van Hee
Johann, dhr. C.F.M. (Ferry), The development and implementation of a compiler for a description language, 19 mei 1988, Rem
Joosten, dhr. S.I. (Stan), Een ontwerpmethode voor user-interfaces, 30 juni 1988, van Hee
Kamps, dhr. M.C. (Michiel), De relatie tussen deadlock en projectie bij parallelle processen, 30 juni 1988, Rem
Kamsteeg, dhr. A., Integratie van logische en functionele programmeertalen, 31 augustus 1988, de Swart (KUB)
van Knippenbergh, dhr. P.L.M., Een testomgeving voor device drivers, 24 maart 1988, van Hee
Koppelaars, dhr. A.V., Uitbouw en integratie van deelsystemen van een medische database, 30 juni 1988, Remmen
Koster, dhr. G.J.P. (John), From network to artwork : automatic schematic diagram generation, 30 juni 1988, Jess (E)
van de Laar, dhr. H.F.G. (Dirk), IDMS/CV-DC en MVS/XA: De grenzen opgelegd aan een CV, 28 januari 1988, Bemelmans (BDK)
van de Laar, dhr. H.M.L.P., Formele specificaties en een implementatie van transacties in een verzekeringsmaatschappij, 19 mei 1988, Remmen
Langen, dhr. A. (Aart), A Comparison of Trace Theory Programs and Petri-nets, 28 januari 1988, Kruseman Aretz
Langenhorst, dhr. M.A., Een database voor software configuratie beheer, 31 augustus 1988, Remmen
van Linder, dhr. M.E.M., Talen beschreven door reguliere expressies met recursie; taaltheoretische eigenschappen en acceptoren, 30 juni 1988, Hemerik
van Lith, dhr. M.R.J., Functioneel ontwerp en LINC 11 prototype van een Informatie Systeem voor een multifunctioneel havenbedrijf, 31 augustus 1988, van Hee
Maitimo, dhr. P.R., Vergelijking van de R2 algebra met de NF2 algebra, 28 januari 1988, Paredaens
van Maren, dhr. H.A.A., Communication in a Distributed Environment, 30 juni 1988, Rem
van de Meerakker, dhr. H.J.A., Een parsing algoritme voor boomgrammatica's, 19 mei 1988, Hemerik
Mehlkop, dhr. J.W.T., A data machine for ISO-SOL2, 30 juni 1988, Remmen
Pisters, dhr. P.H.H.M., Het opzetten van een informatiesysteem ten behoeve van 't Gen, een proefboerderij van het I.V.O. (met Durlinger), 30 juni 1988, Remmen
Rambags, dhr. P.M.P. (Paul), Equivalentie van informatiesystemen, 31 augustus 1988, van Hee
van der Schaaf, dhr. T. (Theo), Verbetering van de query performance in Oracle, 31 augustus 1988, Remmen
Schoenmakers, dhr. L.A.M. (Berry), An assessment of Silage, A stream-oriented programming language, 28 januari 1988, Rem (met lof)
Sevarts, dhr. J.H.H., Ontwerp en bouw van een informatiesysteem voor een klinisch laboratorium, 28 januari 1988, Remmen
Sprenkels, dhr. L.A., A Prolog interpreter for a des-machine, 19 mei 1988, van Hee
van der Stappen, dhr. A.F. (Frank), Distributed data structures for sparse linear algebra, 30 juni 1988, Rem
Strolenberg, dhr. C.W.H. (Chris), Regular datapath floorplanning, 31 augustus 1988, Rem
Struik, dhr. M., Some relations between operational and denotational semantics of a typed lambda calculus, 19 mei 1988, Hemerik (met lof)
Struik, dhr. P. (Pieter), Deadlock-free message routing in processor networks, 28 januari 1988, Rem (met lof)
Tielemans, dhr. J.C.M., Het ontwerp van een informatiesysteem ten behoeve van een civiele dienst binnen een ziekenhuis, 28 januari 1988, Remmen
van der Velden, dhr. H.A.A.M. (Erik), Een formele behandeling van een virtueel-geheugen-implementatie, 30 juni 1988, Rem
Verhoosel, dhr. J.P.C. (Jack), The design of a Parallel Document Retrieval System, 19 mei 1988, Rem
Voermans, dhr. T.S., Een nieuw implementatie voor functionele programmeertalen, 28 januari 1988, Rem
Waltmans, dhr. A.W. (Arno), Specificeren volgens de SMARTIE-methode, 19 mei 1988, van Hee
van Wershoven, dhr. J.M., Uitbouw van een database t.b.v. epilepsie-onderzoek, 28 januari 1988, Remmen
Willems, dhr. H.J.M., Toegang tot de CELEX database, 24 maart 1988, Remmen
de Wit, dhr. B.P. (Peter), Een systematische afleiding van een reductiemachine voor taalexperimenten, 19 mei 1988, Hemerik
Wouters, mw. C.J.M., Uitbouw van een informatiesysteem t.b.v. een klinisch chemisch laboratorium, 31 augustus 1988, Remmen

1987

Najaar (13) (cum:74)

van den Brink, dhr. J.M., Automatisering van voorraadregistratie van reserveonderdelen in Poona, India, 16 september 1987, Bemelmans (BDK)
de Bruijn, dhr. V.A. (Ton), Ontwerp van een opvraagsysteem voor verpleegeenheden en statistieken voor het laboratorium Microbiologie op het Universitair Ziekenhuis Antwerpen, 10 december 1987, Remmen
Claessen, mw. A.A.M., De winkelhaakmethode, 16 september 1987, Rem
Custers, dhr. A.F.C., De informatieplanningmethode ISS en het hulpmiddel ISMOD, 16 september 1987, Bemelmans (BDK)
van Dinther, mw. Y.M. (Yolanda), De systematische afleiding van acceptoren en ontleders van boomgrammatica's, 16 september 1987, Hemerik
Gons, dhr. T.C., A Trace Theorestic View of Protocols, 16 september 1987, Rem
Goyen, dhr. W.J.M., A heuristic explanation of Y. Shiloach's algorithm for fast canonization of circular strings, 28 oktober 1987, Feijen
Kuijpers, dhr. R.M., Twee visies op database-talen voor functionele databases, 10 december 1987, van Hee
Smagge, dhr. E.N.J., Distributed Evaluation in Pool-T of Horn clauses, 16 september 1987, Rem
Smeets, dhr. A.A.M. (Anton), Computer aided solid modelling, 16 september 1987, van Hee
van der Veeken, dhr. R.A.P.M., A method for decomposing delay-insensitive circuits, 28 oktober 1987, Rem
Verhaar, mw. I.C., Specificatie van parallelle processen, 10 december 1987, Rem (met lof)
de Wit, dhr. P.J.M. (Peter), Ontwerp en implementatie van een administratief subsysteem t.b.v. het Tracerings Informatiesysteem voor hoogspanninglijnen, 28 oktober 1987, Remmen

Voorjaar (25) (cum:61)

Baartmans, mw. M.C.M., A formal definition of a functional notation, 14 mei 1987, Kruseman Aretz
de Bueger, dhr. E.P.J., Design of an automated system for job scheduling in a job shop, 14 mei 1987, van Hee
Cuelenaere, mw. A.M.E. (Astrid), Een expert systeem voor het gebruik van PRICE SP, 14 mei 1987, Bemelmans (BDK)
van Dorsselaer, dhr. P.E.G. (Patrick), Uitbreiding van een software-pakket voor elektrische veldproblemen, 2 juli 1987, Rem
Drummen, dhr. G.J.E. (Geert), Ontwerp en implementatie van een informatiesysteem ter ondersteuning van de tracering van bovengrondse hoogspanningslijnen (met Maessen), 15 januari 1987, Remmen
Essers, dhr. R.H.A., Aspekten van informatieplanning en ontwikkeling van Informatie Systemen voor een stuwadoorsbedrijf, 14 mei 1987, van Hee
Fugers, dhr. H., Een interaktieve draagpunteditor voor B-spline oppervlakken, 15 januari 1987, Hemerik
Heise, dhr. P.J., A contribution to system interfacing in Philips Elcoma IC-factories, 14 mei 1987, Bemelmans (BDK)
Hendricks, dhr. P.J. (Peter), Het ontwerpen van informatiemodellen binnen Philips Oss, 14 mei 1987, van Hee
Huis in 't Veld, dhr. R.J., Deadlock properties expressed in terms of Trace Theory, 19 maart 1987, Rem
Janssen, dhr. J.T. (Hans), Een systeem voor gegevens-uitwisseling via een beeldscherm, 15 januari 1987, Van Hee
van den Kieboom, dhr. M.J.M., Automatisering van de administratieve ondersteuning van het onderhoudssysteem Inspectief Onderhoud, 15 januari 1987, Wortmann
van der Klooster, dhr. W.J.M. (Wim), A tranlation from "natural" language into queries into an applicative query language, 14 mei 1987, Kruseman Aretz
Loyens, dhr. L.D.J.C., An Occam machine offering full communication, 14 mei 1987, Rem
Maessen, dhr. B. (Bart), Ontwerp en implementatie van een informatiesysteem ter ondersteuning van de tracering van bovengrondse hoogspanningslijnen (met Drummen), 15 januari 1987, Remmen
Marcelis, dhr. A.J.J.M., On a systematic derivation of attribute evaluation algorithm, 2 juli 1987, Kruseman Aretz (met lof)
Matthijssen, dhr. A.C., Het ontwerp van een database t.b.v. epilepsie-onderzoek, 2 juli 1987, Remmen
van Nes, dhr. J.N., Een voorstel voor een database en een grafische component als onderdeel van een generator voor beslissingsondersteunende, proces-georiënteerde lineaire optimaliseringssystemen, 15 januari 1987, Benders
van Poppel, dhr. A.H.P.M., Translating components into finite state graphs, 14 mei 1987, Rem
Porro, dhr. S.F., The CCS TOOL: an information system for the support of CCS and IDP, 2 juli 1987, Koomen (E)
de Rechter, dhr. R.J.M. (Renny), Een grafisch georiënteerde vraagtaal voor funktionele databases, 2 juli 1987, van Hee
Rijntjes, mw. A.M., Towards formalisation of design processen, 14 mei 1987, Koomen (E)
Ummels, dhr. C.P.J. (Carlo), Ontwerp van een database t.b.v. de afdeling productie van een deurenfabriek, 15 januari 1987, Remmen
van der Weij, dhr. H.H.M., Software voor programmeerbare logische devices, 14 mei 1987, Heetman (E)
Wilmont, dhr. J.C.F. (John), Normaalvormen voor een klasse formules, 15 januari 1987, Rem

1986

Najaar (16) (cum:36)

Hagens, dhr. F.P.L. (Frans), S87 : een softwarepakket ter ondersteuning van simulaties, 6 november 1986, Rem
Heutmekers, dhr. J.M.G., Een onderzoek naar de mogelijkheden voor een niet-grafische benadering van de CADDS-database, 6 november 1986, van Hee
Heijmans, dhr. A.H.J., De ENVISAGE expert systeem generator en een applicatie in de tribologie, 11 september 1986, Remmen (met lof)
Klijnsma, dhr. S., Parsing van vraagzinnen in "natuurlijke" taal : twee methoden, 6 november 1986, Kruseman Aretz
Kuipers, dhr. J.H., Expertsystemen in een praktische toepassing, 6 november 1986, van Hee
van der Lee, dhr. P.J.H. (Peter), A mathematical view on entity-relationship models, 6 november 1986, van Hee
Linders, dhr. R.W.M., Implementatie van synchronisatieprimitiva ten behoeve van communicatie met meetapparatuur, 6 november 1986, Rem
van de Munckhof, dhr. P.J.J., Partiële correctheid van enkele systolische arrays, 11 september 1986, Rem
Nijhuis, dhr. D.W.P., Transformaties tussen verschillende relationele query-modellen, 6 november 1986, Paredaens
Nijssen, dhr. W.J.M., Implementatie-aspecten van een parallelle object-georiënteerde taal Pool-T, 6 november 1986, Kruseman Aretz
Polderdijk, dhr. R.J., On the relation of bottum-up parsing and the early parsing method, 6 november 1986, Kruseman Aretz
Robinson, dhr. R.W.J.M., Afleiden en bewijzen van functionele programma's, 11 september 1986, Rem
Truijen, dhr. P.J.M. (Peter), Prototyping en applicatieontwikkeling in het RDBMS CA-UNIVERSE, 11 september 1986, Remmen
Vervloet, E.J.F., Een performancemodel voor het RDBMS CA-UNIVERSE, 11 september 1986, Remmen
Wammes, A.T., Het effect van modificaties op functionele afhankelijkheden in een relationele database, 6 november 1986, Paredaens
Weijmer, dhr. R.R., Een efficiënte methode voor de bepaling van Look-Ahead sets van LALR(1)-parsers, 6 november 1986, Kruseman Aretz

Voorjaar (15) (cum:20)

van Bronkhorst, dhr. E.C.J.A., Een logisch ontwerp voor de Celex-database, 29 mei 1986, Remmen
Broos, dhr. E.J.A.M. (Eric), Een plannings- en ontwerpsysteem met generatieve aspecten (met Tangelder), 29 mei 1986, van Hee
Dijkman, dhr. U.J., Een informatiesysteem voor stukgoed-stuwplanning, 3 juli 1986, van Hee
Doesborg, dhr. R., Natuurlijke taal-generatie in het TENDUM systeem : een eerste stap, 29 mei 1986, Peremans (met lof)
Gösgens, dhr. A.K.J. (Arno), Transportplanningsonderzoek en implementatie van een transportplanningsprogramma, 3 juli 1986, van Hee
de Graaff, dhr. P.J., A design method for self-timed circuits, 3 juli 1986, Rem
Gulikers, dhr. H.L.E., Een afleidingsmethode voor communicatienetwerken, 3 juli 1986, Rem
Houben, dhr. G.J.P.M. (Geert-Jan), Transacties in relationele databases, 27 februari 1986, Paredaens
Klaver, dhr. S.J. (Simon), Geschakelde databases, 29 mei 1986, Van Hee
Lahaije, dhr. P.D.M.E., Data structures for CARIN road map storage, 29 mei 1986, Van Hee
Reynaerts, dhr. J.W.F., Aanzet tot het ontwerp van een informatiesysteem voor het werken met Markov-modellen, 3 juli 1986, van Hee
Siccama, dhr. A., Minimal characterisations of directed trace structures, 29 mei 1986, Rem
Tangelder, dhr. R.J.W.T. (Ronald), Een plannings- en ontwerpsysteem met generatieve aspecten (met Broos), 29 mei 1986, van Hee
Troquay, T.P.H., De verbinding tussen een relationele database en een statistisch pakket, 27 februari 1986, van Hee
Verhaar, dhr. V.B. (Vincent), Een fouten verbeterende parser voor "natuurlijke" taal, 29 mei 1986, Kruseman Aretz

1985

Najaar (5)

Beuk, dhr. L.G.M., Het toestandsdiagram als specificatie van een tracestructuur, 28 november 1985, Rem
Pieper, dhr. F.T.A.M. (Frank), Veredelen van queries in een conceptuele taal, 5 september 1985, Peremans (met lof)
Scheepers, dhr. G.M., De logische structuur van een components database voor Océ Nederland B.V., 28 november 1985, Remmen
Somers, dhr. J.A., Het gebruik van waarden in tracetheorie, 28 november 1985, Rem
Sijstermans, dhr. F.W., Een parallelle parser voor natuurlijke talen, 28 november 1985, Rem

Eindhoven, 2009 * bureau bestuursondersteuning W&I