( en | de | ru )

 

Disambiguierung von "Ishikawa, Fuyuki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Activities of National Institute of Informatics in Japan.

, , , , , , , , und . Commun. ACM, 66 (7): 58-63 (Juli 2023)

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.

Toshiyuki Ishikawa

Kenichi Ishikawa

Satomi Ishikawa

Fumiyasu Ishikawa

Yoichi Ishikawa

 

Weitere Publikationen von Autoren mit dem selben Namen

Learning-Based Falsification for Model Families of Cyber-Physical Systems., und . PRDC, Seite 236-245. IEEE, (2019)Editorial to the theme section on model-based engineering of smart systems., , und . Softw. Syst. Model., 19 (3): 579-580 (2020)Component Trust for Web Service Compositions., , und . AAAI Spring Symposium: Intelligent Web Services Meet Social Computing, Volume SS-12-04 von AAAI Technical Report, AAAI, (2012)Abstract rewriting Approach to solve Datalog programs., , und . DBPL, Seite 29-36. ACM, (2015)Automatic Generation of Potentially Pathological Instances for Validating Alloy Models., , und . ICFEM, Volume 10009 von Lecture Notes in Computer Science, Seite 41-56. (2016)Analysis on Strategies of Superposition Refinement of Event-B Specifications., und . ICFEM, Volume 11232 von Lecture Notes in Computer Science, Seite 357-372. Springer, (2018)A graph-based approach enhancing correctness and speed of web services composition through explicit specification of functional semantics., , und . IJWGS, 10 (4): 297-318 (2014)Understanding and Planning Event-B Refinement through Primitive Rationales., , und . ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 277-283. Springer, (2014)Formal verification of business processes with temporal and resource constraints., , und . SMC, Seite 1173-1180. IEEE, (2011)QoS-based Service Selection.. Web Services Foundations, Springer, (2014)