首页期刊浏览 2024年11月30日星期六

登录注册

全文

	有本地全文	17篇
	有全文链接	1篇

出版年度

	2020	1篇
	2019	4篇
	2018	4篇
	2017	3篇
	2016	1篇

	2015	1篇
	2012	2篇
	2011	1篇
	2008	1篇

作者

	Damien Pous	18篇
	Amina Doumane	2篇
	Assia Mahboubi	2篇
	Florent Brhard	2篇
	Jurriaan Rot	2篇

	Paul Brunet	2篇
	Anupam Das	1篇
	Cezary Kaliszyk	1篇
	Chad E. Brown	1篇
	Christian Doczkal	1篇
	Daniel Hirschkoff	1篇
	Daniela Petrisan	1篇
	Denis Kuperberg	1篇
	Dmitriy Traytel	1篇
	Enric Cosme Ll{\'o}pez	1篇
	Filippo Bonchi	1篇
	Georg Struth	1篇
	Henning Basold	1篇
	Julian Brunner	1篇
	Karol Pak	1篇
	Laureline Pinault	1篇
	Matthias Brun	1篇
	Thomas Braibant	1篇
	Tom Hirschowitz	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	13篇
	Logical Methods in Computer Science	3篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Proceedings of the National Academy of Sciences	1篇

学科主题

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

语种

英文

18篇

国别/地区

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

检索条件:"( ( 高级检索(( ((AU:(("Damien Pous")))) )) ) )"

共 18 条记录

排序：全选导出：

1.Innocent strategies as presheaves and interactive equivalences for CCS

作　　者：Tom Hirschowitz ;Damien Pous

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;59:2-24.doi:10.4204/EPTCS.59.2

出版社：Open Publishing Association

文章 ID：83120213

文章详细全文下载
2.A Distribution Law for CCS and a New Congruence Result for the p-calculus

作　　者：Daniel Hirschkoff ;Damien Pous

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

出版社：Technical University of Braunschweig

文章 ID：46838691

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

文章详细全文下载
4.A Certificate-Based Approach to Formally Verified Approximations

作　　者：Florent Brhard ;Assia Mahboubi ;Damien Pous

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

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

文章 ID：240116665

文章详细全文下载
5.Cyclic Proofs and Jumping Automata

作　　者：Denis Kuperberg ;Laureline Pinault ;Damien Pous

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-14.doi:10.4230/LIPIcs.FSTTCS.2019.45

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

文章 ID：241519899

文章详细全文下载
6.Coinduction: Automata, Formal Proof, Companions (Invited Paper)

作　　者：Damien Pous

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

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

文章 ID：241520001

文章详细全文下载
7.On Decidability of Concurrent Kleene Algebra

作　　者：Paul Brunet ;Damien Pous ;Georg Struth

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:28:1-28:15.doi:10.4230/LIPIcs.CONCUR.2017.28

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

文章 ID：200735194

文章详细全文下载
8.K4-free Graphs as a Free Algebra

作　　者：Enric Cosme Ll{\'o}pez ;Damien Pous

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:76:1-76:14.doi:10.4230/LIPIcs.MFCS.2017.76

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

文章 ID：205510142

文章详细全文下载
9.Monoidal Company for Accessible Functors

作　　者：Henning Basold ;Damien Pous ;Jurriaan Rot

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

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

文章 ID：205510170

文章详细全文下载
10.Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms

作　　者：Amina Doumane ;Damien Pous

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:29:1-29:16.doi:10.4230/LIPIcs.CONCUR.2020.29

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

文章 ID：255822888

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：[email protected]

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有