首页>外文期刊>计算机、自动化>Acta Informatica

Acta Informatica

Acta Informatica

SCI

中文名称：信息学报

ISSN：0001-5903
出版周期：Quarterly

发文量：555

期刊论文

年度选择

2023
- 第1期
- 第2期
2022
- 第1期
- 第3期
- 第4期
- 第5期
- 第6期
2021
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2020
- 第2期
- 第5期
- 第6期
2019
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第8期
2018
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2017
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2016
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第8期
2015
- 第1期
- 第3期
- 第5期
- 第6期
- 第8期
2014
- 第1期
- 第2期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2013
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
- 第8期
2012
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第8期
2011
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
- 第8期
2010
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
- 第8期
2009
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2008
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第8期
2007
- 第1期
- 第2期
- 第4期
- 第6期
- 第7期
- 第8期
2006
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第7期
- 第9期
2005
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
- 第8期
- 第9期
2004
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
2003
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第8期
2002
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第12期
2001
- 第1期
- 第2期
- 第3期
- 第5期
- 第7期
- 第8期
- 第9期
- 第10期
- 第12期
2000
- 第1期
- 第2期
- 第3期
- 第7期
- 第8期
- 第10期
- 第11期
- 第12期
1997
- 第9期
- 第10期
- 第11期
- 第12期
1996
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
1995
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
1994
- 第3期
- 第4期
- 第6期
- 第7期
- 第8期
1993
- 第1期
- 第4期
- 第6期
- 第7期
1992
- 第1期
- 第4期
- 第5期
- 第6期
- 第8期
1991
- 第6期
- 第8期
1990
- 第8期
1989
- 第2期
- 第3期
- 第8期
1988
- 第2期
- 第3期
- 第6期
1987
- 第1期
- 第2期
- 第6期
1986
- 第2期
- 第3期
- 第4期
1985
- 第2期
1984
- 第3期
- 第5期
1983
- 第1期
- 第4期
1982
- 第1期
- 第2期
1980
- 第2期
- 第3期
- 第4期
1978
- 第1期
- 第2期
- 第3期
- 第4期
1977
- 第1期
- 第2期
- 第3期
- 第4期
1976
- 第2期

更多>>

全选（0）

1.Synthesizing robust systems

机译：综合强大的系统
- 作者：Roderick Bloem;Krishnendu Chatterjee;Karin Greimel;Thomas A. Henzinger;Georg Hofferek;Barbara Jobstmann;Bettina Koenighofer;Robert Koenighofer
- 期刊名称：《Acta Informatica》 | 2014年第4期
2.Distributed synthesis for regular and contextfree specifications

机译：适用于常规和上下文无关规范的分布式综合
- 作者：Wladimir Fridman;Bernd Puchala
- 期刊名称：《Acta Informatica》 | 2014年第4期
3.Networks of evolutionary processors: the power of subregular filters

机译：演化处理器网络：次常规滤波器的强大功能
- 作者：Juergen Dassow;Florin Manea;Bianca Truthe
- 期刊名称：《Acta Informatica》 | 2013年第1期
- networks of evolutionary processors;
- subregular languages;
- generative power;
4.Accepting splicing systems with permitting and forbidding words

机译：接受带有允许和禁止单词的拼接系统
- 作者：Fernando Arroyo;Juan Castellanos;Jiirgen Dassow;Victor Mitrana;Jose-Ramon Sanchez-Couso
- 期刊名称：《Acta Informatica》 | 2013年第1期
5.Step semantics of boolean nets

机译：布尔网络的步骤语义
- 作者：Jetty Kleijn;Maciej Koutny;Marta Pietkiewicz-Koutny;Grzegorz Rozenberg
- 期刊名称：《Acta Informatica》 | 2013年第1期
6.Compositional type checking of delta-oriented software product lines

机译：面向增量软件产品线的组成类型检查
- 作者：Lorenzo Bettini;Ferruccio Damiani;Ina Schaefer
- 期刊名称：《Acta Informatica》 | 2013年第2期
7.Infinitary rewriting: closure operators, equivalences and models

机译：无限重写：闭包运算符，等价物和模型
- 作者：Stefan Kahrs
- 期刊名称：《Acta Informatica》 | 2013年第2期
8.Avoiding cross-bifix-free binary words

机译：避免没有跨双字的二进制词
- 作者：Stefano Bilotta;Elisabetta Grazzini;Elisa Pergola;Renzo Pinzani
- 期刊名称：《Acta Informatica》 | 2013年第3期
9.Conjunctive grammars and alternating pushdown automata

