Edit Profile (opens in new tab) Kordon, Fabrice Compute Distance To: Compute Author ID: kordon.fabrice Published as: Kordon, Fabrice; Kordon, F. Documents Indexed: 17 Publications since 2001 4 Contributions as Editor Co-Authors: 32 Co-Authors with 20 Joint Publications 358 Co-Co-Authors all top 5 Co-Authors 0 single-authored 4 Duret-Lutz, Alexandre 4 Poitrenaud, Denis 4 Thierry-Mieg, Yann 3 Baarir, Souheib 3 Hamez, Alexandre 3 Renault, Etienne 2 Colange, Maximilien 2 Hillah, Lom-Messan 2 Koutny, Maciej 2 Moldt, Daniel 2 Paviot-Adet, Emmanuel 2 Petrucci, Laure 1 Bakam, Innocent 1 Bashirov, Rza 1 Beyer, Dirk 1 Bousquet, François 1 Doche, Marielle 1 Evangelista, Sami 1 Ganesh, Vijay 1 Hong, Silien 1 Huisman, Marieke 1 Lakos, Charles A. 1 Le Frioux, Ludovic 1 Lepage, Christophe 1 Linard, Alban 1 Lort, Hüseyin 1 Metin, Hakan 1 Pomello, Lucia 1 Salem, Ala-Eddine Ben 1 Sopena, Julien 1 Steffen, Bernhard 1 Treves, Nicolas 1 Vallade, Vincent 1 Vernier-Mounier, I. Serials 4 Lecture Notes in Computer Science 1 Acta Informatica 1 Fundamenta Informaticae Fields 21 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 12 Publications have been cited 25 times in 24 Documents Cited by ▼ Year ▼ Three SCC-based emptiness checks for generalized Büchi automata. Zbl 1407.68301Renault, Etienne; Duret-Lutz, Alexandre; Kordon, Fabrice; Poitrenaud, Denis 7 2013 Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part III. Zbl 1408.68008 3 2019 PN standardisation: a survey. Zbl 1225.68125Hillah, L.; Kordon, F.; Petrucci, L.; Trèves, N. 3 2006 CDCLSym: introducing effective symmetry breaking in SAT solving. Zbl 1423.68462Metin, Hakan; Baarir, Souheib; Colange, Maximilien; Kordon, Fabrice 2 2018 Parallel explicit model checking for generalized Büchi automata. Zbl 1420.68137Renault, Etienne; Duret-Lutz, Alexandre; Kordon, Fabrice; Poitrenaud, Denis 2 2015 Hierarchical set decision diagrams and regular models. Zbl 1234.68267Thierry-Mieg, Yann; Poitrenaud, Denis; Hamez, Alexandre; Kordon, Fabrice 2 2009 Community and LBD-based clause sharing policy for parallel SAT solving. Zbl 07331009Vallade, Vincent; Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Ganesh, Vijay; Kordon, Fabrice 1 2020 Optimized colored nets unfolding. Zbl 1225.68126Kordon, Fabrice; Linard, Alban; Paviot-Adet, Emmanuel 1 2006 Strength-based decomposition of the property Büchi automaton for faster model checking. Zbl 1381.68133Renault, Etienne; Duret-Lutz, Alexandre; Kordon, Fabrice; Poitrenaud, Denis 1 2013 Building efficient model checkers using hierarchical set decision diagrams and automatic saturation. Zbl 1183.68374Hamez, Alexandre; Thierry-Mieg, Yann; Kordon, Fabrice 1 2009 Hierarchical set decision diagrams and automatic saturation. Zbl 1143.68454Hamez, Alexandre; Thierry-Mieg, Yann; Kordon, Fabrice 1 2008 Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag. Zbl 1330.68198Colange, M.; Baarir, S.; Kordon, F.; Thierry-Mieg, Y. 1 2011 Community and LBD-based clause sharing policy for parallel SAT solving. Zbl 07331009Vallade, Vincent; Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Ganesh, Vijay; Kordon, Fabrice 1 2020 Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part III. Zbl 1408.68008 3 2019 CDCLSym: introducing effective symmetry breaking in SAT solving. Zbl 1423.68462Metin, Hakan; Baarir, Souheib; Colange, Maximilien; Kordon, Fabrice 2 2018 Parallel explicit model checking for generalized Büchi automata. Zbl 1420.68137Renault, Etienne; Duret-Lutz, Alexandre; Kordon, Fabrice; Poitrenaud, Denis 2 2015 Three SCC-based emptiness checks for generalized Büchi automata. Zbl 1407.68301Renault, Etienne; Duret-Lutz, Alexandre; Kordon, Fabrice; Poitrenaud, Denis 7 2013 Strength-based decomposition of the property Büchi automaton for faster model checking. Zbl 1381.68133Renault, Etienne; Duret-Lutz, Alexandre; Kordon, Fabrice; Poitrenaud, Denis 1 2013 Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag. Zbl 1330.68198Colange, M.; Baarir, S.; Kordon, F.; Thierry-Mieg, Y. 1 2011 Hierarchical set decision diagrams and regular models. Zbl 1234.68267Thierry-Mieg, Yann; Poitrenaud, Denis; Hamez, Alexandre; Kordon, Fabrice 2 2009 Building efficient model checkers using hierarchical set decision diagrams and automatic saturation. Zbl 1183.68374Hamez, Alexandre; Thierry-Mieg, Yann; Kordon, Fabrice 1 2009 Hierarchical set decision diagrams and automatic saturation. Zbl 1143.68454Hamez, Alexandre; Thierry-Mieg, Yann; Kordon, Fabrice 1 2008 PN standardisation: a survey. Zbl 1225.68125Hillah, L.; Kordon, F.; Petrucci, L.; Trèves, N. 3 2006 Optimized colored nets unfolding. Zbl 1225.68126Kordon, Fabrice; Linard, Alban; Paviot-Adet, Emmanuel 1 2006 all cited Publications top 5 cited Publications all top 5 Cited by 62 Authors 2 Alrajeh, Dalal 2 Blahoudek, František 2 Cavezza, Davide Giacomo 2 Gieseking, Manuel 2 György, András 2 Kordon, Fabrice 2 Meel, Kuldeep S. 2 Qin, Zheng 2 Shan, Laixiang 2 Strejček, Jan 2 Würdemann, Nick 1 Almaawi, Alyas 1 Amat, Nicolas 1 Baier, Christel 1 Bashirov, Rza 1 Beneš, Nikola 1 Berthomieu, Bernard 1 Brim, Luboš 1 Cassez, Franck 1 Chen, Mingshi 1 Dal Zilio, Silvano 1 de Frutos-Escrig, David 1 Du, Xiaomin 1 Duret-Lutz, Alexandre 1 Endrullis, Jörg 1 Evangelista, Sami 1 Fujita, Tomohiro 1 Garavel, Hubert 1 Guldstrand, Larsen Kim 1 Hamez, Alexandre 1 Huisman, Marieke 1 Jensen, Peter Gjøl 1 Joosten, Sebastiaan J. C. 1 Khurshid, Sarfraz 1 Klein, Joachim 1 Klop, Jan Willem 1 Koutny, Maciej 1 Lort, Hüseyin 1 Major, Juraj 1 Matsuzaki, Takuya 1 Mikulski, Łukasz 1 Müller, David 1 Olderog, Ernst-Rüdiger 1 Oortwijn, Wytse 1 Overbeek, Roy 1 Pajault, C. 1 Pastva, Samuel 1 Pearce, David J. 1 Poitrenaud, Denis 1 Pradat-Peyre, Jean-François 1 Prevot, Nicolas 1 Qin, Jun 1 Quaresma, Pedro 1 Šafránek, David 1 Soos, Mate 1 Thierry-Mieg, Yann 1 van de Pol, Jan Cornelis 1 Wang, Guoyin 1 Wang, Kaiyuan 1 Wang, Wenxi 1 Xu, Taihua 1 Yang, Jie all top 5 Cited in 11 Serials 2 Acta Informatica 2 Fundamenta Informaticae 1 Information Processing Letters 1 Theoretical Computer Science 1 International Journal of Approximate Reasoning 1 Formal Aspects of Computing 1 Journal of Applied Mathematics 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Frontiers of Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 6 Fields 24 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Measure and integration (28-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Geometry (51-XX) Citations by Year