Department of Mathematics and Computer Science

Research Output 1937 2020


Complexity science: an introduction

Peletier, M. A., van Santen, R. A. & Steur, E., 20 Mar 2019, World Scientific. 409 p.

Research output: Book/ReportBookAcademic

Social Sciences

Data science for healthcare: methodologies and applications

Consoli, S. (ed.), Recupero, D. R. (ed.) & Petković, M. (ed.), 1 Jan 2019, Cham: Springer International Publishing Switzerland. 367 p.

Research output: Book/ReportBookAcademic

Delivery of Health Care
Semantic Web
Computer vision
Pattern recognition
Artificial intelligence
21 Citations (Scopus)

Conformance checking: relating processes and models, relating processes and models

Carmona, J., van Dongen, B., Solti, A. & Weidlich, M., 11 Nov 2018, Cham: Springer International Publishing Switzerland. 277 p.

Research output: Book/ReportBookAcademic

Process model
Process mining

Organic and amorphous-metal-oxide flexible analogue electronics

Pecunia, V., Fattori, M., Abdinia, S., Sirringhaus, H. & Cantatore, E., 2018, Cambridge: Cambridge University Press. 138 p. (Cambridge Elements)

Research output: Book/ReportBookAcademic

metal oxide

Querying graphs

Bonifati, A., Fletcher, G. H. L., Voigt, H. & Yakovets, N., 2018, Williston: Morgan & Claypool Publishers. 184 p.

Research output: Book/ReportBookAcademic

Data structures
Query processing
Life cycle
Query languages
Information management
4 Citations (Scopus)

Codes, cryptography and curves with computer algebra

Pellikaan, G. R., Wu, X. W., Bulygin, S. & Jurrius, R. P. M. J., Nov 2017, Cambridge: Cambridge University Press. 606 p.

Research output: Book/ReportBookAcademic

Computer Algebra
Algebraic-geometry Codes

Period Maps and Period Domains

Müller-Stach, S. & Carlson, J., Aug 2017, 2e editie ed. Cambridge: Cambridge University Press. 576 p. (Cambridge Studies in Advanced Mathematics; vol. 168)

Research output: Book/ReportBookAcademic

Progress in high-dimensional percolation and random graphs

Heydenreich, M. O. & van der Hofstad, R. W., 1 Dec 2017, Dordrecht: Springer. 285 p. (CRM Short Courses)

Research output: Book/ReportBookAcademic

100 Citations (Scopus)

Random graphs and complex networks

van der Hofstad, R. W., 1 Jan 2017, Cambridge: Cambridge University Press. 321 p.

Research output: Book/ReportBookAcademic

Random Graphs
Complex Networks
A.s. Convergence
Branching process
511 Citations (Scopus)

Process mining: data science in action

Van der Aalst, W. M. P., 1 Jan 2016, Dordrecht: Springer. 467 p.

Research output: Book/ReportBookAcademic

Data mining
Flow control
1 Citation (Scopus)
1 Downloads (Pure)

Continuum modeling : an approach through practical examples

Muntean, A., 2015, Cham: Springer. 83 p. (SpringerBriefs in Mathematical Methods)

Research output: Book/ReportBookAcademic

Microwave Heating
Pure mathematics
Energy Harvesting
Constitutive Law

Process mining in healthcare: evaluating and exploiting operational healthcare processes

Mans, R. S., Aalst, van der, W. M. P. & Vanwersch, R. J. B., 2015, Cham: Springer. 91 p. (SpringerBriefs in Business Process Management,)

Research output: Book/ReportBookAcademic

Process mining
Reference model
Data mining
Health care system

Advanced statistical techniques for process monitoring

Di Bucchianico, A. & Heuvel, van den, E. R., 2014, New York: Wiley. 600 p. (Wiley Series in Probability and Statistics Series)

Research output: Book/ReportBookAcademic

Process Monitoring
Control Charts

Modeling and analysis of communicating systems

Groote, J. F. & Mousavi, M. R., 2014, London: MIT Press. 376 p.

Research output: Book/ReportBookAcademic

Abstract data types
Parallel algorithms
Particle accelerators

