×

zbMATH — the first resource for mathematics

Conchon, Sylvain

Compute Distance To:
Author ID: conchon.sylvain Recent zbMATH articles by "Conchon, Sylvain"
Published as: Conchon, Sylvain
Documents Indexed: 16 Publications since 2000

Publications by Year

Citations contained in zbMATH

11 Publications have been cited 35 times in 33 Documents Cited by Year
Adding decision procedures to SMT solvers using axioms with triggers. Zbl 1356.68187
Dross, Claire; Conchon, Sylvain; Kanig, Johannes; Paskevich, Andrei
6
2016
Information flow inference for free. Zbl 1321.68158
Pottier, François; Conchon, Sylvain
6
2000
CC(X): semantic combination of congruence closure with solvable theories. Zbl 1277.68240
Conchon, Sylvain; Contejean, Evelyne; Kanig, Johannes; Lescuyer, Stéphane
4
2008
A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic. Zbl 1358.68249
Bobot, François; Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed; Mahboubi, Assia; Mebsout, Alain; Melquiond, Guillaume
3
2012
Improving Coq propositional reasoning using a lazy CNF conversion scheme. Zbl 1193.68225
Lescuyer, Stéphane; Conchon, Sylvain
3
2009
Strategies for combining decision procedures. Zbl 1031.68585
Conchon, Sylvain; Krstić, Sava
3
2003
Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory. Zbl 06958097
Conchon, Sylvain; Declerck, David; Zaïdi, Fatiha
2
2018
Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation. Zbl 1253.68291
Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed
2
2012
Canonization for disjoint unions of theories. Zbl 1078.68138
Krstić, Sava; Conchon, Sylvain
2
2005
Canonization for disjoint unions of theories. Zbl 1278.68269
Krstić, Sava; Conchon, Sylvain
2
2003
JOIN(\(X\)): Constraint-based type inference for the join-calculus. Zbl 0977.68521
Conchon, Sylvain; Pottier, François
2
2001
Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory. Zbl 06958097
Conchon, Sylvain; Declerck, David; Zaïdi, Fatiha
2
2018
Adding decision procedures to SMT solvers using axioms with triggers. Zbl 1356.68187
Dross, Claire; Conchon, Sylvain; Kanig, Johannes; Paskevich, Andrei
6
2016
A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic. Zbl 1358.68249
Bobot, François; Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed; Mahboubi, Assia; Mebsout, Alain; Melquiond, Guillaume
3
2012
Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation. Zbl 1253.68291
Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed
2
2012
Improving Coq propositional reasoning using a lazy CNF conversion scheme. Zbl 1193.68225
Lescuyer, Stéphane; Conchon, Sylvain
3
2009
CC(X): semantic combination of congruence closure with solvable theories. Zbl 1277.68240
Conchon, Sylvain; Contejean, Evelyne; Kanig, Johannes; Lescuyer, Stéphane
4
2008
Canonization for disjoint unions of theories. Zbl 1078.68138
Krstić, Sava; Conchon, Sylvain
2
2005
Strategies for combining decision procedures. Zbl 1031.68585
Conchon, Sylvain; Krstić, Sava
3
2003
Canonization for disjoint unions of theories. Zbl 1278.68269
Krstić, Sava; Conchon, Sylvain
2
2003
JOIN(\(X\)): Constraint-based type inference for the join-calculus. Zbl 0977.68521
Conchon, Sylvain; Pottier, François
2
2001
Information flow inference for free. Zbl 1321.68158
Pottier, François; Conchon, Sylvain
6
2000
all top 5

Cited by 86 Authors

6 Conchon, Sylvain
4 Filliâtre, Jean-Christophe
4 Meseguer Guaita, José
3 Boldo, Sylvie
3 Melquiond, Guillaume
2 Abadi, Martín
2 Bromberger, Martin
2 Clément, François
2 Contejean, Evelyne
2 Kanig, Johannes
2 Krstic, Sava A.
2 Mayero, Micaela
2 Paskevich, Andrei
2 Skeirik, Stephen
2 Weidenbach, Christoph
2 Weis, Pierre
1 Abbott, John A.
1 Ábrahám, Erika
1 Armand, Michaël
1 Barbuti, Roberto
1 Becker, Bernd
1 Berger, Ulrich
1 Bernardeschi, Cinzia
1 Bigatti, Anna Maria
1 Blanchet, Bruno
1 Boudol, Gérard
1 Brain, Martin
1 Buchberger, Bruno
1 Calvanese, Diego
1 Castellani, Ilaria
1 Cimatti, Alessandro
1 Ciobanu, Gabriel
1 Codish, Michael
1 Dailler, Sylvain
1 Davenport, James Harold
1 De Francesco, Nicoletta
1 Declerck, David
1 Dross, Claire
1 Eker, Steven
1 England, Matthew
1 Farooque, Mahfuza
1 Faure, Germain
1 Fontaine, Pascal
1 Forrest, Stephen
1 Frade, Maria João
1 Ghilardi, Silvio
1 Gianola, Alessandro
1 Giesl, Jürgen
1 Gondelman, Léon
1 Graham-Lengrand, Stéphane
1 Grégoire, Benjamin
1 Griggio, Alberto
1 Hauzar, David
1 Horne, Ross
1 Igarashi, Atsushi
1 Iguernelala, Mohamed
1 Keller, Chantal
1 Kirchner, Hélène
1 Kobayashi, Naoki
1 Kröning, Daniel
1 Lawrence, Andrew
1 Lescuyer, Stéphane
1 Mahboubi, Assia
1 Marché, Claude
1 Martí-Oliet, Narciso
1 Meseguer, José
1 Montali, Marco
1 Mousavi, Mohammadreza
1 Moy, Yannick
1 Notin, Jean-Marc
1 Pinto, Jorge Sousa
1 Ranise, Silvio
1 Ringeissen, Christophe
1 Rivkin, Andrey
1 Rouhling, Damien
1 Sassone, Vladimiro
1 Schneider-Kamp, Peter
1 Seiler, Werner M.
1 Seisenberger, Monika
1 Sturm, Thomas P.
1 Théry, Laurent
1 Thiemann, René
1 Tran, Duc-Khanh
1 Verdejo, Alberto
1 Werner, Benjamin
1 Zaïdi, Fatiha

Citations by Year