Home Promoties en examens

Promoties Wiskunde en Informatica


| binnenkort | in aantocht |
| 2016 | 2015 | 2014 | 2013 | 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 |

Agenda promoties TU/e



Binnenkort

Mzolo, T.V.
Statistical methods for the analysis of bioassay data
Promotor: prof.dr. E.R. van den Heuvel; copromotor: dr. A. Di Bucchianico
Eindhoven, 19 april 2016

Efremova, I.
Mining social structures from genealogical data
Promotoren: prof.dr. T.G.K. Calders en prof.dr. P.M.E. De Bra
Eindhoven, 20 april 2016

Luo, Y.
From conceptual models to safety assurance: applying model-based techniques to support safety assurance
Promotor: prof.dr. M.G.J. van den Brand; copromotoren: dr. A. Serebrenik en dr.ie. L.J.P. Engelen
Eindhoven, 26 april 2016



In aantocht

Bhardwaj MSc, S. (Sachin)
Semantic interoperability for smart spaces: architecture, management and applications
Promotor: prof.dr. J.J. Lukkien; copromotor: dr. T. Ozcelebi
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

David MSc, I. (Ionut)
Run-time resource management for component-based systems
Promotor: prof.dr. J.J. Lukkien; copromotor: dr. R.H. Mak
Eindhoven, datum nog niet bekend

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

Verschoor, drs.ing. M. (Mickael)
Simulation and animation of rigid and deformable solids
Promotor: prof.dr.ir. J.J. van Wijk; copromotor: dr. A.C. Jalba
Eindhoven, datum nog niet bekend

Zawedde MSc, mw A.S. (Aminah)
Modelling the dynamics of requirements process improvement
Promotoren: prof.dr. M.G.J. van den Brand en prof. D.W. Williams
Eindhoven, datum nog niet bekend

Zisis MSc, I. (Iason)
Smoothed particle hydrodynamics for multiphase compressible flow. A study of hypervelocity impacts into laminates
Promotor: prof.dr.ir. B. Koren; copromotoren: dr.ir. B.J. van der Linden en dr. C.G. Giannopapa
Eindhoven, datum nog niet bekend



2016

(8) (cum:572)

Cao MSc, X.(Xiulei)
Mathematical and numerical analysis for non-equilibrium two phase flow models in porous media
Promotoren: prof.dr. I.S. Pop en prof.dr.ir. C.J. van Duijn
Eindhoven, 22 maart 2016

Corbetta MSc, A. (Alessandro)
Multiscale crowd dynamics: physical analysis, modeling and applications
Promotoren: prof.dr. F. Toschi en prof.dr. R. Ceravolo; copromotor: dr. L. Bruno
Eindhoven, 1 februari 2016

Gazda MSc, M.W. (Maciej)
Fixpoint logic, games, and relations of consequence
Promotoren: prof.dr.ir. J.F. Groote en prof.dr. J.C. van de Pol; copromotor: dr.ir. T.A.C. Willemse
Eindhoven, 15 maart 2016

Joosten MSc, S.J.C. (Sebastiaan)
Verification of interconnects
Promotoren: prof.dr.ir. J.F. Groote en prof.dr. M.C.J.D. van Eekelen; copromotor: J. Schmaltz
Eindhoven, 24 februari 2016

Keshishzadeh, S.
Formal analysis and verification of embedded systems for healthcare
Promotoren: prof.dr.ir. J.F. Groote en prof.dr. J.J.M. Hooman; copromotor: dr.ir. A.J. Mooij
Eindhoven, 24 maart 2016

Laarhoven, ir. T.M.M. (Thijs)
Search problems in cryptography: from fingerprinting to lattice sieving
Promotor: prof.dr. T. Lange; copromotoren: dr. B.M.M. de Weger en dr. B. Skoric
Eindhoven, 16 februari 2016 (cum laude)

Prioriello MSc, M.L. (Maria Luisa)
Classical and non-classical limit theorems for Ising model on random graphs
Promotoren: prof.dr. R.W. van der Hofstad en prof.dr. C. Giardinà; copromotor: dr. C. Giberti
Eindhoven, 27 januari 2016

Sanders MSc, J. (Jaron)
Stochastic optimization of large-scale complex systems
Promotoren: prof.dr. J.S.H. van Leeuwaarden en prof.dr. S.C. Borst
Eindhoven, 28 januari 2016 (cum laude)



2015

(25) (cum:564)

Badila, drs. E.S. (Emil)
Queues and risk models
Promotor: prof.dr.ir. O.J. Boxma; copromotor: dr. J.A.C. Resing
Eindhoven, 22 juni 2015 (14:00)
Full text (pdf)

Bonaschi MSc, G.A.
Three topics regarding gradient flows
Promotoren: prof.dr. M.A. Peletier en prof.dr. G. Savaré
Eindhoven, 23 november 2015

Bui MSc PDEng, T.V. (The Vinh)
A software architecture for body area sensor networks: flexibility and trustworthiness
Promotoren: prof.dr. J.J. Lukkien en prof.dr.ir. J.P.M.G. Linnartz; copromotor: dr.ir. P.H.F.M. Verhoeven
Eindhoven, 4 maart 2015
Full text (pdf)

Costante MSc, E. (Elisa)
Privacy throughout the data cycle
Promotoren: prof.dr. M. Petkovic en prof.dr. S. Etalle; copromotor: dr. J.I. den Hartog
Eindhoven, 31 maart 2015
(embargo op full text tot 31 maart 2016)

Cranen MSc, S. (Sjoerd)
Getting the point: obtaining and understanding fixpoints in model checking
Promotoren: prof.dr.ir. J.F. Groote en prof.dr. J.J. Lukkien; copromotor: dr. S.P. Luttik
Eindhoven, 17 juni 2015
Full text (pdf)

Dajsuren MSc, Y. (Yanja)
On the design of an architecture framework and quality evaluation for automotive software systems
Promotor: prof.dr. M.G.J. van den Brand; copromotor: dr. A. Serebrenik
Eindhoven, 26 mei 2015
(embargo op full text tot 26 november 2015)

Dinkla MSc, K. (Kasper)
Visualization of modular structures in biological networks
Promotor: prof.dr.ir. J.J. van Wijk; copromotor: dr. M.A. Westenberg
Eindhoven, 1 september 2015

Dorsman, J.L. (Jan-Pieter)
Layered queueing networks: performance modelling, analysis and optimisation
Promotoren: prof.dr.ir. O.J. Boxma en prof.dr. R.D. van der Mei; copromotor: dr. M. Vlasiou
Eindhoven, 17 februari 2015
Full text (pdf)

Eggermont MSc, R.H. (Rob)
Finiteness properties of varieties with large group actions
Promotoren: prof.dr. A.M. Cohen en prof.dr. J. Draisma
Eindhoven, 27 mei 2015 (cum laude)
Full text (pdf)

van den Elzen, ir. S.J. (Stef)
Interactive visualization of dynamic multivariate networks
Promotor: prof.dr.ir. J.J. van Wijk; copromotor: dr.ir. D.H.R. Holten
Eindhoven, 18 november 2015 (cum laude)

van Es MSc, B. (Bram)
Numerical methods for anisotropic diffusion
Promotoren: prof.dr.ir. B. Koren; copromotor: dr. H.J. de Blank
Eindhoven, 22 april 2015
(embargo op full text tot 22 april 2017)

Evers MSc, J.H.M. (Joep)
Evolution equations for systems governed by social interactions
Promotor: prof.dr. M.A. Peletier; copromotor: dr. A. Muntean
Eindhoven, 1 juni 2015 (cum laude)
Full text (pdf)

Fleischmann, Dipl.-Math. S.Y.G. (Yael)
A geometric approach to classical Lie algebras
Promotor: prof.dr. A.M. Cohen; copromotor: dr. F.G.M.T. Cuypers
Eindhoven, 26 mei 2015
(embargo op full text tot 26 mei 2017)

Kota Gopalakrishna MSc, A. (Aravind)
Intelligent lighting: challenges, issues and solutions (A machine learning perspective)
Promotoren: prof.dr. A. Liotta en prof.dr. J.J. Lukkien; copromotor: dr. T. Ozcelebi
Eindhoven, 21 april 2015
(embargo op full text tot 21 april 2017)

Leonova MSc PDEng, T.I. (Tatiana)
Film blowing modeling to enhance film property prediction
Promotor: prof.dr.ir. B. Koren; copromotoren: dr.ir. S.J.L. van Eijndhoven en dr.ir. C.F.J. den Doelder
Eindhoven, 7 oktober 2015

Luo MSc, Y. (Yongming)
Designing algorithms for big graph datasets: A study of computing bisimulation and joins
Promotor: prof.dr. P.M.E. De Bra; copromotoren: dr. G.H.L. Fletcher en dr.ir. A.J.H. Hidders
Eindhoven, 16 maart 2015
Full text (pdf)

van Meurs MSc, P.J.P. (Patrick)
Discrete-to-continuum limits of interacting dislocations
Promotor: prof.dr. M.A. Peletier; copromotor: A. Muntean
Eindhoven, 16 september 2015

Reimer, Dipl.-Geograph A.W. (Andreas)
Cartographic modeling for automated map generation
Promotor: prof.dr. B. Speckmann; copromotor: dr. W.A. Mackaness
Eindhoven, 1 juni 2015
Full text (pdf)

Roth MSc, M. (Martin)
Analysis of trends in extreme rainfall: a regional approach
Promotoren: prof.dr. J.H. van Zanten en prof.dr.ir. G. Jongbloed; copromotor: dr. T.A. Buishand
Eindhoven, 12 maart 2015
Full text (pdf)

Scheepens MSc, R.J. (Roeland)
Visualization for maritime situational awareness
Promotor: prof.dr.ir. J.J. van Wijk; copromotor: dr.ir. H.M.M. van de Wetering
Eindhoven, 23 november 2015

Sinitsyn MSc, A.G. (Alexandre)
Personal content management in ambient intelliget environments
Promotoren: prof.dr. J.J. Lukkien; copromotor: dr.ir. A. van Halteren
Eindhoven, 2 maart 2015

Stolikj MSc, M. (Milosh)
Building blocks for the Internet of Things
Promotor: prof.dr. J.J. Lukkien; copromotor: dr.ir. P.J.L. Cuijpers
Eindhoven, 19 oktober 2015

Vatamidou, mw E. (Eleni)
Error analysis of structured Markov chains
Promotoren: prof.dr. A.P. Zwart en prof.dr.ir. I.J.B.F. Adan; copromotor: dr. M. Vlasiou
Eindhoven, 22 juni 2015 (16:00)
Full text (pdf)

Verrijzer, ir. R. (Rikko)
Context in interactive mathematical documents: personalizing mathematics
Promotor: prof.dr. A.M. Cohen; copromotor: F.G.M.T. Cuypers
Eindhoven, 3 december 2015

Zocca MSc, A. (Alessandro)
Spatio-temporal dynamics of random-access networks: An interacting particle approach
Promotoren: prof.dr. S.C. Borst en prof.dr. J.S.H. van Leeuwaarden; copromotor: dr. F.R. Nardi
Eindhoven, 17 december 2015

en voorts met een tweede promotor of copromotor van W&I:

Nieuwenhuizen, drs. C.J.H. (Karin)
Quantitative analysis of computer interaction movements
Promotoren: prof.dr.ir. J.-B.O.S. Martens en prof.dr.ir. R. van Liere
Eindhoven, 13 mei 2015

Mohamed MSc, A (Abdallah)
Accelerated cardiovascular MRI
Promotoren: prof.dr. K. Nicolaij en prof.dr. L.M.J. Florack; copromotor: dr.ir. G.J. Strijkers
Eindhoven, 30 maart 2015
Full text (pdf)



2014

(19) (cum:539)

Adriansyah MSc, A. (Arya)
Aligning observed and modeled behavior
Promotor: prof.dr.ir. W.M.P. van der Aalst; copromotor: dr.ir. B.F. van Dongen
Eindhoven, 3 april 2014
Full text (pdf)

Aoun MSc, M. (Marc)
Time and timeliness in wireless sensor networks
Promotor: prof.dr. J.J. Lukkien; copromotor: dr. P.D.V. van der Stok
Eindhoven, 21 januari 2014

Aslam MSc, W. (Waqar)
Quality of service based distributed control of wireless networks
Promotor: prof.dr. J.J. Lukkien; copromotor: dr. T. Özçelebi
Eindhoven, 26 juni 2014
(embargo op full text tot 26 juni 2016)

Banagaaya MSc, N.P. (Nicodemus)
Index-aware model order reduction for DAEs
Promotoren: prof.dr. W.H.A. Schilders en prof.dr. C. Tischendorf; copromotor: dr. M.E. Hochstenbach
Eindhoven, 22 september 2014
Full text

Brusò MSc, M. (Mayla)
Dissecting unlinkability
Promotor: prof.dr. S. Etalle; copromotor: dr. J.I. den Hartog
Eindhoven, 18 juni 2014 (16:00 uur)
Full text (pdf)

Buijs MSc, J.C.A.M. (Joos)
Flexible evolutionary algorithms for mining structured process models
Promotor: prof.dr.ir. W.M.P. van der Aalst; copromotor: dr.ir. B.F. van Dongen
Eindhoven, 28 oktober 2014
Full text (pdf)

Duong MSc, M.H. (Manh Hong)
Large deviation and variational approaches to generalized gradient flows
Promotor: prof.dr. M.A. Peletier; copromotor: dr. J. Zimmer
Eindhoven, 25 september 2014 (cum laude)
(embargo op full text tot 25 september 2016)

Krehel MSc, O. (Oleh)
Aggregation and fragmentation in reaction-diffusion systems posed in heterogeneous domains
Promotor: prof.dr. M.A. Peletier; copromotor: dr. A. Muntean
Eindhoven, 13 oktober 2014
(embargo op full text tot 13 oktober 2015)

van der Meer MSc, A.P. (Arjan)
Type systems for domain specific languages
Promotoren: prof.dr. M.G.J. van den Brand en prof.dr.ir. J.F. Groote; copromotor: dr. A. Serebrenik
Eindhoven, 10 november 2014
Full text (pdf)

Meulemans MSc, W. (Wouter)
Similarity measures and algorithms for cartographic schematization
Promotor: prof.dr. B. Speckmann; copromotor: dr. K.A. Buchin
Eindhoven, 2 september 2014 (cum laude)
Full text (pdf)

Müller, Dipl.-Inf. R. (Richard)
Verifying responsiveness for open systems by means of conformance checking
Promotoren: prof.dr.ir. W.M.P. van der Aalst en prof.dr. W. Reisig; copromotor: dr. C. Stahl
Eindhoven, 28 augustus 2014
Full text (pdf)
(embargo op full text tot 28 februari 2015)

Noroozi MSc, mw N. (Neda)
Improving input output conformance testing theories
Promotoren: prof.dr. M.R. Mousavi en prof.dr. J.F. Groote; copromotor: dr.ir. T.A.C. Willemse
Eindhoven, 27 oktober 2014
(embargo op full text tot 27 oktober 2015)

Oppeneer, ir. M. (Martien)
Sound propagation in lined ducts with parallel flow
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr.ir. B. Koren; copromotor: dr. S.W. Rienstra
Eindhoven, 30 juni 2014
Full text (pdf)

Prins MSc, C.R. (Corien)
Inverse methods for illumination optics
Promotor: prof.dr.ir. W.L. IJzerman; copromotoren: dr.ir. J.H.M. ten Thije Boonkkamp en dr.ir. T.W. Tukker
Eindhoven, 3 september 2014
Full text (pdf)

Ramos MSc, V.F.C. (Vinicius)
Adaptive hypermedia courses: qualitative and quantitative evaluation and tool support
Promotoren: prof.dr. P.M.E. De Bra en prof.dr. G.B. Xexéo; copromotor: dr. M. Pechenizkiy
Eindhoven, 29 april 2014
Full text (pdf)

Simone MSc, A. (Antonino)
Error probabilities in Tardos codes
Promotor: prof.dr. S. Etalle; copromotor: dr. B. Škorić
Eindhoven, 18 juni 2014 (14:00 uur)
Full text (pdf)

Szabó MSc, B.T. (Botond)
Adaptation and confidence in nonparametric Bayes
Promotoren: prof.dr. J.H. van Zanten en prof.dr. A.W. van der Vaart
Eindhoven, 19 februari 2014
Full text (pdf)

Vasilescu MSc, B.N. (Bogdan)
Social aspects of collaboration in online software communities
Promotor: prof.dr. M.G.J. van den Brand; copromotor: dr. A. Serebrenik
Eindhoven, 20 oktober 2014 (cum laude)
Full text (pdf)

