STACS A

55 papers

YearTitle / Authors
1998A Generalization of Resource-Bounded Measure, With an Application (Extended Abstract).
Harry Buhrman, Dieter van Melkebeek, Kenneth W. Regan, D. Sivakumar, Martin Strauss
1998A Logical Characterization of Systolic Languages.
Angelo Monti, Adriano Peron
1998A Synthesis on Partition Refinement: A Useful Routine for Strings, Graphs, Boolean Matrices and Automata.
Michel Habib, Christophe Paul, Laurent Viennot
1998Attractors of D-dimensional Linear Cellular Automata.
Giovanni Manzini, Luciano Margara
1998Axiomatizing the Equational Theory of Regular Tree Languages (Extended Anstract).
Zoltán Ésik
1998Bounded Size Dictionary Compression: SC
Sergio De Agostino, Riccardo Silvestri
1998Cell Flipping in Permutation Diagrams.
Martin Charles Golumbic, Haim Kaplan
1998Communication-Efficient Deterministic Parallel Algorithms for Planar Point Location and 2d Voronoi Diagram.
Mohamadou Diallo, Afonso Ferreira, Andrew Rau-Chaplin
1998Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract).
Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan
1998Construction of Non-intersecting Colored Flows Through a Planar Cellular Figure.
Marius Dorkenoo, Marie-Christine Eglin-Leclerc, Eric Rémila
1998Distributed Online Frequency Assignment in Cellular Networks.
Jeannette C. M. Janssen, Danny Krizanc, Lata Narayanan, Sunil M. Shende
1998Equivalence Test and Ordering Transformation for Parity-OBDDs of Different Variable Ordering.
Jan Behrens, Stephan Waack
1998Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof.
Raphaël Meyer, Antoine Petit
1998Floats, Integers, and Single Source Shortest Paths.
Mikkel Thorup
1998Hierarchies of Principal Twist-Closed Trios.
Matthias Jantzen
1998Inducing an Order on Cellular Automata by a Grouping Operation.
Jacques Mazoyer, Ivan Rapaport
1998Interactive Protocols on the Reals.
Sergei Ivanov, Michel de Rougemont
1998Languages Defined With Modular Counting Quantifiers (Extended Abstract).
Howard Straubing
1998Local Normal Forms for First-Order Logic with Applications to Games and Automata.
Thomas Schwentick, Klaus Barthelmann
1998Lower Bounds for Randomized Read-k-Times Branching Programs (Extended Abstract).
Martin Sauerhoff
1998Massaging a Linear Programming Solution to Give a 2-Approximation for a Generalization of the Vertex Cover Problem.
Nader H. Bshouty, Lynn Burroughs
1998Minimum Spanning Trees for Minor-Closed Graph Classes in Parallel.
Jens Gustedt
1998Nearly Optimal Language Compression Using Extractors.
Lance Fortnow, Sophie Laplante
1998On Batcher's Merge Sorts as Parallel Sorting Algorithms.
Christine Rüb
1998On Disguised Double Horn Functions and Extensions.
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
1998On Uniform DOL Words.
Anna E. Frid
1998On the Approximation of Finding A(nother) Hamilton Cycle in Cubic Hamilton Graphs (Extended Abstract).
Cristina Bazgan, Miklos Santha, Zsolt Tuza
1998On the Existence of Polynomial Time Approximation Schemes for OBDD Minimization (Extended Abstract).
Detlef Sieling
1998On the Expected Number of Nodes at Level k in 0-balanced Trees.
Rainer Kemp
1998On the Structure of Valiant's Complexity Classes.
Peter Bürgisser
1998Optimal Broadcasting in Almost Trees and Partial k-trees.
Anders Dessmark, Andrzej Lingas, Hans Olsson, Hiroaki Yamamoto
1998Optimal Proof Systems for Propositional Logic and Complete Sets.
Jochen Meßner, Jacobo Torán
1998Optimal Simulations Between Unary Automata.
Carlo Mereghetti, Giovanni Pighizzini
1998Partially Persistent Search Trees with Transcript Operations.
Kim S. Larsen
1998Provable Security for Block Ciphers by Decorrelation.
Serge Vaudenay
1998Radix Representations of Algebraic Number Fields and Finite Automata.
Taoufik Safer
1998Random Graphs, Random Walks, Differential Equations and the Probabilistic Analysis of Algorithms.
Richard M. Karp
1998Random Sparse Bit Strings at the Threshold of Adjacency.
Joel Spencer, Katherine St. John
1998Recognizability Equals Monadic Second-Order Definability for Sets of Graphs of Bounded Tree-Width.
Denis Lapoire
1998Recursively Enumerable Reals and Chaitin Omega Numbers.
Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang
1998Relating Hierarchies of Word and Tree Automata.
Damian Niwinski, Igor Walukiewicz
1998Result-Indistinguishable Zero-Knowledge Proofs: Increased Power and Constant-Round Protocols.
Giovanni Di Crescenzo, Kouichi Sakurai, Moti Yung
1998STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings
Michel Morvan, Christoph Meinel, Daniel Krob
1998Searching Constant Width Mazes Captures the AC
David A. Mix Barrington, Chi-Jen Lu, Peter Bro Miltersen, Sven Skyum
1998Series-Parallel Posets: Algebra, Automata and Languages.
Kamal Lodaya, Pascal Weil
1998Shuffle of omega-Words: Algebraic Aspects (Extended Abstract).
Alexandru Mateescu
1998Simplifying the Modal Mu-Calculus Alternation Hierarchy.
Julian C. Bradfield
1998Size and Structure of Random Ordered Binary Decision Diagrams (Extended Abstract).
Clemens Gröpl, Hans Jürgen Prömel, Anand Srivastav
1998Sorting and Searching on the Word RAM.
Torben Hagerup
1998The (Parallel) Approximability of Non-Boolean Satisfiability Problems and Restricted Integer Programming.
Maria J. Serna, Luca Trevisan, Fatos Xhafa
1998The Complexity of Modular Graph Automorphism.
Vikraman Arvind, Richard Beigel, Antoni Lozano
1998The Complexity of Propositional Linear Temporal Logics in Simple Cases (Extended Abstract).
Stéphane Demri, Philippe Schnoebelen
1998The Mutual Exclusion Scheduling Problem for Permutation and Comparability Graphs.
Klaus Jansen
1998Unary Quantifiers, Transitive Closure, and Relations of Large Degree.
Leonid Libkin, Limsoon Wong
1998Uniformly Defining Complexity Classes of Functions.
Sven Kosub, Heinz Schmitz, Heribert Vollmer