Concepedia

Barbara König

BK

25

Publications

631

Citations

15

H-Index

2000

Active since

Affiliations

University of Duisburg-Essen(Current)

University of Pisa

University of Padua

University of Stuttgart

Université Paris Cité

Barbara König is an author at University of Duisburg-Essen specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationGraph TheoryVerificationSystems EngineeringDiscrete MathematicsComputational Complexity

Publications per year

2000–2024

25

Publications

25

Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems

Barbara König, Vitali Kozioura · Electronic Notes in Theoretical Computer Science · 2008 · 70 citations · Full text

Engineering, Augur 2, Verification +25

Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts

Hartmut Ehrig, Barbara König · Mathematical Structures in Computer Science · 2006 · 65 citations

Directed Graph, Engineering, Graph Theory +13

Saturated Semantics for Reactive Systems

Filippo Bonchi, Barbara König, Ugo Montanari · 2006 · 56 citations

Process Calculi, Engineering, Operational Semantics +13

On deterministic finite automata and syntactic monoid size

Markus Holzer, Barbara König · Theoretical Computer Science · 2004 · 46 citations

Engineering, Automated Reasoning, Formal Methods +6

A framework for the verification of infinite-state graph transformation systems

Paolo Baldan, Andrea Corradini, Barbara König · Information and Computation · 2008 · 46 citations

Reachability Analysis, Engineering, Graph Theory +10

Rows per page

1–5 of 25