Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- 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.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 32 matches
- 2012
- Sven Köhler, Volker Turau, Gerhard Mentges:
Self-stabilizing Local k-Placement of Replicas with Minimal Variance. SSS 2012: 16-30 - Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil:
Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback. SSS 2012: 126-132 - Mohammad Alaggan, Sébastien Gambs, Anne-Marie Kermarrec:
BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters. SSS 2012: 202-216 - Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna:
Oblivious Assignment with m Slots. SSS 2012: 187-201 - Johannes Behl, Tobias Distler, Rüdiger Kapitza:
DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments. SSS 2012: 217-231 - Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler:
A Theory of Fault Recovery for Component-Based Models. SSS 2012: 314-328 - François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. SSS 2012: 282-284 - Philipp Brandes, Roger Wattenhofer:
On Finding Better Friends in Social Networks. SSS 2012: 266-278 - John Bridgman, Vijay K. Garg:
All-to-All Gradecast Using Coding with Byzantine Failures. SSS 2012: 285-298 - Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit:
Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems. SSS 2012: 239-252 - António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino:
Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. SSS 2012: 232-235 - Jingshu Chen, Sandeep S. Kulkarni:
Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. SSS 2012: 179-182 - Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore:
Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network. SSS 2012: 46-48 - Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil:
Optimal Grid Exploration by Asynchronous Oblivious Robots. SSS 2012: 64-76 - Shlomi Dolev, Niv Gilboa, Ofer Hermoni:
Brief Announcement: Arbitrators in the Security Infrastructure. SSS 2012: 236-238 - Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller, Shantanu Sharma:
Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks - (Extended Abstract). SSS 2012: 133-147 - Bertrand Ducourthial, Véronique Cherfaoui, Thierry Denoeux:
Self-stabilizing Distributed Data Fusion. SSS 2012: 148-162 - Paola Flocchini, Matthew Kellett, Peter C. Mason, Nicola Santoro:
Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents. SSS 2012: 299-313 - Matthias Függer, Alexander Kößler, Thomas Nowak, Martin Zeiner:
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer. SSS 2012: 90-91 - Tomoko Izumi, Yukiko Yamauchi, Sayaka Kamei:
Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings. SSS 2012: 92-94 - Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi:
Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. SSS 2012: 111-125 - Colette Johnen, Fouzi Mekhaldi:
From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering. SSS 2012: 163-178 - Na Li, Sajal K. Das, Nan Zhang:
Brief Announcement: Detecting Users' Connectivity on Online Social Networks. SSS 2012: 279-281 - Yanhong A. Liu, Scott D. Stoller, Bo Lin:
High-Level Executable Specifications of Distributed Algorithms. SSS 2012: 95-110 - Mahyar R. Malekpour:
Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults. SSS 2012: 43-45 - Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis:
Terminating Population Protocols via Some Minimal Global Knowledge Assumptions. SSS 2012: 77-89 - Can Arda Muftuoglu, Péter Bokor, Neeraj Suri:
Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. SSS 2012: 183-186 - Brahim Neggazi, Mohammed Haddad, Hamamache Kheddouci:
Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles. SSS 2012: 31-42 - Olumuyiwa Oluwasanmi, Jared Saia:
Scalable Byzantine Agreement with a Random Beacon. SSS 2012: 253-265 - Fukuhito Ooshita, Sébastien Tixeuil:
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings. SSS 2012: 49-63
skipping 2 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-25 17:27 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint