• 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.

found 24 matches

• 2025
• 
  Jacopo Massa, Stefano Forti, Federica Paganelli, Patrizio Dazzi, Antonio Brogi, Alexander Clemm, Toerless Eckert:
  Declarative Traffic Engineering for Low-Latency and Reliable Networking. CoRR abs/2503.21289 (2025)
• 2024
• 
  Jacopo Massa, Stefano Forti, Federica Paganelli, Patrizio Dazzi, Antonio Brogi:
  A declarative reasoning approach to conflict management in Intent-Based Networking. ICIN 2024: 228-233
• 2023
• 
  David M. Fobes, Harsha Nagarajan, Russell Bent:
  Optimal Microgrid Networking for Maximal Load Delivery in Phase Unbalanced Distribution Grids: A Declarative Modeling Approach. IEEE Trans. Smart Grid 14(3): 1682-1691 (2023)
• 2018
• 
  Timothy Roscoe, Boon Thau Loo:
  Declarative Networking. Encyclopedia of Database Systems (2nd ed.) 2018
• 2016
• 
  Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn:
  Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-Conjecture. ACM Trans. Database Syst. 40(4): 21:1-21:45 (2016)
• 2015
• 
  Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo:
  Automated verification of safety properties of declarative networking programs. PPDP 2015: 79-90
• 2014
• 
  Tom J. Ameloot:
  Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics. SIGMOD Rec. 43(2): 5-16 (2014)
• 
  Frank Neven:
  Remaining CALM in Declarative Networking. ICDT 2014: 1
• 
  Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn:
  Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture. PODS 2014: 64-75
• 2013
• 
  Tom J. Ameloot:
  Declarative Networking: Models and Conjectures. Hasselt University, Belgium, 2013
• 
  Tom J. Ameloot, Frank Neven, Jan Van den Bussche:
  Relational transducers for declarative networking. J. ACM 60(2): 15:1-15:38 (2013)
• 2012
• 
  Boon Thau Loo, Wenchao Zhou:
  Declarative Networking. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2012, ISBN 978-3-031-00758-3
• 
  Changbin Liu, Ricardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, Yun Mao:
  Declarative Policy-Based Adaptive Mobile Ad Hoc Networking. IEEE/ACM Trans. Netw. 20(3): 770-783 (2012)
• 
  Cheng-Zhang Peng, Ze-Jun Jiang, Xiao-Bin Cai, Zhike Zhang:
  Implementing chord with declarative networking language. ICMLC 2012: 586-590
• 
  Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou:
  Recent Advances in Declarative Networking. PADL 2012: 1-16
• 2011
• 
  Tom J. Ameloot, Frank Neven, Jan Van den Bussche:
  Relational transducers for declarative networking. PODS 2011: 283-292
• 2010
• 
  Tom J. Ameloot, Frank Neven, Jan Van den Bussche:
  Relational transducers for declarative networking. CoRR abs/1012.2858 (2010)
• 2009
• 
  Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica:
  Declarative networking. Commun. ACM 52(11): 87-95 (2009)
• 
  Yun Mao:
  On the declarativity of declarative networking. ACM SIGOPS Oper. Syst. Rev. 43(4): 19-24 (2009)
• 
  Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh:
  Cardinality Abstraction for Declarative Networking Applications. CAV 2009: 584-598
• 
  Juan Antonio Navarro Pérez, Andrey Rybalchenko:
  Operational Semantics for Declarative Networking. PADL 2009: 76-90
• 
  Timothy Roscoe:
  Declarative Networking. Encyclopedia of Database Systems 2009: 770-772
• 2007
• 
  Martín Abadi, Boon Thau Loo:
  Towards a Declarative Language and System for Secure Networking. NetDB 2007
• 2006
• 
  Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica:
  Declarative networking: language, execution and optimization. SIGMOD Conference 2006: 97-108