1.Generic Trace Semantics via Coinduction

作　　者：Ichiro Hasuo ;Bart Jacobs ;Ana Sokolova

出　　处：Logical Methods in Computer Science. 2007 ;3(04).doi:10.2168/LMCS-3(4:11)2007

出版社：Technical University of Braunschweig

文章 ID：46838675

文章详细全文下载
2.Parity Automata for Quantitative Linear Time Logics

作　　者：Corina Cirstea ;Shunsuke Shimizu ;Ichiro Hasuo

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:7:1-7:18.doi:10.4230/LIPIcs.CALCO.2017.7

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：205510174

文章详细全文下载
3.Coalgebraic Infinite Traces and Kleisli Simulations

作　　者：Natsuki Urabe ;Ichiro Hasuo

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:320-335.doi:10.4230/LIPIcs.CALCO.2015.320

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847110

文章详细全文下载
4.Coalgebras and Higher-Order Computation: a GoI Approach

作　　者：Ichiro Hasuo

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:2:1-2:2.doi:10.4230/LIPIcs.FSCD.2016.2

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847434

文章详细全文下载
5.Coalgebraic Trace Semantics for Buechi and Parity Automata

作　　者：Natsuki Urabe ;Shunsuke Shimizu ;Ichiro Hasuo

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:24:1-24:15.doi:10.4230/LIPIcs.CONCUR.2016.24

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847582

文章详细全文下载
6.Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial)

作　　者：Ichiro Hasuo

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-2.doi:10.4230/LIPIcs.CONCUR.2018.5

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230213317

文章详细全文下载
7.Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems ⁎

作　　者：Kengo Kido ;Sean Sedwards ;Ichiro Hasuo

出　　处：IFAC PapersOnLine. 2018 ;51(16):247-252.doi:10.1016/j.ifacol.2018.08.042

出版社：Elsevier

文章 ID：1020058141

文章详细
8.Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis

作　　者：Sota Sato ;Masaki Waga ;Ichiro Hasuo

出　　处：IFAC PapersOnLine. 2021 ;54(5):217-222.doi:10.1016/j.ifacol.2021.08.501

出版社：Elsevier

文章 ID：1035328697

文章详细

	有本地全文	6篇
	有全文链接	2篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Ichiro Hasuo")))) )) ) )"

	Ichiro Hasuo	8篇
	Natsuki Urabe	2篇
	Shunsuke Shimizu	2篇
	Ana Sokolova	1篇
	Bart Jacobs	1篇

	Corina Cirstea	1篇
	Kengo Kido	1篇
	Masaki Waga	1篇
	Sean Sedwards	1篇
	Sota Sato	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	5篇
	IFAC PapersOnLine	2篇
	Logical Methods in Computer Science	1篇

	2021	1篇
	2018	2篇
	2017	1篇
	2016	2篇
	2015	1篇