1.Computational Models with No Linear Speedup

作　　者：Amir M. Ben-Amram ;Niels H. Christensen ;Jakob Grue Simonsen

出　　处：Chicago Journal of Theoretical Computer Science. 2012 ;2012.

出版社：MIT Press ; University of Chicago, Department of Computer Science

文章 ID：85479185

文章详细全文下载
2.On Decidable Growth-Rate Properties of Imperative Programs

作　　者：Amir M. Ben-Amram

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;23:1-14.doi:10.4204/EPTCS.23.1

出版社：Open Publishing Association

文章 ID：83119870

文章详细全文下载
3.Ranking Functions for Size-Change Termination II

作　　者：Amir M. Ben-Amram ;Chin Soon Lee

出　　处：Logical Methods in Computer Science. 2009 ;5(02).doi:10.2168/LMCS-5(2:8)2009

出版社：Technical University of Braunschweig

文章 ID：47208405

文章详细全文下载
4.On Data Structure Tradeoffs and an Application to Union-Find

作　　者：Amir M. Ben-Amram, Zvi Galil

出　　处：Electronic Colloquium on Computational Complexity. 1995 ;1995.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：73953823

文章详细全文下载
5.Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity (extended abstract)

作　　者：Amir M. Ben-Amram

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;20:514-525.doi:10.4230/LIPIcs.STACS.2013.514

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

文章 ID：186846286

文章详细全文下载

	德国	3篇
	澳大利亚	1篇
	美国	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Amir M. Ben-Amram")))) )) ) )"

	Amir M. Ben-Amram	4篇
	Amir M. Ben-Amram, Zvi Galil	1篇
	Chin Soon Lee	1篇
	Jakob Grue Simonsen	1篇
	Niels H. Christensen	1篇

	Chicago Journal of Theoretical Computer Science	1篇
	Electronic Colloquium on Computational Complexity	1篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	Logical Methods in Computer Science	1篇

	2013	1篇
	2012	1篇
	2010	1篇
	2009	1篇
	1995	1篇