Jan Vitek

Available identifiers

zbMath Open vitek.janWikidataQ95180031 ScholiaQ95180031MaRDI QIDQ995819

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jan Vitek