Australie < Autriche < Belgique

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f Teeft.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000E37 (2008)	Nao Hirokawa [Japon] ; Georg Moser [Autriche]	Complexity, Graphs, and the Dependency Pair Method
000F53 (2007)	Nachum Dershowitz [Israël] ; Georg Moser [Autriche]	The Hydra Battle Revisited
000F57 (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
000F69 (2007)	Jorge Coelho [Portugal] ; Mário Florido [Portugal] ; Temur Kutsia [Autriche]	Sequence Disunification and Its Application in Collaborative Schema Construction
001003 (2007)	Claudia Stöllberger [Autriche] ; Josef Finsterer [Autriche]	Noncompaction in Melnick Fraser Syndrome
001209 (2006)	Johann Eder [Autriche] ; Wolfgang Gruber ; Horst Pichler	Transforming Workflow Graphs
001213 (2006)	Gerhard Kramler [Autriche] ; Elisabeth Kapsammer [Autriche] ; Werner Retschitzegger [Autriche] ; Gerti Kappel [Autriche]	Towards Using UML 2 for Modelling Web Service Collaboration Protocols
001313 (2006)	Harald Kühn [Autriche] ; Marion Murzek [Autriche]	Interoperability Issues in Metamodelling Platforms
001314 (2006)	Nikolay Mehandjiev [Royaume-Uni] ; Iain Duncan Stalker [Royaume-Uni] ; Kurt Fessl [Autriche] ; Georg Weichhart [Autriche]	Interoperability Contributions of CrossWork
001731 (2004)	Stephan Schulz [Autriche, Allemagne]	System Description: E 0.81
001742 (2004)	Georg Gottlob [Autriche]	Second-Order Logic over Finite Structures – Report on a Research Programme
001816 (2004)	Ángel J. Gil [Espagne, États-Unis] ; Miki Hermann [France] ; Gernot Salzer [Autriche] ; Bruno Zanuttini [France]	Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains
001950 (2003)	Karim Baïna [France] ; Schahram Dustdar [Autriche]	Web-Services Coordination Model
001A16 (2003)	Birgit Stehno [Autriche] ; Gregor Retti [Autriche]	Modelling the logical structure of books and journals using augmented transition network grammars
001A48 (2003)	Andreas Holzinger [Autriche]	Finger Instead of Mouse: Touch Screens as a Means of Enhancing Universal Access
001A65 (2003)	Chris Stary [Autriche]	Designing User Interfaces for a Variety of Users: Possible Contributions from Model-Based Development Schemes
001A86 (2003)	Maria A. Wimmer [Autriche] ; Ute Holler [Autriche]	Applying a Holistic Approach to Develop User-Friendly, Customer-Oriented E-government Portal Interfaces
001D26 (2001)	Bernhard Gramlich [Autriche]	On interreduction of semi-complete term rewriting systems
001D95 (2001)	Georg Gottlob [Autriche] ; Reinhard Pichler [Autriche]	Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models
002157 (2000)	Bernhard Gramlich [Autriche] ; Hélène Kirchner [France] ; Frank Pfenning [États-Unis]	Editorial: Strategies in Automated Deduction
002387 (1999)	Martin Be Ka [Slovaquie] ; Sophie Robert [France] ; Marian Vajteršic [Autriche, Slovaquie]	Experiments with Parallel One - Sided and Two - Sided Algorithms for SVD

---

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
}}

---

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