BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rubin:Sasha

Contributed to:

ICALP (2) 20152015
VMCAI 20142014
LATA 20132013
LICS 20122012
CSL 20052005
CAV 20042004
LICS 20042004
LICS 20032003
LICS 20022002
IJCAR 20162016
CSL 20182018

Wrote 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.

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.