Publications
Filters: First Letter Of Last Name is P [Clear All Filters]
.
2008.
[AMMP08] Pushdown compression. :39-48.
.
2008.
[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.
[1390] Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. :17.
.
2007.
[1396] Table-based Recursive Method for Function Evaluation. International Conference of Numerical Analysis and Applied Mathematics 2007.
.
2007.
[1398] Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
.
2007.
[RCDM2006] Review and Initial Contributions to the Formal Modeling of Service-oriented Architectures in FMS2010.
.
2006.
[1312] Resource Allocation Systems: Some complexity results on the $S^4PR$ class. Formal Techniques for Networked and Distributed Systems – FORTE 2006. 4229:323-339.
.
2006.
.
2006.
[RP05] Supervisión y Control de Tiempos en Sistemas: experiencia en una Célula Flexible de Fabricación. :8.
.
2005.
[WPPSIM-WOSP-05] Performance by Unified Model Analysis (PUMA). :1-12.
.
2005.
[PJCS-RR69-2005] Approximate Throughput Computation of Stochastic Weighted T-Systems.
.
2005.
[EzGP-03] COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
.
2003.
[03_TFP_IToSE] Well-defined generalized stochastic petri nets: a net-level method to specify priorities. Software Engineering, IEEE Transactions on. 29:962-973.
.
2003.
.
2002.
[LutMayTPRBM] Twelve problems in resource bounded measure. :83-101.
.
2001.
.
2000.
[PJC-PNPM99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :32-41.
.
1999.
[PJC-JJCC99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :249-268.
.
1999.
[IPTeFrDe99] Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
.
1999.
.
1998.
[RMBP-98] Una Herramienta de Generación Automática de Software. :157-169.
.
1998.
[ICSiTeVaPi98] Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
.
1998.
[PIPRM-97] OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
.
1997.
.
1996.