×

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

Publications by Year

Citations contained in zbMATH Open

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

Cited by 173 Authors

18 Ringeissen, Christophe
9 Martí-Oliet, Narciso
9 Tinelli, Cesare
8 Kirchner, Hélène
8 Meseguer Guaita, José
7 Ghilardi, Silvio
6 Verdejo, Alberto
5 Barrett, Clark W.
5 Fontaine, Pascal
5 Kirchner, Claude
4 Baader, Franz
4 Conchon, Sylvain
4 Erbatur, Serdar
4 Gianola, Alessandro
4 Marshall, Andrew M.
4 Nicolini, Enrica
4 Ranise, Silvio
4 Rubio, Rubén
3 Andrei, Oana
3 Bonacina, Maria Paola
3 Calvanese, Diego
3 Chocron, Paula
3 Durán, Francisco
3 Echenim, Mnacho
3 Eker, Steven
3 Escobar, Santiago
3 Gnaedig, Isabelle
3 Montali, Marco
3 Moreau, Pierre-Etienne
3 Pita, Isabel
3 Rivkin, Andrey
3 Rusinowitch, Michaël
3 Tran, Duc-Khanh
3 Zarba, Calogero G.
2 Bodirsky, Manuel
2 Bruttomesso, Roberto
2 Cimatti, Alessandro
2 Cirstea, Horatiu
2 Déharbe, David
2 Dowek, Gilles
2 Greiner, Johannes
2 Hardin, Thérèse
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 Peltier, Nicolas
2 Reynolds, Andrew
2 Sapiña, Julia
2 Sebastiani, Roberto
2 Senni, Valerio
2 van den Brand, Mark G. J.
1 Alpuente, María
1 Amir, Eyal
1 Aparicio-Sánchez, Damián
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 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 Dross, Claire
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 Graham-Lengrand, Stéphane
1 Griggio, Alberto
1 Gutiérrez, Raúl
1 Hartenstein, Reiner W.
1 Hillenbrand, Thomas
1 Hoenicke, Jochen
1 Holdermans, Stefan
1 Hortalá-González, Teresa
...and 73 more Authors

Citations by Year