首页>外文会议>International Symposium on Fundamentals of Computation Theory

International Symposium on Fundamentals of Computation Theory

召开年：2017
召开地：Bordeaux(FR)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Contextuality in Multipartite Pseudo-Telepathy Graph Games

机译：多部分伪心灵感应图游戏中的语境
- 作者：Anurag Anshu;Peter Hoyer;Mehdi Mhalla;Simon Perdrix
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
2.Generalized Satisfiability Problems via Operator Assignments

机译：通过操作员分配的广义可满足性问题
- 作者：Albert Atserias;Phokion G. Kolaitis;Simone Severini
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
3.New Results on Routing via Matchings on Graphs

机译：通过图上的匹配进行路由的新结果
- 作者：Indranil Banerjee;Dana Richards
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
4.Energy-Efficient Fast Delivery by Mobile Agents

机译：通过移动代理实现节能高效的快速交付
- 作者：Andreas Baertschi;Thomas Tschager
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
5.Parameterized Aspects of Triangle Enumeration

机译：三角枚举的参数化方面
- 作者：Matthias Bentert;Till Fluschnik;Andre Nichterlein;Rolf Niedermeier
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
6.Testing Polynomial Equivalence by Scaling Matrices

机译：通过缩放矩阵测试多项式等价
- 作者：Markus Blaeser;B.V. Raghavendra Rao;Jayalal Sarma
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
7.Strong Duality in Horn Minimization

机译：喇叭最小化的强对偶
- 作者：Endre Boros;Ondrej Cepek;Kazuhisa Makino
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
8.Token Jumping in Minor-Closed Classes

机译：小型封闭课程中的代币跳跃
- 作者：Nicolas Bousquet;Arnaud Mary;Aline Parreau
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
9.Expressive Power of Evolving Neural Networks Working on Infinite Input Streams

机译：不断发展的神经网络在无限输入流上的表现力
- 作者：Jeremie Cabessa;Olivier Finkel
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
- Neural networks;
- Attractors;
- Formal languages;
- ω-languages;
- Borel sets;
- Analytic sets;
- Effective Borel and analytic sets;
10.Minimal Absent Words in a Sliding Window and Applications to On-Line Pattern Matching

机译：滑动窗口中的最小缺席单词及其在在线模式匹配中的应用
- 作者：Maxime Crochemore;Alice Heliou;Gregory Kucherov;Laurent Mouchard;Solon P. Pissis;Yann Ramusat
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
11.Deterministic Oblivious Local Broadcast in the SINR Model

机译：SINR模型中的确定性遗忘本地广播
- 作者：Tomasz Jurdzinski;Michal Rozanski
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
12.Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities

机译：具有亚指数和括号模态的Lambek微积分的不确定性
- 作者：Max Kanovich;Stepan Kuznetsov;Andre Scedrov
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
13.Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words

机译：有限和无限词的有理关系子类的决策问题
- 作者：Christof Loeding;Christopher Spinrath
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
- Rational relations;
- Automatic relations;
- w-automata;
- Finite transducers;
- Visibly pushdown automata;
14.Listing All Fixed-Length Simple Cycles in Sparse Graphs in Optimal Time

机译：在最佳时间内列出稀疏图中的所有固定长度简单循环
- 作者：George Manoussakis
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
- Sparse graphs;
- k-degenerate;
- Fixed-size cycles listing;
15.Subquadratic Non-adaptive Threshold Group Testing

机译：次二次非自适应阈值组测试
- 作者：Gianluca De Marco;Tomasz Jurdzinski;Michal Rozanski;Grzegorz Stachowiak
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
- Group testing;
- Threshold group testing;
- Non-adaptive strategies;
- Randomized algorithms;
16.Reliable Communication via Semilattice Properties of Partial Knowledge

机译：通过部分知识的半格特性进行可靠的交流
- 作者：Aris Pagourtzis;Giorgos Panagiotakos;Dimitris Sakavalas
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
- Reliable message transmission;
- Partial knowledge;
- Semilattices;
- General adversary;
- Byzantine adversary;
17.The Snow Team Problem (Clearing Directed Subgraphs by Mobile Agents)

机译：雪队问题（通过移动代理清除定向子图）
- 作者：Dariusz Dereniowski;Andrzej Lingas;Mia Persson;Dorota Urbanska;Pawel Zylinski
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
- Graph searching;
- FPT-algorithm;
- NP-hardness;
- Monomial;
18.Polynomial-Time Algorithms for the Subset Feedback Vertex Set Problem on Interval Graphs and Permutation Graphs

机译：区间图和置换图上子集反馈顶点集问题的多项式时间算法
- 作者：Charis Papadopoulos;Spyridon Tzimas
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
19.FO Model Checking on Map Graphs

机译：地图图形上的FO模型检查
- 作者：Kord Eickmeyer;Ken-ichi Kawarabayashi
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
20.Determinism and Computational Power of Real Measurement-Based Quantum Computation

机译：基于实测的量子计算的确定性和计算能力
- 作者：Simon Perdrix;Luc Sanselme
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
21.Multiple Context-Free Tree Grammars and Multi-component Tree Adjoining Grammars

机译：多个无上下文树语法和多分量树邻接语法
- 作者：Joost Engelfriet;Andreas Maletti
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
22.Busy Beaver Scores and Alphabet Size

机译：繁忙的海狸乐谱和字母大小
- 作者：Holger Petersen
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
23.On ∑ ∧ ∑ ∧ ∑ Circuits: The Role of Middle ∑ Fan-In, Homogeneity and Bottom Degree

机译：在∑∧ ∑∧ ∑电路上：中间∑扇入，均质性和底角的作用
- 作者：Christian Engels;B.V. Raghavendra Rao;Karteek Sreenivasaiah
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
24.Automatic Kolmogorov Complexity and Normality Revisited

机译：重新考虑自动Kolmogorov的复杂性和常态性
- 作者：Alexander Shen
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
25.Decidable Weighted Expressions with Presburger Combinators

机译：Presburger组合器的可确定加权表达式
- 作者：Emmanuel Filiot;Nicolas Mazzocchi;Jean-Francois Raskin
- 会议名称：《》 | 2017年
26.The Complexity of Routing with Few Collisions

机译：冲突少的路由的复杂性
- 作者：Till Fluschnik;Marco Morik;Manuel Sorge
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
27.Parikh Image of Pushdown Automata

机译：下推式自动机的Parikh图像
- 作者：Pierre Ganty;Elena Gutierrez
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
28.Tropical Combinatorial Nullstellensatz and Fewnomials Testing

机译：热带组合Nullstellensatz和雌性体检
- 作者：Dima Grigoriev;Vladimir V. Podolskii
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
29.On Weak-Space Complexity over Complex Numbers

机译：关于复数上的弱空间复杂度
- 作者：Pushkar S. Joglekar;B.V. Raghavendra Rao;Siddhartha Sivakumar
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
30.What One Has to Know When Attacking P vs. NP (Extended Abstract)

机译：攻击P对NP时必须知道的内容（扩展摘要）
- 作者：Juraj Hromkovic;Peter Rossmanith
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
31.Optimal Dual-Pivot Quicksort: Exact Comparison Count

机译：最佳双轴Quicksort：精确比较计数
- 作者：Martin Dietzfelbinger
- 会议名称：《》 | 2017年
32.Some Results of Zoltan Esik on Regular Languages

机译：Zoltan Esik关于常规语言的一些结果
- 作者：Jean-Eric Pin
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
33.Preface

机译：前言
- 作者：Ralf Klasing;Marc Zeitoun
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
34.Automata and Program Analysis

机译：自动机和程序分析
- 作者：Thomas Colcombet;Laure Daviaud;Florian Zuleger
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
35.A Tour of Recent Results on Word Transducers

机译：单词转换器的最新结果之旅
- 作者：Anca Muscholl
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
36.Automata and Program Analysis

机译：自动机和程序分析
- 作者：Thomas Colcombet;Laure Daviaud;Florian Zuleger
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
37.What One Has to Know When Attacking P vs. NP (Extended Abstract)

机译：攻击P对NP时必须知道的内容（扩展摘要）
- 作者：Juraj Hromkovic;Peter Rossmanith
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
38.A Tour of Recent Results on Word Transducers

机译：单词转换器的最新结果之旅
- 作者：Anca Muscholl
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
39.Some Results of Zoltan Esik on Regular Languages

