Pays
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Pays » - entrée « Autriche »
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.
Australie < Autriche < Belgique  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 51.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000083 (2013) Stefan Hetzl [Autriche] ; Tomer Libal [France] ; Martin Riener [Autriche] ; Mikheil Rukhaia [France]Understanding Resolution Proofs through Herbrand’s Theorem
000097 (2013) Cynthia Kop [Autriche] ; Naoki Nishida [Japon]Term Rewriting with Logical Constraints
000109 (2013) Christian Inzinger [Autriche] ; Benjamin Satzger [Autriche] ; Waldemar Hummer [Autriche] ; Schahram Dustdar [Autriche]Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures
000132 (2013) Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche]Realizing Elastic Processes with ViePEP
000171 (2013) Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France]Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years
000192 (2013) Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche]Introducing the Vienna Platform for Elastic Processes
000200 (2013) Agata Ciabattoni [Autriche] ; Paolo Maffezioli [Pays-Bas] ; Lara Spendier [Autriche]Hypersequent and Labelled Calculi for Intermediate Logics
000243 (2013) Joseph Boudou [France, Niger] ; Bruno Woltzenlogel Paleo [Autriche]Compression of Propositional Resolution Proofs by Lowering Subproofs
000405 (2012) Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon]Multi-Completion with Termination Tools
000509 (2011) Manfred Kerber [Royaume-Uni] ; Colin Rowat [Royaume-Uni] ; Wolfgang Windsteiger [Autriche]Using Theorema in the Formalization of Theoretical Economics
000676 (2011) Sarah Winkler [Autriche] ; Aart Middeldorp [Autriche]AC Completion with Termination Tools
000792 (2010) Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche]SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs
000809 (2010) Martin Avanzini [Autriche]POP* and Semantic Labeling Using SAT
000872 (2010) Guillaume Bonfante [France] ; Georg Moser [Autriche]Characterising Space Complexity Classes via Knuth-Bendix Orders
000874 (2010) Andreas Schnabl [Autriche]Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems
000880 (2010) Bruno Woltzenlogel Paleo [Autriche, France]Atomic Cut Introduction by Resolution: Proof Structuring and Compression
000A89 (2009) Cas J. F. Cremers [Suisse] ; Pascal Lafourcade [France] ; Philippe Nadeau [Autriche]Comparing State Spaces in Automatic Security Protocol Analysis
000A94 (2009) Ivan Švancara [République tchèque] ; Karel Vyt As [République tchèque] ; Kurt Kalcher [Autriche] ; Alain Walcarius [France] ; Joseph Wang [États-Unis]Carbon Paste Electrodes in Facts, Numbers, and Notes: A Review on the Occasion of the 50‐Years Jubilee of Carbon Paste in Electrochemistry and Electroanalysis
000B41 (2009) Hajo A. Reijers [Pays-Bas] ; Minseok Song [Pays-Bas] ; Heidi Romero [Pays-Bas] ; Umeshwar Dayal [États-Unis] ; Johann Eder [Autriche] ; Jana Koehler [Suisse]A Collaboration and Productiveness Analysis of the BPM Community
000E26 (2008) P. Wild [France] ; K. Leodolter [Autriche] ; M. Réfrégier [France] ; H. Schmidt [Autriche] ; E. Bourgkard [France]Effects of talc dust on respiratory health: results of a longitudinal survey of 378 French and Austrian talc workers
000E37 (2008) Nao Hirokawa [Japon] ; Georg Moser [Autriche]Complexity, Graphs, and the Dependency Pair Method

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffPays.i -k "Autriche" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffPays.i  \
                -Sk "Autriche" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Autriche
}}
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