Antonio Jiménez-Pastor

According to our database, Antonio Jiménez-Pastor authored at least 21 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Factorial Basis Method for q-Series Applications.

Antonio Jiménez-Pastor, Ali Kemal Uncu

CoRR, 2024

Forward and Backward Constrained Bisimulations for Quantum Circuits.

Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Computing Almost-Commuting Basis of Ordinary Differential Operators.

Antonio Jiménez-Pastor, Sonia L. Rueda, Maria-Angeles Zurro

ACM Commun. Comput. Algebra, September, 2023

The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients.

Antonio Jiménez-Pastor, Marko Petkovsek

J. Symb. Comput., July, 2023

An extension of holonomic sequences: <i>C</i>²-finite sequences.

Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein

J. Symb. Comput., 2023

Proper Lumping for Positive Bilinear Control Systems.

Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

CoRR, 2023

Efficient Simulation of Quantum Circuits by Model Order Reduction.

Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski

CoRR, 2023

Approximate Constrained Lumping of Polynomial Differential Equations.

Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Computational Methods in Systems Biology, 2023

2022

Computing exact nonlinear reductions of dynamical models.

Antonio Jiménez-Pastor, Gleb Pogudin

ACM Commun. Comput. Algebra, 2022

Exact Linear Reduction for Rational Dynamical Systems.

Antonio Jiménez-Pastor, Joshua Paul Jacob, Gleb Pogudin

Proceedings of the Computational Methods in Systems Biology, 2022

2021

On C²-finite Sequences.

Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

Simple Differentially Definable Functions.

Antonio Jiménez-Pastor

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

The Sage package comb_walks for walks in the quarter plane.

Antonio Jiménez-Pastor, Alin Bostan, Frédéric Chyzak, Pierre Lairez

ACM Commun. Comput. Algebra, 2020

Some structural results on D^<i>n</i>-finite functions.

Antonio Jiménez-Pastor, Veronika Pillwein, Michael F. Singer

Adv. Appl. Math., 2020

2019

A computable extension for D-finite functions: DD-finite functions.

Antonio Jiménez-Pastor, Veronika Pillwein

J. Symb. Comput., 2019

A sage implementation for DD-finite functions.

Antonio Jiménez-Pastor

ACM Commun. Comput. Algebra, 2019

DD-Finite Functions Implemented in Sage.

Antonio Jiménez-Pastor

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2019

2018

Algorithmic Arithmetics with DD-Finite Functions.

Antonio Jiménez-Pastor, Veronika Pillwein

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

Scalable model exploration for model-driven engineering.

Antonio Jiménez-Pastor, Antonio Garmendia, Juan de Lara

J. Syst. Softw., 2017

2015

Scalable Model Exploration Through Abstraction and Fragmentation Strategies.

Antonio Garmendia, Antonio Jiménez-Pastor, Juan de Lara

Proceedings of the 3rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015

2010

A Visual Language for Modelling and Simulation of Networks of Evolutionary Processors.

Antonio Jiménez-Pastor, Emilio del Rosal, Juan de Lara

Proceedings of the Trends in Practical Applications of Agents and Multiagent Systems, 2010