1570-8705 < 1571-0661 < 1574-020X

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 22.
[0-20] [0 - 20][0 - 22][20-21][20-40]

Ident.	Authors (with country if any)	Title
000A45 (2014-06-12)	Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France]	Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus
002857 (2010)	Fahima Cheikh [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France]	Composition of Services with Constraints
002858 (2010)	Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France]	Component Simulation-based Substitutivity Managing QoS and Composition Issues
002A09 (2009-10)	Frédéric Dadeau [France] ; Régis Tissot [France]	jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
002A13 (2009-10)	Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Jocelyn Levrey [France]	On the Use of Uniform Random Generation of Automata for Testing
002D32 (2009-03-28)	Claude Kirchner [France] ; Helene Kirchner [France] ; Anderson Santana De Oliveira	Analysis of Rewrite-Based Access Control Policies
002E59 (2009)	Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France]	Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
002F83 (2009)	Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France]	Combining Decision Procedures by (Model-)Equality Propagation
003529 (2008)	Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France]	Timed Specification For Web Services Compatibility Analysis
003544 (2008)	Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie]	Soft Linear Logic and Polynomial Complexity Classes
003565 (2008)	Dominique Cansell [France] ; Paul Gibson [Irlande (pays)] ; Dominique Méry [France]	Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
003D45 (2007)	Dominique Cansell [France] ; Dominique Méry [France]	Incremental Parametric Development of Greedy Algorithms
004293 (2006)	Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]	Proving Component Interoperability with B Refinement
004868 (2005)	Didier Galmiche [France] ; Daniel Mery [France]	Resource Graphs and Countermodels in Resource Logics
004938 (2005)	Dominique Larchey-Wendling [France]	Gödel-Dummett counter-models through matrix computation
005388 (2003)	Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]	Outermost ground termination
005540 (2003)	Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France] ; Anderson Santana [Brésil]	A Tool Support for Reusing ELAN Rule-Based Components
005D62 (2001)	Didier Galmiche [France] ; Jean-Marie Notin [France]	Proof-search and Proof nets in Mixed Linear Logic
005E09 (2001)	Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]	Induction for termination with local strategies
006174 (2000)	Didier Galmiche [France] ; Dominique Larchey-Wendling [France]	Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic
006922 (1998)	Didier Galmiche [France] ; Dominique Larchey-Wendling	Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets - extended abstract -

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/ISSN.i -k "1571-0661" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/ISSN.i  \
                -Sk "1571-0661" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Checkpoint
   |type=    indexItem
   |index=    ISSN.i
   |clé=    1571-0661
}}

---

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