The following pages link to Paolo Di Giamberardino (Q952489):
Displaying 12 items.
- Proof nets sequentialisation in multiplicative linear logic (Q952490) (← links)
- On local observer design for LQR problems with tracking (Q2101837) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- On session types and polynomial time (Q2971079) (← links)
- Jump from Parallel to Sequential Proofs: Multiplicatives (Q3613346) (← links)
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- (Q4965859) (← links)
- (Q4994119) (← links)
- Direct Integrability for State Feedback Optimal Control with Singular Solutions (Q5053592) (← links)
- A State Dependent Approach to Resource Allocation Strategies (Q5053624) (← links)
- (Q5420604) (← links)
- (Q5420623) (← links)
