According to our database1, Gary Levin
Legend:Book In proceedings Article PhD thesis Other
TITAN: Integrated network management in tactical mobile ad hoc networks.
Proceedings of the 31st IEEE Military Communications Conference, 2012
Service Brokering and Mediation: Enabling Next Generation Market and Customer Driven Service Delivery.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011
Enabling Distributed Management for Dynamic Airborne Networks.
Proceedings of the POLICY 2009, 2009
Declarative Infrastructure Configuration Synthesis and Debugging.
J. Network Syst. Manage., 2008
On Automated Policy Generation for Mobile Ad Hoc Networks.
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007
Policy-Based Mobile Ad Hoc Network Management.
Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004
PECAN: Policy-Enabled Configuration Across Networks.
Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003
On-the-fly Deadlock Prevention.
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982
A Proof Technique for Communicating Sequential Processes.
Acta Inf., 1981
Assignment and Procedure Call Proof Rules.
ACM Trans. Program. Lang. Syst., 1980
Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time.
Inf. Process. Lett., 1980