Department of Mathematics and Computer Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1950 2019

Locally correct Fréchet matchings

Buchin, K., Buchin, M., Meulemans, W. & Speckmann, B., 1 Jan 2019, In : Computational Geometry: Theory and Applications. 76, p. 1-18 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

Curve
Monotone
Metric

Maintenance service logistics

Arts, J. J., Basten, R. J. I. & van Houtum, G. J. J. A. N., 2019, Operations, Logistics and Supply Chain Management. Zijm, H., Klumpp, M., Regattieri, A. & Heragu, S. (eds.). Amsterdam: Springer, p. 493-517 25 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Logistics
Availability
Supply chains
Life cycle
Engineers

Preface

Botto-Tobar, M., Barba-Maggi, L., González-Huerta, J., Villacrés-Cevallos, P., Gómez, O. S. & Uvidia-Fassler, M. I., 1 Jan 2019, In : Advances in Intelligent Systems and Computing. 884, p. V-vi

Research output: Contribution to journalEditorialAcademicpeer-review

Prizes

2nd place at the Ngi-NGN informatie scriptieprijs

Niek Tax (Recipient), 2015

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

3rd prize for the technical poster

Monika Gupta (Recipient) & Alexander Serebrenik (Recipient), 2016

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Alexander von Humboldt Professorship

Wil van der Aalst (Recipient), 2017

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Activities 1990 2018

2018 Event Security in Times of Surveillance

Cappers, B. (Contributor)
28 May 2018

Activity: Participating in or organising an eventWorkshop, seminar, course or exhibitionScientific

4th International Conference on Technology Trends( CITT 2018)

Botto Tobar, M. (Chair)
29 Aug 201831 Aug 2018

Activity: Participating in or organising an eventConferenceScientific

Organizer of SCOM 2018

Gómez Rivas, J. (Consultant)
16 Apr 201818 Apr 2018

Activity: ConsultancyScientific

Courses

Adaptive web-based systems

1/09/1531/08/18

Course

Advanced algorithms

1/09/15 → …

Course

Advanced calculus

1/09/15 → …

Course

Press / Media

Eventpad wins Best 2-pager Award at Eurotech Venture Program 2018

Bram Cappers

1/09/18

1 media contribution

Press/Media: Public Engagement Activities

Eventpad presented at Blackhat USA 2018

Bram Cappers

16/08/18

1 media contribution

Press/Media: Public Engagement Activities

Research areas

Physics-based Quantum Security and Quantum Networks

Paul Bezembinder (Content manager)

Impact: Research Topic/Theme (at group level)

Post-Quantum Cryptography

Paul Bezembinder (Content manager)

Impact: Research Topic/Theme (at group level)

Quantum Materials and Devices

Paul Bezembinder (Content manager)

Impact: Research Topic/Theme (at group level)

Student theses

(Ab)using Bitcoin for anti-censorship tool

Author: Okupski, K., 31 Dec 2014

Supervisor: Skoric, B. (Supervisor 1), de Weger, B. (Supervisor 2) & Serebrenik, A. (Supervisor 2)

Student thesis: Master

File

(Data) refinement calculus met stack voorbeelden

Author: Andree, H., 31 Oct 1990

Supervisor: Kaldewaij, A. (Supervisor 1) & van der Woude, J. (Supervisor 2)

Student thesis: Master

$\Gamma \vdash M : ? , \Gamma \vdash M : \tau ?, \Gamma \vdash ? : \tau$ or synthesis of types and terms for typed lambda calculi

Author: van Dommelen, R., 31 Aug 1992

Supervisor: Hemerik, C. (Supervisor 1) & Poll, E. (Supervisor 2)

Student thesis: Master