( en | de | ru )

 

Disambiguierung von "Aminof, Benjamin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Satisfiability and Model Checking of CTL* with Graded Path Modalities.

, , und . CoRR, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Benjamin Bender

Cerebrospinal fluid and interstitial fluid volume measurement in the human brain at 3T with EPI. Uni Tübingen, (2009)

Benjamin Köckemann

Abundance, niche breadth and stress in the centre and at the border of the distribution range: a macroecological study on abundant and rare tree specie. Uni Göttingen, (2008)

Benjamin Braatz

Formal modelling and application of graph transformations in the resource description framework. TU Berlin, (2009)

Benjamin Ellert

Hans Benjamin

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesizing Best-effort Strategies under Multiple Environment Specifications., , , , und . KR, Seite 42-51. (2021)On CTL* with Graded Path Modalities., , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 281-296. Springer, (2015)On the Expressive Power of Communication Primitives in Parameterised Systems., , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 313-328. Springer, (2015)Synthesis of Hierarchical Systems., , und . FACS, Volume 7253 von Lecture Notes in Computer Science, Seite 42-60. Springer, (2011)Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments., , , und . AAMAS, Seite 1190-1199. ACM, (2016)Rigorous Approximated Determinization of Weighted Automata., , und . LICS, Seite 345-354. IEEE Computer Society, (2011)Translations among automata on infinite objects and their applications (עם תקציר בעברית ושער נוסף: תרגומים בין סוגים שונים של אוטומטים מעל עצמים אינסופיים ויישומיהם.; תרגומים בין סוגים שונים של אוטומטים מעל עצמים אינסופיים ויישומיהם.).. Hebrew University of Jerusalem, Israel, (2009)Reasoning About Systems with Transition Fairness., , und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 194-208. Springer, (2004)Pushdown Module Checking with Imperfect Information., , und . CONCUR, Volume 4703 von Lecture Notes in Computer Science, Seite 460-475. Springer, (2007)Improved model checking of hierarchical systems., , und . Inf. Comput., (2012)