机译：连词语法和下推交替自动机
- 作者：Tamar Aizikowitz;Michael Kaminski
- 期刊名称：《Acta Informatica》 | 2013年第3期
10.Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos

机译：验证Lycklama-Hadzilacos相互排斥的简化
- 作者：Wim H. Hesselink
- 期刊名称：《Acta Informatica》 | 2013年第3期
11.Query optimization in information integration

机译：信息集成中的查询优化
- 作者：Dongfeng Chen;Rada Chirkova;Fereidoon Sadri;Tiia J. Salo
- 期刊名称：《Acta Informatica》 | 2013年第4期
12.Deterministic pushdown-CD-systems of stateless deterministic R(l)-automata

机译：无状态确定性R（l）-自动机的确定性下推CD系统
- 作者：Benedek Nagy;Friedrich Otto
- 期刊名称：《Acta Informatica》 | 2013年第4期
13.On the hierarchy of distribution-sensitive properties for data structures

机译：关于数据结构的分布敏感属性的层次结构
- 作者：Amr Elmasry;Arash Farzan;John Iacono
- 期刊名称：《Acta Informatica》 | 2013年第4期
14.New proof for the undecidability of the circular PCP

机译：圆形PCP不确定性的新证据
- 作者：Vesa Halava;Tero Harju
- 期刊名称：《Acta Informatica》 | 2013年第6期
15.A distributed resource allocation algorithm for many processes

机译：用于多个进程的分布式资源分配算法
- 作者：Wim H. Hesselink
- 期刊名称：《Acta Informatica》 | 2013年第6期
16.Online multi-coloring on the path revisited

机译：重访在线多色道路
- 作者：Marie G. Christ;Lene M. Favrholdt;Kim S. Larsen
- 期刊名称：《Acta Informatica》 | 2013年第6期
17.A note on the factorization conjecture

机译：关于因式分解猜想的注释
- 作者：Clelia De Felice
- 期刊名称：《Acta Informatica》 | 2013年第8期
18.Judgmental subtyping systems with intersection types and modal types

机译：具有交叉类型和模态类型的判断子类型系统
- 作者：Jeongbong Seo;Sungwoo Park
- 期刊名称：《Acta Informatica》 | 2013年第8期
19.Petri nets with name creation for transient secure association

机译：具有名称创建功能的Petri网用于临时安全关联
- 作者：Fernando Rosa-Velardo
- 期刊名称：《Acta Informatica》 | 2013年第8期
20.Using transition set sequences to partition behaviors of petri nets

机译：使用过渡集序列划分Petri网的行为
- 作者：Yunhe Wang;Li Jiao
- 期刊名称：《Acta Informatica》 | 2012年第1期
21.Equational weighted tree transformations

机译：方程式加权树变换
- 作者：Symeon Bozapalidis;Zoltan Fueloep;George Rahonis
- 期刊名称：《Acta Informatica》 | 2012年第1期
22.An efficient algorithm for finding ideal schedules

机译：查找理想时间表的有效算法
- 作者：Edward G. Coffman Jr.;Dariusz Dereniowski;Wiestew Kubiak
- 期刊名称：《Acta Informatica》 | 2012年第1期
23.Nonterminal complexity of one-sided random context grammars

机译：单面随机上下文语法的非终结复杂性
- 作者：Alexander Meduna;Petr Zemek
- 期刊名称：《Acta Informatica》 | 2012年第2期
24.A trace-based service semantics guaranteeing deadlock freedom

机译：保证死锁自由的基于跟踪的服务语义
- 作者：Christian Stahl;Walter Vogier
- 期刊名称：《Acta Informatica》 | 2012年第2期
25.The identity problem of finitely generated bi-ideals

机译：有限生成的双理想的身份问题
- 作者：A. Lorencs
- 期刊名称：《Acta Informatica》 | 2012年第2期
26.'Backward' coinduction, Nash equilibrium and the rationality of escalation

机译：“落后”共生，纳什均衡和升级的合理性
- 作者：Pierre Lescanne;Matthieu Perrinel
- 期刊名称：《Acta Informatica》 | 2012年第3期
27.Instruction sequence processing operators

机译：指令序列处理运算符
- 作者：J. A. Bergstra;C. A. Middelburg
- 期刊名称：《Acta Informatica》 | 2012年第3期
28.Least common container of tree pattern queries and its applications

机译：最少的树模式查询容器及其应用
- 作者：Junhu Wang;Jeffrey Xu Yu;Chaoyi Pang;Chengfei Liu
- 期刊名称：《Acta Informatica》 | 2012年第3期
29.Stochastic game logic

机译：随机博弈逻辑
- 作者：Christel Baier;Tomas Brazdil;Marcus Gro(e)ßer;Antonin Kucera
- 期刊名称：《Acta Informatica》 | 2012年第4期
30.First-order logics: some characterizations and closure properties

机译：一阶逻辑：一些特征和闭包特性
- 作者：Christian Choffrut;Andreas Malcher;Carlo Mereghetti;Beatrice Palano
- 期刊名称：《Acta Informatica》 | 2012年第4期
31.On timed alternating simulation for concurrent timed games

机译：并发定时游戏的定时交替模拟
- 作者：Laura Bozzelli;AxelLegay;Sophie Pinchinat
- 期刊名称：《Acta Informatica》 | 2012年第4期
32.An algorithmic study of switch graphs

机译：开关图的算法研究
- 作者：B. Katz;I. Rutter;G. Woeginger
- 期刊名称：《Acta Informatica》 | 2012年第5期
33.Algebras for iteration and infinite computations

机译：迭代和无限计算的代数
- 作者：W. Guttmann
- 期刊名称：《Acta Informatica》 | 2012年第5期
34.Prefix-primitive annihilators of languagesunder some operations

机译：某些操作下语言的前缀-原语歼灭者
- 作者：C.-M. Fan;C.-C. Huang;C. C. Tseng;J.-T. Wang
- 期刊名称：《Acta Informatica》 | 2012年第5期
35.Abstract reduction in directed model checking CCS processes

机译：定向模型检查CCS流程的抽象减少
- 作者：A. Santone;G. Vaglini
- 期刊名称：《Acta Informatica》 | 2012年第5期
36.Finding vertex-surjective graph homomorphisms

机译：查找顶点-射影图同质
- 作者：Petr A. Golovach;Bernard Lidicky;Barnaby Martin;Daniel Paulusma
- 期刊名称：《Acta Informatica》 | 2012年第6期
37.On the power of enzymatic numerical P systems

机译：酶促数字P系统的强大功能
- 作者：Cristian Ioan Vasile;Ana Brandusa Pavel;Ioan Dumitrache;Gheorghe Paun
- 期刊名称：《Acta Informatica》 | 2012年第6期
38.Inefficiency of equilibria for the machine covering game on uniform machines

机译：统一机器上的机器覆盖游戏的均衡效率低下
- 作者：Zhiyi Tan;Long Wan;Qi Zhang;Wei Ren
- 期刊名称：《Acta Informatica》 | 2012年第6期
39.Multi-tilde-bar expressions and their automata

机译：多波浪线表达式及其自动机
- 作者：Pascal Caron;Jean-Marc Champarnaud;Ludovic Mignot
- 期刊名称：《Acta Informatica》 | 2012年第6期
40.Disjunctive languages related to p-primitive words

机译：与p原始词有关的析取语言
- 作者：Cao Chunhua;Yang Di;Liu Yin
- 期刊名称：《Acta Informatica》 | 2012年第8期
41.Distinguishing and relating higher-order and first-order processes by expressiveness

机译：通过表现力区分和关联高阶和一阶过程
- 作者：Xian Xu
- 期刊名称：《Acta Informatica》 | 2012年第8期
42.Does indirect addressing matter? A note

机译：间接寻址重要吗？一张纸条
- 作者：Michael Brand
- 期刊名称：《Acta Informatica》 | 2012年第8期
43.A characterization of rational DOL power series Juha Honkala

机译：有理DOL幂级数Juha Honkala的刻画
- 作者：J. Honkala
- 期刊名称：《Acta Informatica》 | 2011年第1期
44.Avoidable binary patterns in partial words

机译：部分单词中可避免的二进制模式
- 作者：F. Blanchet-Sadri;Robert Mercas;Sean Simmons;Eric Weissenstein
- 期刊名称：《Acta Informatica》 | 2011年第1期
45.New bounds for the query complexity of an algorithm that learns DFAs with correction and equivalence queries

机译：通过校正和对等查询学习DFA的算法的查询复杂度的新界限
- 作者：Victor Mitrana;Cristina Tfrnfiuca
- 期刊名称：《Acta Informatica》 | 2011年第1期
46.Some properties of the disjunctive languages contained in Q

机译：Q中包含的析取语言的一些属性
- 作者：Zheng-Zhu Li;Y. S. Tsai
- 期刊名称：《Acta Informatica》 | 2011年第1期
47.Efficient systematic clustering method for fc-anonymization

