Publications

Export 38 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Title is A  [Clear All Filters]
[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   [Show ALL]
C
[239] Campos, J, Colom JM, Jungnitz H, Silva M.  1995.  Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
[247] Campos, J, Colom JM, Jungnitz H, Silva M.  1994.  Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Transactions on Software Engineering. 20(7):526-535.
0 icon
94_CCJS_TSE.ps
R
[IPReTeSi99] Recalde, L, Teruel E, Silva M.  1999.  Autonomous Continuous PT systems. 1639:107-126.
0 icon
99_RTS_ICATPN.pdf
S
[360] Silva, M, Teruel E.  1994.  Analysis of Autonomous Petri Nets with Bulk Services and Arrivals. 11th Int. Conf. on Analysis and Optimization of Systems. Discrete Event Systems. 199:131-143.
[RP-80-09] Silva, M.  1980.  Autómata programable multicomputador. Valoración de su capacidad de tratamiento. :609-630.
M
[975] Martínez, J, Colom JM, Silva M.  1985.  Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
T
[RP-87-03] Tardós, Silva M.  1987.  Aproximación a los robots inteligentes. :265-279.
J
[RP-92-10] Jungnitz, H, Silva M.  1992.  An aproximation method for the performance analysis of manufacturing systems based on GSPNs. :46-55.
S
[RP-92-13] Sánchez, B, Silva M.  1992.  Approximate throughput computation of stochastic marked graphs. Journal of Parallel and distributed computing. 15:282-295.
K
[1278] Kloetzer, M, Mahulea C, Belta C, Silva M.  2010.  An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
A
[1279] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2010.  Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.
U
[Urc06] Urcola, P.  2006.  Algoritmos de compresión para secuencias biológicas y su aplicación en árboles filogénicos construidos a partir de ADN mitocondrial.
0 icon
pfcUrcolaCorto2.pdf
V
[RP-86-12] Velilla, S, Roy A.  1986.  Almacenamiento de imágenes en un computador PDP-11/34. :67-76.