Filter your results
- 4
- 1
- 3
- 2
- 5
- 1
- 1
- 2
- 1
- 1
- 5
- 5
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Polynomial interrupt timed automata: Verification and expressivenessInformation and Computation, 2021, 277, pp.104580. ⟨10.1016/j.ic.2020.104580⟩
Journal articles
hal-02862629v1
|
||
|
Gröbner bases and critical values: The asymptotic combinatorics of determinantal systemsJournal of Algebra, 2022, 602, pp.154-180. ⟨10.1016/j.jalgebra.2022.03.002⟩
Journal articles
hal-03214157v2
|
||
|
Computing the volume of compact semi-algebraic setsISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China
Conference papers
hal-02110556v1
|
||
|
Computing the dimension of real algebraic setsISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. pp.257-264, ⟨10.1145/3452143.3465551⟩
Conference papers
hal-03232068v2
|
||
|
Polynomial Interrupt Timed AutomataThe 9th Workshop on Reachability Problems (RP'15), Sep 2015, Warsaw, Poland. pp.20-32, ⟨10.1007/978-3-319-24537-9_3⟩
Conference papers
hal-01222572v1
|