1.Automata in the Category of Glued Vector Spaces

作　　者：Thomas Colcombet ;Daniela Petrisan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:52:1-52:14.doi:10.4230/LIPIcs.MFCS.2017.52

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

文章 ID：205510100

文章详细全文下载

2.Automata Minimization: a Functorial Approach

作　　者：Thomas Colcombet ;Daniela Petrisan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:8:1-8:16.doi:10.4230/LIPIcs.CALCO.2017.8

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

文章 ID：205510176

文章详细全文下载

3.Nominal Coalgebraic Data Types with Applications to Lambda Calculus

作　　者：Alexander Kurz ;Daniela Petrisan ;Paula Severi 等

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

出版社：Technical University of Braunschweig

文章 ID：264692190

文章详细全文下载

4.Relation lifting, with an application to the many-valued cover modality

作　　者：Marta Bilkova ;Alexander Kurz ;Daniela Petrisan 等

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

出版社：Technical University of Braunschweig

文章 ID：264692195

文章详细全文下载

5.Lax Bialgebras and Up-To Techniques for Weak Bisimulations

作　　者：Filippo Bonchi ;Daniela Petrisan ;Damien Pous 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:240-253.doi:10.4230/LIPIcs.CONCUR.2015.240

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

文章 ID：186847013

文章详细全文下载

6.Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes

作　　者：Murdoch J. Gabbay ;Dan R. Ghica ;Daniela Petrisan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:374-389.doi:10.4230/LIPIcs.CSL.2015.374

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

文章 ID：186847058

文章详细全文下载

7.Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes

作　　者：Alexander Kurz ;Alberto Pardo ;Daniela Petrisan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:205-220.doi:10.4230/LIPIcs.CALCO.2015.205

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

文章 ID：186847103

文章详细全文下载

8.The Schützenberger Product for Syntactic Spaces

作　　者：Mai Gehrke ;Daniela Petrisan ;Luca Reggio

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:112:1-112:14.doi:10.4230/LIPIcs.ICALP.2016.112

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

文章 ID：186847709

文章详细全文下载

9.Up-To Techniques for Behavioural Metrics via Fibrations

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

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

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

文章 ID：230213329

文章详细全文下载

	Daniela Petrisan	9篇
	Alexander Kurz	3篇
	Fer-Jan de Vries	2篇
	Filippo Bonchi	2篇
	Paula Severi	2篇

	Thomas Colcombet	2篇
	Alberto Pardo	1篇
	Barbara K{\"o}nig	1篇
	Damien Pous	1篇
	Dan R. Ghica	1篇
	Jiri Velebil	1篇
	Jurriaan Rot	1篇
	Luca Reggio	1篇
	Mai Gehrke	1篇
	Marta Bilkova	1篇
	Murdoch J. Gabbay	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Daniela Petrisan")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	7篇
	Logical Methods in Computer Science	2篇