Veeningen MSc, M.G. (Meilof)
Objective privacy: understanding the privacy impact of information exchange
Promotor: prof.dr. S. Etalle; copromotoren: dr. B.M.M. de Weger en dr. N. Zannone
Eindhoven, 10 juni 2014
Full text (pdf)

en voorts met een tweede promotor of copromotor van W&I:

Bera MSc, D. (Debjyoti)
Petri nets for modeling robots
Promotoren: prof.dr. H. Nijmeijer (fac.W) en prof.dr. K.M. van Hee
Eindhoven, 22 oktober 2014
Full text (pdf)



2013

(21) (cum:520)

De Andrade Serra MSc, P.J. (Paulo)
Non-parametric inference and tracking for Poisson processes
Promotor: prof.dr. J.H. van Zanten; copromotor: dr. E.N. Belitser
Eindhoven, 23 september 2013
Full text (pdf)

Beohar, ir. H. (Harsh)
Refinement of communication and states in models of embedded systems
Promotoren: prof.dr. J.C.M. Baeten en prof.dr.ir. J.E. Rooda; copromotor: dr.ir. P.J.L. Cuijpers
Eindhoven, 22 januari 2013
Full text (pdf)

Bouman MSc, N. (Niek)
Queue-based random access in wireless networks
Promotoren: prof.dr.ir. S.C. Borst en prof.dr. J.S.H. van Leeuwaarden
Eindhoven, 19 december 2013
Full text (pdf)

Businge MSc, J. (John)
Co-evolution of the Eclipse framework and its third-party plug-ins
Promotoren: prof.dr. M.G.J. van den Brand en prof.dr.ir. Th.P. van der Weide; copromotor: dr. A. Serebrenik
Eindhoven, 4 juli 2013
Full text (pdf)

Dommers MSc, S. (Sander)
Spin models on random graphs
Promotor: prof.dr. R.W. van der Hofstad; copromotor: dr. C. Giardinà
Eindhoven, 26 maart 2013
Full text (pdf)

Fatima MSc, T. (Tasnim)
Multiscale reaction-diffusion systems describing concrete corrosion: modeling and analysis
Promotor: prof.dr. M.A. Peletier
Eindhoven, 28 februari 2013
Full text (pdf)

Fitzner, Dipl.-Math. R.J. (Robert)
Non-backtracking lace expansion
Promotor: prof.dr. R.W. van der Hofstad
Eindhoven, 2 juli 2013
Full text (pdf)

Frenk, ir. B.J. (Bart)
Tropical varieties, maps and gossip
Promotor: prof.dr. A.M. Cohen; copromotor: dr.ir. J. Draisma
Eindhoven, 13 maart 2013
Full text (pdf)

Gerrits, ir. D.H.P. (Dirk)
Pushing and pulling: computing push plans for disk-shaped robots, and dynamic labelings for moving points
Promotor: prof.dr. M.T. de Berg; copromotor: dr. K.A. Buchin
Eindhoven, 22 augustus 2013
Full text (pdf)

Haverkort MSc, J.W. (Willem)
Magnetohydrodynamic waves and instabilities in rotating tokamak plasmas
Promotor: prof.dr.ir. B. Koren; copromotor: H.J. de Blank
Eindhoven, 21 maart 2013
Full text (pdf)

Hendriks, drs. M. (Maxim)
Platonic maps of low genus
Promotor: prof.dr. A.M. Cohen
Eindhoven, 4 februari 2013
Full text (pdf)

van den Heuvel, ir. M.M.H.P. (Martijn)
Composition and synchronization of real-time components upon one processor
Promotor: prof.dr. J.J. Lukkien; copromotor: R.J. Bril
Eindhoven, 12 juni 2013
Full text (pdf)

Hoang MSc, T.L. (Lam)
Pattern mining in data streams
Promotor: prof.dr. P.M.E. De Bra; copromotor: dr. T.G.K. Calders
Eindhoven, 2 december 2013 (cum laude)
Full text (pdf)

Hulshof MSc, W.J.T. (Tim)
The high-dimensional incipient infinite cluster
Promotor: prof.dr. R.W. van der Hofstad
Eindhoven, 10 juni 2013
Full text (pdf)

Keiren MSc, J.J.A. (Jeroen)
Advanced reduction techniques for model checking
Promotor: prof.dr.ir. J.F. Groote; copromotor: dr.ir. T.A.C. Willemse
Eindhoven, 17 september 2013
Full text (pdf)

