default search action
13th FCT 2001: Riga, Latvia
- Rusins Freivalds:
Fundamentals of Computation Theory, 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001, Proceedings. Lecture Notes in Computer Science 2138, Springer 2001, ISBN 3-540-42487-3
Invited Papers
- Janis Barzdins, Rusins Freivalds, Carl H. Smith:
Towards Axiomatic Basis of Inductive Inference. 1-13 - Klaus Jansen:
Approximation Algorithms for Fractional Covering and Packing Problems, and Applications. 14 - Juhani Karhumäki:
Challenges of Commutation. 15-23 - Marek Karpinski:
Approximating Bounded Degree Instances of NP-Hard Problems. 24-34 - Boris I. Plotkin, Tanya Plotkin:
Universal Algebra and Computer Science. 35-44 - Umesh V. Vazirani:
Quantum Algorithms. 45-46
Regular Papers
- Farid M. Ablayev, Svetlana Ablayeva:
A Discrete Approximation and Communication Complexity Approach to the Superposition Problem. 47-58 - Farid M. Ablayev, Aida Gainutdinova, Marek Karpinski:
On Computational Power of Quantum Branching Programs. 59-70 - Harald Baier:
Efficient Computation of Singular Moduli with Application in Cryptography. 71-82 - Aija Berzina, Richard F. Bonner:
Ambainis-Freivalds' Algorithm for Measure-Once Automata. 83-93 - Janis Cirulis:
Are There Essentially Incomplete Knowledge Representation Systems? 94-105 - Marcin Ciura:
Best Increments for the Average Case of Shellsort. 106-117 - Fedor V. Fomin, Dieter Kratsch, Jean-Christophe Novelli:
Approximating Minimum Cocolourings. 118-125 - Karlis Freivalds:
Curved Edge Routing. 126-137 - Leszek Gasieniec, Igor Potapov:
Time/Space Efficient Compressed Pattern Matching. 138-149 - Bernhard Heinemann:
Modelling Change with the Aid of Knowledge and Time. 150-161 - Lane A. Hemaspaandra, Kari Pasanen, Jörg Rothe:
If P != NP Then Some Strongly Noninvertible Functions Are Invertible. 162-171 - Kouichi Hirata, Hiroshi Sakamoto:
Prediction-Preserving Reducibility with Membership Queries on Formal Languages. 172-183 - Jouni Järvinen:
Dense Families and Key Functions of Database Relation Instances. 184-192 - Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter:
On the Complexity of Decidable Cases of Commutation Problem for Languages. 193-203 - Werner Kuich:
Cones, Semi-AFPs, and AFPs of Algebraic Power Series. 204-216 - Manfred Kudlek, Yurii Rogozhin:
New Small Universal Circular Post Machines. 217-226 - Dietrich Kuske:
Divisibility Monoids: Presentation, Word Problem, and Rational Languages. 227-239 - Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini:
Concurrency in Timed Automata. 240-251 - Grégory Lafitte:
How Powerful Are Infinite Time Machines? 252-263 - Girts Linde:
Equivalence Problem of Composite Class Diagrams. 264-274 - Jérôme Monnot, Vangelis Th. Paschos, Sophie Toulouse:
Differential Approximation Results for the Traveling Salesman Problem with Distances 1 and 2. 275-286 - Nataly S. Moskaljova, Irina B. Virbitskaite:
On the Category of Event Structures with Dense Time. 287-298 - Arfst Nickelsen, Till Tantau:
Closure of Polynomial Time Partial Information Classes under Polynomial Time Reductions. 299-310 - Robert Rettinger, Rutger Verbeek:
Monte-Carlo Polynomial Versus Linear Time - The Truth-Table Case. 311-322 - Victor L. Selivanov:
Relating Automata-Theoretic Hierarchies to Complexity-Theoretic Hierarchies. 323-334 - Takayoshi Shoudai, Tomoyuki Uchida, Tetsuhiro Miyahara:
Polynomial Time Algorithms for Finding Unordered Tree Patterns with Internal Variables. 335-346 - A. N. Trahtman:
Piecewise and Local Threshold Testability of DFA. 347-358 - Michal Walicki, Adis Hodzic, Sigurd Meldal:
Compositional Homomorphisms of Relational Structures. 359-371 - Janis Buls, Vaira Buza, Roberts Glaudins:
Representation of Autonomous Automata. 372-375 - Massimo Pica Ciamarra:
Quantum Reversibility and a New Model of Quantum Automaton. 376-379 - Andrej Dubrovsky:
Space-Efficient 1.5-Way Quantum Turing Machine. 380-383 - Anna Gambin, Piotr Pokarowski:
A Combinatorial Aggregation Algorithm for Stationary Distribution of a Large Markov Chain. 384-387 - Eike Kiltz:
A Primitive for Proving the Security of Every Bit and About Universal Hash Functions & Hard Core Bits. 388-391 - Ruvim Lipyanski:
Pythagorean Triples in Unification Theory of Nilpotent Rings. 392-395 - Nicolas Ollinger:
Two-States Bilinear Intrinsically Universal Cellular Automata. 396-399 - Christophe Papazian, Eric Rémila:
Linear Time Recognizer for Subsets of Z2. 400-403 - Tanya Plotkin:
Fuzzy Sets and Algorithms of Distributed Task Allocation for Cooperative Agents. 404-407 - Bella V. Rozenblat:
On Recursively Enumerable Subsets of N and Rees Matrix Semigroups over (Z3 ; + ). 408-411 - Oksana Scegulnaja:
Quantum Real-Time Turing Machine. 412-415 - Andrew V. Sokolov:
Mathematical Models and Optimal Algorithms of Dynamic Data Structure Control. 416-419 - Olga Sokratova:
Linear Automata and Recognizable Subsets in Free Semirings. 420-423 - Mati Tombak, Ain Isotamm, Tõnu Tamme:
On Logical Method for Counting Dedekind Numbers. 424-427 - Gabriel Valiente:
A General Method for Graph Isomorphism. 428-431
WEA Invited Papers
- Foto N. Afrati, Ioannis Milis:
Designing PTASs for MIN-SUM Scheduling Problems. 432-444 - Andreas Brandstädt:
On Robust Algorithms for the Maximum Weight Stable Set Problem. 445-458 - Luisa Gargano:
Multicasting in Optical Networks. 459-460
WEA Regular Papers
- Benjamin Doerr:
Structured Randomized Rounding and Coloring. 461-471 - Leah Epstein, Rob van Stee:
Optimal Online Flow Time with Resource Augmentation. 472-482 - Thomas Erlebach, Danica Vukadinovic:
New Results for Path Problems in Generalized Stars, Complete Graphs, and Brick Wall Graphs. 483-494 - Aleksei V. Fishkin, Klaus Jansen, Lorant Porkolab:
On Minimizing Average Weighted Completion Time: A PTAS for Scheduling General Multiprocessor Tasks. 495-507 - Fedor V. Fomin, Andrzej Lingas:
Approximation Algorithms for Time-Dependent Orienteering. 508-515 - Daniel Král:
On Complexity of Colouring Mixed Hypertrees. 516-524 - Monaldo Mastrolilli:
Combining Arithmetic and Geometric Rounding Techniques for Knapsack Problems. 525-534 - Taneli Mielikäinen, Esko Ukkonen:
The Complexity of Maximum Matroid-Greedoid Intersection. 535-540
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.