( en | de | ru )

 

Disambiguierung von "Shimakawa, Masaya"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic.

, , , und . ICSCA, Seite 17-20. ACM, (2020)

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.

Keine Personen gefunden für den Autorennamen Shimakawa, Masaya
Eine Person hinzufügen mit dem Namen Shimakawa, Masaya
 

Weitere Publikationen von Autoren mit dem selben Namen

Reducing Bounded Realizability Analysis to Reachability Checking., , und . RP, Volume 9328 von Lecture Notes in Computer Science, Seite 140-152. Springer, (2015)Simple synthesis of reactive systems with tolerance for unexpected environmental behavior., , , , und . FormaliSE@ICSE, Seite 15-21. ACM, (2016)Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic., , , und . ICSCA, Seite 17-20. ACM, (2020)Safraless LTL synthesis considering maximal realizability., , , , und . Acta Informatica, 54 (7): 655-692 (2017)Complexity of Checking Strong Satisfiability of Reactive System Specifications., , und . SPIT, Volume 117 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 41-50. Springer, (2012)Extracting Environmental Constraints to Make Reactive System Specifications Realizable., , , und . APSEC, Seite 61-68. IEEE Computer Society, (2009)Qualitative Analysis of Gene Regulatory Networks using Network Motifs., , , , , und . BIOINFORMATICS, Seite 15-24. SciTePress, (2013)Verification of Verifiability of Voting Protocols by Strand Space Analysis., , und . ICSCA, Seite 363-368. ACM, (2019)Minimal strongly unsatisfiable subsets of reactive system specifications., , , und . ASE, Seite 629-634. ACM, (2014)Security Risk Growth Models for Software Vulnerability Assessment., und . DSN-W, Seite 32-35. IEEE, (2023)