Jacek Chrzaszcz

25 papers A 2B 5C 1Journal 5Unranked 11

Year	Rank	Type	Title / Venue / Authors
2018	—	`conf`	A Java Bytecode Formalisation. VSTTE Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert
2018	J	`jnl`	Formalisation of a frame stack semantics for a Java-like language. CoRR Aleksy Schubert, Jacek Chrzaszcz
2017	C	`conf`	Function definitions for compound values in object-oriented languages. PPDP Jacek Chrzaszcz, Aleksy Schubert
2016	—	`conf`	Coq Support in HAHA. TYPES Jacek Chrzaszcz, Aleksy Schubert, Jakub Zakrzewski
2016	J	`jnl`	The role of polymorphism in the characterisation of complexity by soft types. Inf. Comput. Jacek Chrzaszcz, Aleksy Schubert
2015	B	`conf`	Java Loops Are Mainly Polynomial. SOFSEM Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert
2014	J	`jnl`	On multiply-exponential write-once Turing machines. CoRR Maciej Zielenkiewicz, Aleksy Schubert, Jacek Chrzaszcz
2012	B	`conf`	ML with PTIME complexity guarantees. CSL Jacek Chrzaszcz, Aleksy Schubert
2012	A	`conf`	Testing of Evolving Protocols. ICST Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki
2011	—	`conf`	A distributed service oriented system for GUI map generation. CompSysTech Pawel Brach, Jacek Chrzaszcz, Janusz Jablonowski, Jakub Swiatly
2011	B	`conf`	The Role of Polymorphism in the Characterisation of Complexity by Soft Types. MFCS Jacek Chrzaszcz, Aleksy Schubert
2010	—	`conf`	A Dozen Instructions Make Java Bytecode. Bytecode@ETAPS Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert
2010	B	`conf`	Inductive Consequences in the Calculus of Constructions. ITP Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
2008	—	`conf`	BML and Related Tools. FMCO Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
2008	J	`jnl`	Consistency and Completeness of Rewriting in the Calculus of Constructions CoRR Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
2008	J	`jnl`	Consistency and Completeness of Rewriting in the Calculus of Constructions. Log. Methods Comput. Sci. Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
2007	—	`conf`	Towards Rewriting in Coq. Rewriting, Computation and Proof Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz
2006	A	`conf`	Consistency and Completeness of Rewriting in the Calculus of Constructions. IJCAR Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
2006	—	`conf`	ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications. SET Aleksy Schubert, Jacek Chrzaszcz
2006	—	`conf`	From OBJ to ML to Coq. Essays Dedicated to Joseph A. Goguen Jacek Chrzaszcz, Jean-Pierre Jouannaud
2006	—	`conf`	Minik: A Tool for Maintaining Proper Java Code Structure. SET Jacek Chrzaszcz, Tomasz Stachowicz, Andrzej Gasienica-Samek, Aleksy Schubert
2005	—	`ch.`	KOTEK: Clustering Of The Enterprise Code. Software Engineering: Evolution and Emerging Technologies Andrzej Gasienica-Samek, Tomasz Stachowicz, Jacek Chrzaszcz, Aleksy Schubert
2003	—	`conf`	Implementing Modules in the Coq System. TPHOLs Jacek Chrzaszcz
2003	—	`conf`	Modules in Coq Are and Will Be Correct. TYPES Jacek Chrzaszcz
1998	B	`conf`	Polymorphic Subtyping Without Distributivity. MFCS Jacek Chrzaszcz