×

zbMATH — the first resource for mathematics

Ringeissen, Christophe

Compute Distance To:
Author ID: ringeissen.christophe Recent zbMATH articles by "Ringeissen, Christophe"
Published as: Ringeissen, Christophe; Ringeisen, Christophe; Ringeissen, C.
External Links: MGP
Documents Indexed: 51 Publications since 1992, including 4 Books

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 169 times in 104 Documents Cited by Year
Unions of non-disjoint theories and combinations of satisfiability procedures. Zbl 1018.68033
Tinelli, Cesare; Ringeissen, Christophe
23
2003
Rewriting with strategies in \(\mathsf{ELAN}\): a functional semantics. Zbl 1319.68125
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Ringeissen, Christophe
20
2001
An overview of ELAN. Zbl 0917.68022
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Ringeisen, Christophe
13
1998
Combining symbolic constraint solvers on algebraic domains. Zbl 0819.68111
Kirchner, Hélène; Ringeissen, Christophe
11
1994
Combining data structures with nonstably infinite theories using many-sorted logic. Zbl 1171.68439
Ranise, Silvio; Ringeissen, Christophe; Zarba, Calogero G.
10
2005
A pattern matching compiler for multiple target languages. Zbl 1032.68920
Moreau, Pierre-Etienne; Ringeissen, Christophe; Vittek, Marian
8
2003
Combining satisfiability procedures for unions of theories with a shared counting operator. Zbl 1215.03051
Nicolini, Enrica; Ringeissen, Christophe; Rusinowitch, Michael
7
2010
On superposition-based satisfiability procedures and their combination. Zbl 1169.68509
Kirchner, Hélène; Ranise, Silvio; Ringeissen, Christophe; Tran, Duc Khanh
6
2005
Nelson-Oppen, Shostak and the extended canonizer: A family picture with a newborn. Zbl 1108.68574
Ranise, Silvio; Ringeissen, Christophe; Tran, Duc-Khanh
6
2005
Cooperation of decision procedures for the satisfiability problem. Zbl 0945.03011
Ringeissen, Christophe
5
1996
Automatic combinability of rewriting-based satisfiability procedures. Zbl 1165.68490
Kirchner, Hélène; Ranise, Silvio; Ringeissen, Christophe; Tran, Duc-Khanh
5
2006
Combinable extensions of abelian groups. Zbl 1250.03021
Nicolini, Enrica; Ringeissen, Christophe; Rusinowitch, Michaël
5
2009
Combining decision algorithms for matching in the union of disjoint equational theories. Zbl 0853.68105
Ringeissen, Christophe
4
1996
Automatic decidability and combinability. Zbl 1216.68163
Lynch, Christopher; Ranise, Silvio; Ringeissen, Christophe; Tran, Duc-Khanh
4
2011
Combination of convex theories: modularity, deduction completeness, and explanation. Zbl 1192.68190
Tran, Duc-Khanh; Ringeissen, Christophe; Ranise, Silvio; Kirchner, Hélène
4
2010
Data structures with arithmetic constraints: A non-disjoint combination. Zbl 1193.68090
Nicolini, Enrica; Ringeissen, Christophe; Rusinowitch, Michaël
4
2009
Satisfiability procedures for combination of theories sharing integer offsets. Zbl 1234.68262
Nicolini, Enrica; Ringeissen, Christophe; Rusinowitch, Michaël
4
2009
Unification in a combination of equational theories with shared constants and its application to primal algebras. Zbl 0920.08001
Ringeissen, Christophe
3
1992
A polite non-disjoint combination method: theories with bridging functions revisited. Zbl 1465.68303
Chocron, Paula; Fontaine, Pascal; Ringeissen, Christophe
3
2015
A gentle non-disjoint combination of satisfiability procedures. Zbl 1423.68441
Chocron, Paula; Fontaine, Pascal; Ringeissen, Christophe
3
2014
Rule-based constraint programming. Zbl 0943.68094
Kirchner, Claude; Ringeissen, Christophe
2
1998
ASF+SDF parsing tools applied to ELAN. Zbl 0962.68032
van den Brand, M. G. J.; Ringeissen, C.
2
2000
Combination of matching algorithms. Zbl 0941.68598
Ringeissen, Christophe
2
1994
Higher-order equational unification via explicit substitutions. Zbl 0888.03007
Kirchner, Claude; Ringeissen, Christophe
2
1997
Prototyping combination of unification algorithms with the \(\mathsf{ELAN}\) rule-based programming language. Zbl 1379.68204
Ringeissen, Christophe
2
1997
Theory combination: beyond equality sharing. Zbl 1443.68116
Bonacina, Maria Paola; Fontaine, Pascal; Ringeissen, Christophe; Tinelli, Cesare
1
2019
Handling \(ELAN\) rewrite programs via an exchange format. Zbl 0917.68023
Borovanský, Peter; Jamoussi, Salma; Moreau, Pierre-Etienne; Ringeisen, Christophe
1
1998
Handling relations over finite domains in the rule-based system ELAN. Zbl 0962.68099
Ringeissen, Christophe
1
2000
Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22–24, 2000. Proceedings. Zbl 0935.00044
Kirchner, Hélène (ed.); Ringeissen, Christophe (ed.)
1
2000
Improving symbolic model checking by rewriting temporal logic formulae. Zbl 1045.68091
Déharbe, David; Moreira, Anamaria Martins; Ringeissen, Christophe
1
2002
On asymmetric unification and the combination problem in disjoint theories. Zbl 1405.68315
Erbatur, Serdar; Kapur, Deepak; Marshall, Andrew M.; Meadows, Catherine; Narendran, Paliath; Ringeissen, Christophe
1
2014
Notions of knowledge in combinations of theories sharing constructors. Zbl 06778397
Erbatur, Serdar; Marshall, Andrew M.; Ringeissen, Christophe
1
2017
Hierarchical combination. Zbl 1381.68265
Erbatur, Serdar; Kapur, Deepak; Marshall, Andrew M.; Narendran, Paliath; Ringeissen, Christophe
1
2013
Automatic decidability: a schematic calculus for theories with counting operators. Zbl 1356.68204
Tushkanova, Elena; Ringeissen, Christophe; Giorgetti, Alain; Kouchnarenko, Olga
1
2011
Matching in a class of combined non-disjoint theories. Zbl 1278.68280
Ringeissen, Christophe
1
2003
Combining proof-producing decision procedures. Zbl 1148.68467
Ranise, Silvio; Ringeissen, Christophe; Tran, Duc-Khanh
1
2007
Theory combination: beyond equality sharing. Zbl 1443.68116
Bonacina, Maria Paola; Fontaine, Pascal; Ringeissen, Christophe; Tinelli, Cesare
1
2019
Notions of knowledge in combinations of theories sharing constructors. Zbl 06778397
Erbatur, Serdar; Marshall, Andrew M.; Ringeissen, Christophe
1
2017
A polite non-disjoint combination method: theories with bridging functions revisited. Zbl 1465.68303
Chocron, Paula; Fontaine, Pascal; Ringeissen, Christophe
3
2015
A gentle non-disjoint combination of satisfiability procedures. Zbl 1423.68441
Chocron, Paula; Fontaine, Pascal; Ringeissen, Christophe
3
2014
On asymmetric unification and the combination problem in disjoint theories. Zbl 1405.68315
Erbatur, Serdar; Kapur, Deepak; Marshall, Andrew M.; Meadows, Catherine; Narendran, Paliath; Ringeissen, Christophe
1
2014
Hierarchical combination. Zbl 1381.68265
Erbatur, Serdar; Kapur, Deepak; Marshall, Andrew M.; Narendran, Paliath; Ringeissen, Christophe
1
2013
Automatic decidability and combinability. Zbl 1216.68163
Lynch, Christopher; Ranise, Silvio; Ringeissen, Christophe; Tran, Duc-Khanh
4
2011
Automatic decidability: a schematic calculus for theories with counting operators. Zbl 1356.68204
Tushkanova, Elena; Ringeissen, Christophe; Giorgetti, Alain; Kouchnarenko, Olga
1
2011
Combining satisfiability procedures for unions of theories with a shared counting operator. Zbl 1215.03051
Nicolini, Enrica; Ringeissen, Christophe; Rusinowitch, Michael
7
2010
Combination of convex theories: modularity, deduction completeness, and explanation. Zbl 1192.68190
Tran, Duc-Khanh; Ringeissen, Christophe; Ranise, Silvio; Kirchner, Hélène
4
2010
Combinable extensions of abelian groups. Zbl 1250.03021
Nicolini, Enrica; Ringeissen, Christophe; Rusinowitch, Michaël
5
2009
Data structures with arithmetic constraints: A non-disjoint combination. Zbl 1193.68090
Nicolini, Enrica; Ringeissen, Christophe; Rusinowitch, Michaël
4
2009
Satisfiability procedures for combination of theories sharing integer offsets. Zbl 1234.68262
Nicolini, Enrica; Ringeissen, Christophe; Rusinowitch, Michaël
4
2009
Combining proof-producing decision procedures. Zbl 1148.68467
Ranise, Silvio; Ringeissen, Christophe; Tran, Duc-Khanh
1
2007
Automatic combinability of rewriting-based satisfiability procedures. Zbl 1165.68490
Kirchner, Hélène; Ranise, Silvio; Ringeissen, Christophe; Tran, Duc-Khanh
5
2006
Combining data structures with nonstably infinite theories using many-sorted logic. Zbl 1171.68439
Ranise, Silvio; Ringeissen, Christophe; Zarba, Calogero G.
10
2005
On superposition-based satisfiability procedures and their combination. Zbl 1169.68509
Kirchner, Hélène; Ranise, Silvio; Ringeissen, Christophe; Tran, Duc Khanh
6
2005
Nelson-Oppen, Shostak and the extended canonizer: A family picture with a newborn. Zbl 1108.68574
Ranise, Silvio; Ringeissen, Christophe; Tran, Duc-Khanh
6
2005
Unions of non-disjoint theories and combinations of satisfiability procedures. Zbl 1018.68033
Tinelli, Cesare; Ringeissen, Christophe
23
2003
A pattern matching compiler for multiple target languages. Zbl 1032.68920
Moreau, Pierre-Etienne; Ringeissen, Christophe; Vittek, Marian
8
2003
Matching in a class of combined non-disjoint theories. Zbl 1278.68280
Ringeissen, Christophe
1
2003
Improving symbolic model checking by rewriting temporal logic formulae. Zbl 1045.68091
Déharbe, David; Moreira, Anamaria Martins; Ringeissen, Christophe
1
2002
Rewriting with strategies in \(\mathsf{ELAN}\): a functional semantics. Zbl 1319.68125
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Ringeissen, Christophe
20
2001
ASF+SDF parsing tools applied to ELAN. Zbl 0962.68032
van den Brand, M. G. J.; Ringeissen, C.
2
2000
Handling relations over finite domains in the rule-based system ELAN. Zbl 0962.68099
Ringeissen, Christophe
1
2000
Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22–24, 2000. Proceedings. Zbl 0935.00044
Kirchner, Hélène; Ringeissen, Christophe
1
2000
An overview of ELAN. Zbl 0917.68022
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Ringeisen, Christophe
13
1998
Rule-based constraint programming. Zbl 0943.68094
Kirchner, Claude; Ringeissen, Christophe
2
1998
Handling \(ELAN\) rewrite programs via an exchange format. Zbl 0917.68023
Borovanský, Peter; Jamoussi, Salma; Moreau, Pierre-Etienne; Ringeisen, Christophe
1
1998
Higher-order equational unification via explicit substitutions. Zbl 0888.03007
Kirchner, Claude; Ringeissen, Christophe
2
1997
Prototyping combination of unification algorithms with the \(\mathsf{ELAN}\) rule-based programming language. Zbl 1379.68204
Ringeissen, Christophe
2
1997
Cooperation of decision procedures for the satisfiability problem. Zbl 0945.03011
Ringeissen, Christophe
5
1996
Combining decision algorithms for matching in the union of disjoint equational theories. Zbl 0853.68105
Ringeissen, Christophe
4
1996
Combining symbolic constraint solvers on algebraic domains. Zbl 0819.68111
Kirchner, Hélène; Ringeissen, Christophe
11
1994
Combination of matching algorithms. Zbl 0941.68598
Ringeissen, Christophe
2
1994
Unification in a combination of equational theories with shared constants and its application to primal algebras. Zbl 0920.08001
Ringeissen, Christophe
3
1992
all top 5