Lancia MSc, C. (Carlo)
Looking through the cutoff window
Promotor: prof.dr. R.W. van der Hofstad; copromotoren: dr. B. Scoppola en dr. F.R. Nardi
Eindhoven, 2 december 2013
Full text (pdf)

Matveichuk MSc, O. (Oleg)
Constitutive modeling of concentrated solutions of main-chain liquid crystalline polymers
Promotor: prof.dr. J.J.M. Slot
Eindhoven, 11 maart 2013
Full text (pdf)

Nakatumba MSc, mw J. (Joyce)
Resource-aware business process management: analysis and support
Promotor: prof.dr.ir. W.M.P. van der Aalst; copromotoren: dr. M. Westergaard en dr. J.A. Quinn
Eindhoven, 7 november 2013
Synopsis (embargo op full text tot 7 november 2015)

Renger, ir. D.R.M. (Michiel)
Microscopic interpretation of Wasserstein gradient flows
Promotor: prof.dr. M.A. Peletier
Eindhoven, 21 februari 2013
Full text (pdf)

Roeloffzen MSc, M.J.M. (Marcel)
Kinetic data structures in the black-box model
Promotoren: prof.dr. M.T. de Berg en prof.dr. B. Speckmann
Eindhoven, 9 oktober 2013
Full text (pdf)

Sanderse, ir. B. (Benjamin)
Energy-conserving discretization methods for the incompressible Navier-Stokes equations
Promotor: prof.dr.ir. B. Koren
Eindhoven, 19 maart 2013 (cum laude)
Full text (pdf)

en voorts met een tweede promotor of copromotor van W&I:

Driemel, A. (Anne)
Realistic analysis for algorithmic problems on geographical data
Promotoren: prof.dr. M.J. van Kreveld (UU) en prof.dr. M.T. de Berg (TU/e)
Utrecht, 16 september 2013
Full text (pdf)

Liu, L. (Lei)
Studies on the discretization of plasma transport equations
Promotor: prof.dr.ir. G.M.W. Kroesen (fac.TN); copromotoren: dr.ir. J. van Dijk (fac.TN) en dr.ir. J.H.M. ten Thije Boonkkamp (fac.W&I)
Eindhoven, 4 juli 2013
Full text (pdf)



2012

(33) (cum:499)

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)

Bakker PDEng, drs. J. (Jorn)
Handling abrupt changes in evolving time-series data
Promotor: prof.dr. P.M.E. De Bra; copromotor: dr. M. Pechenizkiy
Eindhoven, 10 december 2012
Full text (pdf)

Bierbooms, ir. J.J.P.H. (Remco)
Performance analysis of production lines: discrete and continuous flow models
Promotoren: prof.dr.ir. I.J.B.F. Adan en prof.dr.ir. J.E. Rooda
Eindhoven, 21 mei 2012
Full text (pdf)

Bose MSc, J.C. (Jagadeesh Chandra)
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, 14 mei 2012 (cum laude)
Full text (pdf)

Darau MSc, mw M. (Mirela)
Acoustic liner - mean flow interaction
Promotoren: prof.dr. R.M.M. Mattheij en prof.dr. S. Balint (Universitatea de Vest din Timisoara); copromotoren: dr. S.W. Rienstra en prof.dr. D. Zaharie
Eindhoven, 10 september 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
Full text (pdf)

Engelen, ir. L.J.P. (Luc)
From napkin sketches to reliable software
Promotor: prof.dr. M.G.J. van den Brand; copromotor: dr. S. Andova
Eindhoven, 11 december 2012
Full text (pdf)

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
Full text (pdf)

Firat MSc, M. (Murat)
Workforce scheduling and planning: a combinatorial approach
Promotor: prof.dr. G.J. Woeginger; copromotor: dr.ir. C.A.J. Hurkens
Eindhoven, 24 april 2012
Full text (pdf)

Güven, mw. Ç. (Çiçek)
Buildings and Kneser graphs
Promotor: prof.dr. A.E. Brouwer
Eindhoven, 25 januari 2012
Full text (pdf)

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, 17 oktober 2012
Full text (pdf)