Proceedings of the International Workshop on Meta-learning and Algorithm Selection, Prague, Czech Republic, August 19, 2014

Vanschoren, J., Brazdil, P., Soares, C. & Kotthoff, L., 2014,

Research output: Book/ReportBookAcademic

11 Citations (Scopus)

Type theory and formal proof : an introduction

Nederpelt, R. P. & Geuvers, J. H., 2014, Cambridge: Cambridge University Press. 436 p.

Research output: Book/ReportBookAcademic

Formal Proof
Type Theory
Lambda Calculus
Type Systems
14 Citations (Scopus)

Diagram geometry : related to classical groups and buildings

Buekenhout, F. & Cohen, A. M., 2013, Berlin: Springer. 592 p. (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge; vol. 57)

Research output: Book/ReportBookAcademic

Diagram Geometry
Classical Groups
Coxeter Group
Affine geometry
Projective geometry

Fundamentals of business process management

Dumas, M., La Rosa, M., Mendling, J. & Reijers, H. A., 2013, Berlin: Springer. 399 p.

Research output: Book/ReportBookAcademic

Business process management

Code generation with templates

Arnoldus, B. J., Brand, van den, M. G. J., Serebrenik, A. & Brunekreef, J. J., 2012, Amsterdam: Atlantis Press. (Atlantis studies in computing; vol. 1)

Research output: Book/ReportBookAcademic

Code generation

De zeven grootste raadsels van de wiskunde

Brandhof, van den, A., Veen, van der, R., Craats, van de, J. & Koren, B., 2012, Amsterdam: Bert Bakker. 184 p.

Research output: Book/ReportBookPopular

Spectra of graphs

Brouwer, A. E. & Haemers, W. H., 2012, New York: Springer. 250 p. (Universitext)

Research output: Book/ReportBookAcademic


Elementaire getaltheorie en asymmetrische cryptografie

Weger, de, B. M. M., 2011, gew. 2e ed. Utrecht: Epsilon. (Epsilon uitgaven; vol. 63)

Research output: Book/ReportBookProfessional

Homogenization method and multiscale modeling

Muntean, A. & Chalupecky, V., 2011, Fukuoka: Kyuskhu University. 72 p. (COE lecture note series; vol. 34)

Research output: Book/ReportBookAcademic

Logical reasoning : a first course

Nederpelt, R. P. & Kamareddine, F., 2011, 2nd rev. ed. London: King's College Publications. 386 p. (Texts in computing; vol. 3)

Research output: Book/ReportBookProfessional

Modeling business processes : a Petri net-oriented approach

Aalst, van der, W. M. P. & Stahl, C., 2011, Cambridge MA: MIT Press. 400 p. (Information Systems)

Research output: Book/ReportBookAcademic

Business Process Modeling
Petri Nets
Information Systems
Formal Modeling

Networks for pervasive services : six ways to upgrade the internet

Liotta, A. & Exarchakos, G., 2011, Berlin: Springer. 178 p. (Lecture notes in electrical engineering; vol. 92)

Research output: Book/ReportBookAcademic


Process mining : discovery, conformance and enhancement of business processes

Aalst, van der, W. M. P., 2011, Berlin: Springer. 352 p.

Research output: Book/ReportBookAcademic

Data mining
Flow control
Information systems

Process algebra : equational theories of communicating processes

Baeten, J. C. M., Basten, T. & Reniers, M. A., 2010, Cambridge: Cambridge University Press. 460 p. (Cambridge tracts in theoretical computer science; vol. 50)

Research output: Book/ReportBookAcademic

Equational Theory
Process Algebra
Distributed Systems
Mutual Exclusion

Elementaire getaltheorie en asymmetrische cryptografie

Weger, de, B. M. M., 2009, Utrecht: Epsilon. 180 p. (Epsilon uitgaven; vol. 63)

Research output: Book/ReportBookProfessional

Requirements engineering
Modeling languages

Tegen de stroom in : de Nederlandse rol in de ICT

Rem, M., 2009, Den Haag: ICTRegie.

Research output: Book/ReportBookProfessional

Battery management systems : accurate state-of-charge indication for battery-powered applications

