Searching for authors named "Jan Vitek" – sorted by Relevance.
-
New Paradigms for Distributed Programming
- New Paradigms for Distributed Programming Jan Vitek jvitek@(email omitted);, Object Systems Group
- Cited by 1 (0 self) – Add To MetaCart
-
Compact Dispatch Tables for Dynamically Typed Programming Languages
- Compact Dispatch Tables for Dynamically Typed Programming Languages Jan Vitek University of Geneva
- Cited by 10 (1 self) – Add To MetaCart
-
Resource Management for Safe Languages
- Resource Management for Safe Languages Grzegorz Czajkowski 1 and Jan Vitek 2 1 Sun Microsystems
- Add To MetaCart
-
Secure Mobile Code: The JavaSeal experiment
- Secure Mobile Code: The JavaSeal experiment Jan Vitek Ciar'an Bryce University of Geneva Abstract
- Cited by 5 (3 self) – Add To MetaCart
-
A new approach to real-time checkpointing
- ○ 2006 ACM 1-59593-332-6/06/0006. . . $5.00. Antonio Cunei Jan Vitek Department of Computer Science
- Cited by 2 (0 self) – Add To MetaCart
-
Confined types in Java
- .cls [Version: 2000/03/06 v2.1] Confined Types in Java Jan Vitek 1,∗ and Boris Bokowski 2,† 1 CERIAS, Computer
- Cited by 21 (0 self) – Add To MetaCart
-
Secure Composition of Untrusted Code: Box π, Wrappers, and Causality Types
- Laboratory University of Cambridge Peter.Sewell@(email omitted); Jan Vitek Department of Computer Sciences
- Cited by 3 (0 self) – Add To MetaCart
-
Mobile Computations and Hostile Hosts
- Mobile Computations and Hostile Hosts Jan Vitek Giuseppe Castagna Abstract This paper scratches
- Cited by 18 (0 self) – Add To MetaCart
-
On Extending Java
- . On Extending Java Andreas Krall 1 Jan Vitek 2 1 Institut fr Computersprachen, Technische Universitt Wien
- Cited by 4 (0 self) – Add To MetaCart
-
Optimistic concurrency semantics for transactions in coordination languages
- and Jan Vitek Department of Computer Sciences Purdue University West Lafayette, IN 47906 {suresh
- Cited by 11 (1 self) – Add To MetaCart

