( en | de | ru )

 

Disambiguation of "Jiménez-Pastor, Antonio"

Author of the publication

copydeleteadd this publication to your clipboard
Scalable Model Exploration Through Abstraction and Fragmentation Strategies.

, , and . BigMDE@STAF, volume 1406 of CEUR Workshop Proceedings, page 21-31. CEUR-WS.org, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Antonio Jiménez González

Raúl Jiménez

Víctor Jiménez

Carlos Jiménez

Alejandro Jiménez

 

Other publications of authors with the same name

A sage implementation for DD-finite functions.. ACM Commun. Comput. Algebra, 53 (2): 53-56 (2019)Computing exact nonlinear reductions of dynamical models., and . ACM Commun. Comput. Algebra, 56 (2): 25-31 (2022)DD-Finite Functions Implemented in Sage.. MACIS, volume 11989 of Lecture Notes in Computer Science, page 457-462. Springer, (2019)The Factorial-Basis Method for Finding Definite-Sum Solutions of Linear Recurrences With Polynomial Coefficients., and . CoRR, (2022)A computable extension for D-finite functions: DD-finite functions., and . J. Symb. Comput., (2019)Computing Almost-Commuting Basis of Ordinary Differential Operators., , and . ACM Commun. Comput. Algebra, 57 (3): 111-118 (September 2023)A Visual Language for Modelling and Simulation of Networks of Evolutionary Processors., , and . PAAMS (Special Sessions and Workshops), volume 71 of Advances in Intelligent and Soft Computing, page 411-418. Springer, (2010)Factorial Basis Method for q-Series Applications., and . CoRR, (2024)Proper Lumping for Positive Bilinear Control Systems., , , , and . CoRR, (2023)Exact Linear Reduction for Rational Dynamical Systems., , and . CMSB, volume 13447 of Lecture Notes in Computer Science, page 198-216. Springer, (2022)