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.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000098 (2016)	Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]	Validation of Formal Specifications through Transformation and Animation
000109 (2016)	Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]	Refinement-based Validation of Event-B Specifications
000658 (2015-01-08)	Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]	Observation-Level-Driven Formal Modeling
000866 (2014-11-30)	Manu J. Dubin ; Pei Zhang [République populaire de Chine] ; Dazhe Meng [République populaire de Chine] ; Marie-Stanislas Remigereau ; Edward J. Osborne ; Francesco Paolo Casale ; Philipp Drewe ; André Kahles ; Géraldine Jean [France] ; Bjarni Vilhjálmsson ; Joanna Jagoda ; Selen Irez ; Viktor Voronin [Autriche] ; Qiang Song [Canada] ; Quan Long [France] ; Gunnar R Tsch ; Oliver Stegle ; Richard M. Clark [États-Unis] ; Magnus Nordborg	DNA methylation in Arabidopsis has a genetic basis and shows evidence of local adaptation.
000949 (2014-09-14)	Emmanuel Vincent [France] ; Aggelos Gkiokas [Grèce] ; Dominik Schnitzer [Autriche] ; Arthur Flexer [Autriche]	An investigation of likelihood normalization for robust ASR
000962 (2014-09-06)	Thanh Phuong Nguyen [France] ; Antoine Manzanera [France] ; Walter G. Kropatsch [Autriche]	Impact of topology-related attributes from Local Binary Patterns on texture classification
000B03 (2014-06-16)	Ngoc Chan Nguyen [France] ; Karn Yongsiriwit [France] ; Walid Gaaloul [France] ; Jan Mendling [Autriche]	Mining Event Logs to Assist the Development of Executable Process Variants
000E03 (2014)	Antoine Liutkus [France] ; David Martina [France] ; Sébastien Popoff [France] ; Gilles Chardon [France, Autriche] ; Ori Katz [France] ; Geoffroy Lerosey [France] ; Sylvain Gigan [France] ; Laurent Daudet [France] ; Igor Carron	Imaging With Nature: Compressive Imaging Using a Multiply Scattering Medium
001201 (2013-06)	Bernadette Charron-Bost [France] ; Stephan Merz [France] ; Andrey Rybalchenko [Allemagne] ; Josef Widder [Autriche]	Formal Verification of Distributed Algorithms
001360 (2013)	Guillaume Melquiond [France] ; W. Georg Nowak [Autriche] ; Paul Zimmermann [France]	Numerical Approximation of the Masser-Gramain Constant to Four Decimal Digits: delta=1.819...
001457 (2013)	Stefan Hetzl [Autriche] ; Tomer Libal [France] ; Martin Riener [Autriche] ; Mikheil Rukhaia [France]	Understanding Resolution Proofs through Herbrand’s Theorem
001471 (2013)	Cynthia Kop [Autriche] ; Naoki Nishida [Japon]	Term Rewriting with Logical Constraints
001483 (2013)	Christian Inzinger [Autriche] ; Benjamin Satzger [Autriche] ; Waldemar Hummer [Autriche] ; Schahram Dustdar [Autriche]	Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures
001506 (2013)	Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche]	Realizing Elastic Processes with ViePEP
001545 (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
001566 (2013)	Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche]	Introducing the Vienna Platform for Elastic Processes
001574 (2013)	Agata Ciabattoni [Autriche] ; Paolo Maffezioli [Pays-Bas] ; Lara Spendier [Autriche]	Hypersequent and Labelled Calculi for Intermediate Logics
001617 (2013)	Joseph Boudou [France, Niger] ; Bruno Woltzenlogel Paleo [Autriche]	Compression of Propositional Resolution Proofs by Lowering Subproofs
001797 (2012-12-17)	Fdhila Walid [Autriche] ; Rinderle-Ma Stefanie [Autriche] ; Aymen Baouab [France] ; Olivier Perrin [France] ; Claude Godart [France]	On Evolving Partitioned Web Service Orchestrations
001845 (2012-11-21)	Sonja Kabicher-Fuchs [Autriche] ; Stefanie Rinderle-Ma [Autriche] ; Jan Recker [Australie] ; Marta Indulska [Australie] ; Francois Charoy [France] ; Rob Christiaanse [Pays-Bas] ; Reinhold Dunkl [Autriche] ; Gregor Grambow [Allemagne] ; Jens Kolb [Allemagne] ; Henrik Leopold [Allemagne] ; Jan Mendling [Autriche]	Human-Centric Process-Aware Information Systems (HC-PAIS)
001E16 (2012)	Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon]	Multi-Completion with Termination Tools

---

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