| 2016 | A Combinatorial Model of Two-Sided Search. Harout K. Aydinian, Ferdinando Cicalese, Christian Deppe, Vladimir S. Lebedev |
| 2016 | A Natural Counting of Lambda Terms. Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc |
| 2016 | A PTAS for Scheduling Unrelated Machines of Few Different Types. Jan Clemens Gehrke, Klaus Jansen, Stefan Erich Julius Kraft, Jakob Schikowski |
| 2016 | ABS: A High-Level Modeling Language for Cloud-Aware Programming. Nikolaos Bezirgiannis, Frank S. de Boer |
| 2016 | Application of Multiple Sound Representations in Multipitch Estimation Using Shift-Invariant Probabilistic Latent Component Analysis. Krzysztof Rychlicki-Kicior, Bartlomiej Stasiak, Mykhaylo Yatsymirskyy |
| 2016 | Aspect, Rich, and Anemic Domain Models in Enterprise Information Systems. Karel Cemus, Tomás Cerný, Lubos Matl, Michael J. Donahoo |
| 2016 | Big Sequence Management: A glimpse of the Past, the Present, and the Future. Themis Palpanas |
| 2016 | Bounded TSO-to-SC Linearizability Is Decidable. Chao Wang, Yi Lv, Peng Wu |
| 2016 | Capabilities of Ultrametric Automata with One, Two, and Three States. Maksims Dimitrijevs |
| 2016 | Compacting a Dynamic Edit Distance Table by RLE Compression. Heikki Hyyrö, Shunsuke Inenaga |
| 2016 | Cryptography in a Quantum World. Gilles Brassard |
| 2016 | Effective Parallel Multicore-Optimized K-mers Counting Algorithm. Tomás Farkas, Peter Kubán, Mária Lucká |
| 2016 | Evaluation of Static/Dynamic Cache for Similarity Search Engines. Roberto Solar, Veronica Gil-Costa, Mauricio Marín |
| 2016 | Finding Optimal Compatible Set of Software Components Using Integer Linear Programming. Jakub Danek, Premek Brada |
| 2016 | From ESSENCE to Theory Oriented Software Engineering. Sebastian Holtappels, Michael Striewe, Michael Goedicke |
| 2016 | Grover's Search with Faults on Some Marked Elements. Dmitry Kravchenko, Nikolajs Nahimovs, Alexander Rivosh |
| 2016 | How to Smooth Entropy? Maciej Skorski |
| 2016 | Identification of Navigation Lead Candidates Using Citation and Co-Citation Analysis. Róbert Móro, Mate Vangel, Mária Bieliková |
| 2016 | Improving Keyword Extraction from Movie Subtitles by Utilizing Temporal Properties. Matús Kosút, Marián Simko |
| 2016 | Incremental Queries and Transformations: From Concepts to Industrial Applications. Dániel Varró |
| 2016 | L-Drawings of Directed Graphs. Patrizio Angelini, Giordano Da Lozzo, Marco Di Bartolomeo, Valentino Di Donato, Maurizio Patrignani, Vincenzo Roselli, Ioannis G. Tollis |
| 2016 | Learning Automatic Families of Languages. Sanjay Jain, Frank Stephan |
| 2016 | Meta-Evolution Style for Software Architecture Evolution. Adel Hassan, Mourad Oussalah |
| 2016 | On Contact Graphs with Cubes and Proportional Boxes. Muhammad Jawaherul Alam, Michael Kaufmann, Stephen G. Kobourov |
| 2016 | On Parity Game Preorders and the Logic of Matching Plays. Maciej Gazda, Tim A. C. Willemse |
| 2016 | On the Effects of Nondeterminism on Ordered Restarting Automata. Kent Kwee, Friedrich Otto |
| 2016 | On the Power of Laconic Advice in Communication Complexity. Kfir Barhum, Juraj Hromkovic |
| 2016 | Online Graph Coloring with Advice and Randomized Adversary - (Extended Abstract). Elisabet Burjons, Juraj Hromkovic, Xavier Muñoz, Walter Unger |
| 2016 | Online Minimum Spanning Tree with Advice - (Extended Abstract). Maria Paola Bianchi, Hans-Joachim Böckenhauer, Tatjana Brülisauer, Dennis Komm, Beatrice Palano |
| 2016 | Orthogonal Layout with Optimal Face Complexity. Muhammad Jawaherul Alam, Stephen G. Kobourov, Debajyoti Mondal |
| 2016 | Pay-as-you-go Data Integration: Experiences and Recurring Themes. Norman W. Paton, Khalid Belhajjame, Suzanne M. Embury, Alvaro A. A. Fernandes, Ruhaila Maskat |
| 2016 | Post-processing Association Rules: A Network Based Label Propagation Approach. Renan de Padua, Veronica Oliveira de Carvalho, Solange Oliveira Rezende |
| 2016 | Precedence Scheduling with Unit Execution Time is Equivalent to Parametrized Biclique. Klaus Jansen, Felix Land, Maren Kaluza |
| 2016 | Probabilistic Autoreductions. Liyu Zhang, Chen Yuan, Haibin Kan |
| 2016 | Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams. Tom Sebastian, Joachim Niehren |
| 2016 | Pseudoknot-Generating Operation. Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa |
| 2016 | Quantum Walks on Two-Dimensional Grids with Multiple Marked Locations. Nikolajs Nahimovs, Alexander Rivosh |
| 2016 | Reachability Problems for PAMs. Oleksiy Kurganskyy, Igor Potapov |
| 2016 | Relating Sublinear Space Computability Among Graph Connectivity and Related Problems. Tatsuya Imai, Osamu Watanabe |
| 2016 | Robust Recoverable Path Using Backup Nodes. Marjan van den Akker, Hans L. Bodlaender, Thomas C. van Dijk, Han Hoogeveen, Erik van Ommeren |
| 2016 | Run-Time Checking Multi-threaded Java Programs. Frank S. de Boer, Stijn de Gouw |
| 2016 | 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 Rusins Martins Freivalds, Gregor Engels, Barbara Catania |
| 2016 | Solving the Problem of Selecting Suitable Objective Measures by Clustering Association Rules Through the Measures Themselves. Veronica Oliveira de Carvalho, Renan de Padua, Solange Oliveira Rezende |
| 2016 | Subsequence Automata with Default Transitions. Philip Bille, Inge Li Gørtz, Frederik Rye Skjoldjensen |
| 2016 | Summarizing Online User Reviews Using Bicliques. Azam Sheikh Muhammad, Peter Damaschke, Olof Mogren |
| 2016 | Survey on Concern Separation in Service Integration. Tomás Cerný, Michael J. Donahoo |
| 2016 | The Complexity of Paging Against a Probabilistic Adversary. Stefan Dobrev, Juraj Hromkovic, Dennis Komm, Richard Královic, Rastislav Královic, Tobias Mömke |
| 2016 | The Simulation Relation for Formal E-Contracts. Luis Llana, María-Emilia Cambronero, Gregorio Díaz |
| 2016 | Using Attribute Grammars to Model Nested Workflows with Extra Constraints. Roman Barták |
| 2016 | Utilizing Vector Models for Automatic Text Lemmatization. Ladislav Gallay, Marián Simko |
| 2016 | Walking Automata in Free Inverse Monoids. David Janin |