Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2012

SOFSEM 2012: Theory and Practice of Computer Science

38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012, Proceedings

Editors:

  1. Mária Bieliková

    1. Faculty of Informatics and Information Technologies, Institute of Informatics and Software Engineering, Slovak University of Technology in Bratislava, Bratislava 4, Slovakia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gerhard Friedrich

    1. Dept. of Intelligent Systems and Business Informatics, Alpen-Adria-Universität Klagenfurt, Klagenfurt, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Georg Gottlob

    1. Department of Computer Science, University of Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Stefan Katzenbeisser

    1. Security Engineering Group, Technische Universität Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. György Turán

    1. University of Illinois at Chicago, Dept. of Math., Stat. and Comp. Sci, 851 S. Morgan Street, Chicago, IL 60607-7045, USA; and University of Szeged, Research Group on Artificial Intelligence of the Hungarian Academy of Sciences, 6701 Szeged, Postafiók, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7147)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): SOFSEM: International Conference on Current Trends in Theory and Practice of Computer Science

Conference proceedings info: SOFSEM 2012.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (54 papers)

  1. Regular Papers

    1. Foundations of Computer Science

      1. Multitape NFA: Weak Synchronization of the Input Heads
        • Ömer Eğecioğlu, Oscar H. Ibarra, Nicholas Q. Tran
        Pages 238-250
      2. Visibly Pushdown Transducers with Look-Ahead
        • Emmanuel Filiot, Frédéric Servais
        Pages 251-263
      4. Consistent Consequence for Boolean Equation Systems
        • Maciej W. Gazda, Tim A. C. Willemse
        Pages 277-288
      5. 4-Coloring H-Free Graphs When H Is Small
        • Petr A. Golovach, Daniël Paulusma, Jian Song
        Pages 289-300
      6. Computing <i>q</i>-Gram Non-overlapping Frequencies on SLP Compressed Texts
        • Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda
        Pages 301-312
      8. Counting Maximal Independent Sets in Subcubic Graphs
        • Konstanty Junosza-Szaniawski, Michał Tuczyński
        Pages 325-336
      9. Iterated Hairpin Completions of Non-crossing Words
        • Lila Kari, Steffen Kopecki, Shinnosuke Seki
        Pages 337-348
      11. Parikh’s Theorem and Descriptional Complexity
        • Giovanna J. Lavado, Giovanni Pighizzini
        Pages 361-372
      13. The Complexity of Small Universal Turing Machines: A Survey
        • Turlough Neary, Damien Woods
        Pages 385-405
      16. An Algorithm for Probabilistic Alternating Simulation
        • Chenyi Zhang, Jun Pang
        Pages 431-442

    2. Software and Web Engineering

      1. Towards a Smart, Self-scaling Cooperative Web Cache
        • Tomáš Černý, Petr Praus, Slávka Jaroměřská, Luboš Matl, Michael J. Donahoo
        Pages 443-455
      2. Named Entity Disambiguation Based on Explicit Semantics
        • Martin Jačala, Jozef Tvarožek
        Pages 456-466
Back to top

Other Volumes

  1. SOFSEM 2012: Theory and Practice of Computer Science

Back to top

About this book

This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Faculty of Informatics and Information Technologies, Institute of Informatics and Software Engineering, Slovak University of Technology in Bratislava, Bratislava 4, Slovakia

    Mária Bieliková

  • Dept. of Intelligent Systems and Business Informatics, Alpen-Adria-Universität Klagenfurt, Klagenfurt, Austria

    Gerhard Friedrich

  • Department of Computer Science, University of Oxford, UK

    Georg Gottlob

  • Security Engineering Group, Technische Universität Darmstadt, Darmstadt, Germany

    Stefan Katzenbeisser

  • University of Illinois at Chicago, Dept. of Math., Stat. and Comp. Sci, 851 S. Morgan Street, Chicago, IL 60607-7045, USA; and University of Szeged, Research Group on Artificial Intelligence of the Hungarian Academy of Sciences, 6701 Szeged, Postafiók, Hungary

    György Turán

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation