1.A workbench for preprocessor design and evaluation: toward benchmarks for parity games

作　　者：Michael Huth ;Nir Piterman ;Huaxin Wang

出　　处：Electronic Communications of the EASST. 2009 ;23.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100465700

文章详细全文下载
2.Drug Target Optimization in Chronic Myeloid Leukemia Using Innovative Computational Platform

作　　者：Ryan Chuang ;Benjamin A. Hall ;David Benque 等

出　　处：Scientific Reports. 2015 ;5.doi:10.1038/srep08190

出版社：Springer Nature

文章 ID：110736528

文章详细全文下载
3.Heterogeneity of Myc expression in breast cancer exposes pharmacological vulnerabilities revealed through executable mechanistic modeling

作　　者：Peter Kreuzaler ;Matthew A. Clarke ;Elizabeth J. Brown 等

出　　处：Proceedings of the National Academy of Sciences. 2019 ;116(44):22399-22408.doi:10.1073/pnas.1903485116

出版社：The National Academy of Sciences of the United States of America

文章 ID：243137928

文章详细全文下载
4.Combinations of Qualitative Winning for Stochastic Parity Games

作　　者：Krishnendu Chatterjee ;Nir Piterman

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

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

文章 ID：238891914

文章详细全文下载
5.Drug Target Optimization in Chronic Myeloid Leukemia Using Innovative Computational Platform

作　　者：Ryan Chuang ;Benjamin A. Hall ;David Benque 等

出　　处：Scientific Reports. 2015 ;5(1).doi:10.1038/srep08190

出版社：Springer Nature

文章 ID：235873451

文章详细全文下载
6.Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics

作　　者：Pablo Castro ;Cecilia Kilmurray ;Nir Piterman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;30:211-223.doi:10.4230/LIPIcs.STACS.2015.211

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

文章 ID：186846663

文章详细全文下载

	Nir Piterman	6篇
	Jasmin Fisher	3篇
	Alex Taylor	2篇
	Benjamin A. Hall	2篇
	Berthold Gottgens	2篇

	Byron Cook	2篇
	David Benque	2篇
	Moshe Vardi	2篇
	Ryan Chuang	2篇
	Samin Ishtiaq	2篇
	Steffen Koschmieder	2篇
	Catherine H. Wilson	1篇
	Cecilia Kilmurray	1篇
	Elizabeth J. Brown	1篇
	Gerard I. Evan	1篇
	Huaxin Wang	1篇
	Krishnendu Chatterjee	1篇
	Matthew A. Clarke	1篇
	Michael Huth	1篇
	Pablo Castro	1篇
	Peter Kreuzaler	1篇
	Roderik M. Kortlever	1篇
	Trevor Littlewood	1篇

	自然科学总论	3篇
	计算技术、计算机技术	3篇

	德国	3篇
	英国	2篇
	美国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Nir Piterman")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Scientific Reports	2篇
	Electronic Communications of the EASST	1篇
	Proceedings of the National Academy of Sciences	1篇

	2019	2篇
	2015	3篇
	2009	1篇