Australie < Autriche < Belgique

Facettes : AffPays.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
001E16 (2012)	Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon]	Multi-Completion with Termination Tools
002434 (2011-03-04)	Maria Alduan ; Federico Alvarez ; Jan Bouwen [Autriche] ; Gonzalo Camarillo ; Pablo Cesar [Pays-Bas] ; Pedros Daras ; Olivier Festor [France] ; Ebroul Izquierdo ; Nikos Laoutaris ; Amar-Djalil Mezaour [France] ; Paul Moore ; Giovanni Pau ; George Pavlou [Royaume-Uni] ; Tomas Piatrik ; Sergios Soursos ; Thomas Steiner ; Christian Timmerer [Autriche] ; Thanasis Tsiodras ; Theodore Zahariadis	Future Media Internet Architecture Reference Model (v1.0)
002538 (2011)	Michael Stollberg [Irlande (pays)] ; Joerg Hoffmann [France] ; Dieter Fensel [Autriche]	A caching technique for optimizing automated service discovery
002609 (2011)	Manfred Kerber [Royaume-Uni] ; Colin Rowat [Royaume-Uni] ; Wolfgang Windsteiger [Autriche]	Using Theorema in the Formalization of Theoretical Economics
002776 (2011)	Sarah Winkler [Autriche] ; Aart Middeldorp [Autriche]	AC Completion with Termination Tools
002B73 (2010-07-16)	Tsvetan Dunchev [Autriche] ; Alexander Leitsch [Autriche] ; Tomer Libal [Autriche] ; Daniel Weller [Autriche] ; Bruno Woltzenlogel Paleo [France]	System Description: The Proof Transformation System CERES
003030 (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
003047 (2010)	Martin Avanzini [Autriche]	POP* and Semantic Labeling Using SAT
003110 (2010)	Guillaume Bonfante [France] ; Georg Moser [Autriche]	Characterising Space Complexity Classes via Knuth-Bendix Orders
003112 (2010)	Andreas Schnabl [Autriche]	Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems
003118 (2010)	Bruno Woltzenlogel Paleo [Autriche, France]	Atomic Cut Introduction by Resolution: Proof Structuring and Compression
003982 (2009)	Cas J. F. Cremers [Suisse] ; Pascal Lafourcade [France] ; Philippe Nadeau [Autriche]	Comparing State Spaces in Automatic Security Protocol Analysis
003987 (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
003A33 (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
004398 (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
004409 (2008)	Nao Hirokawa [Japon] ; Georg Moser [Autriche]	Complexity, Graphs, and the Dependency Pair Method
004B68 (2007)	Nachum Dershowitz [Israël] ; Georg Moser [Autriche]	The Hydra Battle Revisited
004B72 (2007)	A. Kandelbauer [Autriche] ; A. Despres [France] ; A. Pizzi [France] ; I. Taudes [Autriche]	Testing by fourier transform infrared species variation during melamine–urea–formaldehyde resin preparation
004B84 (2007)	Jorge Coelho [Portugal] ; Mário Florido [Portugal] ; Temur Kutsia [Autriche]	Sequence Disunification and Its Application in Collaborative Schema Construction
004C18 (2007)	Claudia Stöllberger [Autriche] ; Josef Finsterer [Autriche]	Noncompaction in Melnick Fraser Syndrome
005356 (2006)	Johann Eder [Autriche] ; Wolfgang Gruber ; Horst Pichler	Transforming Workflow Graphs

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Curation/AffPays.i -k "Autriche" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Curation
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Autriche
}}

---

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