( en | de | ru )

 

Disambiguation of "Jiménez-Pastor, Antonio"

Author of the publication

copydeleteadd this publication to your clipboard
Approximate Constrained Lumping of Polynomial Differential Equations.

, , , , and . CMSB, volume 14137 of Lecture Notes in Computer Science, page 106-123. Springer, (2023)

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

Carlos Jiménez

Víctor Jiménez

Alejandro Jiménez

 

Other publications of authors with the same name

DD-Finite Functions Implemented in Sage.. MACIS, volume 11989 of Lecture Notes in Computer Science, page 457-462. Springer, (2019)Scalable Model Exploration Through Abstraction and Fragmentation Strategies., , and . BigMDE@STAF, volume 1406 of CEUR Workshop Proceedings, page 21-31. CEUR-WS.org, (2015)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)Exact Linear Reduction for Rational Dynamical Systems., , and . CMSB, volume 13447 of Lecture Notes in Computer Science, page 198-216. Springer, (2022)Algorithmic Arithmetics with DD-Finite Functions., and . ISSAC, page 231-237. ACM, (2018)Factorial Basis Method for q-Series Applications., and . ISSAC, page 382-390. ACM, (2024)Scalable model exploration for model-driven engineering., , and . J. Syst. Softw., (2017)On C2-finite Sequences., , and . ISSAC, page 217-224. ACM, (2021)Simple Differentially Definable Functions.. ISSAC, page 209-216. ACM, (2021)Forward and Backward Constrained Bisimulations for Quantum Circuits., , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 343-362. Springer, (2024)