default search action
Jacek Chrzaszcz
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [c19]Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert:
A Java Bytecode Formalisation. VSTTE 2018: 135-154 - [i3]Aleksy Schubert, Jacek Chrzaszcz:
Formalisation of a frame stack semantics for a Java-like language. CoRR abs/1808.05342 (2018) - 2017
- [c18]Jacek Chrzaszcz, Aleksy Schubert
:
Function definitions for compound values in object-oriented languages. PPDP 2017: 61-72 - 2016
- [j2]Jacek Chrzaszcz, Aleksy Schubert
The role of polymorphism in the characterisation of complexity by soft types. Inf. Comput. 248: 130-149 (2016) - [c17]Jacek Chrzaszcz, Aleksy Schubert
Coq Support in HAHA. TYPES 2016: 8:1-8:26 - 2015
- [c16]Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert:
Java Loops Are Mainly Polynomial. SOFSEM 2015: 603-614 - 2014
- [i2]Maciej Zielenkiewicz, Aleksy Schubert, Jacek Chrzaszcz:
On multiply-exponential write-once Turing machines. CoRR abs/1407.7592 (2014) - 2012
- [c15]Jacek Chrzaszcz, Aleksy Schubert:
ML with PTIME complexity guarantees. CSL 2012: 198-212 - [c14]Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki
Testing of Evolving Protocols. ICST 2012: 901-906 - 2011
- [c13]Pawel Brach, Jacek Chrzaszcz, Janusz Jablonowski, Jakub Swiatly:
A distributed service oriented system for GUI map generation. CompSysTech 2011: 69-74 - [c12]Jacek Chrzaszcz, Aleksy Schubert:
The Role of Polymorphism in the Characterisation of Complexity by Soft Types. MFCS 2011: 219-230 - 2010
- [c11]Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz:
Inductive Consequences in the Calculus of Constructions. ITP 2010: 450-465 - [c10]Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert:
A Dozen Instructions Make Java Bytecode. Bytecode@ETAPS 2010: 19-34
2000 – 2009
- 2008
- [j1]Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz:
Consistency and Completeness of Rewriting in the Calculus of Constructions. Log. Methods Comput. Sci. 4(3) (2008) - [c9]Jacek Chrzaszcz, Marieke Huisman
BML and Related Tools. FMCO 2008: 278-297 - [i1]Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz:
Consistency and Completeness of Rewriting in the Calculus of Constructions. CoRR abs/0806.1749 (2008) - 2007
- [c8]Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz:
Towards Rewriting in Coq. Rewriting, Computation and Proof 2007: 113-131 - 2006
- [c7]Jacek Chrzaszcz, Jean-Pierre Jouannaud:
From OBJ to ML to Coq. Essays Dedicated to Joseph A. Goguen 2006: 216-234 - [c6]Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz:
Consistency and Completeness of Rewriting in the Calculus of Constructions. IJCAR 2006: 619-631 - [c5]Aleksy Schubert, Jacek Chrzaszcz:
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications. SET 2006: 337-348 - [c4]Jacek Chrzaszcz, Tomasz Stachowicz, Andrzej Gasienica-Samek, Aleksy Schubert:
Minik: A Tool for Maintaining Proper Java Code Structure. SET 2006: 361-371 - 2005
- [p1]Andrzej Gasienica-Samek, Tomasz Stachowicz, Jacek Chrzaszcz, Aleksy Schubert:
KOTEK: Clustering Of The Enterprise Code. Software Engineering: Evolution and Emerging Technologies 2005: 412-417 - 2003
- [c3]Jacek Chrzaszcz:
Implementing Modules in the Coq System. TPHOLs 2003: 270-286 - [c2]Jacek Chrzaszcz:
Modules in Coq Are and Will Be Correct. TYPES 2003: 130-146
1990 – 1999
- 1998
- [c1]Jacek Chrzaszcz:
Polymorphic Subtyping Without Distributivity. MFCS 1998: 346-355
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-27 00:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: