olivier bournez
olivier bournez
Professor of Computer Science, Ecole Polytechnique, France
E-mail confirmado em lix.polytechnique.fr - Página inicial
TítuloCitado porAno
Approximate reachability analysis of piecewise-linear dynamical systems
E Asarin, O Bournez, T Dang, O Maler
International Workshop on Hybrid Systems: Computation and Control, 20-31, 2000
4062000
Effective synthesis of switching controllers for linear systems
E Asarin, O Bournez, T Dang, O Maler, A Pnueli
Proceedings of the IEEE 88 (7), 1011-1025, 2000
2842000
Orthogonal polyhedra: Representation and computation
O Bournez, O Maler, A Pnueli
International Workshop on Hybrid Systems: Computation and Control, 46-60, 1999
1301999
Polynomial differential equations compute all real computable functions on computable compact intervals
O Bournez, ML Campagnolo, DS Graça, E Hainry
Journal of Complexity 23 (3), 317-335, 2007
822007
Deciding stability and mortality of piecewise affine dynamical systems
VD Blondel, O Bournez, P Koiran, CH Papadimitriou, JN Tsitsiklis
Theoretical Computer Science 255 (1-2), 687-696, 2001
822001
On the computational power of dynamical systems and hybrid systems
O Bournez, M Cosnard
Theoretical Computer Science 168 (2), 417-459, 1996
711996
Achilles and the Tortoise climbing up the hyper-arithmetical hierarchy
O Bournez
Theoretical Computer Science 210 (1), 21-71, 1999
701999
A survey on continuous time computations
O Bournez, ML Campagnolo
New Computational Paradigms, 383-423, 2008
642008
The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation
O Bournez, ML Campagnolo, DS Graça, E Hainry
International Conference on Theory and Applications of Models of Computation …, 2006
562006
Proving positive almost-sure termination
O Bournez, F Garnier
International Conference on Rewriting Techniques and Applications, 323-337, 2005
532005
Probabilistic rewrite strategies. Applications to ELAN
O Bournez, C Kirchner
International Conference on Rewriting Techniques and Applications, 252-266, 2002
522002
The stability of saturated linear dynamical systems is undecidable
VD Blondel, O Bournez, P Koiran, JN Tsitsiklis
Journal of Computer and System Sciences 62 (3), 442-462, 2001
522001
Rewriting logic and probabilities
O Bournez, M Hoyrup
International Conference on Rewriting Techniques and Applications, 61-75, 2003
442003
Using local planar geometric invariants to match and model images of line segments
P Gros, O Bournez, E Boyer
Computer Vision and Image Understanding 69 (2), 135-155, 1998
44*1998
The mortality problem for matrices of low dimensions
O Bournez, M Branicky
Theory of Computing Systems 35 (4), 433-448, 2002
412002
Recursive analysis characterized as a class of real recursive functions
O Bournez, E Hainry
Fundamenta Informaticae 74 (4), 409-434, 2006
382006
Elementarily computable functions over the real numbers and R-sub-recursive functions
O Bournez, E Hainry
Theoretical Computer Science 348 (2-3), 130-147, 2005
372005
Complexité algorithmique des systemes dynamiques continus et hybrides
O Bournez
These de doctorat, École Normale Supérieure de Lyon 17, 1999
371999
New Computational Paradigms. Changing Conceptions of What is Computable, chapter A Survey on Continuous Time Computations
O Bournez, ML Campagnolo
Springer-Verlag, New York, 2008
342008
A rule-based approach for automated generation of kinetic chemical mechanisms
O Bournez, GM Côme, V Conraud, H Kirchner, L Ibănescu
International Conference on Rewriting Techniques and Applications, 30-45, 2003
302003
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20