Bounded Mean-Delay Throughput and Non-Starvation Conditions in Aloha Network

Bounded Model Checking of Multi-threaded Software using SMT solvers

Bounded Multivariate Surfaces On Monovariate Internal Functions

Bounded orbits in the elliptic restricted three-body problem.

Bounded Parikh Automata

Bounded Pushdown dimension vs Lempel Ziv information density

Bounded radial geodesics around a Kerr-Sen black hole

Bounded Rationality in Concurrent Parity Games

Bounded Rationality, Strategy Simplification, and Equilibrium

Bounded Reachability for Temporal Logic over Constraint Systems

Bounded Satisfiability for PCTL

Bounded Search Tree Algorithms for Parameterized Cograph Deletion: Efficient Branching Rules by Exploiting Structures of Special Graph Classes

Bounded Termination of Monotonicity-Constraint Transition Systems

Bounded Underapproximations

Bounded-Distance Network Creation Games

Bounding Interference in Wireless Ad Hoc Networks with Nodes in Random Position

Bounding Procedures for Stochastic Dynamic Programs with Application to the Perimeter Patrol Problem

Bounding Rationality by Discounting Time

Bounding the Bias of Tree-Like Sampling in IP Topologies

Bounding the Fat Shattering Dimension of a Composition Function Class Built Using a Continuous Logic Connective