The following pages link to Omar Inverso (Q515663):
Displaying 11 items.
- On the path-width of integer linear programming (Q515665) (← links)
- (Q4995360) (← links)
- Verifying Properties of Systems Relying on Attribute-Based Communication (Q5047043) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- Bit-precise verification of discontinuity errors under fixed-point arithmetic (Q6045065) (← links)
- Intuitive modelling and formal analysis of collective behaviour in foraging ants (Q6118954) (← links)
- Process algebras and flocks of birds (Q6163900) (← links)
- Tight Error Analysis in Fixed-point Arithmetic (Q6177466) (← links)
- Building international doctoral schools in computer science in Italy, De Nicola's way (Q6199099) (← links)
- Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems (Q6431297) (← links)
- Tight Error Analysis in Fixed-Point Arithmetic (Q6487933) (← links)
