Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID41. SOFSEM 2015: Pec pod Sněžkou, Czech Republic
- Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer, Roman Spanek, Martin Rimnac:
Proceedings of Student Research Forum Papers and Posters at SOFSEM 2015, the 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015) , Pec pod Snezkou, Czech Republic, January 24-29, 2015. CEUR Workshop Proceedings 1326, CEUR-WS.org 2015 - Valdis Adamsons, Karlis Jerins, Rihards Krislauks, Marta Lapina, Andris Pakulis, Rusins Freivalds:
Advantages of Ultrametric Counter Automata. 1-12 - Maksims Dimitrijevs, Irina Scegulnaja:
Ultrametric Automata with One Head Versus Multihead Nondeterministic Automata. 13-19 - Michal Forisek, Jakub Jancina:
Fast Primality Testing for Integers That Fit into a Machine Word. 20-30 - Tesshu Hanaka, Hirotaka Ono:
A Fixed-Parameter Algorithm for Max Edge Domination. 31-40 - Takashi Katsura, Yuhei Otomo, Kazuyuki Narisawa, Ayumi Shinohara:
Position Heaps for Permuted Pattern Matching on Multi-Track String. 41-53 - Azadeh Alebrahim:
Performance Analysis Patterns for Requirements Analysis. 54-66 - Maciej Skorski
:
An Improved Transformation between HILL and Metric Conditional Pseudoentropy. 67-77 - Maciej Skorski:
Indistinguishability and Unpredictability Hardcore Lemmas: New Proofs with Applications to Pseudoentropy. 78-89 - Maciej Skorski:
Metric Pseudoentropy: Characterizations and Applications. 90-102
Posters
- Lukás Aron, Petr Hanácek:
Introduction to Android 5 Security. 103-111 - Ilir Çapuni, Anisa Halimi, Dorjan Hitaj:
Towards Indestructible Molecular Robots. 112-119 - Kristine Cipola, Andris Pakulis, Rusins Freivalds:
Experiments in Complexity of Probabilistic and Ultrametric Automata. 120-123 - George Feuerlicht, Vladimír Kovár, David Hartman, Marek Beránek, Pavel Bory:
Measuring Complexity of Domain Standard Specifications Using XML Schema Entropy. 124-131 - Antti Kuusisto:
Team Semantics and Recursive Enumerability. 132-139 - Anete Lace, Muntis Rudzitis, Eriks Gopaks, Rusins Freivalds:
Superimposed Codes and Query Algorithms. 140-147 - Ilmars Puzulis, Rusins Freivalds:
Frequency Pushdown Automata. 148-153 - Ondrej Sýkora:
Implementing the Aho-Corasick Automata for Phonetic Search. 154-161
a service of 
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.
last updated on 2024-05-04 23:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
