On the public citation graph
Declarative Networking
0 signed · 149 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/jcss.1996.0009openalex-snapshot
A Framework for Testing Safety and Effective Computability
inferredcites →https://doi.org/10.1007/978-3-540-92995-6_5openalex-snapshot
Declarative Network Verification
inferredcites →https://doi.org/10.1007/978-3-642-02658-4_43openalex-snapshot
Cardinality Abstraction for Declarative Networking Applications
inferredcites →https://doi.org/10.1016/0743-1066(87)90004-5openalex-snapshot
A generalization of the differential approach to recursive query evaluation
inferredcites →https://doi.org/10.1109/35.568214openalex-snapshot
A survey of active network research
inferredcites →https://doi.org/10.1109/icde.2009.36openalex-snapshot
Recursive Computation of Regions and Connectivity in Networks
inferredcites →https://doi.org/10.1109/icde.2009.58openalex-snapshot
Unified Declarative Platform for Secure Netwoked Information Systems
inferredcites →https://doi.org/10.1109/icnp.2009.5339669openalex-snapshot
Declarative policy-based adaptive MANET routing
inferredcites →https://doi.org/10.1109/jsac.2002.803066openalex-snapshot
A case for end system multicast
inferredcites →https://doi.org/10.1145/1095809.1095818openalex-snapshot
Implementing declarative overlays
inferredcites →https://doi.org/10.1145/1095810.1095818openalex-snapshot
Implementing declarative overlays
inferredcites →https://doi.org/10.1145/1217935.1217973openalex-snapshot
Using queries for distributed monitoring and forensics
inferredcites →https://doi.org/10.1145/1322263.1322281openalex-snapshot
The design and implementation of a declarative sensor network system
inferredcites →https://doi.org/10.1145/170035.170066openalex-snapshot
Maintaining views incrementally
inferredcites →https://doi.org/10.1145/170036.170066openalex-snapshot
Maintaining views incrementally
inferredcites →https://doi.org/10.1145/205447.205458openalex-snapshot
The design philosophy of the DARPA Internet Protocols
inferredcites →https://doi.org/10.1145/339331.339337openalex-snapshot
A case for end system multicast (keynote address)
inferredcites →https://doi.org/10.1145/52324.52336openalex-snapshot
The design philosophy of the DARPA internet protocols
inferredcites →https://doi.org/10.1145/6012.15399openalex-snapshot
Magic sets and other strange ways to implement logic programs (extended abstract)
inferredcites →https://doi.org/10.1145/602382.602404openalex-snapshot
Getting computers to understand
inferredcites →https://doi.org/10.1145/93597.98720openalex-snapshot
Encapsulation of parallelism in the Volcano query processing system
inferredcites →https://doi.org/10.1145/93605.98720openalex-snapshot
Encapsulation of parallelism in the Volcano query processing system
inferredcites →https://doi.org/10.48550/arxiv.0909.1759openalex-snapshot
Declarative Reconfigurable Trust Management
inferredcites →https://doi.org/10.5555/1602165.1602174openalex-snapshot
Automating rendezvous and proxy selection in sensornets
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-1-4614-9278-8_13openalex-snapshot
Towards a Data-Centric Approach to Attribution in the Cloud
inferred← citeshttps://doi.org/10.1007/978-3-030-14156-1_16openalex-snapshot
Model-based Schedule Synthesis in Time-Sensitive Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-11569-6_43openalex-snapshot
Adaptive Wireless Networks as an Example of Declarative Fractionated Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-02658-4_43openalex-snapshot
Cardinality Abstraction for Declarative Networking Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-16355-5_32openalex-snapshot
Toward Distributed Declarative Control of Networked Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24206-9_11openalex-snapshot
Dyna: Extending Datalog for Modern AI
inferred← citeshttps://doi.org/10.1007/978-3-642-24206-9_16openalex-snapshot
Dedalus: Datalog in Time and Space
inferred← citeshttps://doi.org/10.1007/978-3-642-27694-1_1openalex-snapshot
Recent Advances in Declarative Networking
inferred← citeshttps://doi.org/10.1007/978-3-642-29320-7_13openalex-snapshot
A Distributed Logic for Networked Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-32925-8_14openalex-snapshot
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-33386-6_1openalex-snapshot
Verification of Computer Switching Networks: An Overview
inferred← citeshttps://doi.org/10.1007/978-3-642-35887-6_2openalex-snapshot
A Language-Based Approach to Autonomic Computing
inferred← citeshttps://doi.org/10.1007/978-3-662-43613-4_8openalex-snapshot
A Program Logic for Verifying Secure Routing Protocols
inferred← citeshttps://doi.org/10.1007/s00224-015-9624-6openalex-snapshot
Deciding Confluence for a Simple Class of Relational Transducer Networks
inferred← citeshttps://doi.org/10.1007/s00354-015-0103-zopenalex-snapshot
Reactive Computing as Model Generation
inferred← citeshttps://doi.org/10.1007/s00778-012-0299-1openalex-snapshot
Extending the power of datalog recursion
inferred← citeshttps://doi.org/10.1007/s10586-014-0363-2openalex-snapshot
Declarative platform for high-performance network traffic analytics
inferred← citeshttps://doi.org/10.1007/s11042-019-08010-4openalex-snapshot
FLHyO: fuzzy logic based hybrid overlay for P2P live video streaming
inferred← citeshttps://doi.org/10.1007/s11265-017-1251-9openalex-snapshot
A Big Data Privacy Respecting Dissemination Method for Social Network
inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50013-7openalex-snapshot
Logic and Databases: A History of Deductive Databases
inferred← citeshttps://doi.org/10.1016/j.artint.2018.12.004openalex-snapshot
Maintenance of datalog materialisations revisited
inferred← citeshttps://doi.org/10.1016/j.cl.2012.09.002openalex-snapshot
Declarative secure distributed information systems
inferred← citeshttps://doi.org/10.1016/j.comnet.2013.09.021openalex-snapshot
The design and implementation of the A3 application-aware anonymity platform
inferred← citeshttps://doi.org/10.1016/j.future.2017.11.041openalex-snapshot
Research on access control model of social network based on distributed logic
inferred← citeshttps://doi.org/10.1016/j.jcss.2014.01.005openalex-snapshot
Positive Dedalus programs tolerate non-causality
inferred← citeshttps://doi.org/10.1016/j.jpdc.2016.12.006openalex-snapshot
Research on semantic of updatable distributed logic and its application in access control
inferred← citeshttps://doi.org/10.1016/j.scico.2013.01.011openalex-snapshot
A distributed logic for Networked Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/comsnets.2012.6151315openalex-snapshot
PUMA: Policy-based Unified Multi-radio Architecture for agile mesh networking
inferred← citeshttps://doi.org/10.1109/etfa.2017.8247599openalex-snapshot
A graphical modeling tool supporting automated schedule synthesis for time-sensitive networking
inferred← citeshttps://doi.org/10.1109/iccve.2015.78openalex-snapshot
Declarative cyber physical systems modeling to facilitate autonomous vehicles design
inferred← citeshttps://doi.org/10.1109/icde.2013.6544832openalex-snapshot
SociaLite: Datalog extensions for efficient social network analysis
inferred← citeshttps://doi.org/10.1109/icde.2015.7113340openalex-snapshot
Optimizing recursive queries with monotonic aggregates in DeALS
inferred← citeshttps://doi.org/10.1109/icde51399.2021.00113openalex-snapshot
KDDLog:Performance and Scalability in Knowledge Discovery by Declarative Queries with Aggregates
inferred← citeshttps://doi.org/10.1109/icdew.2013.6547462openalex-snapshot
Towards dynamic pricing-based collaborative optimizations for green data centers
inferred← citeshttps://doi.org/10.1109/icns.2009.8openalex-snapshot
Proactive Future Internet: Smart Semantic Middleware for Overlay Architecture
inferred← citeshttps://doi.org/10.1109/icumt.2015.7382444openalex-snapshot
On web-based domain-specific language for Internet of Things
inferred← citeshttps://doi.org/10.1109/infcomw.2017.8116499openalex-snapshot
Modular network function virtualization
inferred← citeshttps://doi.org/10.1109/infocomwkshps50562.2020.9162936openalex-snapshot
Logical Peering for Interdomain Networking on Testbeds
inferred← citeshttps://doi.org/10.1109/issa.2017.8251774openalex-snapshot
Design and application of link: A DSL for network frame manipulation
inferred← citeshttps://doi.org/10.1109/jproc.2019.2894291openalex-snapshot
Elements of Application-Layer Internetworking for Adaptive Self-Organizing Networks
inferred← citeshttps://doi.org/10.1109/liss.2016.7854561openalex-snapshot
Declarative modeling cases of cyber physical systems
inferred← citeshttps://doi.org/10.1109/mcom.2011.6011741openalex-snapshot
Generic interface architecture supporting cognitive resource management in future wireless networks
inferred← citeshttps://doi.org/10.1109/mic.2019.2958545openalex-snapshot
FABRIC: A National-Scale Programmable Experimental Network Infrastructure
inferred← citeshttps://doi.org/10.1109/nana.2017.21openalex-snapshot
PVad: Privacy-Preserving Verification for Secure Routing in Ad Hoc Networks
inferred← citeshttps://doi.org/10.1109/netsys.2019.8854491openalex-snapshot
Enforcing Multilevel Security Policies in Database-Defined Networks using Row-Level Security
inferred← citeshttps://doi.org/10.1109/tkde.2015.2405562openalex-snapshot
SociaLite: An Efficient Graph Query Language Based on Datalog
inferred← citeshttps://doi.org/10.1109/tkde.2016.2515604openalex-snapshot
Declarative Framework for Specification, Simulation and Analysis of Distributed Applications
inferred← citeshttps://doi.org/10.1109/tnet.2012.2187924openalex-snapshot
FSR: Formal Analysis and Implementation Toolkit for Safe Interdomain Routing
inferred← citeshttps://doi.org/10.1109/tnet.2013.2286321openalex-snapshot
PUMA: Policy-Based Unified Multiradio Architecture for Agile Mesh Networking
inferred← citeshttps://doi.org/10.1109/tnet.2018.2861919openalex-snapshot
NetEgg: A Scenario-Based Programming Toolkit for SDN Policies
inferred← citeshttps://doi.org/10.1109/vnc.2016.7835941openalex-snapshot
Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming
inferred← citeshttps://doi.org/10.1109/wf-iot.2015.7389086openalex-snapshot
An editable live ETL system for Ambient Intelligence environments
inferred← citeshttps://doi.org/10.1117/12.920915openalex-snapshot
An architecture for distributed video applications based on declarative networking
inferred← citeshttps://doi.org/10.1145/1921151.1921164openalex-snapshot
A policy-based constraint-solving platform towards extensible wireless channel selection and routing
inferred← citeshttps://doi.org/10.1145/1989284.1989320openalex-snapshot
A rule-based language for web data management
inferred← citeshttps://doi.org/10.1145/1989323.1989393openalex-snapshot
More efficient datalog queries
inferred← citeshttps://doi.org/10.1145/2038916.2038942openalex-snapshot
Declarative automated cloud resource orchestration
inferred← citeshttps://doi.org/10.1145/2187980.2188011openalex-snapshot
The ERC webdam on foundations of web data management
inferred← citeshttps://doi.org/10.1145/2274576.2274587openalex-snapshot
Deciding eventual consistency for a simple class of relational transducer networks
inferred← citeshttps://doi.org/10.1145/2274576.2274588openalex-snapshot
Win-move is coordination-free (sometimes)
inferred← citeshttps://doi.org/10.1145/2509578.2509588openalex-snapshot
Model-based, event-driven programming paradigm for interactive web applications
inferred← citeshttps://doi.org/10.1145/2524224.2524226openalex-snapshot
Higher SLA satisfaction in datacenters with continuous VM placement constraints
inferred← citeshttps://doi.org/10.1145/2524224.2524233openalex-snapshot
Towards privacy-preserving fault detection
inferred← citeshttps://doi.org/10.1145/2535771.2535799openalex-snapshot
Answering why-not queries in software-defined networks with negative provenance
inferred← citeshttps://doi.org/10.1145/2619239.2626335openalex-snapshot
Diagnosing missing events in distributed systems with negative provenance
inferred← citeshttps://doi.org/10.1145/2619998openalex-snapshot
A Formal Approach to Autonomic Systems Programming
inferred← citeshttps://doi.org/10.1145/2656877.2656889openalex-snapshot
A brief overview of the NEBULA future internet architecture
inferred← citeshttps://doi.org/10.1145/2716281.2836119openalex-snapshot
Scenario-based programming for SDN policies
inferred← citeshttps://doi.org/10.1145/2790449.2790516openalex-snapshot
Automated verification of safety properties of declarative networking programs
inferred← citeshttps://doi.org/10.1145/2834050.2834112openalex-snapshot
Automated Network Repair with Meta Provenance
inferred← citeshttps://doi.org/10.1145/2934872.2934910openalex-snapshot
The Good, the Bad, and the Differences
inferred← citeshttps://doi.org/10.1145/3034786.3056125openalex-snapshot
The Semiring Framework for Database Provenance
inferred← citeshttps://doi.org/10.1145/3123878.3131990openalex-snapshot
A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers
inferred← citeshttps://doi.org/10.1145/3132847.3133159openalex-snapshot
Semantic Rules for Machine Diagnostics
inferred← citeshttps://doi.org/10.1145/3180465.3180471openalex-snapshot
Database Criteria for Network Policy Chain
inferred← citeshttps://doi.org/10.1145/3191315.3191326openalex-snapshot
Logic programming applications: what are the abstractions and implementations?
inferred← citeshttps://doi.org/10.1145/3232565.3234462openalex-snapshot
Towards Example-Guided Network Synthesis
inferred← citeshttps://doi.org/10.1145/3236024.3236034openalex-snapshot
Syntax-guided synthesis of Datalog programs
inferred← citeshttps://doi.org/10.1145/3458336.3465303openalex-snapshot
Rethinking networking abstractions for cloud tenants
inferred← citeshttps://doi.org/10.1145/3468264.3468573openalex-snapshot
Metamorphic testing of Datalog engines
inferred← citeshttps://doi.org/10.1186/s13174-015-0029-1openalex-snapshot
Want to scale in centralized systems? Think P2P
inferred← citeshttps://doi.org/10.14778/2535568.2448939openalex-snapshot
Distributed time-aware provenance
inferred← citeshttps://doi.org/10.14778/2536274.2536290openalex-snapshot
Graph queries in a next-generation Datalog system
inferred← citeshttps://doi.org/10.14778/2732939.2732950openalex-snapshot
Towards building wind tunnels for data center design
inferred← citeshttps://doi.org/10.14778/2824032.2824075openalex-snapshot
Live programming in the LogicBlox system
inferred← citeshttps://doi.org/10.14778/3137628.3137661openalex-snapshot
Privacy-preserving network provenance
inferred← citeshttps://doi.org/10.1561/1900000017openalex-snapshot
Datalog and Recursive Query Processing
inferred← citeshttps://doi.org/10.17863/cam.389openalex-snapshot
FLICK: Developing and Running Application-Specific Network Services
inferred← citeshttps://doi.org/10.18535/ijecs/v5i5.33openalex-snapshot
Attack Graph-Based Approach For Enterprise Networks Security Analysis
inferred← citeshttps://doi.org/10.23919/cnsm46954.2019.9012707openalex-snapshot
WASPP: Workflow Automation for Security Policy Procedures
inferred← citeshttps://doi.org/10.24963/ijcai.2017/156openalex-snapshot
Foundations of Declarative Data Analysis Using Limit Datalog Programs
inferred← citeshttps://doi.org/10.29007/f89jopenalex-snapshot
An Operational Semantics for Network Datalog
inferred← citeshttps://doi.org/10.4304/jsw.8.6.1436-1442openalex-snapshot
The Design and Implementation of A Network Provenance System Framework
inferred← citeshttps://doi.org/10.48550/arxiv.1204.6080openalex-snapshot
Cologne: A Declarative Distributed Constraint Optimization Platform
inferred← citeshttps://doi.org/10.48550/arxiv.1301.6905openalex-snapshot
Towards a Logic-Based Unifying Framework for Computing
inferred← citeshttps://doi.org/10.48550/arxiv.1607.03385openalex-snapshot
Compiling Stateful Network Properties for Runtime Verification
inferred← citeshttps://doi.org/10.48550/arxiv.1610.00355openalex-snapshot
Security and Privacy Analysis of NSF Future Internet Architectures
inferred← citeshttps://doi.org/10.48550/arxiv.1611.02537openalex-snapshot
Network-wide Configuration Synthesis
inferred← citeshttps://doi.org/10.48550/arxiv.1804.09473openalex-snapshot
Stratified Negation in Limit Datalog Programs
inferred← citeshttps://doi.org/10.48550/arxiv.2101.01159openalex-snapshot
New Directions in Cloud Programming
inferred← citeshttps://doi.org/10.5441/002/edbt.2016.65openalex-snapshot
streamLoader: An Event-Driven ETL System for the On-line Processing of Heterogeneous Sensor Data
inferred← citeshttps://doi.org/10.5555/2499406.2499440openalex-snapshot
Distributed state machines: a declarative framework for the management of distributed systems
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.