`Travelled to:`

1 × Austria

1 × Croatia

1 × USA

2 × Spain

`Collaborated with:`

P.A.Abdulla M.F.Atig Y.Chen L.Holík A.Rezine P.Rümmer

`Talks about:`

pushdown (3) time (3) constraint (2) reachabl (2) automata (2) string (2) price (2) dens (2) cost (2) problem (1)

## Person: Jari Stenman

### DBLP: Stenman:Jari

### Contributed to:

### Wrote 5 papers:

- CAV-2015-AbdullaACHRRS #constraints #named #smt #string
- Norn: An SMT Solver for String Constraints (PAA, MFA, YFC, LH, AR, PR, JS), pp. 462–469.
- CAV-2014-AbdullaACHRRS #constraints #string #verification
- String Constraints for Verification (PAA, MFA, YFC, LH, AR, PR, JS), pp. 150–166.
- LATA-2014-AbdullaAS #automaton #reachability
- Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata (PAA, MFA, JS), pp. 62–75.
- LATA-2012-AbdullaAS #automaton #low cost #problem #reachability
- The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems (PAA, MFA, JS), pp. 58–69.
- LICS-2012-AbdullaAS #automaton
- Dense-Timed Pushdown Automata (PAA, MFA, JS), pp. 35–44.