Вы здесь

Главная

Vitek J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Java Subtype Tests in Real-Time 2003 Palacz K., Vitek J. Lecture Notes in Computer Science 23.09.2003
СТ Resource Management for Safe Languages 2002 Czajkowski G., Vitek J. Lecture Notes in Computer Science 17.01.2003
СТ Aliasing in Object-Oriented Systems 1999 Noble J., Vitek J., Lea D., Almeida P. S. Lecture Notes in Computer Science 26.01.2000
СТ 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
СТ A Coordination Model for Agents Based on Secure Spaces 1999 Bryce C., Oriol M., Vitek J. Lecture Notes in Computer Science 18.05.1999
СТ 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
СТ 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
СТ Compact Dispatch Tables for Dynamically Typed Object Oriented Languages 1996 Vitek J., Horspool R. N. Lecture Notes in Computer Science 21.05.1996
СТ 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
СТ Compile-Time Analysis of Object-Oriented Programs 1992 Vitek J., Horspool N., Uhl J. S. Lecture Notes in Computer Science 27.10.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Programming Languages and Systems: Proc./24th European Symposium on Programming, ESOP 2015 Held as Part of the ETAPS 2015, London, UK, April 2015 2015 Lecture Notes in Computer Science
  1. Vitek J.
 23.05.2015
СБ Objects, Models, Components, Patterns: Proc./48th International Conference, TOOLS 2010 2010 Lecture Notes in Computer Science
  1. Vitek J.
 21.09.2010
СБ ECOOP 2008 - Object Oriented Programming: Proc./22nd European Conference. Paphos, Cyprus, July 2008 2008 Lecture Notes in Computer Science
  1. Vitek J.
 26.08.2008
СБ Coordination Models and Languages: Proc./9th International Conference, COORDINATION 2007. Paphos, Cyprus, June 2007 2007 Lecture Notes in Computer Science
  1. Murphy A. L.
  2. Vitek J.
 26.06.2007
СБ Mobile Object Systems: Towards the Programmable Internet: Proc./Second Intern. Workshop, MOS 96. Linz, Austria, July 1996 1997 Lecture Notes in Computer Science
  1. Vitek J.
  2. Tschudin C.
 20.05.1997