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