Australie < Autriche < Belgique

Facettes : AffPays.f

List of bibliographic references

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

---

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