Jimenez Pastor, Antonio antonio.jimenezp@upm.es
Actividades
- Artículos 11
- Libros 0
- Capítulos de libro 0
- Congresos 4
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 0
- Tesis dirigidas 0
- Patentes o licencias de software 0
Computing almost-commuting basis of Ordinary Differential Operators
- Jimenez-Pastor, Antonio
- Rueda, Sonia L
- Zurro, Maria-Angeles
Acm Communications In Computer Algebra (p. 111-118) - 1/9/2023
10.1145/3637529.3637531 Ver en origen
- ISSN 19322232
An extension of holonomic sequences: C2-finite sequences
- Jimenez-Pastor, Antonio
- Nuspl, Philipp
- Pillwein, Veronika
Journal Of Symbolic Computation (p. 400-424) - 11/9/2022
10.1016/j.jsc.2022.10.008 Ver en origen
- ISSN 07477171
Computing exact nonlinear reductions of dynamical models
- Jimenez-Pastor, Antonio
- Pogudin, Gleb
Acm Communications In Computer Algebra (p. 25-31) - 1/6/2022
10.1145/3572867.3572869 Ver en origen
- ISSN 19322232
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients
- Jimenez-Pastor, Antonio
- Petkovsek, Marko
Journal Of Symbolic Computation (p. 15-50) - 30/11/2022
10.1016/j.jsc.2022.11.002 Ver en origen
- ISSN 07477171
On the exponential generating function of labelled trees
- Bostan, Alin
- Jimenez-Pastor, Antonio
Comptes Rendus Mathematique (p. 1005-1009) - 5/1/2021
10.5802/crmath.108 Ver en origen
- ISSN 1631073X
The Sage Package comb walks for Walks in the Quarter Plane
- Jimenez-Pastor, Antonio
- Bostan, Alin
- Chyzak, Frederic
- Lairez, Pierre
Acm Communications In Computer Algebra (p. 30-38) - 1/6/2020
10.1145/3427218.3427220 Ver en origen
- ISSN 19322232
Some structural results on Dn-finite functions
- Jimenez-Pastor, Antonio
- Pillwein, Veronika
- Singer, Michael F
Advances In Applied Mathematics - 1/6/2020
10.1016/j.aam.2020.102027 Ver en origen
- ISSN 01968858
A computable extension for D-finite functions: DD-finite functions
- Jimenez-Pastor, Antonio
- Pillwein, Veronika
Journal Of Symbolic Computation (p. 90-104) - 1/9/2019
10.1016/j.jsc.2018.07.002 Ver en origen
- ISSN 07477171
A Sage implementation for DD-finite functions
- Lairez, Pierre
Acm Communications In Computer Algebra (p. 53-56) - 1/6/2019
10.1145/3371991.3371997 Ver en origen
- ISSN 19322232
Scalable model exploration for model-driven engineering
- Jimenez-Pastor, Antonio
- Garmendia, Antonio
- de Lara, Juan
Journal Of Systems And Software (p. 204-225) - 1/10/2017
10.1016/j.jss.2017.07.011 Ver en origen
- ISSN 01641212
Este/a investigador/a no tiene libros.
Este/a investigador/a no tiene capítulos de libro.
Factorial Basis Method for q-Series Applications
- Jimenez-Pastor, Antonio
- Uncu, Ali K
Proceedings Of The 2024 International Symposium On Symbolic And Algebraic Computation, Issac 2024 (p. 382-390) - 1/1/2024
Forward and Backward Constrained Bisimulations for Quantum Circuits
- Jimenez-Pastor, A
- Larsen, K G
- Tribastone, M
- Tschaikowski, M
Lecture Notes In Computer Science (p. 343-362) - 1/1/2024
10.1007/978-3-031-57249-4_17 Ver en origen
- ISSN 03029743
Approximate Constrained Lumping of Polynomial Differential Equations
- Leguizamon-Robayo, Alexander
- Jimenez-Pastor, Antonio
- Tribastone, Micro
- Tschaikowski, Max
- Vandin, Andrea
14th Conference On Artificial Intelligence In Medicine, Aime 2013 (p. 106-123) - 1/1/2023
10.1007/978-3-031-42697-1_8 Ver en origen
- ISSN 16113349
Algorithmic Arithmetics with DD-Finite Functions
- Jimenez-Pastor, Antonio
- Pillwein, Veronika
Issac'18: Proceedings Of The 2018 Acm International Symposium On Symbolic And Algebraic Computation (p. 231-237) - 1/1/2018
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
Este/a investigador/a no tiene proyectos de investigación.
Este/a investigador/a no tiene tesis dirigidas.
Este/a investigador/a no tiene patentes o licencias de software.
Perfiles de investigador/a
-
ORCID
-
Scopus Author ID