机译：高效的fc匿名化系统聚类方法
- 作者：Md. Enamul Kabir;Hua Wang;Elisa Bertino
- 期刊名称：《Acta Informatica》 | 2011年第1期
48.Nonatomic dual bakery algorithm with bounded tokens

机译：具有限制令牌的非原子双烘焙算法
- 作者：Alex A. Aravind;Wim H. Hesselink
- 期刊名称：《Acta Informatica》 | 2011年第2期
49.Testing for refinement in Circus

机译：在马戏团中进行提炼测试
- 作者：Ana Cavalcanti;Marie-Claude Gaudel
- 期刊名称：《Acta Informatica》 | 2011年第2期
50.MAT learners for tree series: an abstract data type and two realizations

机译：树系列的MAT学习器：一种抽象数据类型和两种实现
- 作者：Frank Drewes;Johanna Hoegberg;Andreas Maletti
- 期刊名称：《Acta Informatica》 | 2011年第3期
51.One-sided random context grammars

机译：单面随机上下文语法
- 作者：Alexander Meduna;Petr Zemek
- 期刊名称：《Acta Informatica》 | 2011年第3期
52.Refined typing to localize the impact of forced strictness on free theorems

机译：精炼打字以定位强制严格性对自由定理的影响
- 作者：Daniel Seidel;Janis Voigtlander
- 期刊名称：《Acta Informatica》 | 2011年第3期
53.Connectivity of workflow nets: the foundations of stepwise verification

机译：工作流网络的连通性：逐步验证的基础
- 作者：Artem Polyvyanyy;Matthias Weidlich;Mathias Weske
- 期刊名称：《Acta Informatica》 | 2011年第4期
54.A Markovian queue with varying number of servers and applications to the performance comparison of HSDPA user equipment

机译：Markovian队列中具有不同数量的服务器和应用程序，以比较HSDPA用户设备的性能
- 作者：Tien Van Do;Ram Chakka;Nam H. Do;Laszlo Pap
- 期刊名称：《Acta Informatica》 | 2011年第4期
55.Acta Informatica

机译：信息学报
- 期刊名称：《Acta Informatica》 | 2011年第4期
56.Multi-letter quantum finite automata: decidability of the equivalence and minimization of states

机译：多字母量子有限自动机：等价性的确定性和状态的最小化
- 作者：Daowen Qiu;Lvzhou Li;Xiangfu Zou;Paulo Mateus;Jozef Gruska
- 期刊名称：《Acta Informatica》 | 2011年第6期
57.Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games

机译：CTMDP和连续时间Markov游戏中有限可达性的有限最优控制
- 作者：Markus N. Rabe;Sven Schewe
- 期刊名称：《Acta Informatica》 | 2011年第6期
58.CHAP and rewrite components

机译：CHAP和重写组件
- 作者：Sandor Vagvoelgyi
- 期刊名称：《Acta Informatica》 | 2011年第6期
59.Correct hardware synthesis An algebraic approach

机译：正确的硬件综合代数方法
- 作者：Juan Perna;Jim Woodcock;Augusto Sampaio;Juliano Iyoda
- 期刊名称：《Acta Informatica》 | 2011年第8期
60.Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems

机译：通过使用相互移动的膜系统解决多项式时间内的弱NP完全问题
- 作者：Bogdan A man;Gabriel Ciobanu
- 期刊名称：《Acta Informatica》 | 2011年第8期
61.On α2-v2 -products of automata

机译：关于自动机的α2-v2乘积
- 作者：Pal Doemoesi;Gyoergy Maroti
- 期刊名称：《Acta Informatica》 | 2011年第8期
- product of automata;
- homomorphic simulation;
- letichevsky criterion;
62.The query complexity of estimating weighted averages

机译：估计加权平均值的查询复杂度
- 作者：Amit Chakrabarti;Venkatesan Guruswami;Andrew Wirth;Anthony Wirth
- 期刊名称：《Acta Informatica》 | 2011年第8期
63.Automata-based verification of programs with tree updates

机译：基于自动机的树更新程序验证
- 作者：Peter Habermehl;Radu Iosif;Tomas Vojnar
- 期刊名称：《Acta Informatica》 | 2010年第1期
64.Symmetry and partial order reduction techniques in model checking Rebeca

