Ciencias Matemáticas
Facultad
Universidad de Castilla-La Mancha
Ciudad Real, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (19)
2023
-
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
-
Investigación matemática en España
Libro blanco de las matemáticas (Fundación Ramón Areces), pp. 233-336
2019
-
Inversion of Nonsmooth Maps between Banach Spaces
Set-Valued and Variational Analysis, Vol. 27, Núm. 4, pp. 921-947
2017
-
Automated convective and stratiform precipitation estimation in a small mountainous catchment using X-band radar data in Central Spain
Journal of Hydroinformatics, Vol. 19, Núm. 2, pp. 315-330
-
Proper Hamiltonian cycles in edge-colored multigraphs
Discrete Mathematics, Vol. 340, Núm. 8, pp. 1897-1902
2016
-
Semiflows induced by length metrics: On the way to extinction
Topology and its Applications, Vol. 206, pp. 58-92
2014
-
Un análisis crítico del plan de estudios matemático en los grados de ciencias sociales
Anales de ASEPUMA, Núm. 22
2011
-
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
-
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
-
Virtually generated partial views database: Structure and application
Proceedings of the Fourth IASTED International Conference on Visualization, Imaging, and Image Processing
2003
-
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
-
SPBC: A Markovian extension of finite petri box calculus
Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001
2000
-
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
-
On non-decidability of reachability for timed-arc Petri nets
Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999
1997
-
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
-
Norm estimates for interpolation methods defined by means of polygons
Journal of Approximation Theory, Vol. 80, Núm. 3, pp. 321-351
1994
-
A duality theorem for interpolation methods associated to polygons
Proceedings of the American Mathematical Society, Vol. 121, Núm. 4, pp. 1093-1101
1993
-
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
1991
-
Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems
Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991