Publications
] Filters: First Letter Of Title is R [Clear All Filters]
[1564] .
2017. RMTool: recent enhancements. IFAC WC'2017: 20th World Congress of the International Federation of Automatic Control. Abstract
[1369] .
2011. Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinformatics. 12:174(29pp.).
[BML-EDCC-10] .
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.
[1313] .
2010. The Resource Allocation Problem In Software Applications: A Petri Net Perspective. International Workshop on Petri Nets and Software Engineering PNSE'10,. :7-21.
[1308] .
2010. Resource-bounded Dimension in Computational Learning Theory. arXiv.
[RCDM2006] .
2006. Review and Initial Contributions to the Formal Modeling of Service-oriented Architectures in FMS2010.
[1312] .
2006. Resource Allocation Systems: Some complexity results on the $S^4PR$ class. Formal Techniques for Networked and Distributed Systems – FORTE 2006. 4229:323-339.
[1403] .
2006. The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. Computability in Europe 2006.
[IPJiJuReSi04] .
2004. Relaxed Continuous Views of Discrete Event Systems: considerations in Forrester Diagrams and Petri Nets. :4897-4904.
[1330] .
2003. The Resource Allocation Problem in Flexible Manufacturing Systems. Application and Theory of Petri Nets 2003. :23-35.
[C-MATCH23-98] .
1998. Response Time Approximation for Stochastic Marked Graphs. :797-817.
[AmbMay97] .
1997. Resource Bounded Measure and Randomness. :1-47.
[AMWZ96] .
1996. Resource bounded balanced genericity stochasticity and weak randomness. 1046:63-74.
[RP-92-06] .
1992. Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs. :1000-1005.
[RP-92-34] .
1992. A rule-Petri net integrated approach for the modeling and analysis of manufacturing systems. :349-358.
[262] .
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.
[RP-90-12] .
1990. A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
[RP-86-05] .
1986. Robot programming and robot vision. :11-29.
[RP-85-13] .
1985. Robot control using a Shooting Technique: The continuous case. :379-384.
[RP-84-03] .
1984. A robot programming and control system. :92-97.
[RP-82-01] .
1982. Realización cableada de redes de Petri binarias. 6:151-155.
[RP-81-03] .
1981. Realización cableada de redes de Petri: Un equipo para prácticas. :215-230.
