default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th NETYS 2025, Rabat, Morocco
- Salem Lahlou, Madhavan Mukund
:
Networked Systems - 13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings. Lecture Notes in Computer Science 15736, Springer 2026, ISBN 978-3-032-00346-1
Verification
- S. R. Nagalakshmi, Meenakshi D'Souza:
Reachability and Verification of Assertions for IoT Applications. 3-18 - Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl:
Enhancing Numerical Invariants Learning with Bounded Reachability Analysis. 19-36
Distributed Systems
- Massinissa Tighilt, Lina Azerouk, Camille Palisoc, Binh-Minh Bui-Xuan, Maria Potop-Butucaru:
Distributed Computation of Temporal Twins in Periodic Undirected Time-Varying Graphs. 39-56 - Radu Iosif, Arnaud Sangnier, Neven Villani:
Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars. 57-80 - Bilel Zaghdoudi, Maria Potop-Butucaru:
Secure Lineage Storage on Public and Private Blockchains. 81-96 - Shuo Liu, Nitin H. Vaidya:
Byzantine Fault-Tolerant Distributed Set Intersection with Redundancy and Its Relationship with Byzantine Optimization. 97-113 - Masahiro Shibata, Sayaka Kamei, Fukuhito Ooshita, Hirotsugu Kakugawa:
Pattern Formation of Mobile Agents in Dynamic Grids. 114-128 - R. Keerthan, B. Srivathsan, R. Venkatesh:
An Automaton Model to Succinctly Represent Suffix-Based Specifications of a Concurrent System. 129-145 - Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma:
SmartShards: Churn-Tolerant Continuously Available Distributed Ledger. 146-162 - Quentin Bramas, Sébastien Tixeuil:
On Restricting Separator Problems in the OBLOT Computational Landscape. 163-168
Machine Learning
- Ege Aktemur, Ege Zorlutuna, Kaan Bilgili, Tacettin Emre Bok, Berrin Yanikoglu, Suha Orhun Mutluergil:
Going Forward-Forward in Distributed Deep Learning. 171-186 - Khadija Tlemçani, Kebira Azbeg, Wafaa Wakrim, Leila Fetjah, Ouail Ouchetto, Said Jai-Andaloussi:
An Ensemble Model for 30-Minute Blood Glucose Prediction in Type 1 Diabetes: Balancing Accuracy and Simplicity. 187-201 - Khadija Baddouj, Mohammed Erradi, Mohammed Ali Essabri, Hanae Kolone, Nour Oulad Moussa, Rebii Jamal:
Networked LLM Agents: Toward Autonomous LLMs for Querying Heterogeneous Databases. 202-213 - Outhmane Bourkoukou, Khadija Ghommat:
Plant Diseases Detection with Retrieval-Augmented Generation. 214-229 - Ouiame Marnissi, Karim Boubouh, Hajar El Hammouti, El Houcine Bergou, Robert Basmadjian:
Impact of Sparsification and Quantization on Energy Consumption in Federated Learning. 230-240 - Achraf Ibnouzaher, Noureddine Moumkine:
Vgg-ViT: A Framework for Deepfakes Images Detection. 241-252 - Rihab EL Yousfi, Mounir Ourekouch, Mohammed Erradi:
Heterogeneous Graph Neural Network Based Arabic Coreference Resolution. 253-270
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-10-22 02:24 CEST 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:
