Roberto Lublinerman
发表
Stavros Tripakis,
Christian Szegedy,
Roberto Lublinerman,
2009,
POPL '09.
Swarat Chaudhuri,
Pavol Cerný,
Roberto Lublinerman,
2009,
OOPSLA '09.
Sumit Gulwani,
Swarat Chaudhuri,
Roberto Lublinerman,
2010,
POPL '10.
Swarat Chaudhuri,
Pavol Cerný,
Roberto Lublinerman,
2008
.
Stavros Tripakis,
Roberto Lublinerman,
Roberto Lublinerman,
2018,
Principles of Modeling.
Stavros Tripakis,
Christian Szegedy,
Roberto Lublinerman,
2009,
POPL '09.
Stavros Tripakis,
Roberto Lublinerman,
Roberto Lublinerman,
2008,
2008 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia.
Stavros Tripakis,
Roberto Lublinerman,
Roberto Lublinerman,
2008,
2008 IEEE Real-Time and Embedded Technology and Applications Symposium.
Sumit Gulwani,
Swarat Chaudhuri,
Roberto Lublinerman,
2012,
CACM.
Yanxi Liu,
James Hays,
Roberto Lublinerman,
2008,
2008 IEEE Conference on Computer Vision and Pattern Recognition.
Yanxi Liu,
Frank Dellaert,
Grant Schindler,
2008,
2008 IEEE Conference on Computer Vision and Pattern Recognition.
Stavros Tripakis,
Christos Stergiou,
Roberto Lublinerman,
2010
.
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).
Vivek Sarkar,
Swarat Chaudhuri,
Zoran Budimlic,
2011,
OOPSLA '11.
Sumit Gulwani,
Swarat Chaudhuri,
Roberto Lublinerman,
2011,
ESEC/FSE '11.