Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
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 Guy-Marie Come - Valérie Conraud

Terms

2Guy-Marie Come
2Valérie Conraud
3Liliana Ibanescu
10Hélène Kirchner
2Isabelle Gnaedig
4Emmanuel Hainry
16Olivier Bournez
2Florent Garnier

Associations

Freq.WeightAssociation
21.000Guy-Marie Come - Valérie Conraud
20.816Liliana Ibanescu - Valérie Conraud
20.816Guy-Marie Come - Liliana Ibanescu
30.548Hélène Kirchner - Liliana Ibanescu
20.447Hélène Kirchner - Valérie Conraud
20.447Hélène Kirchner - Isabelle Gnaedig
20.447Guy-Marie Come - Hélène Kirchner
40.500Emmanuel Hainry - Olivier Bournez
20.354Olivier Bournez - Valérie Conraud
20.354Guy-Marie Come - Olivier Bournez
20.354Florent Garnier - Olivier Bournez
20.289Liliana Ibanescu - Olivier Bournez
20.158Hélène Kirchner - Olivier Bournez
Documents par ordre de pertinence
000721 (2003) Olivier Bournez [France] ; Guy-Marie Come [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ibanescu [France]Automated generation of kinetic chemical mechanisms using rewriting
000731 (2003) Olivier Bournez [France] ; Guy-Marie Come [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ibanescu [France]A rule-based approach for automated generation of kinetic chemical mechanisms
000125 (2011) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak properties of rewriting
000341 (2006) Olivier Bournez [France] ; Manuel L. Campagnolo [Portugal] ; Daniel S. Graqa [Portugal] ; Emmanuel Hainry [France]The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation
000356 (2006) Olivier Bournez [France] ; Florent Garnier [France]Proving positive almost sure termination under strategies
000367 (2006) Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France]Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
000460 (2005) Olivier Bournez [France] ; Emmanuel Hainry [France]Real recursive functions and real extensions of recursive functions
000463 (2005) Olivier Bournez [France] ; Florent Garnier [France]Proving positive almost-sure termination
000499 (2005) Olivier Bournez [France] ; Emmanuel Hainry [France]Elementarily computable functions over the real numbers and R-sub-recursive functions
000527 (2005) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]A proof of weak termination providing the right way to terminate
000630 (2004) Olivier Bournez [France] ; Emmanuel Hainry [France]An analog characterization of elementarily computable functions over the real numbers
000234 (2009) Olivier Bournez [France] ; Philippe Chassaing [France] ; Johanne Cohen [France] ; Lucas Gerin [France] ; Xavier Koegler [France]On the convergence of population protocols when population goes to infinity
000248 (2009) Dominique Barth [France] ; Johanne Cohen [France] ; Olivier Bournez [France] ; Octave Boussaton [France]DISTRIBUTED LEARNING OF EQUILIBRIA IN A ROUTING GAME
000376 (2006) Olivier Bournez [France] ; Felipe Cucker [Hong Kong] ; Paulin Jacobe De Naurois [France] ; Jean-Yves Marion [France]Implicit complexity over an arbitrary structure : Quantifier alternations
000377 (2006) Olivier Bournez [France]How much can analog and hybrid systems be proved (super-)Turing
000472 (2005) Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; DUC KHANH TRAN [France]On superposition-based satisfiability procedures and their combination
000572 (2004) Claude Kirchner [France] ; Hélène Kirchner [France]Rule-based programming and proving: The ELAN experience outcomes
000677 (2003) Olivier Bournez [France] ; Mathieu Hoyrup [France]Rewriting Logic and probabilities
000681 (2003) Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang Huy Nguyen [France]Proof search and proof check for equational and inductive theorems
000779 (2002) Olivier Bournez [France] ; Claude Kirchner [France]Probabilistic rewrite strategies. Applications to ELAN
000809 (2002) Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]ELAN from a rewriting logic point of view
000826 (2002) Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne]CASL: the Common Algebraic Specification Language
000908 (2001) Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; Christos H. Papadimitriou [États-Unis] ; John N. Tsitsiklis [États-Unis]Deciding stability and mortality of piecewise affine dynamical systems
000A07 (2000) Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël]Effective synthesis of switching controllers for linear systems
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