Jimenez Pastor, Antonio antonio.jimenezp@upm.es
Publications
- Articles 18
- Books 0
- Book chapters 0
- Conferences 11
- Working papers 0
- Technical reports 0
- Research projects 0
- Supervised theses 0
- Patent or software license 0
Approximate constrained lumping of chemical reaction networks
- Leguizamon-Robayo, Alexander
- Jimenez-Pastor, Antonio
- Tribastone, Micro
- Tschaikowski, Max
- Vandin, Andrea
Proceedings Of The Royal Society A-Mathematical Physical And Engineering Sciences - 2/7/2025
10.1098/rspa.2024.0754 View at source
- ISSN 13645021
Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams
- Burgholzer, Lukas
- Jimenez-Pastor, Antonio
- Guldstrand, Kim
- Tribastone, Mirco
- Tschaikowski, Max
- Wille, Robert
Acm Transactions On Quantum Computing - 1/2/2025
10.1145/3712711 View at source
- ISSN 26436809
Effective computation of centralizers of ODOs
- A Jiménez-Pastor
- SL Rueda
Arxiv E-Prints, Arxiv: - 1/1/2025
- iMarina
Proper Lumping for Positive Bilinear Control Systems
- Jimenez-Pastor, Antonio
- Toller, Daniele
- Tribastone, Mirco
- Tschaikowski, Max
- Vandin, Andrea
Ieee Transactions On Automatic Control (p. 8120-8127) - 1/11/2024
10.1109/tac.2024.3410153 View at source
- ISSN 00189286
Approximate Constrained Lumping of Chemical Reaction Networks
- A Leguizamon-Robayo
- A Jiménez-Pastor
- M Tribastone
- M Tschaikowski
Arxiv Preprint Arxiv: - 1/1/2024
- iMarina
Computing almost-commuting basis of Ordinary Differential Operators
- Jiménez-Pastor, A.
- Rueda, S.L.
- Zurro, M.A.
Acm Communications In Computer Algebra (p. 111-118) - 1/9/2023
10.1145/3637529.3637531 View at source
- ISSN 19322232
Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams
- L Burgholzer
- A Jimenez-Pastor
- K Larsen
- M Tribastone
- M Tschaikowski
Acm Transactions On Quantum Computing - 1/1/2023
- ISSN 26436809
- iMarina
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 View at source
- 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 View at source
- 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 View at source
- ISSN 07477171
This researcher has no books.
This researcher has no book chapters.
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 View at source
- ISSN 03029743
Approximate Reductions of Rational Dynamical Systems in CLUE
- Jimenez-Pastor, Antonio
- Leguizamon-Robayo, Alexander
- Tschaikowski, Max
- Vandin, Andrea
Instant Or Distant: A Temporal Network Tale Of Two Interaction Platforms And Their Influence On Collaboration (p. 108-116) - 1/1/2024
10.1007/978-3-031-71671-3_9 View at source
- ISSN 16113349
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 View at source
- ISSN 16113349
Exact Linear Reduction for Rational Dynamical Systems
- Jimenez-Pastor, Antonio
- Jacob, Joshua Paul
- Pogudin, Gleb
Instant Or Distant: A Temporal Network Tale Of Two Interaction Platforms And Their Influence On Collaboration (p. 198-216) - 1/1/2022
10.1007/978-3-031-15034-0_10 View at source
- ISSN 16113349
Simple Differentially Definable Functions
- Jiménez-Pastor A
Proceedings Of The International Symposium On Symbolic And Algebraic Computation, Issac (p. 209-216) - 1/1/2021
On C2-finite Sequences
- Jiménez-Pastor A
- Nuspl P
- Pillwein V
Proceedings Of The International Symposium On Symbolic And Algebraic Computation, Issac (p. 217-224) - 1/1/2021
DD-Finite Functions Implemented in Sage
- Jiménez-Pastor A
Lecture Notes In Computer Science (p. 457-462) - 1/1/2020
10.1007/978-3-030-43120-4_36 View at source
- ISSN 03029743
DD-finite functions in Sage
- Jiménez-Pastor A
Fpsac 2019 - 31st International Conference On Formal Power Series And Algebraic Combinatorics - 1/1/2019
- iMarina
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
This researcher has no working papers.
This researcher has no technical reports.
This researcher has no research projects.
This researcher has no supervised thesis.
This researcher has no patents or software licenses.
Researcher profiles
-
ORCID
-
Scopus Author ID

