Pays
Checkpoint
Hal
Racine
Checkpoint
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Hal)

Index « Pays » - entrée « Australie »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Argentine < Australie < Autriche  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 53.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000383 (2015-08-10) Ngoc Chan Nguyen [France] ; Nattawat Nonsung [Australie] ; Walid Gaaloul [France]Service Querying to Support Process Variant Development
000404 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
000670 (2015) Shi Bai [Nouvelle-Zélande] ; Richard Brent [Australie] ; Emmanuel Thomé [France]Root optimization of polynomials in the number field sieve
000A03 (2014-07) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Finite Quantification in Hierarchic Theorem Proving
000A76 (2014-06) Francois Petitjean [Australie] ; Jonathan Weber [France]Efficient Satellite Image Time Series Analysis Under Time Warping
000B28 (2014-05-01) Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne]Universal Point Sets for Planar Graph Drawing with Circular Arcs
000C19 (2014-02-15) Michael Macfadden [États-Unis] ; Agustina Agustina [Singapour] ; Ning Gu [République populaire de Chine] ; Claudia-Lavinia Ignat [France] ; Haifeng Shen [Australie] ; David Sun [États-Unis] ; Chengzheng Sun [Singapour]The Fourteenth International Workshop on Collaborative Editing Systems
000C82 (2014) Thomas Gotnes [France] ; Hans Van Ditmarsch [France] ; Tim French [Australie]The undecidability of group announcements
000C96 (2014) Hans Van Ditmarsch [France] ; Tim French [Australie]Semantics for Knowledge and Change of Awareness
000D96 (2013-12-11) Peter Baumgartner [Australie] ; Uwe Waldmann [Allemagne]Hierarchic Superposition: Completeness without Compactness
000F82 (2013-08-08) Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne]Universal Point Sets for Planar Graph Drawings with Circular Arcs
000F96 (2013-08-03) Samuel Nicol [Australie] ; Olivier Buffet [France] ; Takuya Iwamura [États-Unis] ; Iadine Chadès [Australie]Adaptive Management of Migratory Birds Under Sea Level Rise
001092 (2013-06-09) Peter Baumgartner [Australie] ; Uwe Waldmann [France]Hierarchic Superposition With Weak Abstraction
001222 (2013-02-23) Agustina Agustina [Singapour] ; Ning Gu [République populaire de Chine] ; Claudia-Lavinia Ignat [France] ; Michael Macfadden [États-Unis] ; Haifeng Shen [Australie] ; David Sun [États-Unis] ; Chengzheng Sun [Singapour]The Thirteenth International Workshop on Collaborative Editing Systems
001310 (2013) Tim French [Australie] ; Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France] ; Barteld P. Kooi [Pays-Bas]On the succinctness of some modal logics
001325 (2013) Hans Van Ditmarsch [France] ; Tim French [Australie] ; Fernando R. Velázquez-Quesada [Espagne] ; Yi N. Wáng [République populaire de Chine]Knowledge, awareness, and bisimulation
001337 (2013) Jaber Al Yamani [Australie] ; Farid Boussaid [Australie] ; Amine Bermak ; Dominique Martinez [France]Experimental evaluation of latency coding for gas recognition
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)
001630 (2012-07-22) Iadine Chadès [Australie] ; Josie Carwardine [Australie] ; Tara Martin [Australie] ; Samuel Nicol [États-Unis] ; Régis Sabbadin [France] ; Olivier Buffet [France]MOMDPs: a Solution for Modelling Adaptive Management Problems
001662 (2012-07) Joerg Hoffmann [France] ; Ingo Weber [Australie] ; Frank Kraft [Allemagne]SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management
001681 (2012-06-25) Emil Keyder [France] ; Joerg Hoffmann [France] ; Patrik Haslum [Australie]Semi-Relaxed Plan Heuristics

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 "Australie" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/AffPays.i  \
                -Sk "Australie" \
         | 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é=    Australie
}}
Wicri

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