ask others

38. SOFSEM 2012: Špindlerův Mlýn, Czech Republic

> Home > Conferences and Workshops > SOFSEM

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/2012
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/2012
Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán:
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. Lecture Notes in Computer Science 7147, Springer 2012, ISBN 978-3-642-27659-0

Invited Talks

- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/sofsem/Cucker12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Cucker12
Felipe Cucker:
The Legacy of Turing in Numerical Analysis. 1-13
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Boas12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Boas12
Peter van Emde Boas:
Turing Machines for Dummies - Why Representations Do Matter. 14-30
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Gurevich12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Gurevich12
Yuri Gurevich:
What Is an Algorithm? 31-42
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Italiano12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Italiano12
Giuseppe F. Italiano:
Strong Bridges and Strong Articulation Points of Directed Graphs. 43
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Wiedermann12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Wiedermann12
Jirí Wiedermann:
Towards Computational Models of Artificial Cognitive Systems That Can, in Principle, Pass the Turing Test. 44-63
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/BraS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/BraS12
Paul De Bra, David Smits:
A Fully Generic Approach for Realizing the Adaptive Web. 64-76
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Zezula12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Zezula12
Pavel Zezula:
Multi Feature Indexing Network MUFIN for Similarity Search Applications. 77-87
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Kupferman12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Kupferman12
Orna Kupferman:
Recent Challenges and Ideas in Temporal Synthesis. 88-98
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Pietrzak12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Pietrzak12
Krzysztof Pietrzak:
Cryptography from Learning Parity with Noise. 99-114
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Navigli12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Navigli12
Roberto Navigli:
A Quick Tour of Word Sense Disambiguation, Induction and Related Approaches. 115-129
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/sofsem/Warwick12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Warwick12
Kevin Warwick:
Not Another Look at the Turing Test! 130-140

