Publications
Filters: First Letter Of Last Name is R [Clear All Filters]
[1369] Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinformatics. 12:174(29pp.).
.
2011.
[ARMARARESI08] Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering. 5:307-320.
.
2008.
[ARJuReSi05] Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
.
2005.
[ARReTeSi01] Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.
.
2001.
[1475] Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 10(4):1058-1070. Abstract
.
2013.
[ZRS-JIM-01] A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
.
2001.
[FeLuMaRe05] Weakly useful sequences. Information and Computation. 197:41-54.
.
2005.
[PBMRI-96] Descripción de la Herramienta CASE OO-Method. :47.
.
1996.
[TRMaGiReSeSi07] Optimal model predictive control of Timed Continuous Petri nets.
.
2008. .
2006.