0889-7204 < 0890-5401 < 0890-6327

Facettes : Author.f AffPays.f

List of bibliographic references

Number of relevant bibliographic references: 55.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000D72 (2014)	Myrto Arapinis [Royaume-Uni] ; Marie Duflot [France]	Bounding messages for free in security protocols – extension to various security properties
000E66 (2014)	Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]	Modeling and Verifying Ad Hoc Routing Protocols
000F01 (2014)	Véronique Cortier [France] ; Graham Steel [France]	A Generic Security API for Symmetric Key Management on Cryptographic Devices
001363 (2013)	Emmanuel Jeandel [France] ; Guillaume Theyssier [France]	Subshifts as models for MSO logic
001D21 (2012)	Laurent Bienvenu [France] ; Adam Day [États-Unis] ; Mathieu Hoyrup [France] ; Ilya Mezhirov [Allemagne] ; Alexander Shen [France]	A constructive version of Birkhoff's ergodic theorem for Martin-Lof random points
001F37 (2012)	Sylvain Chevillard [France]	The functions erf and erfc computed with arbitrary precision and explicit error bounds
002539 (2011)	Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Viêt Nam]	Automatic Decidability and Combinability
002545 (2011)	Didier Galmiche [France] ; Yakoub Salhi [France]	Sequent Calculi and Decidability for Intuitionistic Hybrid Logic
002846 (2011)	Didier Galmiche [France] ; Yakoub Salhi [France]	Sequent calculi and decidability for intuitionistic hybrid logic
002862 (2011)	Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie]	Automatic decidability and combinability
002E99 (2010-02)	Guillaume Burel [France] ; Claude Kirchner [France]	Regaining Cut Admissibility in Deduction Modulo using Abstract Completion
002F58 (2010)	Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada]	Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
003233 (2010)	Guillaume Burel [France] ; Claude Kirchner [France]	Regaining cut admissibility in deduction modulo using abstract completion
003858 (2009)	Mathieu Baudet ; Véronique Cortier [France] ; Steve Kremer [France]	Computationally Sound Implementations of Equational Theories against Passive Adversaries
003C85 (2009)	Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]	Computationally sound implementations of equational theories against passive adversaries
004293 (2008)	Yannick Chevalier [France] ; Michael Rusinowitch [France]	Hierarchical combination of intruder theories
004575 (2008)	Yannick Chevalier [France] ; Michael Rusinowitch [France]	Hierarchical combination of intruder theories
005736 (2006)		Combining logical systems
005774 (2006)	Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne]	Modular proof systems for partial functions with Evans equality
005781 (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
005793 (2006)	Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]	Efficient theory combination via boolean search

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/ISSN.i -k "0890-5401" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/ISSN.i  \
                -Sk "0890-5401" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    ISSN.i
   |clé=    0890-5401
}}

---

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