Department of Mathematics and Computer Science

Research Output 1950 2019


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
1 Citations

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

64 Citations

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
289 Citations

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 Citations

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

Computer systems
Computer simulation
Abstract data types
Computer networks

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

6 Citations

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
12 Citations

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 (gew. 2e druk)

Weger, de, B. M. M., 2011, 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
1979 Citations

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
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

De menselijke maat in ICT

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

Research output: Book/ReportBookPopular

Open Access
1 Citations

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

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

Research output: Book/ReportBookAcademic

Fault detection
State space methods
Riccati equations
Technical presentations
Linear matrix inequalities

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

68 Citations

Second generation wavelets and applications

Jansen, M. H. & Oonincx, P. J., 2005, London: Springer. 138 p.

Research output: Book/ReportBookAcademic


Creating adaptive applications with AHA! : tutorial for AHA! version 3.0

De Bra, P. M. E., Stash, N. & Smits, D., 2004, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computer science reports; vol. 0420)(AH 2004 : 3rd international conference on adaptive hypermedia and adaptive web-based systems; vol. Tutorials)

Research output: Book/ReportBookAcademic

Open Access

Infinite divisibility of probability distributions on the real line

Steutel, F. W. & Harn, van, K., 2004, Basel: Dekker. 546 p. (Pure and applied mathematics : a series of monographs and textbooks; vol. 259)

Research output: Book/ReportBookAcademic

Inzicht door wiskunde

Brands, J. J. A. M., 2004, Nuenen: J.J.A.M. Brands. 300 p.

Research output: Book/ReportBookProfessional

Logical reasoning : a first course

Nederpelt, R. P. & Kamareddine, F., 2004, London: King's College Publications. 410 p. (Texts in computing; vol. 3)

Research output: Book/ReportBookProfessional