Australie < Autriche < Belgique

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by Autriche

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

---

List of associated Author.i

Nombre de documents	Descripteur
5	Schahram Dustdar
3	Atif Mashkoor
3	Bruno Woltzenlogel Paleo
3	Georg Moser
3	Gernot Salzer
3	Jean-Pierre Jacquot
3	Johann Eder
2	Aart Middeldorp
2	Bernhard Gramlich
2	Georg Gottlob
2	Jan Mendling
2	Miki Hermann
2	Philipp Hoenisch
2	Sarah Winkler
2	Srikumar Venugopal
2	Stefan Schulte
2	Tomer Libal
1	A. Despres
1	A. Kandelbauer
1	A. Pizzi
1	Agata Ciabattoni
1	Aggelos Gkiokas
1	Alain Walcarius
1	Alexander Leitsch
1	Amar-Djalil Mezaour
1	Andreas Holzinger
1	Andreas Schnabl
1	Andrey Rybalchenko
1	André Kahles
1	Antoine Liutkus
1	Antoine Manzanera
1	Arthur Flexer
1	Aymen Baouab
1	Benjamin Satzger
1	Bernadette Charron-Bost
1	Birgit Stehno
1	Bjarni Vilhjálmsson
1	Bruno Zanuttini
1	Carlos Rodriguez-Galindo
1	Cas J. F. Cremers
1	Chris Stary
1	Christian Inzinger
1	Christian Timmerer
1	Claude Godart
1	Claudia Stöllberger
1	Colin Rowat
1	Cynthia Kop
1	Dalibor Jakuš
1	Daniel Weller
1	David Martina
1	Dazhe Meng
1	Dieter Fensel
1	Domenico Sacca
1	Dominik Schnitzer
1	Dragan Micic
1	E. Bourgkard
1	E. Schroll
1	Ebroul Izquierdo
1	Edward J. Osborne
1	Ekke Liehl
1	Elisabeth Kapsammer
1	Emmanuel Vincent
1	Erika Stepán
1	Eva Sch Fer
1	Faqing Yang
1	Fdhila Walid
1	Federico Alvarez
1	Francesco Paolo Casale
1	Francois Charoy
1	Frank Pfenning
1	Geoffroy Lerosey
1	Georg Weichhart
1	George Pavlou
1	Gerhard Kramler
1	Gerti Kappel
1	Gilles Chardon
1	Giovanni Pau
1	Gonzalo Camarillo
1	Gregor Grambow
1	Gregor Retti
1	Gritta Janka
1	Guillaume Bonfante
1	Guillaume Melquiond
1	Gunnar R Tsch
1	Géraldine Jean
1	H. Hong
1	H. J. Stetter
1	H. Schmidt
1	H. Will
1	Hajo A. Reijers
1	Hajo Reijers
1	Harald Kühn
1	Haruhiko Sato
1	Heidi Romero
1	Henrik Leopold
1	Hervé Panetto
1	Hoon Hong
1	Horst Pichler
1	Hélène Kirchner
1	I. Taudes

---

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/AffPays.i -k "Autriche" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffPays.i  \
                -Sk "Autriche" \
         | 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=    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