| 2017 | Logical Characterisations and Compositionality of Input-Output Conformance Simulation. | Luca Aceto, Ignacio Fbregas, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2016 | Probabilistic Autoreductions. | Liyu Zhang, Chen Yuan, Haibin Kan |
| 2016 | Bounded TSO-to-SC Linearizability Is Decidable. | Chao Wang, Yi Lv, Peng Wu |
| 2016 | Incremental Queries and Transformations: From Concepts to Industrial Applications. | Dniel Varr |
| 2016 | A Fast Order-Preserving Matching with q-neighborhood Filtration Using SIMD Instructions. | Yohei Ueki, Kazuyuki Narisawa, Ayumi Shinohara |
| 2016 | Evaluation of Static/Dynamic Cache for Similarity Search Engines. | Roberto Solar, Veronica Gil-Costa, Mauricio Marn |
| 2016 | How to Smooth Entropy? | Maciej Skorski |
| 2016 | Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams. | Tom Sebastian, Joachim Niehren |
| 2016 | Application of Multiple Sound Representations in Multipitch Estimation Using Shift-Invariant Probabilistic Latent Component Analysis. | Krzysztof Rychlicki-Kicior, Bartlomiej Stasiak, Mykhaylo Yatsymirskyy |
| 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 | Big Sequence Management: A glimpse of the Past, the Present, and the Future. | Themis Palpanas |
| 2016 | Post-processing Association Rules: A Network Based Label Propagation Approach. | Renan de Padua, Veronica Oliveira de Carvalho, Solange Oliveira Rezende |
| 2016 | Comparative Study of Performance for 804.15.4 ZigBee and 6LoWPAN Protocols. | O. A. Gracia Osorio, Brayan S. Reyes Daza, Octavio J. Salcedo Parra |
| 2016 | Quantum Walks on Two-Dimensional Grids with Multiple Marked Locations. | Nikolajs Nahimovs, Alexander Rivosh |
| 2016 | Summarizing Online User Reviews Using Bicliques. | Azam Sheikh Muhammad, Peter Damaschke, Olof Mogren |
| 2016 | Identification of Navigation Lead Candidates Using Citation and Co-Citation Analysis. | Rbert Mro, Mate Vangel, Mria Bielikov |
| 2016 | LQD is 1.5-competitive for 3-port Shared-Memory Switches. | Nicolaos Matsakis |
| 2016 | Applications and Benefits of Elliptic Curve Cryptography. | Krists Magons |
| 2016 | The Simulation Relation for Formal E-Contracts. | Luis Llana, Mara-Emilia Cambronero, Gregorio Daz |
| 2016 | On the Effects of Nondeterminism on Ordered Restarting Automata. | Kent Kwee, Friedrich Otto |
| 2016 | Reachability Problems for PAMs. | Oleksiy Kurganskyy, Igor Potapov |
| 2016 | Grover's Search with Faults on Some Marked Elements. | Dmitry Kravchenko, Nikolajs Nahimovs, Alexander Rivosh |
| 2016 | Improving Keyword Extraction from Movie Subtitles by Utilizing Temporal Properties. | Mats Kost, Marin Simko |
| 2016 | Grids of Finite Automata. | Karlis Jerins |
| 2016 | Precedence Scheduling with Unit Execution Time is Equivalent to Parametrized Biclique. | Klaus Jansen, Felix Land, Maren Kaluza |