Cited by 161 Authors

15 Ringeissen, Christophe
8 Kirchner, Hélène
8 Meseguer Guaita, José
8 Tinelli, Cesare
6 Martí-Oliet, Narciso
5 Fontaine, Pascal
5 Ghilardi, Silvio
4 Baader, Franz
4 Barrett, Clark W.
4 Conchon, Sylvain
4 Kirchner, Claude
4 Nicolini, Enrica
4 Ranise, Silvio
3 Andrei, Oana
3 Chocron, Paula
3 Durán, Francisco
3 Echenim, Mnacho
3 Eker, Steven
3 Gnaedig, Isabelle
3 Moreau, Pierre-Etienne
3 Rusinowitch, Michaël
3 Tran, Duc-Khanh
3 Verdejo, Alberto
3 Zarba, Calogero G.
2 Bonacina, Maria Paola
2 Bruttomesso, Roberto
2 Cimatti, Alessandro
2 Cirstea, Horatiu
2 Déharbe, David
2 Erbatur, Serdar
2 Gianola, Alessandro
2 Heeren, Bastiaan
2 Hermann, Miki
2 Jeuring, Johan
2 Jovanović, Dejan
2 Kanig, Johannes
2 Kolaitis, Phokion G.
2 Krstic, Sava A.
2 Lämmel, Ralf
2 Lucas, Salvador
2 Marshall, Andrew M.
2 Peltier, Nicolas
2 Sebastiani, Roberto
2 Senni, Valerio
2 van den Brand, Mark G. J.
1 Alpuente, María
1 Amir, Eyal
1 Areces, Carlos
1 Ayala-Rincón, Mauricio
1 Balland, Emilie
1 Ballis, Demis
1 Bansal, Kshitij
1 Belkhir, Walid
1 Borovanský, Peter
1 Bozzano, Marco
1 Brauner, Paul
1 Calvanese, Diego
1 Casal, Filipe
1 Christ, Jürgen
1 Ciobanu, Gabriel
1 Claessen, Koen
1 Clavel, Manuel
1 Contejean, Evelyne
1 Correa, Francisco José
1 de Jong, H. A.
1 de Moura, Leonardo
1 del Vado Vírseda, Rafael
1 Dietrich, Dominik
1 Domenjoud, Eric
1 Dowek, Gilles
1 Dross, Claire
1 Escobar, Santiago
1 Estévez-Martín, Sonia
1 Falaschi, Moreno
1 Faure, Germain
1 Fernández, Antonio J.
1 Fernández, Maribel
1 Feuillade, Guillaume
1 Fissore, Olivier
1 Franzén, Anders
1 Genet, Thomas
1 Giorgetti, Alain
1 Griggio, Alberto
1 Gutiérrez, Raúl
1 Hardin, Thérèse
1 Hartenstein, Reiner W.
1 Hillenbrand, Thomas
1 Hoenicke, Jochen
1 Holdermans, Stefan
1 Hortalá-González, Teresa
1 Jacobi, Ricardo P.
1 Jacquemard, Florent
1 Junttila, Tommi A.
1 Kapur, Deepak
1 Kieburtz, Richard B.
1 Klay, Francis
1 Klint, Paul
1 Kojima, Yoshiharu
1 Kopetz, Radu
1 Koutny, Maciej
...and 61 more Authors

Citations by Year