| ||
| 1. | A Dozen Instructions Make Java Bytecode
Electronic Notes in Theoretical Computer Science Tom 264 r. 2011, str. 19-34 (Artykuł) Patryk Czarnik, Jacek Chrz±szcz, Aleksy Schubert | |
| 2. | The role of polymorphism in the characterisation of complexity by soft types
LECTURE NOTES IN COMPUTER SCIENCE Tom 6907 r. 2011, str. 219-230 (Artykuł konferencyjny) Jacek Chrz±szcz, Aleksy Schubert | |
| 3. | Inductive Consequences in the Calculus of Constructions
LECTURE NOTES IN COMPUTER SCIENCE Tom 6172 r. 2010, str. 450-465 (Artykuł) Daria Walukiewicz-Chrz±szcz, Jacek Chrz±szcz | |
| 4. | BML and Related Tools
LECTURE NOTES IN COMPUTER SCIENCE Tom 5751 r. 2009, str. 278-297 (Artykuł konferencyjny) Aleksy Schubert, Jacek Chrz±szcz, Marieke Huisman | |
| 5. | Consistency and Completeness of Rewriting in the Calculus of Constructions
COMPUTING RESEARCH REPOSITORY Tom abs/0806.1749 r. 2008, str. (Artykuł) Daria Walukiewicz-Chrz±szcz, Jacek Chrz±szcz | |
| 6. | Consistency and completeness of rewriting in the Calculus of Constructions
LOGICAL METHODS IN COMPUTER SCIENCE Tom 4 Nr 3:8 r. 2008, str. 1-20 (Artykuł) Daria Walukiewicz-Chrz±szcz, Jacek Chrz±szcz | |
| 7. | Towards rewriting in Coq
LECTURE NOTES IN COMPUTER SCIENCE Tom 4600 r. 2007, str. 113-131 (Artykuł) Jacek Chrz±szcz, Daria Walukiewicz-Chrz±szcz | |
| 8. | Consistency and completeness of rewriting in the Calculus of Constructions
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 4130 r. 2006, str. 619-631 (Artykuł konferencyjny) Jacek Chrz±szcz, Daria Walukiewicz-Chrz±szcz | |
| 9. | From OBJ to ML to COQ
LECTURE NOTES IN COMPUTER SCIENCE Tom 4060 r. 2006, str. 216-234 (Artykuł) Jacek Chrz±szcz, Jean Jouannaud | |
| 10. | Modules in Coq Are and Will Be Correct
LECTURE NOTES IN COMPUTER SCIENCE Tom 3085 r. 2004, str. 130-146 (Artykuł konferencyjny) Jacek Chrz±szcz | |
| 11. | Implementation of Modules in the Coq System
LECTURE NOTES IN COMPUTER SCIENCE Tom 2758 r. 2003, str. 270-286 (Artykuł konferencyjny) Jacek Chrz±szcz | |
| ||
| 12. | ML with PTIME complexity guarantees
w: CSL, str. 198-212, r. 2012 (Artykuł konferencyjny) Jacek Chrz±szcz, Aleksy Schubert | |
| 13. | Testing of Evolving Protocols
w: ICST, str. 901-906, r. 2012 (Artykuł konferencyjny) Jacek Chrz±szcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki | |
| 14. | A distributed service oriented system for GUI map generation
w: CompSysTech, str. 69-74, r. 2011 (Artykuł konferencyjny) Paweł Brach, Jacek Chrz±szcz, Janusz Jabłonowski, Jakub Swiatły | |
| 15. | Cartographer: Architecture of a Distributed System for Automated GUI Map Generation
w: Proceedings of The International Multi-Conference of Engineers and Computer Scientists 2011, str. 761-766, r. 2011 (Artykuł konferencyjny) Paweł Brach, Jacek Chrz±szcz, Janusz Jabłonowski, Jakub ¦wiatly | |
| 16. | A dozen instructions make Java bytecode
w: Bytecode, str. 11-25, r. 2010 (Artykuł konferencyjny) Jacek Chrz±szcz, Patryk Czarnik, Aleksy Schubert | |
| 17. | Papuq: a Coq assistant
w: Proceedings of Workshop on Proof Assistants and Types in Education (PATE'07), str. 79-96, r. 2007 (Artykuł konferencyjny) Jacek Chrz±szcz, Jakub Sakowicz | |
| 18. | ESC/Java2 as a tool to ensure security in the source code of Java applications
w: Proceedings of SET'2006, str. 337-348, Springer, r. 2006 (Artykuł konferencyjny) Jacek Chrz±szcz, Aleksy Schubert | |
| 19. | Minik: A tool for maintaining proper Java code structure
w: Proceedings of SET'2006, str. 361-372, Springer, r. 2006 (Artykuł konferencyjny) Jacek Chrz±szcz, Tomasz Stachowicz, Andrzej G±sienica-Samek, Aleksy Schubert | |
| 20. | Propagation of JML non-null annotations in Java programs
w: Proceedings of PPPJ'2006, str. 135-140, Mannheim University Press, r. 2006 (Artykuł konferencyjny) Maciej Cielecki, Jędrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz, Jacek Chrz±szcz, Aleksy Schubert | |
| 21. | KOTEK: Clustering of The Enterprise Code
w: Software Engineering: Evolution and Emerging Technologies, str. 412-417, IOS Press, r. 2005 (Artykuł konferencyjny) Andrzej Gasienica-Samek, Tomasz Stachowicz, Jacek Chrz±szcz, Aleksy Schubert | |