Volume 410,
Number 1,
January 2009
- Pinar Heggernes, Charis Papadopoulos:
Single-edge monotonic sequences of graphs and linear-time algorithms for minimal completions and deletions.
1-15
Electronic Edition (link) BibTeX
- Christian Choffrut, Serge Grigorieff:
Finite n-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al.
16-34
Electronic Edition (link) BibTeX
- Karol Suchan, Ioan Todinca:
Minimal interval completion through graph exploration.
35-43
Electronic Edition (link) BibTeX
- James D. Currie, Ali Aberkane:
A cyclic binary morphism avoiding Abelian fourth powers.
44-52
Electronic Edition (link) BibTeX
- Michael R. Fellows, Danny Hermelin, Frances A. Rosamond, Stéphane Vialette:
On the parameterized complexity of multiple-interval graph problems.
53-61
Electronic Edition (link) BibTeX
- Maryam Shoaran, Alex Thomo:
Fault-tolerant computation of distributed regular path queries.
62-77
Electronic Edition (link) BibTeX
- Ruifang Liu, Zhonghua Lu, Jinlong Shu:
The minimal Laplacian spectral radius of trees with a given diameter.
78-83
Electronic Edition (link) BibTeX
- Surender Baswana, Vishrut Goyal, Sandeep Sen:
All-pairs nearly 2-approximate shortest paths in I time.
84-93
Electronic Edition (link) BibTeX
- Satoshi Ikeda, Izumi Kubo, Masafumi Yamashita:
The hitting and cover times of random walks on finite graphs using local degree information.
94-100
Electronic Edition (link) BibTeX
- Piotr Faliszewski, Lane A. Hemaspaandra:
The complexity of power-index comparison.
101-107
Electronic Edition (link) BibTeX
- Tomás Masopust:
On the descriptional complexity of scattered context grammars.
108-112
Electronic Edition (link) BibTeX
Volume 410,
Numbers 2-3,
February 2009
- Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek:
Preface.
113
Electronic Edition (link) BibTeX
- Philippe Bidinger, Adriana B. Compagnoni:
Pict correctness revisited.
114-127
Electronic Edition (link) BibTeX
- Frank S. de Boer:
A shared-variable concurrency analysis of multi-threaded object-oriented programs.
128-141
Electronic Edition (link) BibTeX
- Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino:
Amalgamating sessions and methods in object-oriented languages with generics.
142-167
Electronic Edition (link) BibTeX
- John Field, Maria-Cristina V. Marinescu, Christian Stefansen:
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications.
168-201
Electronic Edition (link) BibTeX
- Philipp Haller, Martin Odersky:
Scala Actors: Unifying thread-based and event-based programming.
202-220
Electronic Edition (link) BibTeX
- Jean-Marie Jacquet, Isabelle Linden:
Fully abstract models and refinements as tools to compare agents in timed coordination languages.
221-253
Electronic Edition (link) BibTeX
- Peter Csaba Ölveczky, Stian Thorvaldsen:
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude.
254-280
Electronic Edition (link) BibTeX
Volume 410,
Numbers 4-5,
February 2009
- Grzegorz Rozenberg:
Preface.
281-282
Electronic Edition (link) BibTeX
- Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi:
Foreword.
283-284
Electronic Edition (link) BibTeX
- Claudio Zandron:
Nadia Busi (1968-2007).
285
Electronic Edition (link) BibTeX
- Nadia Busi, Claudio Zandron:
Computational expressiveness of Genetic Systems.
286-293
Electronic Edition (link) BibTeX
- Anne Condon, Hosna Jabbari:
Computational prediction of nucleic acid secondary structure: Methods, applications, and challenges.
294-301
Electronic Edition (link) BibTeX
- Ellie D'Hondt:
Quantum approaches to graph colouring.
302-309
Electronic Edition (link) BibTeX
- Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Introducing time in reaction systems.
310-322
Electronic Edition (link) BibTeX
- Carmine Garzillo, Giuseppe Trautteur:
Computational virtuality in biological systems.
323-331
Electronic Edition (link) BibTeX
- Natasa Jonoska, Gregory L. McColm:
Complexity classes for self-assembling flexible tiles.
332-346
Electronic Edition (link) BibTeX
- Bjørn Kjos-Hanssen, Anil Nerode:
Effective dimension of points visited by Brownian motion.
347-354
Electronic Edition (link) BibTeX
- Shankara Narayanan Krishna:
Membrane computing with transport and embedded proteins.
355-375
Electronic Edition (link) BibTeX
- James Ladyman:
What does it mean to say that a physical system implements a computation?
376-383
Electronic Edition (link) BibTeX
- James I. Lathrop, Jack H. Lutz, Scott M. Summers:
Strict self-assembly of discrete Sierpinski triangles.
384-405
Electronic Edition (link) BibTeX
- Remco Loos, Florin Manea, Victor Mitrana:
On small, reduced, and fast universal accepting networks of splicing processors.
406-416
Electronic Edition (link) BibTeX
- Florin Manea, Victor Mitrana, Takashi Yokomori:
Two complementary operations inspired by the DNA hairpin formation: Completion and reduction.
417-425
Electronic Edition (link) BibTeX
- Philip D. Welch:
Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems.
426-442
Electronic Edition (link) BibTeX
- Damien Woods, Turlough Neary:
The complexity of small universal Turing machines: A survey.
443-450
Electronic Edition (link) BibTeX
Volume 410,
Numbers 6-7,
February 2009
- Ivan Lavallée, Alexander A. Shvartsman:
Editors' preface.
451-452
Electronic Edition (link) BibTeX
- Baruch Awerbuch, Christian Scheideler:
Robust random number generation for peer-to-peer systems.
453-466
Electronic Edition (link) BibTeX
- Rida A. Bazzi, Young-ri Choi, Mohamed G. Gouda:
Hop chains: Secure routing and the establishment of distinct identities.
467-480
Electronic Edition (link) BibTeX
- Jurek Czyzowicz, Leszek Gasieniec, Andrzej Pelc:
Gathering few fat mobile robots in the plane.
481-499
Electronic Edition (link) BibTeX
- Murat Demirbas, Anish Arora, Vinodkrishnan Kulathumani:
Glance: A lightweight querying service for wireless sensor networks.
500-513
Electronic Edition (link) BibTeX
- Shlomi Dolev, Nir Tzachar:
Empire of colonies: Self-stabilizing and self-organizing distributed algorithm.
514-532
Electronic Edition (link) BibTeX
- Burkhard Englert:
On the cost of uniform protocols whose memory consumption is adaptive to interval contention.
533-545
Electronic Edition (link) BibTeX
- Seth Gilbert, Rachid Guerraoui, Calvin C. Newport:
Of malicious motes and suspicious sensors: On the efficiency of malicious interference in wireless networks.
546-569
Electronic Edition (link) BibTeX
- Rachid Guerraoui, Maurice Herlihy, Bastian Pochon:
A topological treatment of early-deciding set-agreement.
570-580
Electronic Edition (link) BibTeX
- Colette Johnen, Le Huy Nguyen:
Robust self-stabilizing weight-based clustering algorithm.
581-594
Electronic Edition (link) BibTeX
- Marios Mavronicolas, Loizos Michael, Paul G. Spirakis:
Computing on a partially eponymous ring.
595-613
Electronic Edition (link) BibTeX
- Neeraj Mittal, Kuppahalli L. Phaneesh, Felix C. Freiling:
Safe termination detection in an asynchronous distributed system when processes may crash and recover.
614-628
Electronic Edition (link) BibTeX
- Heinrich Moser:
Towards a real-time distributed computing model.
629-659
Electronic Edition (link) BibTeX
Volume 410,
Numbers 8-10,
March 2009
- Deying Li, Hongwei Du, Peng-Jun Wan, Xiaofeng Gao, Zhao Zhang, Weili Wu:
Construction of strongly connected dominating sets in asymmetric multihop wireless networks.
661-669
Electronic Edition (link) BibTeX
- Marcos A. Kiwi, Mauricio Soto, Christopher Thraves:
Adversarial queuing theory with setups.
670-687
Electronic Edition (link) BibTeX
- Yong Gao:
The degree distribution of random k-trees.
688-695
Electronic Edition (link) BibTeX
- Selma Djelloul:
Treewidth and logical definability of graph products.
696-710
Electronic Edition (link) BibTeX
- Wolfgang W. Bein, Lawrence L. Larmore, Linda Morales, Ivan Hal Sudborough:
A quadratic time 2-approximation algorithm for block sorting.
711-717
Electronic Edition (link) BibTeX
- Jiong Guo:
A more effective linear kernelization for cluster editing.
718-726
Electronic Edition (link) BibTeX
- Yuchen Zhang, Xiaoming Sun:
The antimagicness of the Cartesian product of graphs.
727-735
Electronic Edition (link) BibTeX
- Willy Susilo:
Short fail-stop signature scheme based on factorization and discrete logarithm assumptions.
736-744
Electronic Edition (link) BibTeX
- Alexis C. Kaporis, Paul G. Spirakis:
The price of optimum in Stackelberg games on arbitrary single commodity networks and latency functions.
745-755
Electronic Edition (link) BibTeX
- Decheng Dai, Changyuan Yu:
A 5+epsilon-approximation algorithm for minimum weighted dominating set in unit disk graph.
756-765
Electronic Edition (link) BibTeX
- Ping-Ying Tsai, Jung-Sheng Fu, Gen-Huey Chen:
Fault-free longest paths in star networks with conditional link faults.
766-775
Electronic Edition (link) BibTeX
- C. T. Ng, Zhiyi Tan, Yong He, T. C. Edwin Cheng:
Two semi-online scheduling problems on two uniform machines.
776-792
Electronic Edition (link) BibTeX
- Francine Blanchet-Sadri, Robert Mercas, Geoffrey Scott:
A generalization of Thue freeness for partial words.
793-800
Electronic Edition (link) BibTeX
- Tzu-Liang Kung, Cheng-Kuan Lin, Tyne Liang, Lih-Hsing Hsu, Jimmy J. M. Tan:
On the bipanpositionable bipanconnectedness of hypercubes.
801-811
Electronic Edition (link) BibTeX
- Zhao Zhang, Xiaofeng Gao, Weili Wu:
Algorithms for connected set cover problem and fault-tolerant connected set cover problem.
812-817
Electronic Edition (link) BibTeX
- Jianer Chen, Iyad A. Kanj, Jie Meng, Ge Xia, Fenghui Zhang:
On the pseudo-achromatic number problem.
818-829
Electronic Edition (link) BibTeX
- Xianglai Qi, Shiguo Zhou, Jinjiang Yuan:
Single machine parallel-batch scheduling with deteriorating jobs.
830-836
Electronic Edition (link) BibTeX
- Aïda Ouangraoua, Pascal Ferraro:
A constrained edit distance algorithm between semi-ordered trees.
837-846
Electronic Edition (link) BibTeX
- Mathilde Bouvel, Dominique Rossin:
A variant of the tandem duplication - random loss model of genome rearrangement.
847-858
Electronic Edition (link) BibTeX
- Vera Asodi, Christopher Umans:
The complexity of the matroid-greedoid partition problem.
859-866
Electronic Edition (link) BibTeX
- Chi-Yuan Chan, Shan-Chyun Ku, Chi-Jen Lu, Biing-Feng Wang:
Efficient algorithms for two generalized 2-median problems and the group median problem on trees.
867-876
Electronic Edition (link) BibTeX
- Jianping Li, Weidong Li, Tongquan Zhang, Zhongxu Zhang:
The subdivision-constrained minimum spanning tree problem.
877-885
Electronic Edition (link) BibTeX
- Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre:
Fast payment schemes for truthful mechanisms with verification.
886-899
Electronic Edition (link) BibTeX
- Wataru Matsubara, Shunsuke Inenaga, Akira Ishino, Ayumi Shinohara, Tomoyuki Nakamura, Kazuo Hashimoto:
Efficient algorithms to compute compressed longest common substrings and compressed palindromes.
900-913
Electronic Edition (link) BibTeX
- Hisashi Koga:
Dynamic TCP acknowledgment with sliding window.
914-925
Electronic Edition (link) BibTeX
- Sun-Yuan Hsieh, Chang-Jen Tu:
Constructing edge-disjoint spanning trees in locally twisted cubes.
926-932
Electronic Edition (link) BibTeX
- Spyros C. Kontogiannis, Paul G. Spirakis:
On the support size of stable strategies in random games.
933-942
Electronic Edition (link) BibTeX
- Vesa Halava, Tero Harju, Tomi Kärki, Patrice Séébold:
Overlap-freeness in infinite partial words.
943-948
Electronic Edition (link) BibTeX
- Jean Cardinal, Stefan Langerman, Eythan Levy:
Improved approximation bounds for edge dominating set in dense graphs.
949-957
Electronic Edition (link) BibTeX
- Travis Gagie:
Compressed depth sequences.
958-962
Electronic Edition (link) BibTeX
- Sung-Pil Hong, Myoung-Ju Park, Soo Y. Chang:
Approximation of the k-batch consolidation problem.
963-967
Electronic Edition (link) BibTeX
- Francine Blanchet-Sadri, Raphael M. Jungers, Justin Palumbo:
Testing avoidability on sets of partial words is hard.
968-972
Electronic Edition (link) BibTeX
- Pablo Sáez:
A quadratic algorithm for the 2-cyclic robotic scheduling problem.
973-976
Electronic Edition (link) BibTeX
- Yury L. Orlovich, Valery S. Gordon, Dominique de Werra:
On the inapproximability of independent domination in 2P3-free perfect graphs.
977-982
Electronic Edition (link) BibTeX
- Cinzia Pizzi:
k-difference matching in amortized linear time for all the words in a text.
983-987
Electronic Edition (link) BibTeX
- Tsung-Hsi Tsai:
Efficient computation of the iteration of functions.
988-993
Electronic Edition (link) BibTeX
- Martin Wahlen:
On the complexity of approximating the Hadwiger number.
994-996
Electronic Edition (link) BibTeX
- Juha Honkala:
On the simplification of infinite morphic words.
997-1000
Electronic Edition (link) BibTeX
Volume 410,
Number 11,
March 2009
- S. Barry Cooper, Hong Zhu:
Preface: Algorithms, complexity and models of computation.
1001-1002
Electronic Edition (link) BibTeX
- Vincent Danos, Linus J. Schumacher:
How liquid is biological signalling?
1003-1012
Electronic Edition (link) BibTeX
- Minming Li, Ze Feng, Nan Zang, Ronald L. Graham, Frances F. Yao:
Approximately optimal trees for group key management with batch updates.
1013-1021
Electronic Edition (link) BibTeX
- Wangsen Feng, Li'ang Zhang, Hanpin Wang:
Approximation algorithm for maximum edge coloring.
1022-1029
Electronic Edition (link) BibTeX
- Andreas Jakoby, Maciej Liskiewicz, Rüdiger Reischuk, Christian Schindelhauer:
Improving the average delay of sorting.
1030-1041
Electronic Edition (link) BibTeX
- Angsheng Li:
Elementary differences among jump classes.
1042-1053
Electronic Edition (link) BibTeX
- Hiroki Morizumi, Jun Tarui:
Linear-size log-depth negation-limited inverter for k-tonic binary sequences.
1054-1060
Electronic Edition (link) BibTeX
- Akifumi Kawaguchi, Hiroshi Nagamochi:
Drawing slicing graphs with face areas.
1061-1072
Electronic Edition (link) BibTeX
- He Sun, Chung Keung Poon:
Two improved range-efficient algorithms for F0 estimation.
1073-1080
Electronic Edition (link) BibTeX
- Yingchao Zhao, Shang-Hua Teng:
Combinatorial and spectral aspects of nearest neighbor graphs in doubling dimensional and nearly-Euclidean spaces.
1081-1092
Electronic Edition (link) BibTeX
- Peng Zhang, Mingji Xia:
An approximation algorithm to the k-Steiner Forest problem.
1093-1098
Electronic Edition (link) BibTeX
- Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao:
A note on universal composable zero-knowledge in the common reference string model.
1099-1108
Electronic Edition (link) BibTeX
Volume 410,
Numbers 12-13,
March 2009
- Andrei Popescu, Traian-Florin Serbanuta, Grigore Rosu:
A semantic approach to interpolation.
1109-1128
Electronic Edition (link) BibTeX
- H. Peter Gumm:
Copower functors.
1129-1142
Electronic Edition (link) BibTeX
- Simone Bova, Franco Montagna:
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete.
1143-1158
Electronic Edition (link) BibTeX
- Murdoch James Gabbay:
A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets.
1159-1189
Electronic Edition (link) BibTeX
- Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Executability of scenarios in Petri nets.
1190-1216
Electronic Edition (link) BibTeX
- Lutz Schröder, Till Mossakowski:
HasCasl: Integrated higher-order specification and program development.
1217-1260
Electronic Edition (link) BibTeX
- Jan A. Bergstra, Yoram Hirshfeld, J. V. Tucker:
Meadows and the equational specification of division.
1261-1271
Electronic Edition (link) BibTeX
- Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti:
Probabilistic Mobile Ambients.
1272-1303
Electronic Edition (link) BibTeX
Volume 410,
Number 14,
March 2009
- Giuseppe Prencipe, Shmuel Zaks:
Preface.
1305-1306
Electronic Edition (link) BibTeX
- Nicolas Nisse, David Soguet:
Graph searching with advice.
1307-1318
Electronic Edition (link) BibTeX
- Hajo Broersma, Matthew Johnson, Daniël Paulusma:
Upper bounds and algorithms for parallel knock-out numbers.
1319-1327
Electronic Edition (link) BibTeX
- Eli Gafni, Achour Mostéfaoui, Michel Raynal, Corentin Travers:
From adaptive renaming to set agreement.
1328-1335
Electronic Edition (link) BibTeX
- Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil:
A new self-stabilizing maximal matching algorithm.
1336-1345
Electronic Edition (link) BibTeX
- Peter Korteweg, Alberto Marchetti-Spaccamela, Leen Stougie, Andrea Vitaletti:
Data aggregation in sensor networks: Balancing communication and delay costs.
1346-1354
Electronic Edition (link) BibTeX
- Asaf Efrima, David Peleg:
Distributed algorithms for partitioning a swarm of autonomous mobile robots.
1355-1368
Electronic Edition (link) BibTeX
- Guy Even, Tamir Levi, Ami Litman:
Optimal conclusive sets for comparator networks.
1369-1376
Electronic Edition (link) BibTeX
- Rastislav Kralovic, Richard Královic:
Rapid almost-complete broadcasting in faulty networks.
1377-1387
Electronic Edition (link) BibTeX
- Jurek Czyzowicz, Stefan Dobrev, Evangelos Kranakis, Jaroslav Opatrny, Julià Urrutia:
Local edge colouring of Yao-like subgraphs of Unit Disk Graphs.
1388-1400
Electronic Edition (link) BibTeX
- Amos Korman, Shay Kutten:
A note on models for graph representations.
1401-1412
Electronic Edition (link) BibTeX
Volume 410,
Number 15,
April 2009
Volume 410,
Number 16,
April 2009
Volume 410,
Number 17,
April 2009
- Paul G. Spirakis, Marios Mavronicolas, Spyros C. Kontogiannis:
Preface.
1551
Electronic Edition (link) BibTeX
- Heiner Ackermann, Heiko Röglin, Berthold Vöcking:
Pure Nash equilibria in player-specific and weighted congestion games.
1552-1563
Electronic Edition (link) BibTeX
- Davide Bilò, Luciano Gualà, Guido Proietti:
Dynamic mechanism design.
1564-1572
Electronic Edition (link) BibTeX
- Xi Chen, Li-Sha Huang, Shang-Hua Teng:
Market equilibria with hybrid linear-Leontief utilities.
1573-1580
Electronic Edition (link) BibTeX
- Constantinos Daskalakis, Aranyak Mehta, Christos H. Papadimitriou:
A note on approximate Nash equilibria.
1581-1588
Electronic Edition (link) BibTeX
- Nicole Immorlica, Li (Erran) Li, Vahab S. Mirrokni, Andreas S. Schulz:
Coordination mechanisms for selfish scheduling.
1589-1598
Electronic Edition (link) BibTeX
- Spyros C. Kontogiannis, Panagiota N. Panagopoulou, Paul G. Spirakis:
Polynomial algorithms for approximating Nash equilibria of bimatrix games.
1599-1606
Electronic Edition (link) BibTeX
- Paolo Penna, Guido Proietti, Peter Widmayer:
Strongly polynomial-time truthful mechanisms in one shot.
1607-1615
Electronic Edition (link) BibTeX
Volume 410,
Number 18,
April 2009
- Lars Arge, Christian Cachin, Andrzej Tarlecki:
Preface.
1617
Electronic Edition (link) BibTeX
- Jin-yi Cai, Pinyan Lu:
Holographic algorithms: The power of dimensionality resolved.
1618-1628
Electronic Edition (link) BibTeX
- Benoit Larose, Pascal Tesson:
Universal algebra and hardness results for constraint satisfaction problems.
1629-1647
Electronic Edition (link) BibTeX
- Johannes Blömer, Stefanie Naewe:
Sampling methods for shortest vectors, closest vectors and successive minima.
1648-1665
Electronic Edition (link) BibTeX
- Albert Atserias, Andrei A. Bulatov, Anuj Dawar:
Affine systems of equations and counting infinitary logic.
1666-1683
Electronic Edition (link) BibTeX
- Manuel Bodirsky, Hubie Chen, Jan Kára, Timo von Oertzen:
Maximal infinite-valued constraint languages.
1684-1693
Electronic Edition (link) BibTeX
- Bernard Boigelot, Julien Brusten:
A generalization of Cobham's theorem to automata over real numbers.
1694-1703
Electronic Edition (link) BibTeX
- Marcelo P. Fiore, Chung-Kil Hur:
On the construction of free algebras for equational systems.
1704-1729
Electronic Edition (link) BibTeX
- Yuval Ishai, Tal Malkin, Martin J. Strauss, Rebecca N. Wright:
Private multiparty sampling and approximation of vector combinations.
1730-1745
Electronic Edition (link) BibTeX
Volume 410,
Number 19,
April 2009
- Marcus Hutter, Rocco A. Servedio:
Preface.
1747-1748
Electronic Edition (link) BibTeX
- Markus Maier, Matthias Hein, Ulrike von Luxburg:
Optimal construction of k-nearest-neighbor graphs for identifying noisy clusters.
1749-1764
Electronic Edition (link) BibTeX
- Kevin L. Chang:
Multiple pass streaming algorithms for learning mixtures of distributions in Rd.
1765-1780
Electronic Edition (link) BibTeX
- Vladimir V. V'yugin:
On calibration error of randomized forecasting algorithms.
1781-1795
Electronic Edition (link) BibTeX
- Sanjay Jain, Frank Stephan, Ye Nan:
Prescribed learning of r.e. classes.
1796-1806
Electronic Edition (link) BibTeX
- Ryo Yoshinaka:
Learning efficiency of very simple grammars from positive data.
1807-1825
Electronic Edition (link) BibTeX
- M. M. Hassan Mahmud:
On universal transfer learning.
1826-1846
Electronic Edition (link) BibTeX
- Kilho Shin, Tetsuji Kuboyama:
Polynomial summaries of positive semidefinite kernels.
1847-1862
Electronic Edition (link) BibTeX
- John Case, Samuel E. Moelius:
Parallelism increases iterative learning power.
1863-1875
Electronic Edition (link) BibTeX
- Jean-Yves Audibert, Rémi Munos, Csaba Szepesvári:
Exploration-exploitation tradeoff using variance estimates in multi-armed bandits.
1876-1902
Electronic Edition (link) BibTeX
- Vitaly Feldman, Shrenik Shah:
Separating models of learning with faulty teachers.
1903-1912
Electronic Edition (link) BibTeX
Volume 410,
Number 20,
May 2009
Volume 410,
Numbers 21-23,
May 2009
- Alexander Meduna, Jirí Techet:
An infinite hierarchy of language families generated by scattered context grammars with n-limited derivations.
1961-1969
Electronic Edition (link) BibTeX
- Pierre Fraigniaud, Cyril Gavoille, Adrian Kosowski, Emmanuelle Lebhar, Zvi Lotker:
Universal augmentation schemes for network navigability.
1970-1981
Electronic Edition (link) BibTeX
- Guanghui Wang, Guizhen Liu:
Paths, cycles and circular colorings in digraphs.
1982-1985
Electronic Edition (link) BibTeX
- Marcus Oswald, Gerhard Reinelt:
The simultaneous consecutive ones problem.
1986-1992
Electronic Edition (link) BibTeX
- Isaac Elias, Jens Lagergren:
Fast neighbor joining.
1993-2000
Electronic Edition (link) BibTeX
- Jinn-Shyong Yang, Jou-Ming Chang, Shyue-Ming Tang, Yue-Li Wang:
On the independent spanning trees of recursive circulant graphs G(cdm, d) with d>2.
2001-2010
Electronic Edition (link) BibTeX
- Christian Glaßer, Alan L. Selman, Stephen D. Travers, Liyu Zhang:
Non-mitotic sets.
2011-2023
Electronic Edition (link) BibTeX
- Wenbin Chen, Matthew C. Schmidt, Nagiza F. Samatova:
On parameterized complexity of the Multi-MCS problem.
2024-2032
Electronic Edition (link) BibTeX
- Adrien Guignard, Eric Sopena:
Compound Node-Kayles on paths.
2033-2044
Electronic Edition (link) BibTeX
- Herbert Fleischner, Egbert Mujuni, Daniël Paulusma, Stefan Szeider:
Covering graphs with few complete bipartite subgraphs.
2045-2053
Electronic Edition (link) BibTeX
- Stefan S. Dantchev, Barnaby Martin, Mark Rhodes:
Tight rank lower bounds for the Sherali-Adams proof system.
2054-2063
Electronic Edition (link) BibTeX
- Takayuki Nagoya, Seinosuke Toda:
Computational complexity of computing a partial solution for the Graph Automorphism problems.
2064-2071
Electronic Edition (link) BibTeX
- Liliana Alcón, Luerbio Faria, Celina M. Herrera de Figueiredo, Marisa Gutierrez:
The complexity of clique graph recognition.
2072-2083
Electronic Edition (link) BibTeX
- Ilya Goldstein:
Asymptotic subword complexity of fixed points of group substitutions.
2084-2098
Electronic Edition (link) BibTeX
- Ming Liu, Yinfeng Xu, Chengbin Chu, Feifeng Zheng:
Online scheduling on two uniform machines to minimize the makespan.
2099-2109
Electronic Edition (link) BibTeX
- Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Sara Tucci Piergiovanni:
Investigating the existence and the regularity of Logarithmic Harary Graphs.
2110-2121
Electronic Edition (link) BibTeX
- Yuval Lando, Zeev Nutov:
Inapproximability of survivable networks.
2122-2125
Electronic Edition (link) BibTeX
- M.-A. Jacob-Da Col, P. Tellier:
Quasi-linear transformations and discrete tilings.
2126-2134
Electronic Edition (link) BibTeX
- Alessandra Cherubini, Andrzej Kisielewicz:
Collapsing words, permutation conditions and coherent colorings of trees.
2135-2147
Electronic Edition (link) BibTeX
- Daniel Reidenbach, Johannes C. Schneider:
Morphically primitive words.
2148-2161
Electronic Edition (link) BibTeX
- Xingwu Liu, Zhiwei Xu, Jianzhong Pan:
Classifying rendezvous tasks of arbitrary dimension.
2162-2173
Electronic Edition (link) BibTeX
- Amos Beimel, Boaz Ben-Moshe, Yehuda Ben-Shimol, Paz Carmi, Eldad Chai, Itzik Kitroser, Eran Omri:
Matrix columns allocation problems.
2174-2183
Electronic Edition (link) BibTeX
- Nicolas Bourgeois, Bruno Escoffier, Vangelis Th. Paschos:
Efficient approximation of min set cover by moderately exponential algorithms.
2184-2195
Electronic Edition (link) BibTeX
- Changyuan Yu:
Truthful mechanisms for two-range-values variant of unrelated scheduling.
2196-2206
Electronic Edition (link) BibTeX
- Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas:
A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties.
2207-2222
Electronic Edition (link) BibTeX
- Chih-Wei Yi:
Maximum scan statistics and channel assignment problems in homogeneous wireless networks.
2223-2233
Electronic Edition (link) BibTeX
- Benjamin Lévêque, Frédéric Maffray, Bruce A. Reed, Nicolas Trotignon:
Coloring Artemis graphs.
2234-2240
Electronic Edition (link) BibTeX
- Hans-Joachim Böckenhauer, Joachim Kneis, Joachim Kupke:
Approximation hardness of deadline-TSP reoptimization.
2241-2249
Electronic Edition (link) BibTeX
- Sándor Vágvölgyi:
Deterministic bottom-up tree transducers and ground term rewrite systems.
2250-2278
Electronic Edition (link) BibTeX
- Conrado Martínez, Helmut Prodinger:
Moves and displacements of particular elements in Quicksort.
2279-2284
Electronic Edition (link) BibTeX
- Shang-Wei Zhao, Xiao-Shan Gao:
Minimal achievable approximation ratio for MAX-MQ in finite fields.
2285-2290
Electronic Edition (link) BibTeX
- Ji Tian, Ruyan Fu, Jinjiang Yuan:
A best online algorithm for scheduling on two parallel batch machines.
2291-2294
Electronic Edition (link) BibTeX
- Jan Hoffmann:
Finding a tree structure in a resolution proof is NP-complete.
2295-2300
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:25:19 2009
by Michael Ley (ley@uni-trier.de)
