A Visual Language for Modelling and Simulation of Networks of Evolutionary Processors. - Antonio Jiménez-Pastor; Emilio del Rosal; Juan de Lara (PAAMS (Special Sessions and Workshops), 2010)

Scalable Model Exploration Through Abstraction and Fragmentation Strategies. - Antonio Garmendia; Antonio Jiménez-Pastor; Juan de Lara (BigMDE@STAF, 2015)

Scalable model exploration for model-driven engineering. - Antonio Jiménez-Pastor; Antonio Garmendia; Juan de Lara (J. Syst. Softw., 2017)

Algorithmic Arithmetics with DD-Finite Functions. - Antonio Jiménez-Pastor; Veronika Pillwein (ISSAC, 2018)

DD-Finite Functions Implemented in Sage. - Antonio Jiménez-Pastor (MACIS, 2019)

A sage implementation for DD-finite functions. - Antonio Jiménez-Pastor (ACM Commun. Comput. Algebra, 2019)

A computable extension for D-finite functions: DD-finite functions. - Antonio Jiménez-Pastor; Veronika Pillwein (J. Symb. Comput., 2019)

Some structural results on Dn-finite functions. - Antonio Jiménez-Pastor; Veronika Pillwein; Michael F. Singer (Adv. Appl. Math., 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)

Simple Differentially Definable Functions. - Antonio Jiménez-Pastor (ISSAC, 2021)

On C2-finite Sequences. - Antonio Jiménez-Pastor; Philipp Nuspl; Veronika Pillwein (ISSAC, 2021)

Exact Linear Reduction for Rational Dynamical Systems. - Antonio Jiménez-Pastor; Joshua Paul Jacob; Gleb Pogudin (CMSB, 2022)

Computing exact nonlinear reductions of dynamical models. - Antonio Jiménez-Pastor; Gleb Pogudin (ACM Commun. Comput. Algebra, 2022)

Approximate Constrained Lumping of Polynomial Differential Equations. - Alexander Leguizamon-Robayo; Antonio Jiménez-Pastor; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CMSB, 2023)

Efficient Simulation of Quantum Circuits by Model Order Reduction. - Antonio Jiménez-Pastor; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski (CoRR, 2023)

An extension of holonomic sequences: C2-finite sequences. - Antonio Jiménez-Pastor; Philipp Nuspl; Veronika Pillwein (J. Symb. Comput., 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., 2023)

Computing Almost-Commuting Basis of Ordinary Differential Operators. - Antonio Jiménez-Pastor; Sonia L. Rueda; Maria-Angeles Zurro (ACM Commun. Comput. Algebra, 2023)

Approximate Reductions of Rational Dynamical Systems in CLUE. - Antonio Jiménez-Pastor; Alexander Leguizamon-Robayo; Max Tschaikowski; Andrea Vandin (CMSB, 2024)

Factorial Basis Method for q-Series Applications. - Antonio Jiménez-Pastor; Ali Kemal Uncu (ISSAC, 2024)

Forward and Backward Constrained Bisimulations for Quantum Circuits. - Antonio Jiménez-Pastor; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski (TACAS (2), 2024)

Approximate Constrained Lumping of Chemical Reaction Networks. - Alexander Leguizamon-Robayo; Antonio Jiménez-Pastor; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CoRR, 2024)

Proper Lumping for Positive Bilinear Control Systems. - Antonio Jiménez-Pastor; Daniele Toller; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2024)

Computing Almost Commuting Bases of ODOs and Gelfand-Dickey Hierarchies. - Antonio Jiménez-Pastor; Sonia L. Rueda; Maria-Angeles Zurro; Rafael Hernandez Heredero; Rafael Delgado (Math. Comput. Sci., 2025)