Abstract is missing.
- Dependable and Optimal Cyber-Physical SystemsKim Guldstrand Larsen. 3-10 [doi]
- Verifying Parametric Thread CreationIgor Walukiewicz. 11-14 [doi]
- Network Constructors: A Model for Programmable MatterOthon Michail, Paul G. Spirakis. 15-34 [doi]
- Logical Characterisations and Compositionality of Input-Output Conformance SimulationLuca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. 37-48 [doi]
- A Linear-Time-Branching-Time Spectrum of Behavioral Specification TheoriesUli Fahrenberg, Axel Legay. 49-61 [doi]
- Symbolic Semantics for Multiparty Interactions in the Link-CalculusLinda Brodo, Carlos Olarte. 62-75 [doi]
- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary GraphsEvangelos Kranakis, Danny Krizanc, Euripides Markou, Aris Pagourtzis, Felipe Ramírez. 79-90 [doi]
- Deciding Structural Liveness of Petri NetsPetr Jancar. 91-102 [doi]
- Distributed Network Generation Based on Preferential Attachment in ABSKeyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer. 103-115 [doi]
- Completeness of Hoare Logic Relative to the Standard ModelZhaowei Xu, Wenhui Zhang, Yuefei Sui. 119-131 [doi]
- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric ConflictEike Best, Nataliya S. Gribovskaya, Irina Virbitskaite. 132-146 [doi]
- Hardness of Deriving Invertible Sequences from Finite State MachinesRobert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker. 147-160 [doi]
- A Graph-Theoretical Characterisation of State SeparationEike Best, Raymond R. Devillers, Uli Schlachter. 163-175 [doi]
- Selfish Transportation GamesDimitris Fotakis, Laurent Gourvès, Jérôme Monnot. 176-187 [doi]
- Decomposable Relaxation for Concurrent Data StructuresChao Wang, Yi Lv, Peng Wu 0002. 188-202 [doi]
- Sufficient Conditions for a Connected Graph to Have a Hamiltonian PathBenjamin Momège. 205-216 [doi]
- Enumerating Minimal Tropical Connected SetsDieter Kratsch, Mathieu Liedloff, Mohamed Yosri Sayadi. 217-228 [doi]
- Bamboo Garden Trimming Problem (Perpetual Maintenance of Machines with Different Attendance Urgency Factors)Leszek Gasieniec, Ralf Klasing, Christos Levcopoulos, Andrzej Lingas, Jie Min, Tomasz Radzik. 229-240 [doi]
- Exact Quantum Query Complexity of \text EXACT_k, l^nAndris Ambainis, Janis Iraids, Daniel Nagaj. 243-255 [doi]
- Adjacent Vertices Can Be Hard to Find by Quantum WalksNikolajs Nahimovs, Raqueline A. M. Santos. 256-267 [doi]
- Matrix Semigroup Freeness Problems in SL (2, \mathbb Z)Sang-Ki Ko, Igor Potapov. 268-279 [doi]
- Order-Preserving 1-String Representations of Planar GraphsTherese C. Biedl, Martin Derka. 283-294 [doi]
- How to Draw a PlanarizationThomas Bläsius, Marcel Radermacher, Ignaz Rutter. 295-308 [doi]
- Finding Largest Common Substructures of Molecules in Quadratic TimeAndre Droschinsky, Nils Kriege, Petra Mutzel. 309-321 [doi]
- Lower Bounds for On-line Interval Coloring with Vector and Cardinality ConstraintsGrzegorz Gutowski, Patryk Mikos. 325-335 [doi]
- Parameterized and Exact Algorithms for Class Domination ColoringR. Krithika, Ashutosh Rai 0001, Saket Saurabh, Prafullkumar Tale. 336-349 [doi]
- The Approximability of Partial Vertex Covers in TreesVahan Mkrtchyan, Ojas Parekh, Danny Segev, K. Subramani. 350-360 [doi]
- Longest Common Subsequence in at Least k Length Order-Isomorphic SubstringsYohei Ueki, Diptarama, Masatoshi Kurihara, Yoshiaki Matsuoka, Kazuyuki Narisawa, Ryo Yoshinaka, Hideo Bannai, Shunsuke Inenaga, Ayumi Shinohara. 363-374 [doi]
- Computing Longest Single-arm-gapped Palindromes in a StringShintaro Narisada, Diptarama, Kazuyuki Narisawa, Shunsuke Inenaga, Ayumi Shinohara. 375-386 [doi]
- Edit-Distance Between Visibly Pushdown LanguagesYo-Sub Han, Sang-Ki Ko. 387-401 [doi]
- Model-Driven Development in Practice: From Requirements to CodeOscar Pastor. 405-410 [doi]
- Webpage Menu Detection Based on DOMJulián Alarte, David Insa, Josep Silva. 411-422 [doi]
- A Hybrid Model for Linking Multiple Social Identities Across Heterogeneous Online Social NetworksAthanasios Kokkos, Theodoros Tzouramanis, Yannis Manolopoulos. 423-435 [doi]
- Eco-Data Warehouse Design Through Logical VariabilitySelma Bouarar, Ladjel Bellatreche, Amine Roukh. 436-449 [doi]
- On Featured Transition SystemsAxel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans. 453-463 [doi]
- Domain-Specific Languages: A Systematic Mapping StudyMarjan Mernik. 464-472 [doi]
- Characterising Malicious Software with High-Level Behavioural PatternsJana St'astná, Martin Tomasek. 473-484 [doi]
- AErlang at WorkRocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani. 485-497 [doi]
- Software System Migration to Cloud-Native Architectures for SME-Sized Software VendorsFrank Fowley, Divyaa Manimaran Elango, Hany Magar, Claus Pahl. 498-509 [doi]
- Using n-grams for the Automated Clustering of Structural ModelsÖnder Babur, Loek Cleophas. 510-524 [doi]