| |
| 2008 | ||
|---|---|---|
| 8 | EE | Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions CoRR abs/0806.1749: (2008) |
| 2007 | ||
| 7 | EE | Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz: Towards Rewriting in Coq. Rewriting, Computation and Proof 2007: 113-131 |
| 2006 | ||
| 6 | EE | Jacek Chrzaszcz, Jean-Pierre Jouannaud: From OBJ to ML to Coq. Essays Dedicated to Joseph A. Goguen 2006: 216-234 |
| 5 | EE | Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions. IJCAR 2006: 619-631 |
| 2005 | ||
| 4 | Andrzej Gasienica-Samek, Tomasz Stachowicz, Jacek Chrzaszcz, Aleksy Schubert: KOTEK: Clustering Of The Enterprise Code. Software Engineering: Evolution and Emerging Technologies 2005: 412-417 | |
| 2003 | ||
| 3 | EE | Jacek Chrzaszcz: Implementing Modules in the Coq System. TPHOLs 2003: 270-286 |
| 2 | EE | Jacek Chrzaszcz: Modules in Coq Are and Will Be Correct. TYPES 2003: 130-146 |
| 1998 | ||
| 1 | EE | Jacek Chrzaszcz: Polymorphic Subtyping Without Distributivity. MFCS 1998: 346-355 |
| 1 | Andrzej Gasienica-Samek | [4] |
| 2 | Jean-Pierre Jouannaud | [6] |
| 3 | Aleksy Schubert | [4] |
| 4 | Tomasz Stachowicz | [4] |
| 5 | Daria Walukiewicz-Chrzaszcz | [5] [7] [8] |