Publications

Export 663 results:
Sort by: Author [ Title (Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
[HiLoMa04] Hitchcock, JM, López-Valdés M, Mayordomo E.  2004.  Scaled dimension and the Kolmogorov complexity of Turing-hard sets. 3153:476-487.
[sdkcthsR] Hitchcock, JM, López-Valdés M, Mayordomo E.  2008.  Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. Theory of Computing Systems. 43:471-497.
[SDIS] López-Valdés, M.  2006.  Scaled dimension of invidual strings.
[ICReTeSi96] Recalde, L, Teruel E, Silva M.  1996.  SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
[RP-92-26] Silva, M, Muro P.  1992.  Scheduling en celdas autónomas de ensamblaje basado en un algoritmo de tiempo mínimo en RdP. :55-60.
[1532] Gómez-Martínez, E, Linaje M, Sanchez-Figueroa F, Iglesias-Pérez A, Preciado JC, González-Cabero R, Merseguer J.  2015.  A Semantic Approach for Designing Assistive Software Recommender Systems. Journal of Systems and Software. 104
[1283] Julvez, J, Mahulea C.  2010.  SimHPN: a MATLAB toolbox for continuous Petri nets. 10th International Workshop on Discrete Event Systems.
[1451] Julvez, J, Vazquez CR, Mahulea C.  2012.  SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets. Nonlinear Analysis: Hybrid Systems. 6(2):817.
[RP-81-07] Martínez, J, Silva M.  1981.  A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
[RP-82-02] Martínez, J, Silva M.  1982.  A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
[RP-80-01] Silva, M.  1980.  Simplification des réseaux de Petri par élimination des places implicites. Digital Processes. :245-256.
[RP-85-10] Villarroel, JL, Silva M.  1985.  Sistema de programación y control de robots con visión artificial. :66-69.
[RP-80-03] Silva, M, Velilla S.  1980.  Sistema especializado en la simulación de redes de Petri sanas. :81-88.
[RP-83-05] Silva, M, Velilla S.  1983.  Sistema manipulador-visión: Aplicaciones no convencionales. :11-28.
[RP-82-05] Silva, M.  1982.  Sistemas concurrentes descritos con RdP: Validación asistida por computador. :126-134.
[LMT-91] Luciañez, JM, Merseguer J, Torralba JM.  1991.  Sistemas de ayuda a las decisiones. Metodología de desarrollo de aplicaciones.
[RP-87-08] Montano, L, Silva M.  1987.  Sistemas modernos de programación de robots. :25-52.
[LG03RR1] López-Grao, JP.  2003.  Sketching architectural concerns on distributed discrete event simulation based on Petri Nets.
[1407] Requeno, JI, Blanco R, de Miguel G, Colom JM.  2012.  Sliced Model Checking for Phylogenetic Analysis. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[RP-81-06] Martínez, J, Silva M.  1981.  Sobre la obtención del conjunto de componentes elementales de una RdPG. :287-296.
[RP-82-03] Silva, M, Velilla S.  1982.  Sobre la obtención del conjunto de componentes elementales de una RdPG. 6:155-160.
[PMM-QoSA11b] Perez-Palacin, D, Mirandola R, Merseguer J.  2011.  Software Architecture Adaptability Metrics for QoS-based Self-Adaptation. Quality of Software Architectures.
[RP-86-08] Silva, M, Martínez J.  1986.  A software environment for systems design with HLPN and their implementations. :95-127.
[1395] de-Miguel-Casado, G, García-Chamizo JM.  2008.  A Software Library for Reliable Online-Arithmetic with Rational Numbers. Dagstuhl Seminar 08021 - Numerical Validation in Current Hardware Architectures.
[Merse-Phd] Merseguer, J.  2003.  Software Performance Engineering based on UML and Petri nets.