Agha, Gul A.
Agha, Gul
Gul Agha computer scientist
Agha, Gul (Gul A.)
VIAF ID: 94022064 (Personal)
Permalink: http://viaf.org/viaf/94022064
Preferred Forms
- 100 1 _ ‡a Agha, Gul
-
-
-
-
-
- 100 1 _ ‡a Agha, Gul A.
- 100 1 _ ‡a Agha, Gul A.
- 100 1 _ ‡a Agha, Gul A.
-
- 100 1 _ ‡a Agha, Gul A.
-
-
- 100 0 _ ‡a Gul Agha ‡c computer scientist
4xx's: Alternate Name Forms (15)
5xx's: Related Names (3)
Works
Title | Sources |
---|---|
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems | |
Actors : a model of concurrent computation in distributed systems | |
Actors, c1986: | |
Actors Programming for the Mobile Cloud | |
Computational Models, Programming Languages and Algorithms for Sensor Networks: Towards a Paradigm Shift in Computer Science | |
Concurrent object oriented programming and Petri nets advances in Petri nets | |
Concurrent objects and beyond papers dedicated to Akinori Yonezawa on the occasion of his 65th birthday | |
Coordination models and languages, c2010: | |
Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks | |
Formal modeling actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday | |
The microelectronic wireless nitrate sensor network for environmental water monitoring | |
Performance evaluation of sensor networks by statistical modeling and euclidean model checking | |
Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming, San Diego, September 26-27 1988 | |
Quantitative Evaluation of Systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings | |
Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure | |
Reliable multi-hop communication for structural health monitoring | |
Resilient localization for sensor networks in outdoor environments | |
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking | |
Solving complex path conditions through heuristic search on induced polytopes | |
Space division and dimensional reduction methods for indoor positioning system | |
Special issue on programming based on actors, agents and decentralized control | |
Targeted test input generation using symbolic-concrete backward execution | |
Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications |