The following pages link to Laura Semini (Q511934):
Displayed 8 items.
- An experience in using machine learning for short-term predictions in smart transportation systems (Q511935) (← links)
- A refinement calculus for tuple spaces (Q1806133) (← links)
- Mark, a reasoning kit for mobility (Q1857293) (← links)
- Language and communication problems in formalization: a natural language approach (Q2117584) (← links)
- A proposal to merge Multiple Tuple Spaces, Object Orientation, and Logic Programming (Q3124455) (← links)
- Logic–Based Detection of Conflicts in Appel Policies (Q3508531) (← links)
- (Q3601414) (← links)
- Coordination Models and Languages (Q5717730) (← links)