Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Deliberative Self-Organizing Traffic Lights with Elementary Cellular Automata., , und . Complex., (2017)Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules., , und . MODELSWARD, Seite 287-298. SCITEPRESS, (2020)Random Networks with Quantum Boolean Functions., , , und . ALIFE, Seite 94. MIT Press, (2021)An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs.. LOPSTR, Volume 1559 von Lecture Notes in Computer Science, Seite 322-324. Springer, (1998)The dynamically extended mind., , und . IEEE Congress on Evolutionary Computation, Seite 1419-1426. IEEE, (2013)A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier., und . CLIMA, Volume 6214 von Lecture Notes in Computer Science, Seite 158-177. Springer, (2009)Communication Pattern Models: An Extension of Action Models for Dynamic-Network Distributed Systems., , und . TARK, Volume 335 von EPTCS, Seite 307-321. (2021)Communication Pattern Logic: Epistemic and Topological Views., , , und . J. Philos. Log., 52 (5): 1445-1473 (Oktober 2023)Marimba: A Tool for Verifying Properties of Hidden Markov Models., , , , und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 201-206. Springer, (2015)The Dynamically Extended Mind -- A Minimal Modeling Case Study, , und . CoRR, (2013)