Edit Profile (opens in new tab) Jobin, Arnaud Co-Author Distance Author ID: jobin.arnaud Published as: Jobin, Arnaud Documents Indexed: 5 Publications since 2008, including 1 Book Co-Authors: 5 Co-Authors with 5 Joint Publications 27 Co-Co-Authors Co-Authors 0 single-authored 4 Cachera, David 2 Sotin, Pascal 1 Duroux, Roxane 1 Kirchner, Florent 1 Koechlin, Benoît Serials 1 MSCS. Mathematical Structures in Computer Science Fields 4 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Associative rings and algebras (16-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 5 times in 5 Documents Cited by ▼ Year ▼ Inference of polynomial invariants for imperative programs: a farewell to Gröbner bases. Zbl 1401.68036 Cachera, David; Jensen, Thomas; Jobin, Arnaud; Kirchner, Florent 4 2012 Long-run cost analysis by approximation of linear operators over dioids. Zbl 1209.68124 Cachera, David; Jensen, Thomas; Jobin, Arnaud; Sotin, Pascal 1 2010 Inference of polynomial invariants for imperative programs: a farewell to Gröbner bases. Zbl 1401.68036 Cachera, David; Jensen, Thomas; Jobin, Arnaud; Kirchner, Florent 4 2012 Long-run cost analysis by approximation of linear operators over dioids. Zbl 1209.68124 Cachera, David; Jensen, Thomas; Jobin, Arnaud; Sotin, Pascal 1 2010 all top 5 Cited by 9 Authors 2 Boreale, Michele 1 Albert, Elvira 1 Arenas, Puri 1 Genaim, Samir 1 Humenberger, Andreas 1 Kovács, Laura Ildikó 1 Li, Mengjun 1 Puebla, Germán 1 Zanardini, Damiano Cited in 3 Serials 1 Information Processing Letters 1 Theoretical Computer Science 1 Logical Methods in Computer Science Cited in 3 Fields 5 Computer science (68-XX) 2 Commutative algebra (13-XX) 2 Ordinary differential equations (34-XX) Citations by Year