Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Jacek Chrząszcz
2018
- Patryk Czarnik, Jacek Chrząszcz and Aleksy Andrzej Schubert, A Java Bytecode Formalisation, in: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Springer, 2018.see in PBN
2011
- Paweł Brach, Jacek Chrząszcz, Janusz Jabłonowski and Jakub Swiatły, A distributed service oriented system for GUI map generation, in: CompSysTech, 2011.see in PBN
- Paweł Brach, Jacek Chrząszcz, Janusz Jabłonowski and Jakub Światly, Cartographer: Architecture of a Distributed System for Automated GUI Map Generation, in: Proceedings of The International Multi-Conference of Engineers and Computer Scientists 2011, Hong Kong 2011.see in PBN
- Jacek Chrząszcz and Aleksy Schubert, The role of polymorphism in the characterisation of complexity by soft types, Lecture Notes In Computer Science 6907 2011, p. 219–230.see in PBN
- Patryk Czarnik, Jacek Chrząszcz and Aleksy Schubert, A Dozen Instructions Make Java Bytecode, Electronic Notes In Theoretical Computer Science 264 (4) 2011, p. 19–34.see in PBN
2006
- Jacek Chrząszcz and Daria Walukiewicz-Chrząszcz, Consistency and completeness of rewriting in the Calculus of Constructions, Lecture Notes In Computer Science 4130 2006, p. 619–631.see in PBN
- Jacek Chrząszcz and Jean-Pierre Jouannaud, From OBJ to ML to COQ, Lecture Notes In Computer Science 4060 2006, p. 216–234.see in PBN
- Jacek Chrząszcz and Aleksy Schubert, ESC/Java2 as a tool to ensure security in the source code of Java applications, in: Proceedings of SET'2006, Springer, New York 2006.see in PBN
- Jacek Chrząszcz, Tomasz Stachowicz, Andrzej Gąsienica-Samek and Aleksy Schubert, Minik: A tool for maintaining proper Java code structure, in: Proceedings of SET'2006, Springer, New York 2006.see in PBN
- Maciej Cielecki, Jędrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz, Jacek Chrząszcz and Aleksy Schubert, Propagation of JML non-null annotations in Java programs, in: Proceedings of PPPJ'2006, Mannheim University Press, Mannheim 2006.see in PBN
2005
- Andrzej Gasienica-Samek, Tomasz Stachowicz, Jacek Chrząszcz and Aleksy Schubert, KOTEK: Clustering of The Enterprise Code, in: Software Engineering: Evolution and Emerging Technologies, IOS Press, Amsterdam 2005.see in PBN
You are not logged in | log in
