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.
[IPJiJuReSi04] Relaxed Continuous Views of Discrete Event Systems: considerations in Forrester Diagrams and Petri Nets. :4897-4904.
.
2004.
[RCDM2006] Review and Initial Contributions to the Formal Modeling of Service-oriented Architectures in FMS2010.
.
2006.
[RP-86-05] Robot programming and robot vision. :11-29.
.
1986.
[ICReTeSi96] SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
.
1996.
[RP-82-02] A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
.
1982.
[1407] Sliced Model Checking for Phylogenetic Analysis. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
.
2012.
[915] A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. 11th European Simulation Symposium (ESS’99). Simulation in Industry. :542-546.
.
1999.
[1467] Speeding Up Phylogenetic Model Checking. 7th International Conference on Practical Applications of Computational Biology and Bioinformatics. 222:119-126. Abstract
.
2013.
[IPCaGiMaReSeSi07] State Estimation of Petri Nets by Transformation. :194-199.
.
2007.
[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.
[IPMaRaReSi05] Steady state control, zero valued poles and token conservation laws in continuous net systems.
.
2005.
[IPReJuSi02] Steady State Performance evaluation for some continuous Petri nets. :N479.
.
2002.
[ARJuReSi05] Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
.
2005.
[IPVaReSi08] Stochastic-Continuous State Approximation of Markovian Petri Net Systems. IEEE Conference on Decision and Control.
.
2008.
[CS-LNCS-92] Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
.
1992.
[ARReTeSi01] Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.
.
2001.
.
2005.
[1320] Temporal Logics for Phylogenetic Analysis via Model Checking. Workshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10). :152-157.
.
2010.
[1475] Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 10(4):1058-1070. Abstract
.
2013.
[RoIndin06] Time and Supervisory Control of Manufacturing Systems: a Flexible Manufacturing Cell experience. :CD-Rom.
.
2006.
[1510] Timed and Probabilistic Model Checking over Phylogenetic Trees. 8th International Conference on Practical Applications of Computational Biology & Bioinformatics . Abstract
.
2014.
[IPVaMaMiReSi08] Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
.
2008.
[ICEsSi91b] Top-Down Synthesis of Live and Bounded Free Choice Nets. Advances in Petri Nets 91. 524:118-139.
.
1991.
[RP-91-30] Top-down synthesis of live and bounded free choice nets. 524:118-139.
.
1991.