S. Akshay
Orcid: 0000-0002-2471-5997Affiliations:
- Indian Institute of Technology Bombay, Mumbai, India
- INRIA/IRISA Rennes, France (former)
According to our database1,
S. Akshay
authored at least 59 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Log. Methods Comput. Sci., 2024
CoRR, 2024
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties.
CoRR, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
2022
Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
2021
Formal Methods Syst. Des., 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021
Proceedings of the Formal Methods in Computer Aided Design, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
J. Log. Algebraic Methods Program., 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019
Proceedings of the Foundations of Software Science and Computation Structures, 2019
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
2016
Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
2015
Theor. Comput. Sci., 2015
Proceedings of the Formal Methods in Computer-Aided Design, 2015
2014
Fundam. Informaticae, 2014
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014
2013
Event clock message passing automata: a logical characterization and an emptiness checking algorithm.
Formal Methods Syst. Des., 2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013
2012
A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application.
IEEE ACM Trans. Comput. Biol. Bioinform., 2012
Inf. Process. Lett., 2012
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012
2011
A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011
2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
2007
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007