Jan Vitek

发表

Jan Vitek, Filip Pizlo, J. M. Fox, 2004, Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings..
Jan Vitek, Benjamin Chung, Paley Li, 2018, ECOOP.
Jan Vitek, Filip Pizlo, Lukasz Ziarek, 2010 .
Jan Vitek, Ales Plsek, Daniel Tang, 2010, JTRES '10.
Jan Vitek, Matthias Felleisen, Vincent St-Amour, 2015, CC.
Jan Vitek, James Noble, John Potter, 1998, ECOOP.
Jan Vitek, Marco Tulio Valente, Bogdan Carbunar, 2004, Math. Struct. Comput. Sci..
Jan Vitek, James Noble, Tian Zhao, 2004, 25th IEEE International Real-Time Systems Symposium.
Jan Vitek, Suresh Jagannathan, Jeremy Manson, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Jan Vitek, Filip Pizlo, Tomas Kalibera, 2011, TOCS.
Jan Vitek, Ciarán Bryce, J. Vitek, 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.
Hai Liu, Jan Vitek, Tatiana Shpeisman, 2017, ECOOP.
Jan Vitek, Shriram Krishnamurthi, Robert Hirschfeld, 2012, Dagstuhl Reports.
Jan Vitek, Martin Schoeberl, Florian Brandner, 2010, SAC '10.
Jan Vitek, Paolo Ciancarini, Robert Tolksdorf, 1998, World Wide Web.
Jan Vitek, 2013, ICOOOLPS@ECOOP.
Jan Vitek, Manuel Serrano, Dimitri Thanos, 1996, Mobile Object Systems.
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, 2019, ECOOP.
Jan Vitek, Frank Tip, Ming-Ho Yee, 2019, ArXiv.
Jan Vitek, Suresh Jagannathan, Gustavo Petri, 2015, ECOOP.
Jan Vitek, Bjorn De Sutter, 2013, TECS.
Jan Vitek, Martin Schoeberl, 2007, JTRES.
Jan Vitek, Alexi Turcotte, Aviral Goel, 2020, Proc. ACM Program. Lang..
Jan Vitek, Rachid Guerraoui, Jean Privat, 2007, OOPSLA.
Jan Vitek, Alexander Aiken, David Terei, 2014, ISMM '14.
Jan Vitek, Tobias Wrigstad, John Field, 2009 .
Jan Vitek, Christian Damsgaard Jensen, C. Jensen, 1999 .
Jens Palsberg, Jan Vitek, Tian Zhao, 2006, J. Funct. Program..
Jan Vitek, Francesco Zappa Nardelli, Tobias Wrigstad, 2010, POPL '10.
Jan Vitek, Marek Prochazka, 2006 .
Jan Vitek, Gary T. Leavens, Tomas Kalibera, 2010, SIGP.
Jan Vitek, Krzysztof Palacz, Christian Grothoff, 2005, Sci. Comput. Program..
Jan Vitek, Suresh Jagannathan, Lei Zhao, 2013, POPL.
Jan Vitek, Karel Driesen, Urs Hölzle, 1995 .
Jan Vitek, Shriram Krishnamurthi, 2015, Commun. ACM.
Jan Vitek, Filip Pizlo, Tomas Kalibera, 2009 .
Jan Vitek, Filip Pizlo, J. Vitek, 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).
Jan Vitek, Filip Pizlo, Marco Zulianello, 2009 .
Jan Vitek, Antonio Cunei, 2006, VEE '06.
Jan Vitek, Tobias Wrigstad, Nate Nystrom, 2009, ECOOP 2009.
Jan Vitek, Eugene H. Spafford, Rajeev Gopalakrishna, 2006 .
Jan Vitek, Martin Schoeberl, Karthik Iyer, 2012 .
Jan Vitek, Ales Plsek, Daniel Tang, 2012 .
Jan Vitek, Peter Sewell, Peter Sewell, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.
Jan Vitek, Olivier Flückiger, Andreas Wälchli, 2020, ArXiv.
Jan Vitek, Chapman Flack, Antony L. Hosking, 2003 .
Jan Vitek, Roland Ducournau, Chandra Krintz, 2006, ECOOP Workshops.
Jan Vitek, Suresh Jagannathan, David Pichardie, 2014, ACM Trans. Program. Lang. Syst..
Jan Vitek, Matthias Felleisen, Ben Greenman, 2016, POPL.
Jan Vitek, Giuseppe Castagna, 1998, ICCL Workshop: Internet Programming Languages.
Jan Vitek, Benjamin Chung, Francesco Zappa Nardelli, 2018, Proc. ACM Program. Lang..
Jan Vitek, Tomas Kalibera, Richard E. Jones, 2012, OOPSLA '12.
Jan Vitek, Niranjan Suri, 2009, Encyclopedia of Complexity and Systems Science.
Jan Vitek, Ciarán Bryce, 2004, Autonomous Agents and Multi-Agent Systems.
Chris Bailey-Kellogg, Jan Vitek, Bruce A. Craig, 2005, ECCB/JBI.
Jan Vitek, Boris Bokowski, J. Vitek, 2001, Softw. Pract. Exp..
Jan Vitek, Christian Tschudin, C. Tschudin, 1996, Lecture Notes in Computer Science.
Jan Vitek, James Noble, Doug Lea, 1999, ECOOP Workshops.
Jan Vitek, Marco Tulio Valente, Bogdan Carbunar, 2001, Mobile Agents.
Jan Vitek, Eugene H. Spafford, Rajeev Gopalakrishna, 2005, 2005 IEEE Symposium on Security and Privacy (S&P'05).
Jan Vitek, Krzysztof Palacz, Laurent Daynès, 2002, OOPSLA '02.
Jan Vitek, Roland Ducournau, Chandra Krintz, 2007, ECOOP Workshops.
Jan Vitek, Alexi Turcotte, 2019 .
Jan Vitek, James Noble, Tian Zhao, 2007, Real-Time Systems.
Jan Vitek, J. Vitek, 2015, Lecture Notes in Computer Science.
Jan Vitek, Gerti Kappel, Oscar m. Nierstrasz, 1989, SIGO.
Jan Vitek, Manuel Oriol, 1999 .
Jan Vitek, 2014 .
Jan Vitek, 2011 .
Jan Vitek, Guido Chari, Olivier Flückiger, 2018, DLS.
Jan Vitek, Filip Pizlo, Lukasz Ziarek, 2009, JTRES '09.
Jan Vitek, Suresh Jagannathan, Adam Welc, 2004, ESOP.
Jan Vitek, Ananth Grama, Bogdan Carbunar, 2004, IEEE International Conference on Performance, Computing, and Communications, 2004.
Jan Vitek, Matthias Felleisen, Robert Bruce Findler, 2019, Journal of Functional Programming.
Jan Vitek, Filip Pizlo, J. Vitek, 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
Jan Vitek, Michael Haupt, Hiroshi Yamauchi, 2006 .
Jens Palsberg, Jan Vitek, Christian Grothoff, 2001, TOPL.
Jan Vitek, Walter Binder, Ciarn Bryce, 1998 .
Jan Vitek, Suresh Jagannathan, David Cachera, 2017, Journal of Automated Reasoning.
Jan Vitek, Manuel Oriol, Ciarán Bryce, 2003, Sci. Comput. Program..
Jan Vitek, Ananth Grama, Bogdan Carbunar, 2004, Proceedings. Tenth International Conference on Parallel and Distributed Systems, 2004. ICPADS 2004..
Jan Vitek, Benjamin Chung, Jiahao Chen, 2018, Proc. ACM Program. Lang..
Jan Vitek, Tobias Wrigstad, Gregor Richards, 2009 .
Jan Vitek, Gary T. Leavens, Tomas Kalibera, 2010, PLPV '10.
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, Emery D. Berger, Olga Vitek, 2019, ACM Trans. Program. Lang. Syst..
Jan Vitek, Fadi Meawad, Ryan Macnak, 2011 .
Jan Vitek, Benjamin Chung, Francesco Zappa Nardelli, 2019, Dagstuhl Artifacts Ser..
Jan Vitek, Rachid Guerraoui, Jean Privat, 2009, COORDINATION.
Jan Vitek, Peter Sewell, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Jan Vitek, Tobias Wrigstad, Bard Bloom, 2009, OOPSLA '09.
Jan Vitek, Filip Pizlo, Antony L. Hosking, 2007, LCTES.
Jan Vitek, Eugene H. Spafford, Rajeev Gopalakrishna, 2006 .
Jan Vitek, Mark Moir, Nir Shavit, 2005, Sci. Comput. Program..
Jan Vitek, Dimitri Konstantas, 1994 .
Jan Vitek, Tomas Kalibera, J. Vitek, 2012, SIGP.
Jan Vitek, Sophia Drossopoulou, Tobias Wrigstad, 2017, Proc. ACM Program. Lang..
Jan Vitek, Suresh Jagannathan, Christian Hammer, 2011 .
Jan Vitek, Karthik Dantu, Lukasz Ziarek, 2017, 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
Jan Vitek, Guido Chari, Ming-Ho Yee, 2020, Proc. ACM Program. Lang..
Jan Vitek, 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Jan Vitek, Lei Zhao, Ales Plsek, 2010, JTRES '10.
Jan Vitek, Filip Pizlo, Lukasz Ziarek, 2010, EuroSys '10.
Jan Vitek, Shriram Krishnamurthi, James Noble, 2013, SPLASH.
Jan Vitek, Tomas Kalibera, 2012, Concurr. Comput. Pract. Exp..
Graham Hutton, Jan Vitek, Frank Tip, 2014, SIGP.
Jan Vitek, Christian Damsgaard Jensen, C. Jensen, 1999 .
Jan Vitek, Suresh Jagannathan, Jeremy Manson, 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).
Jan Vitek, Antonio Cunei, Antonio Cunei, 2008, Softw. Pract. Exp..
Jan Vitek, Suresh Jagannathan, S. Jagannathan, 2017 .
Jan Vitek, Martin Schoeberl, Karthik Iyer, 2013, Concurr. Comput. Pract. Exp..
Jan Vitek, Pat Hanrahan, Alexander Aiken, 2013, PLDI.
Hai Liu, Jan Vitek, Tatiana Shpeisman, 2017, Dagstuhl Artifacts Ser..
Jan Vitek, Andreas Gal, Gregor Richards, 2011, OOPSLA '11.
Jan Vitek, Niranjan Suri, Niranjan Suri, 2012 .
Jan Vitek, Tomas Kalibera, Floréal Morandat, 2014, VEE '14.
Jan Vitek, Lei Zhao, Filip Pizlo, 2009, ECOOP.
Jan Vitek, Filip Pizlo, Tomas Kalibera, 2009, Concurr. Comput. Pract. Exp..
Jan Vitek, Karthik Dantu, Lukasz Ziarek, 2019, ACM Trans. Embed. Comput. Syst..
Jan Vitek, Filip Pizlo, Tomas Kalibera, 2011, Concurr. Comput. Pract. Exp..
Jan Vitek, Cristina V. Lopes, Hitesh Sajnani, 2017, Proc. ACM Program. Lang..
Jan Vitek, Peter Sewell, Peter Sewell, 2003, J. Comput. Secur..
Jan Vitek, James Noble, Tian Zhao, 2006, ECOOP.
Jan Vitek, Sophia Drossopoulou, Tobias Wrigstad, 2018, ESOP.
Jan Vitek, Aviral Goel, 2019, Proc. ACM Program. Lang..
Jan Vitek, Frank Tip, Julian Dolby, 2010, ECOOP.
Jan Vitek, Lei Zhao, Daniel Tang, 2009, JTRES '09.
Jan Vitek, Francesco Zappa Nardelli, Gregor Richards, 2015, ECOOP.
Jan Vitek, 2013, J. Object Technol..
Jan Vitek, Antonio Cunei, Iulian Dragos, 2007 .
Jan Vitek, Tobias Wrigstad, Bard Bloom, 2009, OOPSLA 2009.
Jan Vitek, Giuseppe Castagna, 2007 .
Jens Palsberg, Jan Vitek, Christian Grothoff, 2001, OOPSLA 2001.
Jan Vitek, Marek Prochazka, Andrey Madan, 2005, Stud. Inform. Univ..
Jan Vitek, Rachid Guerraoui, Joshua S. Auerbach, 2008, LCTES '08.
Jan Vitek, Antonio Cunei, 2005, OOPSLA '05.
Jan Vitek, 2010, J. Object Technol..
Jan Vitek, Rachid Guerraoui, Filip Pizlo, 2007, VEE '07.
Jan Vitek, Marco Tulio Valente, Bogdan Carbunar, 2001, Electron. Notes Theor. Comput. Sci..
Jan Vitek, Bogdan Carbunar, Marco Tulio de Oliveira Valente, 2001 .
Jan Vitek, Ross Tate, Julia Belyakova, 2020, Proc. ACM Program. Lang..
Jan Vitek, Giuseppe Castagna, Francesco Zappa Nardelli, 2005, Inf. Comput..
Jan Vitek, Boris Bokowski, J. Vitek, 1999, OOPSLA '99.
Jan Vitek, J. M. Fox, James Noble, 2002 .
Vivek Sarkar, Jan Vitek, Armando Solar-Lezama, 2006 .
Jan Vitek, Filip Pizlo, David Holmes, 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).
Jan Vitek, Benjamin Chung, Paley Li, 2018, Dagstuhl Artifacts Ser..
Jan Vitek, Bard Bloom, Martin Hirzel, 2008, PADL.
Jan Vitek, Filip Křikava, Heather Miller, 2019, Proc. ACM Program. Lang..
Jan Vitek, Filip Pizlo, David Holmes, 2006 .
Jan Vitek, Ananth Grama, Bogdan Carbunar, 2004, ICETE.
Jan Vitek, James Noble, Yvonne Coady, 2006 .
Jan Vitek, James Noble, Tian Zhao, 2008, Sci. Comput. Program..
Jan Vitek, Ananth Grama, Bogdan Carbunar, 2006, TOSN.
Jan Vitek, Heather Miller, Filip Krikava, 2019, Proc. ACM Program. Lang..
Jan Vitek, Jean-Pierre Talpin, Adnan Bouakaz, 2012, 2012 12th International Conference on Application of Concurrency to System Design.
Jan Vitek, Floréal Morandat, Gregor Richards, 2012, OOPSLA '12.
Oscar Nierstrasz, Jan Vitek, Betty Junod, 1990 .
Jan Vitek, Giuseppe Castagna, 1999 .
Jan Vitek, Eugene H. Spafford, Rajeev Gopalakrishna, 2005 .
Jan Vitek, Pat Hanrahan, Alex Aiken, 2013, PLDI.
Jan Vitek, Jean-Pierre Talpin, Adnan Bouakaz, 2011 .
Jan Vitek, Amal Ahmed, Ming-Ho Yee, 2017, Proc. ACM Program. Lang..
R. Nigel Horspool, Jan Vitek, Andreas Krall, 1997, ECOOP.
Jan Vitek, Filip Pizlo, David Holmes, 2007, TECS.
Jan Vitek, Benjamin Chung, 2018, ISSTA/ECOOP Workshops.
Jan Vitek, Patrick Eugster, Pascal Meunier, 2009 .
Jan Vitek, Jean-Pierre Talpin, Adnan Bouakaz, 2010 .
Jan Vitek, Andreas Krall, 1997, JMLC.
Jens Palsberg, Jan Vitek, Tian Zhao, 2003, OOPSLA 2003.
Jan Vitek, Martin Schoeberl, Karthik Iyer, 2011, JTRES '11.
R. Nigel Horspool, Jan Vitek, Andreas Krall, 1997, OOPSLA '97.
Jan Vitek, Frank Tip, Daniel Marino, 2012, TOPL.
Jan Vitek, Rachid Guerraoui, Michal Kapalka, 2007, EuroSys '07.
Jan Vitek, 2013, SIGP.
Jan Vitek, Krzysztof Palacz, J. Vitek, 2003, ECOOP.
Jan Vitek, Tobias Wrigstad, Bard Bloom, 2009, OOPSLA Companion.
Oscar Nierstrasz, Jan Vitek, Dennis Tsichritzis, 2001 .
Jan Vitek, Karel Driesen, Urs Hölzle, 1995, ECOOP.
Jan Vitek, Filip Pizlo, Ales Plsek, 2009, JTRES '09.
R. Nigel Horspool, Jan Vitek, James S. Uhl, 1992, CC.
Jan Vitek, Brian Burg, Gregor Richards, 2010, PLDI '10.
Jan Vitek, Ananth Grama, Cristina Nita-Rotaru, 2005 .
Jan Vitek, Camil Demetrescu, Daniel Delling, 2016, Dagstuhl Reports.
Jan Vitek, Filip Pizlo, Tomas Kalibera, 2009, 2009 30th IEEE Real-Time Systems Symposium.
Jan Vitek, Suresh Jagannathan, Adam Welc, 2005, Sci. Comput. Program..
Jan Vitek, Eric Eide, Shriram Krishnamurthi, 2014 .
Jan Vitek, Grzegorz Czajkowski, 2002, ECOOP Workshops.
Jan Vitek, Manuel Oriol, Ciarán Bryce, 1999 .
Jan Vitek, Filip Pizlo, Lukasz Ziarek, 2010, PLDI '10.
Jan Vitek, Suresh Jagannathan, David Cachera, 2017, ITP.
Jan Vitek, Ana Milanova, 2011, TOOLS.
Jan Vitek, Tom Chothia, Dominic Duggan, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Jan Vitek, Filip Krikava, J. Vitek, 2018, ISSTA.
Jan Vitek, Suresh Jagannathan, Filip Pizlo, 2004 .
Jens Palsberg, Jan Vitek, Tian Zhao, 2003, OOPSLA '03.
R. Nigel Horspool, Jan Vitek, 1993, Comput. Lang..
R. Nigel Horspool, Jan Vitek, R. N. Horspool, 1992, Proceedings of the 1992 International Conference on Computer Languages.
Jan Vitek, Christoph M. Kirsch, Pierre Donat-Bouillud, 2021, Proc. ACM Program. Lang..
Jan Vitek, Aviral Goel, 2021, DLS.
Jan Vitek, Konrad Siek, Petr Maj, 2021, ECOOP.
Jan Vitek, Konrad Siek, Petr Maj, 2021, Dagstuhl Artifacts Ser..
Jan Vitek, Aviral Goel, Olivier Flückiger, 2021, Proc. ACM Program. Lang..
Jan Vitek, Ross Tate, Benjamin Chung, 2021, Proc. ACM Program. Lang..
Jan Vitek, Sophia Drossopoulou, Tobias Wrigstad, 2018 .
Jan Vitek, Giuseppe, CastagnaObject, 1998 .
Jens Palsberg, Jan Vitek, Christian Grotho, 2001 .
Jan Vitek, Tomas Kalibera, Pavel Parizek, 2010 .
Jan Vitek, Boris Bokowski, J. Vitek, 1999 .
R. Nigel Horspool, Jan Vitek, Andreas Krall, 1997 .
Chris Bailey-Kellogg, Jan Vitek, Olga Vitek, 2006, Journal of biomolecular NMR.
Chris Bailey-Kellogg, Jan Vitek, Olga Vitek, 2004, Statistical applications in genetics and molecular biology.
Oscar Nierstrasz, Jan Vitek, Gerti Kappel, 1989 .
Jan Vitek, Ales Plsek, Kelvin Nilsen, 2011 .
Jan Vitek, Giuseppe Castagna, 1998 .