( 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 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 Bender

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

Benjamin Braatz

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

Benjamin Michen

Benjamin Klasczyk

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Synthesizing Best-effort Strategies under Multiple Environment Specifications., , , , und . KR, Seite 42-51. (2021)Synthesis of Hierarchical Systems., , und . FACS, Volume 7253 von Lecture Notes in Computer Science, Seite 42-60. Springer, (2011)Translations among automata on infinite objects and their applications (עם תקציר בעברית ושער נוסף: תרגומים בין סוגים שונים של אוטומטים מעל עצמים אינסופיים ויישומיהם.; תרגומים בין סוגים שונים של אוטומטים מעל עצמים אינסופיים ויישומיהם.).. Hebrew University of Jerusalem, Israel, (2009)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)Reasoning About Systems with Transition Fairness., , und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 194-208. Springer, (2004)Improved model checking of hierarchical systems., , und . Inf. Comput., (2012)Pushdown Module Checking with Imperfect Information., , und . CONCUR, Volume 4703 von Lecture Notes in Computer Science, Seite 460-475. Springer, (2007)