首页期刊浏览 2025年02月17日星期一

登录注册

全文

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

出版年度

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

	2015	1篇
	2014	2篇
	2010	2篇

作者

	Paul Gastin	16篇
	Benedikt Bollig	4篇
	S. Akshay	3篇
	Marie Fortin	2篇
	Sayan Mukherjee	2篇

	Shankara Narayanan Krishna	2篇
	Aiswarya Cyriac	1篇
	Akshay Kumar	1篇
	Arkadev Chattopadhyay	1篇
	B Srivathsan	1篇
	B. Srivathsan	1篇
	Bharat Adsul	1篇
	C. Aiswarya	1篇
	Cyriac Aiswarya	1篇
	Emmanuel Filiot	1篇
	Ga{"e}tan Douneau-Tabot	1篇
	Ilias Sarkar	1篇
	K. Narayan Kumar	1篇
	Madhavan Mukund	1篇
	Manfred Droste	1篇
	Mats Å. Hallgren	1篇
	Nathan D. Moss	1篇
	Pascal Weil	1篇
	Saptarshi Sarkar	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	15篇
	Journal of Sports Science and Medicine	1篇

学科主题

	计算技术、计算机技术	15篇
	体育	1篇

语种

英文

16篇

国别/地区

德国

15篇

检索条件:"( ( 高级检索(( ((AU:(("Paul Gastin")))) )) ) )"

共 16 条记录

排序：全选导出：

1.Regular Exercise Participation Mediates the Affective Response to Acute Bouts of Vigorous Exercise

作　　者：Mats Å. Hallgren ;Mats Å. Hallgren ;Nathan D. Moss 等

出　　处：Journal of Sports Science and Medicine. 2010 ;9(4):629-637.

出版社：University of Uludag

文章 ID：253499980

文章详细全文下载
2.Aperiodic Weighted Automata and Weighted First-Order Logic

作　　者：Manfred Droste ;Paul Gastin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-15.doi:10.4230/LIPIcs.MFCS.2019.76

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

文章 ID：238892026

文章详细全文下载
3.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Arkadev Chattopadhyay ;Paul Gastin

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

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

文章 ID：241519854

文章详细全文下载
4.Towards an Efficient Tree Automata Based Technique for Timed Systems

作　　者：S. Akshay ;Paul Gastin ;Shankara Narayanan Krishna 等

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

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

文章 ID：200735205

文章详细全文下载
5.Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces

作　　者：Bharat Adsul ;Paul Gastin ;Saptarshi Sarkar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:19:1-19:17.doi:10.4230/LIPIcs.CONCUR.2020.19

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

文章 ID：255822878

文章详细全文下载
6.Register Transducers Are Marble Transducers

作　　者：Ga{"e}tan Douneau-Tabot ;Emmanuel Filiot ;Paul Gastin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:29:1-29:14.doi:10.4230/LIPIcs.MFCS.2020.29

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

文章 ID：255822939

文章详细全文下载
7.Communicating Finite-State Machines and Two-Variable Logic

作　　者：Benedikt Bollig ;Marie Fortin ;Paul Gastin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:17:1-17:14.doi:10.4230/LIPIcs.STACS.2018.17

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

文章 ID：220015252

文章详细
8.Weighted Tiling Systems for Graphs: Evaluation Complexity

作　　者：C. Aiswarya ;Paul Gastin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-17.doi:10.4230/LIPIcs.FSTTCS.2020.34

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

文章 ID：257805104

文章详细全文下载
9.Reachability for Updatable Timed Automata Made Faster and More Effective

作　　者：Paul Gastin ;Sayan Mukherjee ;B Srivathsan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-17.doi:10.4230/LIPIcs.FSTTCS.2020.47

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

文章 ID：257805117

文章详细全文下载
10.Model checking time-constrained scenario-based specifications

作　　者：S. Akshay ;Paul Gastin ;Madhavan Mukund 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:204-215.doi:10.4230/LIPIcs.FSTTCS.2010.204

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

文章 ID：186845771

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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