Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Le cluster Isabelle Gnaedig - Olivier Fissore

Terms

73Isabelle Gnaedig
34Olivier Fissore
203Hélène Kirchner
18Hubert Dubois
23Peter Borovansky

Associations

Freq.WeightAssociation
330.662Isabelle Gnaedig - Olivier Fissore
530.435Hélène Kirchner - Isabelle Gnaedig
320.385Hélène Kirchner - Olivier Fissore
160.265Hubert Dubois - Hélène Kirchner
160.234Hélène Kirchner - Peter Borovansky
Documents par ordre de pertinence
006319 (2005) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]A Proof of Weak Termination Providing the Right Way to Terminate
006F07 (2004) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak termination also provides the right way to terminate - Extended version -
007098 (2004) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]A proof of weak termination providing the right way to terminate
007195 (2003-08) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Simplification and Termination of Strategies in Rule-Based Languages
007441 (2003) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Outermost ground termination
007572 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerSimplification and Termination of Strategies in Rule-Based Languages
007598 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerProving weak termination also provides the right way to terminate - extended version -
007614 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerProving weak termination also provides the right way to terminate
007630 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerTermination of ELAN strategies by simplification - Extended version -
007827 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerOutermost ground termination
007D43 (2003) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Termination of ELAN strategies by simplification - Extended version -
007D66 (2003) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak termination also provides the right way to terminate
007D67 (2003) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak termination also provides the right way to terminate - extended version -
007E55 (2003) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction
007F45 (2002-10) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]CARIBOO: An Induction Based Proof Tool for Termination with Strategies
008353 (2002) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerCARIBOO : An Induction Based Proof Tool for Termination with Strategies -- Extended version--
008377 (2002) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerCARIBOO : An Induction Based Proof Tool for Termination with Strategies
008500 (2002) Isabelle Gnaedig ; Olivier Fissore ; Hélène KirchnerInduction for weak termination
008580 (2002) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerOutermost ground termination - Extended version
008622 (2002) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerOutermost ground termination
008A91 (2002) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Outermost ground termination
008A92 (2002) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Outermost ground termination - Extended version
008B25 (2002) Isabelle Gnaedig [France] ; Olivier Fissore [France] ; Hélène Kirchner [France]Induction for weak termination
008B73 (2002) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]CARIBOO: An Induction Based Proof Tool for Termination with Strategies -- Extended version--
008F59 (2001) Isabelle Gnaedig ; Hélène Kirchner ; Olivier FissoreInduction for innermost and outermost ground termination
008F65 (2001) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerInduction for termination with local strategies - Extended version -
008F88 (2001) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerInduction for termination with local strategies
009195 (2001) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Induction for termination with local strategies
009638 (2001) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Induction for termination with local strategies - Extended version -
009639 (2001) Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Olivier Fissore [France]Induction for innermost and outermost ground termination
009B35 (2000) Isabelle Gnaedig ; Hélène Kirchner ; Olivier FissoreInduction for termination
00A207 (2000) Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Olivier Fissore [France]Induction for termination
002805 (2011) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak properties of rewriting
003743 (2009) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Termination of Rewriting under Strategies
003C48 (2009) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak properties of rewriting
003C61 (2009) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Modeling reducibility on ground terms using constraints
004913 (2007-06) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
004C20 (2007) Isabelle Gnaedig ; Hélène KirchnerNarrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
005067 (2006-07-10) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Computing Constructor Forms with Non Terminating Rewrite Programs
005228 (2006) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Termination of rewriting under strategies: a generic approach
005793 (2006) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Computing Constructor Forms with Non Terminating Rewrite Programs - Extended version -
005923 (2005-09) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Termination of rewriting strategies: a generic approach
005F28 (2005) Isabelle Gnaedig ; Hélène KirchnerTermination of rewriting strategies : a generic approach
005F29 (2005) Isabelle Gnaedig ; Hélène KirchnerTermination of rewriting strategies : a generic approach
006466 (2005) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Termination of rewriting strategies: a generic approach
007505 (2003) Isabelle Gnaedig ; Hélène KirchnerInnermost sufficient completeness
007559 (2003) Olivier Fissore ; Isabelle Gnaedig ; Helene KirchnerCARIBOO : A Multi-Strategy Termination Proof Tool Based on Induction
007C55 (2003) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Innermost sufficient completeness
007F74 (2002-09) Hubert Dubois [France] ; Hélène Kirchner [France]An algebraic semantics for objects in a rule-based language
008044 (2002-06) Hubert Dubois [France] ; Hélène Kirchner [France]Object Programming in a Rule-Based Language with Strategies
008450 (2002) Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne MoreauELAN from a rewriting logic point of view
008503 (2002) Hubert Dubois ; Hélène KirchnerObject Programming in a Rule-Based Language with Strategies
008549 (2002) Hubert Dubois ; Hélène KirchnerAn algebraic semantics for objects in a rule-based language
008914 (2002) Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]ELAN from a rewriting logic point of view
008E10 (2001) Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France]Rewriting with strategies in ELAN: a functional semantics
008F85 (2001) Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Christophe RingeissenRewriting with strategies in ELAN : a functional semantics
009838 (2000) Hubert Dubois ; Hélène KirchnerObjects, rules and strategies in ELAN
009898 (2000) Hubert Dubois ; Hélène KirchnerRules, strategies and objects in ELAN
009A81 (2000) Hélène Kirchner ; Isabelle GnaedigTermination and normalisation under strategies--Proofs in ELAN
009B70 (2000) Hubert Dubois ; Hélène KirchnerRule Based Programming with Constraints and Strategies
009D07 (2000) Hélène Kirchner [France] ; Isabelle Gnaedig [France]Termination and normalisation under strategy Proofs in ELAN
00A133 (2000) Hélène Kirchner [France] ; Isabelle Gnaedig [France]Termination and normalisation under strategies--Proofs in ELAN
00A148 (2000) Hubert Dubois [France] ; Hélène Kirchner [France]Rules, strategies and objects in ELAN
00A179 (2000) Hubert Dubois [France] ; Hélène Kirchner [France]Objects, rules and strategies in ELAN
00A467 (1999) Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France]Rewriting with strategies in ELAN: a functional semantics
00A635 (1999) Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Christophe RingeissenRewriting with strategies in ELAN : a functional semantics
00A663 (1999) Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne MoreauELAN from the rewriting logic point of view
00A714 (1999) Isabelle Gnaedig ; Hélène Kirchner ; Thomas GenetInduction for Termination
00A722 (1999) Hubert Dubois ; Hélène KirchnerModelling Planning Problems with Rules and Strategies
00A727 (1999) Hubert Dubois ; Hélène KirchnerRule Based Programming with Constraints and Strategies
00AC36 (1999) Hubert Dubois [France] ; Hélène Kirchner [France]Rule Based Programming with Constraints and Strategies
00AC37 (1999) Hubert Dubois [France] ; Hélène Kirchner [France]Rule Based Programming with Constraints & Strategies
00AC75 (1999) Hubert Dubois [France] ; Hélène Kirchner [France]Modelling Planning Problems with Rules & Strategies
00AC92 (1999) Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Thomas GenetInduction for Termination
00AD21 (1999) Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]ELAN from the rewriting logic point of view
00AF40 (1998) Peter Borovansky ; Claude Kirchner ; Hélène KirchnerRewriting as a Unified Specification Tool for Logic and Control : The ELAN Language
00AF54 (1998) Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau ; Christophe RingeissenAn Overview of ELAN
00B052 (1998) Peter Borovansky ; Claude Kirchner ; Hélène KirchnerA functional view of rewriting and strategies for a semantics of ELAN
00B143 (1998) Hubert Dubois ; Hélène KirchnerActions and Plans in ELAN
00B587 (1998) Peter Borovansky [France] ; Claude Kirchner ; Hélène KirchnerRewriting as a Unified Specification Tool for Logic and Control: The ELAN Language
00B695 (1998) Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France]An Overview of ELAN
00B701 (1998) Hubert Dubois [France] ; Hélène Kirchner [France]Actions & Plans in ELAN
00B708 (1998) Peter Borovansky [France] ; Claude Kirchner ; Hélène KirchnerA functional view of rewriting and strategies for a semantics of ELAN
00B978 (1997) Peter Borovansky ; Hélène KirchnerStrategies of ELAN : meta-interpretation and partial evaluation
00BA78 (1997) Peter Borovansky ; Claude Kirchner ; Hélène KirchnerStrategies and rewriting in ELAN
00E358 (1988) Isabelle Gnaedig [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]Equational completion in order-sorted algebras extended abstract
001268 (2013-03-25) Antoine Rousseau [France] ; Aurélie Darnaud [France] ; Brice Goglin [France] ; Céline Acharian [France] ; Christine Leininger [France] ; Christophe Godin [France] ; Clarisse Holik [France] ; Claude Kirchner [France] ; Diane Rives ; Elodie Darquie ; Erwan Kerrien [France] ; Fabrice Neyret [France] ; Florent Masseglia [France] ; Florian Dufour [France] ; Gérard Berry [France] ; Gilles Dowek [France] ; Hélène Robak [France] ; Hélène Xypas ; Irina Illina [France] ; Isabelle Gnaedig [France] ; Joanna Jongwane [France] ; Jocelyne Ehrel ; Laurent Viennot [France] ; Laure Guion ; Lisette Calderan [France] ; Lola Kovacic ; Marie Collin ; Marie-Agnès Enard ; Marie-Hélène Comte [France] ; Martin Quinson [France] ; Martine Olivi [France] ; Mathieu Giraud [France] ; Mathilde Dorémus ; Mia Ogouchi [France] ; Muriel Droin ; Nathalie Lacaux ; Nicolas Rougier [France] ; Nicolas Roussel [France] ; Pascal Guitton [France] ; Pierre Peterlongo [France] ; Rose-Marie Cornus ; Simon Vandermeersch ; Sophie Maheo ; Sylvain Lefebvre [France] ; Sylvie Boldo [France] ; Thierry Viéville [France] ; Véronique Poirel [France] ; Aline Chabreuil ; Arnaud Fischer ; Claude Farge ; Claude Vadel ; Isabelle Astic ; Jean-Pierre Dumont ; Loic Féjoz [France] ; Patrick Rambert ; Pierre Paradinas ; Sophie De Quatrebarbes ; Stéphane Laurent [Belgique]Médiation Scientifique : une facette de nos métiers de la recherche
001271 (2013-03-21) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Analysis of Malicious Code by Weighted Behavior Abstraction
001531 (2013) Claude Kirchner [France] ; Hélène Kirchner [France] ; Fabrice Nahon [France]Narrowing Based Inductive Proof Search
001955 (2012-09-10) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Abstraction-based Malware Analysis Using Rewriting and Model Checking
001E34 (2012) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]Formal Specification and Validation of Security Policies
002351 (2011-05-19) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version
002894 (2010-12-17) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Abstraction by Term Rewriting for Malware Behavior Analysis - Extended Version
002979 (2010-11-01) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Abstraction in Malware Analysis
002A12 (2010-10-19) Isabelle Gnaedig [France] ; Matthieu Kaczmarek [France] ; Daniel Reynaud [France] ; Stéphane Wloka [France]Unconditional self-modifying code elimination with dynamic compiler optimizations
002B39 (2010-08-12) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Abstraction in Malware Analysis - Extended Version
002C33 (2010-06-18) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]Rule-based Specification and Analysis of Security Policies
002D93 (2010-03-18) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]On Formal Specification and Analysis of Security Policies
002E32 (2010-02) Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France]Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
002E93 (2010) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Daniel Dougherty [États-Unis] ; Hélène Kirchner [France]Extensional and Intensional Strategies
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022