Roberto Lublinerman
发表
Octavia I. Camps,
Dimitrios Zarpalas,
Necmiye Ozay,
2006,
18th International Conference on Pattern Recognition (ICPR'06).
Stavros Tripakis,
Roberto Lublinerman,
Roberto Lublinerman,
2008,
2008 IEEE Real-Time and Embedded Technology and Applications Symposium.
Sumit Gulwani,
Swarat Chaudhuri,
Roberto Lublinerman,
2011,
ESEC/FSE '11.
Stavros Tripakis,
Roberto Lublinerman,
Roberto Lublinerman,
2008,
2008 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia.
Swarat Chaudhuri,
Roberto Lublinerman,
2009
.
Sumit Gulwani,
Swarat Chaudhuri,
Roberto Lublinerman,
2010,
POPL '10.
Vivek Sarkar,
Swarat Chaudhuri,
Zoran Budimlic,
2011,
OOPSLA '11.
Stavros Tripakis,
Christian Szegedy,
Roberto Lublinerman,
2009,
POPL '09.
Swarat Chaudhuri,
Roberto Lublinerman,
2012
.
Yanxi Liu,
Frank Dellaert,
Grant Schindler,
2008,
2008 IEEE Conference on Computer Vision and Pattern Recognition.
Stavros Tripakis,
Christos Stergiou,
Roberto Lublinerman,
2010
.
Stavros Tripakis,
Roberto Lublinerman,
Roberto Lublinerman,
2018,
Principles of Modeling.
Albert Benveniste,
Stavros Tripakis,
Paul Caspi,
2009,
HSCC.
Mario Sznaier,
Octavia I. Camps,
Roberto Lublinerman,
2006,
2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'06).
Stavros Tripakis,
Roberto Lublinerman,
2008,
2008 Design, Automation and Test in Europe.
Swarat Chaudhuri,
Roberto Lublinerman,
Pavol Cerny,
2009,
OOPSLA 2009.
Yanxi Liu,
James Hays,
Roberto Lublinerman,
2008,
2008 IEEE Conference on Computer Vision and Pattern Recognition.
Swarat Chaudhuri,
Pavol Cerný,
Roberto Lublinerman,
2009,
OOPSLA '09.
Sumit Gulwani,
Roberto Lublinerman,
2012
.
Sumit Gulwani,
Swarat Chaudhuri,
Roberto Lublinerman,
2012,
CACM.
Vivek Sarkar,
Swarat Chaudhuri,
Zoran Budimlic,
2013,
OOPSLA.
Stavros Tripakis,
Christian Szegedy,
Roberto Lublinerman,
2009,
POPL '09.
Stavros Tripakis,
Christos Stergiou,
Roberto Lublinerman,
2010
.