de Hoogh, ir. S.J.A. (Sebastiaan)
Design of protocols for large scale application of secure multiparty computation: secure supply chain management
Promotor: prof.dr.ir. H.C.A. van Tilborg; copromotor: dr.ir. L.A.M. Schoenmakers
Eindhoven, 30 augustus 2012
Full text (pdf)

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, 25 juni 2012
Full text

de Jonge, drs. R. (René)
Posterior contraction for conditionally Gaussian priors
Promotor: prof.dr. J.H. van Zanten
Eindhoven, 8 oktober 2012
Full text (pdf)

Jurrius MSc, mw R.P.M.J. (Relinde)
Codes, arrangements, matroids, and their polynomial links
Promotor: prof.dr.ir. H.C.A. van Tilborg; copromotor: dr. G.R. Pellikaan
Eindhoven, 29 augustus 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)

Knutov MSc, E. (Evgeny)
Generic adaptation framework
Promotor: prof.dr. P.M.E. De Bra; copromotor: dr. M. Pechenizkiy
Eindhoven, 9 mei 2012
Full text (pdf)

Kosinski MSc, K.M. (Kamil)
Gaussian and Lévy-driven queues
Promotoren: prof.dr.ir. O.J. Boxma en prof.dr. M.R.H. Mandjes
Eindhoven, 27 september 2012 (cum laude)
Full text (pdf)

Kumar MSc, K. (Kundan)
Upscaling of reactive flows
Promotoren: prof.dr. I.S. Pop en prof.dr. M.A. Peletier
Eindhoven, 18 september 2012 (cum laude)
Full text (pdf)

Liu MSc, S. (Shoumin)
Brauer algebras of non-simply laced type
Promotor: prof.dr. A.M. Cohen
Eindhoven, 6 juni 2012
Full text (pdf)

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
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
(embargo op full text tot 11 januari 2017)

Niederhagen, Dipl.-Inform. R.F. (Ruben)
Parallel cryptanalysis
Promotoren: prof.dr. T. Lange en prof.dr. D.J. Bernstein; copromotor: dr. C.M. Cheng
Eindhoven, 23 april 2012
Full text (pdf)

Osaiweran, ir. A.A.H. (Ammar)
Formal development of control software in the medical systems domain
Promotoren: prof.dr.ir. J.F. Groote en prof.dr. J.J.M. Hooman
Eindhoven, 17 december 2012
Full text (pdf)

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
Full text (pdf)

Rosen Esquivel MSc, P.I. (Patricio)
Efficient simulation of flow and heat transfer in arbitrary shaped pipes
Promotor: prof.dr. R.M.M. Mattheij; copromotoren: dr.ir. J.H.M. ten Thije Boonkkamp en dr.ir. J.A.M. Dam
Eindhoven, 21 november 2012
Full text (pdf)

Schonenberg, mw. ir. M.H. (Helen)
What's next? Operational support for business process execution
Promotor: prof.dr.ir. W.M.P. van der Aalst; copromotor: dr. N. Sidorova
Eindhoven, 10 mei 2012
Full text (pdf)

van der Sluijs, ir. K.A.M. (Kees)
Model driven design and data integration in semantic web information systems
Promotoren: prof.dr.ir. G.J.P.M. Houben (TUD) en prof.dr. P.M.E. De Bra
Eindhoven, 15 mei 2012
Full text (pdf)

Smits, ir. D. (David)
GALE: generic adaptation language and engine
Promotor: prof.dr. P.M.E. De Bra; copromotor: dr. M. Pechenizkiy
Eindhoven, 2 april 2012
Full text (pdf)

Stappers, ir. F.P.M. (Frank)
Bridging formal models: an engineering perspective
Promotoren: prof.dr.ir. J.F. Groote en prof.dr. M.G.J. van den Brand; copromotor: dr.ir. M.A. Reniers
Eindhoven, 8 november 2012
Full text (pdf)

Trivellato MSc, D. (Daniel)
Protecting information in systems of systems
Promotor: prof.dr. S. Etalle; copromotor: dr. N. Zannone
Eindhoven, 28 november 2012
Full text (pdf)

Verbeek, ir. K.A.B. (Kevin)
Algorithms for cartographic visualization
Promotor: prof.dr. B. Speckmann
Eindhoven, 27 augustus 2012
Full text (pdf)

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, 24 april 2012
Full text (pdf)

en voorts met een tweede promotor of copromotor van W&I:

