Supratik Chakraborty
Orcid: 0000-0002-7527-7675Affiliations:
- IIT Bombay, Mumbai, India
According to our database1,
Supratik Chakraborty
authored at least 95 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
5
10
1
1
3
2
2
2
1
1
1
2
1
2
2
1
1
1
2
1
7
4
3
3
3
4
1
4
3
4
4
5
1
2
1
2
1
1
1
1
2
3
1
1
3
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Ann. Math. Artif. Intell., October, 2024
CoRR, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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 Formal Methods - 26th International Symposium, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Formal Methods Syst. Des., April, 2022
Int. J. Softw. Tools Technol. Transf., 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
Proceedings of the Automated Technology for Verification and Analysis, 2022
2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
Formal Methods Syst. Des., 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the Formal Methods in Computer Aided Design, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Sci. Comput. Program., 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
2019
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision.
CoRR, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Symbolic trajectory evaluation for word-level verification: theory and implementation.
Formal Methods Syst. Des., 2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Static Analysis - 24th International Symposium, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
2016
Formal Methods Syst. Des., 2016
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Beyond NP, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Proceedings of the Mathematical Software - ICMS 2014, 2014
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Principles and Practice of Constraint Programming, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
Improving approximate reachability by dynamic interleavings of projections-based algorithms.
Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
Proceedings of the Logic, Language, Information and Computation, 2012
Proceedings of the Modern Applications of Automata Theory., 2012
2011
Frontmatter, Table of Contents, Preface, Conference Organization, External Reviewers.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
On Semantic Generalizations of the Bernays-Schönfinkel-Ramsey Class with Finite or Co-finite Spectra
CoRR, 2010
Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010
2009
Proceedings of the Static Analysis, 16th International Symposium, 2009
Proceedings of the Automated Technology for Verification and Analysis, 2009
2008
Int. J. Softw. Tools Technol. Transf., 2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
2007
Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007
2006
Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2006), 2006
2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
2004
Evaluation of pausible clocking for interfacing high speed IP cores in GALS Framework.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004
2002
Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract).
Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002
Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002
Proceedings of the 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 2002
2001
Proceedings of the 14th International Conference on VLSI Design (VLSI Design 2001), 2001
2000
IEEE Trans. Very Large Scale Integr. Syst., 2000
1999
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999
Proc. IEEE, 1999
1998
Proceedings of the IEEE 1998 Custom Integrated Circuits Conference, 1998
1997
Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997
Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997
Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997
1996
Theory and Application of Nongroup Cellular Automata for Synthesis of Easily Testable Finite State Machines.
IEEE Trans. Computers, 1996
1993
Proceedings of the Sixth International Conference on VLSI Design, 1993
Proceedings of the Sixth International Conference on VLSI Design, 1993
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993