The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "NETYS"( http://dblp.L3S.de/Venues/NETYS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/netys

Publication years (Num. hits)
2013 (34) 2014 (28) 2015 (43) 2016 (32) 2017 (35) 2018 (29) 2019 (27) 2020 (25) 2021 (19) 2022 (21) 2023 (13)
Publication types (Num. hits)
inproceedings(295) proceedings(11)
Venues (Conferences, Journals, ...)
NETYS(306)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 306 publication records. Showing 306 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Adri Bhattacharya, Barun Gorain, Partha Sarathi Mandal 0001 Pebble Guided Treasure Hunt in Plane. Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Hicham Bellafkir, Markus Vogelbacher 0001, Daniel Schneider 0011, Markus Mühling, Nikolaus Korfhage, Bernd Freisleben Edge-Based Bird Species Recognition via Active Learning. Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Mouad Bouharoun, Bilal Taghdouti, Mohammed Erradi A Peer to Peer Federated Graph Neural Network for Threat Intelligence. Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Saswata Jana, Partha Sarathi Mandal 0001 Approximation Algorithms for Drone Delivery Scheduling Problem. Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Narjisse Nejjari, Karim Zkik, Houda Benbrahim, Mounir Ghogho Beyond Locks and Keys: Structural Equation Modeling Based Framework to Explore Security Breaches Through the Lens of Crime Theories. Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1David Mohaisen, Thomas Wies (eds.) Networked Systems - 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Adnane Mzibri, Rédouane Benaini, Mouad Ben Mamoun Case Study on the Performance of ML-Based Network Intrusion Detection Systems in SDN. Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Tanvir Kaur, Kaushik Mondal 0001 Distance-2-Dispersion: Dispersion with Further Constraints. Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko Consensus on an Unknown Torus with Dense Byzantine Faults. Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea Comparing Causal Convergence Consistency Models. Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Achraf Nia, Hossam Tarouchi, Mohammed Erradi Encrypted Search: Not Enough to Ensure Privacy. Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Raed Alharbi, Tre' R. Jeter, My T. Thai Detection of Fake News Through Heterogeneous Graph Interactions. Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Max von Hippel, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck A Formal Analysis of Karn's Algorithm. Search on Bibsonomy NETYS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Imane Chakour, Cherki Daoui, Mohamed Baslam Mechanical Energy Minimization UAV-Mounted Base Station Path Plan for Public Safety Communication. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jonas Höchst, Hicham Bellafkir, Patrick Lampe, Markus Vogelbacher 0001, Markus Mühling, Daniel Schneider 0011, Kim Lindner, Sascha Rösner, Dana G. Schabo, Nina Farwig, Bernd Freisleben Bird@Edge: Bird Species Recognition at the Edge. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Anshuman Misra, Ajay D. Kshemkalyani Solvability of Byzantine Fault-Tolerant Causal Ordering Problems. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Janne Alatalo, Joni Korpihalkola, Tuomo Sipola, Tero Kokkonen Chromatic and Spatial Analysis of One-Pixel Attacks Against an Image Classifier. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mohamed Lechiakh, Alexandre Maurer FEBR: Expert-Based Recommendation Framework for Beneficial and Personalized Content. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Viktor Malík, Petr Silling, Tomás Vojnar Applying Custom Patterns in Semantic Equality Analysis. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Hamid Garmani, Mohamed El Amrani, Driss Ait Omar, Mohamed Ouaskou, Mohamed Baslam Analysis of Interactions Among Infrastructure Provider Fronting Content Provider. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Aravind Segu, Wojciech Golab Recycling Memory in Recoverable Mutex Locks. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan Verifying Reachability for TSO Programs with Dynamic Thread Creation. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1João Paulo Bezerra, Petr Kuznetsov, Alice Koroleva Relaxed Reliable Broadcast for Decentralized Trust. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Markus Sommer, Jonas Höchst, Artur Sterz, Alvar Penning, Bernd Freisleben ProgDTN: Programmable Disruption-Tolerant Networking. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Armando Castañeda, Sergio Rajsbaum, Michel Raynal A Snapshot-Based Introduction to the Linearizability Hierarchy. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Lhoussaine Daoudi, Mohamed Baslam, Said Safi Dynamics Analysis for a Duopoly Game with Bounded Rationality in Cognitive Radio Network. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Sinchan Sengupta, Sathya Peri, Parwat Singh Anjana A Self-stabilizing Minimum Average Stretch Spanning Tree Construction. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1J. J. Garcia-Luna-Aceves, Dylan Cirimelli-Low Making CSMA Collision-Free and Stable Using Collaborative Indexing. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mohammed-Amine Koulali, Mira Mezini (eds.) Networked Systems - 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Léonard Lys, Maria Potop-Butucaru Distributed Blockchain Price Oracle. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Laine E. Rumreich, Paolo A. G. Sivilotti An Eventually Perfect Failure Detector on ADD Channels Using Clustering. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Karla Vargas, Gregory V. Chockler Distributed Oracle for Estimating Global Network Delay with Known Error Bounds. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Laurent Prosperi, Ahmed Bouajjani, Marc Shapiro 0001 Varda: A Framework for Compositional Distributed Programming. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Salima Attache, Ikram Remadna, Labib Sadek Terrissa, Ikram Maouche, Noureddine Zerhouni IoT Based Prediction of Active and Passive Earth Pressure Coefficients Using Artificial Neural Networks. Search on Bibsonomy NETYS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jean-Philippe Abegg, Quentin Bramas, Thomas Noël Blockchain Using Proof-of-Interaction. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Zahra Bayramzadeh, Ajay D. Kshemkalyani, Anisur Rahaman Molla, Gokarna Sharma Weak Amnesiac Flooding of Multiple Messages. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Martin Hruska, Lukás Holík Towards Efficient Shape Analysis with Tree Automata. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Michalis Kokologiannakis, Viktor Vafeiadis BAM: Efficient Model Checking for Barriers. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Amaury Bouchra Pilet, Davide Frey, François Taïani AUCCCR: Agent Utility Centered Clustering for Cooperation Recommendation. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade 0001, Anissa Lamani Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Chryssis Georgiou, Ioannis Marcoullis, Michel Raynal, Elad Michael Schiller Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing Systems. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko Byzantine Geoconsensus. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Imane El Abid, Yahya Benkaouz, Ahmed Khoumsi LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer System. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Chryssis Georgiou, Rupak Majumdar (eds.) Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis Verifying and Optimizing the HMCS Lock for Arm Servers. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Karima Echihabi, Roland Meyer 0001 (eds.) Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Quentin Bramas Efficient and Secure TSA for the Tangle. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski Separating Map Variables in a Logic-Based Intermediate Verification Language. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Georgios Karlos, Wan J. Fokkink, Per Fuchs Fault-Tolerant Termination Detection with Safra's Algorithm. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Peter Chini, Florian Furbach Petri Net Invariant Synthesis. Search on Bibsonomy NETYS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1François Bonnet 0001, Quentin Bramas, Xavier Défago Stateless Distributed Ledgers. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Thanh-Hai Tran 0002, Igor Konnov 0001, Josef Widder Cutoffs for Symmetric Point-to-Point Distributed Algorithms. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Driss El Alaoui, Jamal Riffi, Badraddine Aghoutane, My Abdelouahed Sabri, Ali Yahyaouy, Hamid Tairi Collaborative Filtering: Comparative Study Between Matrix Factorization and Neural Network Method. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Vicent Cholvi, Juan Echagüe, Antonio Fernández Anta, Christopher Thraves Caro Stability Under Adversarial Injection of Dependent Tasks (Extended Abstract). Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Dave Dice, Alex Kogan Fissile Locks. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Dariusz R. Kowalski, Miguel A. Mosteiro, Krutika Wadhwa Generic Framework for Optimization of Local Dissemination in Wireless Networks. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Burcu Kulahcioglu Ozkan Verifying Weakly Consistent Transactional Programs Using Symbolic Execution. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Parwat Singh Anjana, Hagit Attiya, Sweta Kumari, Sathya Peri, Archit Somani Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Maria Potop-Butucaru Blockchains and the Commons. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Georgios Damaskinos, Rachid Guerraoui, Erwan Le Merrer, Christoph Neumann The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Boutheina Bannour, Arnault Lapitre, Pascale Le Gall Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng Verifying Safety of Parameterized Heard-Of Algorithms. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Michel Raynal, Gadi Taubenfeld Fully Anonymous Consensus and Set Agreement Algorithms. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer 0001 On the State Reachability Problem for Concurrent Programs Under Power. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1C. Aiswarya On Network Topologies and the Decidability of Reachability Problem. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Tobias Meuser, Oluwasegun Taiwo Ojo, Daniel Bischoff 0001, Antonio Fernández Anta, Ioannis Stavrakakis, Ralf Steinmetz Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Carole Delporte-Gallet, Hugues Fauconnier, Mouna Safir Byzantine k-Set Agreement. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil On the Encoding and Solving of Partial Information Games. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Paolo Laffranchini, João Miranda, Nuno Machado, Luís Rodrigues 0001, Etienne Rivière, Ramin Sadre NetSheriff: Sheltering Software-Defined Networks from Rogue Switches. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Hagit Attiya, Panagiota Fatourou, Sandeep Hans, Eleni Kanellou Staleness and Local Progress in Transactional Memory. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Gewu Bu, Maria Potop-Butucaru, Mikaël Rabie Wireless Broadcast with Short Labels. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Andrés Sevilla, Antonio Fernández Anta Routing in Generalized Geometric Inhomogeneous Random Graphs - (Extended Abstract). Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Quentin Bramas, Stéphane Devismes, Pascal Lafourcade 0001 Infinite Grid Exploration by Disoriented Robots. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Oskar Lundström, Michel Raynal, Elad Michael Schiller Self-stabilizing Uniform Reliable Broadcast. Search on Bibsonomy NETYS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Chryssis Georgiou, Oskar Lundström, Elad Michael Schiller Self-stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri Achieving Starvation-Freedom in Multi-version Transactional Memory Systems. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dariusz R. Kowalski, Jaroslaw Mirek On the Complexity of Fault-Tolerant Consensus. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Achraf Lyazidi, Salma Mouline Formal Verification of UML State Machine Diagrams Using Petri Nets. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson 0001, Tuan Phong Ngo Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial). Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vidal Attias, Quentin Bramas How to Choose Its Parents in the Tangle. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi Checking Causal Consistency of Distributed Databases. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohamed Faouzi Atig, Alexander A. Schwarzmann (eds.) Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jabrane Kachaoui, Abdessamad Belangour A Multi-criteria Group Decision Making Method for Big Data Storage Selection. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sathya Peri, Muktikanta Sa, Nandini Singhal A Pragmatic Non-blocking Concurrent Directed Acyclic Graph. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Antoine Durand, Emmanuelle Anceaume, Romaric Ludinard StakeCube: Combining Sharding and Proof-of-Stake to Build Fork-Free Secure Permissionless Distributed Ledgers. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Oana 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. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier Towards Synthesis of Distributed Algorithms with SMT Solvers. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andreas Podelski, François Taïani (eds.) Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chryssis Georgiou, Robert Gustafsson, Andreas Lindhé, Elad Michael Schiller Self-stabilization Overhead: A Case Study on Coded Atomic Storage. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld Mutex-Based De-anonymization of an Anonymous Read/Write Memory. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zouhair 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. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil Distributed Online Data Aggregation in Dynamic Graphs. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Samuel Irving, Sui Chen, Lu Peng 0001, Costas Busch, Maurice Herlihy, Christopher J. Michael 0001 CUDA-DTM: Distributed Transactional Memory for GPU Clusters. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Prasad Jayanti, Anup Joshi Recoverable Mutual Exclusion with Abortability. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni Dissecting Tendermint. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 306 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license