СТ |
Compile-Time Analysis of Object-Oriented Programs |
1992 |
Vitek J., Horspool N., Uhl J. S. |
|
|
|
Lecture Notes in Computer Science |
27.10.1992 |
СТ |
Message Dispatch on Pipelined Processors |
1995 |
Driesen K., Holzle U., Vitek J. |
Lecture Notes in Computer Science |
|
|
ECOOP 95 - Object-Oriented Programming |
26.09.1995 |
СТ |
Compact Dispatch Tables for Dynamically Typed Object Oriented Languages |
1996 |
Vitek J., Horspool R. N. |
|
|
|
Lecture Notes in Computer Science |
21.05.1996 |
СТ |
Efficient Type Inclusion Tests |
1997 |
Vitek J., Horspool R. N., Krall A. |
|
|
|
SIGPLAN Notices |
23.01.1998 |
СТ |
Near Optimal Hierarchical Encoding of Types |
1997 |
Krall A., Vitek J., Horspool R. N. |
|
|
|
Lecture Notes in Computer Science |
09.07.1997 |
СТ |
Security and Communication in Mobile Object Systems |
1997 |
Vitek J., Serrano M., Thanos D. |
|
|
|
Lecture Notes in Computer Science |
20.05.1997 |
СТ |
On Extending Java |
1997 |
Krall A., Vitek J. |
|
|
|
Lecture Notes in Computer Science |
13.05.1997 |
СТ |
4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations |
1998 |
Bryce C., Ismail L., Vitek J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.01.1999 |
СТ |
Flexible Alias Protection |
1998 |
Noble J., Vitek J., Potter J. |
|
|
|
Lecture Notes in Computer Science |
04.08.1998 |
СТ |
Confined Types |
1999 |
Bokowski B., Vitek J. |
|
|
|
SIGPLAN Notices |
21.12.1999 |
СТ |
Seal: A Framework for Secure Mobile Computations |
1999 |
Vitek J., Castagna G. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
СТ |
Aliasing in Object-Oriented Systems |
1999 |
Noble J., Vitek J., Lea D., Almeida P. S. |
|
|
|
Lecture Notes in Computer Science |
26.01.2000 |
СТ |
A Coordination Model for Agents Based on Secure Spaces |
1999 |
Bryce C., Oriol M., Vitek J. |
|
|
|
Lecture Notes in Computer Science |
18.05.1999 |
СТ |
Resource Management for Safe Languages |
2002 |
Czajkowski G., Vitek J. |
|
|
|
Lecture Notes in Computer Science |
17.01.2003 |
СТ |
Java Subtype Tests in Real-Time |
2003 |
Palacz K., Vitek J. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
СТ |
A Semantic Framework for Designer Transactions |
2004 |
Vitek J., Jagannathan S., Welc A., Hosking A. L. |
|
|
|
Lecture Notes in Computer Science |
23.04.2004 |
СТ |
Optimistic Concurrency Semantics for Transactions in Coordination Languages |
2004 |
Jagannathan S., Vitek J. |
|
|
|
Lecture Notes in Computer Science |
17.03.2004 |