机译：Zoltan Esik关于常规语言的一些结果
- 作者：Jean-Eric Pin
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2017年
40.Representing the Boolean OR Function by Quadratic Polynomials Modulo 6

机译：用二次多项式模数6表示布尔或功能
- 作者：Gyula Gyor
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
41.The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable

机译：最简单的语言，有限替换的等价是不可识别的
- 作者：Michal Kunc
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
42.An O(1.787~n)-Time Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes

机译：一种（1.787〜n） - 在由/或节点组成的布尔网络中检测单例吸引子的-time算法
- 作者：Takeyuki Tamura;Tatsuya Akutsu
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
43.From Micro to Macro: How the Overlap Graph Determines the Reduction Graph in Ciliates

机译：从Micro到宏：重叠图如何确定Ciliates中的减少图
- 作者：Robert Brijder;Hendrik Jan Hoogeboom;Grzegorz Rozenberg
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
44.An O(1.787{sup}n)-Time Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes

机译：用于在由和/或节点组成的布尔网络中检测单例吸引子的O（1.787 {sup} n）-time算法
- 作者：Takeyuki Tamura;Tatsuya Akutsu
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
45.Rewriting Systems with Data A Framework for Reasoning About Systems with Unbounded Structures over Infinite Data Domains

机译：用数据重写系统，了解具有无限数据域的无界结构的系统的框架
- 作者：Ahmed Bouajjani;Peter Habermehl;Yan Jurski;Mihaela Sighireanu
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
46.Rewriting Systems with Data

机译：使用数据重写系统
- 作者：Ahmed Bouajjani;Peter Habermehl;Yan Jurski;Mihaela Sighireanu
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
47.Expressive Power of LL( k ) Boolean Grammars

机译：LL（k）布尔语法的表现力
- 作者：Alexander Okhotin
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
48.Approximating Graphs by Graphs and Functions

机译：通过图形和函数近似图形
- 作者：László Lovász
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
49.An O (1.787 n )-Time Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes

机译：一种（1.787 n）-time算法，用于检测由和/或节点组成的布尔网络中的单身吸引子
- 作者：Takeyuki Tamura;Tatsuya Akutsu
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
50.Real-Time Reversible Iterative Arrays

机译：实时可逆迭代阵列
- 作者：Martin Kutrib;Andreas Malcher
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
51.Analysis of Approximation Algorithms for k -Set Cover Using Factor-Revealing Linear Programs

机译：用因子揭示线性程序分析K -SET覆盖的近似算法
- 作者：Stavros Athanassopoulos;Ioannis Caragiannis;Christos Kaklamanis
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
52.A Novel Information Transmission Problem and Its Optimal Solution

机译：一种新颖的信息传输问题及其最优解
- 作者：Eric Bach;Jin-Yi Cai
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
53.Factorization of Fuzzy Automata

机译：模糊自动机的分解
- 作者：Miroslav Ciric;Aleksandar Stamenkovic;Jelena Ignjatovic;Tatjana Petkovic
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
54.Productivity of Stream Definitions

机译：流定义的生产力
- 作者：Jorg Endrullis;Clemens Grabmayer;Dimitri Hendriks;Ariya Isihara;Jan Willem Klop
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
55.On the Topological Complexity of Weakly Recognizable Tree Languages

机译：论弱识别树语语言的拓扑复杂性
- 作者：Jacques Duparc;Filip Murlak
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
56.On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation

机译：关于交织语义的遗传栅栏的计算能力：抑制和降解的力量
- 作者：Nadia Busi;Claudio Zandron
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
57.Product Rules in Semidefinite Programming

机译：SEMIDEFINITE编程中的产品规则
- 作者：Rajat Mittal;Mario Szegedy
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
58.Efficient Parameterized Preprocessing for Cluster Editing

机译：群集编辑的高效参数化预处理
- 作者：Michael Fellows;Michael Langston;Frances Rosamond;Peter Shaw
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
59.The Quantum Query Complexity of Algebraic Properties

机译：代数特性的量子查询复杂性
- 作者：Sebastian Dorn;Thomas Thierauf
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
60.On the Complexity of Kings

机译：论国王的复杂性
- 作者：Edith Hemaspaandra;Lane A. Hemaspaandra;Till Tantau;Osamu Watanabe
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
61.Factorisation Forests for Infinite Words

机译：无限词语的因子林
- 作者：Thomas Colcombet
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
- Formal languages;
- semigroups;
- infinite words;
- automata;
62.Notions of Hyperbolicity in Monoids

机译：长曲线概念
- 作者：Michael Hoffmann;Richard M. Thomas
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
63.The Computational Complexity of Monotonicity in Probabilistic Networks

机译：概率网络中单调性的计算复杂性
- 作者：Johan Kwisthout
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
64.Multi-dimensional Packing with Conflicts

机译：与冲突的多维包装
- 作者：Leah Epstein;Asaf Levin;Rob van Stee
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
65.Some Complexity Results for Prefix Gr?bner Bases in Free Monoid Rings

机译：前缀GR的一些复杂性结果？BNER基地在免费的长圆圈
- 作者：Andrea Sattler-Klein
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
66.A Largest Common d-Dimensional Subsequence of Two d-Dimensional Strings

机译：两个D维琴弦的最大常见的D维子序列
- 作者：Abdullah N. Arslan
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
- common subsequence;
- multi-dimensional string;
- image;
- NP;
- dynamic programming;
67.Local Testing of Message Sequence Charts Is Difficult

机译：众所周知，邮件序列图表的本地测试
- 作者：Puneet Bhateja;Paul Gastin;Madhavan Mukund;K. Narayan Kumar
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
68.On Block-Wise Symmetric Signatures for Matchgates

机译：关于匹配的块状对称签名
- 作者：Jin-Yi Cai;Pinyan Lu
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
69.Expressive Power of LL(k) Boolean Grammars

机译：LL（k）布尔语法的表现力
- 作者：Alexander Okhotin
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
70.The Complexity of Membership Problems for Circuits over Sets of Positive Numbers

机译：在正数套电路的成员问题复杂性
- 作者：Hans-Georg Breunig
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
- Computational complexity;
- Arithmetic circuits;
- Combinational circuits;
71.Path Algorithms on Regular Graphs

机译：常规图表上的路径算法
- 作者：Didier Caucal;Dinh Trong Hieu
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
72.Strictly Deterministic CD-Systems of Restarting Automata

机译：严格确定性CD-Systems重新启动自动机
- 作者：H. Messerschmidt;F. Otto
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
73.A String-Based Model for Simple Gene Assembly

机译：基于弦的简单基因组件模型
- 作者：Robert Brijder;Miika Langille;Ion Petre
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
74.On Approximating Optimal Weighted Lobbying, and Frequency of Correctness Versus Average-Case Polynomial Time

机译：在近似最佳加权游说和正确频率与平均例外多项式的频率
- 作者：Gábor Erdélyi;Lane A. Hemaspaandra;Jorg Rothe;Holger Spakowski
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
75.Pattern Matching in Protein-Protein Interaction Graphs

机译：蛋白质 - 蛋白质相互作用图中的模式匹配
- 作者：Gaelle Brevier;Romeo Rizzi;Stéphane Vialette
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
76.Maximal and Minimal Scattered Context Rewriting

机译：最大和最小的分散的上下文重写
- 作者：Alexander Meduna;Jirí Techet
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
77.Traces, Feedback, and the Geometry of Computation

机译：痕迹，反馈和计算的几何形状
- 作者：Philip J. Scott
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
78.Fast Asymptotic FPTAS for Packing Fragmentable Items with Costs

机译：快速渐近FPTAS用成本包装碎片物品
- 作者：Hadas Shachnai;Omer Yehezkely
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
79.Factorisation Forests for Infinite Words Application to Countable Scattered Linear Orderings

机译：无限单词应用于可数分散线性排列的因子林
- 作者：Thomas Colcombet
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
- formal languages;
- semigroups;
- infinite words;
- automata;
80.On Notions of Regularity for Data Languages

机译：关于数据语言的规律性概念
- 作者：Henrik Bjorklund;Thomas Schwentick
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
81.Complexity of Pebble Tree-Walking Automata

机译：鹅卵石行走自动机的复杂性
- 作者：Mathias Samuelides;Luc Segoufin
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
82.FJMIP: A Calculus for a Modular Object Initialization

机译：FJMIP：模块化对象初始化的微积分
- 作者：Viviana Bono;Jaroslaw D. M. Kusmierek
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
83.Top-Down Deterministic Parsing of Languages Generated by CD Grammar Systems

