bibliographer - Supratik Chakraborty

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

On Dependent Variables in Reactive Synthesis S. Akshay Eliyahu Basa Supratik Chakraborty Dror Fried [github]

On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices S. Akshay Supratik Chakraborty Debtanu Pal [github]

On Synthesizing Computable Skolem Functions for First Order Logic Supratik Chakraborty S. Akshay [github]

On eventual non-negativity and positivity for the weighted sum of powers of matrices S Akshay Supratik Chakraborty Debtanu Pal [github]

A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis Preey Shah Aman Bansal S. Akshay Supratik Chakraborty [github]

On synthesizing Skolem functions for first order logic formulae S. Akshay Supratik Chakraborty [github]

On Petri Nets with Hierarchical Special Arcs S. Akshay Supratik Chakraborty Ankush Das Vishal Jagannath Sai Sandeep [github]

Improved Upper and Lower Bounds for Buchi Disambiguation Hrishikesh Karmarkar Manas Joglekar Supratik Chakraborty [github]

Determinization of ømega-automata unified Hrishikesh Karmarkar Supratik Chakraborty [github]

On Minimal Odd Rankings for Buchi Complementation Hrishikesh Karmarkar Supratik Chakraborty [github]

Automatically Refining Abstract Interpretations Bhargav S. Gulavani Supratik Chakraborty Aditya V. Nori Sriram K. Rajamani [github]

Library Size: 13G (11 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]