D. Bošna
ˇ
cki. Enhancing state space reduction tech-
niques for model checking. Faculty of Mathematics
and Computing Science, TU/e. 2001-14
M.C. van Wezel. Neural Networks for Intelligent
Data Analysis: theoretical and experimental aspects.
Faculty of Mathematics and Natural Sciences, UL.
2002-01
V. Bos and J.J.T. Kleijn. Formal Specification and
Analysis of Industrial Systems. Faculty of Mathemat-
ics and Computer Science and Faculty of Mechanical
Engineering, TU/e. 2002-02
T. Kuipers. Techniques for Understanding Legacy
Software Systems. Faculty of Natural Sciences, Math-
ematics and Computer Science, UvA. 2002-03
S.P. Luttik. Choice Quantification in Process Alge-
bra. Faculty of Natural Sciences, Mathematics, and
Computer Science, UvA. 2002-04
R.J. Willemen. School Timetable Construction: Al-
gorithms and Complexity. Faculty of Mathematics
and Computer Science, TU/e. 2002-05
M.I.A. Stoelinga. Alea Jacta Est: Verification
of Probabilistic, Real-time and Parametric Systems.
Faculty of Science, Mathematics and Computer Sci-
ence, KUN. 2002-06
N. van Vugt. Models of Molecular Computing. Fac-
ulty of Mathematics and Natural Sciences, UL. 2002-
07
A. Fehnker. Citius, Vilius, Melius: Guiding and
Cost-Optimality in Model Checking of Timed and Hy-
brid Systems. Faculty of Science, Mathematics and
Computer Science, KUN. 2002-08
R. van Stee. On-line Scheduling and Bin Packing.
Faculty of Mathematics and Natural Sciences, UL.
2002-09
D. Tauritz. Adaptive Information Filtering: Concepts
and Algorithms. Faculty of Mathematics and Natural
Sciences, UL. 2002-10
M.B. van der Zwaag. Models and Logics for Process
Algebra. Faculty of Natural Sciences, Mathematics,
and Computer Science, UvA. 2002-11
J.I. den Hartog. Probabilistic Extensions of Seman-
tical Models. Faculty of Sciences, Division of Mathe-
matics and Computer Science, VUA. 2002-12
L. Moonen. Exploring Software Systems. Faculty
of Natural Sciences, Mathematics, and Computer Sci-
ence, UvA. 2002-13
J.I. van Hemert. Applying Evolutionary Computa-
tion to Constraint Satisfaction and Data Mining. Fac-
ulty of Mathematics and Natural Sciences, UL. 2002-
14
S. Andova. Probabilistic Process Algebra. Faculty of
Mathematics and Computer Science, TU/e. 2002-15
Y.S. Usenko. Linearization in µCRL. Faculty of
Mathematics and Computer Science, TU/e. 2002-16
J.J.D. Aerts. Random Redundant Storage for Video
on Demand. Faculty of Mathematics and Computer
Science, TU/e. 2003-01
M. de Jonge. To Reuse or To Be Reused: Techniques
for component composition and construction. Faculty
of Natural Sciences, Mathematics, and Computer Sci-
ence, UvA. 2003-02
J.M.W. Visser. Generic Traversal over Typed Source
Code Representations. Faculty of Natural Sciences,
Mathematics, and Computer Science, UvA. 2003-03
S.M. Bohte. Spiking Neural Networks. Faculty of
Mathematics and Natural Sciences, UL. 2003-04
T.A.C. Willemse. Semantics and Verification in Pro-
cess Algebras with Data and Timing. Faculty of Math-
ematics and Computer Science, TU/e. 2003-05
S.V. Nedea. Analysis and Simulations of Catalytic Re-
actions. Faculty of Mathematics and Computer Sci-
ence, TU/e. 2003-06
M.E.M. Lijding. Real-time Scheduling of Tertiary
Storage. Faculty of Electrical Engineering, Mathe-
matics & Computer Science, UT. 2003-07
H.P. Benz. Casual Multimedia Process Annotation —
CoMPAs. Faculty of Electrical Engineering, Mathe-
matics & Computer Science, UT. 2003-08
D. Distefano. On Modelchecking the Dynamics of
Object-based Software: a Foundational Approach.
Faculty of Electrical Engineering, Mathematics &
Computer Science, UT. 2003-09
M.H. ter Beek. Team Automata — A Formal Ap-
proach to the Modeling of Collaboration Between Sys-
tem Components. Faculty of Mathematics and Natural
Sciences, UL. 2003-10
D.J.P. Leijen. The λ Abroad — A Functional Ap-
proach to Software Components. Faculty of Mathe-
matics and Computer Science, UU. 2003-11
W.P.A.J. Michiels. Performance Ratios for the Dif-
ferencing Method. Faculty of Mathematics and Com-
puter Science, TU/e. 2004-01
G.I. Jojgov. Incomplete Proofs and Terms and Their
Use in Interactive Theorem Proving. Faculty of Math-
ematics and Computer Science, TU/e. 2004-02
P. Frisco. Theory of Molecular Computing — Splic-
ing and Membrane systems. Faculty of Mathematics
and Natural Sciences, UL. 2004-03