Vincent Rahli

发表

Paulo Veríssimo, Marcus Völp, Adam Lackorzynski, 2016, SysTEX@Middleware.
Paulo Veríssimo, Marcus Völp, Vincent Rahli, 2017, 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC).
Virgile Mogbil, Vincent Rahli, 2007, LFCS.
Abhishek Anand, Vincent Rahli, Vincent Rahli, 2014, ITP.
Vincent Rahli, Vincent Rahli, 2011 .
Paulo Veríssimo, Marcus Völp, Vincent Rahli, 2018, ESOP.
Mark Bickford, Vincent Rahli, Vincent Rahli, 2017, Mathematical Structures in Computer Science.
Mark Bickford, Robert L. Constable, Vincent Rahli, 2017, Sci. Comput. Program..
Fairouz Kamareddine, Vincent Rahli, Joe B. Wells, 2008, ICTAC.
Fairouz Kamareddine, Vincent Rahli, Joe B. Wells, 2014, LSFA.
Mark Bickford, Robert L. Constable, Vincent Rahli, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Mark Bickford, Vincent Rahli, Vincent Rahli, 2016, CPP.
Mark Bickford, Robbert van Renesse, Robert L. Constable, 2014, 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.
Mark Bickford, Robert L. Constable, Vincent Rahli, 2018, LICS.
Vincent Rahli, Jeremie Decouchant, David Kozhaya, 2021, IEEE Transactions on Parallel and Distributed Systems.
Mark Bickford, Robbert van Renesse, Robert L. Constable, 2012, HotDep.
Vincent Rahli, Vincent Rahli, 2016, ICMS.
Fairouz Kamareddine, Vincent Rahli, Joe B. Wells, 2010 .
Fairouz Kamareddine, Vincent Rahli, Joe B. Wells, 2012, Fundam. Informaticae.
Mark Bickford, Robert L. Constable, Vincent Rahli, 2012 .
Mark Bickford, Robbert van Renesse, Robert L. Constable, 2012, 2012 20th IEEE International Conference on Network Protocols (ICNP).
Abhishek Anand, Vincent Rahli, Vincent Rahli, 2014, LFMTP '14.
Mark Bickford, Robert L. Constable, Vincent Rahli, 2015, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Mark Bickford, Robert L. Constable, Vincent Rahli, 2019, J. ACM.
André Platzer, Marcus Völp, Vincent Rahli, 2017, CPP.
Mark Bickford, Robert L. Constable, Vincent Rahli, 2021, CSL.
Paulo Veríssimo, Vincent Rahli, Jiangshan Yu, 2018 .
Mark Bickford, Robert L. Constable, Vincent Rahli, 2012 .
Fairouz Kamareddine, Vincent Rahli, Joe B. Wells, 2012, Fundam. Informaticae.
Fairouz Kamareddine, Vincent Rahli, Joe B. Wells, 2017, J. Symb. Comput..
Fairouz Kamareddine, Vincent Rahli, Joe B. Wells, 2009 .
Paulo Veríssimo, Vincent Rahli, Ivana Vukotic, 2019, Proc. ACM Program. Lang..
Mark Bickford, Vincent Rahli, Liron Cohen, 2018, LPAR.
Silvia Bonomi, Vincent Rahli, S'ebastien Tixeuil, 2021, 2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS).
Mark Bickford, Vincent Rahli, 2015 .
Mark Bickford, Robert L. Constable, Vincent Rahli, 2015 .
Mark Bickford, Robert L. Constable, Abhishek Anand, 2014 .