Publications
] Filters: First Letter Of Last Name is A [Clear All Filters]
[1247] .
2006. Scalable Architecture for Allocation of Idle CPUs in a P2P Network. 2nd International Conference on High Performance Computing and Communications.
[1303] .
2010. Scalable Phylogenetics through Input Preprocessing.
[CelayaAGRID06] .
2006. YA: Fast and Scalable Discovery of Idle CPUs in a P2P Network. :49-55.
[1246] .
2006. YA: Fast and Scalable Discovery of Idle CPUs in a P2P network. 7th IEEE/ACM International Conference on Grid Computing.
[1255] .
2010. A Control Method for Timed Distributed Continuous Petri nets. ACC'10: Proceedings of the 2010 conference on American Control Conference.
[1412] .
2012. PHYSER: An Algorithm to Detect Sequencing Errors from Phylogenetic Information. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1304] .
2011. Workflows with model selection: a multilocus approach to phylogenetic analysis. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). 93/2011:39-47.
[1279] .
2010. Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.
[1497] .
2014. A Control Method for Distributed Continuous Mono-T-Semiflow Petri nets. International Journal of Control. 87(2)
[AtHiLuMa06] .
2007. Effective strong dimension in algorithmic information and computational complexity. SIAM Journal on Computing. 37:671-705.
[RP-85-03] .
1985. Generalized Inverses and the Calculation of Symbolic Invariants for Colored Petri Nets. Technique et Science Informatique (TSI). 4:113-126.
[1527] .
2014. Performance Evaluation of Dynamic Binary Instrumentation Frameworks. IEEE Latin America. 12(8):9.
[1484] .
2014. Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
[1307] .
2007. Bounded Pushdown dimension vs Lempel Ziv information density. arXiv.
