Searching for OpenAIRE data...
Publications
Author(s): Almagor, Shaull; Boker, Udi; Hofman, Piotr; Totzke, Patrick
Published in: CONCUR 2020, 2, 2020
Publisher: Schloss Dagstuhl
DOI: 10.4230/lipics.concur.2020.47
Author(s): Kottinger, Justin; Almagor, Shaull; Lahijanian, Morteza
Published in: ICRA 2021, 1, 2021
Publisher: TBA
Author(s): Shaull Almagor
Nathann Cohen
Guillermo A. Perez
Mahsa Shirmohammadi
James Worrell
Published in: CONCUR 2020, 2020
Publisher: Schloss Dagstuhl
DOI: 10.4230/lipics.concur.2020.38
Author(s): Almagor, Shaull; Kelmendi, Edon; Ouaknine, Joël; Worrell, James
Published in: Leibniz International Proceedings in Informatics, 5, 2020
Publisher: Schloss Dagstuhl
DOI: 10.4230/lipics.icalp.2020.107
Author(s): Almagor, Shaull
Published in: FSTTCS 2021, 4, 2021, ISBN 978-3-95977-174-0
Publisher: Schloss Dagstuhl
DOI: 10.4230/lipics.fsttcs.2020.35
Author(s): Shaull Almagor, Morteza Lahijanian
Published in: AAMAS 2020, 2020, ISBN 9781450375184
Publisher: ACM
Author(s): Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Published in: Proceedings of the ACM on Programming Languages, 5/POPL, 2021, Page(s) 1-24, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3434329
Author(s): Shaull Almagor, Joël Ouaknine, James Worrell
Published in: Theory of Computing Systems, 65/4, 2021, Page(s) 638-661, ISSN 1432-4350
Publisher: Springer Verlag
DOI: 10.1007/s00224-020-09976-7
Author(s): Shaull Almagor, Orna Kupferman
Published in: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, 12225, 2020, Page(s) 541-563, ISBN 978-3-030-53290-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-53291-8_28