• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 26 matches

• 2019
• 
  Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo:
  Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial). NETYS 2019: 3-18
• 
  Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
  Dissecting Tendermint. NETYS 2019: 166-182
• 
  Vidal Attias, Quentin Bramas:
  How to Choose Its Parents in the Tangle. NETYS 2019: 275-280
• 
  Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
  Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. NETYS 2019: 93-109
• 
  Oana Balmau, Rachid Guerraoui, Anne-Marie Kermarrec, Alexandre Maurer, Matej Pavlovic, Willy Zwaenepoel:
  The Fake News Vaccine - A Content-Agnostic System for Preventing Fake News from Becoming Viral. NETYS 2019: 347-364
• 
  Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil:
  Distributed Online Data Aggregation in Dynamic Graphs. NETYS 2019: 365-380
• 
  Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri:
  Achieving Starvation-Freedom in Multi-version Transactional Memory Systems. NETYS 2019: 291-310
• 
  Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang:
  Synthesize Models for Quantitative Analysis Using Automata Learning. NETYS 2019: 75-92
• 
  Zouhair Chiba, Noreddine Abghour, Khalid Moussaid, Amina El Omri, Mohamed Rida:
  An Efficient Network IDS for Cloud Environments Based on a Combination of Deep Learning and an Optimized Self-adaptive Heuristic Search Algorithm. NETYS 2019: 235-249
• 
  Peter Chini, Roland Meyer, Prakash Saivasan:
  Liveness in Broadcast Networks. NETYS 2019: 52-66
• 
  Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier:
  Towards Synthesis of Distributed Algorithms with SMT Solvers. NETYS 2019: 200-216
• 
  Antoine Durand, Emmanuelle Anceaume, Romaric Ludinard:
  StakeCube: Combining Sharding and Proof-of-Stake to Build Fork-Free Secure Permissionless Distributed Ledgers. NETYS 2019: 148-165
• 
  Chryssis Georgiou, Robert Gustafsson, Andreas Lindhé, Elad Michael Schiller:
  Self-stabilization Overhead: A Case Study on Coded Atomic Storage. NETYS 2019: 131-147
• 
  Chryssis Georgiou, Oskar Lundström, Elad Michael Schiller:
  Self-stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems. NETYS 2019: 113-130
• 
  Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld:
  Mutex-Based De-anonymization of an Anonymous Read/Write Memory. NETYS 2019: 311-326
• 
  Maryem Ait El Hadj, Ahmed Khoumsi, Yahya Benkaouz, Mohammed Erradi:
  Efficient Security Policy Management Using Suspicious Rules Through Access Log Analysis. NETYS 2019: 250-266
• 
  Samuel Irving, Sui Chen, Lu Peng, Costas Busch, Maurice Herlihy, Christopher J. Michael:
  CUDA-DTM: Distributed Transactional Memory for GPU Clusters. NETYS 2019: 183-199
• 
  Prasad Jayanti, Anup Joshi:
  Recoverable Mutual Exclusion with Abortability. NETYS 2019: 217-232
• 
  Jabrane Kachaoui, Abdessamad Belangour:
  A Multi-criteria Group Decision Making Method for Big Data Storage Selection. NETYS 2019: 381-386
• 
  Dariusz R. Kowalski, Jaroslaw Mirek:
  On the Complexity of Fault-Tolerant Consensus. NETYS 2019: 19-31
• 
  Achraf Lyazidi, Salma Mouline:
  Formal Verification of UML State Machine Diagrams Using Petri Nets. NETYS 2019: 67-74
• 
  Sathya Peri, Muktikanta Sa, Nandini Singhal:
  A Pragmatic Non-blocking Concurrent Directed Acyclic Graph. NETYS 2019: 327-344
• 
  Mohamed Amine Rguibi, Najem Moussa:
  A Vaccination Game for Mitigation Active Worms Propagation in P2P Networks. NETYS 2019: 267-274
• 
  Meryem Cherkaoui Semmouni, Abderrahmane Nitaj, Mostafa Belkasmi:
  Bitcoin Security with Post Quantum Cryptography. NETYS 2019: 281-288
• 
  Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi:
  Checking Causal Consistency of Distributed Databases. NETYS 2019: 35-51
• 
  Mohamed Faouzi Atig, Alexander A. Schwarzmann:
  Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11704, Springer 2019, ISBN 978-3-030-31276-3 [contents]