The following pages link to Marcelo S. Sousa (Q666031):
Displayed 8 items.
- An adaptive multi-policy grid service for biological sequence comparison (Q666033) (← links)
- (Q2050100) (redirect page) (← links)
- Quasi-optimal partial order reduction (Q2050101) (← links)
- Abstract interpretation with unfoldings (Q2164221) (← links)
- Independence Abstractions and Models of Concurrency (Q2961560) (← links)
- Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
- Unfolding-based Partial Order Reduction (Q5357723) (← links)
- Quasi-optimal partial order reduction (Q6043165) (← links)