Publications
Filters: First Letter Of Title is A [Clear All Filters]
[RP-80-09] Autómata programable multicomputador. Valoración de su capacidad de tratamiento. :609-630.
.
1980.
.
1984.
[975] Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
.
1985.
[RP-86-12] Almacenamiento de imágenes en un computador PDP-11/34. :67-76.
.
1986.
[RP-87-03] Aproximación a los robots inteligentes. :265-279.
.
1987.
[1348] Análisis structural de redes de Petri, programación lineal y geometría convexa. Departamento de Ingeniería Eléctrica e Informática. Tesis Doctoral
.
1989.
[AESETPBI] Almost every set in exponential time is P-bi-immune. 629:392-400.
.
1992.
[RP-92-10] An aproximation method for the performance analysis of manufacturing systems based on GSPNs. :46-55.
.
1992.
[RP-92-13] Approximate throughput computation of stochastic marked graphs. Journal of Parallel and distributed computing. 15:282-295.
.
1992.
[1058] Analysis Tools Applied to VHDL. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):597-604.
.
1993.
[MayAESET] Almost every set in exponential time is P bi immune. Theoretical Computer Science. 136:487-506.
.
1994.
[BBBCC-QMIPS-94] Annotated Bibliography on Stochastic Petri Nets. 105:25-44.
.
1994.
[360] 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.
.
1994.
[247] Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Transactions on Software Engineering. 20(7):526-535.
.
1994.
[239] Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
.
1995.
.
1996.
[1079] Automatic Synthesis of Colored Petri Nets for the Control of FMS. IEEE Transactions on Robotics and Automation. 13(3):327-337.
.
1997.
[IPReTeSi99] Autonomous Continuous PT systems. 1639:107-126.
.
1999.
[1328] Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science. 2075
.
2001.
[MCM-WINET03] Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
.
2003.
[PJCS-RR69-2005] Approximate Throughput Computation of Stochastic Weighted T-Systems.
.
2005.
[GMM06] ArgoSPE: Model-based software performance engineering. 4024:401-410.
.
2006.
.
2006.
[1400] Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. Computability in Europe 2007.
.
2007.
[PJCS-TSCM07] Approximate Throughput Computation of Stochastic Weighted T-Systems. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans. 37:431-444.
.
2007.