1.Asymmetric Distances for Approximate Differential Privacy

作　　者：Dmitry Chistikov ;Andrzej S. Murawski ;David Purser

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

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

文章 ID：238891918

文章详细全文下载
2.On the Expressivity of Linear Recursion Schemes

作　　者：Pierre Clairambault ;Andrzej S. Murawski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-14.doi:10.4230/LIPIcs.MFCS.2019.50

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

文章 ID：238892000

文章详细全文下载
3.Higher-Order Linearisability

作　　者：Andrzej S. Murawski ;Nikos Tzevelekos

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

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

文章 ID：200735200

文章详细全文下载
4.The Big-O Problem for Labelled Markov Chains and Weighted Automata

作　　者：Dmitry Chistikov ;Stefan Kiefer ;Andrzej S. Murawski 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:41:1-41:19.doi:10.4230/LIPIcs.CONCUR.2020.41

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

文章 ID：255822900

文章详细全文下载
5.Böhm Trees as Higher-Order Recursive Schemes

作　　者：Pierre Clairambault ;Andrzej S. Murawski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:91-102.doi:10.4230/LIPIcs.FSTTCS.2013.91

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

文章 ID：186846399

文章详细全文下载
6.Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata

作　　者：Andrzej S. Murawski ;Steven J. Ramsay ;Nikos Tzevelekos

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-14.doi:10.4230/LIPIcs.MFCS.2018.72

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

文章 ID：230213427

文章详细全文下载
7.THE BIG-O PROBLEM

作　　者：Dmitry Chistikov ;Stefan Kiefer ;Andrzej S. Murawski 等

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-50.doi:10.46298/lmcs-18(1:40)2022

出版社：Technical University of Braunschweig

文章 ID：1038046946

文章详细

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

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Andrzej S. Murawski")))) )) ) )"

	Andrzej S. Murawski	7篇
	David Purser	3篇
	Dmitry Chistikov	3篇
	Nikos Tzevelekos	2篇
	Pierre Clairambault	2篇

	LIPIcs : Leibniz International Proceedings in Informatics	6篇
	Logical Methods in Computer Science	1篇

	2022	1篇
	2020	1篇
	2019	2篇
	2018	1篇
	2017	1篇

	Stefan Kiefer	2篇
	Steven J. Ramsay	1篇