Collaborated with:
Tim Steenvoorden Nico Naus J.Hage J.M.Jansen R.Plasmeijer
Talks about:
workflow (1) consumpt (1) resourc (1) program (1) predict (1) foundat (1) orient (1) higher (1) formal (1) order (1)
Person: Markus Klinik
DBLP: Klinik:Markus
Contributed to:
Wrote 2 papers:
- PEPM-2017-KlinikHJP #higher-order #predict #workflow
- Predicting resource consumption of higher-order workflows (MK, JH, JMJ, RP), pp. 99–110.
- PPDP-2019-SteenvoordenNK #formal method #named #programming
- TopHat: A formal foundation for task-oriented programming (TS, NN, MK), p. 13.