( en | de | ru )

 

Disambiguierung von "Aminof, Benjamin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Prompt Alternating-Time Epistemic Logics.

, , , und . KR, Seite 258-267. AAAI Press, (2016)

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 Marchetti

Benjamin Bröker

 

Weitere Publikationen von Autoren mit dem selben Namen

Reasoning about online algorithms with weighted automata., , und . ACM Trans. Algorithms, 6 (2): 28:1-28:36 (2010)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)Extended Graded Modalities in Strategy Logic., , , und . SR, Volume 218 von EPTCS, Seite 1-14. (2016)Parameterized model checking of rendezvous systems., , , , und . Distributed Comput., 31 (3): 187-222 (2018)Reasoning About Systems with Transition Fairness., , und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 194-208. Springer, (2004)Synthesis of Hierarchical Systems., , und . FACS, Volume 7253 von Lecture Notes in Computer Science, Seite 42-60. Springer, (2011)Rigorous approximated determinization of weighted automata., , und . Theor. Comput. Sci., (2013)Translations among automata on infinite objects and their applications (עם תקציר בעברית ושער נוסף: תרגומים בין סוגים שונים של אוטומטים מעל עצמים אינסופיים ויישומיהם.; תרגומים בין סוגים שונים של אוטומטים מעל עצמים אינסופיים ויישומיהם.).. Hebrew University of Jerusalem, Israel, (2009)