Ekkart Kindler

Ekkart Kindler

Technical University of Denmark, DTU Compute
Verifierad e-postadress på dtu.dk
Citerat av 5494
Model-based Software Engineering Formal Methods Business Process Management #dtusse
Andrea Burattin

Andrea Burattin

Technical University of Denmark
Verifierad e-postadress på dtu.dk
Citerat av 5247
Streaming Process Mining Process Mining Process Modeling #dtusse
Alberto Lluch Lafuente

Alberto Lluch Lafuente

Technical University of Denmark
Verifierad e-postadress på dtu.dk
Citerat av 4765
Formal Methods Software Engineering Security Artificial Intelligence #dtusse
Anne E. Haxthausen

Anne E. Haxthausen

Associate Professor of Computer Science, Technical University of Denmark
Verifierad e-postadress på dtu.dk
Citerat av 2382
Formal Methods Semantics Safety Railways #dtusse
Hubert Baumeister

Hubert Baumeister

Technical University of Denmark
Verifierad e-postadress på dtu.dk
Citerat av 1867
Software Engineering UML Formal Methods Agile Software Development Processes #dtusse
Alceste Scalas

Alceste Scalas

Associate Professor in Computer Science, DTU Compute, Technical University of Denmark
Verifierad e-postadress på dtu.dk
Citerat av 868
Concurrent and distributed systems programming languages formal methods #dtusse
Andrey Rivkin

Andrey Rivkin

Assistant professor (tenure track), Technical University of Denmark
Verifierad e-postadress på dtu.dk
Citerat av 740
Petri nets business process management computational logic #dtusse
Hugo Andrés López

Hugo Andrés López

Associate Professor, Technical University of Denmark
Verifierad e-postadress på dtu.dk
Citerat av 653
Business Process Management Distributed Systems Artificial Intelligence #dtusse
Giovanni Meroni

Giovanni Meroni

DTU Compute
Verifierad e-postadress på dtu.dk
Citerat av 357
Business Process Management Information Systems Blockchain #dtusse
Christian Gram Kalhauge

Christian Gram Kalhauge

Assistant Professor, DTU
Verifierad e-postadress på dtu.dk
Citerat av 134
Dynamic analysis Testing Security #dtusse