Travelled to:1 × Canada
1 × United Kingdom
Collaborated with:U.Montanari M.Sammartino J.Keznikl T.Bures F.Plasil I.Gerostathopoulos P.Hnetynka
Talks about:program (1) ensembl (1) system (1) invari (1) design (1) compon (1) refin (1) nomin (1) graph (1) dynam (1)
Person: Nicklas Hoch
DBLP: Hoch:Nicklas
Contributed to:
2015
2013Wrote 2 papers:
- GaM-2015-HochMS #graph #programming
- Dynamic Programming on Nominal Graphs (NH, UM, MS), pp. 80–96.
- CBSE-2013-KezniklBPGHH #component #design #invariant #refinement
- Design of ensemble-based component systems by invariant refinement (JK, TB, FP, IG, PH, NH), pp. 91–100.