Publicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (19)

2023

  1. Operator ranges and endomorphisms with a prescribed behaviour on Banach spaces

    Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas, Vol. 117, Núm. 1

2020

  1. Investigación matemática en España

    Libro blanco de las matemáticas (Fundación Ramón Areces), pp. 233-336

2019

  1. Inversion of Nonsmooth Maps between Banach Spaces

    Set-Valued and Variational Analysis, Vol. 27, Núm. 4, pp. 921-947

2016

  1. Semiflows induced by length metrics: On the way to extinction

    Topology and its Applications, Vol. 206, pp. 58-92

2011

  1. How strange can an attractor for a dynamical system in a 3-manifold look?

    Nonlinear Analysis, Theory, Methods and Applications, Vol. 74, Núm. 17, pp. 6162-6185

2004

  1. Long-term behavior of the wind stress circulation of a numerical north atlantic ocean circulation model

    ECCOMAS 2004 - European Congress on Computational Methods in Applied Sciences and Engineering

  2. Virtually generated partial views database: Structure and application

    Proceedings of the Fourth IASTED International Conference on Visualization, Imaging, and Image Processing

2003

  1. A finite element semi-Lagrangian explicit Runge-Kutta-Chebyshev method for convection dominated reaction-diffusion problems

    Journal of Computational and Applied Mathematics, Vol. 154, Núm. 1, pp. 27-61

2001

  1. SPBC: A Markovian extension of finite petri box calculus

    Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

2000

  1. Decidability of properties of timed-arc petri nets

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1999

  1. On non-decidability of reachability for timed-arc Petri nets

    Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

1997

  1. A sound and complete proof system for probabilistic processes

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1995

  1. Norm estimates for interpolation methods defined by means of polygons

    Journal of Approximation Theory, Vol. 80, Núm. 3, pp. 321-351

1994

  1. A duality theorem for interpolation methods associated to polygons

    Proceedings of the American Mathematical Society, Vol. 121, Núm. 4, pp. 1093-1101

1993

  1. Decidability of the strict reachability problem for TPN's with rational and real durations

    Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993