Pays
Merge
Accueil
Racine
Merge
Exploration
Accueil
Racine
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Merge (Accueil)

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: 134.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000407 (2015-08-10) Ngoc Chan Nguyen [France] ; Nattawat Nonsung [Australie] ; Walid Gaaloul [France]Service Querying to Support Process Variant Development
000424 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
000684 (2015) Shi Bai [Nouvelle-Zélande] ; Richard Brent [Australie] ; Emmanuel Thomé [France]Root optimization of polynomials in the number field sieve
000A68 (2014-07) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Finite Quantification in Hierarchic Theorem Proving
000B35 (2014-06) Francois Petitjean [Australie] ; Jonathan Weber [France]Efficient Satellite Image Time Series Analysis Under Time Warping
000B92 (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
000C83 (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
000D41 (2014) Hans Van Ditmarsch [France] ; Tim French [Australie]Semantics for Knowledge and Change of Awareness
000D86 (2014) Kattia Rojas Loría [Espagne] ; Teresa Gutiérrez Rosado [Espagne] ; Leonor María Cantera Espinosa [Espagne] ; Leda María Marenco Marrochi [Costa Rica] ; Anna Fernández Sánchez [Australie]Trends in public health policies addressing violence against women
000E49 (2014) Thomas Gotnes [France] ; Hans Van Ditmarsch [France] ; Tim French [Australie]The undecidability of group announcements
000F10 (2013-12-11) Peter Baumgartner [Australie] ; Uwe Waldmann [Allemagne]Hierarchic Superposition: Completeness without Compactness
001084 (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
001098 (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
001186 (2013-06-09) Peter Baumgartner [Australie] ; Uwe Waldmann [France]Hierarchic Superposition With Weak Abstraction
001311 (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
001371 (2013) Tim French [Australie] ; Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France] ; Barteld P. Kooi [Pays-Bas]On the succinctness of some modal logics
001471 (2013) Sanat Kumar Bista [Australie] ; Payam Aghaei Pour [Australie] ; Nathalie Colineau [Australie] ; Surya Nepal [Australie] ; Cecile Paris [Australie]TrustVis: A Trust Visualisation Service for Online Communities
001474 (2013) Nanjangud C. Narendra [Inde] ; Lam-Son Lê [Australie] ; Aditya Ghose [Australie] ; Gandhi Sivakumar [Australie]Towards an Architectural Framework for Service-Oriented Enterprises
001486 (2013) Andreas Bauer [Australie] ; Peter Baumgartner [Australie] ; Martin Diller [Australie] ; Michael Norrish [Australie]Tableaux for Verification of Data-Centric Processes
001502 (2013) Muneera Bano Sahibzada [Australie] ; Didar Zowghi [Australie]Service Oriented Requirements Engineering: Practitioner’s Perspective
001514 (2013) Tri Astoto Kurniawan [Australie] ; Aditya K. Ghose [Australie] ; Lam-Son Lê [Australie]Resolving Violations in Inter-process Relationships in Business Process Ecosystems

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/AffPays.i -k "Australie" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/AffPays.i  \
                -Sk "Australie" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |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