| |
| 2006 | ||
|---|---|---|
| 6 | EE | Vincent Schmitt, Krzysztof Worytkiewicz: Bisimulations of enrichments CoRR abs/cs/0602077: (2006) |
| 2004 | ||
| 5 | EE | Krzysztof Worytkiewicz: Synchronization from a Categorical Perspective CoRR cs.PL/0411001: (2004) |
| 4 | EE | Kathryn Hess, Paul-Eugène Parent, Andrew Tonks, Krzysztof Worytkiewicz: Simulations as Homotopies. Electr. Notes Theor. Comput. Sci. 100: 65-93 (2004) |
| 2003 | ||
| 3 | EE | Christoph Sprenger, Krzysztof Worytkiewicz: A Verification Methodology for Infinite-State Message Passing Systems. MEMOCODE 2003: 255-264 |
| 2002 | ||
| 2 | EE | Krzysztof Worytkiewicz: Concrete Process Categories. Electr. Notes Theor. Comput. Sci. 68(1): (2002) |
| 1 | EE | Krzysztof Worytkiewicz: Paths and Simulations. Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 1 | Kathryn Hess | [4] |
| 2 | Paul-Eugène Parent | [4] |
| 3 | Vincent Schmitt | [6] |
| 4 | Christoph Sprenger | [3] |
| 5 | Andrew Tonks | [4] |