Publications of in 2001

H.J. Sander Bruggink. Discourse representation by hypergraphs. Master's thesis, Utrecht University, 2001.
PDF (455 kB)
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.
GZipped PostScript (122 kB)
PDF (203 kB)
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.
GZipped PostScript (129 kB)
PDF (228 kB)
© University of Duisburg-Essen, Theoretical Computer Science group