1.Sampling can be faster than optimization

作　　者：Jesse Michael Han ;Floris van Doorn ;Maximilian P. L. Haslbeck 等

出　　处：Proceedings of the National Academy of Sciences. 2019 ;116(42):20881-20885.doi:10.1073/pnas.1820003116

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

文章 ID：239774955

文章详细全文下载
2.Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL

作　　者：Maximilian P. L. Haslbeck ;Peter Lammich

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-18.doi:10.4230/LIPIcs.ITP.2019.20

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

文章 ID：240116677

文章详细全文下载
3.Generating Verified LLVM from Isabelle/HOL

作　　者：Peter Lammich

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-19.doi:10.4230/LIPIcs.ITP.2019.22

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

文章 ID：240116679

文章详细全文下载
4.Proof Pearl: Purely Functional, Simple and Efficient Priority Search Trees and Applications to Prim and Dijkstra

作　　者：Peter Lammich ;Tobias Nipkow

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-18.doi:10.4230/LIPIcs.ITP.2019.23

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

文章 ID：240116680

文章详细全文下载

	Peter Lammich	4篇
	Maximilian P. L. Haslbeck	2篇
	Fabian Immler	1篇
	Floris van Doorn	1篇
	Jesse Michael Han	1篇

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

	德国	3篇
	美国	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Peter Lammich")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Proceedings of the National Academy of Sciences	1篇