Antonio Jimnez-Pastor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2010–2026
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ISSAC | Grbner Bases of Burchnall-Chaundy Ideals for Ordinary Differential Operators. | Antonio Jimnez-Pastor, Sonia L. Rueda |
| 2024 | ISSAC | Factorial Basis Method for q-Series Applications. | Antonio Jimnez-Pastor, Ali Kemal Uncu |
| 2024 | TACAS | Forward and Backward Constrained Bisimulations for Quantum Circuits. | Antonio Jimnez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski |
| 2021 | ISSAC | Simple Differentially Definable Functions. | Antonio Jimnez-Pastor |
| 2021 | ISSAC | On C | Antonio Jimnez-Pastor, Philipp Nuspl, Veronika Pillwein |
| 2018 | ISSAC | Algorithmic Arithmetics with DD-Finite Functions. | Antonio Jimnez-Pastor, Veronika Pillwein |
| 2010 | PAAMS | A Visual Language for Modelling and Simulation of Networks of Evolutionary Processors. | Antonio Jimnez-Pastor, Emilio del Rosal, Juan de Lara |