1. The combinatorics of resource sharing;Barbosa,2002
2. A graph-theoretic characterization of AND-OR deadlocks;Barbosa,1998
3. Deadlock models in distributed computation: foundations, design, and computational complexity;Barbosa,2016
4. Width parameterizations for knot-free vertex deletion on digraphs;Bessy,2019
5. A ĉkn 5-approximation algorithm for treewidth;Bodlaender;SIAM J. Comput.,2016