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

Index « Auteurs » - entrée « Olivier Bournez »
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.
Olivier Bontron < Olivier Bournez < Olivier Bouré  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 67.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000226 (2002-07) Olivier BournezA Generalization of Equational Proof Theory?
000227 (2002) Olivier BournezA Generalization of Equational Proof Theory?
000445 (2003-06) Olivier Bournez ; Guy-Marie Côme ; Valérie Conraud ; Hélène Kirchner ; Mariana-Liliana IbanescuA Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
000512 (2007) Olivier Bournez ; Manuel L. CampagnoloA Survey on Continuous Time Computation
000664 (2009-10-22) Dominique Barth ; Olivier Bournez ; Octave Boussaton ; Johanne CohenA dynamic approach for load balancing
000A71 (1999) Olivier BournezAchilles and the tortoise climbing up the hyper-arithmetical hiearchy
000B81 (2009) Olivier Bournez ; Walid Gomaa ; Emmanuel HainryAlgebraic Characterizations of Complexity-Theoretic Classes of Real Functions
000B82 (2011) Olivier Bournez ; Walid Gomaa ; Emmanuel HainryAlgebraic Characterizations of Complexity-Theoretic Classes of Real Functions
000D60 (2004) Olivier Bournez ; Emmanuel HainryAn analog Characterization of Elementarily Computable Functions Over the Real Numbers
000D61 (2004) Olivier Bournez ; Emmanuel HainryAn analog Characterization of Elementarily Computable Functions Over the Real Numbers
000F56 (2000) Eugène Asarin ; Olivier Bournez ; Thao Dang ; Oded MalerApproximate reachability analysis of piecewise-linear dynamical systems
001065 (2003-06) Olivier Bournez ; Guy-Marie Côme ; Valérie Conraud ; Hélène Kirchner ; Mariana-Liliana IbanescuAutomated Generation of Kinetic Chemical Mechanisms Using Rewriting
001734 (2003-04) Olivier Bournez ; Felipe Cucker ; Paulin Jacobé De Naurois ; Jean-Yves MarionComputability over an Arbitrary Structure. Sequential and Parallel Polynomial Time
001737 (2013-08) Olivier Bournez ; Daniel Graça ; Emmanuel HainryComputation with perturbed dynamical systems
001887 (2006-12-07) Olivier BournezContinuous Models. Computations. Distributed Algorithms.
001B07 (2001) Vincent D. Blondel ; Olivier Bournez ; Pascal Koiran ; Christos Papadimitriou ; John N. TsitsiklisDeciding stability and mortality of piecewise affine dynamical systems
001D03 (2009-06) Dominique Barth ; Johanne Cohen ; Olivier Bournez ; Octave BoussatonDistributed Learning of Equilibria in a Routing Game
001D04 (2008-08-25) Dominique Barth ; Olivier Bournez ; Octave Boussaton ; Johanne CohenDistributed Learning of Wardrop Equilibria
001E47 (2000) Eugène Asarin ; Olivier Bournez ; Thao Dang ; Oded Maler ; Amir PnueliEffective Synthesis of Switching Controllers for Linear Systems
001F18 (2004) Olivier Bournez ; Emmanuel HainryElementarily Computable Functions Over the Real Numbers and $\mathbb{R}$-Sub-Recursive Functions
001F19 (2005) Olivier Bournez ; Emmanuel HainryElementarily Computable Functions Over the Real Numbers and R-Sub-Recursive Functions

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Olivier Bournez" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Olivier Bournez" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Olivier Bournez
}}

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