Edit Profile Bonnet, Remi Compute Distance To: Compute Author ID: bonnet.remi Published as: Bonnet, Remi; Bonnet, Rémi Documents Indexed: 10 Publications since 2010 all top 5 Co-Authors 2 single-authored 5 Finkel, Alain 2 Chadha, Rohit 2 Haddad, Serge 2 Leroux, Jérôme 2 Rosa-Velardo, Fernando 2 Zeitoun, Marc 1 Kiefer, Stefan 1 Lin, Anthony Widjaja 1 Madhusudan, Parthasarathy 1 Praveen, M. 1 Viswanathan, Mahesh Serials 2 Logical Methods in Computer Science 1 Information and Computation Fields 10 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 7 Publications have been cited 13 times in 10 Documents Cited by ▼ Year ▼ The reachability problem for vector addition system with one zero-test. Zbl 1343.68160Bonnet, Rémi 4 2011 Analysis of probabilistic basic parallel processes. Zbl 1405.68208Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja 3 2014 Model checking vector addition systems with one zero-test. Zbl 1242.68196Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc 2 2012 Reachability under contextual locking. Zbl 1274.68064Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P. 1 2013 Extending the Rackoff technique to affine nets. Zbl 1354.68190Bonnet, Rémi; Finkel, Alain; Praveen, M. 1 2012 Decidability of LTL for vector addition systems with one zero-test. Zbl 1348.68157Bonnet, Rémi 1 2011 Place-boundedness for vector addition systems with one zero-test. Zbl 1245.68131Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc 1 2010 Analysis of probabilistic basic parallel processes. Zbl 1405.68208Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja 3 2014 Reachability under contextual locking. Zbl 1274.68064Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P. 1 2013 Model checking vector addition systems with one zero-test. Zbl 1242.68196Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc 2 2012 Extending the Rackoff technique to affine nets. Zbl 1354.68190Bonnet, Rémi; Finkel, Alain; Praveen, M. 1 2012 The reachability problem for vector addition system with one zero-test. Zbl 1343.68160Bonnet, Rémi 4 2011 Decidability of LTL for vector addition systems with one zero-test. Zbl 1348.68157Bonnet, Rémi 1 2011 Place-boundedness for vector addition systems with one zero-test. Zbl 1245.68131Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc 1 2010 all cited Publications top 5 cited Publications all top 5 Cited by 24 Authors 2 Etessami, Kousha 2 Stewart, Alistair 2 Yannakakis, Mihalis 1 Akshay, S. 1 Blondin, Michael 1 Chakraborty, Supratik 1 Das, Ankush 1 Demri, Stéphane P. 1 Finkel, Alain 1 Goubault-Larrecq, Jean 1 Gupta, Aarti 1 Jagannath, Vishal 1 Kahlon, Vineet 1 Lasota, Sławomir 1 Lengál, Ondřej 1 Lin, Anthony Widjaja 1 Majumdar, Rupak 1 Poturalski, Marcin 1 Qadeer, Shaz 1 Rümmer, Philipp 1 Sandeep, Sai 1 Touili, Tayssir 1 Verlan, Sergey 1 Zetzsche, Georg Cited in 4 Serials 1 Journal of Computer and System Sciences 1 Theoretical Computer Science 1 Information and Computation 1 Logical Methods in Computer Science Cited in 3 Fields 8 Computer science (68-XX) 2 Probability theory and stochastic processes (60-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year