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.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Markus Roggenbach ;Ana Sokolova

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

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

文章 ID：241519997

文章详细全文下载
3.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

文章详细全文下载
4.Termination in Convex Sets of Distributions

作　　者：Ana Sokolova ;Harald Woracek

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

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

文章 ID：205510200

文章详细全文下载
5.Local Linearizability for Concurrent Container-Type Data Structures

作　　者：Andreas Haas ;Thomas A. Henzinger ;Andreas Holzer 等

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

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

文章 ID：186847565

文章详细全文下载

	Ana Sokolova	5篇
	Alexandra Silva	1篇
	Ali Sezgin	1篇
	Andreas Haas	1篇
	Andreas Holzer	1篇

	Bart Jacobs	1篇
	Christoph M. Kirsch	1篇
	Filippo Bonchi	1篇
	Hannes Payer	1篇
	Harald Woracek	1篇
	Helmut Veith	1篇
	Ichiro Hasuo	1篇
	Markus Roggenbach	1篇
	Michael Lippautz	1篇
	Thomas A. Henzinger	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Ana Sokolova")))) )) ) )"

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

	2019	1篇
	2017	2篇
	2016	1篇
	2007	1篇