BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Stenman:Jari

Contributed to:

CAV 20152015
CAV 20142014
LATA 20142014
LATA 20122012
LICS 20122012

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.