Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Christophe Ringeissen" ( http://dblp.L3S.de/Authors/Christophe_Ringeissen )

URL (Homepage):  http://www.loria.fr/~ringeiss/  Author page on DBLP  Author page in RDF  Community of Christophe Ringeissen in ASPL-2

Publication years (Num. hits)
1992-1999 (16) 2000-2004 (16) 2005-2010 (16) 2011 (2)
Publication types (Num. hits)
article(21) inproceedings(27) proceedings(2)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(9) FroCos(5) CADE(3) Fundam. Inform.(3) ICTAC(3) Inf. Comput.(3) RTA(3) J. Symb. Comput.(2) LPAR(2) AISC(1) ALP/HOA(1) AMAST(1) CC(1) CSCLP(1) Frontiers of Combining Systems...(1) ICLP(1) More (+10 of total 26)
Authors
Christophe Ringeissen(50) Hélène Kirchner(10) Silvio Ranise(8) Duc-Khanh Tran(6) Eric Monfroy(6) Pierre-Etienne Moreau(5) Claude Kirchner(4) Enrica Nicolini(4) Michaël Rusinowitch(4) Anamaria Martins Moreira(3) David Déharbe(3) Olivier Perrin(3) Peter Borovanský(3) Marian Vittek(2) Mark van den Brand(2) Nawal Guermouche(2) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 5 keywords
Results
Found 50 publication records. Showing 50 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran Automatic decidability and combinability. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christophe Ringeissen, Valerio Senni Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. Search on Bibsonomy FroCos The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner Combination of convex theories: Modularity, deduction completeness, and explanation. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch Combinable Extensions of Abelian Groups. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch Data Structures with Arithmetic Constraints: A Non-disjoint Combination. Search on Bibsonomy FroCos The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eric Monfroy, Oliver Perri, Christophe Ringeissen Modelando la composición de servicios web con restricciones. Search on Bibsonomy RASI The full citation details ... 2008 DBLP  BibTeX  RDF
1Nawal Guermouche, Olivier Perrin, Christophe Ringeissen Timed Specification For Web Services Compatibility Analysis. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Eric Monfroy, Olivier Perrin, Christophe Ringeissen Dynamic Web Services Provisioning with Constraints. Search on Bibsonomy OTM Conferences The full citation details ... 2008 DBLP  DOI  BibTeX  RDF web service, privacy, provisioning, constraint reasoning
1Nawal Guermouche, Olivier Perrin, Christophe Ringeissen A Mediator Based Approach For Services Composition. Search on Bibsonomy SERA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF automatic Web service composition, Web service, mediators
1Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran Combining Proof-Producing Decision Procedures. Search on Bibsonomy FroCos The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Christophe Ringeissen Special issue on combining logical systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran Automatic Combinability of Rewriting-Based Satisfiability Procedures. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen Decision Procedures for the Formal Analysis of Software. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Slim Abdennadher, Christophe Ringeissen Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran On Superposition-Based Satisfiability Procedures and Their Combination. Search on Bibsonomy ICTAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. Search on Bibsonomy FroCos The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima Manipulating algebraic specifications with term-based and graph-based representations. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Christophe Ringeissen Unions of non-disjoint theories and combinations of satisfiability procedures. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana A Tool Support for Reusing ELAN Rule-Based Components. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Christophe Ringeissen Matching in a Class of Combined Non-disjoint Theories. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Carlos Castro, Eric Monfroy, Christophe Ringeissen A Rule Language for Interaction. Search on Bibsonomy CSCLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek A Pattern Matching Compiler for Multiple Target Languages. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hélène Kirchner, Christophe Ringeissen (eds.) Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  BibTeX  RDF
1David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen Rewriting with Strategies in ELAN: A Functional Semantics. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2001 DBLP  BibTeX  RDF
1Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek Pattern-Matching Compiler. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Christophe Ringeissen Matching with Free Function Symbols - A Simple Extension of Matching? Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mark van den Brand, Christophe Ringeissen ASF+SDF parsing tools applied to ELAN. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Christophe Ringeissen Handling Relations over Finite Domains in the Rule-Based System ELAN. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hélène Kirchner, Christophe Ringeissen (eds.) Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings Search on Bibsonomy FroCoS The full citation details ... 2000 DBLP  BibTeX  RDF
1Eric Monfroy, Christophe Ringeissen An Open Automated Framework for Constraint Solver Extension: the SoleX Approach. Search on Bibsonomy Fundam. Inform. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Christophe Ringeissen, Eric Monfroy Generating Propagation Rules for Finite Domains: A Mixed Approach. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen Handling ELAN rewrite programs via an exchange format. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen An overview of ELAN. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Claude Kirchner, Christophe Ringeissen Rule-Based Constraint Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Eric Monfroy, Christophe Ringeissen SoleX: A Domain-Independent Scheme for Constraint Solver Extension. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Claude Kirchner, Christophe Ringeissen Higher-Order Equational Unification via Explicit Substitutions. Search on Bibsonomy ALP/HOA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Christophe Ringeissen Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language. Search on Bibsonomy RTA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Christophe Ringeissen Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories. Search on Bibsonomy Inf. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Christophe Ringeissen Cooperation of Decision Procedures for the Satisfiability Problem. Search on Bibsonomy Frontiers of Combining Systems (FroCos) The full citation details ... 1996 DBLP  BibTeX  RDF
1Hélène Kirchner, Christophe Ringeissen Combining Symbolic Constraint Solvers on Algebraic Domains. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Eric Domenjoud, Francis Klay, Christophe Ringeissen Combination Techniques for Non-Disjoint Equational Theories. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Hélène Kirchner, Christophe Ringeissen Constraint Solving by Narrowing in Combined Algebraic Domains. Search on Bibsonomy ICLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Christophe Ringeissen Combination of Matching Algorithms. Search on Bibsonomy STACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Christophe Ringeissen Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Hélène Kirchner, Christophe Ringeissen A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #50 of 50 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.