The following pages link to Lasse S. Jensen (Q1662529):
Displaying 5 items.
- Extended dependency graphs and efficient distributed fixed-point computation (Q1662534) (← links)
- (Q2423758) (redirect page) (← links)
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← links)
- A Distributed Fixed-Point Algorithm for Extended Dependency Graphs* (Q4686522) (← links)
- (Q5442291) (← links)
