( en | de | ru )

 

Disambiguation of "Hasuo, Ichiro"

Author of the publication

copydeleteadd this publication to your clipboard
Parity Automata for Quantitative Linear Time Logics.

, , and . CALCO, volume 72 of LIPIcs, page 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Temmyo Ichiro

Ichiro Yamaguchi

Ichiro Yamaguchi

Ichiro Tamura

Ichiro Omura

 

Other publications of authors with the same name

Metamathematics for Systems Design - Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems.. New Generation Comput., 35 (3): 271-305 (2017)Special Issue on Quantum Physics and Logic., and . New Gener. Comput., 34 (1-2): 1-2 (2016)Generic weakest precondition semantics from monads enriched with order.. Theor. Comput. Sci., (2015)Constrained Optimization for Falsification and Conjunctive Synthesis., , and . CoRR, (2020)Exploiting Adjoints in Property Directed Reachability Analysis., , , , , and . CAV (2), volume 13965 of Lecture Notes in Computer Science, page 41-63. Springer, (2023)Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness., , , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 595-618. Springer, (2021)Memoryful geometry of interaction II: recursion and adequacy., , and . POPL, page 748-760. ACM, (2016)A Compositional Approach to Parity Games., , , and . MFPS, volume 351 of EPTCS, page 278-295. (2021)Input Synthesis for Sampled Data Systems by Program Logic., , and . HAS, volume 174 of EPTCS, page 22-39. (2014)Automated Security Analysis for Real-World IoT Devices., , , and . HASP@MICRO, page 29-37. ACM, (2023)