Polymorphic Subtyping Without Distributivity. - Jacek Chrzaszcz (MFCS, 1998)

Implementing Modules in the Coq System. - Jacek Chrzaszcz (TPHOLs, 2003)

Modules in Coq Are and Will Be Correct. - Jacek Chrzaszcz (TYPES, 2003)

KOTEK: Clustering Of The Enterprise Code. - Andrzej Gasienica-Samek; Tomasz Stachowicz; Jacek Chrzaszcz; Aleksy Schubert (Software Engineering: Evolution and Emerging Technologies, 2005)

From OBJ to ML to Coq. - Jacek Chrzaszcz; Jean-Pierre Jouannaud (Essays Dedicated to Joseph A. Goguen, 2006)

Minik: A Tool for Maintaining Proper Java Code Structure. - Jacek Chrzaszcz; Tomasz Stachowicz; Andrzej Gasienica-Samek; Aleksy Schubert (SET, 2006)

ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications. - Aleksy Schubert; Jacek Chrzaszcz (SET, 2006)

Towards Rewriting in Coq. - Jacek Chrzaszcz; Daria Walukiewicz-Chrzaszcz (Rewriting, Computation and Proof, 2007)

BML and Related Tools. - Jacek Chrzaszcz; Marieke Huisman; Aleksy Schubert (FMCO, 2008)

Consistency and Completeness of Rewriting in the Calculus of Constructions. - Daria Walukiewicz-Chrzaszcz; Jacek Chrzaszcz (Log. Methods Comput. Sci., 2008)

Inductive Consequences in the Calculus of Constructions. - Daria Walukiewicz-Chrzaszcz; Jacek Chrzaszcz (ITP, 2010)

A Dozen Instructions Make Java Bytecode. - Jacek Chrzaszcz; Patryk Czarnik; Aleksy Schubert (Bytecode@ETAPS, 2010)

A distributed service oriented system for GUI map generation. - Pawel Brach; Jacek Chrzaszcz; Janusz Jablonowski; Jakub Swiatly (CompSysTech, 2011)

ML with PTIME complexity guarantees. - Jacek Chrzaszcz; Aleksy Schubert (CSL, 2012)

Testing of Evolving Protocols. - Jacek Chrzaszcz; Patryk Czarnik; Aleksy Schubert; Andrzej Tarlecki (ICST, 2012)

On multiply-exponential write-once Turing machines. - Maciej Zielenkiewicz; Aleksy Schubert; Jacek Chrzaszcz (CoRR, 2014)

Java Loops Are Mainly Polynomial. - Maciej Zielenkiewicz; Jacek Chrzaszcz; Aleksy Schubert (SOFSEM, 2015)

Coq Support in HAHA. - Jacek Chrzaszcz; Aleksy Schubert; Jakub Zakrzewski 003 (TYPES, 2016)

The role of polymorphism in the characterisation of complexity by soft types. - Jacek Chrzaszcz; Aleksy Schubert (Inf. Comput., 2016)

Function definitions for compound values in object-oriented languages. - Jacek Chrzaszcz; Aleksy Schubert (PPDP, 2017)

A Java Bytecode Formalisation. - Patryk Czarnik; Jacek Chrzaszcz; Aleksy Schubert (VSTTE, 2018)

Formalisation of a frame stack semantics for a Java-like language. - Aleksy Schubert; Jacek Chrzaszcz (CoRR, 2018)