Concepedia

Annika Wagner

AW

Statistics

Publications

4

Citations

219

H-Index

4

Active since

1995

Affiliations

Technische Universität Berlin(Current)

Paderborn University

Annika Wagner is an author at Technische Universität Berlin specializing in engineering, software engineering, and software analysis.

Top concepts

EngineeringFormal MethodsSoftware DesignComputer ScienceSoftware AnalysisSystems EngineeringSoftware EngineeringDesignGraph TheoryVerification

Publications per year

1995–2002

4

Publications

4

Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach -

Reiko Heckel, Annika Wagner · Electronic Notes in Theoretical Computer Science · 1995 · 139 citations · Full text

Conditional Graph Grammars, Engineering, Verification +22

UML collaboration diagrams and their transformation to java

Gregor Engels, Roland Hücking, Stefan Sauer et al. · Lecture notes in computer science · 1999 · 48 citations

Engineering, Object-oriented Modeling, Design +9

Visualizing the synchronization of Java-threads with UML

Katharina Mehner, Annika Wagner · 2002 · 21 citations

Software Maintenance, Engineering, Object-oriented Modeling +18

DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS

Annika Wagner, Martin Gogolla · Fundamenta Informaticae · 1996 · 11 citations

Directed Graph, Engineering, Verification +20

1–4 of 4