J. Vitek

发表

Jan Vitek, Christian Damsgaard Jensen, C. Jensen, 1999 .
Jan Vitek, Karel Driesen, Urs Hölzle, 1995 .
Jens Palsberg, Jan Vitek, Tian Zhao, 2003, OOPSLA '03.
Jan Vitek, James Noble, Tian Zhao, 2006, ECOOP.
S. Jagannathan, J. Vitek, S. Blackburn, 2005 .
Francesco Zappa Nardelli, S. Jagannathan, J. Vitek, 2013 .
J. Vitek, R. Sovják, P. Havlásek, 2018, Construction and Building Materials.
Max S. New, Daniel Feltey, M. Felleisen, 2015 .
Jan Vitek, Gary T. Leavens, Tomas Kalibera, 2010, PLPV '10.
Jan L. Vítek, David Čítek, Robert Coufal, 2013 .
J. Vitek, J. Kolísko, David Čítek, 2016 .
Jan Vitek, Ales Plsek, Kelvin Nilsen, 2011 .
J. Vitek, Marek Vinkler, 2017 .
Jan Vitek, Jean-Pierre Talpin, Adnan Bouakaz, 2010 .
Jan Vitek, Eric Eide, Shriram Krishnamurthi, 2014 .
S. Drager, S. Jagannathan, J. Vitek, 2017 .
S. Jagannathan, J. Vitek, G. Petri, 2015 .
Jan Vitek, Paolo Ciancarini, Robert Tolksdorf, 1998, World Wide Web.
Jan Vitek, Eugene H. Spafford, Rajeev Gopalakrishna, 2005 .
Jan Vitek, James Noble, Yvonne Coady, 2006 .
Jan Vitek, J. M. Fox, James Noble, 2002 .
Jan Vitek, Peter Sewell, Peter Sewell, 2003, J. Comput. Secur..
S. Jagannathan, J. Vitek, David Pichardie, 2014, PLDI 2014.
J. Vitek, R. Coufal, D. Čítek, 2017 .
S. Shortell, B. Friedman, J. Vitek, 1987, Advances in health economics and health services research.
J. Vitek, Alexi Turcotte, P. Donat-Bouillud, 2022, SLE.
Jan Vitek, Suresh Jagannathan, S. Jagannathan, 2017 .
Jan Vitek, Suresh Jagannathan, Filip Pizlo, 2004 .
Jan Vitek, Tomas Kalibera, J. Vitek, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Jan Vitek, Benjamin Chung, Francesco Zappa Nardelli, 2018, Proc. ACM Program. Lang..
Jan Vitek, Karel Driesen, Urs Hölzle, 1995, ECOOP.
Jan Vitek, Tomas Kalibera, J. Vitek, 2012, SIGP.
Jan Vitek, Cristina V. Lopes, Hitesh Sajnani, 2017, Proc. ACM Program. Lang..
Chris Bailey-Kellogg, Jan Vitek, Olga Vitek, 2006, Journal of biomolecular NMR.
Chris Bailey-Kellogg, Jan Vitek, Bruce A. Craig, 2005, ECCB/JBI.
Chris Bailey-Kellogg, Jan Vitek, Olga Vitek, 2004, Statistical applications in genetics and molecular biology.
Jan Vitek, Pat Hanrahan, Alex Aiken, 2013, PLDI.
Jan Vitek, Aviral Goel, Olivier Flückiger, 2021, Proc. ACM Program. Lang..
Jan Vitek, Suresh Jagannathan, Jeremy Manson, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Jan Vitek, Benjamin Chung, Jiahao Chen, 2018, Proc. ACM Program. Lang..
Jan Vitek, Rachid Guerraoui, Michal Kapalka, 2007, EuroSys '07.
Jan Vitek, Rachid Guerraoui, Filip Pizlo, 2007, VEE '07.
Hai Liu, Jan Vitek, Tatiana Shpeisman, 2017, ECOOP.
Jens Palsberg, Jan Vitek, Christian Grothoff, 2001, TOPL.
Jan Vitek, Boris Bokowski, J. Vitek, 2001, Softw. Pract. Exp..
Jan Vitek, Boris Bokowski, J. Vitek, 1999, OOPSLA '99.
Jan Vitek, James Noble, John Potter, 1998, ECOOP.
Jan Vitek, Tom Chothia, Dominic Duggan, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Jan Vitek, Matthias Felleisen, Ben Greenman, 2016, POPL.
Oscar Nierstrasz, Jan Vitek, Dennis Tsichritzis, 2001 .
Oscar Nierstrasz, Jan Vitek, Betty Junod, 1990 .
R. Nigel Horspool, Jan Vitek, Andreas Krall, 1997, ECOOP.
Jan Vitek, Ananth Grama, Bogdan Carbunar, 2006, TOSN.
Jan Vitek, Ananth Grama, Bogdan Carbunar, 2004, 2004 First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004. IEEE SECON 2004..
Jan Vitek, Manuel Serrano, Dimitri Thanos, 1996, Mobile Object Systems.
Jan Vitek, Krzysztof Palacz, J. Vitek, 2003, ECOOP.
R. Nigel Horspool, Jan Vitek, R. N. Horspool, 1992, Proceedings of the 1992 International Conference on Computer Languages.
Vivek Sarkar, Jan Vitek, Armando Solar-Lezama, 2006 .
Jan Vitek, Emery D. Berger, Olga Vitek, 2019, ACM Trans. Program. Lang. Syst..
Jan Vitek, Eugene H. Spafford, Rajeev Gopalakrishna, 2006 .
Jan Vitek, Krzysztof Palacz, Laurent Daynès, 2002, OOPSLA '02.
Jens Palsberg, Jan Vitek, Tian Zhao, 2006, J. Funct. Program..
Jan Vitek, Boris Bokowski, J. Vitek, 1999 .
Jan Vitek, Christian Damsgaard Jensen, C. Jensen, 1999 .
Jan Vitek, Martin Schoeberl, Florian Brandner, 2010, SAC '10.
Jan Vitek, J. Vitek, 2015, Lecture Notes in Computer Science.
Jan Vitek, Filip Pizlo, Tomas Kalibera, 2009, Concurr. Comput. Pract. Exp..
Jan Vitek, Andreas Gal, Gregor Richards, 2011, OOPSLA '11.
Jan Vitek, Frank Tip, Daniel Marino, 2012, TOPL.
Jan Vitek, Christoph M. Kirsch, Pierre Donat-Bouillud, 2021, Proc. ACM Program. Lang..
Jan Vitek, Brian Burg, Gregor Richards, 2010, PLDI '10.
R. N. Horspool, J. Vitek, Quetzalcoatl Bradley, 1998, CASCON.
Jan Vitek, Matthias Felleisen, Robert Bruce Findler, 2019, Journal of Functional Programming.
Jan Vitek, Christian Tschudin, C. Tschudin, 1996, Lecture Notes in Computer Science.
Jan Vitek, Giuseppe Castagna, Francesco Zappa Nardelli, 2005, Inf. Comput..
Jan Vitek, Ciarán Bryce, J. Vitek, 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.
Jan Vitek, Martin Schoeberl, Karthik Iyer, 2011, JTRES '11.
Jan Vitek, Filip Pizlo, Lukasz Ziarek, 2010, PLDI '10.
Jan Vitek, Eugene H. Spafford, Rajeev Gopalakrishna, 2006 .
Jan Vitek, Suresh Jagannathan, Adam Welc, 2005, Sci. Comput. Program..
Jan Vitek, Filip Pizlo, J. Vitek, 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).
Jan Vitek, Suresh Jagannathan, David Cachera, 2017, Journal of Automated Reasoning.
Jan Vitek, Francesco Zappa Nardelli, Tobias Wrigstad, 2010, POPL '10.
Jan Vitek, Niranjan Suri, Niranjan Suri, 2012 .
Jan Vitek, Shriram Krishnamurthi, James Noble, 2013, SPLASH.
Jan Vitek, James Noble, Tian Zhao, 2004, 25th IEEE International Real-Time Systems Symposium.
Jan Vitek, Walter Binder, Ciarn Bryce, 1998 .
Jan Vitek, Benjamin Chung, Paley Li, 2018, ECOOP.
Jan Vitek, Francesco Zappa Nardelli, Gregor Richards, 2015, ECOOP.
Jan Vitek, Tobias Wrigstad, Bard Bloom, 2009, OOPSLA '09.
Jan Vitek, Filip Krikava, J. Vitek, 2018, ISSTA.
Jan Vitek, Amal Ahmed, Ming-Ho Yee, 2017, Proc. ACM Program. Lang..
Ekkehard Fehling, Stephen J. Foster, Mamdouh El-Badry, 2013 .
Jan Vitek, Heather Miller, Filip Krikava, 2019, Proc. ACM Program. Lang..
Max S. New, Daniel Feltey, M. Felleisen, 2019, Journal of Functional Programming.
Jan Vitek, Jean-Pierre Talpin, Adnan Bouakaz, 2012, 2012 12th International Conference on Application of Concurrency to System Design.
Jan Vitek, Guido Chari, Ming-Ho Yee, 2020, Proc. ACM Program. Lang..
Jan Vitek, Tomas Kalibera, Floréal Morandat, 2014, VEE '14.
Jan Vitek, Filip Pizlo, Tomas Kalibera, 2011, TOCS.
Ben L. Titzer, J. Vitek, F. Pizlo, 2009, JTRES '09.
A. H. Bagge, K. T. Kalleberg, J. Vitek, 2007 .
R. Nigel Horspool, Jan Vitek, James S. Uhl, 1992, CC.
Jan Vitek, Filip Pizlo, Tomas Kalibera, 2009, 2009 30th IEEE Real-Time Systems Symposium.
Jan Vitek, Filip Pizlo, J. Vitek, 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
Jan Vitek, Filip Pizlo, David Holmes, 2007, TECS.
Jan Vitek, Filip Pizlo, Antony L. Hosking, 2007, LCTES.
Zdenek P. Bazant, Vladimír Krístek, Z. Bažant, 1992 .
B. I. G. Barr, J. L. Vitek, M. A. Beygi, 1997 .
Jan Vitek, Suresh Jagannathan, David Pichardie, 2014, ACM Trans. Program. Lang. Syst..
Jan Vitek, Filip Pizlo, David Holmes, 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).
Jan Vitek, Filip Pizlo, David Holmes, 2006 .
Jan Vitek, Matthias Felleisen, Vincent St-Amour, 2015, CC.
Jan Vitek, Peter Sewell, Peter Sewell, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.
R. Guerraoui, J. Vitek, M. Kapalka, 2007, European Conference on Computer Systems.
Jan Vitek, Fadi Meawad, Ryan Macnak, 2011 .
Jan Vitek, Eugene H. Spafford, Rajeev Gopalakrishna, 2005, 2005 IEEE Symposium on Security and Privacy (S&P'05).
S. Jagannathan, J. Vitek, G. Petri, 2015, ECOOP.