Gabriele Taentzer

Gabriele Taentzer

Philipps-Universität Marburg
mathematik.uni-marburg.de의 이메일 확인됨
11904회 인용
Computer Science Software Engineering Graph Transformation
Reiko Heckel

Reiko Heckel

Professor of Software Engineering, Dept. of Computer Science, University of Leicester
mcs.le.ac.uk의 이메일 확인됨
9324회 인용
Graph Transformation Model-driven Software Engineering
Arend Rensink

Arend Rensink

Professor in Computer Science, University of Twente
utwente.nl의 이메일 확인됨
4917회 인용
Software Verification Model Transformation Model Checking Graph Transformation Model-Based Testing
Detlef Plump

Detlef Plump

Department of Computer Science, University of York
york.ac.uk의 이메일 확인됨
3449회 인용
Graph Transformation Graph-based Programming Models
Fernando Orejas

Fernando Orejas

Universitat Politècnica de Catalunya
lsi.upc.edu의 이메일 확인됨
3300회 인용
Software specification and Modeling Graph Transformation Model Transformation Logic Programming Algebraic Methods in Software
Claudia Ermel

Claudia Ermel

Technische Universität Berlin, Germany
tu-berlin.de의 이메일 확인됨
2974회 인용
graph transformation visual languages Petri nets model transformation
Frank Drewes

Frank Drewes

Department of Computing Science, Umeå University
cs.umu.se의 이메일 확인됨
2131회 인용
Theoretical Computer Science in particular Formal Language Theory Natural Language Processing Graph Transformation
Russ Harmer

Russ Harmer

CNRS, Lyon
ens-lyon.fr의 이메일 확인됨
2078회 인용
graph transformation rule-based modelling game semantics
Sabine Kuske

Sabine Kuske

Lecturer at the department of Computer Science, University of Bremen
uni-bremen.de의 이메일 확인됨
1589회 인용
Graph Transformation Model Transformation Petri Nets
Christopher M. Poskitt

Christopher M. Poskitt

Singapore Management University (SMU)
smu.edu.sg의 이메일 확인됨
1205회 인용
software engineering software testing formal methods cybersecurity graph transformation
1 - 10