Olivier Bournez
AuthID: R-006-J6P
1
TITLE: A continuous characterization of PSPACE using polynomial ordinary differential equations
AUTHORS: Bournez, Olivier; Gozzi, Riccardo; Graca, Daniel S.; Pouly, Amaury;
PUBLISHED: 2023, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 77
AUTHORS: Bournez, Olivier; Gozzi, Riccardo; Graca, Daniel S.; Pouly, Amaury;
PUBLISHED: 2023, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 77
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length Full Text
AUTHORS: Olivier Bournez; Daniel S Graca; Amaury Pouly;
PUBLISHED: 2017, SOURCE: JOURNAL OF THE ACM, VOLUME: 64, ISSUE: 6
AUTHORS: Olivier Bournez; Daniel S Graca; Amaury Pouly;
PUBLISHED: 2017, SOURCE: JOURNAL OF THE ACM, VOLUME: 64, ISSUE: 6
INDEXED IN: WOS
WOS3
TITLE: On the functions generated by the general purpose analog computer Full Text
AUTHORS: Olivier Bournez; Daniel Graca; Amaury Pouly;
PUBLISHED: 2017, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 257
AUTHORS: Olivier Bournez; Daniel Graca; Amaury Pouly;
PUBLISHED: 2017, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 257
INDEXED IN: WOS
WOS4
TITLE: Rigorous numerical computation of polynomial differential equations over unbounded domains
AUTHORS: Bournez, O; Graça, DS; Pouly, A;
PUBLISHED: 2016, SOURCE: 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9582
AUTHORS: Bournez, O; Graça, DS; Pouly, A;
PUBLISHED: 2016, SOURCE: 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9582
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef5
TITLE: Computing with polynomial ordinary differential equations Full Text
AUTHORS: Olivier Bournez; Daniel Graca; Amaury Pouly;
PUBLISHED: 2016, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 36
AUTHORS: Olivier Bournez; Daniel Graca; Amaury Pouly;
PUBLISHED: 2016, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 36
INDEXED IN: WOS CrossRef
WOS CrossRef6
TITLE: Polynomial time corresponds to solutions of polynomial ordinary differential equations of polynomial length: The general purpose analog computer and computable analysis are two efficiently equivalent models of computations
AUTHORS: Bournez, O; Graca, DS; Pouly, A;
PUBLISHED: 2016, SOURCE: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 55
AUTHORS: Bournez, O; Graca, DS; Pouly, A;
PUBLISHED: 2016, SOURCE: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 55
INDEXED IN: Scopus
Scopus7
TITLE: Computation with perturbed dynamical systems Full Text
AUTHORS: Olivier Bournez; Daniel S Graca ; Emmanuel Hainry;
PUBLISHED: 2013, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 79, ISSUE: 5
AUTHORS: Olivier Bournez; Daniel S Graca ; Emmanuel Hainry;
PUBLISHED: 2013, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 79, ISSUE: 5
8
TITLE: Computability and computational complexity of the evolution of nonlinear dynamical systems
AUTHORS: Bournez, O; Graca, DS ; Pouly, A; Zhong, N;
PUBLISHED: 2013, SOURCE: 9th Conference on Computability in Europe - The Nature of Computation: Logic, Algorithms, Applications, CiE 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7921 LNCS
AUTHORS: Bournez, O; Graca, DS ; Pouly, A; Zhong, N;
PUBLISHED: 2013, SOURCE: 9th Conference on Computability in Europe - The Nature of Computation: Logic, Algorithms, Applications, CiE 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7921 LNCS
INDEXED IN: Scopus CrossRef
Scopus CrossRef9
TITLE: Turing machines can be efficiently simulated by the general purpose analog computer
AUTHORS: Bournez, O; Graca, DS; Pouly, A;
PUBLISHED: 2013, SOURCE: 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7876 LNCS
AUTHORS: Bournez, O; Graca, DS; Pouly, A;
PUBLISHED: 2013, SOURCE: 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7876 LNCS
INDEXED IN: Scopus CrossRef
Scopus CrossRef10
TITLE: On the complexity of solving initial value problems
AUTHORS: Bournez, O; Graca, DS ; Pouly, A;
PUBLISHED: 2012, SOURCE: 37th International Symposium on Symbolic and Algebraic Computation, ISSAC 2012 in Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
AUTHORS: Bournez, O; Graca, DS ; Pouly, A;
PUBLISHED: 2012, SOURCE: 37th International Symposium on Symbolic and Algebraic Computation, ISSAC 2012 in Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
INDEXED IN: Scopus CrossRef
Scopus CrossRef