机译：Rebeca模型检查中的对称和偏序约简技术
- 作者：Mohammad Mahdi Jaghoori;Marjan Sirjani;Mohammad Reza Mousavi;Ehsan Khamespanah;Ali Movaghar
- 期刊名称：《Acta Informatica》 | 2010年第1期
65.M/M/1 retrial queue with working vacations

机译：带工作假期的M / M / 1重试队列
- 作者：Tien Van Do
- 期刊名称：《Acta Informatica》 | 2010年第1期
66.Embedding mappings and splittings with applications

机译：在应用程序中嵌入映射和拆分
- 作者：Rudolf Berghammer;Michael Winter
- 期刊名称：《Acta Informatica》 | 2010年第2期
67.On the observational theory of the CPS-calculus

机译：关于CPS演算的观察理论
- 作者：Massimo Merro
- 期刊名称：《Acta Informatica》 | 2010年第2期
68.Small universal accepting hybrid networks of evolutionary processors

机译：进化处理器的小型通用接受混合网络
- 作者：Remco Loos;Florin Manea;Victor Mitrana
- 期刊名称：《Acta Informatica》 | 2010年第2期
69.Lifting non-finite axiomatizability results to extensions of process algebras

机译：将非有限公理化结果提升为过程代数的扩展
- 作者：Luca Aceto;Wan Fokkink;Anna Ingolfsdottir;MohammadReza Mousavi
- 期刊名称：《Acta Informatica》 | 2010年第3期
70.LR error repair using the A~* algorithm

机译：使用A〜*算法修复LR错误
- 作者：Ik-Soon Kim;Kwangkeun Yi
- 期刊名称：《Acta Informatica》 | 2010年第3期
71.A note on autodense related languages

机译：有关自动密集语言的注释
- 作者：Chen-Ming Fan;rnC. C. Huang;rnH. J. Shyr;rnKuo-Hsiang Chen
- 期刊名称：《Acta Informatica》 | 2010年第4期
72.Quantum loop programs

机译：量子循环程序
- 作者：Mingsheng Ying;rnYuan Feng
- 期刊名称：《Acta Informatica》 | 2010年第4期
73.On regular temporal logics with past

机译：关于过去的规则时态逻辑
- 作者：Christian Dax;rnFelix Klaedtke;rnMartin Lange
- 期刊名称：《Acta Informatica》 | 2010年第4期
- linear-time temporal logics;
- finite-state model checking;
- alternating automata;
- regular/ω-regular languages;
74.Randomization adaptive self-stabilization

机译：随机自适应自我稳定
- 作者：Shlomi Dolev;rnNir Tzachar
- 期刊名称：《Acta Informatica》 | 2010年第6期
75.How to allocate review tasks for robust ranking

机译：如何分配审核任务以实现稳健排名
- 作者：Dorit S. Hochbaum;rnAsaf Levin
- 期刊名称：《Acta Informatica》 | 2010年第6期
76.Reachability results for timed automata with unbounded data structures

机译：具有无限制数据结构的定时自动机的可达性结果
- 作者：Ruggero Lanotte;rnAndrea Maggiolo-Schettini;Angelo Troina
- 期刊名称：《Acta Informatica》 | 2010年第6期
77.A note on pure codes

机译：关于纯代码的注释
- 作者：C. C. Huang
- 期刊名称：《Acta Informatica》 | 2010年第6期
78.A theoretical comparison of LRU and LRU-K

机译：LRU和LRU-K的理论比较
- 作者：Joan Boyar;Martin R. Ehmsen;Jens S. Kohrt;Kim S. Larsen
- 期刊名称：《Acta Informatica》 | 2010年第8期
79.Equilibria for two parallel links: the strong price of anarchy versus the price of anarchy

机译：两个平行链接的均衡：无政府状态的强大价格与无政府状态的价格
- 作者：Leah Epstein
- 期刊名称：《Acta Informatica》 | 2010年第8期
80.On stateless deterministic restarting automata

机译：在无状态确定性重启自动机上
- 作者：Martin Kutrib;Hartmut Messerschmidt;Friedrich Otto
- 期刊名称：《Acta Informatica》 | 2010年第8期
81.A note on prefix primitive words

机译：关于前缀原始词的注释
- 作者：Chen-Ming Fan;C. C. Huang
- 期刊名称：《Acta Informatica》 | 2010年第8期
82.On Decidability Of Ltl Model Checking For Process Rewrite Systems

机译：关于流程重写系统的Ltl模型检查的可确定性
- 作者：Laura Bozzelli;Mojmir Kfetinsky;Vojtech Rehak;Jan Strejcek
- 期刊名称：《Acta Informatica》 | 2009年第1期
83.Exploiting Colored Petri Nets To Decide On Permutation Admissibility

