Publications of in 2017

Benjamin Cabrera, Laura Steinert, and Björn Ross. Grawitas: a grammar-based wikipedia talk page parser. In Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics, pages 21–24. Association for Computational Linguistics, 2017.
Info
See aclweb.org ...
Jan Stückrath and Barbara König. A general framework for well-structured graph transformation systems. Information and Computation, 252:79–94, 2017.
Info
See www.sciencedirect.com ...
Filippo Bonchi, Barbara König, and Sebastian Küpper. Up-to techniques for weighted systems (extended version), 2017. arXiv:1701.05001.
Info
See arxiv.org ...
Conference version
Filippo Bonchi, Barbara König, and Sebastian Küpper. Up-to techniques for weighted systems. In Proc. of TACAS '17, Part I, pages 535–552. Springer, 2017. LNCS 10205.
Info
Extended version
Andrea Corradini, Barbara König, and Dennis Nolte. Specifying graph languages with type graphs. In Proc. of ICGT '17 (International Conference on Graph Transformation), pages 73–89. Springer, 2017. LNCS 10373.
Info
Extended version
Andrea Corradini, Barbara König, and Dennis Nolte. Specifying graph languages with type graphs, 2017. arXiv:1704.05263.
Info
See arxiv.org ...
Conference version
Barbara König and Christina Mika. Bisimulation games on coalgebras. In CALCO Early Ideas '17, 2017.
Info
Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. Conditional transition system with upgrades. In Proc. of TASE '17 (Theoretical Aspects of Software Engineering), 2017. to appear.
Info
Benjamin Cabrera and Barbara König. Extracting the main path of historic events from Wikipedia. In Proc. of ENIC '17 (European Network Intelligence Conference), 2017. to appear.
Info
Davide Di Ruscio and Barbara König, editors. STAF 2017 Doctoral Symposium, volume 1955 of CEUR Workshop Proceedings, 2017.
Info
See ceur-ws.org ...
Filippo Bonchi and Barbara König, editors. Algebra and Coalgebra in Computer Science (CALCO 2017), volume 72. LIPIcs, 2017.
Info
See www.dagstuhl.de ...
Harsh Beohar and Sebastian Küpper. On path-based coalgebras and weak notions of bisimulation. In Proc. of CALCO '17, 2017. to appear.
Info
Barbara König, Sebastian Küpper, and Christina Mika. Paws: A tool for the analysis of weighted systems. In Proc. of QAPL '17 (International Workshop on Quantitative Aspects of Programming Languages and Systems), 2017. to appear.
Info
B. König and C. Mika. Bisimulation games on coalgebras. In CALCO Early Ideas '17, 2017.
Info
B. König, C. Mika, and S. Küpper. Paws: A tool for the analysis of weighted systems. In Proc. of QAPL '17 (International Workshop on Quantitative Aspects of Programming Languages and Systems), volume 250 of EPTCS, 2017.
Info
See eptcs.web.cse.unsw.edu.au ...
Dennis Nolte. Analysis and abstraction of graph transformation systems via type graphs. In Proc. of ICGT '17 (International Conference on Graph Transformation), Proc. of the Doctoral Symposium. Springer, 2017.
PDF (182 kB)
Info
Conference version
© University of Duisburg-Essen, Theoretical Computer Science group