Regular Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/AcetoFGI12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/AcetoFGI12
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
The Equational Theory of Weak Complete Simulation Semantics over BCCSP. 141-152
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/BlinBDRS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/BlinBDRS12
Guillaume Blin, Paola Bonizzoni, Riccardo Dondi, Romeo Rizzi, Florian Sikora:
Complexity Insights of the Minimum Duplication Problem. 153-164
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/CapuniG12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/CapuniG12
Ilir Çapuni, Péter Gács:
A Turing Machine Resisting Isolated Bursts of Faults. 165-176
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/CepekKV12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/CepekKV12
Ondrej Cepek, Petr Kucera, Václav Vlcek:
Properties of SLUR Formulae. 177-189
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/CheilarisKP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/CheilarisKP12
Panagiotis Cheilaris, Balázs Keszegh, Dömötör Pálvölgyi:
Unique-Maximum and Conflict-Free Coloring for Hypergraphs and Tree Graphs. 190-201
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/CouturierHHK12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/CouturierHHK12
Jean-François Couturier, Pinar Heggernes, Pim van 't Hof, Dieter Kratsch:
Minimal Dominating Sets in Graph Classes: Combinatorial Bounds and Enumeration. 202-213
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/DamaschkeM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/DamaschkeM12
Peter Damaschke, Azam Sheikh Muhammad:
Randomized Group Testing Both Query-Optimal and Minimal Adaptive. 214-225
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/EbbingL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/EbbingL12
Johannes Ebbing, Peter Lohmann:
Complexity of Model Checking for Modal Dependence Logic. 226-237
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/EgeciogluIT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/EgeciogluIT12
Ömer Egecioglu, Oscar H. Ibarra, Nicholas Q. Trân:
Multitape NFA: Weak Synchronization of the Input Heads. 238-250
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/FiliotS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/FiliotS12
Emmanuel Filiot, Frédéric Servais:
Visibly Pushdown Transducers with Look-Ahead. 251-263
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/GalJ12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/GalJ12
Anna Gál, Jing-Tang Jang:
A Generalization of Spira's Theorem and Circuits with Small Segregators or Separators. 264-276
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/GazdaW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/GazdaW12
Maciej Gazda, Tim A. C. Willemse:
Consistent Consequence for Boolean Equation Systems. 277-288
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/GolovachPS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/GolovachPS12
Petr A. Golovach, Daniël Paulusma, Jian Song:
4-Coloring H-Free Graphs When H Is Small. 289-300
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/GotoBIT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/GotoBIT12
Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda:
Computing q-Gram Non-overlapping Frequencies on SLP Compressed Texts. 301-312
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Jansen12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Jansen12
Klaus Jansen:
A Fast Approximation Scheme for the Multiple Knapsack Problem. 313-324
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Junosza-SzaniawskiT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Junosza-SzaniawskiT12
Konstanty Junosza-Szaniawski, Michal Tuczynski:
Counting Maximal Independent Sets in Subcubic Graphs. 325-336
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/KariKS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/KariKS12
Lila Kari, Steffen Kopecki, Shinnosuke Seki:
Iterated Hairpin Completions of Non-crossing Words. 337-348
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Krug12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Krug12
Sacha Krug:
On the Approximation Ratio of the Path Matching Christofides Algorithm. 349-360
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/LavadoP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/LavadoP12
Giovanna J. Lavado, Giovanni Pighizzini:
Parikh's Theorem and Descriptional Complexity. 361-372
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/LingasS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/LingasS12
Andrzej Lingas, Dzmitry Sledneu:
A Combinatorial Algorithm for All-Pairs Shortest Paths in Directed Vertex-Weighted Graphs with Applications to Disc Graphs. 373-384
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/NearyW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/NearyW12
Turlough Neary, Damien Woods:
The Complexity of Small Universal Turing Machines: A Survey. 385-405
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/SimaZ12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/SimaZ12
Jirí Síma, Stanislav Zák:
A Sufficient Condition for Sets Hitting the Class of Read-Once Branching Programs of Width 3 - (Extended Abstract). 406-418
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Yan12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Yan12
Jun Yan:
Complete Problem for Perfect Zero-Knowledge Quantum Proof. 419-430
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/ZhangP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/ZhangP12
Chenyi Zhang, Jun Pang:
An Algorithm for Probabilistic Alternating Simulation. 431-442
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/CernyPJMD12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/CernyPJMD12
Tomás Cerný, Petr Praus, Slávka Jaromerská, Lubos Matl, Michael J. Donahoo:
Towards a Smart, Self-scaling Cooperative Web Cache. 443-455
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/JacalaT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/JacalaT12
Martin Jacala, Jozef Tvarozek:
Named Entity Disambiguation Based on Explicit Semantics. 456-466
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/KajsaN12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/KajsaN12
Peter Kajsa, Pavol Návrat:
Design Pattern Support Based on the Source Code Annotations and Feature Models. 467-478
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/KaliappanK12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/KaliappanK12
Prabhu Shankar Kaliappan, Hartmut König:
On the Formalization of UML Activities for Component-Based Protocol Design Specifications. 479-491
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/KalninaKSCI12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/KalninaKSCI12
Elina Kalnina, Audris Kalnins, Agris Sostaks, Edgars Celms, Janis Iraids:
Tree Based Domain-Specific Mapping Languages. 492-504
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/KobusW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/KobusW12
Tadeusz Kobus, Pawel T. Wojciechowski:
RESTGroups for Resilient Web Services. 505-517
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/MajerS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/MajerS12
Tomás Majer, Marián Simko:
Leveraging Microblogs for Resource Ranking. 518-529
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/SkrabalekKP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/SkrabalekKP12
Jaroslav Skrabalek, Petr Kunc, Tomás Pitner:
Inner Architecture of a Social Networking System. 530-541
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/VanoverbergheHTP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/VanoverbergheHTP12
Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens:
State Coverage: Software Validation Metrics beyond Code Coverage. 542-553
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/BenesCS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/BenesCS12
Nikola Benes, Ivana Cerná, Filip Stefanak:
Factorization for Component-Interaction Automata. 554-565
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/KutylowskiG12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/KutylowskiG12
Miroslaw Kutylowski, Maciej Gebala:
Optimizing Segment Based Document Protection. 566-575
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/PettaiL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/PettaiL12
Martin Pettai, Peeter Laud:
Securing the Future - An Information Flow Analysis of a Distributed OO Language. 576-587
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/StolarekL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/StolarekL12
Jan Stolarek, Piotr Lipinski:
Improving Watermark Resistance against Removal Attacks Using Orthogonal Wavelet Adaptation. 588-599
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/BartakSS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/BartakSS12
Roman Barták, Con Sheahan, Ann Sheahan:
MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises. 600-611
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/BordeauxM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/BordeauxM12
Lucas Bordeaux, João Marques-Silva:
Knowledge Compilation with Empowerment. 612-624
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/IsaRS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/IsaRS12
Jirí Isa, Zuzana Reitermanová, Ondrej Sýkora:
Cost-Sensitive Classification with Unconstrained Influence Diagrams. 625-636
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/JarusekP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/JarusekP12
Petr Jarusek, Radek Pelánek:
Modeling and Predicting Students Problem Solving Times. 637-648
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/MandziukS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/MandziukS12
Jacek Mandziuk, Maciej Swiechowski:
Generic Heuristic Approach to General Game Playing. 649-660
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/NicaW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/NicaW12
Iulia Nica, Franz Wotawa:
The SiMoL Modeling Language for Simulation and (Re-)Configuration. 661-672

maintained by

, founded at