Olivier Bournez And NotSwitching controller
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 |
| 000677 | Olivier Bournez [France] ; Mathieu Hoyrup [France] | Rewriting Logic and probabilities |
| 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 |
| This area was generated with Dilib version V0.6.33. |  |