Krzysztof Worytkiewicz Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2006
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Schmitt, Krzysztof Worytkiewicz: Bisimulations of enrichments CoRR abs/cs/0602077: (2006)
2004
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof Worytkiewicz: Synchronization from a Categorical Perspective CoRR cs.PL/0411001: (2004)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathryn Hess, Paul-Eugène Parent, Andrew Tonks, Krzysztof Worytkiewicz: Simulations as Homotopies. Electr. Notes Theor. Comput. Sci. 100: 65-93 (2004)
2003
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Sprenger, Krzysztof Worytkiewicz: A Verification Methodology for Infinite-State Message Passing Systems. MEMOCODE 2003: 255-264
2002
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof Worytkiewicz: Concrete Process Categories. Electr. Notes Theor. Comput. Sci. 68(1): (2002)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof Worytkiewicz: Paths and Simulations. Electr. Notes Theor. Comput. Sci. 69: (2002)

Coauthor Index

1Kathryn Hess [4]
2Paul-Eugène Parent [4]
3Vincent Schmitt [6]
4Christoph Sprenger [3]
5Andrew Tonks [4]

Colors in the list of coauthors

Copyright © Mon Dec 7 15:48:47 2009 by Michael Ley (ley@uni-trier.de)