Barbara König

Barbara König

Universität Duisburg Essen - Essen / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1783481
University of Duisburg-Essen
person_outline Barbara König's MOST POPULAR ARTICLES
1-) Sesqui-pushout rewritingA Corradini, T Heindel, F Hermann, B KönigInternational Conference on Graph Transformation, 30-45, 20061442006
2-) A static analysis technique for graph transformation systemsP Baldan, A Corradini, B KönigInternational Conference on Concurrency Theory, 381-395, 20011212001
3-) Deriving bisimulation congruences in the DPO approach to graph rewritingH Ehrig, B KönigInternational Conference on Foundations of Software Science and Computation …, 2004982004
4-) Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contextsH Ehrig, B KönigMathematical Structures in Computer Science 16 (6), 1133-1163, 2006972006
5-) Counterexample-guided abstraction refinement for the analysis of graph transformation systemsB König, V KoziouraTools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006962006