Vincent Rahli
发表
Vincent Rahli,
Vincent Rahli,
2012
.
Vincent Rahli,
2011
.
J. B. Wells,
Vincent Rahli,
Fairouz Kamareddine,
2008
.
Fairouz Kamareddine,
Vincent Rahli,
Vincent Rahli,
2008
.
J. B. Wells,
Vincent Rahli,
Fairouz Kamareddine,
2009,
0905.2120.
Vincent Rahli,
Fairouz Kamareddine,
2008
.
Vincent Rahli,
A. Anand,
2014
.
J. B. Wells,
Vincent Rahli,
Fairouz Kamareddine,
2008
.
J. B. Wells,
Vincent Rahli,
Fairouz Kamareddine,
2007
.
Vincent Rahli,
M. Bickford,
R. Constable,
2015
.
Vincent Rahli,
L. Cohen,
2022,
FSCD.
Vincent Rahli,
M. Bickford,
R. Constable,
2022
.
Vincent Rahli,
M. Bickford,
R. Constable,
2018
.
Paulo Veríssimo,
Marcus Völp,
Vincent Rahli,
2017,
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC).
Paulo Veríssimo,
Vincent Rahli,
Ivana Vukotic,
2019,
Proc. ACM Program. Lang..
Vincent Rahli,
Jiangshan Yu,
David Kozhaya,
2022,
EuroSys.
André Platzer,
Marcus Völp,
Vincent Rahli,
2017,
CPP.
Mark Bickford,
Robbert van Renesse,
Robert L. Constable,
2014,
2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.
Fairouz Kamareddine,
Vincent Rahli,
Joe B. Wells,
2012,
Fundam. Informaticae.
Fairouz Kamareddine,
Vincent Rahli,
Joe B. Wells,
2012,
Fundam. Informaticae.
Vincent Rahli,
Vincent Rahli,
2011
.
Vincent Rahli,
Silvia Bonomi,
S. Tixeuil,
2021,
2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS).
Paulo Veríssimo,
Marcus Völp,
Vincent Rahli,
2018,
ESOP.
Vincent Rahli,
Ali Shoker,
Jérémie Decouchant,
2023,
2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring).
Vincent Rahli,
Jeremie Decouchant,
David Kozhaya,
2021,
IEEE Transactions on Parallel and Distributed Systems.
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2017,
Sci. Comput. Program..
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2015,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Paulo Veríssimo,
Marcus Völp,
Adam Lackorzynski,
2016,
SysTEX@Middleware.
Mark Bickford,
Abhishek Anand,
Vincent Rahli,
2013,
ITP.
Mark Bickford,
Robbert van Renesse,
Robert L. Constable,
2012,
2012 20th IEEE International Conference on Network Protocols (ICNP).
Mark Bickford,
Robbert van Renesse,
Robert L. Constable,
2012,
HotDep.
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2012
.
Vincent Rahli,
L. Cohen,
2023,
ArXiv.
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2019,
J. ACM.
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2018,
LICS.
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Vincent Rahli,
L. Cohen,
2023,
CSL.
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2021,
CSL.
Abhishek Anand,
Vincent Rahli,
Vincent Rahli,
2014,
ITP.
Mark Bickford,
Robert L. Constable,
Abhishek Anand,
2014
.
Mark Bickford,
Vincent Rahli,
Vincent Rahli,
2017,
Mathematical Structures in Computer Science.
Vincent Rahli,
Vincent Rahli,
2016,
ICMS.
Mark Bickford,
Vincent Rahli,
Vincent Rahli,
2016,
CPP.
Vincent Rahli,
L. Cohen,
Ayberk Tosun,
2023,
MFCS.
Vincent Rahli,
M. Bickford,
2018
.
Abhishek Anand,
Vincent Rahli,
Vincent Rahli,
2014,
LFMTP '14.