Pop, V., Bergveld, H. J., Danilov, D., Notten, P. H. L. & Regtien, P. P. L., 2008, Dordrecht: Springer. (Philips research book series; vol. 9)

Research output: Book/ReportBookAcademic

Battery management systems
2151 Citations (Scopus)

Computational geometry : algorithms and applications

Berg, de, M., Cheong, O., Kreveld, van, M. J. & Overmars, M. H., 2008, 3rd ed ed. Berlin: Springer. 386 p.

Research output: Book/ReportBookAcademic

Computational geometry

Delft Aerospace Design Projects 2008, Future Developments in Aeronautics, Astronautics, Earth Observation and related Areas

Bruggemann, V., Brummelen, van, E. H., Melkert, J. A., Saunders-Smits, G. N., Snellen, M. & Timmer, W. A., 2008, Huizen: Het Goede Boek. 237 p.

Research output: Book/ReportBookAcademic

28 Downloads (Pure)

Math inside : surprising mathematics

Mattheij, R. M. M. (ed.) & Laboratory for Industrial Mathematics Eindhoven (LIME), 2008, Eindhoven: Technische Universiteit Eindhoven. 95 p.

Research output: Book/ReportBookAcademic

Open Access
286 Downloads (Pure)
Open Access

Multiaccess, reservations & queues

Denteneer, T. J. J. & Leeuwaarden, van, J. S. H., 2008, Berlin: Springer. 254 p. (Philips research book series; vol. 10)

Research output: Book/ReportBookAcademic

Data communication systems
Telecommunication networks
Mathematical models

De achterkant van sudoku : oplossen, programmeren en ontwerpen

Zantema, H., 2007, Haarlem: Aramith. 144 p.

Research output: Book/ReportBookProfessional

86 Downloads (Pure)

De menselijke maat in ICT

Jacobs, B. P. F., 2007, Nijmegen: Radboud Universiteit Nijmegen. 129 p.

Research output: Book/ReportBookPopular

Open Access
1 Citation (Scopus)

Filtering theory : with applications to fault detection, isolation, and estimation

Saberi, A., Stoorvogel, A. A. & Sannuti, P., 2007, Boston: Birkhäuser Verlag. 723 p. (Systems and control : foundations and applications)

Research output: Book/ReportBookAcademic

Fault detection
State space methods
Riccati equations
Technical presentations
Linear matrix inequalities
37 Downloads (Pure)

Looking good, behaving well: behavioural verification and visulaisation of formal models of concurrent systems

Westergaard, M., 2007, Aarhus: Aarhus University. 171 p. (DAIMI PhD Dissertation; vol. PD-07-10)

Research output: Book/ReportBookAcademic

Data storage equipment
193 Downloads (Pure)
Open Access

Theoretical aspects of local search

Michiels, W. P. A. J., Aarts, E. H. L. & Korst, J. H. M., 2007, Berlin: Springer. (Monographs in theoretical computer science)

Research output: Book/ReportBookAcademic


Ambient lifestyle: from concept to experience

Aarts, E. H. L. & Diederiks, E., 2006, Amsterdam: BIS Publishers. 213 p.

Research output: Book/ReportBookAcademic

Electromagnetic field matter interactions in thermoelastic solids and viscous fluids

Hutter, K., Ven, van de, A. A. F. & Ursescu, A., 2006, 2nd, substantially enl. ed. ed. Berlin: Springer. 403 p. (Lecture notes in physics; vol. 710)

Research output: Book/ReportBookAcademic

viscous fluids
electromagnetic fields

Fundamentals of cryptology : vocational guidance and interactive tutorial

Tilborg, van, H. C. A., 2006, Moscow: Mir. 472 p.

Research output: Book/ReportBookProfessional


A modern perspective on type theory : from its origins until today

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2005, Dordrecht: Kluwer Academic Publishers. 357 p. (Applied logic series. APLS; vol. 29)

Research output: Book/ReportBookAcademic

Partial differential equations : modeling, analysis, computation

Mattheij, R. M. M., Rienstra, S. W. & Thije Boonkkamp, ten, J. H. M., 2005, Philadelphia: SIAM Press. 665 p. (SIAM monographs on mathematical modeling and computation; vol. 10)

Research output: Book/ReportBookProfessional