Volume 412, Numbers 1-2, January 2011
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/Margenstern11 Maurice Margenstern :
A universal cellular automaton on the heptagrid of the hyperbolic plane with four states. 33-56
export record as
dblp key:
journals/tcs/Durand-Lose11 Jérôme Durand-Lose :
Abstract geometrical computation 4: Small Turing universal signal machines. 57-67
export record as
dblp key:
Alexander Okhotin :
A simple P-complete problem and its language-theoretic representations. 68-82
export record as
dblp key:
export record as
dblp key:
Liesbeth De Mol :
On the complex behavior of simple tag systems - An experimental approach. 97-112
export record as
dblp key:
journals/tcs/CavaliereL11
export record as
dblp key:
journals/tcs/Csuhaj-VarjuV11
export record as
dblp key:
journals/tcs/AlhazovKRV11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jack H. Lutz :
A divergence formula for randomness and dimension. 166-177
export record as
dblp key:
Cristian S. Calude :
Simplicity via provability for universal prefix-free Turing machines. 178-182
export record as
dblp key:
Klaus Sutner :
Computational processes, observers and Turing incompleteness. 183-190
Volume 412, Number 3, January 2011 Preface
export record as
dblp key:
Contributions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Wei Ding ,
Guoliang Xue :
A linear time algorithm for computing a most reliable source on a tree network with faulty nodes. 225-232
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Zhiyi Tan ,
An Zhang :
Online hierarchical scheduling: An approach using mathematical programming. 246-256
export record as
dblp key:
journals/tcs/Alvarez-MirandaCHHC11
export record as
dblp key:
journals/tcs/WangDCXLSS11
export record as
dblp key:
Peihai Liu ,
Xiwen Lu :
An improved approximation algorithm for single machine scheduling with job delivery. 270-274
Volume 412, Numbers 4-5, February 2011
export record as
dblp key:
export record as
dblp key:
Zhong Li ,
Guohui Lin :
The three column Bandpass problem is solvable in linear time. 281-299
export record as
dblp key:
journals/tcs/Ceccherini-SilbersteinC11
export record as
dblp key:
journals/tcs/OkazakiOSY11
export record as
dblp key:
journals/tcs/AlimontiFLN11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/KasperskiZ11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/BrandenburgC11
export record as
dblp key:
export record as
dblp key:
Jinshan Zhang ,
Fengshan Bai :
An improved fully polynomial randomized approximation scheme (FPRAS) for counting the number of Hamiltonian cycles in dense digraphs. 419-429
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/PardubskaPO11
export record as
dblp key:
Hunter Monroe :
Speedup for natural problems and noncomputability. 478-481
export record as
dblp key:
export record as
dblp key:
journals/tcs/Ben-AmramY11
export record as
dblp key:
Volume 412, Number 6, February 2011 Preface
export record as
dblp key:
export record as
dblp key:
Contributions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/ElberfeldT11
export record as
dblp key:
Volume 412, Number 7, February 2011 Preface
export record as
dblp key:
journals/tcs/KaklamanisS11
Contributions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/KrauthgamerMR11
export record as
dblp key:
export record as
dblp key:
Iftah Gamzu :
Improved lower bounds for non-utilitarian truthfulness. 626-632
Volume 412, Numbers 8-10, March 2011
export record as
dblp key:
journals/tcs/BonifaciKMS11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Guomin Yang ,
Chik How Tan :
Certificateless public key encryption: A new generic construction and two pairing-free schemes. 662-674
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/OuangraouaGHC11
export record as
dblp key:
export record as
dblp key:
journals/tcs/UchizawaTN11
export record as
dblp key:
export record as
dblp key:
Jung Yeon Hwang :
A note on an identity-based ring signature scheme with signer verifiability. 796-804
export record as
dblp key:
export record as
dblp key:
Josef Cibulka :
On average and highest number of flips in pancake sorting. 822-834
export record as
dblp key:
journals/tcs/MasakovaPV11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Pascal Pons ,
Matthieu Latapy :
Post-processing hierarchical community structures: Quality improvements and multi-scale view. 892-900
export record as
dblp key:
Zeev Nutov :
Approximating directed weighted-degree constrained networks. 901-912
export record as
dblp key:
export record as
dblp key:
Tobias Marschall :
Construction of minimal deterministic finite automata from biological motifs. 922-930
Volume 412, Number 11, March 2011 Contributions
export record as
dblp key:
export record as
dblp key:
journals/tcs/DominguezR11
export record as
dblp key:
export record as
dblp key:
Foto N. Afrati :
Determinacy and query rewriting for conjunctive queries and views. 1005-1021
Notes
export record as
dblp key:
René David :
A short proof that adding some permutation rules to β preserves SN. 1022-1026
export record as
dblp key:
José Espírito Santo :
A note on preservation of strong normalisation in the λ-calculus. 1027-1032
Volume 412, Numbers 12-14, March 2011 Contributions
export record as
dblp key:
Asaf Levin ,
Uri Yovel :
Uniform unweighted set cover: The power of non-oblivious local search. 1033-1053
export record as
dblp key:
export record as
dblp key:
journals/tcs/BaldoniAIM11
export record as
dblp key:
Yumei Huo ,
Hairong Zhao :
Bicriteria scheduling concerned with makespan and total completion time subject to machine availability constraints. 1081-1091
export record as
dblp key:
Li-ying Hou ,
Liying Kang :
Online and semi-online hierarchical scheduling for load balancing on uniform machines. 1092-1098
export record as
dblp key:
Martin Bader :
The transposition median problem is NP-complete. 1099-1110
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Mathieu Tracol :
Recurrence and transience for finite probabilistic tables. 1154-1168
export record as
dblp key:
journals/tcs/KountouriotisNR11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Boting Yang :
Fast edge searching and fast searching on graphs. 1208-1219
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/HeggernesMP11
Volume 412, Number 15, March 2011 Preface
export record as
dblp key:
Contributions
export record as
dblp key:
Feliu Sagols ,
Raúl Marín :
Two discrete versions of the Inscribed Square Conjecture and some related problems. 1301-1312
export record as
dblp key:
journals/tcs/BrimkovLMW11
export record as
dblp key:
export record as
dblp key:
journals/tcs/MalmbergLSN11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/ThibaultSK11
export record as
dblp key:
journals/tcs/GosselinDS11
export record as
dblp key:
export record as
dblp key:
Xie Xie ,
Jiu-Lun Fan ,
Yin Zhu :
The optimal All-Partial-Sums algorithm in commutative semigroups and its applications for image thresholding segmentation. 1419-1433
export record as
dblp key:
Volume 412, Number 16, April 2011 Preface
export record as
dblp key:
journals/tcs/KotsireasMP11
Contributions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/KourniotisMT11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/ChevillardHJL11
Volume 412, Number 17, April 2011 Preface
export record as
dblp key:
journals/tcs/Rozenberg11a
Contributions
export record as
dblp key:
journals/tcs/FriedrichHN11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 412, Number 18, April 2011 Preface
export record as
dblp key:
Contributions
export record as
dblp key:
Kazuyuki Amano ,
Jun Tarui :
A well-mixed function with circuit complexity 5n: Tightness of the Lachish-Raz-type bounds. 1646-1651
export record as
dblp key:
journals/tcs/Ambos-SpiesBG11
export record as
dblp key:
journals/tcs/ArslanovCKS11
export record as
dblp key:
Beate Bollig :
On the OBDD complexity of the most significant bit of integer multiplication. 1686-1695
export record as
dblp key:
journals/tcs/CzyzowiczDGKKOSU11
export record as
dblp key:
Jiamou Liu ,
Mia Minnes :
Deciding the isomorphism problem in classes of unary automatic structures. 1705-1717
export record as
dblp key:
Linqing Tang :
On the derandomization of the graph test for homomorphism over groups. 1718-1728
export record as
dblp key:
export record as
dblp key:
Volume 412, Number 19, April 2011 Preface
export record as
dblp key:
Contributions
export record as
dblp key:
journals/tcs/DarnstadtS11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/Cesa-BianchiGV11
export record as
dblp key:
export record as
dblp key:
Ryo Yoshinaka :
Efficient learning of multiple context-free languages with multidimensional substitutability from positive data. 1821-1831
export record as
dblp key:
Volume 412, Number 20, April 2011 Preface
export record as
dblp key:
Contributions
export record as
dblp key:
Jean-Yves Girard :
Geometry of Interaction V: Logic in the hyperfinite factor. 1860-1883
export record as
dblp key:
journals/tcs/CarvalhoPF11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Stefano Guerrini :
A linear algorithm for MLL proof net correctness and sequentialization. 1958-1978
export record as
dblp key:
journals/tcs/Tranquilli11 Paolo Tranquilli :
Intuitionistic differential nets and lambda-calculus. 1979-1997
export record as
dblp key:
journals/tcs/Goubault-Larrecq11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 412, Number 21, May 2011 Preface
export record as
dblp key:
journals/tcs/Rozenberg11b
export record as
dblp key:
Contributions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 412, Number 22, May 2011 Contributions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/MantzaflarisMT11
export record as
dblp key:
export record as
dblp key:
journals/tcs/MitankinMS11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Guy Even ,
Moti Medina :
Parallel randomized load balancing: A lower bound for a more general model. 2398-2408
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Note
export record as
dblp key:
Johannes Fischer :
Combined data structure for previous- and next-smaller-values. 2451-2456
Volume 412, Number 23, May 2011 Preface
export record as
dblp key:
Contributions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/LokshtanovMS11
export record as
dblp key:
export record as
dblp key:
Anke van Zuylen :
Linear programming based approximation algorithms for feedback set problems in bipartite tournaments. 2556-2561
Volume 412, Number 24, May 2011 Preface
export record as
dblp key:
Contributions
export record as
dblp key:
journals/tcs/AnagnostopoulosKMU11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/ChierichettiLP11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/FanghanelKV11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Li Zhang :
Proportional response dynamics in the Fisher market. 2691-2698
export record as
dblp key:
Volume 412, Number 25, June 2011
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Uri Abraham :
Logical classification of distributed algorithms (Bakery algorithms as an example). 2724-2745
export record as
dblp key:
export record as
dblp key:
Wesley Calvert :
Metric structures and probabilistic computation. 2766-2775
export record as
dblp key:
journals/tcs/BonfanteMM11
Volume 412, Number 26, June 2011 Preface
export record as
dblp key:
journals/tcs/Rozenberg11c
export record as
dblp key:
Contributions
export record as
dblp key:
journals/tcs/DurzinskyWW11
export record as
dblp key:
journals/tcs/DimitrovaGHJLSSV11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/MateescuMDJ11
export record as
dblp key:
journals/tcs/SchwarickT11
Volume 412, Number 27, June 2011 Preface
export record as
dblp key:
Contributions
export record as
dblp key:
journals/tcs/AvgustinovichFKS11
export record as
dblp key:
export record as
dblp key:
journals/tcs/CrochemoreIT11
export record as
dblp key:
journals/tcs/DominguezNC11
export record as
dblp key:
journals/tcs/FiorenziOV11
export record as
dblp key:
Roberto Grossi :
A quick tour on suffix arrays and compressed suffix arrays. 2964-2973
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Michaël Rao :
Last cases of Dejean's conjecture. 3010-3018
export record as
dblp key:
Volume 412, Number 28, June 2011 Preface
export record as
dblp key:
Contributions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Dirk van Dalen :
Brouwer's ϵ-fixed point and Sperner's lemma. 3140-3144
export record as
dblp key:
journals/tcs/DiaconescuT11
export record as
dblp key:
journals/tcs/EndrullisGKO11
export record as
dblp key:
journals/tcs/EndrullisH11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/GhassemiFM11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Bart Jacobs :
Probabilities, distribution monads, and convex categories. 3323-3336
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/RodenburgKKV11
export record as
dblp key:
export record as
dblp key:
Volume 412, Number 29, July 2011
export record as
dblp key:
Dong Han Kim :
Return time complexity of Sturmian sequences. 3413-3417
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/Blumensath11
export record as
dblp key:
Dániel Marx :
Complexity of clique coloring and related problems. 3487-3500
export record as
dblp key:
export record as
dblp key:
journals/tcs/ReidenbachS11
export record as
dblp key:
Xiaoming Sun :
An improved lower bound on the sensitivity complexity of graph properties. 3524-3529
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/KorpelainenLMT11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Daniel Turetsky :
Connectedness properties of dimension level sets. 3598-3603
export record as
dblp key:
Gabriele Fici :
Special factors and the combinatorics of suffix and factor automata. 3604-3615
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/ManjunathS11
export record as
dblp key:
journals/tcs/AngelelliF11
export record as
dblp key:
export record as
dblp key:
journals/tcs/BozapalidisFR11
export record as
dblp key:
journals/tcs/CentenoDPRS11
export record as
dblp key:
Nicolas Baudru :
Compositional synthesis of asynchronous automata. 3701-3716
export record as
dblp key:
journals/tcs/Patt-ShamirR11
export record as
dblp key:
export record as
dblp key:
journals/tcs/AntonakopoulosZ11
export record as
dblp key:
journals/tcs/Blanchet-SadriCM11
export record as
dblp key:
Minghui Jiang :
Inapproximability of maximal strip recovery. 3759-3774
export record as
dblp key:
Mauro Mezzini :
Fast minimal triangulation algorithm using minimum degree criterion. 3775-3787
Note
export record as
dblp key:
Erratum
export record as
dblp key:
Volume 412, Number 30, July 2011 Prefaces
export record as
dblp key:
journals/tcs/Rozenberg11d
export record as
dblp key:
Contributions
export record as
dblp key:
journals/tcs/DelacourtPST11
export record as
dblp key:
journals/tcs/Capobianco11 Silvio Capobianco :
Generalized Besicovitch and Weyl spaces: Topology, patterns, and sliding block codes. 3822-3837
export record as
dblp key:
Marcus Pivato :
Positive expansiveness versus network dimension in symbolic dynamical systems. 3838-3855
export record as
dblp key:
Kenichi Morita :
Simulating reversible Turing machines and cyclic tag systems by one-dimensional reversible cellular automata. 3856-3865
export record as
dblp key:
journals/tcs/DelormeMOT11
export record as
dblp key:
journals/tcs/DelormeMOT11a
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/BarrettHMRRS11
export record as
dblp key:
journals/tcs/RouquierRT11
export record as
dblp key:
Volume 412, Number 31, July 2011 Fundamental Study
export record as
dblp key:
journals/tcs/KrynickiTZ11
Contributions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Joachim Biskup ,
Lena Wiese :
A sound and complete model-generation procedure for consistent and confidentiality-preserving databases. 4044-4072
Volume 412, Number 32, July 2011 Preface
export record as
dblp key:
Contributions
export record as
dblp key:
Minming Li :
Approximation algorithms for variable voltage processors: Min energy, max throughput and online heuristics. 4074-4080
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Qian-Ping Gu ,
Hisao Tamaki :
Constant-factor approximations of branch-decomposition and largest grid minor of planar graphs in O(n1+ϵ ) time. 4100-4109
export record as
dblp key:
Li Chen ,
Bin Fu :
Linear and sublinear time algorithms for the basis of abelian groups. 4110-4122
export record as
dblp key:
export record as
dblp key:
journals/tcs/EidenbenzW11
export record as
dblp key:
journals/tcs/SchneiderW11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/ArroyueloCDDHLMNSS11
export record as
dblp key:
Volume 412, Number 33, July 2011 Preface
export record as
dblp key:
Contributions
export record as
dblp key:
export record as
dblp key:
journals/tcs/BeauquierBK11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/CournierDV11
export record as
dblp key:
journals/tcs/DasguptaGX11