Filters: First Letter Of Title is B [Clear All Filters]
 Bounded Pushdown dimension vs Lempel Ziv information density. arXiv.. 2007.
[RP-92-12] B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. Journal of Computer and System Sciences. 44:447-477.. 1992.
 A Banker's Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States. IEEE Transactions on Robotics and Automation. 18(4):621-625.. 2002.
 Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems. 19(2):212.. 2009.
[RP-85-04] Binary-decision graphs for implementation of boolean functions. IEE Proceedings. :175-185.. 1985.
 A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs. 1995 IEEE International Conference on Systems, Man and Cybernetics. 4:3451-3456.. 1995.
 Building maintainable, exhaustive human mitochondrial phylogenies. 17 Annual International Conference on Intelligent Systems for Molecular Biology/8th European Conference.. 2009.