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 × Hungary
1 × Japan
1 × Poland
1 × Spain
2 × USA
2 × United Kingdom
Collaborated with:
M.Jurdzinski S.Schmitz S.Demri D.Nowak M.Rutkowski A.Sangnier A.Dimovski D.R.Ghica X.Wang A.W.Roscoe
Talks about:
data (4) automata (3) game (3) independ (2) semant (2) freez (2) check (2) ltl (2) elementari (1) dimension (1)

Person: Ranko Lazic

DBLP DBLP: Lazic:Ranko

Contributed to:

ICALP (2) 20152015
CSL-LICS 20142014
VMCAI 20092009
FoSSaCS 20082008
LICS 20072007
LICS 20062006
SAS 20052005
IFM 20042004
TLCA 20032003

Wrote 9 papers:

ICALP-v2-2015-JurdzinskiLS #energy #game studies #pseudo
Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (MJ, RL, SS), pp. 260–272.
LICS-CSL-2014-LazicS #branch
Non-elementary complexities for branching VASS, MELL, and extensions (RL, SS), p. 10.
VMCAI-2009-JurdzinskiLR #automaton #game studies #hybrid
Average-Price-per-Reward Games on Hybrid Automata with Strong Resets (MJ, RL, MR), pp. 167–181.
FoSSaCS-2008-DemriLS #automaton #ltl #model checking
Model Checking Freeze LTL over One-Counter Automata (SD, RL, AS), pp. 490–504.
LICS-2007-JurdzinskiL #calculus #μ-calculus
Alternation-free modal μ-calculus for data trees (MJ, RL), pp. 131–140.
LICS-2006-DemriL #automaton #ltl #quantifier
LTL with the Freeze Quantifier and Register Automata (SD, RL), pp. 17–26.
SAS-2005-DimovskiGL #approach #game studies #refinement #semantics
Data-Abstraction Refinement: A Game Semantic Approach (AD, DRG, RL), pp. 102–117.
IFM-2004-WangRL #csp #independence #reachability
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption (XW, AWR, RL), pp. 247–266.
TLCA-2003-LazicN #independence #on the #semantics
On a Semantic Definition of Data Independence (RL, DN), pp. 226–240.

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.