Home
Lotgevallen
Home Promoties en
examens
| binnenkort | in aantocht |
|
2012| 2011| 2010 | 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 | 1984 | 1983 | 1982 | 1981 | 1980 | 1979 | 1978 | 1977 | 1976 | 1975 | 1974 | 1973 | 1972 | 1971 | 1970 | 1969 | 1968 | 1967 | 1966 | 1965 | 1964 | 1963 | 1962 |
Pontes Soares Rocha MSc, B. (Bruno)
Information flow and declassification analysis for legacy and untrusted programs
Promotor: prof.dr. S. Etalle; copromotor: dr. J.I. den Hartog
Eindhoven, 15 februari 2012
Synopsis
Lutowska MSc, mw. A. (Agnieszka)
Model order reduction for coupled systems using low-rank approximations
Promotor: prof.dr. W.H.A. Schilders; copromotor: dr. M.E. Hochstenbach
Eindhoven, 21 maart 2012
Synopsis
Bierbooms, ir. J.J.P.H. (Remco)
Performance analysis of production lines
Promotoren: prof.dr.ir. I.J.B.F. Adan en prof.dr.ir. J.E. Rooda
Eindhoven,datum nog niet bekend
Synopsis
Bosman, ir. R.P. (Remi)
OSAS: the open service architecture for sensors
Promotor: prof.dr. J.J. Lukkien
Eindhoven, datum nog niet bekend
Firat MSc, M. (Murat)
Workforce scheduling and planning limited resources: algorithms and complexity
Promotor: prof.dr. G.J. Woeginger; copromotor: dr.ir. C.A.J. Hurkens
Eindhoven, datum nog niet bekend
Synopsis
Holenderski, ir. M.J. (Mike)
Multi-resource management in embedded real-time systems
Promotor: prof.dr. J.J. Lukkien; copromotor: dr.ir. R.J. Bril
Eindhoven, datum nog niet bekend
Synopsis
Hou MSc, Q. (Qingzhi)
Simulating unsteady conduit flows with smoothed particle hydrodynamics
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr.ir. A.S. Tijsseling
Eindhoven, datum nog niet bekend
Synopsis
Knutov MSc, E. (Evgeny)
Generic adaptation framework
Promotor: prof.dr. P.M.E. De Bra; copromotor: M. Pechenizkiy
Eindhoven, datum nog niet bekend
Synopsis
Krause MSc, M. (Matthias)
Streaming multiple videos over wireless home networks
Promotor: prof.dr. J.J. Lukkien; copromotor: dr. M.A. van Hartskamp
Eindhoven, datum nog niet bekend
Synopsis
Rantham Prabhakara MSc, J.C.B. (JC)
Process mining in the large: preprocessing, discovery, and diagnostics
Promotor: prof.dr.ir. W.M.P. van der Aalst; copromotor: dr.ir. B.F. van Dongen
Eindhoven, datum nog niet bekend
Synopsis
Schonenberg, mw. ir. M.H. (Helen)
What's next? Operational support for business processes
Promotor: prof.dr.ir. W.M.P. van der Aalst; copromotor: dr. N. Sidorova
Eindhoven, datum nog niet bekend
Synopsis
Shcherbakov PDEng, E. (Evgeny)
Numerical methods for on-chip passive structures
Promotoren: prof.dr. W.H.A. Schilders en prof.dr. R.M.M. Mattheij
Eindhoven, datum nog niet bekend
Synopsis
van der Sluijs, ir. K.A.M. (Kees)
Model driven design of semantic web information systems
Promotoren: prof.dr.ir. G.J.P.M. Houben (TUD) en prof.dr. P.M.E. De Bra
Eindhoven, datum nog niet bekend
Synopsis
Smits, ir. D. (David)
GALE: generic adaptation language and engine
Promotor: prof.dr. P.M.E. De Bra; copromotor: dr. M. Pechenizkiy
Eindhoven, datum nog niet bekend
Synopsis
Trum, ir. J.J.C. (Jeroen)
Code compression using instruction templates
Promotoren: prof.dr.ir. C.H. van Berkel en prof.dr. S.D.
Swierstra (Utrecht); copromotor: dr.ir. A. Augusteijn (Philips
Research Laboratories)
Eindhoven, datum nog niet bekend
Synopsis
Verbeek, ir. K.A.B. (Kevin)
Algorithms for cartographic visualization
Promotor: prof.dr. M.T. de Berg; copromotor: dr. B. Speckmann
Eindhoven, datum nog niet bekend
Synopsis
van Wijk, mw. ir. A.C.C. (Sandra)
Pooling and polling
Promotoren: prof.dr.ir. I.J.B.F. Adan en prof.dr.ir. G.J.J.A.N. van Houtum
Eindhoven, datum nog niet bekend
Synopsis
van Amstel, ir. M.F. (Marcel)
Assessing and improving the quality of model transformations
Promotor: prof.dr. M.G.J. van den Brand; copromotor: dr. A. Serebrenik
Eindhoven, 9 januari 2012
Full text (pdf)
Eggermont, drs. C.E.J. (Christian)
Reachability problems in scheduling and planning
Promotor: prof.dr. G.J. Woeginger; copromotor: dr.ir. C.A.J. Hurkens
Eindhoven, 1 februari 2012
Fan MSc, Y. (Yabin)
Dynamic capillarity in porous media: mathematical analysis
Promotor: prof.dr.ir. C.J. van Duijn; copromotor: dr. I.S. Pop
Eindhoven, 31 januari 2012
Synopsis
Güven, mw. Ç. (Çiçek)
Buildings and Kneser graphs
Promotor: prof.dr. A.E. Brouwer
Eindhoven, 25 januari 2012
Full text (pdf)
Khosravi Dehkordi MSc, A. (Amirali)
Optimal geometric data structures
Promotor: prof.dr. M.T. de Berg
Eindhoven, 10 januari 2012
Full text (pdf)
Muntean MSc, T.V. (Tiberiu)
Propeller efficiency at full scale: measurement system and mathematical model design
Promotor: prof.dr. W.H.A. Schilders; copromotor: dr.ir. S.J.L. van Eijndhoven
Eindhoven, 11 januari 2012
Arnoldus, drs.ing. B.J. (Jeroen)
An illumination of the template enigma: software code generation with templates
Promotor: prof.dr. M.G.J. van den Brand; copromotoren: dr.ir. J.J. Brunekreef (HvA) en dr. A. Serebrenik
Eindhoven, 1 februari 2011
Full text (pdf)
Atif MSc, M. (Muhammad)
Formal modeling and verification of distributed failure detectors
Promotoren: prof.dr.ir. J.F. Groote en prof.dr. M.G.J. van den Brand; copromotor: dr. M.R. Mousavi
Eindhoven, 28 september 2011
Full text (pdf)
Bisson MSc, G. (Gaëtan)
Endomorphism rings in cryptography
Promotor: mw. prof.dr. T. Lange; copromotor: dr. P. Gaudry
Eindhoven, 14 juli 2011
Full text (pdf)
Boon, ir. M.A.A. (Marko)
Polling models: from theory to traffic intersections
Promotoren: prof.dr.ir. O.J. Boxma en prof.dr.ir. I.J.B.F. Adan
Eindhoven, 4 april 2011
Full text (pdf)
Bratosin MSc, mw. C.C. (Carmen)
Grid architecture for distributed process mining
Promotor: prof.dr.ir. W.M.P. van der Aalst; copromotor: dr. N. Sidorova
Eindhoven, 29 maart 2011
Full text (pdf)
Etaati MSc, M.A. (Ali)
Numerical simulation of a three-stage Stirling-type pulse-tube refrigerator
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. A.T.A.M. de Waele; copromotor: dr.ir. A.S. Tijsseling
Eindhoven, 22 juni 2011
Full text (pdf)
Georgievska MSc, mw. S. (Sonja)
Probability and hiding in concurrent processes
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. W.J. Fokkink
Eindhoven, 3 oktober 2011
Full text (pdf)
Groot, ir. J.A.W.M. (Hans)
Numerical shape optimisation in industrial container forming
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr. C.G. Giannopapa
Eindhoven, 19 april 2011 (cum laude)
Full text (pdf)
Guillaume MSc, mw. F.M.Y. (Florence)
Applications of Lévy processes in credit and volatility modelling
Promotoren: prof.dr. W. Schoutens (KU Leuven) en prof.dr.ir. O.J. Boxma
Eindhoven, 25 januari 2011
Full text (pdf)
Ionutiu MSc, mw. R. (Roxana)
Model reduction for multi-terminal systems with applications to circuit simulation
Promotoren: prof.dr. W.H.A. Schilders en prof.dr. A.C. Antoulas; copromotor: dr. J. Rommes
Eindhoven, 26 september 2011 (cum laude)
Full text (pdf
Jovanovic MSc, N. (Natasa)
In-plane object detection: detection algorithms and visibility problems
Promotoren: prof.dr. E.H.L Aarts en prof.dr. J.J. Lukkien; copromotor: dr.ir. J.H.M. Korst
Eindhoven, 30 augustus 2011
Synopsis
Kakuba, ir. G. (Godwin)
The boundary element method: Errors and gridding for problems with hot spots
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr.ir. M.J.H. Anthonissen
Eindhoven, 31 maart 2011
Full text (pdf)
Kamiran MSc, F. (Faisal)
Discrimination-aware classification
Promotor: prof.dr. P.M.E. De Bra; copromotor: dr. T.G.K. Calders
Eindhoven, 11 oktober 2011
Synopsis
van Kraaij, ir. M.G.M.M. (Mark)
Forward diffraction modelling : analysis and application to grating reconstruction
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr.ir. J.M.L. Maubach
Eindhoven, 22 maart 2011
Synopsis
Li PDEng, mw. J. (Jing)
Analysis of the perception of graphical encodings for information visualization
Promotoren: prof.dr.ir. J.J. van Wijk en prof.dr.ir. J.-B.O.S. Martens (fac.ID)
Eindhoven, 26 januari 2011
Synopsis
Liu MSc, L. (Lei)
Modeling three-dimensional interaction tasks for desktop virtual reality
Promotor: prof.dr.ir. R. van Liere
Eindhoven, 28 november 2011
Synopsis
Middelkoop, ir. R. (Ronald)
Capturing and exploiting abstract views of states in OO verification
Promotor: prof.dr. M.G.J. van den Brand; copromotoren: dr. R. Kuiper en dr. C. Huizing
Eindhoven, 30 november 2011
Full text (pdf)
Peters, mw. Dipl.-Math. C.P. (Christiane)
Curves, codes and cryptography
Promotoren: prof.dr. T. Lange en prof.dr. D.J. Bernstein
Eindhoven, 10 mei 2011 (cum laude)
Full text (pdf)
Pisarenco MSc, M. (Maxim)
Scattering from finite structures: an extended Fourier modal method
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr. J.M.L. Maubach
Eindhoven, 7 september 2011
Synopsis
Protic MSc, Z. (Zvezdan)
Configuration management for models: Generic methods for model comparison and model co-evolution
Promotor: prof.dr. M.G.J. van den Brand; copromotor: T. Verhoeff
Eindhoven, 3 oktober 2011
Full text (pdf)
Raffelsieper, Dipl.-Inform. M. (Matthias)
Cell libraries and verification
Promotor: prof.dr.ir. J.F. Groote; copromotor: dr. M.R. Mousavi
Eindhoven, 2 november 2011
Full text (pdf)
Rudnaya MSc, mw. M. (Maria)
Automated focussing and astigmatism correction in electron microscopy
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr. J.M.L. Maubach
Eindhoven, 6 september 2011
Full text (pdf)
Schwabe, Dipl.-Inform. P. (Peter)
High-speed cryptography and cryptanalysis
Promotoren: prof.dr. T. Lange en prof.dr. D.J. Bernstein
Eindhoven, 24 januari 2011 (cum laude)
Full text (pdf)
van Tilburg, ir. P.J.A. (Paul)
From computability to executability: a process-theoretic view on automata theory
Promotor: prof.dr. J.C.M. Baeten; copromotor: dr. S.P. Luttik
Eindhoven, 27 oktober 2011
Full text (pdf)
Tsirogiannis MSc, K. (Costas)
Analysis of flow and visibility on triangulated terrains
Promotor: prof.dr. M.T. de Berg; copromotor: dr. H.J. Haverkort
Eindhoven, 14 november 2011
Full text (pdf)
Ugryumova MSc, mw. M. (Maria)
Applications of model order reduction for IC modelling
Promotor: prof.dr. W.H.A. Schilders; copromotor: dr. M.E. Hochstenbach
Eindhoven, 27 april 2011
Full text (pdf)
van de Ven, ir. P.M. (Peter)
Stochastic models for resource-sharing in wireless networks
Promotor: prof.dr.ir. S.C. Borst; copromotor: dr. J.S.H. van Leeuwaarden
Eindhoven, 19 december 2011
Full text (pdf)
Wang, mw. drs. Y. (Yiwen)
Semantically-enhanced recommendations in cultural heritage
Promotoren: prof.dr. P.M.E. De Bra en prof.dr. A.Th. Schreiber (VU); copromotor:
dr. L.M. Aroyo (VU)
Eindhoven, 8 februari 2011
Full text (pdf)
van der Werf, ir. J.M.E.M. (Jan Martijn)
Compositional design and verification of component-based information systems
Promotoren: prof.dr. K.M. van Hee en prof.dr. W. Reisig; copromotoren: prof.dr. W.J. Scheper (UU) en dr. N. Sidorova
Eindhoven, 15 februari 2011
Full text (pdf)
Willems, ir. C.M.E. (Niels)
Visualization of vessel traffic
Promotor: prof.dr.ir. J.J. van Wijk; copromotor: dr.ir. H.M.M. van de Wetering
Eindhoven, 21 december 2011
Full text (pdf)
Mans, R.S. (Ronny)
Workflow support for the healthcare domain
Promotoren: prof.dr.ir. W.M.P. van der Aalst en prof.dr. P.J.M. Bakker (UvA-AMC);
copromotor: dr. N.C. Russell
Eindhoven, 30 juni 2011
Sepasian MSc, mw. N. (Neda)
Multi-valued geodesic tractography for diffusion weighted imaging
Promotor: prof.dr. B.M. ter Haar Romenij (fac.BMT); copromotoren: dr. A.
Vilanova i Bartroli (fac.BMT) en dr.ir. J.H.M. ten Thije Boonkkamp (fac.W&I)
Eindhoven, 15 september 2011
Astola MSc, mw. L.J. (Laura)
Multi-scale Riemann-Finsler geometry on tensor valued images with applications to
diffusion tensor imaging and high angular resolution diffision imaging
Promotor: prof.dr. L.M.J. Florack
Eindhoven, 27 januari 2010
Full text (pdf)
Beekhuizen, ir. P. (Paul)
Performance analysis of networks on chips
Promotor: prof.dr.ir. O.J. Boxma; copromotor: dr. J.A.C. Resing
Eindhoven, 4 februari 2010
Full text (pdf)
Bellekens, ir. P.A.E. (Pieter)
An approach towards context-sensitive and user-adapted access to heterogeneous data
sources, illustrated in the television domain
Promotoren: prof.dr. P.M.E. De Bra en prof.dr.ir. G.J.P.M. Houben; copromotor:
dr. L.M. Aroyo (VU)
Eindhoven, 7 oktober 2010
Synopsis
Bruin, mw. drs. J. (Josine)
Inventory control in multi-item production systems
Promotoren: prof.dr.ir. J. van der Wal en prof.dr. A.G. de Kok
Eindhoven, 12 oktober 2010
Full text (pdf)
Fahland, Dipl.-Inform. D. (Dirk)
From scenarios to components
Promotoren: prof.dr.ir. W.M.P. van der Aalst en prof.dr. W. Reisig (Humboldt
Universität zu Berlin);
copromotor: prof.dr. K. Wolf (Universität Rostock)
Eindhoven, 27 september 2010
Full text (pdf)
Geurts, drs.ing. J.P.Th.M. (Joost)
A document engineering model and processing framework for multimedia documents
Promotor: mw. prof.dr. L. Hardman; copromotor: dr. J. van
Ossenbruggen
Eindhoven, 3 februari 2010
Full text (pdf)
Ilievski MSc, Z. (Zoran)
Model order reduction and sensitivity analysis
Promotor: prof.dr. W.H.A. Schilders; copromotor: dr. J.M.L. Maubach
Eindhoven, 25 augustus 2010
Full text (pdf)
Kruszynski, drs. K.J. (Chris)
Interactive measurements of three-dimensional branching objects
Promotor: prof.dr.ir. R. van Liere
Eindhoven, 25 januari 2010
Full text (pdf)
Lohmann, Dipl.-Inform. N. (Niels)
Correctness of services and their composition
Promotoren: prof.dr.ir. W.M.P. van der Aalst en prof.dr. K. Wolf (Universität Rostock)
Eindhoven, 27 september 2010
Full text (pdf)
Mnich MSc, M. (Matthias)
Algorithms in moderately exponential time
Promotor: prof.dr. G.J. Woeginger
Eindhoven, 22 september 2010
Full text (pdf)
Roozemond, ir. D.A. (Dan)
Algorithms for Lie algebras of algebraic groups
Promotor: prof.dr. A.M. Cohen
Eindhoven, 18 maart 2010
Full text (pdf)
Shrinivasan MSc, Y.B. (Yedendra)
Supporting the sensemaking process in visual analytics
Promotor: prof.dr.ir. J.J. van Wijk
Eindhoven, 21 juni 2010
Full text (pdf)
Villegas Bautista MSc, J.A. (José)
Design of advanced primitives for secure multiparty computation: special shuffles and integer comparison
Promotor: prof.dr.ir. H.C.A. van Tilborg; copromotor: dr.ir. L.A.M. Schoenmakers
Eindhoven, 29 april 2010
Full text (pdf)
Veeger, C.P.L.
Aggregate modeling in semiconductor manufacturing using effective process time
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr.ir. I.J.B.F. Adan
(fac.W&I); copromotor: dr.ir. L.F.P. Etman
Eindhoven, 16 juni 2010
Birkner, Dipl.-Math. P. (Peter)
Efficient algorithmic on low-genus curves
Promotoren: mw. prof.dr. T. Lange en prof.dr. D.J. Bernstein
Eindhoven, 16 februari 2009
Full text (pdf)
van den Broek, ir. J.J.J. (John)
MIP-based approaches for complex planning problems
Promotor: prof.dr. G.J. Woeginger; copromotor: dr.ir. C.A.J. Hurkens
Eindhoven, 10 december 2009
Full text (pdf)
Broersen, ir. A. (Alexander)
Feature visualization on large scale imaging mass spectrometry data
Promotoren: prof.dr.ir. R. van Liere en prof.dr. R.M.A. Heeren
Eindhoven, 3 maart 2009
Full text (pdf)
Corro Ramos MSc, I. (Isaac)
Statistical procedures for certification of software systems
Promotoren: prof.dr. K.M. van Hee en prof.dr. R.W. van der Hofstad; copromotor: dr. A. Di Bucchianico
Eindhoven, 15 december 2009
Full text (pdf)
Egorova, mw. ir. R.R. (Regina)
Sojourn time tails in processor-sharing problems
Promotor: prof.dr.ir. S.C. Borst; copromotor: dr. A.P. Zwart
Eindhoven, 5 februari 2009
Full text (pdf)
Hlod PDEng, A. (Andriy)
Curved jets of viscous fluid: Interactions with a moving wall
Promotor: prof.dr. M.A. Peletier
Eindhoven, 16 september 2009
Full text (pdf)
Holten, ir. D.H.R. (Danny)
Visualization of graphs and trees for software analysis
Promotoren: prof.dr.ir. J.J. van Wijk en prof.dr. A. van Deursen
Eindhoven, 24 juni 2009
Full text (pdf)
van Iersel, ir. L.J.J. (Leo)
Algorithms, haplotypes and phylogenetic networks
Promotoren: prof.dr. L. Stougie (VU) en prof.dr. G.J. Woeginger; copromotor: mw. dr. J.C.M. Keijsper
Eindhoven, 29 januari 2009
Full text (pdf)
Jonker, ir. H.L. (Hugo)
Security matters: Privacy in voting and fairness in digital exchange
Promotoren: prof.dr. S. Mauw (University of Luxembourg) en prof.dr. J.C.M. Baeten;
copromotor: dr. J. Pang (University of Luxembourg)
Eindhoven, 25 augustus 2009
Full text (pdf)
Massuthe MSc, P. (Peter)
Operating guidelines for services
Promotoren: prof.dr. K.M. van Hee en prof.dr. W. Reisig (Humboldt-Universität
zu Berlin); copromotor: prof.dr. K. Wolf (Universität Rostock)
Eindhoven, 21 april 2009
Full text (pdf)
Mussche, Lic. T.J.J. (Tim)
Extremal combinatorics in generalized Kneser graphs
Promotoren: prof.dr. A.E. Brouwer en prof.dr. A.M. Cohen; copromotor: dr. A. Blokhuis.
Eindhoven, 16 april 2009
Full text (pdf)
Naehrig, Dipl.-Math. M. (Michael)
Constructive and computational aspects of cryptographic pairings
Promotor: mw. prof.dr. T. Lange
Eindhoven, 7 mei 2009
Full text (pdf)
van Osch PDEng, ir. M.P.W.J. (Michiel)
Automated model-based testing of hybrid systems
Promotoren: prof.dr. J.C.M. Baeten en prof.dr.ir. J.E. Rooda; copromotor: dr. S.P. Luttik
Eindhoven, 10 februari 2009
Full text (pdf)
in 't panhuis, ir. J.C.H.W. (Jos)
Lie algebras, extremal elements, and geometries
Promotor: prof.dr. A.M. Cohen; copromotor: dr. F.G.M.T. Cuypers
Eindhoven, 12 oktober 2009
Full text (pdf)
in 't panhuis, ir. P.H.M.W. (Peter)
Mathematical aspects of thermoacoustics
Promotor: prof.dr. J.J.M. Slot; copromotoren: dr. S.W. Rienstra en prof.dr. J. Molenaar
Eindhoven, 25 juni 2009
Full text (pdf)
Ploeger, ir. S.C.W. (Bas)
Inproved verification methods for concurrent systems
Promotoren: prof.dr.ir. J.F. Groote en prof.dr.ir. J.J. van Wijk; copromotor: dr.ir. T.A.C. Willemse
Eindhoven, 27 augustus 2009
Full text (pdf)
Reniers, ir. D. (Dennie)
Skeletonization and segmentation of binary voxel shapes
Promotoren: prof.dr.ir. A.C. Telea (Groningen) en prof.dr.ir. J.J. van Wijk
Eindhoven, 12 februari 2009
Full text (pdf)
Smit, drs. F.A. (Ferdi)
A programmable display-layer architecture for virtual-reality applications
Promotor: prof.dr.ir. R. van Liere
Eindhoven, 12 november 2009
Full text (pdf)
Stahl MSc, C. (Christian)
Service substitution: A behavioural approach based on Petri nets
Promotoren: prof.dr. K.M. van Hee en prof.dr. W. Reisig (Humboldt-Universität
zu Berlin); copromotor: prof.dr. K. Wolf (Universität Rostock)
Eindhoven, 1 december 2009
Full text (pdf)
Verloop, mw. drs. I.M. (Maaike)
Scheduling in stochastic resource-sharing systems
Promotoren: prof.dr.ir. S.C. Borst en prof.dr.ir. O.J. Boxma; copromotor: dr. R. Núñez Queija
Eindhoven, 26 november 2009
Full text (pdf)
Vondenhoff, ir. E. (Erwin)
Hele-Shaw and Stokes flow with a source or sink: Stability of spherical solutions
Promotor: prof.dr. M.A. Peletier; copromotor: dr. G. Prokert
Eindhoven, 10 juni 2009
Full text (pdf)
van Weerdenburg, ir. M.J. (Muck)
Efficient rewriting techniques
Promotor: prof.dr.ir. J.F. Groote en prof.dr. M.G.J. van den Brand; copromotor: dr.ir. M.A. Reniers
Eindhoven, 1 april 2009
Full text (pdf)
van Zwam, ir. S.H.M. (Stefan)
Partial fields in matroid theory
Promotor: prof.dr.ir. A.M.H. Gerards; copromotor: dr. R.A. Pendavingh
Eindhoven, 31 augustus 2009 (cum laude)
Full text (pdf)
Bondarau PDEng, Y. (Egor)
Design-time performance analysis of component-based real-time systems
Promotoren: prof.dr.ir. P.H.N. de With (fac.EE) en prof.dr. J.J. Lukkien
(fac.W&I); copromotor: dr. M.R.V. Chaudron
Eindhoven, 22 december 2009
Albu PDEng, mw. M.A. (Alina)
Behavioral analysis of real-time systems with interdependent tasks
Promotor: prof.dr. E.H.L. Aarts; copromotoren: dr. J.J. Lukkien en dr. P.D.V. van der Stok
Eindhoven, 16 april 2008
Full text (pdf)
Byrka MSc, J. (Jarek)
Randomized approximation algorithms: facility location, phylogenetic networks, Nash equilibria
Promotoren: mw. prof.dr. K.I. Aardal en prof.dr. M.T. de Berg
Eindhoven, 13 oktober 2008
Full text (pdf)
Cleophas, ir. L.G.W.A. (Loek)
Tree algorithms: Two taxonomies and a toolkit
Promotoren: prof.dr. M.G.J. van den Brand en prof.dr. B.W. Watson (Pretoria);
copromotor: dr.ir. C. Hemerik
Eindhoven, 1 april 2008
Full text (pdf)
Dijkstra PDEng, ir. W. (Willem)
Condition numbers in the boundary element method: shape and solvability
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr. M.E. Hochstenbach
Eindhoven, 17 april 2008
Full text (pdf)
Farshi MSc, M. (Mohammad)
A theoretical and experimental study of geometric networks
Promotor: prof.dr. M.T. de Berg; copromotor: dr. J. Gudmundsson
Eindhoven, 8 april 2008
Full text (pdf)
van Gennip, drs. Y. (Yves)
Partial localisation in a variational model for diblock copolymer-homopolymer blends
Promotor: prof.dr. M.A. Peletier
Eindhoven, 8 oktober 2008
Full text (pdf)
Gray MSc, C.M. (Chris)
Algorithms for fat objects: decompositions and applications
Promotor: prof.dr. M.T. de Berg
Eindhoven, 25 augustus 2008
Full text (pdf)
Heydenreich, Dipl.-math.oec. M.O. (Markus)
A lace-expansion analysis of random spatial models
Promotor: prof.dr. R.W. van der Hofstad
Eindhoven, 5 november 2008
Full text (pdf)
van der Horst, ir. M.G. (Martijn)
Scalable block processing algorithms
Promotor: prof.dr.ir. C.H. van Berkel; copromotor: prof.dr. J.J. Lukkien
Eindhoven, 4 september 2008
Full text (pdf)
Khadim MSc, mw. U. (Uzma)
Process algebras for hybrid systems: comparison and development
Promotor: prof.dr. J.C.M. Baeten; copromotor: dr.ir. P.J.L. Cuijpers
Eindhoven, 29 september 2008
Full text (pdf)
Kim MSc, K.I. (Kyung In)
False discovery rate procedures for high-dimensional data
Promotor: prof.dr. P.L. Davies; copromotor: dr.ir. M.A. van de Wiel
Eindhoven, 14 oktober 2008
Full text (pdf)
Kiraz MSc, M.S. (Mehmet)
Secure and fair two-party computation
Promotoren: prof.dr.ir. H.C.A. van Tilborg en mw. prof.dr. T. Lange; copromotor:
dr.ir. L.A.M. Schoenmakers
Eindhoven, 27 augustus 2008
Full text (pdf)
Koprowski MSc, A.W. (Adam)
Termination of rewriting and its certification
Promotoren: prof.dr. H. Zantema en prof.dr.ir. J.F. Groote
Eindhoven, 25 september 2008
Full text (pdf)
Korteweg, drs. P. (Peter)
Online gathering algorithms for wireless networks
Promotoren: prof.dr. J.K. Lenstra en prof.dr. A. Marchetti Spaccamela; copromotor:
dr. L. Stougie
Eindhoven, 17 april 2008
Full text (pdf)
Mak, drs. R.H. (Rudolf)
Design and performance analysis of data-independent stream processing systems
Promotoren: prof.dr. P.A.J. Hilbers en prof.dr.ir. C.H. van Berkel; copromotor:
prof.dr. J.J. Lukkien
Eindhoven, 9 september 2008
Full text (pdf)
Markovski MSc, J. (Jasen)
Real and stochastic time in process algebras for performance evaluation
Promotor: prof.dr. J.C.M. Baeten; copromotor: dr. E.P. de Vink
Eindhoven, 2 oktober 2008
Full text (pdf)
Mumford PDEng, mw. E. (Elena)
Drawing graphs for cartographic applications
Promotor: prof.dr. M.T. de Berg; copromotor: mw. dr. B. Speckmann
Eindhoven, 8 september 2008
Full text (pdf)
Patrício Dias MSc, M.J. (Miguel)
Crack propagation on highly heterogeneous composite materials
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr. M.E. Hochstenbach
Eindhoven, 23 september 2008
Full text (pdf)
Pretorius MSc, A.J. (Hannes)
Visualization of state transition graphs
Promotoren: prof.dr.ir. J.J. van Wijk en prof.dr.ir. J.F. Groote
Eindhoven, 6 november 2008
Full text (pdf)
Pronk, ir. S.P.P. (Verus)
Resource management in cable access networks
Promotor: prof.dr. E.H.L. Aarts; copromotor: dr.ir. J.H.M. Korst
Eindhoven, 13 maart 2008
Full text (pdf)
Rezaeian Farashahi, R. (Reza)
Curves and Jacobians: number extractors and efficient arithmetic
Promotoren: prof.dr.ir. H.C.A. van Tilborg en mw. prof.dr. T. Lange; copromotor:
dr. G.R. Pellikaan
Eindhoven, 27 oktober 2008
Full text (pdf)
Verhoeven, ir. A. (Arie)
Redundancy reduction of IC models by multirate time-integration and model order reduction
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr. E.J.W. ter Maten
Eindhoven, 8 januari 2008
Full text (pdf)
Bortnik, mw E.M. (Elena)
Formal methods in support of SMC design
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr. J.C.M. Baeten (fac.W&I);
copromotor: mw dr.ir. J.M. van de Mortel-Fronczak
Eindhoven, 1 juli 2008
Braspenning, N.C.W.M. (Niels)
Model-based integration and testing of high-tech multi-disciplinary systems
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr. J.C.M. Baeten (fac.W&I);
copromotor: mw dr.ir. J.M. van de Mortel-Fronczak
Eindhoven, 18 februari 2008
van der Aa, ir. N.P. (Nico)
Sensitivity analysis for grating reconstruction
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr. H.G. ter Morsche
Eindhoven, 8 november 2007
Full text (pdf)
Abam MSc, M.A. (Mohammad)
New data structures and algorithms for mobile data
Promotor: prof.dr. M.T. de Berg; copromotor: mw. dr. B. Speckmann
Eindhoven, 13 november 2007
Full text (pdf)
Barbieri, ir. M. (Mauro)
Automatic summarization of narrative video
Promotor: prof.dr. E.H.L. Aarts; copromotor: dr.ir. J.H.M.
Korst
Eindhoven, 29 november 2007
Full text (pdf)
Barna, Dipl.-Ing. P. (Peter)
Specification of application logic in web information systems
Promotoren: prof.dr. P.M.E. De Bra en prof.dr.ir. G.J.P.M.
Houben
Eindhoven, 30 oktober 2007
Full text (pdf)
Bondar, mw. M.L. (Louiza)
Acoustically perturbed Bunsen flames : modelling, analytical investigations and
numerical solutions
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr.ir. J.H.M. ten Thije Boonkkamp
Eindhoven, 23 oktober 2007
Full text (pdf)
Bonifaci, V. (Vincenzo)
Models and algorithms for online server routing
Promotoren: prof.dr. J.K. Lenstra en prof.dr. G. Ausiello (Roma
'La Sapienza'); copromotor: dr. L. Stougie
Eindhoven, 31 januari 2007
Full text (pdf)
Jochemsz, mw. drs. E. (Ellen)
Cryptanalysis of RSA variants using small roots of
polynomials
Promotor: prof.dr.ir. H.C.A. van Tilborg; copromotor: dr. B.M.M.
de Weger
Eindhoven, 4 oktober 2007
Full text (pdf)
Lange, ir. C.F.J. (Christian)
Assessing and improving the quality of modeling : a series of
empirical studies about the UML
Promotoren: prof.dr. S. Demeyer (Antwerpen) en prof.dr. M.G.J.
van den Brand; copromotor: dr. M.R.V. Chaudron
Eindhoven, 24 oktober 2007
Full text (pdf)
Malakpoor, ir. K. (Kamyar)
Mixed finite element for swelling of cartilaginous tissues
Promotor: prof.dr. M.A. Peletier; copromotoren: dr.ir. J.M.R.J.
Huyghe en dr. E.F. Kaasschieter
Eindhoven, 12 februari 2007
Full text (pdf)
Mathijssen, ir. A.H.J. (Aad)
Logical calculi for reasoning with binding
Promotor: prof.dr.ir. J.F. Groote; copromotor: dr. M.J. Gabbay
Eindhoven, 15 november 2007
Full text (pdf)
Oanea, mw. O.I. (Olivia)
Verification of soundness and other properties of business processes
Promotor: prof.dr. K.M. van Hee; copromotor: mw. dr. N. Sidorova
Eindhoven, 11 december 2007
Full text (pdf)
Postma, ir. E.J. (Erik)
From Lie algebras to geometry and back
Promotor: prof.dr. A.M. Cohen; copromotor: dr. F.G.M.T.
Cuypers
Eindhoven, 8 mei 2007
Full text
(pdf)
van Rhijn, ir. A.J. (Arjen)
Configurable input devices for 3D interaction using optical
tracking
Promotoren: prof.dr.ir. R. van Liere en prof.dr.ir. J.J. van
Wijk; copromotor: dr. J.D. Mulder
Eindhoven, 18 januari 2007
Full text (pdf)
Sidorenko MSc, A. (Andrey)
Design and analysis of provably secure pseudorandom generators
Promotor: prof.dr.ir. H.C.A. van Tilborg; copromotor: dr.ir. L.A.M. Schoenmakers
Eindhoven, 29 oktober 2007
Full text (pdf)
Sizov, M.A. (Mikhail)
Air filmcooling through laser drilled holes
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr.ir. M.J.H.
Anthonissen
Eindhoven, 4 juli 2007
Full text (pdf)
Stash, mw. N.V. (Natalia)
Incorporating cognitive/learning styles in a general-purpose
adaptive hypermedia system
Promotoren: prof.dr. P.M.E. De Bra en mw. prof.dr. L. Hardman;
copromotor: mw. dr. A.I. Cristea
Eindhoven, 2 juli 2007
Full text (pdf)
Streppel, drs. M.W.A. (Micha)
Multi-functional geometric data structures
Promotor: prof.dr. M.T. de Berg; copromotor: dr. H.J.
Haverkort
Eindhoven, 29 mei 2007
Full text (pdf)
Trcka, N. (Nikola)
Silent steps in transition systems and Markov chains
Promotoren: prof.dr. J.C.M. Baeten en prof.dr.ir. J.E. Rooda;
copromotor: dr. S.P. Luttik
Eindhoven, 28 juni 2007
Full text (pdf)
van de Ven, drs.ir. P.M. (Peter)
Equivalences in design of experiments
Promotor: prof.dr. P.L. Davies; copromotor: A. Di Bucchianico
Eindhoven, 21 mei 2007
Full text (pdf)
Voinea PDEng, S.L. (Lucian)
Software evolution visualization
Promotor: prof.dr.ir. J.J. van Wijk; copromotoren: dr.ir. A.C. Telea en dr. J.J. Lukkien
Eindhoven, 1 oktober 2007
Full text (pdf)
van Vuuren, ir. M. (Marcel)
Performance analysis of manufacturing systems : queueing
approximations and algorithms
Promotoren: prof.dr.ir. O.J. Boxma en prof.dr.ir. J.E. Rooda;
copromotor: dr.ir. I.J.B.F. Adan
Eindhoven, 10 mei 2007
Full text
(pdf)
Winands, ir. E.M.M. (Erik)
Polling, production & priorities
Promotoren: prof.dr.ir. O.J. Boxma en prof.dr. A.G. de Kok;
copromotor: dr.ir. I.J.B.F. Adan
Eindhoven, 4 september 2007 (cum laude)
Full text
(pdf)
de Hoogh, ir. J. (Joost)
Application of local defect correction to a passive tracer in a turbulent channel flow
Promotoren: prof.dr.ir. J.J.H. Brouwers en prof.dr. R.M.M. Mattheij; copromotor: dr. J.G.M. Kuerten
Eindhoven, 15 maart 2007
Jarnikov PDEng, D. (Dimitri)
QoS framework for video streaming in home networks
Promotor: prof.dr.ir. P.H.N. de With (fac. E); copromotoren: dr. J.J. Lukkien (fac. W&I) en
dr. P.D.V. van der Stok (fac. W&I)
Eindhoven, 27 augustus 2007
Full text (pdf)
Willems, D.W.J.
High-power cryocooling
Promotoren: prof.dr. A.T.A.M. de Waele en prof.dr. R.M.M. Mattheij
Eindhoven, 20 september 2007
Bocconi, S. (Stefano)
Vox Populi : generating video documentaries from semantically
annotated media repositories
Promotor: mw. prof.dr. L. Hardman; copromotor: dr. F. Nack
(CWI)
Eindhoven, 30 november 2006
Full text
(pdf)
Cremers, ir. C.J.F. (Cas)
Scyther : Specification and verification of security
protocols
Promotor: prof.dr. J.C.M. Baeten; copromotoren: dr. S. Mauw en
dr. E.P. de Vink
Eindhoven, 6 november 2006
Full text
(pdf)
van Gool, ir. L.C.M. (Louis)
Formalisation interface specifications
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. A. de Bruin (EUR);
copromotor: dr. R. Kuiper
Eindhoven, 27 november 2006
Full text
(pdf)
Man, K.L. (Ka Lok)
Formal specification and analysis of hybrid systems
Promotoren: prof.dr. J.C.M. Baeten en prof.dr.ir. J.E. Rooda;
copromotor: dr.ir. M.A. Reniers
Eindhoven, 7 februari 2006 (dubbelpromotie met ir. R.R.H.
Schiffelers)
Full text (pdf)
Markvoort, ir. A.J. (Bart)
Towards hybrid molecular simulations
Promotoren: prof.dr. P.A.J. Hilbers en prof.dr. M.A.J. Michels;
copromotor: dr. R. Pino Plasencia
Eindhoven, 14 maart 2006
Full
text (pdf)
Maróti, G. (Gabor)
Operations research models for railway rolling stock planning
Promotoren: prof.dr.ir. A.M.H. Gerards en prof.dr. L.G. Kroon
(Rotterdam)
Eindhoven, 12 april 2006
Full text
(pdf)
Minero, R. (Remo)
Local defect correction for time-dependent problems
Promotor: prof.dr. R.M.M. Mattheij; copromotor: dr.ir. M.J.H.
Anthonissen
Eindhoven, 1 juni 2006
Full text
(pdf)
Mooij, ir. A.J. (Arjan)
Constructive formal methods and protocol standardization
Promotor: prof.dr.ir. J.F. Groote; copromotor: mw. dr. J.M.T.
Romijn
Eindhoven, 2 oktober 2006
Full text
(pdf)
Russello, dott. G. (Giovanni)
Separation and adaptation of concerns in a shared data space
Promotoren: prof.dr.ir. M.R. van Steen (VU) en prof.dr. M. Rem;
copromotor: dr. M.R.V. Chaudron
Eindhoven, 27 juni 2006
Full text (pdf)
Vlasiou, mw. M. (Maria)
Lindley-type recursions
Promotoren: prof.dr. J. Wessels en prof.dr.ir. O.J. Boxma;
copromotor: dr.ir. I.J.B.F. Adan
Eindhoven, 25 september 2006
Full text (pdf)
Wüst, drs. C.C. (Clemens)
Intelligent control for scalable video processing
Promotoren: prof.dr. E.H.L. Aarts en prof.dr.ir. P.H.N. de With;
copromotor: dr.ir. W.F.J. Verhaegh (Philips Research)
Eindhoven, 29 november 2006
Full text (pdf)
Schiffelers, R.R.H. (Ramon)
Formal specification and analysis of hybrid systems
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr. J.C.M. Baeten (fac.W&I);
copromotor: dr.ir. D.A. van Beek
Eindhoven, 7 februari 2006
van Beek, ir. H.M.A. (Harm)
Specification and analysis of internet applications
Promotor: prof.dr. J.C.M. Baeten; copromotor: dr. S. Mauw
Eindhoven, 9 juni 2005
Full text (pdf)
Bekker, drs. R. (René)
Queues with state-independent rates
Promotoren: prof.dr.ir. O.J. Boxma en prof.dr.ir. S.C. Borst
Eindhoven, 12 december 2005
Full text
(pdf)
Bezanovic, D. (Dragan)
Mathematical modelling of wet paper pressing
Promotor: prof.dr.ir. C.J. van Duijn; copromotor: dr. E.F.
Kaasschieter
Eindhoven, 24 oktober 2005
Synopsis (pdf)
den Boef, drs. E. (Edgar)
Resource management in in-home digital networks using the
Dantzig-Wolfe decomposition
Promotoren: prof.dr. E.H.L. Aarts en prof.dr.ir. D. den Hertog
(Tilburg); copromotor: dr.ir. W.F.J. Verhaegh (Philips Research
Laboratories)
Eindhoven, 28 april 2005
Full text (pdf)
Contini, S.P. (Scott)
Case studies in symmetric key cryptography
Promotoren: prof.dr. A.K. Lenstra en prof.dr.ir. H.C.A. van
Tilborg
Eindhoven, 8 september 2005
Full text (pdf)
Denteneer, drs. T.J.J. (Dee)
Data transfer in cable networks : delay models for multiaccess
with contention trees
Promotoren: prof.dr.ir. O.J. Boxma en prof.dr.ir. S.C. Borst;
copromotor: prof.dr. M.S. Keane
Eindhoven, 7 maart 2005
Synopsis (pdf)
Frasincar MTD, F. (Flavius)
Hypermedia presentation generation for semantic web
information systems
Promotoren: prof.dr. P.M.E. De Bra en prof.dr.ir. G.J.P.M.
Houben; copromotor: prof.dr. J. Paredaens
Eindhoven, 20 juni 2005
Full text
(pdf)
Gramberg, mw. ir. H.J.J. (Heike)
Flow front instabilities in an injection moulding process
Promotoren: prof.dr.ir. J. de Graaf en prof.dr.ir. G.J.F. van
Heijst (faculteit Technische Natuurkunde); copromotor: dr.ir.
A.A.F. van de Ven
Eindhoven, 9 mei 2005
Full text (pdf)
Gijsbers, ir. D.A.M. (Dié)
BMW algebras of simply laced type
Promotoren: prof.dr. A.M. Cohen en prof.dr. D.B. Wales (Caltech
University, Pasadena, USA)
Eindhoven, 1 november 2005
Full text (pdf)
Hagman PDEng, ir. F. (Friso)
Can plantar pressure predict foot motion?
Promotoren: prof.dr.ir. C.J. van Duijn en prof.dr. B. van Gheluwe
(VUB, Brussel); copromotor: dr.ir. S.J.L. van Eijndhoven
Eindhoven, 9 november 2005
Full text
(pdf)
Haller, S. (Sergei), Dipl.-Math.
Computing Galois cohomology and forms of linear algebraic
groups
Promotoren: prof.dr. A.M. Cohen en prof.dr. F.G. Timmesfeld
(Giessen)
Eindhoven, 12 oktober 2005
Full text
(pdf)
van Ham, ir. F.J.J. (Frank)
Interactive visualization of large graphs
Promotoren: prof.dr.ir. J.J. van Wijk en prof.dr.ir. J.F.
Groote
Eindhoven, 21 november 2005
Full text
(pdf)
Heres, ir. P.J. (Pieter)
Robust and efficient Krylov subspace methods for Model Order
Reduction
Promotoren: prof.dr. W.H.A. Schilders en prof.dr. H.A. van der
Vorst (Utrecht)
Eindhoven, 13 december 2005
Full text
(pdf)
Ionita MSc, M.T. (Mugurel)
Scenario-based system architecting : a systematic approach to
developing future-proof system architectures
Promotoren: prof.dr.Dipl.-Ing. D.K. Hammer en prof.dr.ir. J.
Bosch (Groningen); copromotor: dr. P. America (Philips
Research)
Eindhoven, 31 mei 2005
Full text
(pdf)
Kroot PDEng, ir. J.M.B. (Jan)
Analysis of eddy currents in a gradient coil
Promotor: prof.dr. W.H.A. Schilders; copromotoren: dr.ir. A.A.F.
van de Ven en dr.ir. S.J.L. van Eijndhoven
Eindhoven, 23 juni 2005
Full text
(pdf)
van Leeuwaarden, drs. J.S.H. (Johan)
Queueing models for cable access networks
Promotoren: prof.dr.ir. O.J. Boxma en prof.dr.ir. S.C. Borst;
copromotor: dr. J.A.C. Resing
Eindhoven, 13 juni 2005 (cum laude)
Full text (pdf)
Lyulina MSc, mw. I. (Irina)
Numerical simulation of pulse-tube refrigerators
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. A.T.A.M. de
Waele; copromotor: dr.ir. A.S. Tijsseling
Eindhoven, 19 januari 2005
Full text (pdf)
Mousavi MSc, M. (MohammadReza)
Structuring structural operational semantics
Promotoren: prof.dr.ir. J.F. Groote en prof.dr. G.D. Plotkin
(Edinburgh); copromotor: dr.ir. M.A. Reniers
Eindhoven, 26 september 2005
Full text
(pdf)
Nguyen Van Minh, M. (Man)
Computer-algebraic methods for the construction of designs of
experiments
Promotor: prof.dr. A.M. Cohen; copromotor: dr. E.D. Schoen
Eindhoven, 22 september 2005
Full text
(pdf)
Nikov MSc, V.S. (Ventzislav)
Verifiable secret sharing and applications
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr.ir. B.
Preneel (Leuven); copromotor: dr.ir. L.A.M. Schoenmakers
Eindhoven, 7 september 2005
Full text
(pdf)
Planqué, drs. R. (Bob)
Constraints in applied mathematics : rods, membranes and
cuckoos
Promotor: prof.dr. M.A. Peletier; copromotor: dr.ir. G.H.M. van
der Heijden
Eindhoven, 7 april 2005
Full text (pdf)
Severens, ir. I.E.M. (Ivo)
DEM simulations of toner behavior in the development nip of the
Océ Direct Imaging print process
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. D.E. Wolf
(Gerhard Mercator Universität, Duisburg); copromotor: dr.ir.
A.A.F. van de Ven
Eindhoven, 19 april 2005 (cum laude)
Synopsis (pdf)
Sokolova MSc, mw. A. (Ana)
Coalgebraic analysis of probabilistic systems
Promotor: prof.dr. J.C.M. Baeten; copromotor: dr. E.P. de
Vink
Eindhoven, 3 november 2005
Full text (pdf)
Tveretina, mw. O. (Olga)
Satisfiability for equalities
Promotor: prof.dr.ir. J.F. Groote; copromotor: dr. H. Zantema
Eindhoven, 29 juni 2005
Full text (pdf)
Vdovják MTD, R. (Richard)
A model-driven approach for building distributed ontology-based
web applications
Promotoren: prof.dr. P.M.E. De Bra en prof.dr.ir. G.J.P.M.
Houben; copromotor: prof.dr. J. Paredaens
Eindhoven, 20 juni 2005
Full text
(pdf)
Duits, R. (Remco)
Perceptual organization in image analysis: a mathematical approach based on
scale, orientation and curvature
Promotoren: prof.dr.ir. B.M. ter Haar Romenij (fac.BMT) en prof.dr.ir. J. de
Graaf (fac.W&I); copromotor: dr. L.M.J. Florack
Eindhoven, 14 september 2005
Mao, X.
Acoustic technique for temperature and flow velocity measurements
Promotoren: prof.dr.ir. G.J.F. van Heijst (fac.TN) en prof.dr.ir. C.J. van
Duijn (fac.W&I); copromotor: dr.ir. S.J.L. van Eijndhoven (fac.W&I)
Eindhoven, 25 oktober 2005
Batina MSc, I. (Ivo)
Model predictive control for stochastic systems by randomized
algorithms
Promotoren: prof.dr. A.A. Stoorvogel en prof.dr.ir. M.L.J.
Hautus, copromotor: dr. S. Weiland (faculteit
Elektrotechniek)
Eindhoven, 14 januari 2004
Full text
(pdf)
Bril, ir. R.J. (Reinder)
Real-time scheduling for media processing using conditionally
guaranteed budgets
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. G. Fohler
(Västerås, Zweden); copromotor: dr.ir. W.F.J. Verhaegh
(Philips Research Laboratories)
Eindhoven, 29 september 2004
Full text
(pdf)
Cuijpers, ir. P.J.L. (Pieter)
Hybrid process algebra
Promotoren: prof.dr.ir. J.F. Groote en prof.dr.ir. P.P.J. van den
Bosch (faculteit Elektrotechniek); copromotor: dr.ir. M.A.
Reniers
Eindhoven, 9 december 2004
Full text
(pdf)
Dijk, ir. E.O. (Esko)
Indoor ultrasonic position estimation using a single base
station
Promotoren: prof.dr.ir. C.H. van Berkel en prof.dr.ir. J.W.M.
Bergmans (faculteit Elektrotechniek); copromotor: dr. R.M. Aarts
(Philips Research Laboratories)
Eindhoven, 6 oktober 2004
Full text
(pdf)
Eskenazi MSc, E. (Evgeni)
Quantitative prediction of quality attributes for component-based
software architectures
Promotoren: prof.dr.Dipl.-Ing. D.K. Hammer en prof.dr.ir. J.F.
Groote
Eindhoven, 6 december 2004 (dubbelpromotie met A.V. Fyukov)
Full text (pdf)
Flinsenberg, mw. drs. I.C.M. (Ingrid)
Route planning algorithms for car navigation
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. J. van Leeuwen
(Utrecht); copromotor: dr. J.H. Verriet (Siemens VDO Trading
bv)
Eindhoven, 30 september 2004
Full text (pdf)
Fyukov MSc, A.V. (Alexander)
Quantitative prediction of quality attributes for component-based
software architectures
Promotoren: prof.dr.Dipl.-Ing. D.K. Hammer en prof.dr.ir. J.F.
Groote
Eindhoven, 6 december 2004 (dubbelpromotie met E. Eskenazi)
Full text (pdf)
Goga MSc, N. (Nicolae)
Control and selection techniques for the automated testing of
reactive systems
Promotoren: prof.dr.ir. L.M.G. Feijs en prof.dr. H. Brinksma
(Enschede); copromotor: dr. S. Mauw
Eindhoven, 7 oktober 2004
Full text
(pdf)
Graziadei, mw. M.V. (Marialuce)
Using local defect correction for laminar flame simulation
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. L.P.H. de Goey;
copromotor: dr.ir. J.H.M. ten Thije Boonkkamp
Eindhoven, 9 december 2004
Full text (pdf)
Gunawan, drs. A.Y. (Agus Yodi)
Stability of immersed liquid threads
Promotoren: prof.dr. J. Molenaar en prof.dr.ir. C.J. van Duijn;
copromotor: dr.ir. A.A.F. van de Ven
Eindhoven, 21 januari 2004
Full text (pdf)
Jojgov MSc, G.I. (Gueorgui)
Incomplete proofs and terms and their use in interactive theorem
proving
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. H.P. Barendregt
(Nijmegen); copromotor: dr. J.H. Geuvers (Nijmegen)
Eindhoven, 5 april 2004
Full text (pdf)
van Lingen MTD, drs. F.J.M. (Frank)
XML and graphs for modeling, integration and interoperability : a
CMS perspective (proefontwerp)
Promotoren: prof.dr. J. Paredaens en prof.dr. R.H. McClatchey
(Bristol, UK); copromotor: dr. P.D.V. van der Stok
Eindhoven, 1 maart 2004
Full text
(pdf)
Michiels, ir. W.P.A.J. (Wil)
Performance ratios for the differencing method
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. J. van Leeuwen
(Utrecht); copromotor: dr.ir. J.H.M. Korst (Philips Research
Laboratories)
Eindhoven, 8 april 2004 (cum laude)
Full text (pdf)
Myburg MTD, F.P. (François)
Design of a scalable parametric audio coder
Promotoren: prof.dr.ir. M.L.J. Hautus en prof.dr. A.A.C.M. Kalker
(faculteit Elektrotechniek)
Eindhoven, 6 januari 2004
Full text (pdf)
Pieters, ir. G.J.M. (Gert-Jan)
Stability and evolution of gravity-driven flow in porous media
applied to hydrological and ecological problems
Promotoren: prof.dr. ir. C.J. van Duijn en prof.dr. A. Doelman
(Amsterdam UvA)
Eindhoven, 15 november 2004
Full text
(pdf)
Pranovich, S. (Sviataslau)
Structural Sketcher : A tool for supporting architects in early
design (proefontwerp)
Promotoren: prof.dr.ir. J.J. van Wijk en prof.dr.ir. B. de Vries
(faculteit Bouwkunde); copromotor: dr.ir. C.W.A.M. van Overveld
(faculteit Industrial Design)
Eindhoven, 19 mei 2004
Full text
(pdf)
Qian MSc, Y. (Yuechen)
Data synchronization and browsing for home environments
Promotoren: prof.dr.ir. L.M.G. Feijs en prof.dr. J.C.M.
Baeten
Eindhoven, 2 juni 2004
Full text (pdf)
Sitters, ir. R.A. (René)
Complexity and approximation in routing and scheduling
Promotoren: prof.dr. J.K. Lenstra en prof.dr. J. Sgall
(Mathematical Institute ASCR, Praag, Tsjechië); copromotor:
dr. L. Stougie
Eindhoven, 24 mei 2004 (cum laude)
Full
text (pdf)
Tasic MSc, B. (Bratislav)
Numerical methods for solving ODE flow
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. M. Hermann
(Friedrich Schiller Universität, Jena, Duitsland)
Eindhoven, 13 december 2004
Full text (pdf)
van der Toorn, drs. R.A. (Robert)
Component-based software design with Petri nets : an approach
based on inheritance of behavior
Promotoren: prof.dr. K.M. van Hee en prof.dr.ir. W.M.P. van der
Aalst (faculteit Technologie Management)
Eindhoven, 15 januari 2004
Full text (pdf)
Verhoeven, ir. J.C.J. (Kees)
Modelling laser percussion drilling
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. M. Rumpf
(Duisburg); copromotor: dr. J.M.L. Maubach
Eindhoven, 4 november 2004
Full text
(pdf)
van den Nieuwelaar, N.J.M. (Barend)
Supervisory machine control by predictive-reactive scheduling
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr. J.C.M. Baeten (fac.W&I);
copromotor: mw dr.ir. J.M. van de Mortel-Fronczak
Eindhoven, 7 december 2004
Verbeek, H.M.W. (Eric)
Verification of WF-nets
Promotoren: prof.dr.ir. W.M.P. van der Aalst (fac.TM) en prof.dr. K.M. van Hee
(fac.W&I); copromotor: dr.ir. A.A. Basten
Eindhoven, 10 juni 2004
Aerts, ir. J.J.D. (Joep)
Random redundant storage for video on demand
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. G.J. Woeginger;
copromotor: dr.ir. J.H.M. Korst (Philips Research
Laboratories)
Eindhoven, 16 januari 2003
Full text
(pdf)
Beukema, drs. R. (Robbert)
Positive operator-valued measures and phase-space
representations
Promotoren: prof.dr.ir. J. de Graaf en prof.dr. F.W. Sluijter
(faculteit Technische Natuurkunde); copromotor: dr. W.M. de
Muynck
Eindhoven, 17 februari 2003
Full text
(pdf)
Boosten, ir. M. (Marcel)
Fine-grain parallel processing on a commodity platform : A
solution for the ATLAS second level trigger
Promotoren: prof.dr. P.A.J. Hilbers en prof.dr. R.W. Dobinson
(Liverpool); copromotor: dr. P.D.V. van der Stok
Eindhoven, 11 februari 2003
Full
text (pdf)
Brouns, ir. G.A.J.F. (Gido)
Queueing models with admission and termination control :
monotonicity and threshold results
Promotoren: prof.dr.ir. J. van der Wal en prof.dr. K.M. van
Hee
Eindhoven, 30 oktober 2003
Full text (pdf)
Doumen, drs. J.M. (Jeroen)
Some applications of coding theory in cryptography
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr. A.K.
Lenstra
Eindhoven, 6 juni 2003
Full text (pdf)
Drenth, drs. W.D. (Wienand)
A platform for numerical computations with special application to
preconditioning
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. H.A. van der
Vorst (Utrecht); copromotor: dr. J.M.L. Maubach
Eindhoven, 4 december 2003
Full text
(pdf)
Guerra Benavente MSc, I.A. (Ignacio)
Stabilization and blow-up for some multidimensional nonlinear
PDE's
Promotoren: prof.dr.ir. C.J. van Duijn en prof.dr. J. Hulshof
(VU); copromotor: dr. M.A. Peletier
Eindhoven, 15 januari 2003
Full text (pdf)
Houben, ir. S.H.M.J. (Stephan)
Circuits in motion : the numerical simulation of electrical
oscillators
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. W.H.A.
Schilders; copromotor: dr. E.J.W. ter Maten (Philips Research
Laboratories)
Eindhoven, 18 februari 2003 (cum laude)
Full text
(pdf)
Kholosha, ir. O. (Oleksandr)
Investigations in the design and analysis of key-stream
generators
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr. T.
Helleseth (Bergen, Noorwegen)
Eindhoven, 18 december 2003
Full text (pdf)
Laevsky, K.Y. (Konstantin)
Pressing of glass in bottle and jar manufacturing : numerical
analysis and computation
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. J. Molenaar
(Enschede)
Eindhoven, 29 januari 2003
Full text
(pdf)
Lipmann, drs. M. (Maarten)
On-line routing
Promotoren: prof.dr. J.K. Lenstra en prof.dr. G.J. Woeginger;
copromotor: dr. L. Stougie
Eindhoven, 19 juni 2003
Full text (pdf)
Nedea, mw. S.V. (Silvia)
Analysis and simulations of catalytic reactions
Promotoren: prof.dr. P.A.J. Hilbers en prof.dr. R.A. van Santen
(faculteit Scheikundige Technologie); copromotor: dr. J.J.
Lukkien
Eindhoven, 19 maart 2003
Full text (pdf)
Peeren, ir. G.N. (Geran)
Stream function approach for determining optimal surface
currents
Promotoren: prof.dr. W.H.A. Schilders en prof.dr. R.M.M.
Mattheij
Eindhoven, 9 december 2003
Full text
(pdf)
Smolders MTD, mw. ir. S.M.P. (Sandra)
Prediction of the stresses in a compact disc
Promotoren: prof.dr. J. Molenaar en prof.dr.ir. J. de Graaf;
copromotor: dr.ir. A.A.F. van de Ven
Eindhoven, 5 november 2003
Stam, ir. M. (Martijn)
Speeding up subgroup cryptosystems
Promotoren: prof.dr. A.K. Lenstra en prof.dr.ir. H.C.A. van
Tilborg
Eindhoven, 4 juni 2003
Full text (pdf)
van Uitert, mw. drs. M.J.G. (Miranda)
Generalized processor sharing queues
Promotoren: prof.dr.ir. S.C. Borst en prof.dr.ir. O.J. Boxma
Eindhoven, 24 november 2003
Full text (pdf)
Willemse, ir. T.A.C. (Tim)
Semantics and verification in process algebras with data and
timing
Promotoren: prof.dr. J.C.M. Baeten en prof.dr.ir. J.F. Groote
Eindhoven, 20 februari 2003
Full text (pdf)
Schoemaker, R.M. (Robin)
Contour dynamics for vortex-induced advection
Promotoren: prof.dr.ir. G.J.F. van Heijst (fac.TN) en prof.dr. R.M.M. Mattheij
(fac.W&I); copromotor: dr.ir. H.J.H. Clercx
Eindhoven, 26 mei 2003
Andova MSc, mw. S. (Suzana)
Probabilistic process algebra
Promotoren: prof.dr. J.C.M. Baeten en prof.dr.ir. C.A. Middelburg
(Utrecht)
Eindhoven, 26 november 2002
Full text (pdf)
Bos, drs. V. (Victor)
Formal specification and analysis of industrial systems
Promotoren: prof.dr. J.C.M. Baeten en prof.dr.ir. J.E. Rooda
(faculteit Werktuigbouwkunde); copromotor: dr. S. Mauw
Eindhoven, 7 maart 2002 (dubbelpromotie met ir. J.J.T.
Kleijn)
Full
text (pdf)
Boumova geb. Dimcheva, mw. S.P. (Silvia)
Applications of polynomials to spherical codes and designs
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr. S.
Dodunekov (Inst. of Mathematics and Inf., Sofia); copromotor: dr.
P. Boyvalenkov (Bulgarian Academy of Sciences, Sofia)
Eindhoven, 18 februari 2002
Full
text (pdf)
Chandra MSc, T.D. (Tjang)
Perturbation and operator methods for solving Stokes flow and
heat flow problems
Promotoren: prof.dr.ir. J. de Graaf en prof.dr. J. Molenaar
(Enschede); copromotor: dr. S.W. Rienstra
Eindhoven, 22 mei 2002
Full
text (pdf)
Draisma, ir. J. (Jan)
Lie algebras of vector fields
Promotoren: prof.dr. A.M. Cohen en prof.dr. M. van der Put
(Groningen)
Eindhoven, 4 juni 2002 (cum laude)
Full
text (pdf)
Gramlich Dipl.-Math., R. (Ralf)
On graphs, geometries, and groups of Lie type
Promotoren: prof.dr. A.M. Cohen en prof.dr. S.V. Shpectorov
(Bowling Green State University, USA); copromotor: dr. F.G.T.M.
Cuypers
Eindhoven, 23 mei 2002
Full
text (pdf)
Jordaan MTD, mw. E.M. (Elsa)
Development of robust inferential sensors : industrial
application of support vector machines for regression
Promotoren: prof.dr. J. Wessels en prof.dr. E.H.L. Aarts;
copromotor: dr. G.F. Smits (DOW Benelux)
Eindhoven, 18 december 2002
Full text
(pdf)
van der Linden, ir. B.J. (Bas)
Radiative heat transfer in glass : the algebraic ray trace
method
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr.ir. A.A. van
Steenhoven (faculteit Werktuigbouwkunde)
Eindhoven, 3 april 2002
Full
text (pdf)
Litvak, mw. drs. N.V. (Nelly)
Collecting n items randomly located on a circle
Promotoren: prof.dr. J. Wessels en prof.dr. W.H.M. Zijm
(Enschede); copromotor: dr.ir. I.J.B.F. Adan
Eindhoven, 22 januari 2002
Full
text (pdf)
Liu, mw. S.L. (Shengli)
Information-theoretic secret key agreement
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr.ir. B.J.M.
Smeets (Lund, Zweden)
Eindhoven, 26 februari 2002
Full
text (pdf)
de Paepe, drs. W.E. (Willem)
Complexity results and competitive analysis for vehicle routing
problems
Promotoren: prof.dr. J.K. Lenstra en prof.dr. A.G. de Kok;
copromotor: dr. L. Stougie
Eindhoven, 30 september 2002
Full text (pdf)
Reijers, ir. H.A. (Hajo)
Design and control of workflow processes : business process
management for the service industry
Promotoren: prof.dr. K.M. van Hee en prof.dr.ir. W.M.P. van der
Aalst
Eindhoven, 23 augustus 2002
Full
text (pdf)
Usenko, Y.S. (Yaroslav)
Linearization in µ-CRL
Promotoren: prof.dr.ir. J.F. Groote en prof.dr. W.J. Fokkink (VU
Amsterdam)
Eindhoven, 2 december 2002
Full text
(pdf)
Vredeveld, drs. T. (Tjark)
Combinational approximation algorithms : guaranteed versus
experimental performance
Promotoren: prof.dr. J.K. Lenstra en prof.dr.ir. C. Roos (Delft);
copromotor: dr.ir. C.A.J. Hurkens
Eindhoven, 23 april 2002
Full
text (pdf)
Wang, K. (Kaichun), MSc
BEM simulation for glass parisons
Promotoren: prof.dr. R.M.M. Mattheij en prof. C.S. Chen
(University of Nevada, USA); copromotor: dr. H.G. ter Morsche
Eindhoven, 21 januari 2002
Full
text (pdf)
Willemen, ir. R.J. (Roy)
School timetable construction : algorithms and complexity
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. J.K. Lenstra;
copromotor: dr.ir. H.M.M. ten Eikelder
Eindhoven, 16 april 2002
Full
text (pdf)
Wu, mw. H. (Hongjing), MSc
A reference architecture for adaptive hypermedia applications
Promotoren: prof.dr. P.M.E. De Bra en mw. prof.dr. L. Hardman;
copromotor: dr.ir. G.J.P.M. Houben
Eindhoven, 8 november 2002
Full text
(pdf)
Kleijn, J.J.T. (Jeroen)
Formal specification and analysis of industrial systems
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr.ir. J.C.M. Baeten
(fac.W&I); copromotor: mw dr.ir. J.M. van de Mortel-Fronczak
Eindhoven, 7 maart 2002
Ahn, ir. R.M.C. (René)
Agents, objects and events : a computational approach to
knowledge, observation and communication
Promotoren: prof.dr. H.C. Bunt (Tilburg) en prof.dr. J.C.M.
Baeten; copromotor: dr. V.A.J. Borghuis
Eindhoven, 22 januari 2001
Full
text (pdf)
Anthonissen, ir. M.J.H. (Martijn)
Local defect correction techniques : analysis and application to
combustion
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. A.A. Reusken
(RWTH, Aachen); copromotor dr.ir. J.H.M. ten Thije Boonkkamp
Eindhoven, 25 april 2001
Full
text (pdf)
Bajlekova, mw. E.G. (Emilia)
Fractional evolution equations in Banach spaces
Promotoren: prof.dr.ir. J. de Graaf en prof.dr. Ph.P.J.E.
Clément (Delft)
Eindhoven, 1 oktober 2001
Full
text (pdf)
Beelen, drs. P.H.T. (Peter)
Algebraic geometry and coding theory
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr. H.
Stichtenoth (Essen, Duitsland); copromotor: dr. G.R.
Pellikaan
Eindhoven, 24 september 2001
Full
text (pdf)
De Bontridder, ir. K.M.J. (Koen)
Integrating purchase and production planning : using local search
in supply chain optimization
Promotoren: prof.dr. J.K. Lenstra en prof.dr. E.H.L. Aarts;
copromotor: dr. J.A. Hoogeveen
Eindhoven, 21 november 2001
Full
text (pdf)
Bosnacki, D. (Dragan)
Enhancing state space reduction techniques for model checking
Promotoren: prof.dr. J.C.M. Baeten en prof.ir. M.P.J. Stevens;
copromotor: dr.ir. D.R. Dams
Eindhoven, 7 november 2001
Full
text (pdf)
Chkliaev, ir. D.A. (Dmitri)
Mechanical verification of concurrency control and recovery
protocols
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr. J.C.M.
Baeten
Eindhoven, 27 september 2001
Full
text (pdf)
Clout, ir. R.A.W. (Ramon)
Periodic scheduling for cache-miss minimisation
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. M. Rem
Eindhoven, 27 augustus 2001
Full
text (pdf)
Deng, mw. Qing
Queues with regular variation
Promotoren: prof.dr.ir. O.J. Boxma en prof.dr.ir. S.C. Borst
Eindhoven, 5 september 2001
Full
text (pdf)
van Dijk, drs. A. (Andries)
The Contracting Agent : concepts and architecture of generic
software for electronic business based on outsourcing of work
Promotoren: prof.dr. K.M. van Hee en prof.dr. P.M.E. De Bra
Eindhoven, 19 november 2001
Full
text (pdf)
Engels, drs. A.G. (André)
Languages for analysis and testing of event sequences
Promotoren: prof.dr.ir. L.M.G. Feijs en prof.dr. J.C.M. Baeten;
copromotor: dr. S. Mauw
Eindhoven, 29 mei 2001
Full
text (pdf)
Hidders, ir. A.J.H. (Jan)
A graph-based update language for object-oriented data models
Promotoren: prof.dr. J.J.E.J. Paredaens en prof.dr. P.M.E. De
Bra; copromotor: dr.ir. G.J.P.M. Houben
Eindhoven, 6 december 2001
Full
text (pdf)
Lavrauw, drs. M. (Michel)
Scattered spaces with respect to spreads and eggs in finite
projective spaces
Promotoren: prof.dr. A. Blokhuis en prof.dr. A.E. Brouwer
Eindhoven, 23 mei 2001
Full
text (pdf)
Nefedov, V. (Vsevolod), MSc
Numerical analysis of viscous flow using composite grids with
application to glass furnaces
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. V.P. Il’in
(Institute of Computational Mathematics, Novosibirsk,
Rusland)
Eindhoven, 20 november 2001
Full
text (pdf)
Oostdijk, drs. M.D. (Martijn)
Generation and presentation of formal mathematical documents
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. H.P. Barendregt
(Nijmegen); copromotor: dr. J.H. Geuvers (Nijmegen)
Eindhoven, 18 september 2001
Full
text (pdf)
Reymen, mw. I.M.M.J. (Isabelle)
Improving design processes through structured reflection : a
domain-independent approach
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr.ir. P.
Kroes
Eindhoven, 3 april 2001
Full
text (pdf)
van Rijnswou, ir. S.M. (Sander)
Testing the equivalence of planar curves
Promotoren: prof.dr. A.M. Cohen en prof.dr. A. Blokhuis
Eindhoven, 11 april 2001
Full
text (pdf)
Sarroukh, ir. B.E. (Bahaa)
Signal analysis : representation tools
Promotoren: prof.dr.ir. M.L.J. Hautus en prof.dr.ir. J.W.M.
Bergmans (faculteit Elektrotechiek); copromotor dr.ir. A.C. den
Brinker (Philips Research)
Eindhoven, 15 februari 2001
Full
text (pdf)
Schilham, drs. R.M.F. (Robin)
Commonalities in local search
Promotoren: prof.dr. J.K. Lenstra en prof.dr. E.H.L. Aarts;
copromotor: dr.ir. H.M.M. ten Eikelder
Eindhoven, 26 januari 2001
Full
text (pdf)
Schuurman, mw. ir. P. (Petra)
Approximating schedules
Promotoren: prof.dr. J.K. Lenstra en prof.dr. G.J. Woeginger (TU
Graz, Oostenrijk); copromotor: dr. J.A. Hoogeveen (Utrecht)
Eindhoven, 9 januari 2001 (cum laude)
Full
text (pdf)
Zwart, drs. A.P. (Bert)
Queueing systems with heavy tails
Promotoren: prof.dr.ir. O.J. Boxma en prof.dr.ir. S.C. Borst
Eindhoven, 11 september 2001 (cum laude)
Full
text (pdf)
Hofkamp, A.T.
Reactive machine control: a simulation approach using Chi
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr. M. Rem (fac.W&I);
copromotor: mw dr.ir. J.M. van de Mortel-Fronczak
Eindhoven, 6 november 2001
Barenbrug, ir. B.G.B. (Bart)
Designing a class library for interactive simulation of rigid
body dynamics
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr. R.M.M.
Mattheij; copromotor: dr.ir. C.W.A.M. van Overveld
Eindhoven, 27 april 2000
Full
text (pdf)
Fleiner, T. (Tamás), MSc
Stable and crossing structures
Promotoren: prof.dr.ir. A.M.H. Gerards en prof.dr. A.
Schrijver
Eindhoven, 8 november 2000
Full
text (pdf)
Franssen, ir. M.G.J. (Michael)
Cocktail : a tool for deriving correct programs
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. H.C.M. de Swart;
copromotor: dr.ir. C. Hemerik
Eindhoven, 19 december 2000
Full
text (pdf)
Frijns, ir. A.J.H. (Arjan)
A four-component mixture theory applied to cartilaginous tissues
: numerical modelling and experiments
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr.ir. T. Arts;
copromotor: dr. E.F. Kaasschieter
Eindhoven, 12 december 2000
Full
text (pdf)
Holtman, ir. K.J.G. (Koen)
Prototyping of CMS storage management
Promotor: prof.dr. P.M.E. De Bra en prof.dr. R.H. McClatchey;
copromotor: dr. P.D.V. van der Stok
Eindhoven, 29 mei 2000
Full
text (pdf)
Mushkudiani, mw. N. (Nino)
Statistical applications of generalized quantiles / Nonparametric
tolerance regions and P-P plots
Promotoren: prof.dr. P. van der Laan en prof.dr. E.V. Khmaladze;
copromotor: dr. J.H.J. Einmahl
Eindhoven, 29 november 2000
Full
text (pdf)
Nunez Queija, drs. R. (Sindo)
Processor-sharing models for integrated-services networks
Promotoren: prof.dr.ir. O.J. Boxma en prof.dr.ir. S.C. Borst
Eindhoven, 20 januari 2000
Full
text (pdf)
Schoen, drs. E.D. (Eric)
Issues in applying statistical design of experiments, with
special reference to toxicology of mixtures
Promotoren: prof.dr. P. van der Laan en prof.dr. V.J. Feron
(Utrecht); copromotor: dr. J.B. Dijkstra
Eindhoven, 17 oktober 2000
Full
text (pdf)
Smeets, ir. M.J.E. (Marc)
Parameter shift in GKZ-hypergeometric systems
Promotoren: prof.dr. A.M. Cohen en prof.dr. A.E. Brouwer
Eindhoven, 10 mei 2000
Full
text (pdf)
Smulders, ir. C.M.P.A. (Camiel)
Reduced heat kernels on homogeneous spaces
Promotoren: prof.dr.ir. J. de Graaf en prof. D.W. Robinson;
copromotor: dr. A.F.M. ter Elst
Eindhoven, 24 februari 2000
Full
text (pdf)
Telea, A.C. (Alexandru), MSc
Visualisation and simulation with object-oriented networks
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr.dipl.ing. D.K.
Hammer; copromotor: dr.ir. J.J. van Wijk
Eindhoven, 26 oktober 2000
Full
text (pdf)
Verhoeven, ir. P.H.F.M. (Richard)
The design of the MathSpad editor
Promotor: prof.dr. R.C. Backhouse en prof.dr. P.M.E. De Bra
Eindhoven, 21 juni 2000
Full
text (pdf)
Visschers, ir. J.W.C.H. (Jeremy)
Random walks with geometric jumps
Promotoren: prof.dr. J. Wessels en prof.dr. W.H.M. Zijm;
copromotor: dr.ir. I.J.B.F. Adan
Eindhoven, 13 november 2000
Full
text (pdf)
van de Wiel, ir. M.A. (Mark)
Exact distributions of distribution-free test statistics
Promotoren: prof.dr. P. van der Laan en prof.dr. M. Hallin;
copromotor: dr. A. Di Bucchianico
Eindhoven, 28 september 2000
Full
text (pdf)
Limpens, M.P.M.A. (Maurice)
A design tool for conveyor belt furnaces
Promotoren: prof.dr.ir. A.A. Steenhoven en prof.dr. R.M.M. Mattheij
Eindhoven, 1 november 2000
van den Bergen, ir. G.J.A. (Gino)
Collision detection in interactive 3D computer animation
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr. M.H.
Overmars (Utrecht); copromotor: dr.ir. C.W.A.M. van Overveld
Eindhoven, 29 maart 1999
Full
text (pdf)
Bodlaender, drs. M.P. (Maarten)
Scheduler optimization in real-time distributed databases
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr. E.H.L.
Aarts; copromotor: dr. P.D.V. van der Stok
Eindhoven, 11 mei 1999
Full text (pdf)
Brands, drs. S.A. (Stefan)
Rethinking public-key infrastructures and digital certificates :
building in privacy
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof. A. Shamir
(Weizmann Institute of Science, Israël)
Eindhoven, 4 oktober 1999
den Doelder, ir. C.F.J. (Jaap), MTD
Design and implementation of polymer melt fracture models
Promotoren: prof.dr.ir. J. de Graaf en prof.dr.ir. F.P.T.
Baaijens; copromotor: dr. J. Molenaar
Eindhoven, 15 juni 1999
Full text (pdf)
Heijnen, mw. ir. P.W. (Petra)
Some classes of linear codes : observations about their
structure, construction, (non)existence, decoding
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr. J.
Simonis; copromotor: dr. G.R. Pellikaan
Eindhoven, 27 augustus 1999
Full
text (pdf)
Jeurissen, ir. R.W.M. (Richard)
DeOfEx, an application for generating experimental design and
analysing experimental data
Promotoren: prof.dr. P. van der Laan en prof.dr.ir. B.G.M.
Vandeginste (Gent, België); copromotor: dr.ir. E.E.M. van
Berkum
Eindhoven, 6 juli 1999
Full
text (pdf)
Kelleners, ir.ing. R.H.M.C. (Richard)
Constraints in object-oriented graphics
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr. E.H.L.
Aarts; copromotor: dr. R.C. Veltkamp (Utrecht)
Eindhoven, 17 juni 1999
Full text (pdf)
de Kock, ir. E.A. (Erwin)
Video signal processor mapping
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. P.A.J. Hilbers;
copromotor: dr. J.H.M. Korst (Philips)
Eindhoven, 15 december 1999
Full
text (pdf)
Reniers, ir. M.A. (Michel)
Message sequence chart : syntax and semantics
Promotoren: prof.dr. J.C.M. Baeten en prof.dr.ir. L.M.G. Feijs;
copromotor: dr. S. Mauw
Eindhoven, 7 juni 1999
Full
text (pdf)
Schiefer, ir. R. (René)
VIPER : a visualisation tool for parallel program
construction
Promotoren: prof.dr. P.A.J. Hilbers en prof.dr. R.W. Dobinson;
copromotor: dr. P.D.V. van der Stok
Eindhoven, 14 december 1999
Full
text (pdf)
Segers, ir. J.P.L. (John)
Algorithms for the simulation of surface processes
Promotoren: prof.dr. P.A.J. Hilbers en prof.dr. R.A. van Santen;
copromotor: dr. J.J. Lukkien
Eindhoven, 12 april 1999
Full
text (pdf)
Tiourine, S.R. (Sergey), MTD
Decision support by combinatorial optimization : case studies
Promotoren: prof.dr. J.K. Lenstra en prof.dr. J. Wessels;
copromotor: dr.ir. C.A.J. Hurkens
Eindhoven, 21 december 1999
Full
text (pdf)
Voermans, ir. T.S. (Ed)
Inductive datatypes with laws and subtyping : a relational
model
Promotoren: prof.dr. R.C. Backhouse en prof. L.G.T.M. Meertens;
copromotor: dr. J.C.S.P. van der Woude
Eindhoven, 13 januari 1999
Full
text (pdf)
Warners, ir. J.P. (Joost)
Nonlinear approaches to satisfiability problems
Promotoren: prof.dr.ir. J.F. Groote en prof.dr. J. van Leeuwen;
copromotor: dr. H. van Maaren (Delft)
Eindhoven, 14 september 1999
Full text (pdf)
Zwanenburg, drs. J. (Jan)
Object-oriented concepts and proof rules : formalization in type
theory and implementation in Yarrow
Promotoren: prof.dr. F.E.J. Kruseman Aretz en prof.dr. H.P.
Barendregt; copromotor: dr.ir. C. Hemerik
Eindhoven, 1 december 1999
Full
text (pdf)
Roos, A.
On the effectiveness of ventilation
Promotoren: prof.ir. P.G.S. Rutten (fac.B) en prof.dr. R.M.M. Mattheij (fac.W&I)
Eindhoven, 27 januari 1999
Argante, drs. E. (Erco)
CoCa : a model for parallelization of high energy physics
software
Promotoren: prof.dr. M. Rem en prof.dr.ir. K. Kopinga;
copromotor: dr. P.D.V. van der Stok
Eindhoven, 7 oktober 1998
Full
text (pdf)
Basten, ir. A.A. (Twan)
In terms of nets : system design with Petri-nets and process
algebra
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. K.M. van Hee
Eindhoven, 3 december 1998
Full
text (pdf)
Broekmeulen, ir. R.A.C.M. (Rob)
Layout and operations management of distribution centres for
perishables
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. A.G. de Kok
Eindhoven, 29 juni 1998
Full text (pdf)
Dolfing, ir. J.G.A. (Han)
Handwriting recognition and verification : a hidden Markov
approach
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. J. Wessels;
copromotor: dr. R. Häb-Umbach
Eindhoven, 20 november 1998
Full
text (pdf)
Elbers, drs. H.J. (Hugo)
Connecting informal and formal mathematics
Promotoren: prof.dr. A.M. Cohen en prof.dr. J.W. Klop
Eindhoven, 28 mei 1998
Full
text (pdf)
van Gageldonk, ir. J.S.H. (Johan)
An asynchronous low-power 80C51 microcontroller
Promotoren: prof.dr. M. Rem en prof.dr.ir. C.H. van Berkel
Eindhoven, 1 september 1998
Full text (pdf)
van 't Hof, ir. B. (Bas)
Numerical aspects of laminar flame simulation
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr.ir. A.A. van
Steenhoven; copromotor: dr.ir. J.H.M. ten Thije Boonkkamp
Eindhoven, 16 december 1998
Full
text (pdf)
Nikova, mw. S.I. (Svetla), geb. Petkova
Bounds for designs in infinite polynomial metric spaces
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr. S.M.
Dodunekov; copromotor: dr. P.G. Boyvalenkov
Eindhoven, 21 september 1998
Full
text (pdf)
Riebeek, ir. R.J. (Remko)
Computations in association schemes
Promotoren: prof.dr. A.E. Brouwer en prof.dr. A.M. Cohen
Eindhoven, 20 mei 1998
Full text (pdf)
Sassen, mw. drs. S.A.E. (Simone)
Multi-server feedback queues for optimistic concurrency
control
Promotoren: prof.dr. J. Wessels en prof.dr.ir. O.J. Boxma;
copromotor: dr.ir. J. van der Wal
Eindhoven, 25 november 1998
Full
text (pdf)
Vosbeek, mw. ir. P.W.C. (Pauline)
Contour dynamics and applications to 2D vortices
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr.ir. G.J.F. van
Heijst; copromotor: dr. H.J.H. Clercx
Eindhoven, 1 juli 1998
Full
text (pdf)
van der Werf, ir. A. (Albert)
Processing unit design
Promotoren: prof.dr. E.H.L. Aarts en prof.dr.ir. Th. Krol
Eindhoven, 26 augustus 1998
Full
text (pdf)
Alberts, W.T.M.
A discrete-event simulator for systems engineering [met G. Naumoski]
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr. M. Rem (fac.W&I);
copromotor: mw dr.ir. J.M. van de Mortel-Fronczak
Eindhoven, 12 mei 1998
Naumoski, G. (Goce)
A discrete-event simulator for systems engineering [met W.T.M. Alberts]
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr. M. Rem (fac.W&I);
copromotor: mw dr.ir. J.M. van de Mortel-Fronczak
Eindhoven, 12 mei 1998
Aarts, mw. ir. A.C.T. (Annemarie)
Analysis of the flow instabilities in the extrusion of polymetric
melts
Promotoren: prof.dr. J. Boersma en prof.dr.ir. M.L.J. Hautus;
copromotor: dr.ir. A.A.F. van de Ven
Eindhoven, 29 januari 1997
Full text (pdf)
Bloo, drs. C.J. (Roel)
Preservation of termination for explicit substitution
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. P. Lescanne;
copromotor: dr. R.P. Nederpelt
Eindhoven, 2 oktober 1997
Full
text (pdf)
de Boer, ir. M.A. (Mario)
Codes : their parameters and geometry
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr. J.W.P.
Hirschfeld; copromotor: dr. G.R. Pellikaan
Eindhoven, 21 maart 1997
Full
text (pdf)
van Dijk, ir. M.E. (Marten)
Secret key sharing and secret key generation
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr.ir. B.J.M.
Smeets (Lund)
Eindhoven, 9 december 1997
Full
text (pdf)
Diks, ir. E.B. (Erik)
Controlling divergent multi-echelon systems
Promotoren: prof.dr. A.G. de Kok en prof.dr. J. Wessels
Eindhoven, 17 september 1997
Full
text (pdf)
de Graaf, drs. W.A. (Willem)
Algorithms for finite-dimensional Lie algebras
Promotoren: prof.dr. A.M. Cohen en prof.dr. A.E. Brouwer
Eindhoven, 10 juni 1997
Full
text (pdf)
Hautus, ir. E.H. (Edwin), MTD
Sybar, a human motion analysis system for rehabilitation
medicine
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr.ir. K.
Kopinga; copromotor: dr.ir. C.W.A.M. van Overveld
Eindhoven, 25 november 1997
Full
text (pdf)
van Hintum, drs. J.E.A. (Hans)
Quality constraints and constrained quality
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr. S.J.
Mullender; copromotor: dr. I. Herman
Eindhoven, 3 november 1997
Full text (pdf)
Hoogendijk, ir. P.F. (Paul)
A generic theory of datatypes
Promotoren: prof.dr. R.C. Backhouse en prof. R.S. Bird
Eindhoven, 24 juni 1997
Full
text (pdf)
Laan, drs. T.D.L. (Twan)
The evolution of type theory in logic and mathematics
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. H.C.M. de Swart;
copromotor: dr. R.P. Nederpelt
Eindhoven, 29 september 1997
Full
text (pdf)
Noot, ir. M.J. (Marc)
Numerical analysis of turbine blade cooling ducts
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr.ir. A.A. van
Steenhoven; copromotor: dr.ir. J.K.M. Jansen
Eindhoven, 3 december 1997
Full
text (pdf)
Prokert, G. (Georg), Dipl-Math.
Parabolic evolution equations for quasistationary free boundary
problems in capillary fluid mechanics
Promotoren: prof.dr.ir. J. de Graaf en prof.dr. M.
Günther
Eindhoven, 25 juni 1997
Full
text (pdf)
Stehouwer, ir. H.P. (Peter)
On-line lot-sizing with perceptrons
Promotoren: prof.dr. J. Wessels en prof.dr. E.H.L. Aarts
Eindhoven, 28 oktober 1997
Full text (pdf)
Vereijken, drs. J.J. (Jan Joris)
Discrete-time process algebra
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. J.A. Bergstra;
copromotor: dr. S. Mauw
Eindhoven, 18 december 1997
Full
text (pdf)
Vestjens, ir. A.P.A. (Arjen)
On-line machine scheduling
Promotoren: prof.dr. J.K. Lenstra en prof.dr. E.H.L. Aarts;
copromotor: dr. J.A. Hoogeveen
Eindhoven, 7 november 1997
Full
text (pdf)
Alstein, ir. D. (Dick)
Distributed algorithms for hard real-time systems
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr. J. van
Leeuwen (Utrecht); copromotor: dr. P.D.V. van der Stok
Eindhoven, 2 april 1996
Full text (pdf)
Blanco, J.O. (Javier), Lic.
The state operator in process algebra
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. J.A. Bergstra
(UvA)
Eindhoven, 30 januari 1996
Full text (pdf)
Dams, ir. D.R. (Dennis)
Abstract interpretation and partition refinement for model
checking
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. W. Damm;
copromotor: dr. R.T. Gerth
Eindhoven, 1 juni 1996
Full text (pdf)
Doornbos, drs. H. (Henk)
Reductivity arguments and program construction
Promotoren: prof.dr. R.C. Backhouse en prof.dr. E.W. Dijkstra
(Austin, USA)
Eindhoven, 24 juni 1996
Full text (pdf)
van Eenige, drs. M.J.A. (Michel)
Queueing systems with periodic service
Promotoren: prof.dr. J. Wessels en prof.dr. F.W. Steutel;
copromotor: dr.ir. J. van der Wal
Eindhoven, 17 september 1996
Full text (pdf)
van Eijl, mw. ir. C.A. (Cleola)
A polyhedral approach to the discrete lot-sizing and scheduling
problem
Promotoren: prof.dr. J.K. Lenstra en prof.dr. Y. Pochet (Louvain,
België); copromotor: dr.ir. C.P.M. van Hoesel
Eindhoven, 14 juni 1996
Full text (pdf)
van Eupen, ir. M.J.M. (Marijn)
Ternary linear codes
Promotoren: prof.dr. A.E. Brouwer en prof.dr. J.H. van Lint;
copromotor: prof. R. Hill
Eindhoven, 4 juli 1996
Full text (pdf)
Ferket, ir. P.J.J. (Peter)
Solving boundary value problems on composite grids with an
application to combustion
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. P.W. Hemker;
copromotor: dr. A.A. Reusken
Eindhoven, 14 oktober 1996
Full text (pdf)
Hollmann, ir. H.D.L. (Henk)
Modulation codes
Promotoren: prof.dr. J.H. van Lint en prof.dr. P.H. Siegel
Eindhoven, 17 december 1996
Full text (pdf)
Morrison MSc, J.P. (John)
Condensed graphs : unifying availability-driven, coercion-driven
and control-driven computing
Promotoren: prof.dr. M. Rem en prof. P.G. O'Regan
Eindhoven, 30 oktober 1996
Full text (pdf)
Peeters, ir. A.M.G. (Ad)
Single-rail handshake circuits
Promotoren: prof.dr. M. Rem en prof. S.B. Furber (Manchester,
UK); copromotor: dr.ir. C.H. van Berkel
Eindhoven, 12 juni 1996
Full text (pdf)
de Rijcke, ir. M.M.A. (Michiel)
Semigroups, invariance and time-invariant linear systems
Promotoren: prof.dr.ir. M.L.J. Hautus en prof.dr. E.G.F. Thomas;
copromotor: dr.ir. S.J.L. van Eijndhoven
Eindhoven, 30 september 1996
Full text (pdf)
Severi, mw. P.G. (Paula)
Normalisation in lambda calculus and its relation to type
inference
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. H.P. Barendregt
(Nijmegen); copromotor: dr. J.H. Geuvers
Eindhoven, 18 juni 1996
Full text (pdf)
Tolhuizen, ir. L.M.G.M. (Ludo)
Cooperating error correcting codes and their decoding
Promotoren: prof.dr. J.H. van Lint en prof.dr.ir. H.C.A. van
Tilborg
Eindhoven, 26 juni 1996
Full text (pdf)
Verhoeven, ir. M.G.A. (Marcus)
Parallel local search
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. J.K. Lenstra
Eindhoven, 7 maart 1996
Full text (pdf)
Wesselink, ir. J.W. (Wieger)
Variational modeling of curves and surfaces
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr. H. Hagen;
copromotor: dr. R.C. Veltkamp
Eindhoven, 12 september 1996
Full
text (pdf)
Wijckmans, ir. P.M.E.J. (Patrick)
Conditioning of differential algebraic equations and numerical
solution of multibody dynamics
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr.ir. J.S.H.M.
Wismans
Eindhoven, 18 april 1996
Full text (pdf)
Yu, Wenci
The two-machine flow shop problem with delays and the one-machine
total tardiness problem
Promotoren: prof.dr. J.K. Lenstra en prof.dr. P. Brucker
(Osnabrück, Duitsland); copromotor: dr. J.A. Hoogeveen
Eindhoven, 5 juni 1996
Full text (pdf)
Arends, N.W.A. (Norbert)
A system engineering specification formalism
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr. M. Rem (fac.W&I)
Eindhoven, 17 juni 1996
Eggels, R.L.G.M.
Modeling of combustion processes and NO formation with reduced reaction mechanisms
Promotoren: prof.ir. J.K. Nieuwenhuizen (fac.W) en prof.dr. R.M.M. Mattheij (fac.W&I)
Eindhoven, 29 maart 1996
Mallens, R.M.M.
Stabilisation of laminar premixed methane/air flames
Promotoren: prof.ir. J.K. Nieuwenhuizen (fac.W) en prof.dr. R.M.M. Mattheij
(fac.W&I); copromotor: dr. L.P.H. de Goey
Eindhoven, 13 december 1996
Peerdeman, M.S. (Mark)
Stress analysis of the crowngear transmission as basis for failure calculations
Promotoren: prof.dr.ir. M.J.W. Schouten (fac.W) en prof.dr.ir. J. de Graaf
(fac.W&I); copromotor: dr. D.A. Overdijk (fac.W&I)
Eindhoven, 9 januari 1996
Vaes, H.J.
An event driven job shop scheduling system: applied to the Vertex system
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr. J.K. Lenstra (fac.W&I)
Eindhoven, 4 juni 1996
de Vries, B. (Bauke)
Communication in the building industry: A strategy for implementing electronic
information exchange
Promotoren: prof.ir. H. Wagter (fac.B) en prof.dr. K.M. van Hee (fac.W&I);
copromotor: dr. L.J.A.M. Somers (fac.W&I)
Eindhoven, 17 januari 1996
Berkenbosch, drs. A.C. (Adriaan)
Capturing detonation waves for the reactive Euler equations
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr.ir. A.A. van
Steenhoven; copromotor: dr.ir. J.H.M. ten Thije Boonkkamp
Eindhoven, 5 oktober 1995
Full text (pdf)
van Houtum, ir. G.J.J.A.N. (Geert-Jan)
New approaches for multi-dimensional queueing systems
Promotoren: prof.dr. J. Wessels en prof.dr. W.H.M. Zijm
Eindhoven, 7 februari 1995
Full text (pdf)
Klein Obbink, drs. B. (Bart)
Moving boundary problems in relation with equations of
Löwner-Kufareev type
Promotoren: prof.dr.ir. J. de Graaf en prof.dr. R.M.M.
Mattheij
Eindhoven, 1 december 1995
Full text (pdf)
Peeters, ir. E.A.J. (Eric)
Design of an object-oriented, interactive animation-system
Promotoren: prof.dr.dipl. D.K. Hammer en prof.dr. F.J. Peters;
copromotor: dr.ir. C.W.A.M. van Overveld
Eindhoven, 1 december 1995
Full text (pdf)
Vaessens, ir. R.J.M. (Robert)
Generalized job shop scheduling : complexity and local search
Promotoren: prof.dr. J.K. Lenstra en prof.dr. E.H.L. Aarts
Eindhoven, 22 september 1995
Full text (pdf)
Verhaegh, ir. W.F.J. (Wim)
Multidimensional periodic scheduling
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. J.K. Lenstra;
copromotor: dr.ir. J.H.M. Korst
Eindhoven, 20 december 1995
Full
text (pdf)
Verhoosel, ir. J.P.C. (Jack)
Pre-run-time scheduling of distributed real-time systems : models
and algorithms
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr. L.R. Welch
(Heights, USA); copromotor: dr. E.J. Luit
Eindhoven, 10 januari 1995
Full text (pdf)
Watson, B.W. (Bruce), B.Math.
Taxonomies and toolkits of regular language algorithms
Promotoren: prof.dr. F.E.J. Kruseman Aretz en prof.dr. P. Klint;
copromotor: dr.ir. C. Hemerik
Eindhoven, 15 september 1995
Full text (pdf)
Wennink, drs. M. (Marc)
Algorithmic support for automated planning boards
Promotoren: prof.dr. J.K. Lenstra en prof.dr. M.W.P. Savelsbergh
(Atlanta, USA)
Eindhoven, 15 september 1995
Full text (pdf)
van den Akker, mw. ir. J.M. (Marjan)
LP-based solution methods for single-machine scheduling
problems
Promotoren: prof.dr. J.K. Lenstra en prof.dr. M.W.P. Savelsbergh;
copromotor: dr.ir. C.A.J. Hurkens
Eindhoven, 21 december 1994
Full text (pdf)
Borghuis, drs. V.A.J. (Tijn)
Coming to terms with model logic : on the interpretation of
modalities in typed-calculus
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. H.C. Bunt
(Tilburg); copromotor: dr. R.P. Nederpelt
Eindhoven, 9 december 1994
Full text (pdf)
Bours, ir. P.A.H. (Patrick)
Codes for correcting insertion and deletion errors
Promotoren: prof.dr. J.H. van Lint en prof.dr.ir. H.C.A. van
Tilborg
Eindhoven, 22 juni 1994
Full text (pdf)
Coenen, ir. J.A.A. (Jos)
Formalism for program reification and fault tolerance
Promotoren: prof.dr. W.P. de Roever (Kiel, Duitsland) en prof.dr.
J.C.M. Baeten; copromotor: dr. J.J.M. Hooman
Eindhoven, 18 mei 1994
Full text (pdf)
Coolen, ir. F.P.A. (Frank)
Statistical modeling of expert opinions using imprecise
Probabilities
Promotoren: prof.dr. P. van der Laan en prof.dr. P.C. Sander;
copromotor: dr. M.J. Newby
Eindhoven, 1 februari 1994
Full
text (pdf)
Habets, ir. L.C.G.J.M. (Luc)
Algebraic and computational aspects of time-delay systems
Promotoren: prof.dr.ir. M.L.J. Hautus en prof.dr. J.M. Schumacher
(Tilburg); copromotor: dr.ir. H.J.C. Huijberts
Eindhoven, 1 juni 1994
Full text (pdf)
Hofman, ir. W.J. (Wout)
A conceptual model of a business transaction management
system
Promotoren: prof.dr. K.M. van Hee en prof.dr.ir. J.A.E.E. van
Nunen (Rotterdam)
Eindhoven, 13 september 1994
Full text (pdf)
Koolen, ir. J.H. (Jack)
Euclidean representations and substructures of distance-regular
graphs
Promotoren: prof.dr. A.E. Brouwer en prof.dr. A.M. Cohen
Eindhoven, 21 september 1994
Full text (pdf)
Nuijten, ir. W.P.M. (Wim)
Time and resource constrained scheduling : a constraint
satisfaction approach
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. K.M. van Hee
Eindhoven, 9 december 1994
Full text (pdf)
Poll, ir. E. (Erik)
A programming logic based on type theory
Promotoren: prof.dr. F.E.J. Kruseman Aretz en prof.dr. H.P.
Barendregt (Nijmegen); copromotor: dr.ir. C. Hemerik
Eindhoven, 5 oktober 1994
Full text (pdf)
Rambags, ir. P.M.P. (Paul)
Decomposition and protocols in high-level Petri nets
Promotoren: prof.dr. K.M. van Hee en prof.dr. G. Rozenberg
(Leiden)
Eindhoven, 20 september 1994
Full text (pdf)
Schepers, H.J.J.H. (Henk)
Fault tolerance and timing of sistributed systems : compositional
specification and verification
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr. M. Joseph
(Coventry, UK); copromotor: dr. R.T. Gerth
Eindhoven, 26 mei 1994
Full text (pdf)
Sol, ir. M. (Marc)
Column generation techniques for pickup and delivery problems
Promotoren: prof.dr. J.K. Lenstra en prof.dr. M.W.P. Savelsbergh
(Atlanta, USA)
Eindhoven, 8 november 1994
Full text (pdf)
Struik, ir. M. (René)
Covering codes
Promotoren: prof.dr. J.H. van Lint en prof.dr.ir. H.C.A. van
Tilborg
Eindhoven, 25 oktober 1994
Full text (pdf)
Sun, Feng-Weng
Decoding techniques and a modulation scheme for band-limited
communication
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr.ir. J.P.M.
Schalkwijk
Eindhoven, 22 februari 1994
Full
text (pdf)
van Tilburg, ir. J. (Johan)
Security-analysis of a class of cryptosystems based on linear
error-correcting codes
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr. A.E.
Brouwer
Eindhoven, 29 november 1994
Full text (pdf)
Verhoeff, ir. T. (Tom)
A theory of delay-insensitive systems
Promotor: prof.dr. M. Rem; copromotor: dr.ir. J.T. Udding
Eindhoven, 20 mei 1994
Full text (pdf)
van de Vorst, ir. G.A.L. (Alfred)
Modelling and numerical simulation of viscous sintering
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr.ir. H.K.
Kuiken
Eindhoven, 21 januari 1994
Full
text (pdf)
Wilms, drs. R.J.G. (Roel)
Fractional parts of random variables : limit theorems and
infinite divisibility
Promotoren: prof.dr. F.W. Steutel en prof.dr. P.J. Holewijn (VU
Amsterdam); copromotor: dr. J.G.F. Thiemann
Eindhoven, 26 oktober 1994
Full text (pdf)
Zwietering, ir. P.J. (Patrick)
The complexity of multi-layered perceptrons
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. J. Wessels
Eindhoven, 15 april 1994
Full text (pdf)
Augusteijn, ir. A. (Lex)
Functional programming, program transformations and compiler
construction
Promotoren: prof.dr. F.E.J. Kruseman Aretz en prof.dr. S.D.
Swierstra (Utrecht)
Eindhoven, 7 oktober 1993
Full
text (pdf)
van Dijk, ir. G.J.W. (Gert-Jan)
The design of the EMPS multiprocessor executive for distributed
computing
Promotoren: prof.dr.dipl.ing. D.K. Hammer; prof.dr. S. Mullender
(Enschede)
Eindhoven, 16 maart 1993
Full
text (pdf)
Duursma, drs.ir. I.M. (Iwan)
Decoding codes from curves and cyclic codes
Promotoren: prof.dr. J.H. van Lint en prof.dr. H. Stichtenoth
(Essen, Duitsland); copromotor: dr. G.R. Pellikaan
Eindhoven, 13 september 1993
Full
text (pdf)
Fang, Gang
Binary block codes for correcting asymmetric or unidirectional
errors
Promotoren: prof.dr. J.H. van Lint en prof.dr.ir. H.C.A. van
Tilborg
Eindhoven, 8 maart 1993
Full
text (pdf)
Fronczak, mw. J.M. (Joanna), e.v. van de Mortel
Models of trace theory systems
Promotor: prof.dr. M. Rem; copromotor: dr. P.H.M. America
(Philips)
Eindhoven, 4 mei 1993
Full
text (pdf)
Jansen, ir. J. (Johannes)
Generalized linear mixed models and their application in plant
breeding research
Promotoren: prof.dr. P. van der Laan en prof.dr. B.J.T. Morgan
(Canterbury, UK)
Eindhoven, 27 april 1993
Full
text (pdf)
Klusener, drs. A.S. (Anton)
Models and axioms for a fragment of real time process algebra
Promotoren: prof.dr. J.C.M. Baeten en prof.dr. J.A. Bergstra
(UvA)
Eindhoven, 10 december 1993
Full
text (pdf)
Körver, ir. W.H.F.J. (Wilbert)
A discrete switch-level circuit model that uses 4-valued node
states
Promotoren: prof.dr. M. Rem en prof.dr.ing. J.A.G. Jess
Eindhoven, 9 december 1993
Full
text (pdf)
Koster, ir. G.J.P. (John)
Modelling industrial systems : theory and applications
Promotoren: prof.dr. M. Rem en prof.dr.ir. J.E. Roorda;
copromotor: dr.ir. W.E.H. Kloosterhuis
Eindhoven, 22 december 1993
Full
text (pdf)
Soethoudt, ir. J.M. (Johannes)
Introduction to a behavioral approach for continuous-time
systems
Promotoren: prof.dr.ir. M.L.J. Hautus en prof.dr.ir. J.C. Willems
(Groningen); copromotor: dr.ir. S.J.L. van Eijndhoven
Eindhoven, 26 april 1993
Full
text (pdf)
Upperman, ir. P.M. (Pieter)
Designs with a small number of runs for factorial experiments
Promotoren: prof.dr. P. van der Laan en prof.dr. R. Doornbos;
copromotor: dr.ir. E.E.M. van Berkum
Eindhoven, 23 maart 1993
Full
text (pdf)
Veltman, drs. B. (Bart)
Multiprocessor scheduling with communication delays
Promotor: prof.dr. J.K. Lenstra
Eindhoven, 18 mei 1993
Full
text (pdf)
Verkoulen, ir. P.A.C. (Peter)
Integrated information systems design : an approach based on
object-oriented concepts and Petri nets
Promotoren: prof.dr. K.M. van Hee en prof.dr. J.J.E.L. Paredaens
(Antwerpen, België)
Eindhoven, 17 december 1993
Full
text (pdf)
Zhou, mw. P. (Ping)
Clocks, communications, and correctness
Promotoren: prof.dr. W.P. de Roever (Kiel, Duitsland) en prof.dr.
J.C.M. Baeten; copromotor: dr. J.J.M. Hooman
Eindhoven, 2 december 1993
Full
text (pdf)
Timmermans, L.J.P.
Analysis of spectral element methods with application to incompressible flow
Promotoren: prof.dr.ir. J.D. Janssen (fac.W) en prof.dr. R.M.M. Mattheij (W&I);
copromotor: dr.ir. F.N. van de Vosse
Eindhoven, 26 oktober 1993
Willems, T.M. (Tim)
Neural networks in control?
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr. E.H.L. Aarts (fac.W&I)
Eindhoven, 16 december 1993
van der Aalst, ir. W.M.P. (Wil)
Timed coloured Petri nets and their application to logistics
Promotoren: prof.dr. J. Wessels en prof. K.M. van Hee
Eindhoven, 17 september 1992
Full
text (pdf)
van Berkel, ir. C.A.M.
Integral transformations and spaces of type S
Promotoren: prof.dr.ir. J. de Graaf en prof.dr. J. Boersma;
copromotor dr.ir. S.J.L. van Eijndhoven
Eindhoven, 10 juli 1992
Full
text (pdf)
van Berkel, ir. C.H. (Kees)
Handshake circuits : an intermediary between communicating
processes and VLSI
Promotor: prof.dr. M. Rem
Eindhoven, 6 mei 1992
Full
text (pdf)
Bos, ir. J.N.E. (Jurjen)
Practical privacy
Promotoren: prof.dr.ir. H.C.A. van Tilborg (OU) en prof.dr. J.H.
van Lint
Eindhoven, 24 maart 1992
Full
text (pdf)
Driessen, drs. S.G.A.J. (Stefan)
Statistical selection : multiple comparison approach
Promotor: prof.dr. P. van der Laan
Eindhoven, 3 april 1992
Full
text (pdf)
van Heijst, ir. E.J.L.J. (Eugène)
Special signature schemes
Promotoren: prof.dr.ir. H.C.A. van Tilborg en prof.dr. J.H. van
Lint
Eindhoven, 6 juli 1992
Full
text (pdf)
Hoogeveen, drs. J.A. (Han)
Single-machine bicriteria scheduling
Promotor: prof.dr. J.K. Lenstra
Eindhoven, 7 februari 1992
Full
text (pdf)
Korst, ir. J.H.M. (Jan)
Periodic multiprocessor scheduling
Promotoren: prof.dr. E.H.L. Aarts en prof.dr. J.K. Lenstra.
Eindhoven, 18 december 1992
Full
text (pdf)
Kramer, mw. ir. M.E. (Martina)
Aspects of solving non-linear boundary value problems
numerically
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. G.W.
Veltkamp
Eindhoven, 25 februari 1992
Full
text (pdf)
Loyens, ir. L.D.J.C. (Daniel)
A design method for parallel programs
Promotoren: prof.dr. M. Rem en prof.dr. R.C. Backhouse;
copromotor: dr. P.A.J. Hilbers
Eindhoven, 22 september 1992
Full
text (pdf)
Schoenmakers, ir. L.A.M. (Berry)
Data structures and amortized complexity in a functional
setting
Promotor: prof.dr. M. Rem; copromotor: dr. A. Kaldewaij
Eindhoven, 4 september 1992
Full
text (pdf)
Schols, ir. H.M.J.L. (Huub)
Delay-insensitive communication
Promotoren: prof.dr. M. Rem en prof.dr. C.E. Molnar (St.Louis,
USA)
Eindhoven, 9 december 1992
Full
text (pdf)
Shen, Ba-Zhong MSc
Algebraic-geometric codes and their decoding algorithm
Promotoren: prof.dr. J.H. van Lint en prof.dr. G.B.M. van der
Geer (UvA); copromotor: dr. G.R. Pellikaan
Eindhoven, 28 september 1992
Full
text (pdf)
Struik, ir. P. (Pieter)
Designing parallel programs of parameterized granularity
Promotor: prof.dr. M. Rem; copromotor: dr. A. Kaldewaij
Eindhoven, 10 november 1992
Full
text (pdf)
Fey, R.H.B.
Steady-state behaviour of reduced dynamic systems with local nonlinearities
Promotoren: prof.dr.ir. D.H. van Campen (fac.W) en prof.dr. R.M.M. Mattheij
(fac.W&I); copromotor: dr.ir. A. de Kraker
Eindhoven, 14 januari 1992
Pijnenburg, M.J.P. (Marc)
Reliability analysis of a repairable dependent parallel system
Promotoren: prof.dr. P.C. Sander (fac.TM) en J. Wessels (fac.W&I)
Eindhoven, 22 september 1992
Smit, G.H. (Henk)
A hierarchical control architecture for job-shop manufacturing systems
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr. M. Rem (fac.W&I);
copromotor: dr.ir. J.H.A. Arentsen
Eindhoven, 10 maart 1992
Adan, ir. I.J.B.F. (Ivo)
A compensation approach for queueing problems
Promotoren: prof.dr. J. Wessels en prof.dr. W.H.M. Zijm
(Enschede)
Eindhoven, 19 november 1991
Full
text (pdf)
Eiben, A.E. (Guszti), MSc
A method for designing decision support systems for operational
planning
Promotoren: prof. dr. K.M. van Hee en prof.dr. E.H.L. Aarts
Eindhoven, 02 juli 1991
Full
text (pdf)
Huizing, drs. C. (Kees)
Semantics of reactive systems : comparison and full
abstraction
Promotoren: prof.dr. W.P. de Roever en prof.dr. K.M. van Hee
Eindhoven, 08 maart 1991
Full
text (pdf)
Hooman, drs. J.J.M. (Jozef)
Specification and compositional verifications of real-time
systems
Promotoren: prof.dr. W.P. de Roever en prof.dr.dipl.ing. D.K.
Hammer
Eindhoven, 15 mei 1991
Full
text (pdf)
Kloosterhuis, ir. W.E.H. (Wim)
The enabling model: a tool for performance analysis of concurrent
mechanisms
Promotor: prof.dr. M. Rem
Eindhoven, 18 november 1991
Full
text (pdf)
van der Velde, drs. S.L. (Steef)
Machine scheduling and Lagrangian relaxation
Promotor: prof.dr. J.K. Lenstra
Eindhoven, 05 april 1991
Full
text (pdf)
van Wee, drs. G.J.M. (Gerhard)
Covering codes, perfect codes, and codes from algebraic
curves
Promotoren: prof.dr. J.H. van Lint en prof.dr.ir. H.C.A. van
Tilborg (OU)
Eindhoven, 04 juni 1991
Full
text (pdf)
van de Wetering, ir. H.M.M. (Huub)
Chain coding in computer graphics
Promotoren: prof.dr.dipl.ing. D.K. Hammer en prof.dr. F.J. Peters
(Leiden); copromotor: dr.ir. C.W.A.M. van Overveld.
Eindhoven, 22 november 1991
Full
text (pdf)
Martens, J.H.C.A.
The uncertainty principle
Promotoren: prof.dr.ir. F.W. Sluijter (fac.TN) en prof.dr.ir. J. de Graaf (fac.W&I)
Eindhoven, 19 maart 1991
van Overveld, mw W.M.C.J. (Ineke)
On the capacity region for deterministic two-way channels and write-unidirectional memories
Promotoren: prof.dr.ir. J.P.M. Schalkwijk en prof.dr. J.H. van Lint (fac.W&I)
Eindhoven, 25 januari 1991
Wortmann, A.M.
Modelling and simulation of industrial systems
Promotoren: prof.dr.ir. J.E. Rooda (fac.W) en prof.dr. M. Rem (fac.W&I);
copromotor: dr.ir. J.H.A. Arentsen
Eindhoven, 5 november 1991
Feijs, ir. L.M.G. (Loe)
A formalisation of design methods : a lambda-calculus approach to
system design with an application to text editing
Promotoren: prof.dr. F.E.J. Kruseman Aretz en prof.dr. J.A.
Bergsta (Amsterdam/Utrecht)
Eindhoven, 23 februari 1990
Full
text (pdf)
Houben, ir. G.J.P.M. (Geert-Jan)
An algebra and a message oriented language for a data model based
on complex objects
Promotoren: prof.dr. J.J.E.L. Paredaens en prof.dr. K.M. van
Hee
Eindhoven, 11 december 1990
Full
text (pdf)
Lambeck, drs. E.W. (Ernst)
Contributions to the theory of distance regular graphs
Promotor: prof.dr. A.E. Brouwer
Eindhoven, 6 november 1990
Full
text (pdf)
van Lieshout, ir. P.H. (Peter)
A variational approach to magneto-elastic buckling problems
Promotoren: prof.dr.ir. J. de Graaf en prof.ir. M. Kuipers
(Groningen); copromotor: dr.ir. A.A.F. van de Ven
Eindhoven, 2 november 1990
Full
text (pdf)
Stoorvogel, drs. A.A. (Anton)
The H-infinite control problem : a state space approach
Promotoren: prof.dr.ir. M.L.J. Hautus en prof.dr. R.F. Curtain
(Groningen); copromotor: dr. H.L. Trentelman
Eindhoven, 9 oktober 1990
Full
text (pdf)
van Amelsfort, A.M.J. (Ton)
An analytical algorithm for solving inhomogeneous electromagnetic boundary-value
problems for a set of coaxial circular cylinders
Promotoren: prof.dr. M.P.H. Weenink (fac.E) en prof.dr. G.W. Veltkamp (fac.W&I)
Eindhoven, 13 september 1990
ter Elst, drs. A.F.M. (Tom)
Gevrey spaces related to Lie algebras of operators
Promotoren: prof.dr.ir. J. de Graaf en prof.dr. A.C.M. van Rooij
(Nijmegen); copromotor: dr.ir. S.J.L. van Eijndhoven
Eindhoven, 14 november 1989
Full
text (pdf)
Geerts, ir. A.H.W. (Ton)
Structure of linear-quadratic control
Promotoren: prof.dr.ir. M.L.J. Hautus en prof.dr.ir. J.C. Willems
(Groningen); copromotor: dr. H.L. Trentelman
Eindhoven, 13 oktober 1989
Full
text (pdf)
Hoogerwoord, ir. R.R. (Rob)
The design of functional programs : a calculational approach
Promotoren: prof.dr. M. Rem en prof.dr. F.E.J. Kruseman Aretz
Eindhoven, 19 december 1989
Full
text (pdf)
Kang, Qingde MSc
Large sets of block designs
Promotoren: prof.dr. A.E. de Brouwer en prof.dr. J.H. van
Lint
Eindhoven, 18 augustus 1989
Full
text (pdf)
Koymans, drs. R.L.C. (Ron)
Specifying message passing and time-critical systems with
temporal logic
Promotoren: prof.dr. W.P. de Roever en prof.dr.ir. J. Vytopil
(Nijmegen)
Eindhoven, 26 mei 1989
Full
text (pdf)
Kuiper, drs. R. (Ruurd)
Combining linear time temporal logic descriptions of concurrent
computations
Promotoren: prof.dr. W.P. de Roever en prof.dr. H. Barringer
(Manchester, UK)
Eindhoven, 26 mei 1989
Full
text (pdf)
Liu, Gui-Zhong MSc
Evolution equations and scales of Banach spaces
Promotoren: prof.dr.ir. J. de Graaf en prof.dr.ir. R. Martini
(Enschede)
Eindhoven, 28 juni 1989
Full
text (pdf)
Pieper, ir. F.T.A.M. (Frank)
Data machines and interfaces
Promotoren: prof.dr. W. Peremans en prof.dr. H.C.M. de Swart
(Tilburg); copromotor: dr. E.O. de Brock
Eindhoven, 18 april 1989
Full
text (pdf)
de Ruiter, mw. ir. H.M. (Helena)
Transmission, reflection and radiation at junction planes of
different open waveguides
Promotoren: prof.dr.ir. A.T. de Hoop (Delft) en prof.dr. J.
Boersma
Eindhoven, 5 september 1989
Full
text (pdf)
Stomp, drs. F.A. (Frank)
Design and verification of distributed networks algorithms :
foundations and applications
Promotoren: prof.dr. W.P. de Roever en prof.dr. H.A. Partsch
(Nijmegen)
Eindhoven, 15 december 1989
Full
text (pdf)
Tiersma, ir. H.J. (Herman)
Constructing codes
Promotoren: prof.dr. J.H. van Lint en prof.dr.ir. J.P.M.
Schalkwijk
Eindhoven, 24 oktober 1989
Full
text (pdf)
Zhu, Siquan MSc
Robustness of feedback stabilization : a topological approach
Promotoren: prof.dr.ir. M.L.J. Hautus en prof.dr. J.M. Schumacher
(Tilburg); copromotor: dr. C. Praagman
Eindhoven, 17 november 1989
Full
text (pdf)
Zwaan, ir. G. (Gerard)
Parallel computations
Promotor: prof.dr. M. Rem; copromotor: dr. A. Kaldewaij
Eindhoven, 20 januari 1989
Full
text (pdf)
Dellaert, ir. N.P. (Nico)
Production to order : models and rules for production
planning
Promotoren: prof.dr. J. Wessels en prof.dr. J. Wijngaard
Eindhoven, 25 november 1988
Full
text (pdf)
Engwerda, drs. J.C. (Jacob)
Regulation of linear discrete time-varying systems
Promotor: prof.dr.ir. M.L.J. Hautus; copromotor: dr. C.
Praagman
Eindhoven, 2 september 1988
Full
text (pdf)
van Gasteren, mw. drs. A.J.M. (Antonetta)
On the shape of mathematical arguments
Promotoren: prof.dr. E.W. Dijkstra (Austin, USA) en prof.dr.
F.E.J. Kruseman Aretz
Eindhoven, 20 december 1988
Full
text (pdf)
van Gils, ir. W.J. (Wil)
Design of error-control coding schemes for three problems of
noisy information transmission, storage and processing
Promotoren: prof.dr. J.H. van Lint en prof.dr. H.C.A. van Tilborg
(OU)
Eindhoven, 5 januari 1988
Full
text (pdf)
Hansen, B.G. (Bjørn), MSc
Monotonicity properties of infinitely divisible distributions
Promotoren: prof.dr. F.W. Steutel en prof.dr. W. Vervaat
(Nijmegen)
Eindhoven, 6 december 1988
Full
text (pdf)
Martens, ir. F.J.L. (Frans)
Spaces of analytic functions on inductive/projective limits of
Hilbert spaces
Promotoren: prof.dr.ir. J. de Graaf en prof.dr. S.Th.M.
Ackermans; copromotor: dr.ir. S.J.L. van Eijndhoven
Eindhoven, 8 november 1988
Full
text (pdf)
Overdijk, drs. D.A. (Douwe)
De driedimensionale constructie van Reuleaux : een wiskundige
methode toegepast op de kroonwieloverbrenging
Promotor: prof.dr.ir. J. de Graaf
Eindhoven, 23 augustus 1988
Full
text (pdf)
ten Vregelaar, ir. J.M. (Jan)
Least squares parameter estimation in a dynamic model from noisy
observations
Promotoren: prof.dr.ir. M.L.J. Hautus en prof.dr. R. Doornbos;
copromotor: dr.ir. H.N. Linssen
Eindhoven, 13 december 1988
Full
text (pdf)
Wijbrands, drs. R.J. (Rudo)
Queuing network models and performance analysis of computer
systems
Promotoren: prof.dr. J. Wessels en prof.ir. G.L. Reijns (Delft);
copromotor: dr.ir. J. van der Wal
Eindhoven, 11 maart 1988
Full
text (pdf)
Zwiers, drs. J. (Job)
Compositionality, concurrency and partial correctness : proof
theories for networks of processes, and their connection
Promotoren: prof.dr. W.P. de Roever en dr. P. van Emde Boas
(UvA)
Eindhoven, 12 februari 1988
Full
text (pdf)
Beelen, ir. Th.G.J. (Theo)
New algorithms for computing the Kronecker structure of a pencil
with applications to systems and control theory
Promotoren: prof.dr. G.W. Veltkamp en prof.dr.ir. M.L.J. Hautus;
copromotor: dr. P.M. van Dooren (Philips)
Eindhoven, 19 mei 1987
Full
text (pdf)
Dietz, ir. J.L.G. (Jan)
Modelleren en specificeren van informatiesystemen
Promotoren: prof.dr. K.M. van Hee en prof.dr. T.M.A.
Bemelmans
Eindhoven, 27 oktober 1987
Full
text (pdf)
Dijkstra, drs. J.B. (Jan)
Analysis of means in some non-standard situations
Promotoren: prof.dr. R. Doornbos en prof.dr. P.J. Rousseeuw
(Delft)
Eindhoven, 17 november 1987
Full
text (pdf)
Ebergen, ir. J.C. (Jo)
Translating programs into delay-insensitive circuits
Promotoren: prof.dr. M. Rem en prof.dr. C.E. Molnar (St. Louis,
USA)
Eindhoven, 13 oktober 1987
Full
text (pdf)
van Lierop, mw. ir. M.L.P. (Marloes)
Digitisation functions in computer graphics
Promotoren: prof.dr. F.J. Peters (Leiden) en prof.dr. M. Rem
Eindhoven, 3 juli 1987
Full
text (pdf)
van Loon, drs. P.M. (Paul)
Continuous decoupling transformations for linear boundary value
problems
Promotoren: prof.dr. G.W. Veltkamp; copromotor: dr. R.M.M.
Mattheij
Eindhoven, 27 november 1987
Full
text (pdf)
Machielsen, ir. K.C.P. (Kees)
Numerical solution of optimal control problems with state
constraints by sequential quadratic programming in function
space
Promotoren: prof.dr.ir. M.L.J. Hautus en prof.dr. G.W. Veltkamp;
copromotor: dr.ir. J.L. de Jong
Eindhoven, 31 maart 1987
Full
text (pdf)
van Pul, ir. C.L.M.
Some distance problems in coding theory
Promotoren: prof.dr. J.H. van Lint en prof.dr.ir. H.C.A. van
Tilborg
Eindhoven, 16 januari 1987
Full
text (pdf)
van der Woude, drs. J.W. (Jacob)
Feedback decoupling and stabilization for linear systems with
multiple exogenous variables
Promotoren: prof.dr.ir. M.L.J. Hautus en prof.dr.ir. J.C. Willems
(Groningen); copromotor: dr. H.L. Trentelman
Eindhoven, 1 december 1987
Full
text (pdf)
Balsters, drs. H. (Herman)
Lambda calculus extended with segments
Promotoren: prof.dr. N.G. de Bruijn en prof.dr. W. Peremans
Eindhoven, 4 maart 1986
Full
text (pdf)
van Doremalen, ir. J.B.M. (Jan)
Approximate analysis of queueing network models
Promotoren: prof.dr. J. Wessels en prof.dr. J. Wijngaard
Eindhoven, 14 maart 1986
Full
text (pdf)
Hillegers, ir. L.T.M.E. (Leo)
The estimation of parameters in functional relationship
models
Promotoren: prof.dr. R. Doornbos en prof.dr. P.C. Sander;
copromotor: dr.ir. H.N. Linssen
Eindhoven, 19 december 1986
Full
text (pdf)
Kaldewaij, drs. A. (Anne)
A formalism for concurrent processes
Promotoren: prof.dr. M. Rem en prof.dr. F.E.J. Kruseman Aretz
Eindhoven, 6 mei 1986
Full
text (pdf)
van Berkum, ir. E.E.M. (Emiel)
Optimal paired comparison designs for factorial experiments
Promotoren: prof.dr. R. Doornbos en prof.dr. P.C. Sander
Eindhoven, 15 oktober 1985
Full
text (pdf)
van der Bij, drs. J.D. (Hans)
Over structuur van personele besluitvorming
Promotoren: prof.dr. J. Wessels en prof.dr. J. Wijngaard
Eindhoven, 29 oktober 1985
Full
text (pdf)
Veen, A.H. (Arthur), MSc
The misconstrued semicolon : reconciling imperative languages and
dataflow machines
Promotoren: prof.dr.M. Rem en prof.dr. J. Gurd (Manchester)
Eindhoven, 13 september 1985
Full
text (pdf)
de Brock, drs. E.O. (Bert)
Database models and retrieval languages
Promotoren: prof.dr. W. Peremans en prof.dr. F.E.J. Kruseman
Aretz
Eindhoven, 16 maart 1984
Full
text (pdf)
Hemerik, ir. C. (Kees)
Formal definitions of programming languages as a basis for
compiler construction
Promotoren: prof.dr. F.E.J. Kruseman Aretz en prof.dr. E.W.
Dijkstra
Eindhoven, 15 mei 1984
Full
text (pdf)
Terpstra, ir. K. (Klaas)
Phased mission analysis of maintained systems : a study in
reliability and risk analysis
Promotoren: prof.dr. J.W. Cohen en prof.dr. J. Wessels
Eindhoven, 4 december 1984
Full
text (pdf)
Thiemann, drs. J.G.F. (Jan)
Analytic spaces and dynamic programming : a measure-theoretic
approach
Promotoren: prof.dr. F.H. Simons en prof.dr. J. Wessels
Eindhoven, 8 juni 1984
Full
text (pdf)
Udding, ir. J.T. (Jan Tijmen)
Classification and composition of delay-insensitive circuits
Promotoren: prof.dr. M. Rem en prof.dr. E.W. Dijkstra
Eindhoven, 25 september 1984
Full
text (pdf)
ten Eikelder, H.M.M. (Huub)
Canonical and non-canonical symmetries for Hamiltonian systems
Promotoren: prof.dr. L.J.F. Broer (fac.TN) en prof.dr.ir. J. de Graaf (fac.W&I)
Eindhoven, 3 februari 1984
Blokhuis, drs. A. (Aart)
Few-distance sets
Promotoren: prof.dr. J.J. Seidel en prof.dr. J.H. van Lint
Eindhoven, 30 september 1983
Full
text (pdf)
van Damme, drs. E.E.C. (Eric)
Refinements of the Nash equilibrium concept
Promotoren: prof.dr. J. Wessels en prof.dr. R. Selten
(Bielefeld)
Eindhoven, 21 januari 1983
Full
text (pdf)
van Eijndhoven, ir. S.J.L. (Stef)
Analyticity spaces, trajectory spaces, and linear mappings
between them
Promotoren: prof.dr.ir. J. de Graaf en prof.dr. H. Bart
Eindhoven, 24 mei 1983
Full
text (pdf)
Hoekstra, drs. A.H. (Ægle)
On Markov chains of finite rank
Promotoren: prof.dr. F.W. Steutel en prof.dr. J.Th. Runnenburg
(UvA)
Eindhoven, 1 februari 1983
Full
text (pdf)
van de Snepscheut, ir. J.L.A. (Jan)
Trace theory and VLSI design
Promotoren: prof.dr. M. Rem en prof.dr. E.W. Dijkstra
Eindhoven, 14 oktober 1983
Full
text (pdf)
Wilbrink, ir. H.A. (Henny)
Characterization theorems in finite geometry
Promotoren: prof.dr. J.H. van Lint en prof.dr. J.J. Seidel
Eindhoven, 1 november 1983
Full
text (pdf)
Jonkers, ir. H.B.M.
Abstraction, specification and implementation techniques : with
an application to garbage collection
Promotoren: prof.dr. F.E.J. Kruseman Aretz en prof.dr. M. Rem
Eindhoven, 12 februari 1982
Full
text (pdf)
Klint, drs. P. (Paul)
From SPRING to SUMMER : design, definition and implementation of
programming languages for string manipulation and pattern
matching
Promotoren: prof.dr. F.E.J. Kruseman Aretz en prof. H. Whitfield
(Newcastle upon Tyne)
Eindhoven, 30 maart 1982
Full
text (pdf)
Koene, ir. J. (Jacob)
Minimal cost flow in processing networks : a primal approach
Promotoren: prof.dr. J.F. Benders en prof.dr. J. Wessels
Eindhoven, 27 april 1982
Full
text (pdf)
ter Morsche, drs. H.G. (Hennie)
Interpolational and extremal properties of L-spline functions
Promotoren: prof.dr.ir. F. Schurer en prof.dr. F.W. Steutel
Eindhoven, 16 april 1982
Full
text (pdf)
Zijm, drs. W.H.M. (Henk)
Nonnegative matrices in dynamic programming
Promotoren: prof.dr. J. Wessels en prof.dr. G.W. Veltkamp
Eindhoven, 29 januari 1982
Full
text (pdf)
van den Heuvel, drs. P.J. (Paul)
The stability of a macro-economic system with quantity
constraints
Promotoren: prof.dr. H.N. Weddepohl (UvA) en prof.dr.ir. M.L.J.
Hautus; copromotor: dr.ir. J.L. de Jong
Eindhoven, 11 september 1981
Full
text (pdf)
Tigelaar, drs. H.H. (Harry)
Identification and informative sample size
Promotoren: prof.dr. B.B. van Genugten (Tilburg) en prof.dr. F.W.
Steutel
Eindhoven, 13 oktober 1981
Full
text (pdf)
Bollen, ir. J.A.M. (Jo)
Round-off error analysis of descent methods for solving in linear
equations
Promotoren: prof.dr. G.W. Veltkamp en prof.dr.ir. M.L.J.
Hautus
Eindhoven, 2 december 1980
Full
text (pdf)
van Daalen, ir. D.T. (Diederik)
The language theory of AUTOMATH
Promotoren: prof.dr. N.G. de Bruijn en prof.dr. W. Peremans
Eindhoven, 15 februari 1980
Full
text (pdf)
Eising, drs. F. (Rikus)
2-D systems: an algebraic approach
Promotoren: profdr.ir. M.L.J. Hautus en prof.dr.ir. J.C. Willems
(Groningen)
Eindhoven, 21 maart 1980
Full
text (pdf)
van Geldrop, drs. J.H. (Jan)
A mathematical theory of pure exchange economies without the
no-critical-point hypothesis
Promotoren: prof.dr. S.Th.M. Ackermans en prof.dr. J.F.
Benders
Eindhoven, 14 november 1980
Full
text (pdf)
Linssen, ir. H.N. (Nico)
Functional relationships and minimum sum estimation
Promotoren: prof.dr. R. Doornbos en prof.dr. G.W. Veltkamp
Eindhoven, 5 september 1980
Full
text (pdf)
Verhoeven, drs. C.J. (Cornelis)
Instruments for corporate manpower planning : applicability and
applications
Promotoren: prof.dr. J. Wessels en prof.ir. W. Monhemius
Eindhoven, 25 november 1980
Full
text (pdf)
van der Vet, ir. R.P.
Flexible solutions to systems of linear equalities and
inequalities : a study in linear programming
Promotoren: prof.dr. J.F. Benders en prof.dr. F.A. Lootsma
(Delft)
Eindhoven, 24 juni 1980
Full
text (pdf)
van der Wal, ir. J. (Jan)
Stochastic dynamic programming : successive approximations and
nearly optimal strategies for Markov decision processes and
Markov games
Promotoren: prof.dr. J. Wessels en prof.dr. J.F. Benders
Eindhoven, 19 september 1980
Full
text (pdf)
Haemers, ir. W.H. (Willem)
Eigenvalue techniques in design and graph theory
Promotoren: prof.dr. J.J. Seidel en prof.dr. J.H. van Lint
Eindhoven, 30 oktober 1979
Full
text (pdf)
Janssen, ir. A.J.E.M.
Application of the Wigner distribution to harmonic analysis of
generalized stochastic processes
Promotoren: prof.dr. N.G. de Bruijn en prof.dr. C.L. Scheffer
(Delft)
Eindhoven, 26 juni 1979
Full
text (pdf)
Peters, drs. F.J. (Frans)
Sparse matrices and substructures : with a novel implementation
of finite element algorithms
Promotoren: prof.dr. R.J. Lunbeck en prof.dr. G.W. Veltkamp
Eindhoven, 7 december 1979
Full
text (pdf)
Groenewegen, drs. L.P. (Lucas)
Characterization of optimal strategies in dynamic games
Promotoren: prof.dr. J. Wessels en prof.dr. M.L.J. Hautus
Eindhoven, 20 januari 1978
Full
text (pdf)
van Harn, drs. K. (Klaas)
Classifying infinitely divisible distributions by functional
equations
Promotoren: dr. F.W. Steutel en prof.dr. R. Doornbos
Eindhoven, 10 november 1978
Full
text (pdf)
van Hee, drs. K.M. (Kees)
Bayesian control of Markov chains
Promotoren: prof.dr. J. Wessels en prof.dr. F.W. Steutel
Eindhoven, 10 maart 1978
Full
text (pdf)
Reuvers, drs. H.F.H. (Hennie)
Some non-existence theorems for perfect codes over arbitrary
alphabets
Promotoren: prof.dr. J.H. van Lint en prof.dr. J.H. de Boer
(Nijmegen)
Eindhoven, 18 januari 1977
Full
text (pdf)
van Benthem Jutting, drs. L.S. (Bert)
Checking Landau's "Grundlagen" in the Automath system
Promotoren: prof.dr. N.G. de Bruijn en prof.dr. W. Peremans
Eindhoven, 1 maart 1977
Full
text (pdf)
Jansen, ir. J.K.M. (Jos)
Simple-periodic and non-periodic Lamé functions and their
application in the theory of conical waveguides
Promotoren: prof.dr. G.W. Veltkamp en prof.dr. C.J. Bouwkamp
Eindhoven, 8 oktober 1976
Full
text (pdf)
van Nunen, ir. J.A.E.E. (Jo)
Contracting Markov decision processes
Promotoren: prof.dr. J. Wessels en prof.dr. S.Th.M. Ackermans
Eindhoven, 25 mei 1976
Full
text (pdf)
Rem, drs. M. (Martin)
Associons and the closure statement
Promotoren: prof.dr. E.W. Dijkstra en prof.dr. F.E.J. Kruseman
Aretz
Eindhoven, 12 oktober 1976
Full
text (pdf)
van Tilborg, ir. H.C.A. (Henk)
Uniformly packed codes
Promotoren: prof.dr. J.H. van Lint en prof.dr. J.M. Goethals
(Louvain)
Eindhoven, 1 juni 1976
Full
text (pdf)
de Jong, drs. L.S.(Lieuwe)
Numerical aspects of realization algorithms in linear systems
theory
Promotoren: prof.dr. G.W. Veltkamp en prof.dr.ir. M.L.J.
Hautus
Eindhoven, 1 juli 1975
Full
text (pdf)
van der Veen, ir. B. (Bouke)
Een operationele analyse van enige wachtmodellen
Promotoren: prof.ir. W. Monhemius en prof.dr. J. Wessels
Eindhoven, 18 februari 1975
Full text (pdf)
van de Ven, drs. A.A.F. (Fons)
Interaction of electromagnetic and elastic fields in solids
Promotoren: prof.dr. J.B. Alblas en prof.dr. L.J.F. Broer
Eindhoven, 20 mei 1975
Full
text (pdf)
Wijngaard, drs. J. (Jacob)
Stationary Markovian decision problems: discrete time, general
state space
Promoteren: prof.dr. J. Wessels en dr. F.H. Simons
Eindhoven, 29 april 1975
Full
text (pdf)
--
Evers, ir. J.J.M. (Joop)
Linear programming over an infinite horizon
Promotoren: prof.dr. J.F. Benders en dr.ir. M.L.J. Hautus
Eindhoven, 29 juni 1973
Full
text (pdf)
Nederpelt, drs. R.P. (Rob)
Strong normalization in a typed lambda calculus with
lambda-structured types
Promotoren: prof.dr. N.G. de Bruijn en prof.dr. W. Peremans
Eindhoven, 12 juni 1973
Full
text (pdf)
--
Nijst, drs. A.G.P.M. (Arthur)
Conditional mean information and conditional mean entropy
Promotor: prof.dr. G.M.T.P. Helmberg
Eindhoven, 15 juni 1971
Full
text (pdf)
Simons, drs. F. (Fred)
Recurrence properties and periodicity for Markov processes
Promotor: prof.dr. G.M.T.P. Helmberg
Eindhoven, 25 juni 1971
Full
text (pdf)
van der Laan, drs. P. (Paul)
Simple distribution-free confidence intervals for a difference in
location
Promotoren: prof.dr. L.C.A. Corsten en prof.dr. R. Doornbos
Eindhoven, 26 juni 1970
Full
text (pdf)
Lootsma, drs. F.A. (Freerk)
Boundary properties of penalty functions for constrained
minimization
Promotor: prof.dr. J.F. Benders
Eindhoven, 15 mei 1970
Full
text (pdf)
Hautus, ir. M.L.J. (Malo)
Optimal control of differential systems with discontinuous
right-hand side
Promotor: prof.dr. N.G. de Bruijn
Eindhoven, 29 juni 1970
Full
text (pdf)
Paardekooper, drs. M.H.C.
An eigenvalue algorithm based on norm-reducing
transformations
Promotor: prof.dr. G.W. Veltkamp
Eindhoven, 2 december 1969
Full
text (pdf)
van Westrhenen, drs. S.C. (Chris)
The statistical estimation of provability in the first order
predicate calculus
Promotor: prof.dr. W. Peremans
Eindhoven, 27 mei 1969
Full
text (pdf)
van de Kerkhof, drs. H.P.J.
General group extensions
Promotor: prof.dr. W. Peremans
Eindhoven, 28 juni 1968
Full
text (pdf)
Wessels, drs. J. (Jaap)
Decision rules in Markovian decision processes with incompletely
known transition probabilities
Promotor: prof.dr. J.F. Benders
Eindhoven, 30 januari 1968
Full
text (pdf)
Habermann, drs. A.N. (Nico)
On the harmonious co-operation of abstract machines
Promotor: prof.dr. E.W. Dijkstra
Eindhoven, 24 oktober 1967
Full
text (pdf)
van der Meiden, drs. W. (Wim)
Point-free carrier space topology for commutative Banach
algebras
Promotor: prof.dr. N.G. de Bruijn
Eindhoven, 7 november 1967
Full
text (pdf)
Post, drs. K.A. (Karel)
Integration in locally compact spaces by means of uniformly
distributed sequences
Promotor: prof.dr. G.M.T.P. Helmberg
Eindhoven, 20 juni 1967
Full
text (pdf)
Beenakker, drs. J.J.A.
The differential-difference equation α x f'(x) + f(x-1) =
0
Promotor: prof.dr. N.G. de Bruijn
Eindhoven, 22 november 1966
Full
text (pdf)
Mandel, J. (John)
A statistical study of physical classroom experiments
Promotor: prof.dr. H.C. Hamaker
Eindhoven, 29 juni 1965
Full
text (pdf)
Ackermans, drs. S.Th.M. (Stan)
An asymptotic method in the theory of series
Promotor: prof.dr. N.G. de Bruijn
Eindhoven, 26 mei 1964
Full
text (pdf)
Dijksman, drs. E.A. (Evert)
Synthese van stangenvierzijden met V-vormige symmetrische
koppelkrommen
Promotor: prof.dr. J.B. Alblas
Eindhoven, 29 september 1964
Full
text (pdf)
--
Duijvestijn, ir. A.J.W. (Arie)
Electronic computation of squared rectangles
Promotor: prof.dr. C.J. Bouwkamp
Eindhoven, 29 juni 1962
Full
text (pdf)
Eindhoven, 2012 * bureau bestuursondersteuning W&I