Pires dos Reis Moreira, O.M. (Orlando)
Temporal analysis and scheduling of hard-real time radios running on a multi-processor
Promotoren: prof.dr. H. Corporaal (EE) en prof.dr.ir. C.H. van Berkel (W&I); copromotor: dr.ir. M.C.W. Geilen (EE)
Eindhoven, 10 januari 2012



2011

(30) (cum: 466)

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
Full text (pdf)

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
Full text (pdf)

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
Full text (pdf)

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
Full text (pdf)

Liu MSc, L. (Lei)
Modeling three-dimensional interaction tasks for desktop virtual reality
Promotor: prof.dr.ir. R. van Liere
Eindhoven, 28 november 2011
Full text (pdf)

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
Full text (pdf)

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: dr.ir. 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, C.P. (Constantinos)
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 (Humboldt Universitšt zu Berlin); 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)

en voorts met een tweede promotor of copromotor van W&I:

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



2010

(13) (cum:436)

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
Full text (pdf)

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)

en voorts met een tweede promotor of copromotor van W&I:

Veeger, C.P.L. (Casper)
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



2009

(23) (cum:423)

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)

en voorts met een tweede promotor of copromotor van W&I:

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

Mensvoort, ir. K.M. van (Koert)
What you see is what you feel: On the simulation of touch in graphical user interfaces
Promotoren: prof.dr.ir. J.H. Eggen (fac.ID) en prof.dr.ir. J.J. van Wijk (fac.W&I)
Eindhoven, 29 april 2009

Zavinska MSc, O. (Olena)
Spectral analysis of polymer elongation processes
Promotoren: prof.dr.ir. H.E.H. Meijer (fac.W) en prof.dr. R.J. Koopmans; copromotor: dr.ir. S.J.L. van Eijndhoven (fac.W&I)
Eindhoven, 12 januari 2009



2008

(22) (cum:400)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



2007

(22) (cum:378)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



2006

(11) (cum:356)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



2005

(25) (cum:345)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



2004

(21) (cum:320)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



2003

(17) (cum:299)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



2002

(17) (cum:282)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



2001

(21) (cum:265)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



2000

(14) (cum:244)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



1999

(15) (cum:230)

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
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)

en voorts met een tweede promotor of copromotor van W&I:

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



1998

(12) (cum:215)

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)

en voorts met een tweede promotor of copromotor van W&I:

Alberts, W.T.M. (Wilbert)
A discrete-event simulator for systems engineering
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 (dubbelpromotie met G. Naumoski)

Naumoski, G. (Goce)
A discrete-event simulator for systems engineering
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 (dubbelpromotie met W.T.M. Alberts)



1997

(15) (cum:203)

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)



1996

(18) (cum:188)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



1995

(9) (cum:170)

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)



1994

(20) (cum:161)

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 distributed 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)



1993

(14) (cum:141)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



1992

(14) (cum:127)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



1991

(8) (cum:113)

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 de 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)

en voorts met een tweede promotor of copromotor van W&I:

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



1990

(5) (cum:105)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



1989

(13) (cum:100)

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)



1988

(10) (cum:87)

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)



1987

(9) (cum:77)

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)



1986

(4) (cum:68)

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)



1985

(3) (cum:64)

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)



1984

(5) (cum:61)

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)

en voorts met een tweede promotor of copromotor van W&I:

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



1983

(5) (cum:56)

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)



1982

(5) (cum:50)

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)



1981

(2) (cum:45)

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)



1980

(8) (cum:43)

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)



1979

(3) (cum:35)

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)



1978

(3) (cum:32)

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)



1977

(2) (cum:29)

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)



1976

(4) (cum:27)

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)



1975

(4) (cum:23)

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)



1974

--



1973

(2) (cum:19)

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)



1972

--



1971

(2) (cum:17)

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)



1970

(3) (cum:15)

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)



1969

(2) (cum:12)

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)



1968

(2) (cum:10)

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)



1967

(3) (cum:8)

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)



1966

(1) (cum:5)

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)



1965

(1) (cum:4)

Mandel, J. (John)
A statistical study of physical classroom experiments
Promotor: prof.dr. H.C. Hamaker
Eindhoven, 29 juni 1965
Full text (pdf)



1964

(2) (cum:3)

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)



1963

--



1962

(1) (cum:1)

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, 2014 * bureau bestuursondersteuning W&I