1.On Barbs and Labels in Reactive Systems

作　　者：Filippo Bonchi ;Fabio Gadducci ;Giacoma Valentina Monreale

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;18:46-61.doi:10.4204/EPTCS.18.4

出版社：Open Publishing Association

文章 ID：83119830

文章详细全文下载

2.Reducing Weak to Strong Bisimilarity in CCP

作　　者：Andrés Aristizábal ;Filippo Bonchi ;Luis Pino 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;104:2-16.doi:10.4204/EPTCS.104.2

出版社：Open Publishing Association

文章 ID：83120665

文章详细全文下载

3.Bialgebraic Semantics for String Diagrams

作　　者：Filippo Bonchi ;Robin Piedeleu ;Pawel Sobocinski 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.37

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

文章 ID：238891945

文章详细全文下载

4.The Axiom of Choice in Cartesian Bicategories

作　　者：Filippo Bonchi ;Jens Seeber ;Pawel Sobocinski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-17.doi:10.4230/LIPIcs.CALCO.2019.15

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

文章 ID：241520012

文章详细全文下载

5.The Power of Convex Algebras

作　　者：Filippo Bonchi ;Alexandra Silva ;Ana Sokolova

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:23:1-23:18.doi:10.4230/LIPIcs.CONCUR.2017.23

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

文章 ID：200735189

文章详细全文下载

6.Refinement for Signal Flow Graphs

作　　者：Filippo Bonchi ;Joshua Holland ;Dusko Pavlovic 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:24:1-24:16.doi:10.4230/LIPIcs.CONCUR.2017.24

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

文章 ID：200735190

文章详细全文下载

7.Front Matter, Table of Contents, Preface, List of Authors

作　　者：Filippo Bonchi ;Barbara K{\"o}nig

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:0:i-0:x.doi:10.4230/LIPIcs.CALCO.2017.0

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

文章 ID：205510161

文章详细

8.Generalizing determinization from automata to coalgebras

作　　者：Alexandra Silva ;Filippo Bonchi ;Marcello Bonsangue 等

出　　处：Logical Methods in Computer Science. 2013 ;9(1):1.doi:10.2168/LMCS-9(1:9)2013

出版社：Technical University of Braunschweig

文章 ID：264691905

文章详细全文下载

9.Bialgebraic Semantics for Logic Programming

作　　者：Filippo Bonchi ;Fabio Zanasi

出　　处：Logical Methods in Computer Science. 2015 ;11(1):1.doi:10.2168/LMCS-11(1:14)2015

出版社：Technical University of Braunschweig

文章 ID：264692263

文章详细全文下载

10.Generalizing the powerset construction, coalgebraically

作　　者：Alexandra Silva ;Filippo Bonchi ;Marcello M. Bonsangue 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:272-283.doi:10.4230/LIPIcs.FSTTCS.2010.272

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

文章 ID：186845777

文章详细全文下载

	有本地全文	14篇
	有全文链接	1篇

	2019	2篇
	2018	2篇
	2017	3篇
	2015	3篇
	2014	1篇

	Filippo Bonchi	15篇
	Barbara K{\"o}nig	4篇
	Pawel Sobocinski	4篇
	Alexandra Silva	3篇
	Daniela Petrisan	2篇

	Fabio Zanasi	2篇
	Henning Kerstan	2篇
	Jens Seeber	2篇
	Paolo Baldan	2篇
	Ana Sokolova	1篇
	Andrés Aristizábal	1篇
	Damien Pous	1篇
	Dusko Pavlovic	1篇
	Fabio Gadducci	1篇
	Frank Valencia	1篇
	Giacoma Valentina Monreale	1篇
	Jan J. M. M. Rutten	1篇
	Jan Rutten	1篇
	Joshua Holland	1篇
	Jurriaan Rot	1篇
	Luis Pino	1篇
	Marcello Bonsangue	1篇
	Marcello M. Bonsangue	1篇
	Robin Piedeleu	1篇

	德国	13篇
	澳大利亚	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Filippo Bonchi")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	11篇
	Electronic Proceedings in Theoretical Computer Science	2篇
	Logical Methods in Computer Science	2篇