List of bibliographic references
Number of relevant bibliographic references: 17.
Ident. | Authors (with country if any) | Title |
---|
000180 (1982) |
M. Mendès France [France] ; A. J. Van Der Poorten [Australie] ; F. M. Dekking [Pays-Bas] | Folds!° |
000190 (2009) |
Stefan Edelkamp [Allemagne] ; Viktor Schuppan [Italie] ; Dragan Bošna Ki [Pays-Bas] ; Anton Wijs [France] ; Ansgar Fehnker [Australie] ; Husain Aljazzar [Allemagne] | Survey on Directed Model Checking |
000869 (1982) |
Michel Dekking [Pays-Bas] ; Michel Mendès France [France] ; Alf Van Der Poorten [Australie] | Folds |
000929 (2008) |
Daniel Koehn [Allemagne] ; Mark W. Jessell [France] ; Paul D. Bons [Allemagne] ; Lynn Evans [Australie] ; Mark W. Jessell [Allemagne, France] ; Paul D. Bons [Allemagne] ; Daniel Koehn [Corée du Sud, Allemagne] ; Youngdo Park [Suède] ; Dal Park [Suède] ; Jin-Han Ree [Suède, Corée du Sud] ; Sandra Piazolo [Royaume-Uni, Suède] ; Jens Becker [Allemagne] ; Greg Houseman [États-Unis, Royaume-Uni] ; Terence Barr [Royaume-Uni] ; John Wheeler [Allemagne, Royaume-Uni] ; Judy Ford [Allemagne] ; Till Sachau [Australie, Allemagne] | Microprocess Simulations |
000B43 (1997) |
Carl Pomerance [États-Unis] ; John Michael Robson [Australie, France] ; Jeffrey Shallit [Canada] | Automaticity II: Descriptional complexity in the unary case |
000E81 (2011) |
Thao Dang [France] ; Thomas Martin Gawlitza [France, Australie] | Template-Based Unbounded Time Verification of Affine Hybrid Automata |
001221 (2009) |
Gilles Benattar [France] ; Franck Cassez [Australie] ; Didier Lime [France] ; Olivier H. Roux [France] | Synthesis of Non-Interferent Timed Systems |
001642 (2007) |
Christian Bessiere [France] ; Emmanuel Hebrard [Irlande (pays)] ; Brahim Hnich [Turquie] ; Zeynep Kiziltan [Italie] ; Claude-Guy Quimper [Canada] ; Toby Walsh [Australie] | Reformulating Global Constraints: The Slide and Regular Constraints |
001A33 (2007) |
Yuxin Deng [Australie, République populaire de Chine] ; Jun Pang [Allemagne] ; Peng Wu [France] | Measuring Anonymity with Relative Entropy |
001A40 (1982) |
Michel Dekking [Pays-Bas] ; Michel Mendès France [France] ; Alf Van Der Poorten [Australie] | Folds |
001C58 (1999) |
Gilbert Baumslag [États-Unis] ; Michael Shapiro [Australie, États-Unis] ; Hamish Short [France] | Parallel poly-pushdown groups |
001E70 (2008) |
Guillem Godoy [Espagne, États-Unis] ; Sebastian Maneth [Australie] ; Sophie Tison [France] | Classes of Tree Homomorphisms with Decidable Preservation of Regularity |
002038 (2009) |
Franck Cassez [Australie] ; Jan J. Jessen [Danemark] ; Kim G. Larsen [Danemark] ; Jean-François Raskin [Belgique] ; Pierre-Alain Reynier [France] | Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study |
002124 (2011) |
Michalis Christou [Royaume-Uni] ; Maxime Crochemore [Royaume-Uni, France] ; Tomáš Flouri [République tchèque] ; Costas S. Iliopoulos [Royaume-Uni, Australie] ; Jan Janoušek [République tchèque] ; Bo Ivoj Melichar [République tchèque] ; Solon P. Pissis [Royaume-Uni] | Computing All Subtree Repeats in Ordered Ranked Trees |
002329 (2007) |
Julien Ponge [France, Australie] ; Boualem Benatallah [Australie] ; Fabio Casati [Italie] ; Farouk Toumani [France] | Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols |
002659 (2003) |
Frederic Maire [Australie] ; Frank Wathne [Australie] ; Alain Lifchitz [France] | Reduction of Non Deterministic Automata for Hidden Markov Model Based Pattern Recognition Applications |
002B23 (2009) |
Franck Cassez [Australie] ; Jérémy Dubreil [France] ; Hervé Marchand [France] | Dynamic Observers for the Synthesis of Opaque Systems |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Asie/explor/AustralieFrV1/Data/Istex/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/KwdEn.i -k "Automaton"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/KwdEn.i \
-Sk "Automaton" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Asie
|area= AustralieFrV1
|flux= Istex
|étape= Curation
|type= indexItem
|index= KwdEn.i
|clé= Automaton
}}
| This area was generated with Dilib version V0.6.33. Data generation: Tue Dec 5 10:43:12 2017. Site generation: Tue Mar 5 14:07:20 2024 | |