Pubblicazioni
Autori:
Almagor, Shaull; Boker, Udi; Hofman, Piotr; Totzke, Patrick
Pubblicato in:
CONCUR 2020, Numero 2, 2020
Editore:
Schloss Dagstuhl
DOI:
10.4230/lipics.concur.2020.47
Autori:
Kottinger, Justin; Almagor, Shaull; Lahijanian, Morteza
Pubblicato in:
ICRA 2021, Numero 1, 2021
Editore:
TBA
Autori:
Shaull Almagor
Nathann Cohen
Guillermo A. Perez
Mahsa Shirmohammadi
James Worrell
Pubblicato in:
CONCUR 2020, 2020
Editore:
Schloss Dagstuhl
DOI:
10.4230/lipics.concur.2020.38
Autori:
Almagor, Shaull; Kelmendi, Edon; Ouaknine, Joël; Worrell, James
Pubblicato in:
Leibniz International Proceedings in Informatics, Numero 5, 2020
Editore:
Schloss Dagstuhl
DOI:
10.4230/lipics.icalp.2020.107
Autori:
Almagor, Shaull
Pubblicato in:
FSTTCS 2021, Numero 4, 2021, ISBN 978-3-95977-174-0
Editore:
Schloss Dagstuhl
DOI:
10.4230/lipics.fsttcs.2020.35
Autori:
Shaull Almagor, Morteza Lahijanian
Pubblicato in:
AAMAS 2020, 2020, ISBN 9781450375184
Editore:
ACM
Autori:
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 5/POPL, 2021, Pagina/e 1-24, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3434329
Autori:
Shaull Almagor, Joël Ouaknine, James Worrell
Pubblicato in:
Theory of Computing Systems, Numero 65/4, 2021, Pagina/e 638-661, ISSN 1432-4350
Editore:
Springer Verlag
DOI:
10.1007/s00224-020-09976-7
Autori:
Shaull Almagor, Orna Kupferman
Pubblicato in:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Numero 12225, 2020, Pagina/e 541-563, ISBN 978-3-030-53290-1
Editore:
Springer International Publishing
DOI:
10.1007/978-3-030-53291-8_28
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile