首页期刊浏览 2024年11月26日星期二

登录注册

全文

	有本地全文	8篇
	有全文链接	2篇

出版年度

	2019	1篇
	2018	2篇
	2017	1篇
	2016	1篇
	2015	1篇

	2014	1篇
	2009	2篇
	2008	1篇

作者

	Ahmed Bouajjani	10篇
	Mohamed Faouzi Atig	5篇
	Constantin Enea	4篇
	K. Narayan Kumar	3篇
	Prakash Saivasan	3篇

	Mihaela Sighireanu	2篇
	Yan Jurski	2篇
	Cezara Dragoi	1篇
	Cezara Drăgoi	1篇
	Chao Wang	1篇
	Jad Hamza	1篇
	Michael Emmi	1篇
	Parosh Aziz Abdulla	1篇
	Sidi Mohamed Beillahi	1篇
	Tayssir Touili	1篇
	Tuan Phong Ngo	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Logical Methods in Computer Science	1篇
	OASIcs : OpenAccess Series in Informatics	1篇

学科主题

计算技术、计算机技术

10篇

语种

英文

10篇

国别/地区

德国

10篇

检索条件:"( ( 高级检索(( ((AU:(("Ahmed Bouajjani")))) )) ) )"

共 10 条记录

排序：全选导出：

1.A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

作　　者：Ahmed Bouajjani ;Cezara Dragoi ;Constantin Enea 等

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

出版社：Technical University of Braunschweig

文章 ID：47208396

文章详细全文下载
2.Robustness Against Transactional Causal Consistency

作　　者：Sidi Mohamed Beillahi ;Ahmed Bouajjani ;Constantin Enea

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

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

文章 ID：238891938

文章详细全文下载
3.Checking Linearizability of Concurrent Priority Queues

作　　者：Ahmed Bouajjani ;Constantin Enea ;Chao Wang

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

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

文章 ID：200735182

文章详细全文下载
4.Verification of Asynchronous Programs with Nested Locks

作　　者：Mohamed Faouzi Atig ;Ahmed Bouajjani ;K. Narayan Kumar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:11:1-11:14.doi:10.4230/LIPIcs.FSTTCS.2017.11

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

文章 ID：220015396

文章详细
5.Analyzing Asynchronous Programs with Preemption

作　　者：Mohamed Faouzi Atig ;Ahmed Bouajjani ;Tayssir Touili

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:37-48.doi:10.4230/LIPIcs.FSTTCS.2008.1739

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

文章 ID：186845501

文章详细全文下载
6.On Bounded Reachability Analysis of Shared Memory Systems

作　　者：Mohamed Faouzi Atig ;Ahmed Bouajjani ;K. Narayan Kumar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:611-623.doi:10.4230/LIPIcs.FSTTCS.2014.611

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

文章 ID：186846637

文章详细全文下载
7.Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk)

作　　者：Ahmed Bouajjani ;Michael Emmi ;Constantin Enea 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:2-4.doi:10.4230/LIPIcs.FSTTCS.2015.2

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

文章 ID：186847167

文章详细全文下载
8.Rewriting Systems over Nested Data Words

作　　者：Ahmed Bouajjani ;Cezara Drăgoi ;Yan Jurski 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2009 ;13:70-77.doi:10.4230/DROPS.MEMICS.2009.2356

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

文章 ID：186848351

文章详细
9.The Benefits of Duality in Verifying Concurrent Programs under TSO

作　　者：Parosh Aziz Abdulla ;Mohamed Faouzi Atig ;Ahmed Bouajjani 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:5:1-5:15.doi:10.4230/LIPIcs.CONCUR.2016.5

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

文章 ID：186847564

文章详细全文下载
10.Verifying Quantitative Temporal Properties of Procedural Programs

作　　者：Mohamed Faouzi Atig ;Ahmed Bouajjani ;K. Narayan Kumar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.15

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

文章 ID：230213327

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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