Publications of in 2001
H.J. Sander Bruggink. Discourse representation by hypergraphs. Master's thesis, Utrecht University, 2001. |
| ||||||
Paolo Baldan, Andrea Corradini, and Barbara König. A static analysis technique for graph transformation systems. In Proc. of CONCUR '01, pages 381–395. Springer-Verlag, 2001. LNCS 2154. |
| ||||||
Barbara König and Ugo Montanari. Observational equivalence for synchronized graph rewriting with mobility. In Proc. of TACS '01, pages 145–164. Springer-Verlag, 2001. LNCS 2215. |
|