Jacek Chrzaszcz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1998–2017
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | PPDP | Function definitions for compound values in object-oriented languages. | Jacek Chrzaszcz, Aleksy Schubert |
| 2015 | SOFSEM | Java Loops Are Mainly Polynomial. | Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert |
| 2012 | CSL | ML with PTIME complexity guarantees. | Jacek Chrzaszcz, Aleksy Schubert |
| 2012 | ICST | Testing of Evolving Protocols. | Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki |
| 2011 | MFCS | The Role of Polymorphism in the Characterisation of Complexity by Soft Types. | Jacek Chrzaszcz, Aleksy Schubert |
| 2010 | ITP | Inductive Consequences in the Calculus of Constructions. | Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz |
| 2006 | CADE | Consistency and Completeness of Rewriting in the Calculus of Constructions. | Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz |
| 1998 | MFCS | Polymorphic Subtyping Without Distributivity. | Jacek Chrzaszcz |