Publications
Filters: First Letter Of Last Name is B [Clear All Filters]
[1558] Sample Gathering Problem for Different Robots with Limited Capacity. ICSTCC'2016: 20th International Conference on System Theory, Control and Computing.
.
2016.
[BuhMay97] An excursion to the Kolmogorov random strings. Journal of Computer and System Sciences. 54:393-399.
.
1997.
[BuhMay95] An excursion to the Kolmogorov random strings. :197-203.
.
1995.
[1027] Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures. P.D. COM'91 IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems. :37-38.
.
1991.
[1050] Petri net based Modelling, Analysis and Simulation of Pipelined Architectures. Parallel and Distributed Computing in Engineering Systems. :35-40.
.
1992.
[1069] Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. Application and Theory of Petri Nets 1994. :99-118.
.
1994.
[1070] Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions. 1994 IEEE International Conference on System, Man and Cybernetics. 2:1671-1676.
.
1994.
[BooMay96] On the robustness of ALMOST R. Rairo Informatique Theorique et Applications. 30:123-133.
.
1996.
[1268] Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
.
2010.
[1321] Predictive Maintenance Manager design pattern for component based machine tools. IEEE 9th International Conference on Industrial Informatics (INDIN’2011).
.
2011.
[1371] Control software for a cutting glass machine tool built using the COSME platform. A case study. 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).
.
2011.
[1372] Communication types for manufacturing systems. A proposal to Distributed Control System based on IEC 61499. 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).
.
2011.
[1373] IEC 61499 execution model based on life cycle of function blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1374] Design patterns for Failure Management in IEC 61499 Function Blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1376] COSME: A Distributed Control Platform for Communicating Machine Tools in Agile Manufacturing Systems. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
.
2011.
[1377] "Predictive Maintenance Surveyor" Design Pattern for Machine Tools Control Software Applications. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
.
2011.
[1384] Control design for machine tools using Domiciano, an IDE based on software components. 16th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2011).
.
2011.
.
2009.
.
2010.
[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.
[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.
[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.
[1322] Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
.
2011.
[1369] Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinformatics. 12:174(29pp.).
.
2011.