Login / Signup
Somya Mani
ORCID
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 3
Top Topics
Complex Systems
Model Checker
Genetic Algorithm
Formal Methods
Top Venues
CMSB
CoRR
Acta Informatica
</>
Publications
</>
Arnab Bhattacharyya
,
Ashutosh Gupta
,
Lakshmanan Kuppusamy
,
Somya Mani
,
Ankit Shukla
,
Mandayam K. Srivas
,
Mukund Thattai
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system.
Acta Informatica
58 (1-2) (2021)
Ashutosh Gupta
,
Somya Mani
,
Ankit Shukla
Synthesis for Vesicle Traffic Systems.
CoRR
(2018)
Ashutosh Gupta
,
Somya Mani
,
Ankit Shukla
Synthesis for Vesicle Traffic Systems.
CMSB
(2018)