4 Publications

Mark all

[4]
2014 | Journal Article | IST-REx-ID: 2246 | OA
A. Grinshpun, P. Phalitnonkiat, S. Rubin, and A. Tarfulea, “Alternating traps in Muller and parity games,” Theoretical Computer Science, vol. 521, pp. 73–91, 2014.
View | DOI | Download Submitted Version (ext.)
 
[3]
2014 | Conference Paper | IST-REx-ID: 475 | OA
B. Aminof and S. Rubin, “First cycle games,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Grenoble, France, 2014, vol. 146, pp. 83–90.
View | Files available | DOI
 
[2]
2012 | Conference Paper | IST-REx-ID: 495 | OA
A. Kruckman, S. Rubin, J. Sheridan, and B. Zax, “A Myhill Nerode theorem for automata with advice,” in Proceedings GandALF 2012, Napoli, Italy, 2012, vol. 96, pp. 238–246.
View | Files available | DOI
 
[1]
2012 | Conference Paper | IST-REx-ID: 496 | OA
A. Rabinovich and S. Rubin, “Interpretations in trees with countably many branches,” presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia, 2012.
View | DOI | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

4 Publications

Mark all

[4]
2014 | Journal Article | IST-REx-ID: 2246 | OA
A. Grinshpun, P. Phalitnonkiat, S. Rubin, and A. Tarfulea, “Alternating traps in Muller and parity games,” Theoretical Computer Science, vol. 521, pp. 73–91, 2014.
View | DOI | Download Submitted Version (ext.)
 
[3]
2014 | Conference Paper | IST-REx-ID: 475 | OA
B. Aminof and S. Rubin, “First cycle games,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Grenoble, France, 2014, vol. 146, pp. 83–90.
View | Files available | DOI
 
[2]
2012 | Conference Paper | IST-REx-ID: 495 | OA
A. Kruckman, S. Rubin, J. Sheridan, and B. Zax, “A Myhill Nerode theorem for automata with advice,” in Proceedings GandALF 2012, Napoli, Italy, 2012, vol. 96, pp. 238–246.
View | Files available | DOI
 
[1]
2012 | Conference Paper | IST-REx-ID: 496 | OA
A. Rabinovich and S. Rubin, “Interpretations in trees with countably many branches,” presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia, 2012.
View | DOI | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed