T. Kalibera
发表
Richard E. Jones,
T. Kalibera,
2013,
ISMM.
Jan Vitek,
Gary T. Leavens,
Tomas Kalibera,
2010,
PLPV '10.
P. Parízek,
T. Kalibera,
2007
.
K. Hornik,
L. Tierney,
T. Kalibera,
2022
.
Jan Vitek,
Tomas Kalibera,
J. Vitek,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Jan Vitek,
Tomas Kalibera,
J. Vitek,
2012,
SIGP.
Tomas Kalibera,
Richard Jones,
Richard E. Jones,
2013,
ISMM '13.
Petr Tuma,
Tomas Kalibera,
Lubomír Bulej,
2005,
13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.
Petr Tuma,
Tomas Kalibera,
Lubomír Bulej,
2005
.
Jan Vitek,
Filip Pizlo,
Tomas Kalibera,
2009,
Concurr. Comput. Pract. Exp..
Martin Schoeberl,
Anders P. Ravn,
Tomas Kalibera,
2011,
TECS.
José Nelson Amaral,
A. Zeller,
L. Hendren,
2016
.
Richard E. Jones,
Tomas Kalibera,
Richard E. Jones,
2011,
ISMM '11.
Tomas Kalibera,
Richard Jones,
Richard E. Jones,
2012,
ArXiv.
Jan Vitek,
Tomas Kalibera,
Floréal Morandat,
2014,
VEE '14.
Jan Vitek,
Filip Pizlo,
Tomas Kalibera,
2011,
TOCS.
Tomas Kalibera,
Michal Hocko,
T. Kalibera,
2010,
WOSP/SIPEW '10.
Ben L. Titzer,
J. Vitek,
F. Pizlo,
2009,
JTRES '09.
Petr Tuma,
Tomas Kalibera,
T. Kalibera,
2002,
OTM.
Jan Vitek,
Filip Pizlo,
Tomas Kalibera,
2009,
2009 30th IEEE Real-Time Systems Symposium.
Martin Schoeberl,
Tomas Kalibera,
Michal Malohlava,
2010,
JTRES '10.
Andreas Zeller,
Matthias Hauswirth,
Amer Diwan,
2016,
ACM Trans. Program. Lang. Syst..
A. Ravn,
Martin Schoeberl,
T. Kalibera,
2011,
TECS.
Tomas Kalibera,
Pavel Parízek,
P. Parízek,
2010,
TACAS.
Jan Vitek,
Gary T. Leavens,
Tomas Kalibera,
2010,
SIGP.