1.A triple drug combination targeting components of the nutrient-sensing network maximizes longevity

作　　者：Florent Brhard ;Assia Mahboubi ;Damien Pous 等

出　　处：Proceedings of the National Academy of Sciences. 2019 ;116(42):20817-20819.doi:10.1073/pnas.1913212116

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

文章 ID：239774940

文章详细全文下载
2.Structural basis of light-induced redox regulation in the Calvin–Benson cycle in cyanobacteria

作　　者：Karol Pak ;Daniel E. Sever{\'\i}n ;Burak V. Kabasakal 等

出　　处：Proceedings of the National Academy of Sciences. 2019 ;116(42):20984-20990.doi:10.1073/pnas.1906722116

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

文章 ID：239774970

文章详细全文下载
3.Higher-Order Tarski Grothendieck as a Foundation for Formal Proof

作　　者：Chad E. Brown ;Cezary Kaliszyk ;Karol Pak

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

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

文章 ID：240116666

文章详细全文下载
4.Declarative Proof Translation (Short Paper)

作　　者：Cezary Kaliszyk ;Karol Pak

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

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

文章 ID：240116692

文章详细全文下载

	Karol Pak	4篇
	Cezary Kaliszyk	3篇
	Chad E. Brown	2篇
	Assia Mahboubi	1篇
	Blanca Echeverria	1篇

	Burak V. Kabasakal	1篇
	Charles A. R. Cotton	1篇
	Damien Pous	1篇
	Daniel E. Sever{\'\i}n	1篇
	Dmitriy Traytel	1篇
	Doryen Bubeck	1篇
	Florent Brhard	1篇
	James W. Murray	1篇
	Julian Brunner	1篇
	Matthias Brun	1篇

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

	德国	2篇
	美国	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Karol Pak")))) )) ) )"

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