机译：利用有色陪替氏网决定置换的可容许性
- 作者：Rza Bashirov;Fabrice Kordon;Hiiseyin Lort
- 期刊名称：《Acta Informatica》 | 2009年第1期
84.Semi-synchronous Transductions

机译：半同步转导
- 作者：Vince Barany
- 期刊名称：《Acta Informatica》 | 2009年第1期
85.A Complexity Tradeoff In Ranking-function Termination Proofs

机译：排序函数终止证明中的复杂度折衷
- 作者：Amir M. Ben-Amram
- 期刊名称：《Acta Informatica》 | 2009年第1期
86.A Queue Based Mutual Exclusion Algorithm

机译：基于队列的互斥算法
- 作者：Alex A. Aravind;Wim H. Hesselink
- 期刊名称：《Acta Informatica》 | 2009年第1期
87.A theory of structural stationarity in the π -Calculus

机译：π微积分中的结构平稳性理论
- 作者：Roland Meyer
- 期刊名称：《Acta Informatica》 | 2009年第2期
88.The time complexity of typechecking tree-walking tree transducers

机译：类型检查树行走树传感器的时间复杂度
- 作者：Joost Engelfriet
- 期刊名称：《Acta Informatica》 | 2009年第2期
89.Random walks for selected boolean implication and equivalence problems

机译：针对选定的布尔蕴涵和等价问题的随机游动
- 作者：K. Subramani;Hong-Jian Lai;Xiaofeng Gu
- 期刊名称：《Acta Informatica》 | 2009年第2期
90.On the closure of pattern expressions languages under intersection with regular languages

机译：与常规语言相交下模式表达式语言的关闭
- 作者：Cezar Campeanu;Nicolae Santean
- 期刊名称：《Acta Informatica》 | 2009年第3期
91.Liveness of a mutex algorithm in a fair process algebra

机译：公平过程代数中互斥算法的活跃性
- 作者：Flavio Corradini;Maria Rita Di Berardini;Walter Vogler
- 期刊名称：《Acta Informatica》 | 2009年第3期
92.Hardness of equivalence checking for composed finite-state systems

机译：组合有限状态系统的等效检查难度
- 作者：Zdenek Sawa;Petr Jancar
- 期刊名称：《Acta Informatica》 | 2009年第3期
93.A decomposition theorem for finite persistent transition systems

机译：有限持续转移系统的分解定理
- 作者：Eike Best;Philippe Darondeau
- 期刊名称：《Acta Informatica》 | 2009年第3期
94.Semantics, calculi, and analysis for object-oriented specifications

机译：面向对象规范的语义，计算和分析
- 作者：Achim D. Brucker;Burkhart Wolff
- 期刊名称：《Acta Informatica》 | 2009年第4期
95.Correctness proof of a database replication protocol under the perspective of the I/O automaton model

机译：I / O自动机模型视角下数据库复制协议的正确性证明
- 作者：Jose Enrique Armendariz-Inigo;Jose Ramon Gonzalez de Mendivil;Jose Ramon Garitagoitia;Francesc D. Munoz-Escoi
- 期刊名称：《Acta Informatica》 | 2009年第4期
96.The maximum gain of increasing the number of preemptions in multiprocessor scheduling

机译：增加多处理器调度中抢占次数的最大收益
- 作者：Kamilla Klonowska;Lars Lundberg;Hakan Lennerstad
- 期刊名称：《Acta Informatica》 | 2009年第4期
97.A theory of ultimately periodic languages and automata with an application to time granularity

机译：最终周期性语言和自动机的理论及其在时间粒度上的应用
- 作者：Davide Bresolin;Angelo Montanari;Gabriele Puppis
- 期刊名称：《Acta Informatica》 | 2009年第5期
98.Final and sequential behaviours of M-automata

机译：M-自动机的最终行为和顺序行为
- 作者：Gabriel Ciobanu;Sergiu Rudeanu
- 期刊名称：《Acta Informatica》 | 2009年第5期
99.Machine structure oriented control code logic

机译：面向机器结构的控制代码逻辑
- 作者：J. A. Bergstra;C. A. Middelburg
- 期刊名称：《Acta Informatica》 | 2009年第5期
100.Reasoning about faulty quantum programs

机译：关于错误量子程序的推理
- 作者：Paolo Zuliani
- 期刊名称：《Acta Informatica》 | 2009年第6期

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号