Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Titre (en) » - entrée « procedures »
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.
procedure < procedures < proceed  Facettes :

List of bibliographic references indexed by procedures

Number of relevant bibliographic references: 71.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000677 (2015) Didier Galmiche [France] ; Yakoub Salhi [France]Tree-sequent calculi and decision procedures for intuitionistic modal logics
000A31 (2014-07-19) Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Gentle Non-Disjoint Combination of Satisfiability Procedures
000C35 (2014-04) Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version)
001094 (2013-07-19) Elena Tushkanova [France]Schematic calculi for the analysis of decision procedures
001676 (2013) Tobias Nipkow [Allemagne] ; Maximilian Haslbeck [Allemagne]A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions
001C02 (2012-03-24) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A Rule-Based Framework for Building Superposition-Based Decision Procedures
002293 (2011-06-20) Rudolph Sock [France] ; Fabrice Hirsch [France] ; Yves Laprie [France] ; Pascal Perrier [France] ; Béatrice Vaxelaire [France] ; Gilbert Brock [France] ; Fayssal Bouarourou [France] ; Camille Fauth [France] ; Véronique Ferbach-Hecker [France] ; Liang Ma [France, République populaire de Chine] ; Julie Busset [France] ; Jean Sturm [France]An X-ray database, tools and procedures for the study of speech production
002422 (2011-03-14) Diego Caminha Barbosa De Oliveira [France]Fragments of arithmetic in a combination of decision procedures
002D53 (2010-04-14) Nicolas Padoy [France]Workflow and Activity Modeling for Monitoring Surgical Procedures
002F08 (2010) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
003169 (2010) Yannick Chevalier [France] ; Michael Rusinowitch [France]Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
003684 (2009-03) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
003759 (2009) Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie]New results on rewrite-based satisfiability procedures
003781 (2009) Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France]Combining Decision Procedures by (Model-)Equality Propagation
003900 (2009) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France]Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
003C96 (2009) Frédéric Beck [France] ; Isabelle Chrisment [France] ; Olivier Festor [France]Automatic IPv4 to IPv6 Transition D1.1 - Network Topologies and Transition Procedures
003E53 (2008-09-08) Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Pierre-Yves Strub [France]From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
003E80 (2008-08-26) Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France]Combining decision procedures by (model-)equality propagation
004526 (2008) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
004650 (2007-11-19) Tchimou N'Takpé [France] ; Frédéric Suter [France]Self-Constrained Resource Allocation Procedures for Parallel Task Graph Scheduling on Shared Computing Grids
004863 (2007-06-25) Elise Bassecoulard [France] ; Alain Lelu [France] ; Michel Zitt [France]A Modular Sequence of Retrieval Procedures to Delineate a Scientific Field: From Vocabulary to Citations and Back

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/Title.i -k "procedures" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "procedures" \
         | 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=    Title.i
   |clé=    procedures
}}
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