NARCIS geeft toegang tot 514.347 publicaties, waarvan 204.499 open access publicaties, 13.905 datasets en daarnaast informatie over onderzoekers (expertise), onderzoeksprojecten en onderzoeksinstellingen in Nederland.
Show page in English/Toon pagina in Nederlands
 
Baeten, Prof.dr. J.C.M. Prof.dr. J.C.M. Baeten
WoordenWolk
bullet concurrency bullet formele methoden bullet model checking bullet ontwerp bullet procesalgebra bullet software bullet stellingenbewijzen bullet theoretische informatica
Expertise Formele methoden (ten behoeve van ontwerp van software); Concurrency; Procesalgebra; Stellingenbewijzen; Model checking
Expertise (EN) Formal methods (for software design); Concurrency; Process algebra; Theorem Proving; Model checking
Digital Author IDDe Digital Author Identifier (DAI) is een nummer dat aan elke wetenschappelijke auteur in Nederland wordt toegekend, zodat informatie uit verschillende systemen aan elkaar gekoppeld kan worden ongeacht de schrijfwijze van de achternaam en/of initialen. info:eu-repo/dai/nl/298395584
Aanvulling Decaan, faculteit Wiskunde & Informatica, TUE; Wetenschappelijk directeur onderzoekschool IPA Instituut voor Programmatuurkunde en Algoritm; Voorzitter steering committee CONCUR conferenties
METIS Publicaties uit het METIS systeem van de RU
METIS Publicaties uit het METIS systeem van de TUE
Werkzaam als
Betrokkenheid bij lopende onderzoeksactiviteiten
(de meest recente activiteit is bovenaan geplaatst)
bullet Projectleider Formal Methods
bullet Projectleider Transmission Control Protocols for the Internet
Afgesloten onderzoeksactiviteiten
bullet Zie de NOD: Nederlandse Onderzoek Databank (NOD)
Classificatie
bullet D16300 Theoretische informatica
Wijzig deze gegevens in de Nederlandse Onderzoek Databank (NOD).