Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
.
2009.
[1252] Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
.
2009.
[1250] Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
[1251] Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
[1257] Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems. 19(2):212.
.
2009.
[1256] Qualitative versus Quantitative Techniques in a Petri net settings. Buletinul Institutului Politehnic din Iasi. Tomul LV (LIX), Fasc. 4:35-46.
.
2009.
.
2009.
.
2009.
[1301] Curves that must be retraced. Sixth International Conference on Computability and Complexity in Analysis (CCA 2009).
.
2009.
[1305] Special Issue: Computation and Logic in the Real World. Theory of Computing Systems. 45(4)
.
2009.
[1309] Exhaustive mitochondrial phylogenetics: challenges and solutions. 9th Workshop on Algorithms in Bioinformatics (WABI 2009).
.
2009.
[1310] Building maintainable, exhaustive human mitochondrial phylogenies. 17 Annual International Conference on Intelligent Systems for Molecular Biology/8th European Conference.
.
2009.
[1370] Computational framework for behavioural modelling of neural subsystems. Neurocomputing. 72(7-9):1667.
.
2009.
[1393] Table-based Method for Reconfigurable Function Evaluation. 23rd IEEE International Symposium on Parallel and Distributed Processing (IPDPS) 2009.
.
2009.
[BMP-Models-08] Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
.
2008.
[ARMAGIRESESI08] Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
.
2008.
.
2008.
[IPVaRaReSi08] On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
.
2008.
.
2008.
.
2008.
[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.
[IPKLMA08] Formal analysis of timed continuous Petri net.
.
2008.
[IPVaMaMiReSi08] Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
.
2008.
[DPSSFc] Dimensions of Points in Self-Similar Fractals. 5092:215-224.
.
2008.
[sdkcthsR] Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. Theory of Computing Systems. 43:471-497.
.
2008.