Travelled to:1 × Canada
1 × Croatia
1 × Denmark
1 × Finland
1 × Japan
1 × Spain
1 × United Kingdom
2 × USA
Collaborated with:B.Khoussainov B.Aminof F.Stephan A.Rabinovich K.Chatterjee S.Chaubal D.Bustan M.Y.Vardi H.Ishihara F.Zuleger F.Spegni S.Jacobs A.Khalimov A.Nies N.Fijalkow B.Maubert A.Murano
Talks about:automat (3) parameter (2) structur (2) partial (2) algebra (2) system (2) token (2) model (2) check (2) parameteris (1)
Person: Sasha Rubin
DBLP: Rubin:Sasha
Contributed to:
2015
2014
2013
2012
2005
2004200420032002
20162018Wrote 11 papers:
- ICALP-v2-2015-AminofRZS #liveness #network
- Liveness of Parameterized Timed Networks (BA, SR, FZ, FS), pp. 375–387.
- VMCAI-2014-AminofJKR #model checking
- Parameterized Model Checking of Token-Passing Systems (BA, SJ, AK, SR), pp. 262–281.
- LATA-2013-ChatterjeeCR #how
- How to Travel between Languages (KC, SC, SR), pp. 214–225.
- LICS-2012-RabinovichR #branch
- Interpretations in Trees with Countably Many Branches (AR, SR), pp. 551–560.
- CSL-2005-KhoussainovR #algebra #decidability
- Decidability of Term Algebras Extending Partial Algebras (BK, SR), pp. 292–308.
- CAV-2004-BustanRV #markov #verification
- Verifying ω-Regular Properties of Markov Chains (DB, SR, MYV), pp. 189–201.
- LICS-2004-KhoussainovNRS #automation
- Automatic Structures: Richness and Limitations (BK, AN, SR, FS), pp. 44–53.
- LICS-2003-KhoussainovRS #automation #on the #partial order
- On Automatic Partial Orders (BK, SR, FS), pp. 168–177.
- LICS-2002-IshiharaKR #automation
- Some Results on Automatic Structures (HI, BK, SR), p. 235–?.
- IJCAR-2016-AminofR #composition #model checking #multi
- Model Checking Parameterised Multi-token Systems via the Composition Method (BA, SR), pp. 499–515.
- CSL-2018-FijalkowMMR #bound #logic
- Quantifying Bounds in Strategy Logic (NF, BM, AM, SR), p. 23.