Projecten per jaar
Vingerafdruk Duik in de onderzoeksthema's waar Informatica actief is. Deze onderwerplabels komen voort uit het werk van deze leden van de organisatie. Samen vormen ze een unieke vingerafdruk.
Industry
Engineering en materiaalwetenschappen
Semantics
Engineering en materiaalwetenschappen
Visualization
Engineering en materiaalwetenschappen
Petri nets
Engineering en materiaalwetenschappen
Scheduling
Engineering en materiaalwetenschappen
Servers
Engineering en materiaalwetenschappen
Model checking
Engineering en materiaalwetenschappen
Specifications
Engineering en materiaalwetenschappen
Netwerk
Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.
Profielen
Wil M.P. van der Aalst
- Faculteit Wiskunde & Informatica, Information Systems WSK&I - Hoogleraar
Persoon: HGL : Hoogleraar
Negar Ahmadi, MSc
- Faculteit Wiskunde & Informatica, Information Systems WSK&I - Promovendus
Persoon: Prom. : Promovendus
Projecten 2016 2021
Business Process Re-engineering and functional toolkit for GDPR compliance
van Dongen, B. F., Hassani, M., den Braven, J., den Braven, J., Medeiros de Carvalho, R., van der Avoird, M., van Dongen, B. F., Verbeek, H. M. W. (., Zaman, R. & Mozafari Mehr, A.
1/05/18 → 30/04/21
Project: Onderzoek direct
GEARS: GPU Enabled Accelerated Reasoning about System designs
Wijs, A. J., Wijs, A. J., Muhammad, M., Gerrits, E., Jama, I. & Jama, I.
11/08/17 → 10/08/21
Project: Onderzoek direct
OptiLight
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.
1/11/16 → 31/10/20
Project: Onderzoek direct
Onderzoeksoutput 1968 2020
A formal actor-based model for streaming the future
Azadbakht, K., de Boer, F. S., Bezirgiannis, N. & de Vink, E., 1 feb 2020, In : Science of Computer Programming. 186, 22 blz., 102341.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Specifications
Specification languages
Application programs
Computer programming languages
Servers
Automation of the municipal inspection process in Ecuador applying mobile-D for android
Guevara-Vega, C., Hernández-Rojas, J., Botto-Tobar, M., García-Santillán, I., Basantes Andrade, A. & Quiña-Mera, A., 1 jan 2020, Advances in Emerging Trends and Technologies Volume 1. Botto-Tobar, M., León-Acurio, J., Díaz Cadena, A. & Montiel Díaz, P. (redactie). Cham: Springer, blz. 155-166 12 blz. (Advances in Intelligent Systems and Computing; vol. 1066).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Application programs
Automation
Inspection
Studios
Software architecture
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 blz., 101575.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open Access
Unit Disk Graph
Separator
Separators
Line
Half-plane
Datasets
A labeled Ecore metamodel dataset for domain clustering
Babur, Ö. (Ontwerper), Zenodo, mrt 2019
Dataset
Apache Commons Crypto 1.0.0 - Stream CbcNopad Unit Test Software Event Log
Leemans, M. (Ontwerper), 4TU.Centre for Research Data, 21 apr 2017
DOI: 10.4121/uuid:bb3286d6-dde1-4e74-9a64-fd4e32f10677
Dataset
NASA Crew Exploration Vehicle (CEV) Software Event Log
Leemans, M. (Ontwerper), 4TU.Centre for Research Data, 21 apr 2017
DOI: 10.4121/uuid:60383406-ffcd-441f-aa5e-4ec763426b76
Dataset
Prijzen
2nd place at the Ngi-NGN informatie scriptieprijs
Niek Tax (Ontvanger), 2015
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk
3rd prize for the technical poster
Monika Gupta (Ontvanger) & Alexander Serebrenik (Ontvanger), 2016
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk
ACM Senior Member
Cassio P. de Campos (Ontvanger), 2019
Prijs: Anders › Fellowships & memberships › Wetenschappelijk
Activiteiten 1998 2019
Eventpad: Cybercrime Analysis using Visual Analytics
Bram C.M. Cappers (Spreker)27 nov 2019
Activiteit: Types gesprekken of presentaties › Genodigd spreker › Professioneel
The Value of Data
Bram C.M. Cappers (Spreker)13 sep 2019
Activiteit: Types gesprekken of presentaties › Genodigd spreker › Professioneel
Eurographics Workshop on Visual Computing for Biology and Medicine
Dennis Dingen (Bijdrager)4 sep 2019 → 6 sep 2019
Activiteit: Types deelname aan of organisatie van een evenement › Workshop, seminar, cursus of expositie › Wetenschappelijk
Pers/media
-Eindhoven University of Technology: Tackling digital threats with cyber security research grants
Chris C.P. Snijders, Chigo Okonkwo & Luca Allodi
19/12/19
2 items van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
A BOOST OF 4,1M FOR JOINT PROTON THERAPY RESEARCH TU DELFT, ERASMUS MC AND LUMC
11/12/19
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
A BOOST OF 4,1M FOR JOINT PROTON THERAPY RESEARCH TO RESEARCHERS OF ERASMUS MC, LUMC AND TU DELFT
4/12/19
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
Scripties/masterproeven
(In)security of video surveillance systems in building automation systems
Auteur: Yeh, M., 29 okt 2018Begeleider: den Hartog, J. (Afstudeerdocent 1), Constante, E. (Externe persoon) (Externe coach) & Dagrada, M. (Externe persoon) (Externe coach)
Scriptie/masterproef: Master
Bestand
3D fingerprint detection in ancient museum sculptures from CT data
Auteur: Sanders, S., 25 nov 2019Begeleider: van Liere, R. (Afstudeerdocent 1) & Jalba, A. C. (Afstudeerdocent 2)
Scriptie/masterproef: Master
Bestand
Abstracting real-valued parameters in parameterised boolean equation systems
Auteur: Laveaux, M., 26 feb 2018Begeleider: Willemse, T. (Afstudeerdocent 1)
Scriptie/masterproef: Master
Bestand