List of bibliographic references
Number of relevant bibliographic references: 16.
Ident. | Authors (with country if any) | Title |
---|
000102 (2016) |
Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France] | Validation of Formal Specifications through Transformation and Animation |
000115 (2016) |
Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France] | Refinement-based Validation of Event-B Specifications |
000640 (2015-01-08) |
Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France] | Observation-Level-Driven Formal Modeling |
000800 (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. |
000884 (2014-09-14) |
Emmanuel Vincent [France] ; Aggelos Gkiokas [Grèce] ; Dominik Schnitzer [Autriche] ; Arthur Flexer [Autriche] | An investigation of likelihood normalization for robust ASR |
000898 (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 |
000978 (2014-07-09) |
Antoine Liutkus [France] ; David Martina [France] ; Sébastien Popoff [France] ; Gilles Chardon [Autriche] ; Ori Katz [France] ; Geoffroy Lerosey [France] ; Sylvain Gigan [France] ; Laurent Daudet [France] ; Igor Carron [États-Unis] | Imaging With Nature: Compressive Imaging Using a Multiply Scattering Medium |
000A42 (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 |
001118 (2013-06) |
Bernadette Charron-Bost [France] ; Stephan Merz [France] ; Andrey Rybalchenko [Allemagne] ; Josef Widder [Autriche] | Formal Verification of Distributed Algorithms |
001314 (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... |
001408 (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 |
001458 (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) |
001F17 (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) |
002113 (2011) |
Michael Stollberg [Irlande (pays)] ; Joerg Hoffmann [France] ; Dieter Fensel [Autriche] | A caching technique for optimizing automated service discovery |
002430 (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 |
004404 (2006) |
Johann Eder [Autriche] ; Schahram Dustdar [Autriche] ; Tom Davenport ; Selma L. Mansar ; Hajo Reijers ; Michael Rosemann ; Ton Weijters [Pays-Bas] ; Malu Castellanos ; Domenico Sacca ; Nacer Boudjlida [France] ; Hervé Panetto [France] | BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Springer Verlag, Lecture Notes in Computer Science, September, LNCS 4103 |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/AffPays.i -k "Autriche"
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/AffPays.i \
-Sk "Autriche" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Hal
|é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 | ![](Common/icons/LogoDilib.gif) |