|
Henning Kerstan and Barbara König. Coalgebraic trace semantics for probabilistic transition systems based on measure theory. In Maciej Koutny and Irek Ulidowski, editors, CONCUR 2012 – Concurrency Theory, volume 7454 of Lecture Notes in Computer Science, pages 410–424. Springer Berlin Heidelberg, sep 2012. |
|
|
Henning Kerstan and Barbara König. Coalgebraic trace semantics for probabilistic transition systems based on measure theory. Technical Report 2012-02, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, jun 2012. |
|
|
H.J. Sander Bruggink, Mathias Hülsbusch, and Barbara König. Towards alternating automata for graph languages. In Proceedings of GT-VMT 2012, Electronic Communications of the EASST, 2012. |
|
|
Jiri Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, and Alexandra Silva. A coalgebraic perspective on minimization and determinization. In Proc. of FOSSACS '12, pages 58–73. Springer, 2012. LNCS/ARCoSS 7213. |
|
|
Mathias Hülsbusch and Barbara König. Deriving bisimulation congruences for conditional reactive systems. In Proc. of FOSSACS '12, pages 361–375. Springer, 2012. LNCS/ARCoSS 7213. |
|
|
Andrei Dorman, Tobias Heindel, and Barbara König. Structured operational semantics for graph rewriting. Scientific Annals of Computer Science, XXII(1):105–145, 2012. |
|
|
Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, and Jan Stückrath. On the decidability status of reachability and coverability in graph transformation systems. In Proc. of RTA '12, volume 15 of LIPIcs, pages 101–116. Schloss Dagstuhl – Leibniz Center for Informatics, 2012. |
|
|
Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, and Jan Stückrath. On the decidability status of reachability and coverability in graph transformation systems. Technical Report DISI-TR-11-04, Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, 2012. |
|
|
Cormac Flanagan and Barbara König, editors. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012). Springer, 2012. LNCS/ARCoSS 7214. |
|
|
Salil Joshi and Barbara König. Applying the graph minor theorem to the verification of graph transformation systems. Technical Report 2012-01, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, 2012. |
|
|
Christoph Blume, Sander Bruggink H., J., Dominik Engelke, and Barbara König. Efficient symbolic implementation of graph automata with applications to invariant checking. In Proc. of ICGT '12 (International Conference on Graph Transformation), pages 264–278. Springer, 2012. LNCS 7562. |
|
|
Barbara König and Jan Stückrath. Well-structured graph transformation systems with negative application conditions. In Proc. of ICGT '12 (International Conference on Graph Transformation), pages 89–95. Springer, 2012. LNCS 7562. |
|
|
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodriguez, and Stefan Schwoon. Efficient unfolding of contextual Petri nets. Theoretical Computer Science, 449:2–22, 2012. |
|
|
Barbara König and Jan Stückrath. Well-structured graph transformation systems with negative application conditions. Technical Report 2012-03, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, 2012. |
|
|
Barbara König. Conditions in reactive systems and in graph rewriting. In Proc. of PNGT '12 (Workshop on Petri Nets, Graph Transformation and other Concurrency Formalisms), volume 51 of Electronic Communications of the EASST, 2012. |
|
|
Cormac Flanagan and Barbara König, editors. Selected Papers of the Conference ``Tools and Algorithms for the Construction and Analysis of Systems'': TACAS 2012, Logical Methods in Computer Science, 2012. Special Issue. |
|
|
Sebastian Küpper. Abschlusseigenschaften für graph-sprachen mit anwendungen auf terminierungsanalyse. Master's thesis, Universität Duisburg-Essen, 2012. |
|
|
Dennis Nolte. Automatische Verifikation von Bisimulationsäquivalenzen in Graphtransformationssystemen. Master's thesis, Universität Duisburg-Essen, 2012. |
|
