100 citations · 287 across the 22 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2016★ 2 cited
Order-Invariant Types and Their Applications
Pablo Barcelo, Leonid Libkin
Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in a logic in the prese…
cs.LO2015★ 1 cited
String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version)
Anthony W. Lin, Pablo Barcelo
We study the fundamental issue of decidability of satisfiability over string logics with concatenations and finite-state transducers as atomic operations. Although restricting to o…
cs.LO2008★ 100 cited
First-Order and Temporal Logics for Nested Words
Rajeev Alur, Marcelo Arenas, Pablo Barcelo +3
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure of…