Pavle Subotic
发表
Lijun Chang,
Alan Fekete,
Bernhard Scholz,
2018,
Proc. VLDB Endow..
Pavle Subotic,
Pavle Subotic,
2019
.
Philipp Rümmer,
Pavle Subotic,
2013,
2013 Formal Methods in Computer-Aided Design.
Bernhard Scholz,
Pavle Subotic,
Herbert Jordan,
2018,
PPOPP.
Bernhard Scholz,
Pavle Subotic,
Herbert Jordan,
2019,
PMAM@PPoPP.
Alan J. Hu,
Temesghen Kahsai,
John D. Backes,
2019,
CAV.
Pavle Subotic,
David Zhao,
Bernhard Scholz,
2019,
2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT).
Bernhard Scholz,
Pavle Subotic,
David Zhao,
2019,
ArXiv.
Philipp Rümmer,
Jérôme Leroux,
Pavle Subotic,
2015,
Acta Informatica.
Wang Yi,
Pavle Subotic,
Hossein Hojjat,
2013
.
Pavle Subotic,
2014
.
Peter Schrammel,
Pavle Subotic,
2013,
VMCAI.
Bernhard Scholz,
Pavle Subotic,
Herbert Jordan,
2016,
CAV.
Wang Yi,
Philipp Rümmer,
Hossein Hojjat,
2014,
HCVS.
Bernhard Scholz,
Pavle Subotic,
Herbert Jordan,
2017,
ArXiv.
Pavle Subotic,
2011
.
Bernhard Scholz,
Pavle Subotic,
Herbert Jordan,
2019,
PPoPP.
Pavle Subotic,
Herbert Jordan,
David Zhao,
2020,
Concurr. Comput. Pract. Exp..
Till Westmann,
Bernhard Scholz,
Pavle Subotic,
2016,
CC.
Mukund Raghothaman,
Bernhard Scholz,
Pavle Subotic,
2021,
PPDP.