学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
深度研究
学者亮点
学术资源
AI2000
期刊/会议
学者库
学术API
MCP&Skill
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
Italian Conference on Theoretical Computer Science
Conference
年发文量
研究主题
论文（1229）
排序
时间
引用
1
The Skipping Principle in String Matching: A Simplified Analysis of Apostolico-Giancarlo.
Simone Faro
,
Arianna Pavone
2026
引用
AI阅读
加入学术空间
2
Semantic Embeddings for Modal Logic (extended Abstract).
Pietro Casavecchia
,
Mauro Milella
,
Riccardo Monego
,
Alberto Paparella
,
Guido Sciavicco
,
Leonardo Serrentino
2026
引用
AI阅读
加入学术空间
3
State Vector to Block Encoding: an Efficient Quantum Circuit Transformation.
Giacomo Antonioli
,
Alessandro Berti
,
Gianna M. Del Corso
,
Alessandro Poggiali
2026
引用
AI阅读
加入学术空间
4
Morris Games Are (computationally) Hard.
Stefano Leucci
,
Michael Piccirilli
2026
引用
AI阅读
加入学术空间
5
Towards Algebraic Asymptotics for Probabilistic Loops.
Michele Boreale
,
Luisa Collodi
,
Alessandro Pompa Di Gregorio
2026
引用
AI阅读
加入学术空间
立即登录
，查看全部 1229 篇论文
高被引作者
作者
引用
发文
Majdi Mafarja
258
2
Arafat Awajan
244
13
Abdelaziz I. Hammouri
239
1
Derar Eleyan
239
2
Iyad Jaber
239
1
Elena Zucca
223
15
Rocco De Nicola
189
3
Jorge A. Pérez
184
5
Aniello Murano
175
5
D. Frigioni
168
5
高产作者
作者
引用
发文
Domenico Cantone
124
16
Elena Zucca
223
15
Arafat Awajan
244
13
Shyam Akashe
3
12
Angelo Montanari
115
11
Davide Ancona
153
11
Simone Faro
4
10
Antonio Restivo
82
10
Alberto Policriti
61
10
Marino Miculan
119
10
相关期刊
Logical Methods in Computer Science
ACM SIGLOG News
Conference on Current Trends in Theory and Practice of Informatics
ACM/IEEE Symposium on Logic in Computer Science
International Conference on Relational and Algebraic Methods in Computer Science
Reachability Problems
Electronic Proceedings in Theoretical Computer Science (EPTCS)
Information and Computation
Bulletin of The European Association for Theoretical Computer Science
ACM Transactions on Computational Logic
