default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th NETYS 2021: Virtual Event
- Karima Echihabi
, Roland Meyer:
Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings. Lecture Notes in Computer Science 12754, Springer 2021, ISBN 978-3-030-91013-6
Distributed Systems
- Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa:
On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems. 3-18 - Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko:
Byzantine Geoconsensus. 19-35 - Chryssis Georgiou, Ioannis Marcoullis, Michel Raynal, Elad Michael Schiller:
Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing Systems. 36-53 - Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas:
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. 54-70 - Georgios Karlos, Wan J. Fokkink, Per Fuchs:
Fault-Tolerant Termination Detection with Safra's Algorithm. 71-87 - Zahra Bayramzadeh, Ajay D. Kshemkalyani, Anisur Rahaman Molla, Gokarna Sharma:
Weak Amnesiac Flooding of Multiple Messages. 88-94 - Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality. 95-110 - Amaury Bouchra Pilet, Davide Frey, François Taïani:
AUCCCR: Agent Utility Centered Clustering for Cooperation Recommendation. 111-125
Blockchain
- Jean-Philippe Abegg, Quentin Bramas, Thomas Noël:
Blockchain Using Proof-of-Interaction. 129-143 - Imane El Abid, Yahya Benkaouz, Ahmed Khoumsi:
LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer System. 144-160 - Quentin Bramas:
Efficient and Secure TSA for the Tangle. 161-166
Verification
- Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski:
Separating Map Variables in a Logic-Based Intermediate Verification Language. 169-186 - Peter Chini, Florian Furbach:
Petri Net Invariant Synthesis. 187-205 - Martin Hruska, Lukás Holík:
Towards Efficient Shape Analysis with Tree Automata. 206-214 - Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková:
Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. 215-222 - Michalis Kokologiannakis, Viktor Vafeiadis:
BAM: Efficient Model Checking for Barriers. 223-239 - Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis:
Verifying and Optimizing the HMCS Lock for Arm Servers. 240-260
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-20 22:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
