| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 弱化和嵌套类记忆自动机 | Conrad Cotton-Barratt, Andrzej Murawski, Luke Ong | 1409.1136 | cs.FL | 2014-12-01 |
| 具有大指数和缓慢同步自动机的原始有向图 | Dmitry S. Ananichev, Vladimir V. Gusev, Mikhail V. Volkov | 1302.5793 | cs.FL | 2014-11-25 |
| 同时定时端口自动机 | Radu Grosu, Bernhard Rumpe | 1411.6027 | cs.FL | 2014-11-25 |
| 可达性约束下的接受规范商 | Guillaume Verdier and Jean-Baptiste Raclet | 1411.6463 | cs.FL | 2014-11-25 |
| Zeno机器和用于无限时间的运行图灵机 | Bryce M. Kim | 1411.5679 | cs.FL | 2014-11-24 |
| 上下文无关语言正则可分离性的完整细化程序 | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sondergaard, Peter J. Stuckey | 1411.5131 | cs.FL | 2014-11-20 |
| 关于可替代关系的上下文无关语言的学习算法 | Takayuki Kuriyama | 1409.6247 | cs.FL | 2014-11-17 |
| 将PDA转换为CFG的直观过程：通过构建单状态PDA | Arjun Bhardwaj and N.S. Narayanaswamy | 1411.0813 | cs.FL | 2014-11-05 |
| 图灵机的意向并发忠实编码 | Thomas Given-Wilson (INRIA, Saclay) | 1404.0545 | cs.FL | 2014-10-29 |
| SReach：一种用于随机混合系统的有界模型检验器 | Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, and Edmund M. Clarke | 1404.7206 | cs.FL | 2014-10-28 |
| 上下文不足，无法准确翻译。 | Georg Bachmeier, Michael Luttenberger, Maximilian Schlund | 1410.2737 | cs.FL | 2014-10-24 |
| 实数域和随机图不是有限字序自动的 | Alexander Kartzow | 1410.5197 | cs.FL | 2014-10-21 |
| 通过术语重写统一分析可折叠和有序推动自动机 | Lorenzo Clemente | 1410.4065 | cs.FL | 2014-10-16 |
| 关于概率自动机的值1问题已知情况 | Nathana"el Fijalkow (LIAFA) | 1410.3770 | cs.FL | 2014-10-15 |
| 扩展正则表达式不等式的符号求解 | Matthias Keil, Peter Thiemann | 1410.3227 | cs.FL | 2014-10-14 |
| 加权有输出的有限自动机 | Jelena Ignjatovi''c, Miroslav ''Ciri''c, Zorana Janv{c}i''c | 1410.2415 | cs.FL | 2014-10-10 |
| 有限状态转录器的Lipschitz鲁棒性 | Thomas A. Henzinger, Jan Otop and Roopsha Samanta | 1404.6452 | cs.FL | 2014-10-08 |
| 整数向量加法系统与状态 | Christoph Haase and Simon Halfon | 1406.2590 | cs.FL | 2014-10-01 |
| 有限自动机的受限双向运动 | David Damanik (Rice University) | 1409.5909 | cs.FL | 2014-09-23 |
| 补充奇偶自动机的紧致界限 | Sven Schewe, Thomas Varghese | 1406.1090 | cs.FL | 2014-09-12 |
| 涉及欧拉二进制自动机复位词问题的复杂性 | Vojtv{e}ch Vorel | 1409.2003 | cs.FL | 2014-09-09 |
| 飞行步行自动机 | Ville Salo and Ilkka T"orm"a | 1408.6701 | cs.FL | 2014-08-29 |
| 自动树关系生成确定性自顶向下树转换器的综合 | Christof L"oding (RWTH Aachen University), Sarah Winter (RWTH Aachen University) | 1408.5959 | cs.FL | 2014-08-27 |
| 沙漏自动机 | Yuki Osada (The University of Western Australia), Tim French (The University of Western Australia), Mark Reynolds (The University of Western Australia), Harry Smallbone (The University of Western Australia) | 1408.5965 | cs.FL | 2014-08-27 |
| 无序树的确定性自动机 | Adrien Boiret (University of Lille 1. Links (Inria Lille & LIFL, UMR CNRS 8022), France), Vincent Hugot (Inria. Links (Inria Lille & LIFL, UMR CNRS 8022), France), Joachim Niehren (Inria. Links (Inria Lille & LIFL, UMR CNRS 8022), France), Ralf Treinen (University Paris Diderot. PPS (UMR CNRS 7126), France) | 1408.5966 | cs.FL | 2014-08-27 |