Publications
Filters: First Letter Of Last Name is A [Clear All Filters]
[CelayaAGRID06] YA: Fast and Scalable Discovery of Idle CPUs in a P2P Network. :49-55.
.
2006.
[1246] YA: Fast and Scalable Discovery of Idle CPUs in a P2P network. 7th IEEE/ACM International Conference on Grid Computing.
.
2006.
[1304] 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.
.
2011.
[1484] Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
.
2014.
[1333] Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.
.
2003.
.
2010.
[CelayaAHPCC06] Scalable Architecture for Allocation of Idle CPUs in a P2P Network. :240-249.
.
2006.
[1247] Scalable Architecture for Allocation of Idle CPUs in a P2P Network. 2nd International Conference on High Performance Computing and Communications.
.
2006.
[AmbMay97] Resource Bounded Measure and Randomness. :1-47.
.
1997.
[AMWZ96] Resource bounded balanced genericity stochasticity and weak randomness. 1046:63-74.
.
1996.
[1330] The Resource Allocation Problem in Flexible Manufacturing Systems. Application and Theory of Petri Nets 2003. :23-35.
.
2003.
[1256] Qualitative versus Quantitative Techniques in a Petri net settings. Buletinul Institutului Politehnic din Iasi. Tomul LV (LIX), Fasc. 4:35-46.
.
2009.
[AMMP08] Pushdown compression. :39-48.
.
2008.
[1412] PHYSER: An Algorithm to Detect Sequencing Errors from Phylogenetic Information. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
.
2012.
[RP-86-03] Petri nets for the specification of FMSs. :389-406.
.
1986.
[1326] Petri Net Approaches for Modelling and Validation. Lincom Studies in Computer Science. 1
.
2003.
[1527] Performance Evaluation of Dynamic Binary Instrumentation Frameworks. IEEE Latin America. 12(8):9.
.
2014.
[238] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
.
1995.
[245] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Performance Evaluation of parallel and distributed systems. Solution Methods. :197-213.
.
1994.
[250] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. IEEE 5th International Workshop on Petri Nets and Performance Models (PNPM'93). :128-137.
.
1993.
[1541] Operation Planning of Elective Patients in an Orthopedic Surgery Department. 2nd International Workshop on Models and Methods for healthcare systems management and planning (M2H) in ETFA 2016. Abstract
.
2016.
[IPHaReSi06] On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
.
2006.
[1515] A model-based approach for the specification and verification of clinical guidelines. Workshop on Models and Methods for Hospital Management and Planning, at 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
.
2014.
[ICTeSi93] Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993. 691:415-432.
.
1993.
[1280] An Iterative Control Method for Distributed Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
.
2010.