( en | de | ru )

 

Disambiguierung von "Benes, Nikola"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
AEON.py: Python library for attractor analysis in asynchronous Boolean networks.

, , , , , und . Bioinform., 38 (21): 4978-4980 (Oktober 2022)

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.

Ludwig Benes

György Benes

Piroska Benes

Franz Benes

Emerich Benes

 

Weitere Publikationen von Autoren mit dem selben Namen

LTL Model Checking of Parametric Timed Automata., , , , und . CoRR, (2014)On clock-aware LTL parameter synthesis of timed automata., , , und . J. Log. Algebraic Methods Program., (2018)Process Algebra for Modal Transition Systemses., und . MEMICS, Volume 16 von OASIcs, Seite 9-18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)Factorization for Component-Interaction Automata., , und . SOFSEM, Volume 7147 von Lecture Notes in Computer Science, Seite 554-565. Springer, (2012)Phenotype Control of Partially Specified Boolean Networks., , , , und . CMSB, Volume 14137 von Lecture Notes in Computer Science, Seite 18-35. Springer, (2023)Partial Order Reduction for State/Event LTL., , , , , und . IFM, Volume 5423 von Lecture Notes in Computer Science, Seite 307-321. Springer, (2009)Accelerating Parameter Synthesis Using Semi-algebraic Constraints., , , , und . IFM, Volume 11918 von Lecture Notes in Computer Science, Seite 27-45. Springer, (2019)On determinism in modal transition systems., , , und . Theor. Comput. Sci., 410 (41): 4026-4043 (2009)DCCL: verification of component systems with ensembles., , , und . CBSE, Seite 43-52. ACM, (2013)Partial order reduction for state/event LTL with application to component-interaction automata., , , , , und . Sci. Comput. Program., 76 (10): 877-890 (2011)