Publications

Export 26 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is R  [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]
R
[262] Campos, J, Colom JM.  1991.  A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets. 12th International Conference on Application and Theory of Petri Nets. :237-256.
0 icon
91_CC_Gjern.ps
[RP-81-05] Silva, M, Velilla S.  1981.  Realización cableada de redes de Petri binarias. :265-275.
[RP-82-01] Silva, M, Velilla S.  1982.  Realización cableada de redes de Petri binarias. 6:151-155.
[RP-81-03] Silva, M, Velilla S.  1981.  Realización cableada de redes de Petri: Un equipo para prácticas. :215-230.
[1369] Mayordomo, E, Blanco R, Montoya J, Ruiz-Pesini E.  2011.  Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinformatics. 12:174(29pp.).
[RP-90-12] Valette, R, Silva M.  1990.  A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
[RP-80-07] Silva, M.  1980.  Redes de Petri y validación de sistemas con actividades concurrentes. :xx.
[IPJiJuReSi04] Jimenez, E, Julvez J, Recalde L, Silva M.  2004.  Relaxed Continuous Views of Discrete Event Systems: considerations in Forrester Diagrams and Petri Nets. :4897-4904.
0 icon
final_SMC04.pdf
[BML-EDCC-10] Bernardi, S, Merseguer J, Lutz RR.  2010.  Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile. Eighth European Dependable Computing Conference (EDCC'10). :95-104.
application/postscript icon
BML-EDCC10.ps
[1428] WANG, L.  2012.  Report: Decentralized Control of Continuous Petri Nets.
application/pdf icon
report_dc_v3.pdf
[1429] Wang, L.  2012.  Report: Decentralized Control of Continuous Petri Nets.
application/pdf icon
report_dc_v3.pdf
[1330] Colom, JM.  2003.  The Resource Allocation Problem in Flexible Manufacturing Systems. Application and Theory of Petri Nets 2003. :23-35.
[1313] López-Grao, JP, Colom JM.  2010.  The Resource Allocation Problem In Software Applications: A Petri Net Perspective. International Workshop on Petri Nets and Software Engineering PNSE'10,. :7-21.
application/pdf icon
10_LGC_PNSE.pdf
[1312] López-Grao, JP, Colom JM.  2006.  Resource Allocation Systems: Some complexity results on the $S^4PR$ class. Formal Techniques for Networked and Distributed Systems – FORTE 2006. 4229:323-339.
application/pdf icon
06_LGC_FORTE.pdf
[AMWZ96] Ambos-Spies, K, Mayordomo E, Wang Y, Zheng X.  1996.  Resource bounded balanced genericity stochasticity and weak randomness. 1046:63-74.
0 icon
96_ASMWZ_STACS.ps
[AmbMay97] Ambos-Spies, K, Mayordomo E.  1997.  Resource Bounded Measure and Randomness. :1-47.
0 icon
97_ASM_LNPAM.ps
[1308] Gavaldà, R, López-Valdés M, Mayordomo E, Vinodchandran NV.  2010.  Resource-bounded Dimension in Computational Learning Theory. arXiv.
[C-MATCH23-98] Campos, J.  1998.  Response Time Approximation for Stochastic Marked Graphs. :797-817.
[RP-92-06] Sánchez, B, Silva M.  1992.  Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs. :1000-1005.
[PJC-98] Pérez-Jiménez, CJ, Campos J.  1998.  A Response Time Approximation Technique for Stochastic General PT Systems.
0 icon
98_PJC.ps
[RCDM2006] Rodríguez, D, Popescu C, Delamer I, Martinez-Lastra.  2006.  Review and Initial Contributions to the Formal Modeling of Service-oriented Architectures in FMS2010.
[RP-85-13] Pardos, P, Montano L.  1985.  Robot control using a Shooting Technique: The continuous case. :379-384.
[RP-84-03] Pardos, P, Silva M.  1984.  A robot programming and control system. :92-97.
[RP-86-05] Silva, M, Roy A.  1986.  Robot programming and robot vision. :11-29.
[1403] de-Miguel-Casado, G, García-Chamizo JM.  2006.  The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. Computability in Europe 2006.