Profiles

Gabriele Taentzer

Philipps-Universität Marburg

Verified email at mathematik.uni-marburg.de

Cited by 11794

Computer Science Software Engineering Graph Transformation

Reiko Heckel

Professor of Software Engineering, Dept. of Computer Science, University of Leicester

Verified email at mcs.le.ac.uk

Cited by 9279

Graph Transformation Model-driven Software Engineering

Arend Rensink

Professor in Computer Science, University of Twente

Verified email at utwente.nl

Cited by 4865

Software Verification Model Transformation Model Checking Graph Transformation Model-Based Testing

Detlef Plump

Department of Computer Science, University of York

Verified email at york.ac.uk

Cited by 3432

Graph Transformation Graph-based Programming Models

Fernando Orejas

Universitat Politècnica de Catalunya

Verified email at lsi.upc.edu

Cited by 3282

Software specification and Modeling Graph Transformation Model Transformation Logic Programming Algebraic Methods in Software

Claudia Ermel

Technische Universität Berlin, Germany

Verified email at tu-berlin.de

Cited by 2951

graph transformation visual languages Petri nets model transformation

Frank Drewes

Department of Computing Science, Umeå University

Verified email at cs.umu.se

Cited by 2108

Theoretical Computer Science in particular Formal Language Theory Natural Language Processing Graph Transformation

Russ Harmer

CNRS, Lyon

Verified email at ens-lyon.fr

Cited by 2052

graph transformation rule-based modelling game semantics

Sabine Kuske

Lecturer at the department of Computer Science, University of Bremen

Verified email at uni-bremen.de

Cited by 1587

Graph Transformation Model Transformation Petri Nets

Christopher M. Poskitt

Singapore Management University (SMU)

Verified email at smu.edu.sg

Cited by 1139

software engineering formal methods cybersecurity graph transformation computer science

1 - 10