Gary Levin

According to our database1, Gary Levin
  • authored at least 11 papers between 1980 and 2012.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2012
TITAN: Integrated network management in tactical mobile ad hoc networks.
Proceedings of the 31st IEEE Military Communications Conference, 2012

2011
Service Brokering and Mediation: Enabling Next Generation Market and Customer Driven Service Delivery.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

2009
Enabling Distributed Management for Dynamic Airborne Networks.
Proceedings of the POLICY 2009, 2009

2008
Declarative Infrastructure Configuration Synthesis and Debugging.
J. Network Syst. Manage., 2008

2007
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

2004
Policy-Based Mobile Ad Hoc Network Management.
Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

2003
PECAN: Policy-Enabled Configuration Across Networks.
Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

1982
On-the-fly Deadlock Prevention.
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

1981
A Proof Technique for Communicating Sequential Processes.
Acta Inf., 1981

1980
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


  Loading...