Publicaciones
Autores:
Almagor, Shaull; Boker, Udi; Hofman, Piotr; Totzke, Patrick
Publicado en:
CONCUR 2020, Edición 2, 2020
Editor:
Schloss Dagstuhl
DOI:
10.4230/lipics.concur.2020.47
Autores:
Kottinger, Justin; Almagor, Shaull; Lahijanian, Morteza
Publicado en:
ICRA 2021, Edición 1, 2021
Editor:
TBA
Autores:
Shaull Almagor
Nathann Cohen
Guillermo A. Perez
Mahsa Shirmohammadi
James Worrell
Publicado en:
CONCUR 2020, 2020
Editor:
Schloss Dagstuhl
DOI:
10.4230/lipics.concur.2020.38
Autores:
Almagor, Shaull; Kelmendi, Edon; Ouaknine, Joël; Worrell, James
Publicado en:
Leibniz International Proceedings in Informatics, Edición 5, 2020
Editor:
Schloss Dagstuhl
DOI:
10.4230/lipics.icalp.2020.107
Autores:
Almagor, Shaull
Publicado en:
FSTTCS 2021, Edición 4, 2021, ISBN 978-3-95977-174-0
Editor:
Schloss Dagstuhl
DOI:
10.4230/lipics.fsttcs.2020.35
Autores:
Shaull Almagor, Morteza Lahijanian
Publicado en:
AAMAS 2020, 2020, ISBN 9781450375184
Editor:
ACM
Autores:
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Publicado en:
Proceedings of the ACM on Programming Languages, Edición 5/POPL, 2021, Página(s) 1-24, ISSN 2475-1421
Editor:
ACM
DOI:
10.1145/3434329
Autores:
Shaull Almagor, Joël Ouaknine, James Worrell
Publicado en:
Theory of Computing Systems, Edición 65/4, 2021, Página(s) 638-661, ISSN 1432-4350
Editor:
Springer Verlag
DOI:
10.1007/s00224-020-09976-7
Autores:
Shaull Almagor, Orna Kupferman
Publicado en:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Edición 12225, 2020, Página(s) 541-563, ISBN 978-3-030-53290-1
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-53291-8_28
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles