( en | de | ru )

 

Disambiguierung von "Yonezaki, Naoki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reducing Bounded Realizability Analysis to Reachability Checking.

, , und . RP, Volume 9328 von Lecture Notes in Computer Science, Seite 140-152. Springer, (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

Qualitative Analysis of Gene Regulatory Networks using Network Motifs., , , , , und . BIOINFORMATICS, Seite 15-24. SciTePress, (2013)Minimal strongly unsatisfiable subsets of reactive system specifications., , , und . ASE, Seite 629-634. ACM, (2014)A parallel programming language and description of scheduler., , , und . Operating Systems Engineering, Volume 143 von Lecture Notes in Computer Science, Seite 23-41. Springer, (1980)Resolution Method for Modal Logic with Well-Founded Frames., und . CSL, Volume 1683 von Lecture Notes in Computer Science, Seite 277-291. Springer, (1999)A Model for Perception of Structural Image Feature., , und . IJCAI, Seite 257-259. William Kaufmann, (1979)An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications., , und . IWPSE, Seite 182-185. ACM, (2001)Verification of Verifiability of Voting Protocols by Strand Space Analysis., , und . ICSCA, Seite 363-368. ACM, (2019)Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic., , , und . BIBE, Seite 232-237. IEEE Computer Society, (2010)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)