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. Front Matter

    PDF

  2. Invited Talks

    1. Foundations of Computer Science

      2. Turing Machines for Dummies
        • Peter van Emde Boas
        Pages 14-30
      3. What Is an Algorithm?
        • Yuri Gurevich
        Pages 31-42

    2. Software and Web Engineering

      1. A Fully Generic Approach for Realizing the Adaptive Web
        • Paul De Bra, David Smits
        Pages 64-76

    3. Cryptography, Security, and Verification

      2. Cryptography from Learning Parity with Noise
        • Krzysztof Pietrzak
        Pages 99-114

    4. Artificial Intelligence

      2. Not Another Look at the Turing Test!
        • Kevin Warwick
        Pages 130-140

  3. Regular Papers

    1. Foundations of Computer Science

      1. The Equational Theory of Weak Complete Simulation Semantics over BCCSP
        • Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
        Pages 141-152
      2. Complexity Insights of the Minimum Duplication Problem
        • Guillaume Blin, Paola Bonizzoni, Riccardo Dondi, Romeo Rizzi, Florian Sikora
        Pages 153-164
      3. A Turing Machine Resisting Isolated Bursts of Faults
        • Ilir Çapuni, Peter Gács
        Pages 165-176
      4. Properties of SLUR Formulae
        • Ondřej Čepek, Petr Kučera, Václav Vlček
        Pages 177-189
      5. Unique-Maximum and Conflict-Free Coloring for Hypergraphs and Tree Graphs
        • Panagiotis Cheilaris, Balázs Keszegh, Dömötör Pálvölgyi
        Pages 190-201
      6. Minimal Dominating Sets in Graph Classes: Combinatorial Bounds and Enumeration
        • Jean-François Couturier, Pinar Heggernes, Pim van’t Hof, Dieter Kratsch
        Pages 202-213
      7. Randomized Group Testing Both Query-Optimal and Minimal Adaptive
        • Peter Damaschke, Azam Sheikh Muhammad
        Pages 214-225
      8. Complexity of Model Checking for Modal Dependence Logic
        • Johannes Ebbing, Peter Lohmann
        Pages 226-237
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