S. Akshay
发表
P. S. Thiagarajan,
Blaise Genest,
Sucheendra K. Palaniappan,
2011,
CMSB.
Madhavan Mukund,
K. Narayan Kumar,
S. Akshay,
2007,
CONCUR.
R. Priyanka,
S. Akshay,
P. Apoorva,
2018
.
Supratik Chakraborty,
Ashutosh Trivedi,
Ajith K. John,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Loïc Hélouët,
Shaofa Yang,
Blaise Genest,
2012,
Inf. Process. Lett..
Loïc Hélouët,
Pierre-Alain Reynier,
Claude Jard,
2016,
Fundam. Informaticae.
Supratik Chakraborty,
Shubham Goel,
S. Akshay,
2018,
CAV.
Patricia Bouyer,
Ashutosh Trivedi,
Shankara Narayanan Krishna,
2016,
MFCS.
Paul Gastin,
Madhavan Mukund,
K. Narayan Kumar,
2010,
FSTTCS.
Paul Gastin,
Shankara Narayanan Krishna,
S. Akshay,
2017,
CONCUR.
Blaise Genest,
S. Akshay,
Alin Stefanescu,
2013,
FSTTCS.
Nathalie Bertrand,
Loïc Hélouët,
Serge Haddad,
2013,
QEST.
Event clock message passing automata: a logical characterization and an emptiness checking algorithm
Benedikt Bollig,
Paul Gastin,
S. Akshay,
2013,
Formal Methods Syst. Des..
Utkarsh Gupta,
Preey Shah,
S. Akshay,
2019,
FoSSaCS.
Paul Gastin,
Vincent Jugé,
Shankara Narayanan Krishna,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Supratik Chakraborty,
Sai Sandeep,
Ankush Das,
2017,
CONCUR.
Blaise Genest,
S. Akshay,
Nikhil Vyas,
2016,
STACS.
S. Karthika,
S. Akshay,
K. Nayana,
2015
.
Paul Gastin,
Shankara Narayanan Krishna,
S. Akshay,
2016,
CONCUR.
Loïc Hélouët,
Madhavan Mukund,
S. Akshay,
2014,
2014 14th International Conference on Application of Concurrency to System Design.
Blaise Genest,
S. Akshay,
Nikhil Vyas,
2018,
LICS.
Loïc Hélouët,
Ramchandra Phawade,
S. Akshay,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
Benedikt Bollig,
Paul Gastin,
Madhavan Mukund,
2008,
CONCUR.
Supratik Chakraborty,
Ajith K. John,
S. Akshay,
2017,
TACAS.
Loïc Hélouët,
Shaofa Yang,
Blaise Genest,
2012,
ICTAC.
Benedikt Bollig,
Paul Gastin,
S. Akshay,
2007,
FSTTCS.
P. S. Thiagarajan,
Bing Liu,
Blaise Genest,
2012,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Loïc Hélouët,
Blaise Genest,
S. Akshay,
2016,
Petri Nets.
P. S. Thiagarajan,
Manindra Agrawal,
Blaise Genest,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
S. Akshay,
S. Thomas,
A. Ram Prashanth,
2016
.
Loïc Hélouët,
Didier Lime,
Olivier H. Roux,
2012,
FORMATS.
Joël Ouaknine,
James Worrell,
Timos Antonopoulos,
2015,
Inf. Process. Lett..
Paul Gastin,
Madhavan Mukund,
K. Narayan Kumar,
2015,
Theor. Comput. Sci..
Loïc Hélouët,
Pierre-Alain Reynier,
Claude Jard,
2012,
RP.
S. Akshay,
Nikhil Balaji,
Nikhil Vyas,
2017,
MFCS.
Paul Gastin,
Shankara Narayanan Krishna,
S. Akshay,
2016,
CONCUR.
Supratik Chakraborty,
S. Akshay,
2021,
ArXiv.
Supratik Chakraborty,
Aman Bansal,
Preey Shah,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Sanjit A. Seshia,
Hazem Torfah,
S. Akshay,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
Paul Gastin,
S. Akshay,
Karthik R Prakash,
2021,
CAV.