Z. Rakamaric
发表
Zvonimir Rakamaric,
Michael Emmi,
Z. Rakamaric,
2014,
CAV.
Shuvendu K. Lahiri,
Zvonimir Rakamaric,
Shaz Qadeer,
2007,
TACAS.
S. Qadeer,
Z. Rakamaric,
M. Emmi,
2011,
POPL.
Matthew B. Dwyer,
Stephen F. Siegel,
Timothy K. Zirkel,
2014
.
Z. Rakamaric,
Zvonimir Rakamaric,
2006
.
Z. Rakamaric,
Zvonimir Rakamaric,
2018
.
Z. Rakamaric,
I. Ugrina,
Marko Dimjasevic,
2015
.
A. Hu,
Z. Rakamaric,
D. Babic,
2012
.
Z. Rakamaric,
I. Ugrina,
Marko Dimjasevic,
2015
.
Zvonimir Rakamaric,
Temesghen Kahsai,
Falk Howar,
2017,
SOEN.
Zvonimir Rakamaric,
Jack J. Garzella,
Marek S. Baranowski,
2020,
VMCAI.
Ian Briggs,
Ganesh Gopalakrishnan,
Zvonimir Rakamaric,
2015,
FM.
Guodong Li,
Ganesh Gopalakrishnan,
Wei-Fan Chiang,
2013,
NASA Formal Methods.
Simone Atzeni,
Zvonimir Rakamaric,
Marko Dimjasevic,
2016,
IWSPA@CODASPY.
Zvonimir Rakamaric,
Dimitra Giannakopoulou,
Vishwanath Raman,
2012,
SAS.
Ganesh Gopalakrishnan,
Zvonimir Rakamaric,
Alastair F. Donaldson,
2016,
OOPSLA.
Ian Briggs,
Ganesh Gopalakrishnan,
Wei-Fan Chiang,
2017,
POPL.
Ganesh Gopalakrishnan,
Wei-Fan Chiang,
Zvonimir Rakamaric,
2014,
PPoPP '14.
Zvonimir Rakamaric,
Falk Howar,
Kasper Søe Luckow,
2018,
IFM.
Zvonimir Rakamaric,
Temesghen Kahsai,
Dimitra Giannakopoulou,
2016,
TACAS.
Jonathan Whitaker,
Zvonimir Rakamaric,
Shaobo He,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).
Qingyu Meng,
Martin Berzins,
Ganesh Gopalakrishnan,
2014,
Computing in Science & Engineering.
Qingyu Meng,
Martin Berzins,
Ganesh Gopalakrishnan,
2013,
2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE).
Alan J. Hu,
Zvonimir Rakamaric,
Byron Cook,
2013,
Formal Aspects of Computing.
Zvonimir Rakamaric,
Akash Lal,
Michael Emmi,
2015,
TACAS.
Alan J. Hu,
Zvonimir Rakamaric,
A. Hu,
2008,
VMCAI.
Alan J. Hu,
Zvonimir Rakamaric,
Roberto Bruttomesso,
2007,
ATVA.
Alan J. Hu,
Zvonimir Rakamaric,
Jesse D. Bingham,
2007,
VMCAI.
Zvonimir Rakamaric,
Jesse D. Bingham,
Z. Rakamaric,
2006,
VMCAI.
Alan J. Hu,
Zvonimir Rakamarić,
Jesse D. Bingham,
2006
.
Zvonimir Rakamaric,
Domagoj Babic,
Z. Rakamaric,
2013,
FMOODS/FORTE.
Zvonimir Rakamaric,
Michael Emmi,
Shaz Qadeer,
2011,
POPL '11.
Zvonimir Rakamaric,
Shaobo He,
Marek S. Baranowski,
2019,
NSV@CAV.
Leonid Ryzhyk,
Zvonimir Rakamaric,
Marek S. Baranowski,
2017,
HotOS.
Zvonimir Rakamaric,
Alastair F. Donaldson,
Pantazis Deligiannis,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Simone Atzeni,
Ganesh Gopalakrishnan,
Dong H. Ahn,
2018,
2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
Z. Rakamaric,
Aleksandar Chakarov,
Neha Rungta,
2022,
TACAS.
Shuvendu K. Lahiri,
Zvonimir Rakamaric,
Shaz Qadeer,
2009,
International Journal on Software Tools for Technology Transfer.
Zvonimir Rakamarić,
Z. Rakamaric,
2011
.
Zvonimir Rakamaric,
Dimitra Giannakopoulou,
Malte Isberner,
2014,
ASE.
Marek S. Baranowski,
Shaobo He,
Zvonimir Rakamarić,
2020,
IJCAR.
Lucas G. Wagner,
J. Foster,
Z. Rakamaric,
2023,
NFM.
Ganesh Gopalakrishnan,
Wei-Fan Chiang,
Zvonimir Rakamaric,
2015,
LCPC.
Zvonimir Rakamaric,
George Constantinides,
Fredrik Dahlqvist,
2021,
CAV.
Martin Schulz,
Matthias S. Müller,
Simone Atzeni,
2016,
2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS).