( en | de | ru )

 

Disambiguierung von "Hasuo, Ichiro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Input Synthesis for Sampled Data Systems by Program Logic.

, , und . HAS, Volume 174 von EPTCS, Seite 22-39. (2014)

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.

Temmyo Ichiro

Ichiro Yamaguchi

Ichiro Tamura

Ichiro Yamaguchi

Ichiro Omura

 

Weitere Publikationen von Autoren mit dem selben Namen

Special Issue on Quantum Physics and Logic., und . New Gener. Comput., 34 (1-2): 1-2 (2016)Generic weakest precondition semantics from monads enriched with order.. Theor. Comput. Sci., (2015)Quantitative bisimulations using coreflections and open morphisms., , , und . CoRR, (2018)Metamathematics for Systems Design - Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems.. New Generation Comput., 35 (3): 271-305 (2017)Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems., , und . CyPhy, Volume 11267 von Lecture Notes in Computer Science, Seite 109-126. Springer, (2017)Relational Differential Dynamic Logic., , , , , und . CoRR, (2019)The Microcosm Principle and Concurrency in Coalgebra., , und . FoSSaCS, Volume 4962 von Lecture Notes in Computer Science, Seite 246-260. Springer, (2008)Constrained Optimization for Falsification and Conjunctive Synthesis., , und . CoRR, (2020)Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization.. CoRR, (2022)Control-data separation and logical condition propagation for efficient inference on probabilistic programs., , , , , und . J. Log. Algebraic Methods Program., (Januar 2024)