学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
AMiner 沉思
AMiner 亮点
学术资源
AI2000
期刊/会议
学者库
学术API
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
International Symposium on Mathematical Foundations of Computer Science | AMiner期刊详情 | AMiner
International Symposium on Mathematical Foundations of Computer Science
Conference
CCF 计算机科学理论 C
年发文量
研究主题
论文（3298）
排序
时间
引用
1
Homotopy Theory in Complexity of the Graph Homomorphism Problem (invited Talk).
Jakub Oprsal
2026
引用
AI阅读
加入学术空间
2
Space Complexity of Reachability in Simple Path Graphs.
Krishnamoorthy Dinesh
,
Chandana Sasidharan
2026
引用
AI阅读
加入学术空间
3
Maximum Matchings and Short Voting Paths.
Telikepalli Kavitha
2026
引用
AI阅读
加入学术空间
4
Computational Power of Energy-Constrained Autonomous Robots under Sequential Schedulers.
Caterina Feletti
,
Paola Flocchini
,
Nicola Santoro
2026
引用
AI阅读
加入学术空间
5
Functorial Semantics for First-Order Theories.
Filippo Bonchi
,
Alessandro Di Giorgio
,
Roberto Di Virgilio
,
Pawel Sobocinski
2026
引用
AI阅读
加入学术空间
6
Satisfiability of Multivalued Circuits with Lists.
Pawel M. Idziak
,
Piotr Kawalek
,
Jacek Krzaczkowski
,
Armin Weiß
2026
引用
AI阅读
加入学术空间
7
Exact Cut Complexity of Equal-Length Proportional Cake Cutting.
Yasushi Kawase
,
Mohammad Azharuddin Sanpui
2026
引用
AI阅读
加入学术空间
8
Parameterizing the Complexity of Finding Long Paths in DAGs.
Ronak Bhadra
,
Saurya Singh
,
Raghunath Tewari
2026
引用
AI阅读
加入学术空间
9
Generalized Snarks, Disjoint Perfect Matchings, and Graph Covers.
Filip Filipi
,
Jan Kratochvíl
,
Roman Nedela
2026
引用
AI阅读
加入学术空间
10
On the Tension Between Full-Rankness and Self-Reducibility for Set-Multilinear Polynomials.
Deepanshu Kush
2026
引用
AI阅读
加入学术空间
11
Characterizing LTL Formulas by Examples.
Balder ten Cate
,
Dana Fisman
,
Roi Ohayon
,
Patrik Sestic
2026
引用
AI阅读
加入学术空间
12
Multi-Head Finite-State Dimension.
Xiang Huang
,
Xiaoyuan Li
,
Jack H. Lutz
,
Neil Lutz
2026
引用
AI阅读
加入学术空间
13
Distinguishing Elements in Semigroups.
Markus Lohrey
,
Alexander Thumm
,
Julio Xochitemol
2026
引用
AI阅读
加入学术空间
14
Upper Clique Transversal on Interval Graphs and Beyond.
Lars Jaffke
,
Paloma Thomé de Lima
,
Amir Nikabadi
2026
引用
AI阅读
加入学术空间
15
Quantitative Equational Rewriting.
Besik Dundua
,
Georg Ehling
,
Santiago Escobar
,
Maribel Fernández
,
Temur Kutsia
2026
引用
AI阅读
加入学术空间
16
Towards a Universal Gateset for QMA₁.
Dorian Rudolph
2026
引用
AI阅读
加入学术空间
17
Some Recent Developments in Space Complexity (invited Talk).
R. Ryan Williams
2026
引用
AI阅读
加入学术空间
18
Primitive Recursion Without Composition.
Olivier Bournez
2026
引用
AI阅读
加入学术空间
19
Bi-Criteria Approximations for Vertex Deletion Problems and D-Hitting Set.
Soumen Mandal
,
Ashutosh Rai
,
Saket Saurabh
2026
引用
AI阅读
加入学术空间
20
Highly-Efficient Local Proofs and Codes (invited Talk).
Noga Ron-Zewi
2026
引用
AI阅读
加入学术空间
加载更多
高被引作者
作者
引用
发文
Burkhard Monien
917
14
Leslie Valiant
884
3
M. Mavronicolas
678
4
Kurt Mehlhorn
643
10
Matthew Hennessy
553
5
Jarkko Kari
545
10
Karsten Tiemann
533
2
Igal Milchtaich
526
1
Gordon David Plotkin
444
3
David Peleg
402
9
高产作者
作者
引用
发文
Saket Saurabh
188
22
Daniel Paulusma
246
21
Markus Lohrey
223
17
Paul Spirakis
290
17
Burkhard Monien
917
14
Rolf Niedermeier
371
14
Joël Ouaknine
90
13
Juraj Hromkovic
297
13
George B. Mertzios
131
13
Christian Glaßer
102
12
相关期刊
ACM Transactions on Computation Theory
Symposium on Theoretical Aspects of Computer Science
Computational Complexity Conference
European Symposium on Algorithms
Foundations of Software Technology and Theoretical Computer Science
Fun with Algorithms
International Colloquium on Automata, Languages and Programming
International Symposium on Algorithms and Computation
Theory of Computing Systems
SIAM Journal on Computing
