( en | de | ru )

 

Disambiguierung von "Yonezaki, Naoki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs.

, , und . BIOINFORMATICS, Seite 93-101. SciTePress, (2015)

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.

Naoki Yoshida

Naoki Ueda

Naoki Fukuzawa

Naoki Tamura

Naoki Saito

 

Weitere Publikationen von Autoren mit dem selben Namen

Logical environments for natural language approach., , und . ISPW, Seite 84-86. ACM, (1985)ACM SIGSOFT Software Engineering Notes 11(4), August 1986.Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract)., , und . CyPhy, Volume 11267 von Lecture Notes in Computer Science, Seite 79-82. Springer, (2017)Modularization of formal specifications or efficient synthesis of reactive systems., , , und . ICSCA, Seite 208-213. ACM, (2017)Temporal logic extended with object creation and destruction., und . SEKE, Seite 156-163. Knowledge Systems Institute, (1994)Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs., , und . BIOINFORMATICS, Seite 93-101. SciTePress, (2015)Fast Translation from LTL to Büchi Automata via Non-transition-based Automata., , , und . ICFEM, Volume 8829 von Lecture Notes in Computer Science, Seite 364-379. Springer, (2014)More Expressive Temporal Logic for Specifications., und . SEKE, Seite 363-366. Knowledge Systems Institute, (1993)Verification of Verifiability of Voting Protocols by Strand Space Analysis., , und . ICSCA, Seite 363-368. ACM, (2019)An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications., , und . IWPSE, Seite 182-185. ACM, (2001)Qualitative Analysis of Gene Regulatory Networks using Network Motifs., , , , , und . BIOINFORMATICS, Seite 15-24. SciTePress, (2013)