The following pages link to Nicolas Halbwachs (Q1323366):
Displaying 10 items.
- (Q673866) (redirect page) (← links)
- The algorithmic analysis of hybrid systems (Q673868) (← links)
- Some ways to reduce the space dimension in polyhedra computations (Q853727) (← links)
- An experience in proving regular networks of processes by modular model checking (Q1323369) (← links)
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- About synchronous programming and abstract interpretation (Q1818311) (← links)
- A functional model for describing and reasoning about time behaviour of computing systems (Q2265792) (← links)
- Disjunctive relational abstract interpretation for interprocedural program analysis (Q2287076) (← links)
- (Q2758308) (← links)
- (Q2766623) (← links)
