Fingerprint Dive into the research topics where Computer science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Industry Engineering & Materials Science
Semantics Engineering & Materials Science
Visualization Engineering & Materials Science
Petri nets Engineering & Materials Science
Servers Engineering & Materials Science
Scheduling Engineering & Materials Science
Specifications Engineering & Materials Science
Model checking Engineering & Materials Science

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

Projects 2016 2021


Wijs, A. J., Wijs, A. J., Muhammad, M., Gerrits, E., Jama, I. & Jama, I.


Project: Research direct


Linnartz, J. M. G., Bonarius, J. H., de Kort, Y. A. W., Smolders, K. C. H. J., Vogels, I. M. L. C., Peeters, S. T., Dangol, R., Kruisselbrink, T. W., Özçelebi, T., Eijkemans, C., Vereggen - Tielemans, T., Vereggen - Tielemans, T., de Kort, Y. A. W. & Hegh, L.


Project: Research direct

Research Output 1968 2020

Balanced line separators of unit disk graphs

Carmi, P., Chiu, M. K., Katz, M. J., Korman, M., Okamoto, Y., van Renssen, A., Roeloffzen, M., Shiitada, T. & Smorodinsky, S., 1 Jan 2020, In : Computational Geometry: Theory and Applications. 86, 14 p., 101575.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Unit Disk Graph

Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees

Hellings, J., Gyssens, M., Wu, Y., van Gucht, D., van den Bussche, J., Vansummeren, S. & Fletcher, G. H. L., Mar 2020, In : Information Systems. 89, 16 p., 101467.

Research output: Contribution to journalArticleAcademicpeer-review

Query languages
Data structures
Chemical analysis

Enhancing the performance and security of Helper Data Systems

Stanko, T., 23 Jan 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

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


2nd place at the Ngi-NGN informatie scriptieprijs

Niek Tax (Recipient), 2015

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

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

ACM Senior Member

Cassio P. de Campos (Recipient), 2019

Prize: OtherFellowships & membershipsScientific

Activities 1998 2018

Machine Learning, better, together.

Joaquin Vanschoren (Speaker)
8 Dec 2018

Activity: Talk or presentation typesInvited talkScientific

Tutorial on Automatic Machine Learning

Frank Hutter (Speaker), Joaquin Vanschoren (Speaker)
3 Dec 2018

Activity: Talk or presentation typesKeynote talkScientific

Information and Communication Technologies of Ecuador, TIC-EC 2018

Miguel Botto Tobar (Member of programme committee)
21 Nov 201823 Nov 2018

Activity: Participating in or organising an event typesConferenceScientific

Student theses

(In)security of video surveillance systems in building automation systems

Author: Yeh, M., 29 Oct 2018

Supervisor: den Hartog, J. (Supervisor 1), Constante, E. (External person) (External coach) & Dagrada, M. (External person) (External coach)

Student thesis: Master


Abstracting real-valued parameters in parameterised boolean equation systems

Author: Laveaux, M., 26 Feb 2018

Supervisor: Willemse, T. (Supervisor 1)

Student thesis: Master


Accurate, automated and flexible privacy policy conflicts resolution in multiparty systems

Author: Darwish, K., 29 May 2017

Supervisor: Zannone, N. (Supervisor 1)

Student thesis: Master