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: Lazic:Ranko
Contributed to:
2015
2014
2009
200820072006
2005
2004
2003Wrote 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.