default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID42. SOFSEM 2016: Harrachov, Czech Republic
- Rusins Martins Freivalds, Gregor Engels, Barbara Catania:
SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. Lecture Notes in Computer Science 9587, Springer 2016, ISBN 978-3-662-49191-1
Foundations of Computer Science (Invited Talks)
- Gilles Brassard:
Cryptography in a Quantum World. 3-16 - Tatsuya Imai, Osamu Watanabe
:
Relating Sublinear Space Computability Among Graph Connectivity and Related Problems. 17-28 - Sanjay Jain, Frank Stephan:
Learning Automatic Families of Languages. 29-40
Software Engineering: Methods, Tools, Applications (Invited Talks)
- Sebastian Holtappels, Michael Striewe, Michael Goedicke:
From ESSENCE to Theory Oriented Software Engineering. 43-50 - Dániel Varró:
Incremental Queries and Transformations: From Concepts to Industrial Applications. 51-59
Data, Information, and Knowledge Engineering (Invited Talks)
- Themis Palpanas:
Big Sequence Management: A glimpse of the Past, the Present, and the Future. 63-80 - Norman W. Paton, Khalid Belhajjame, Suzanne M. Embury, Alvaro A. A. Fernandes, Ruhaila Maskat:
Pay-as-you-go Data Integration: Experiences and Recurring Themes. 81-92
Foundations of Computer Science (Regular Papers)
- Marjan van den Akker, Hans L. Bodlaender, Thomas C. van Dijk, Han Hoogeveen, Erik van Ommeren:
Robust Recoverable Path Using Backup Nodes. 95-106 - Muhammad Jawaherul Alam, Michael Kaufmann, Stephen G. Kobourov:
On Contact Graphs with Cubes and Proportional Boxes. 107-120 - Muhammad Jawaherul Alam, Stephen G. Kobourov, Debajyoti Mondal:
Orthogonal Layout with Optimal Face Complexity. 121-133 - Patrizio Angelini, Giordano Da Lozzo, Marco Di Bartolomeo, Valentino Di Donato, Maurizio Patrignani, Vincenzo Roselli, Ioannis G. Tollis:
L-Drawings of Directed Graphs. 134-147 - Harout K. Aydinian, Ferdinando Cicalese, Christian Deppe, Vladimir S. Lebedev:
A Combinatorial Model of Two-Sided Search. 148-160 - Kfir Barhum, Juraj Hromkovic:
On the Power of Laconic Advice in Communication Complexity. 161-170 - Roman Barták:
Using Attribute Grammars to Model Nested Workflows with Extra Constraints. 171-182 - Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc:
A Natural Counting of Lambda Terms. 183-194 - Maria Paola Bianchi, Hans-Joachim Böckenhauer, Tatjana Brülisauer, Dennis Komm, Beatrice Palano:
Online Minimum Spanning Tree with Advice - (Extended Abstract). 195-207 - Philip Bille, Inge Li Gørtz, Frederik Rye Skjoldjensen:
Subsequence Automata with Default Transitions. 208-216 - Frank S. de Boer, Stijn de Gouw:
Run-Time Checking Multi-threaded Java Programs. 217-228 - Elisabet Burjons, Juraj Hromkovic, Xavier Muñoz, Walter Unger:
Online Graph Coloring with Advice and Randomized Adversary - (Extended Abstract). 229-240 - Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa:
Pseudoknot-Generating Operation. 241-252 - Maksims Dimitrijevs:
Capabilities of Ultrametric Automata with One, Two, and Three States. 253-264 - Stefan Dobrev, Juraj Hromkovic, Dennis Komm, Richard Královic, Rastislav Královic, Tobias Mömke:
The Complexity of Paging Against a Probabilistic Adversary. 265-276 - Maciej Gazda, Tim A. C. Willemse:
On Parity Game Preorders and the Logic of Matching Plays. 277-289 - Jan Clemens Gehrke, Klaus Jansen, Stefan Erich Julius Kraft, Jakob Schikowski:
A PTAS for Scheduling Unrelated Machines of Few Different Types. 290-301 - Heikki Hyyrö, Shunsuke Inenaga:
Compacting a Dynamic Edit Distance Table by RLE Compression. 302-313 - David Janin:
Walking Automata in Free Inverse Monoids. 314-328 - Klaus Jansen, Felix Land, Maren Kaluza:
Precedence Scheduling with Unit Execution Time is Equivalent to Parametrized Biclique. 329-343 - Dmitry Kravchenko, Nikolajs Nahimovs, Alexander Rivosh:
Grover's Search with Faults on Some Marked Elements. 344-355 - Oleksiy Kurganskyy, Igor Potapov:
Reachability Problems for PAMs. 356-368 - Kent Kwee, Friedrich Otto:
On the Effects of Nondeterminism on Ordered Restarting Automata. 369-380 - Nikolajs Nahimovs, Alexander Rivosh:
Quantum Walks on Two-Dimensional Grids with Multiple Marked Locations. 381-391 - Maciej Skorski:
How to Smooth Entropy? 392-403 - Chao Wang, Yi Lv, Peng Wu:
Bounded TSO-to-SC Linearizability Is Decidable. 404-417 - Liyu Zhang, Chen Yuan, Haibin Kan:
Probabilistic Autoreductions. 418-429
Software Engineering: Methods, Tools, Applications (Regular Papers)
- Nikolaos Bezirgiannis, Frank S. de Boer:
ABS: A High-Level Modeling Language for Cloud-Aware Programming. 433-444 - Karel Cemus, Tomás Cerný, Lubos Matl, Michael J. Donahoo:
Aspect, Rich, and Anemic Domain Models in Enterprise Information Systems. 445-456 - Jakub Danek, Premek Brada:
Finding Optimal Compatible Set of Software Components Using Integer Linear Programming. 457-468 - Tomás Farkas, Peter Kubán, Mária Lucká:
Effective Parallel Multicore-Optimized K-mers Counting Algorithm. 469-477 - Adel Hassan, Mourad Oussalah:
Meta-Evolution Style for Software Architecture Evolution. 478-489 - Luis Llana, María-Emilia Cambronero, Gregorio Díaz:
The Simulation Relation for Formal E-Contracts. 490-502
Data, Information, and Knowledge Engineering (Regular Papers)
- Veronica Oliveira de Carvalho, Renan de Padua, Solange Oliveira Rezende:
Solving the Problem of Selecting Suitable Objective Measures by Clustering Association Rules Through the Measures Themselves. 505-517 - Tomás Cerný, Michael J. Donahoo:
Survey on Concern Separation in Service Integration. 518-531 - Ladislav Gallay, Marián Simko:
Utilizing Vector Models for Automatic Text Lemmatization. 532-543 - Matús Kosút, Marián Simko:
Improving Keyword Extraction from Movie Subtitles by Utilizing Temporal Properties. 544-555 - Róbert Móro, Mate Vangel, Mária Bieliková:
Identification of Navigation Lead Candidates Using Citation and Co-Citation Analysis. 556-568 - Azam Sheikh Muhammad, Peter Damaschke, Olof Mogren:
Summarizing Online User Reviews Using Bicliques. 569-579 - Renan de Padua, Veronica Oliveira de Carvalho, Solange Oliveira Rezende:
Post-processing Association Rules: A Network Based Label Propagation Approach. 580-591 - Krzysztof Rychlicki-Kicior, Bartlomiej Stasiak, Mykhaylo Yatsymirskyy:
Application of Multiple Sound Representations in Multipitch Estimation Using Shift-Invariant Probabilistic Latent Component Analysis. 592-601 - Tom Sebastian, Joachim Niehren:
Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams. 602-614 - Roberto Solar, Veronica Gil-Costa, Mauricio Marín:
Evaluation of Static/Dynamic Cache for Similarity Search Engines. 615-627
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-11-22 19:47 CET 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:
