Travelled to:1 × USA
Collaborated with:T.v.d.Storm J.J.Vinju U.Tikhonova T.Degueule
Talks about:model (2) all (2) constraint (1) unbound (1) migrat (1) state (1) relat (1) bound (1) time (1) live (1)
Person: Jouke Stoel
DBLP: Stoel:Jouke
Contributed to:
2018
2019Wrote 2 papers:
- SLE-2018-TikhonovaSSD #constraints #migration #modelling #runtime
- Constraint-based run-time state migration for live modeling (UT, JS, TvdS, TD), pp. 108–120.
- Onward-2019-StoelSV #bound #named #relational
- AlleAlle: bounded relational model finding with unbounded data (JS, TvdS, JJV), pp. 46–61.