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 J. Meseguer - J.-P. Jouannaud

Terms

2J. Meseguer
3J.-P. Jouannaud
6A. Bouhoula
3N. Berregeb
10M. Rusinowitch
2P. Narendran
11G. Kucherov
4R. Kolpakov

Associations

Freq.WeightAssociation
20.816J. Meseguer - J.-P. Jouannaud
30.707A. Bouhoula - N. Berregeb
20.577A. Bouhoula - J. Meseguer
20.471A. Bouhoula - J.-P. Jouannaud
20.447M. Rusinowitch - P. Narendran
20.365M. Rusinowitch - N. Berregeb
40.603G. Kucherov - R. Kolpakov
30.286G. Kucherov - M. Rusinowitch
20.258A. Bouhoula - M. Rusinowitch
Documents par ordre de pertinence
000969 (2000) A. Bouhoula [États-Unis, France] ; J.-P. Jouannaud [France] ; J. Meseguer [États-Unis]Specification and proof in membership equational logic
000B41 (1998) N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France]Observational proofs with critical contexts
000C08 (1997) A. Bouhoula [États-Unis, France] ; J.-P. Jouannaud [États-Unis, France] ; J. Meseguer [États-Unis]Specification and proof in membership equational logic
000C78 (1996) N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France]SPIKE-AC : A system for proofs by induction in associative-commutative theories
000961 (2000) P. Narendran [États-Unis] ; M. Rusinowitch [France]The theory of total unary RPO is decidable
000980 (2000) G. Kucherov [France] ; M. Rusinowitch [France]Patterns in words versus patterns in trees : A brief survey and new results
000A68 (1999) P. Narendran [États-Unis] ; M. Rusinowitch [France] ; R. Verma [États-Unis]RPO constraint solving is in NP
000A74 (1999) R. Kolpakov [Russie] ; G. Kucherov [France] ; Y. Tarannikov [Russie]On repetition-free binary words of minimal density
000A75 (1999) R. Kolpakov [Russie] ; G. Kucherov [France]On maximal repetitions in words
000B40 (1998) R. Kolpakov [France] ; G. Kucherov [France] ; Yu. Tarannikov [Russie]On repetition-free binary words of minimal density
000C22 (1997) R. Kolpakov [Russie] ; G. Kucherov [France]Minimal letter frequency in n-th power-free binary words
000C23 (1997) G. Kucherov [France] ; M. Rusinowitch [France]Matching a set of strings with variable length don’t cares
000D04 (1996) N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowtich [France]Automated verification by induction with associative-commutative operators
000D20 (1995) G. Kucherov [France] ; M. RusinowitchUndecidability of ground reducibility for word rewriting systems with variables
000451 (2005) A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heam [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigano [Suisse] ; L. Vigneron [France]The AVISPA tool for the automated validation of internet security protocols and applications
000988 (2000) M. Rusinowitch [France] ; S. Stratulat [France] ; F. Klay [France]Mechanical verification of an ideal incremental ABR conformance algorithm
000A65 (1999) D. A. Plaisted [États-Unis] ; G. Kucherov [France]The complexity of some complementation problems
000B06 (1999) H. Comon [France] ; M. Dincbas [France] ; J.-P. Jouannaud [France] ; C. Kirchner [France]A methodological view of constraint solving
000B27 (1998) F. Bertault [France] ; G. Kucherov [France]Visualization of dynamic automata using Padnon
000C18 (1997) V. Grebinski [France] ; G. Kucherov [France]Optimal reconstruction of graphs under the additive model
000C71 (1996) G. Kucherov [France] ; Pierre Lescanne [France] ; P. Mosses [Danemark]Valentin Antimirov (1961-1995)
000C73 (1996) A. Bouhoula [France]Using induction and rewriting to verify and complete parameterized specifications
000D62 (1991) M. Rusinowitch [France]Theorem-proving with resolution and superposition
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