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.

Projecten 2016 2021

GEARS: GPU Enabled Accelerated Reasoning about System designs

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

11/08/1710/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/1631/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 tijdschriftTijdschriftartikelAcademicpeer 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/CongresprocedureConferentiebijdrageAcademicpeer 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 tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Unit Disk Graph
Separator
Separators
Line
Half-plane

Prijzen

2nd place at the Ngi-NGN informatie scriptieprijs

Niek Tax (Ontvanger), 2015

Prijs: AndersWerk, 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: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

ACM Senior Member

Cassio P. de Campos (Ontvanger), 2019

Prijs: AndersFellowships & membershipsWetenschappelijk

Activiteiten 1998 2019

Eventpad: Cybercrime Analysis using Visual Analytics

Bram C.M. Cappers (Spreker)
27 nov 2019

Activiteit: Types gesprekken of presentatiesGenodigd sprekerProfessioneel

The Value of Data

Bram C.M. Cappers (Spreker)
13 sep 2019

Activiteit: Types gesprekken of presentatiesGenodigd sprekerProfessioneel

Eurographics Workshop on Visual Computing for Biology and Medicine

Dennis Dingen (Bijdrager)
4 sep 20196 sep 2019

Activiteit: Types deelname aan of organisatie van een evenementWorkshop, seminar, cursus of expositieWetenschappelijk

Scripties/masterproeven

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

Auteur: Yeh, M., 29 okt 2018

Begeleider: 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 2019

Begeleider: 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 2018

Begeleider: Willemse, T. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand