dblp.uni-trier.dewww.uni-trier.de

Jacek Chrzaszcz Vis

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

*2008
12EEJacek Chrzaszcz, Marieke Huisman, Aleksy Schubert: BML and Related Tools. FMCO 2008: 278-297
11EEDaria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions CoRR abs/0806.1749: (2008)
10EEDaria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions. Logical Methods in Computer Science 4(3): (2008)
2007
9EEJacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz: Towards Rewriting in Coq. Rewriting, Computation and Proof 2007: 113-131
2006
8EEJacek Chrzaszcz, Jean-Pierre Jouannaud: From OBJ to ML to Coq. Essays Dedicated to Joseph A. Goguen 2006: 216-234
7EEDaria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions. IJCAR 2006: 619-631
6EEAleksy Schubert, Jacek Chrzaszcz: ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications. SET 2006: 337-348
5EEJacek 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
3EEJacek Chrzaszcz: Implementing Modules in the Coq System. TPHOLs 2003: 270-286
2EEJacek Chrzaszcz: Modules in Coq Are and Will Be Correct. TYPES 2003: 130-146
1998
1EEJacek Chrzaszcz: Polymorphic Subtyping Without Distributivity. MFCS 1998: 346-355

Coauthor Index

1Andrzej Gasienica-Samek [4] [5]
2Marieke Huisman [12]
3Jean-Pierre Jouannaud [8]
4Aleksy Schubert [4] [5] [6] [12]
5Tomasz Stachowicz [4] [5]
6Daria Walukiewicz-Chrzaszcz [7] [9] [10] [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)