Publications
Filters: First Letter Of Title is A [Clear All Filters]
[975] .
1985. Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
[AESETPBI] .
1992. Almost every set in exponential time is P-bi-immune. 629:392-400.
[MayAESET] .
1994. Almost every set in exponential time is P bi immune. Theoretical Computer Science. 136:487-506.
[RP-86-12] .
1986. Almacenamiento de imágenes en un computador PDP-11/34. :67-76.
[Urc06] .
2006. Algoritmos de compresión para secuencias biológicas y su aplicación en árboles filogénicos construidos a partir de ADN mitocondrial.
[1413] .
2012. An algorithm to compute the minimal siphons in S4PR nets. Discrete Event Dynamic Systems. 22(4):403-428.
[1319] .
2010. An Algorithm to Compute the Minimal Siphons in $S^4PR$ Nets. 10th International Workshop on Discrete Event Systems (WODES’2010). :18-23.
[1400] .
2007. Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. Computability in Europe 2007.
[BMP-Models-08] .
2008. Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
[RJ_EPEW10] .
2010. Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing. EPEW'10: Proceedings of the 7th European Performance Engineering Workshop. 6342:175--190. Abstract
]