Olivier Bournez And NotLangage naturel
List of bibliographic references
Number of relevant bibliographic references: 15.Ident. | Authors (with country if any) | Title |
---|---|---|
000234 | Olivier Bournez [France] ; Philippe Chassaing [France] ; Johanne Cohen [France] ; Lucas Gerin [France] ; Xavier Koegler [France] | On the convergence of population protocols when population goes to infinity |
000248 | Dominique Barth [France] ; Johanne Cohen [France] ; Olivier Bournez [France] ; Octave Boussaton [France] | DISTRIBUTED LEARNING OF EQUILIBRIA IN A ROUTING GAME |
000341 | Olivier Bournez [France] ; Manuel L. Campagnolo [Portugal] ; Daniel S. Graqa [Portugal] ; Emmanuel Hainry [France] | The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation |
000356 | Olivier Bournez [France] ; Florent Garnier [France] | Proving positive almost sure termination under strategies |
000376 | Olivier Bournez [France] ; Felipe Cucker [Hong Kong] ; Paulin Jacobe De Naurois [France] ; Jean-Yves Marion [France] | Implicit complexity over an arbitrary structure : Quantifier alternations |
000377 | Olivier Bournez [France] | How much can analog and hybrid systems be proved (super-)Turing |
000460 | Olivier Bournez [France] ; Emmanuel Hainry [France] | Real recursive functions and real extensions of recursive functions |
000463 | Olivier Bournez [France] ; Florent Garnier [France] | Proving positive almost-sure termination |
000499 | Olivier Bournez [France] ; Emmanuel Hainry [France] | Elementarily computable functions over the real numbers and R-sub-recursive functions |
000630 | Olivier Bournez [France] ; Emmanuel Hainry [France] | An analog characterization of elementarily computable functions over the real numbers |
000721 | Olivier Bournez [France] ; Guy-Marie Come [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ibanescu [France] | Automated generation of kinetic chemical mechanisms using rewriting |
000731 | Olivier Bournez [France] ; Guy-Marie Come [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ibanescu [France] | A rule-based approach for automated generation of kinetic chemical mechanisms |
000779 | Olivier Bournez [France] ; Claude Kirchner [France] | Probabilistic rewrite strategies. Applications to ELAN |
000908 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; Christos H. Papadimitriou [États-Unis] ; John N. Tsitsiklis [États-Unis] | Deciding stability and mortality of piecewise affine dynamical systems |
000A07 | Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël] | Effective synthesis of switching controllers for linear systems |
This area was generated with Dilib version V0.6.33. |