Collaborated with:J.Kretínský N.Paoletti R.Calinescu S.Gerasimou M.Kwiatkowska J.Matyás V.Mrazek L.Sekanina Z.Vasícek T.Vojnar L.Cardelli M.Fränzle M.Z.Kwiatkowska L.Laurenti M.Whitby
Talks about:synthesi (2) reaction (2) network (2) design (2) chemic (2) parametr (1) approxim (1) abstract (1) softwar (1) quantit (1)
Person: Milan Ceska 0002
DBLP: 0002:Milan_Ceska
Contributed to:
201720182019
2017Wrote 4 papers:
- CAV-2017-CardelliCFKLPW #network #synthesis
- Syntax-Guided Optimal Synthesis for Chemical Reaction Networks (LC, MC0, MF, MZK, LL, NP, MW), pp. 375–395.
- CAV-2018-CeskaMMSVV #approximate #automation #design #named
- ADAC: Automated Design of Approximate Circuits (MC0, JM, VM, LS, ZV, TV), pp. 612–620.
- CAV-2019-CeskaK #abstraction #analysis #network
- Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (MC0, JK), pp. 475–496.
- ICSA-2017-CalinescuCGKP #design #markov #parametricity #robust #synthesis
- Designing Robust Software Systems through Parametric Markov Chain Synthesis (RC, MC0, SG, MK, NP), pp. 131–140.