| * | 2008 |
|---|
| 12 | EE | Jacek Chrzaszcz,
Marieke Huisman,
Aleksy Schubert:
BML and Related Tools.
FMCO 2008: 278-297 |
| 11 | EE | Daria Walukiewicz-Chrzaszcz,
Jacek Chrzaszcz:
Consistency and Completeness of Rewriting in the Calculus of Constructions
CoRR abs/0806.1749: (2008) |
| 10 | EE | Daria Walukiewicz-Chrzaszcz,
Jacek Chrzaszcz:
Consistency and Completeness of Rewriting in the Calculus of Constructions.
Logical Methods in Computer Science 4(3): (2008) |
| 2007 |
|---|
| 9 | EE | Jacek Chrzaszcz,
Daria Walukiewicz-Chrzaszcz:
Towards Rewriting in Coq.
Rewriting, Computation and Proof 2007: 113-131 |
| 2006 |
|---|
| 8 | EE | Jacek Chrzaszcz,
Jean-Pierre Jouannaud:
From OBJ to ML to Coq.
Essays Dedicated to Joseph A. Goguen 2006: 216-234 |
| 7 | EE | Daria Walukiewicz-Chrzaszcz,
Jacek Chrzaszcz:
Consistency and Completeness of Rewriting in the Calculus of Constructions.
IJCAR 2006: 619-631 |
| 6 | EE | Aleksy Schubert,
Jacek Chrzaszcz:
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications.
SET 2006: 337-348 |
| 5 | EE | Jacek Chrzaszcz,
Tomasz Stachowicz,
Andrzej Gasienica-Samek,
Aleksy Schubert:
Minik: A Tool for Maintaining Proper Java Code Structure.
SET 2006: 361-371 |
| 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 |
