Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/netys/netys2021.bht:"
download as .bib file
@inproceedings{DBLP:conf/netys/AbeggBN21,
author = {Jean{-}Philippe Abegg and
Quentin Bramas and
Thomas No{\"{e}}l},
editor = {Karima Echihabi and
Roland Meyer},
title = {Blockchain Using Proof-of-Interaction},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {129--143},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_9},
doi = {10.1007/978-3-030-91014-3\_9},
timestamp = {Fri, 03 Dec 2021 17:36:17 +0100},
biburl = {https://dblp.org/rec/conf/netys/AbeggBN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AbidBK21,
author = {Imane El Abid and
Yahya Benkaouz and
Ahmed Khoumsi},
editor = {Karima Echihabi and
Roland Meyer},
title = {LighTx: {A} Lightweight Proof-of-Bandwidth Transactions Transfer System},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {144--160},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_10},
doi = {10.1007/978-3-030-91014-3\_10},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/AbidBK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BayramzadehKMS21,
author = {Zahra Bayramzadeh and
Ajay D. Kshemkalyani and
Anisur Rahaman Molla and
Gokarna Sharma},
editor = {Karima Echihabi and
Roland Meyer},
title = {Weak Amnesiac Flooding of Multiple Messages},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {88--94},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_6},
doi = {10.1007/978-3-030-91014-3\_6},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/BayramzadehKMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Bramas21,
author = {Quentin Bramas},
editor = {Karima Echihabi and
Roland Meyer},
title = {Efficient and Secure {TSA} for the Tangle},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {161--166},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_11},
doi = {10.1007/978-3-030-91014-3\_11},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Bramas21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChiniF21,
author = {Peter Chini and
Florian Furbach},
editor = {Karima Echihabi and
Roland Meyer},
title = {Petri Net Invariant Synthesis},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {187--205},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_13},
doi = {10.1007/978-3-030-91014-3\_13},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/ChiniF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DietschHHNP21,
author = {Daniel Dietsch and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
editor = {Karima Echihabi and
Roland Meyer},
title = {Separating Map Variables in a Logic-Based Intermediate Verification
Language},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {169--186},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_12},
doi = {10.1007/978-3-030-91014-3\_12},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DietschHHNP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GeorgiouMRS21,
author = {Chryssis Georgiou and
Ioannis Marcoullis and
Michel Raynal and
Elad Michael Schiller},
editor = {Karima Echihabi and
Roland Meyer},
title = {Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free
Message-Passing Systems},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {36--53},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_3},
doi = {10.1007/978-3-030-91014-3\_3},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/GeorgiouMRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HavlenaLS21,
author = {Vojtech Havlena and
Ondrej Leng{\'{a}}l and
Barbora Smahl{\'{\i}}kov{\'{a}}},
editor = {Karima Echihabi and
Roland Meyer},
title = {Deciding {S1S:} Down the Rabbit Hole and Through the Looking Glass},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {215--222},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_15},
doi = {10.1007/978-3-030-91014-3\_15},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/HavlenaLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HruskaH21,
author = {Martin Hruska and
Luk{\'{a}}s Hol{\'{\i}}k},
editor = {Karima Echihabi and
Roland Meyer},
title = {Towards Efficient Shape Analysis with Tree Automata},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {206--214},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_14},
doi = {10.1007/978-3-030-91014-3\_14},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/HruskaH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/KarlosFF21,
author = {Georgios Karlos and
Wan J. Fokkink and
Per Fuchs},
editor = {Karima Echihabi and
Roland Meyer},
title = {Fault-Tolerant Termination Detection with Safra's Algorithm},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {71--87},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_5},
doi = {10.1007/978-3-030-91014-3\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/KarlosFF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Kokologiannakis21,
author = {Michalis Kokologiannakis and
Viktor Vafeiadis},
editor = {Karima Echihabi and
Roland Meyer},
title = {{BAM:} Efficient Model Checking for Barriers},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {223--239},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_16},
doi = {10.1007/978-3-030-91014-3\_16},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Kokologiannakis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/LopezRRV21,
author = {Carlos L{\'{o}}pez and
Sergio Rajsbaum and
Michel Raynal and
Karla Vargas},
editor = {Karima Echihabi and
Roland Meyer},
title = {Leader Election in Arbitrarily Connected Networks with Process Crashes
and Weak Channel Reliability},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {54--70},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_4},
doi = {10.1007/978-3-030-91014-3\_4},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/LopezRRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/OberhauserOPBFV21,
author = {Jonas Oberhauser and
Lilith Oberhauser and
Antonio Paolillo and
Diogo Behrens and
Ming Fu and
Viktor Vafeiadis},
editor = {Karima Echihabi and
Roland Meyer},
title = {Verifying and Optimizing the {HMCS} Lock for Arm Servers},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {240--260},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_17},
doi = {10.1007/978-3-030-91014-3\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/OberhauserOPBFV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/OglioHSN21,
author = {Joseph Oglio and
Kendric Hood and
Gokarna Sharma and
Mikhail Nesterenko},
editor = {Karima Echihabi and
Roland Meyer},
title = {Byzantine Geoconsensus},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {19--35},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_2},
doi = {10.1007/978-3-030-91014-3\_2},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/OglioHSN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/PiletFT21,
author = {Amaury Bouchra Pilet and
Davide Frey and
Fran{\c{c}}ois Ta{\"{\i}}ani},
editor = {Karima Echihabi and
Roland Meyer},
title = {{AUCCCR:} Agent Utility Centered Clustering for Cooperation Recommendation},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {111--125},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_8},
doi = {10.1007/978-3-030-91014-3\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/PiletFT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RauchBDLL21,
author = {Arthur Rauch and
Quentin Bramas and
St{\'{e}}phane Devismes and
Pascal Lafourcade and
Anissa Lamani},
editor = {Karima Echihabi and
Roland Meyer},
title = {Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots
Without Common Chirality},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {95--110},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_7},
doi = {10.1007/978-3-030-91014-3\_7},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/RauchBDLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/YanakievaYRB21,
author = {Elena Yanakieva and
Michael Youssef and
Ahmad Hussein Rezae and
Annette Bieniusa},
editor = {Karima Echihabi and
Roland Meyer},
title = {On the Impossibility of Confidentiality, Integrity and Accessibility
in Highly-Available File Systems},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {3--18},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_1},
doi = {10.1007/978-3-030-91014-3\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/YanakievaYRB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2021,
editor = {Karima Echihabi and
Roland Meyer},
title = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3},
doi = {10.1007/978-3-030-91014-3},
isbn = {978-3-030-91013-6},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-07-24 08:55 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
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:
