scHolar index

Querying Google Scholar ES... reading... saving... parsing... reading... saving... parsing... reading... saving... parsing... Caching results... done

247 references between 1977 and 2009
247 references cited (3643 citations)

14.75 citations per reference (median=4.00)
14.75 citations per cited reference (median=4.00)

h-index: 33 (a=3.35, m=1.03)
g-index: 52

33 reference(s) with more than 34 citation(s)

	267	Flexible alias protection J Noble, J Vitek, J Potter - Lecture Notes in Computer Science, 1998 - Springer
	190	Seal: A framework for secure mobile computations J Vitek, G Castagna - Lecture notes in computer science, 1999 - Springer
	110	Encapsulating objects with confined types C Grothoff, J Palsberg, J Vitek - Proceedings of the 16th ACM …, 2001 - portal.acm.org
	103	The JavaSeal mobile agent kernel C Bryce, J Vitek - Autonomous Agents and Multi-Agent Systems, 2001 - Springer
	93	Confined types in Java J Vitek, B Bokowski - Software practice and experience, 2001 - Citeseer
	93	Secure Internet programming: security issues for mobile and … J Vitek, CD Jensen - 2001 - portal.acm.org
	92	A calculus of secure mobile computations J Vitek, G Castagna - IEEE Workshop on Internet Programming …, 1998 - Citeseer
	77	Mobile object systems J Vitek, C Tschudin - 1997 - Springer
	71	Real-time Java scoped memory: design patterns and semantics … Pizlo, JM Fox, D Holmes, J Vitek - Seventh IEEE International …, 2004 - ieeexplore.ieee.org
	70	Weld pool development during GTA and laser beam welding of Type 304 stainless … T Zacharia, SA David, JM Vitek, T DebRoy - Welding Journal, 1989 - osti.gov
	69	Efficient type inclusion tests J Vitek, RN Horspool, A Krall - ACM SIGPLAN Notices, 1997 - portal.acm.org
	68	STMBench7: a benchmark for software transactional memory R Guerraoui, M Kapalka, J Vitek - ACM SIGOPS Operating Systems …, 2007 - Citeseer
	65	Mobile Object Systems: Towards the Programmable Internet J Vitek, T Christian - 1997 - Springer
	61	Secure composition of insecure components P Sewell, J Vitek - … REPORT-UNIVERSITY OF …, 1999 - doi.ieeecomputersociety.org
	60	Secure composition of untrusted code: Wrappers and causality types P Sewell, J Vitek - TECHNICAL REPORT-UNIVERSITY OF CAMBRIDGE …, 1999 - Citeseer
	56	The seal calculus G Castagna, J Vitek, F Zappa Nardelli - Information and Computation, 2005 - Elsevier
	55	Near optimal hierarchical encoding of types A Krall, J Vitek, RN Horspool - Lecture notes in computer science, 1997 - Springer
	54	Message dispatch on pipelined processors K Driesen, U Hölzle, J Vitek - Lecture Notes in Computer Science, 1995 - Springer
	53	Confined types J Vitek, B Bokowski - Proceedings of the 14th ACM SIGPLAN …, 1999 - portal.acm.org
	48	Redundancy and coverage detection in sensor networks B Cărbunar, A Grama, J Vitek, O … - ACM Transactions on …, 2006 - portal.acm.org
	48	Scoped types for real-time Java T Zhao, J Noble, J Vitek - Proceedings of the 25th …, 2004 - doi.ieeecomputersociety.org
	47	A coordination model for agents based on secure spaces C Bryce, M Oriol, J Vitek - … , The Netherlands, April 26-28, 1999: …, 1999 - books.google.com
	47	Compile-time analysis of object-oriented programs J Vitek, RN Horspool, JS Uhl - LECTURE NOTES IN COMPUTER …, 1992 - Springer
	44	Lightweight confinement for featherweight java T Zhao, J Palsberg, J Vitek - Proceedings of the 18th annual ACM …, 2003 - portal.acm.org
	42	Taming message passing: Efficient method look-up for dynamically typed … J Vitek, RN Horspool - … , ECOOP'94, Bologna, Italy, July 4-8, …, 1994 - books.google.com
	41	Coverage preserving redundancy elimination in sensor networks B Carbunar, A Grama, J Vitek, O Carbunar - IEEE SECON, 2004 - Citeseer
	40	Designing JavaSeal or how to make Java safe for agents J Vitek, C Bryce, W Binder - Electronic Commerce Objects. University of Geneva, 1998
	38	Java subtype tests in real-time K Palacz, J Vitek - Lecture notes in computer science, 2003 - Springer
	38	Type-based distributed access control T Chothia, D Duggan, J Vitek - Proc. IEEE Computer Security …, 2003 - Citeseer
	38	Coordinating processes with secure spaces J Vitek, C Bryce, M Oriol - Science of Computer Programming, 2003 - Elsevier
	37	A semantic framework for designer transactions J Vitek, S Jagannathan, A Welc, AL Hosking - Lecture notes in computer …, 2004 - Springer
	34	Mobile computations and hostile hosts J Vitek, G Castagna - Mobile Objects, 1999 - Citeseer
	34	Weld Pool Development during GTA and Laser Beam Welding of Type 304 … T Zacharia, SA David, JM Vitek, T DebRoy - Welding Journal, 1989 - osti.gov