Abstract is missing.
- On Network Topologies and the Decidability of Reachability ProblemC. Aiswarya. 3-10 [doi]
- Hide Me: Enabling Location Privacy in Heterogeneous Vehicular NetworksTobias Meuser, Oluwasegun Taiwo Ojo, Daniel Bischoff 0001, Antonio Fernández Anta, Ioannis Stavrakakis, Ralf Steinmetz. 11-27 [doi]
- Blockchains and the CommonsMaria Potop-Butucaru. 28-44 [doi]
- On the State Reachability Problem for Concurrent Programs Under PowerParosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer 0001. 47-59 [doi]
- On the Encoding and Solving of Partial Information GamesYackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil. 60-76 [doi]
- Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional MemoryParwat Singh Anjana, Hagit Attiya, Sweta Kumari, Sathya Peri, Archit Somani. 77-93 [doi]
- Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic ExecutionBoutheina Bannour, Arnault Lapitre, Pascale Le Gall. 94-111 [doi]
- Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine FaultsSilvia Bonomi, Giovanni Farina, Sébastien Tixeuil. 112-128 [doi]
- Infinite Grid Exploration by Disoriented RobotsQuentin Bramas, Stéphane Devismes, Pascal Lafourcade 0001. 129-145 [doi]
- Wireless Broadcast with Short LabelsGewu Bu, Maria Potop-Butucaru, Mikaël Rabie. 146-169 [doi]
- The Imitation Game: Algorithm Selection by Exploiting Black-Box RecommendersGeorgios Damaskinos, Rachid Guerraoui, Erwan Le Merrer, Christoph Neumann. 170-182 [doi]
- Byzantine k-Set AgreementCarole Delporte-Gallet, Hugues Fauconnier, Mouna Safir. 183-191 [doi]
- Fissile LocksDave Dice, Alex Kogan. 192-208 [doi]
- Verifying Safety of Parameterized Heard-Of AlgorithmsZeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng. 209-226 [doi]
- Staleness and Local Progress in Transactional MemoryHagit Attiya, Panagiota Fatourou, Sandeep Hans, Eleni Kanellou. 227-243 [doi]
- Generic Framework for Optimization of Local Dissemination in Wireless NetworksDariusz R. Kowalski, Miguel A. Mosteiro, Krutika Wadhwa. 244-260 [doi]
- Verifying Weakly Consistent Transactional Programs Using Symbolic ExecutionBurcu Kulahcioglu Ozkan. 261-278 [doi]
- NetSheriff: Sheltering Software-Defined Networks from Rogue SwitchesPaolo Laffranchini, João Miranda, Nuno Machado, Luís Rodrigues, Etienne Rivière, Ramin Sadre. 279-295 [doi]
- Self-stabilizing Uniform Reliable BroadcastOskar Lundström, Michel Raynal, Elad Michael Schiller. 296-313 [doi]
- Fully Anonymous Consensus and Set Agreement AlgorithmsMichel Raynal, Gadi Taubenfeld. 314-328 [doi]
- Cutoffs for Symmetric Point-to-Point Distributed AlgorithmsThanh-Hai Tran, Igor Konnov 0001, Josef Widder. 329-346 [doi]
- Stateless Distributed LedgersFrançois Bonnet 0001, Quentin Bramas, Xavier Défago. 349-354 [doi]
- Stability Under Adversarial Injection of Dependent Tasks (Extended Abstract)Vicent Cholvi, Juan Echagüe, Antonio Fernández Anta, Christopher Thraves Caro. 355-360 [doi]
- Collaborative Filtering: Comparative Study Between Matrix Factorization and Neural Network MethodDriss El Alaoui, Jamal Riffi, Badraddine Aghoutane, Abdelouahed Sabri, Ali Yahyaouy, Hamid Tairi. 361-367 [doi]
- Routing in Generalized Geometric Inhomogeneous Random Graphs - (Extended Abstract)Andrés Sevilla, Antonio Fernández Anta. 368-373 [doi]