机译：通过CD语法系统生成的自上而下的确定性解析语言
- 作者：Henning Bordihn;Gyorgy Vaszil
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
84.Spiking Neural P Systems: Some Characterizations

机译：尖峰神经P系统：一些特征
- 作者：Oscar H. Ibarra;Sara Woodworth
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
- Spiking neural P system;
- asynchronous mode;
- sequential mode;
- partially blind counter machine;
- semilinear set;
- language generator;
85.P Systems with Adjoining Controlled Communication Rules

机译：具有相邻受控通信规则的P系统
- 作者：Mihai Ionescu;Dragos Sburlan
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
86.Impossibility Results on Weakly Black-Box Hardness Amplification

机译：不可能导致弱黑盒硬度放大
- 作者：Chi-Jen Lu;Shi-Chun Tsai;Hsin-Lung Wu
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
87.Marked Systems and Circular Splicing

机译：标记的系统和圆形拼接
- 作者：Clelia De Felice;Gabriele Fici;Rosalba Zizza
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2007年
88.Cancellation-Free Circuits in Unbounded and Bounded Depth

机译：取消无限和有界深度的无界电路
- 作者：Joan Boyar;Magnus Gausdal Find
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年
89.A Formal Framework for Property-Driven Obfuscation Strategies

机译：属性驱动的混淆策略的正式框架
- 作者：Mila Dalla Preda;Isabella Mastroeni;Roberto Giacobazzi
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年
- Program transformation;
- Abstract interpretation;
- Semantics;
- Code obfuscation;
90.New Sequential and Parallel Algorithms for Computing the β-Spectrum

机译：用于计算β谱的新顺序和并行算法
- 作者：Miroslaw Kowaluk;Gabriela Majewska
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年
91.Improved Approximation Algorithms for Constrained Fault-Tolerant Resource Allocation

机译：改进的近似算法，用于约束容错资源分配
- 作者：Kewen Liao;Hong Shen;Longkun Guo
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年
92.Domination Analysis of Algorithms for Bipartite Boolean Quadratic Programs

机译：二级布尔二次课程算法的统治分析
- 作者：Abraham P. Punnen;Piyashat Sripratak;Daniel Karapetyan
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年
- Quadratic programming;
- Boolean variables;
- Worst-case analysis;
- Domination analysis;
93.On the Average Size of Glushkov and Equation Automata for KAT Expressions

机译：关于KAT表达式Glushkov和方程自动机的平均大小
- 作者：Sabine Broda;Antonio Machiavelo;Nelma Moreira;Rogerio Reis
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年
94.One Alternation Can Be More Powerful Than Randomization in Small and Fast Two-Way Finite Automata

机译：一个交替比小而快速的双向有限自动机中的随机化更强大
- 作者：Kaspars Balodis
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年
95.On the Structure of Equilibria in Basic Network Formation

机译：论基础网络形成的均衡结构
- 作者：Sotiris Nikoletseas;Panagiota Panagopoulou;Christoforos Raptopoulos;Paul G. Spirakis
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年
- Network creation game;
- Diameter;
- Swap equilibrium;
- Potential game;
- Probabilistic method;
96.Together or Separate? Algorithmic Aggregation Problems

机译：一起或分开？算法聚合问题
- 作者：Marek Chrobak
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年
97.The Lazy Bureaucrat Problem with Common Arrivals and Deadlines: Approximation and Mechanism Design

机译：懒惰的官僚与常见抵达和截止日期的问题：近似和机制设计
- 作者：Laurent Gourves;Jerome Monnot;Aris T. Pagourtzis
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年
98.Efficient Sampling of Non-strict Turnstile Data Streams

机译：有效的非严格转置数据流采样
- 作者：Neta Barkay;Ely Porat;Bar Shalem
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年
99.Guarding Thin Orthogonal Polygons Is Hard

机译：守卫薄的正交多边形很难
- 作者：Ana Paula Tomas
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年
100.Complexity of Finding Maximum Regular Induced Subgraphs with Prescribed Degree

机译：发现具有规定度的最大常规诱导子图的复杂性
- 作者：Yuichi Asahiro;Hiroshi Eto;Takehiro Ito;Eiji Miyano
- 会议名称：《International Symposium on Fundamentals of Computation Theory》 | 2013年