scientific article; zbMATH DE number 7559472

DOI10.4230/LIPIcs.CONCUR.2020.16MaRDI QIDQ5089281

Vrunda Dave, Shankara Narayanan Krishna, Mohamed Faouzi Atig, Parosh Aziz Abdulla

Publication date: 18 July 2022

Full work available at URL: https://arxiv.org/abs/2005.09489

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

separabilityinterpolantsstring constraints

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An efficient SMT solver for string constraints
• A note on the reduction of two-way automata to one-way automata
• Scaling up DPLL(T) string solvers using context-dependent simplification
• String solving with word equations and transducers: towards a logic for analysing mutation XSS
• Separating Regular Languages by Piecewise Testable and Unambiguous Languages
• Priced Timed Petri Nets
• An efficient algorithm for solving word equations
• Chain-Free String Constraints
• Minimizing resources of sweeping and streaming string transducers
• Progressive Reasoning over Recursively-Defined Strings
• String Analysis via Automata Manipulation with Logic Circuit Representation
• Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete
• Tools and Algorithms for the Construction and Analysis of Systems
• MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS
• Lazy Abstraction with Interpolants
• Ordering by Divisibility in Abstract Algebras
• Computer Aided Verification

This page was built for publication: