Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Pouly, Amaury
11
Ergebnisse:
Artikel (Online) X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
On Strongest Algebraic Program Invariants:
Hrushovski, Ehud
;
Ouaknine, Joël
;
Pouly, Amaury
.
Journal of the ACM. 70 (2023) 5 - p. 1-22 , 2023
Link:
https://doi.org/10.1145/..
?
2
A continuous characterization of PSPACE using polynomial or..:
Bournez, Olivier
;
Gozzi, Riccardo
;
Graça, Daniel S.
.
Journal of Complexity. 77 (2023) - p. 101755 , 2023
Link:
https://doi.org/10.1016/..
?
3
Complete Semialgebraic Invariant Synthesis for the Kannan-L..:
Fijalkow, Nathanaël
;
Ohlmann, Pierre
;
Ouaknine, Joël
..
Theory of Computing Systems. 63 (2019) 5 - p. 1027-1048 , 2019
Link:
https://doi.org/10.1007/..
?
4
On the Decidability of Membership in Matrix-exponential Sem..:
Ouaknine, Joël
;
Pouly, Amaury
;
Sousa-Pinto, João
.
Journal of the ACM. 66 (2019) 3 - p. 1-24 , 2019
Link:
https://doi.org/10.1145/..
?
5
On the Decidability of Membership in Matrix-exponential Sem..:
Ouaknine, Joël
;
Pouly, Amaury
;
Sousa-Pinto, João
.
Journal of the ACM (JACM). 66 (2019) 3 - p. 1-24 , 2019
Link:
https://dl.acm.org/doi/1..
?
6
On the complexity of bounded time and precision reachabilit..:
Bazille, Hugo
;
Bournez, Olivier
;
Gomaa, Walid
.
Theoretical Computer Science. 735 (2018) - p. 132-146 , 2018
Link:
https://doi.org/10.1016/..
?
7
Polynomial Time Corresponds to Solutions of Polynomial Ordi..:
Bournez, Olivier
;
Graça, Daniel S.
;
Pouly, Amaury
Journal of the ACM (JACM). 64 (2017) 6 - p. 1-76 , 2017
Link:
https://dl.acm.org/doi/1..
?
8
On the functions generated by the general purpose analog co..:
Bournez, Olivier
;
Graça, Daniel
;
Pouly, Amaury
Information and Computation. 257 (2017) - p. 34-57 , 2017
Link:
https://doi.org/10.1016/..
?
9
Polynomial Time Corresponds to Solutions of Polynomial Ordi..:
Bournez, Olivier
;
Graça, Daniel S.
;
Pouly, Amaury
Journal of the ACM. 64 (2017) 6 - p. 1-76 , 2017
Link:
https://doi.org/10.1145/..
?
10
Computational complexity of solving polynomial differential..:
Pouly, Amaury
;
Graça, Daniel S.
Theoretical Computer Science. 626 (2016) - p. 67-82 , 2016
Link:
https://doi.org/10.1016/..
?
11
Computing with polynomial ordinary differential equations:
Bournez, Olivier
;
Graça, Daniel
;
Pouly, Amaury
Journal of Complexity. 36 (2016) - p. 106-140 , 2016
Link:
https://doi.org/10.1016/..
1-11