BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: 0002:Milan_Ceska

Contributed to:

CAV (2) 20172017
CAV (1) 20182018
CAV (1) 20192019
ICSA 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.