S Akshay

Cited by

	All	Since 2019
Citations	740	467
h-index	16	11
i10-index	24	18

120

200820092010201120122013201420152016201720182019202020212022202320242 4 4 12 25 32 26 30 30 54 45 39 57 86 104 84 96

Public access

View all

31 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Paul GastinProfessor, LMF, ENS Paris-SaclayVerified email at lmf.cnrs.fr
Loic HelouetINRIA RennesVerified email at inria.fr
Madhavan MukundChennai Mathematical InstituteVerified email at cmi.ac.in
P.S. ThiagarajanVisiting Professor, Laboratory of Systems Pharmacology, Harvard Medical SchoolVerified email at hms.harvard.edu
Narayan KumarProfessor, Chennai Mathematical InstituteVerified email at cmi.ac.in
Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayVerified email at lsv.ens-cachan.fr
Nikhil VyasPostdoc, Harvard UniversityVerified email at g.harvard.edu
Claude JardProfesseur, Université de Nantes, Directeur Laboratoire des Sciences du Numérique de Nantes (LS2N)Verified email at univ-nantes.fr
Sumith KulalStanford UniversityVerified email at cs.stanford.edu
Kuldeep S. MeelAssociate Professor, University of TorontoVerified email at cs.toronto.edu
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Sucheendra K. PalaniappanSenior Scientist, PhD Computer ScienceVerified email at sbi.jp
Nikhil BalajiIIT DelhiVerified email at cmi.ac.in
Shubham GoelAvataar Inc.Verified email at berkeley.edu
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
Hugo BazilleLaboratoire Recherche et Développement EPITAVerified email at lrde.epita.fr
Preey ShahStanford UniversityVerified email at stanford.edu
Manindra AgrawalProfessor of Computer Science, IIT KanpurVerified email at iitk.ac.in
Timos AntonopoulosResearch Scientist, Yale UniversityVerified email at yale.edu

S Akshay

IIT Bombay

Verified email at cse.iitb.ac.in


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Approximate verification of the symbolic dynamics of Markov chains M Agrawal, S Akshay, B Genest, PS Thiagarajan Journal of the ACM (JACM) 62 (1), 1-34, 2015	69	2015
Reachability problems for Markov chains S Akshay, T Antonopoulos, J Ouaknine, J Worrell Information Processing Letters 115 (2), 155-158, 2015	69	2015
Distributed timed automata with independently evolving clocks S Akshay, B Bollig, P Gastin, M Mukund, KN Kumar Fundamenta Informaticae 130 (4), 377-407, 2014	51*	2014
Sparse hashing for scalable approximate model counting: theory and practice KS Meel, S Akshay Proceedings of the 35th annual ACM/IEEE symposium on logic in computer …, 2020	36	2020
Skolem functions for factored formulas AK John, S Shah, S Chakraborty, A Trivedi, S Akshay 2015 Formal Methods in Computer-Aided Design (FMCAD), 73-80, 2015	36	2015
What’s hard about Boolean functional synthesis? S Akshay, S Chakraborty, S Goel, S Kulal, S Shah Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018	30	2018
Towards parallel Boolean functional synthesis S Akshay, S Chakraborty, AK John, S Shah International Conference on Tools and Algorithms for the Construction and …, 2017	27	2017
Knowledge compilation for Boolean functional synthesis S Akshay, J Arora, S Chakraborty, S Krishna, D Raghunathan, S Shah 2019 Formal Methods in Computer Aided Design (FMCAD), 161-169, 2019	25	2019
The steady-state control problem for Markov decision processes S Akshay, N Bertrand, S Haddad, L Helouet International conference on quantitative evaluation of systems, 290-304, 2013	22	2013
Decidable classes of unbounded Petri nets with time and urgency S Akshay, B Genest, L Hélouët Application and Theory of Petri Nets and Concurrency: 37th International …, 2016	21	2016
Automata and logics for timed message sequence charts S Akshay, B Bollig, P Gastin International Conference on Foundations of Software Technology and …, 2007	21	2007
Checking coverage for infinite collections of timed scenarios S Akshay, M Mukund, KN Kumar International Conference on Concurrency Theory, 181-196, 2007	21	2007
Analyzing timed systems using tree automata S Akshay, P Gastin, SN Krishna Logical Methods in Computer Science 14, 2018	20	2018
A hybrid factored frontier algorithm for dynamic Bayesian networks with a biopathways application SK Palaniappan, S Akshay, B Liu, B Genest, PS Thiagarajan IEEE/ACM Transactions on Computational biology and bioinformatics 9 (5 …, 2012	20	2012
Distribution-based objectives for Markov decision processes S Akshay, B Genest, N Vyas Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	16	2018
Model checking time-constrained scenario-based specifications S Akshay, P Gastin, M Mukund, K Narayan Kumar IARCS Annual Conference on Foundations of Software Technology and …, 2010	16	2010
Complexity of Restricted Variants of Skolem and Related Problems S Akshay, N Balaji, N Vyas LIPIcs-Leibniz International Proceedings in Informatics 83, 2017	13	2017
Robustness of time Petri nets under guard enlargement S Akshay, L Hélouët, C Jard, PA Reynier Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France …, 2012	13	2012
Boolean functional synthesis: hardness and practical algorithms S Akshay, S Chakraborty, S Goel, S Kulal, S Shah Formal Methods in System Design 57, 53-86, 2021	12	2021
Near-optimal complexity bounds for fragments of the Skolem problem S Akshay, N Balaji, A Murhekar, R Varma, N Vyas 37th International Symposium on Theoretical Aspects of Computer Science …, 2020	11	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors