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-50] [0 - 20][0 - 50][50-70]
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
001506 (2013) Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche]Realizing Elastic Processes with ViePEP
001517 (2013) Olivier Perrin [France] ; Jianmin Wang [République populaire de Chine] ; Yan Wang [Australie]Phd Symposium Track: Message from Chairs
001537 (2013) Tim French [Australie] ; John Mccabe-Dansted [Australie] ; Mark Reynolds [Australie]Model Checking General Linear Temporal Logic
001564 (2013) Alex Delis [Grèce] ; Quan Z. Sheng [Australie]Introduction to the Demo Track
001565 (2013) George Feuerlicht [République tchèque, Australie] ; Winfried Lamersdorf [Allemagne] ; Guadalupe Ortiz [Espagne] ; Christian Zirpins [Allemagne]Introduction to the 8th International Workshop on Engineering Service-Oriented Applications (WESOA’12)
001566 (2013) Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche]Introducing the Vienna Platform for Elastic Processes
001567 (2013) Ross Brown [Australie] ; Hye-Young Paik [Australie] ; Alistair Barros [Australie]Interactive Product Browsing and Configuration using Remote Augmented Reality Sales Services
001571 (2013) Talal H. Noor [Australie] ; Quan Z. Sheng [Australie] ; Abdullah Alfazi [Australie] ; Jeriel Law [Australie] ; Anne H. H. Ngu [États-Unis]Identifying Fake Feedback for Effective Trust Management in Cloud Environments
001588 (2013) George Feuerlicht [République tchèque, Australie]Evaluation of Quality of Design for Document-Centric Software Services
001612 (2013) Björn Lellmann [Royaume-Uni] ; Dirk Pattinson [Royaume-Uni, Australie]Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5
001632 (2013) Xiwei Xu [Australie] ; Ingo Weber [Australie] ; Liming Zhu [Australie] ; Yan Liu [États-Unis, Australie] ; Paul Rimba [Australie] ; Qinghua Lu [Australie]BPMashup: Dynamic Execution of RESTful Processes
001644 (2013) Mahboobeh Moghaddam [Australie]An Auction-Based Approach for Composite Web Service Selection
001655 (2013) Chen Wang [Australie] ; Meng Meng [Australie] ; Xiangmin Zhou [Australie] ; Rajiv Ranjan [Australie]A Social Network Based Collaborative Video Story Composition Platform
001663 (2013) Jinhui Yao [Australie] ; Alex Ng [Australie] ; Shiping Chen [Australie] ; Dongxi Liu [Australie] ; Carsten Friedrich [Australie] ; Surya Nepal [Australie]A Performance Evaluation of Public Cloud Using TPC-C
001668 (2013) Zhé H U [Australie] ; Alwen Tiu [Australie] ; Rajeev Goré [Australie]A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
001698 (2013) Pakawat Pupatwibul [Australie] ; Ameen Banjar [Australie] ; Robin Braun [Australie]Using DAIM as a Reactive Interpreter for OpenFlow Networks to Enable Autonomic Functionality
001717 (2013) HANTI LIN [Australie]Foundations of Everyday Practical Reasoning
001724 (2013) Guido Governatori [Australie] ; Francesco Olivieri [Australie, Italie] ; Antonino Rotolo [Italie] ; Simone Scannapieco [Australie, Italie]Computing Strong and Weak Permissions in Defeasible Logic
001755 (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
001761 (2013) Jaber Al Yamani [Australie] ; Farid Boussaid [Australie] ; Amine Bermak ; Dominique Martinez [France]Experimental evaluation of latency coding for gas recognition
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)
001A14 (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
001A44 (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
001A64 (2012-06-25) Emil Keyder [France] ; Joerg Hoffmann [France] ; Patrik Haslum [Australie]Semi-Relaxed Plan Heuristics
001D12 (2012) Jaber Al Yamani [Australie] ; Farid Boussaid [Australie] ; Amine Bermak [République populaire de Chine] ; Dominique Martinez [France]Glomerular Latency Coding in Artificial Olfaction
001F16 (2012) Shi Bai [Australie] ; Paul Zimmermann [France]Size Optimization of Sextic Polynomials in the Number Field Sieve
001F34 (2012) Shi Bai [Australie] ; Emmanuel Thomé [France] ; Paul Zimmermann [France]Factorisation of RSA-704 with CADO-NFS
002280 (2011-06-23) Iadine Chadès [Australie] ; Josie Carwardine [Australie] ; Tara Martin [Australie] ; Samuel Nicol [États-Unis] ; Olivier Buffet [France]Les POMDP: une solution pour modéliser des problèmes de gestion adaptative en biologie de la conservation
002488 (2011) Otfried Cheong [Corée du Sud] ; Hazel Everett [France] ; Marc Glisse [France] ; Joachim Gudmundsson [Australie] ; Samuel Hornus [France] ; Sylvain Lazard [France] ; Mira Lee [Corée du Sud] ; Hyeon-Suk Na [Corée du Sud]Farthest-Polygon Voronoi Diagrams
002624 (2011) Tatyana Chesnokova [Australie] ; Rhema Vaithianathan [Nouvelle-Zélande]The Economics of Female Genital Cutting

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