Jan Vitek

Available identifiers

Publication	Date of Publication	Type
Why We Eval in the Shadows (Dataset)	2021-09-07	Dataset
How to evaluate the performance of gradual type systems	2019-11-22	Paper
Correctness of a concurrent object collector for actor languages	2019-09-13	Paper
Verifying a concurrent garbage collector with a rely-guarantee methodology	2019-08-21	Paper
Verifying a concurrent garbage collector using a rely-guarantee methodology	2018-01-04	Paper
Integrating typed and untyped code in a scripting language	2015-06-11	Paper
Plan B	2014-11-27	Paper
Programming Languages and Systems	2007-09-28	Paper
Scoped types and aspects for real-time Java memory management	2007-09-10	Paper
Type-based confinement	2006-01-13	Paper
Coordination Models and Languages	2006-01-10	Paper
Model-Based Assignment and Inference of Protein Backbone Nuclear Magnetic Resonances	2005-10-28	Paper
The seal calculus	2005-09-22	Paper
A transactional object calculus	2005-08-03	Paper
Coordination and mobility in CoreLime	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4735988	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4417612	2003-07-29	Paper
Coordinating processes with secure spaces	2003-05-14	Paper
Confined types in Java	2003-02-04	Paper
Static analysis of PostScript code	1993-11-15	Paper

This page was built for person: Jan Vitek