Meghana Sistla

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 4

Top Topics

Inductive Inference

Ordered Binary Decision Diagrams

Probabilistic Context Free Grammars

Simulation Software

Top Venues

Publications

Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
Weighted Context-Free-Language Ordered Binary Decision Diagrams. CoRR (2023)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
Symbolic Quantum Simulation with Quasimodo. CAV (3) (2023)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
Symbolic Quantum Simulation with Quasimodo. CoRR (2023)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. CoRR (2022)