|
Henning Kerstan and Barbara König. Coalgebraic trace semantics for continuous probabilistic transition systems. Logical Methods in Computer Science, 9 [4:16](834), dec 2013. |
|
|
Harsh Beohar. Refinement of communication and states in models of embedded systems. PhD thesis, Department of Mathematics and Computer Science, Eindhoven university of technology, January 2013. |
|
|
Harsh Beohar and Pieter Cuijpers. Avoiding diamonds in desynchronization. In Corina Păsăreanu and Gwen Salaün, editors, Formal Aspects of Component Software, volume 7684 of LNCS, pages 36–54. Springer Berlin Heidelberg, 2013. |
|
|
Benjamin Cabrera. Wang-landau algorithmus, 2013. |
|
|
Henning Kerstan and Barbara König. Coalgebraic trace semantics for continuous probabilistic transition systems, 2013. arXiv:1310.7417. |
|
|
H.J. Sander Bruggink, Barbara König, and Sebastian Küpper. Concatenation and other closure properties of recognizable languages in adhesive categories. In Proc. of GT-VMT '13 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 58 of Electronic Communications of the EASST, 2013. |
|
|
Christoph Blume, H.J. Sander Bruggink, Martin Friedrich, and Barbara König. Treewidth, pathwidth and cospan decompositions with applications to graph-accepting tree automata. Journal of Visual Languages & Computing, 24(3):192–206, 2013. |
|
|
H.J. Sander Bruggink, Barbara König, and Sebastian Küpper. Concatenation and other closure properties of recognizable languages in adhesive categories. In Proc. of GT-VMT '13 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 58 of Electronic Communications of the EASST, 2013. |
|
