12

Parallel Local Search. Faculty of Mathematics and Computing Science, TUE. 199604 M.H.G.K. Kesseler. The Implementation of Functional Languages on Parallel Machines with Distrib. Memory. Faculty of Mathematics and Computer
– M G A Verhoeven

18

Topological Dualities in Semantics. Faculty of Mathematics and Computer Science, VUA. 199614 B.L.E. de Fluiter. Algorithms for Graphs of Small Treewidth. Faculty of Mathematics and Computer
– M M Bonsangue

14

den Beuken. A Functional Approach to Syntax and Typing. Faculty of Mathematics and
– F A M van

23

Melius: Guiding and CostOptimality in Model Checking of Timed and Hybrid Systems. Faculty of Science, Mathematics and Computer
– A Fehnker Citius, Vilius

5

Faculty of Mathematics and Computing Science, TU/e. 200114 M.C. van Wezel. Neural Networks for Intelligent Data Analysis: theoretical and experimental aspects
– J J T Kleijn

33

Evolutionary Computation in Constraint Satisfaction and Machine Learning
– Jano I. Van Hemert
 2001

29

Semantics and Verification in Process Algebras with Data and Timing. Faculty of Mathematics and Computer Science, TU/e. 200305 S.V. Nedea. Analysis and Simulations of Catalytic Reactions. Faculty of Mathematics and Computer Science, TU/e. 200306 M.E.M.
– Tim A. C. Willemse, Timothy Ariën, Carol Willemse
 2003

21

Data Synchronization and Browsing for Home Environments
– Y Qian

49

Message Sequence Chart: Syntax and Semantics
– Door Michel Adriaan Reniers
 1998

4

Term Graph Rewriting: syntax and semantics. Faculty of Sciences, Division of Mathematics and Computer Science, VUA. 200105 R. van Liere. Studies in Interactive Visualization. Faculty of Natural Sciences, Mathematics and Computer
– TUe Science

6

Faculty of Mathematics and Computing Science, TU/e. 200112 A.T. Hofkamp. Reactive machine control: A simulation approach using χ
– D Boˇsnački

4

Adaptive QoS parameters approach to modelling Internet performance
– SJ Yang, HC Chou

2

Developer’s Guide
– CodeMeter
 2003

2

see attribute authority access control
– MAC

2

Faculty of Mechanical Engineering, TUE
– J Verriet

10

Faculty of Mathematics and Computer Science and Faculty of Mechanical Engineering, TU/e. 200202 T. Kuipers. Techniques for Understanding Legacy Software Systems
– R J Willemen

10

Faculty of Mathematics and Computer Science, TU/e. 200205 M.I.A. Stoelinga. Alea Jacta Est: Verification of Probabilistic, Realtime and Parametric Systems
– N van

12

Random Redundant Storage for Video on Demand. Faculty of Mathematics and Computer Science, TU/e. 200301 M. de Jonge. To Reuse or To Be Reused: Techniques for component composition and construction
– TUe Science

13

Performance Ratios for the Differencing Method. Faculty of Mathematics and Computer Science, TU/e
– W P A J Michiels
