Department of Mathematics and Computer Science

Research Output

Filter
Phd Thesis 1 (Research TU/e / Graduation TU/e)
2012

Upscaling of reactive flows

Kumar, K., 2012, Eindhoven: Technische Universiteit Eindhoven. 243 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
321 Downloads (Pure)

What's next? : operational support for business process execution

Schonenberg, M. H., 2012, Eindhoven: Technische Universiteit Eindhoven. 259 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
422 Downloads (Pure)

Workforce scheduling and planning : a combinatorial approach

Firat, M., 2012, Eindhoven: Technische Universiteit Eindhoven. 116 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
115 Downloads (Pure)
2011

Analysis of flow and visibility on triangulated terrains

Tsirogiannis, K., 2011, Eindhoven: Technische Universiteit Eindhoven. 104 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
251 Downloads (Pure)

Analysis of the perception of graphical encodings for information visualization

Li, J., 2011, Eindhoven: Technische Universiteit Eindhoven. 179 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
289 Downloads (Pure)

Applications of model order reduction for IC modeling

Ugryumova, M., 2011, Eindhoven: Technische Universiteit Eindhoven. 178 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
92 Downloads (Pure)

Automated focusing and astigmatism correction in electron microscopy

Rudnaya, M., 2011, Eindhoven: Technische Universiteit Eindhoven. 142 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
1250 Downloads (Pure)

Capturing and exploiting abstract views of states in OO verification

Middelkoop, R., 2011, Eindhoven: Technische Universiteit Eindhoven. 197 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
69 Downloads (Pure)

Cell libraries and verification

Raffelsieper, M., 2011, Eindhoven: Technische Universiteit Eindhoven. 167 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
334 Downloads (Pure)

Compositional design and verification of component-based information systems

Werf, van der, J. M. E. M., 2011, Eindhoven: Technische Universiteit Eindhoven. 221 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
166 Downloads (Pure)

Configuration management for models : generic methods for model comparison and model co-evolution

Protic, Z., 2011, Eindhoven: Technische Universiteit Eindhoven. 208 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
570 Downloads (Pure)

Curves, codes, and cryptography

Peters, C. P., 2011, Eindhoven: Technische Universiteit Eindhoven. 198 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
556 Downloads (Pure)

Discrimination-aware classification

Kamiran, F., 2011, Eindhoven: Technische Universiteit Eindhoven. 160 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
1529 Downloads (Pure)

Endomorphism rings in cryptography

Bisson, G., 2011, Eindhoven: Technische Universiteit Eindhoven. 185 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
285 Downloads (Pure)

Formal modeling and verification of distributed failure detectors

Atif, M., 2011, Eindhoven: Technische Universiteit Eindhoven. 214 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
161 Downloads (Pure)

Forward diffraction modelling : analysis and application to grating reconstruction

Kraaij, van, M. G. M. M., 2011, Eindhoven: Technische Universiteit Eindhoven. 142 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
709 Downloads (Pure)

From computability to executability : a process-theoretic view on automata theory

Tilburg, van, P. J. A., 2011, Eindhoven: Technische Universiteit Eindhoven. 161 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
214 Downloads (Pure)

Grid architecture for distributed process mining

Bratosin, C. C., 2011, Eindhoven: Technische Universiteit Eindhoven. 183 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
446 Downloads (Pure)

High-speed cryptography and cryptanalysis

Schwabe, P., 2011, Eindhoven: Technische Universiteit Eindhoven. 164 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
486 Downloads (Pure)

In-plane object detection : detection algorithms and visibility problems

Jovanovic, N., 2011, Eindhoven: Technische Universiteit Eindhoven. 126 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
279 Downloads (Pure)

Model order reduction for multi-terminals systems : with applications to circuit simulation

Ionutiu, R., 2011, Eindhoven: Technische Universiteit Eindhoven. 186 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
697 Downloads (Pure)

Numerical shape optimisation in blow moulding

Groot, J. A. W. M., 2011, Eindhoven: Technische Universiteit Eindhoven. 172 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
1718 Downloads (Pure)

Numerical simulation of a three-stage Stirling-type pulse-tube refrigerator

Etaati, M. A., 2011, Eindhoven: Technische Universiteit Eindhoven. 150 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
189 Downloads (Pure)

Polling models : from theory to traffic intersections

Boon, M. A. A., 2011, Eindhoven: Technische Universiteit Eindhoven. 190 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
338 Downloads (Pure)

Probability and hiding in concurrent processes

Georgievska, S., 2011, Eindhoven: Technische Universiteit Eindhoven. 143 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
78 Downloads (Pure)

Scattering from finite structures : an extended Fourier modal method

Pisarenco, M., 2011, Eindhoven: Technische Universiteit Eindhoven. 126 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
363 Downloads (Pure)

Stochastic models for resource sharing in wireless networks

Ven, van de, P. M., 2011, Eindhoven: Technische Universiteit Eindhoven. 148 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
134 Downloads (Pure)

The boundary element method : errors and gridding for problems with hot spots

Kakuba, G., 2011, Eindhoven: Technische Universiteit Eindhoven. 140 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
134 Downloads (Pure)

Visualization of vessel traffic

Willems, C. M. E., 2011, Eindhoven: Technische Universiteit Eindhoven. 135 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
279 Downloads (Pure)

Workflow support for the healthcare domain

Mans, R. S., 2011, Eindhoven: Technische Universiteit Eindhoven. 356 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
970 Downloads (Pure)
2010

Aggregate modeling in semiconductor manufacturing using effective process times

Veeger, C. P. L., 2010, Eindhoven: Technische Universiteit Eindhoven. 163 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
93 Downloads (Pure)

Algorithms for Lie algebras of algebraic groups

Roozemond, D. A., 2010, Eindhoven: Technische Universiteit Eindhoven. 172 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
76 Downloads (Pure)

Algorithms in moderately exponential time

Mnich, M., 2010, Eindhoven: Technische Universiteit Eindhoven. 216 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
209 Downloads (Pure)

An approach towards context-sensitive and user-adapted access to heterogeneous data sources, illustrated in the television domain

Bellekens, P. A. E., 2010, Eindhoven: Technische Universiteit Eindhoven. 257 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
3486 Downloads (Pure)

Correctness of services and their composition

Lohmann, N., 2010, Eindhoven: Technische Universiteit Eindhoven. 189 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
282 Downloads (Pure)

Design of advanced primitives for secure multiparty computation : special shuffles and integer comparison

Villegas Bautista, J. A., 2010, Eindhoven: Technische Universiteit Eindhoven. 131 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
127 Downloads (Pure)

From scenarios to components

Fahland, D., 2010, Eindhoven: Technische Universiteit Eindhoven. 324 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
470 Downloads (Pure)

Inventory control in multi-item production systems

Bruin, J., 2010, Eindhoven: Technische Universiteit Eindhoven. 140 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
140 Downloads (Pure)

Model order reduction and sensitivity analysis

Ilievski, Z., 2010, Eindhoven: Technische Universiteit Eindhoven. 156 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
390 Downloads (Pure)

Multi-scale Riemann-Finsler geometry : applications to diffusion tensor imaging and high angular resolution diffusion imaging

Astola, L. J., 2010, Eindhoven: Technische Universiteit Eindhoven. 132 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
536 Downloads (Pure)

Performance analysis of networks on chips

Beekhuizen, P., 2010, Eindhoven: Technische Universiteit Eindhoven. 153 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
91 Downloads (Pure)

Process mining : conformance and extension

Rozinat, A., 2010, Eindhoven: Technische Universiteit Eindhoven. 250 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
1415 Downloads (Pure)

Supporting the sensemaking process in visual analytics

Shrinivasan, Y. B., 2010, Eindhoven: Technische Universiteit Eindhoven. 145 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
485 Downloads (Pure)
2009

Algorithms, haplotypes and phylogenetic networks

Iersel, van, L. J. J., 2009, Eindhoven: Technische Universiteit Eindhoven. 162 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
162 Downloads (Pure)

Automated model-based testing of hybrid systems

Osch, van, M. P. W. J., 2009, Eindhoven: Technische Universiteit Eindhoven. 143 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
230 Downloads (Pure)

Constructive and computational aspects of cryptographic pairings

Naehrig, M., 2009, Eindhoven: Technische Universiteit Eindhoven. 141 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
282 Downloads (Pure)

Curved jets of viscous fluid : interactions with a moving wall

Hlod, A. V., 2009, Eindhoven: Technische Universiteit Eindhoven. 206 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
387 Downloads (Pure)

Design-time performance analysis of component-based real-time systems

Bondarev, E., 2009, Eindhoven: Technische Universiteit Eindhoven. 210 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
193 Downloads (Pure)

Efficient arithmetic on low-genus curves

Birkner, P., 2009, Eindhoven: Technische Universiteit Eindhoven. 140 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
161 Downloads (Pure)

Efficient rewriting techniques

Weerdenburg, van, M. J., 2009, Eindhoven: Technische Universiteit Eindhoven. 172 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
62 Downloads (Pure)