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

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

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
