The following pages link to Saner (Q53518):
Displaying 6 items.
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- Context-oriented web application protection model (Q1733478) (← links)
- String theories involving regular membership predicates: from practice to theory and back (Q2140459) (← links)
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- Towards more efficient methods for solving regular-expression heavy string constraints (Q2680985) (← links)
- Equivalence of Finite-Valued Symbolic Finite Transducers (Q3179179) (← links)
