AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AbsEn.i » - entrée « proving »
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.
provincial < proving < provingtec  Facettes :

List of bibliographic references indexed by proving

Number of relevant bibliographic references: 498.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000073 (2016-02) Özgür Dagdelen [Allemagne] ; David Galindo [France] ; Pascal Véron [France] ; Sidi Mohamed El Yousfi Alaoui [Allemagne] ; Pierre-Louis Cayrel [Allemagne]Extended security arguments for signature schemes
000271 (2015-10-20) Manamiary Bruno Andriamiarina [France]Developing correct-by-construction distributed algorithms
000517 (2015-06) Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000534 (2015-05-18) Stefano Facchini [France] ; Simon Perdrix [France]Quantum Circuits for the Unitary Permutation Problem
000558 (2015-05) David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; David Galindo [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni]A comprehensive analysis of game-based ballot privacy definitions
000581 (2015-04-15) Jean-René Courtault [France]Dynamic Resource Logics : Models, Properties and Proofs
000627 (2015-02-24) Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000642 (2015-01-29) Guillaume Scerri [France]Proofs of security protocols revisited
000735 (2015) Jean-René Courtault [France] ; Didier Galmiche [France]A Modal Separation Logic for Resource Dynamics
000738 (2015) Skerdi Haviari [France] ; Thomas Bénet [France] ; Mitra Saadatian-Elahi [France] ; Philippe André [France] ; Pierre Loulergue [France] ; Philippe Vanhems [France]Vaccination of healthcare workers: A review.
000A66 (2014-07) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Finite Quantification in Hierarchic Theorem Proving
000D04 (2014-01-09) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Proving the Fidelity of Simulations of Event-B Models
001094 (2013-07-19) Elena Tushkanova [France]Schematic calculi for the analysis of decision procedures
001100 (2013-07-15) Laurent Alonso [France] ; Edward M. Reingold [États-Unis]Analysis of Boyer and Moore's MJRTY algorithm
001150 (2013-06-24) Małgorzata Biernacka ; Dariusz Biernacki ; Sergueï Lenglet [France] ; Marek MaterzokProving termination of evaluation for System F with control operators
001170 (2013-06-10) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Formal Modelling and Verification of Population Protocols
001454 (2013) Steve Kremer [France] ; Robert Künnemann [France] ; Graham Steel [France]Universally Composable Key-Management
001474 (2013) Andreas Bauer [Australie] ; Peter Baumgartner [Australie] ; Martin Diller [Australie] ; Michael Norrish [Australie]Tableaux for Verification of Data-Centric Processes
001508 (2013) Stéphane Graham-Lengrand [France]Psyche : A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture
001582 (2013) Dominique Méry [France] ; Michael Poppleton [Royaume-Uni]Formal Modelling and Verification of Population Protocols
001B76 (2012-04-10) Steve Kremer [France] ; Robert Kunnemann [France] ; Graham Steel [France]Universally Composable Key-Management

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i -k "proving" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "proving" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    proving
}}
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