The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Olivier Bournez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
    Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:185-199 [Conf]
  2. Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez
    Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:20-31 [Conf]
  3. Olivier Bournez, Oded Maler, Amir Pnueli
    Orthogonal Polyhedra: Representation and Computation. [Citation Graph (0, 0)][DBLP]
    HSCC, 1999, pp:46-60 [Conf]
  4. Olivier Bournez
    Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:143-153 [Conf]
  5. Olivier Bournez, Emmanuel Hainry
    An Analog Characterization of Elementarily Computable Functions over the Real Numbers. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:269-280 [Conf]
  6. Olivier Bournez, Oded Maler
    On the Representation of Timed Polyhedra. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:793-807 [Conf]
  7. Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu
    Automated Generation of Kinetic Chemical Mechanisms Using Rewriting. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2003, pp:367-376 [Conf]
  8. Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
    Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:409-422 [Conf]
  9. Olivier Bournez, Emmanuel Hainry
    Real Recursive Functions and Real Extensions of Recursive Functions. [Citation Graph (0, 0)][DBLP]
    MCU, 2004, pp:116-127 [Conf]
  10. Olivier Bournez
    A Generalization of Equational Proof Theory? [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:207-208 [Conf]
  11. Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu
    A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:30-45 [Conf]
  12. Olivier Bournez, Florent Garnier
    Proving Positive Almost-Sure Termination. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:323-337 [Conf]
  13. Olivier Bournez, Florent Garnier
    Proving Positive Almost Sure Termination Under Strategies. [Citation Graph (0, 0)][DBLP]
    RTA, 2006, pp:357-371 [Conf]
  14. Olivier Bournez, Mathieu Hoyrup
    Rewriting Logic and Probabilities. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:61-75 [Conf]
  15. Olivier Bournez, Claude Kirchner
    Probabilistic Rewrite Strategies. Applications to ELAN. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:252-266 [Conf]
  16. Vincent D. Blondel, Olivier Bournez, Pascal Koiran, John N. Tsitsiklis
    The Stability of Saturated Linear Dynamical Systems Is Undecidable. [Citation Graph (0, 0)][DBLP]
    STACS, 2000, pp:479-490 [Conf]
  17. Olivier Bournez, Manuel Lameiras Campagnolo, Daniel S. Graça, Emmanuel Hainry
    The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:631-643 [Conf]
  18. Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner
    Verification of Timed Automata Using Rewrite Rules and Strategies [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  19. Patrick Gros, Olivier Bournez, Edmond Boyer
    Using Local Planar Geometric Invariants to Match and Model Images of Line Segments. [Citation Graph (0, 0)][DBLP]
    Computer Vision and Image Understanding, 1998, v:69, n:2, pp:135-155 [Journal]
  20. Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
    Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:90, n:1, pp:- [Journal]
  21. Olivier Bournez, Liliana Ibanescu, Hélène Kirchner
    From Chemical Rules to Term Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:113-134 [Journal]
  22. Olivier Bournez, Emmanuel Hainry
    Recursive Analysis Characterized as a Class of Real Recursive Functions. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:74, n:4, pp:409-433 [Journal]
  23. Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
    Implicit complexity over an arbitrary structure: Quantifier alternations. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:2, pp:210-230 [Journal]
  24. Vincent D. Blondel, Olivier Bournez, Pascal Koiran, John N. Tsitsiklis
    The Stability of Saturated Linear Dynamical Systems Is Undecidable. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2001, v:62, n:3, pp:442-462 [Journal]
  25. Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
    Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:1, pp:41-58 [Journal]
  26. Olivier Bournez
    Some Bounds on the Computational Power of Piecewise Constant Derivative Systems. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 1999, v:32, n:1, pp:35-67 [Journal]
  27. Olivier Bournez, Michael S. Branicky
    The Mortality Problem for Matrices of Low Dimensions. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2002, v:35, n:4, pp:433-448 [Journal]
  28. Vincent D. Blondel, Olivier Bournez, Pascal Koiran, Christos H. Papadimitriou, John N. Tsitsiklis
    Deciding stability and mortality of piecewise affine dynamical systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:255, n:1-2, pp:687-696 [Journal]
  29. Olivier Bournez
    Achilles and the Tortoise Climbing up the Hyper-Arithmetical Hierarchy. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:210, n:1, pp:21-71 [Journal]
  30. Olivier Bournez, Michel Cosnard
    On the Computational Power of Dynamical Systems and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:168, n:2, pp:417-459 [Journal]
  31. Olivier Bournez, Emmanuel Hainry
    Elementarily computable functions over the real numbers and R-sub-recursive functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:348, n:2-3, pp:130-147 [Journal]
  32. Olivier Bournez
    How much can analog and hybrid systems be proved (super-)Turing. [Citation Graph (0, 0)][DBLP]
    Applied Mathematics and Computation, 2006, v:178, n:1, pp:58-71 [Journal]
  33. Olivier Bournez, Emmanuel Hainry
    On the Computational Capabilities of Several Models. [Citation Graph (0, 0)][DBLP]
    MCU, 2007, pp:12-23 [Conf]

  34. Robust Computations with Dynamical Systems. [Citation Graph (, )][DBLP]


  35. Distributed Learning of Wardrop Equilibria. [Citation Graph (, )][DBLP]


  36. Playing With Population Protocols [Citation Graph (, )][DBLP]


  37. Learning Equilibria in Games by Stochastic Distributed Algorithms [Citation Graph (, )][DBLP]


  38. A Survey on Continuous Time Computations [Citation Graph (, )][DBLP]


  39. On the Convergence of Population Protocols When Population Goes to Infinity [Citation Graph (, )][DBLP]


  40. Verification of Timed Automata Using Rewrite Rules and Strategies [Citation Graph (, )][DBLP]


  41. Population Protocols that Correspond to Symmetric Games [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002