Pays
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (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 indexed by Australie

Number of relevant bibliographic references: 125.
[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
000683 (2015) Shi Bai [Nouvelle-Zélande] ; Richard Brent [Australie] ; Emmanuel Thomé [France]Root optimization of polynomials in the number field sieve
000A66 (2014-07) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Finite Quantification in Hierarchic Theorem Proving
000B32 (2014-06) Francois Petitjean [Australie] ; Jonathan Weber [France]Efficient Satellite Image Time Series Analysis Under Time Warping
000B86 (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
000C76 (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
000D36 (2014) Hans Van Ditmarsch [France] ; Tim French [Australie]Semantics for Knowledge and Change of Awareness
000D94 (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
000E55 (2014) Thomas Gotnes [France] ; Hans Van Ditmarsch [France] ; Tim French [Australie]The undecidability of group announcements
000F00 (2013-12-11) Peter Baumgartner [Australie] ; Uwe Waldmann [Allemagne]Hierarchic Superposition: Completeness without Compactness
001073 (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
001087 (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
001175 (2013-06-09) Peter Baumgartner [Australie] ; Uwe Waldmann [France]Hierarchic Superposition With Weak Abstraction
001296 (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
001357 (2013) Tim French [Australie] ; Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France] ; Barteld P. Kooi [Pays-Bas]On the succinctness of some modal logics
001459 (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
001462 (2013) Nanjangud C. Narendra [Inde] ; Lam-Son Lê [Australie] ; Aditya Ghose [Australie] ; Gandhi Sivakumar [Australie]Towards an Architectural Framework for Service-Oriented Enterprises
001474 (2013) Andreas Bauer [Australie] ; Peter Baumgartner [Australie] ; Martin Diller [Australie] ; Michael Norrish [Australie]Tableaux for Verification of Data-Centric Processes
001490 (2013) Muneera Bano Sahibzada [Australie] ; Didar Zowghi [Australie]Service Oriented Requirements Engineering: Practitioner’s Perspective
001502 (2013) Tri Astoto Kurniawan [Australie] ; Aditya K. Ghose [Australie] ; Lam-Son Lê [Australie]Resolving Violations in Inter-process Relationships in Business Process Ecosystems

List of associated Author.i

Nombre de
documents		Descripteur
9Paul Zimmermann
7Olivier Buffet
5Claude Godart
5Emmanuel Thomé
5Ingo Weber
5Joerg Hoffmann
5Peter Baumgartner
5Richard Brent
5Tim French
4Damien Stehlé
4Sylvain Lazard
4Uwe Waldmann
3Adnan Amin
3Alicia Diaz
3Alwen Tiu
3Andrew Teel
3Antonio Loria
3Dragan Nesic
3Elena Panteley
3Farhad Daneshgar
3Gérôme Canals
3Hans Van Ditmarsch
3Iadine Chadès
3Paul Leyland
3Peter L. Montgomery
3Pierrick Gaudry
3Samuel Nicol
3Shi Bai
2Agustina Agustina
2Alain Dutech
2Alexander Wolff
2Amine Bermak
2Arjen K. Lenstra
2Boualem Benatallah
2Brian Murphy
2Bruce Dodson
2Chengzheng Sun
2Claudia-Lavinia Ignat
2David Eppstein
2David Sun
2Dominique Martinez
2Fabrizio Frati
2Farid Boussaid
2Frank Kraft
2François Charpillet
2George Feuerlicht
2Guillaume Hanrot
2Haifeng Shen
2Hazel Everett
2Herman Te Riele
2Hyeon-Suk Na
2Imants Svalbe
2Jaber Al Yamani
2Jan Mendling
2Jean Villerd
2Joachim Gudmundsson
2Joshua Bax
2Josie Carwardine
2Lam-Son Lê
2Marc Glisse
2Michael Kaufmann
2Michael Macfadden
2Mira Lee
2Monique Teillaud
2Nicolas Normand
2Ning Gu
2Olivera Marjanovic
2Otfried Cheong
2Patrizio Angelini
2Philipp Hoenisch
2Quan Z. Sheng
2Samuel Hornus
2Schahram Dustdar
2Srikumar Venugopal
2Stefan Schulte
2Stefania Cavallar
2Surya Nepal
2Sylvie Thiébaux
2Tamara Mchedlidze
2Tara Martin
2Walter Lioen
2Yun Yang
1A. Amin
1A. Lenstra
1A. N. Pettitt
1A. Oksche
1A. Weng
1Abdullah Alfazi
1Aditya Ghose
1Aditya K. Ghose
1Alec Muffett
1Alex Delis
1Alex Ng
1Alistair Barros
1Ameen Banjar
1Andreas Bauer
1Andrey Timofeev
1Anna Fernández Sánchez
1Annapaola Marconi
1Anne E. Cust

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffPays.i  \
                -Sk "Australie" \
         | 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é=    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