default search action

combined dblp search
author search
venue search
publication search

ask others

Antonio Jiménez-Pastor

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/JimenezPastorTTTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/JimenezPastorTTTV24
Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Proper Lumping for Positive Bilinear Control Systems. IEEE Trans. Autom. Control. 69(11): 8120-8127 (2024)
2023
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/cca/JimenezPastorRZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cca/JimenezPastorRZ23
Antonio Jiménez-Pastor, Sonia L. Rueda, Maria-Angeles Zurro:
Computing Almost-Commuting Basis of Ordinary Differential Operators. ACM Commun. Comput. Algebra 57(3): 111-118 (2023)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Jimenez-PastorN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Jimenez-PastorN23
Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein:
An extension of holonomic sequences: C²-finite sequences. J. Symb. Comput. 116: 400-424 (2023)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/JimenezPastorP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/JimenezPastorP23
Antonio Jiménez-Pastor, Marko Petkovsek:
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients. J. Symb. Comput. 117: 15-50 (2023)
2022
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/cca/Jimenez-PastorP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cca/Jimenez-PastorP22
Antonio Jiménez-Pastor, Gleb Pogudin:
Computing exact nonlinear reductions of dynamical models. ACM Commun. Comput. Algebra 56(2): 25-31 (2022)
2020
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/aam/Jimenez-PastorP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aam/Jimenez-PastorP20
Antonio Jiménez-Pastor, Veronika Pillwein, Michael F. Singer:
Some structural results on Dⁿ-finite functions. Adv. Appl. Math. 117: 102027 (2020)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/cca/Jimenez-PastorB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cca/Jimenez-PastorB20
Antonio Jiménez-Pastor, Alin Bostan, Frédéric Chyzak, Pierre Lairez:
The Sage package comb_walks for walks in the quarter plane. ACM Commun. Comput. Algebra 54(2): 30-38 (2020)
2019
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cca/Jimenez-Pastor19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cca/Jimenez-Pastor19
Antonio Jiménez-Pastor:
A sage implementation for DD-finite functions. ACM Commun. Comput. Algebra 53(2): 53-56 (2019)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Jimenez-PastorP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Jimenez-PastorP19
Antonio Jiménez-Pastor, Veronika Pillwein:
A computable extension for D-finite functions: DD-finite functions. J. Symb. Comput. 94: 90-104 (2019)
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/Jimenez-PastorG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/Jimenez-PastorG17
Antonio Jiménez-Pastor, Antonio Garmendia, Juan de Lara:
Scalable model exploration for model-driven engineering. J. Syst. Softw. 132: 204-225 (2017)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/JimenezPastorLTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/JimenezPastorLTV24
Antonio Jiménez-Pastor, Alexander Leguizamon-Robayo, Max Tschaikowski, Andrea Vandin:
Approximate Reductions of Rational Dynamical Systems in CLUE. CMSB 2024: 108-116
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/Jimenez-PastorU24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/Jimenez-PastorU24
Antonio Jiménez-Pastor, Ali Kemal Uncu:
Factorial Basis Method for q-Series Applications. ISSAC 2024: 382-390
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JimenezPastorLTT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JimenezPastorLTT24
Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski:
Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) 2024: 343-362
2023
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/LeguizamonRobayoJTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/LeguizamonRobayoJTTV23
Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Approximate Constrained Lumping of Polynomial Differential Equations. CMSB 2023: 106-123
2022
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/Jimenez-PastorJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/Jimenez-PastorJ22
Antonio Jiménez-Pastor, Joshua Paul Jacob, Gleb Pogudin:
Exact Linear Reduction for Rational Dynamical Systems. CMSB 2022: 198-216
2021
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/Jimenez-Pastor21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/Jimenez-Pastor21
Antonio Jiménez-Pastor:
Simple Differentially Definable Functions. ISSAC 2021: 209-216
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/Jimenez-PastorN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/Jimenez-PastorN21
Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein:
On C²-finite Sequences. ISSAC 2021: 217-224
2019
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/macis/Jimenez-Pastor19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/macis/Jimenez-Pastor19
Antonio Jiménez-Pastor:
DD-Finite Functions Implemented in Sage. MACIS 2019: 457-462
2018
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/Jimenez-PastorP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/Jimenez-PastorP18
Antonio Jiménez-Pastor, Veronika Pillwein:
Algorithmic Arithmetics with DD-Finite Functions. ISSAC 2018: 231-237
2015
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/GarmendiaJL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/GarmendiaJL15
Antonio Garmendia, Antonio Jiménez-Pastor, Juan de Lara:
Scalable Model Exploration Through Abstraction and Fragmentation Strategies. BigMDE@STAF 2015: 21-31
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/JimenezRL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/JimenezRL10
Antonio Jiménez-Pastor, Emilio del Rosal, Juan de Lara:
A Visual Language for Modelling and Simulation of Networks of Evolutionary Processors. PAAMS (Special Sessions and Workshops) 2010: 411-418

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-04392
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-04392
Antonio Jiménez-Pastor, Ali Kemal Uncu:
Factorial Basis Method for q-Series Applications. CoRR abs/2402.04392 (2024)
2023
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-09510
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-09510
Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski:
Efficient Simulation of Quantum Circuits by Model Order Reduction. CoRR abs/2308.09510 (2023)
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-08831
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-08831
Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Proper Lumping for Positive Bilinear Control Systems. CoRR abs/2312.08831 (2023)
2022
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2201-13373
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-13373
Antonio Jiménez-Pastor, Joshua Paul Jacob, Gleb Pogudin:
Exact linear reduction for rational dynamical systems. CoRR abs/2201.13373 (2022)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2202-05550
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-05550
Antonio Jiménez-Pastor, Marko Petkovsek:
The Factorial-Basis Method for Finding Definite-Sum Solutions of Linear Recurrences With Polynomial Coefficients. CoRR abs/2202.05550 (2022)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.