Gul Agha

Q: What Schools Are Affiliated With Gul Agha

Gul Agha is affiliated with the following schools: University of Texas at Austin, University of Michigan, University of Illinois Urbana-Champaign

Gul Agha 's AcademicInfluence.com Rankings

Gul Agha

Computer Science

#1082

World Rank

#1121

Historical Rank

Database

#1246

World Rank

#1314

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Gul Agha Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Gul Agha is a professor of computer science at the University of Illinois at Urbana-Champaign, and director of the Open Systems Laboratory. He is known for his work on the actor model of concurrent computation, and was also Editor-in-Chief of ACM Computing Surveys from 1999 to 2007. Agha was born and completed his early schooling in Sindh, Pakistan. Agha completed his B.S. with honors at the California Institute of Technology in the year 1977. He received his Ph.D. in Computer and Communication Science from the University of Michigan in 1986 under the supervision of John Holland. However, much of his doctoral research was carried out in Carl Hewitt's Message-Passing Semantics Group at Massachusetts Institute of Technology . Agha's dissertation was published by the MIT Press as Actors: a model of concurrent computation in distributed systems, a book which, according to the ACM Guide to Computing Literature, has been cited over 3000 times.

(See a Problem?)

Gul Agha 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

ACTORS - a model of concurrent computation in distributed systems (1985) (3194)
CUTE: a concolic unit testing engine for C (2005) (1942)
A foundation for actor computation (1997) (525)
Concurrent object-oriented programming (1990) (509)
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (2006) (464)
Structural health monitoring of a cable-stayed bridge using smart sensor technology: deployment and evaluation (2010) (452)
Statistical Model Checking of Black-Box Probabilistic Systems (2004) (286)
Research directions in concurrent object-oriented programming (1993) (264)
On Statistical Model Checking of Stochastic Systems (2005) (248)
Flexible smart sensor framework for autonomous structural health monitoring (2010) (242)
Programming dynamically reconfigurable open systems with SALSA (2001) (238)
SENS: a sensor, environment and network simulator (2004) (195)
VESTA: A statistical model-checker and analyzer for probabilistic systems (2005) (185)
A Survey of Statistical Model Checking (2018) (184)
Efficient decentralized monitoring of safety in distributed systems (2004) (178)
Actor frameworks for the JVM platform: a comparative analysis (2009) (176)
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems (2006) (168)
Strategic directions (1996) (161)
A Language Framework for Multi-Object Coordination (1993) (161)
Concurrent programming using actors (1987) (157)
Resilient Localization for Sensor Networks in Outdoor Environments (2005) (143)
Cooperative tracking with binary-detection sensor networks. (2003) (133)
Concurrent Object-Oriented Programming and Petri Nets (2001) (131)
Towards a Theory of Actor Computation (1992) (127)
Model-Checking Markov Chains in the Presence of Uncertainties (2006) (125)
Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming (1987) (123)
ActorSpace: an open distributed programming paradigm (1993) (122)
Abstraction and modularity mechanisms for concurrent computing (1993) (122)
An overview of actor languages (1986) (115)
Automated Systematic Testing of Open Distributed Programs (2006) (113)
Concurrent Programming Using Actors: Exploiting large-Scale Parallelism (1985) (111)
English Version (2019) (107)
ActorNet: an actor platform for wireless sensor networks (2006) (92)
Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems (1997) (90)
Runtime safety analysis of multithreaded programs (2003) (90)
The Structure and Semantics of Actor Languages (1990) (88)
Customizable middleware for modular distributed software (2001) (87)
Automated Empirical Optimization (2011) (84)
Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure (2016) (83)
RTsynchronizer: language support for real-time specifications in distributed systems (1995) (83)
Open Heterogeneous Computing in Actor Space (1994) (82)
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions (2005) (77)
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs (2006) (76)
ARA: a robust audit to prevent free-riding in P2P networks (2005) (74)
Costless: Optimizing Cost of Serverless Computing through Function Fusion and Placement (2018) (73)
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs (2012) (71)
A Modular Approach to Programming Distributed Real-Time Systems (1996) (69)
Enabling framework for structural health monitoring using smart sensors (2011) (68)
Realistic case studies of wireless structural control (2013) (67)
A Framework for State-Space Exploration of Java-Based Actor Programs (2009) (67)
HAL: A High-Level Actor Language and Its Distributed Implementation (1992) (65)
Reliable multi-hop communication for structural health monitoring (2010) (65)
Online efficient predictive safety analysis of multithreaded programs (2004) (63)
Customization and composition of distributed objects: middleware abstractions for policy management (1998) (61)
Towards optimizing energy costs of algorithms for shared memory architectures (2010) (59)
Modular specification of interaction policies in distributed computing (1996) (59)
Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent Systems (2004) (59)
Next Generation Wireless Smart Sensors Toward Sustainable Civil Infrastructure (2017) (57)
Task assignment for a physical agent team via a dynamic forward/reverse auction mechanism (2005) (55)
CHAMELEON: A Self-Evolving, Fully-Adaptive Resource Arbitrator for Storage Systems (2005) (53)
Scalable Distributed Garbage Collection for Systems of Active Objects (1992) (52)
Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages (1995) (51)
A protocol description language for customizing failure semantics (1994) (51)
Middleware services for structural health monitoring using smart sensors (2009) (49)
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques (2010) (49)
Wireless Strain Sensor Development for Civil Infrastructure (2004) (47)
Learning continuous time Markov chains from sample executions (2004) (47)
Poster abstract: cooperative tracking with binary-detection sensor networks (2003) (47)
Targeted test input generation using symbolic-concrete backward execution (2014) (46)
Scalable automated methods for dynamic program analysis (2006) (45)
A formal model for reasoning about adaptive QoS-enabled middleware (2001) (45)
A Rewriting Based Model for Probabilistic Distributed Object Systems (2003) (44)
A actor-based architecture for customizing and controlling agent ensembles (1999) (44)
Actors: A unifying model for parallel and distributed computing (1999) (44)
AN ACTOR-BASED SIMULATION FOR STUDYING UAV COORDINATION (2003) (44)
Reasoning about MDPs as Transformers of Probability Distributions (2010) (40)
Rosette: An object-oriented concurrent systems architecture (1988) (40)
Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures (2009) (39)
LTLC: Linear Temporal Logic for Control (2008) (38)
Generating Optimal Linear Temporal Logic Monitors by Coinduction (2003) (38)
Learning to Verify Safety Properties (2004) (38)
Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories (2005) (37)
Using Language Inference to Verify Omega-Regular Properties (2005) (37)
Inferring ownership transfer for efficient message passing (2011) (36)
A Hierarchical Model for Coordination of Concurrent Activities (1999) (36)
The microelectronic wireless nitrate sensor network for environmental water monitoring. (2012) (36)
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language (2004) (35)
DROPLET: Distributed Operator Placement for IoT Applications Spanning Edge and Cloud Resources (2018) (35)
Computing in pervasive cyberspace (2008) (35)
A LINGUISTIC FRAMEWORK FOR DYNAMIC COMPOSITION OF DEPENDABILITY PROTOCOLS (1993) (35)
Formal Modeling: Actors, Open Systems, Biological Systems (2011) (34)
Scalability of parallel sorting on mesh multicomputers (1991) (34)
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains (2004) (34)
Actively Learning to Verify Safety for FIFO Automata (2004) (33)
Worldwide computing with universal actors: linguistic abstractions for naming, migration, and coordination (2001) (33)
Solving complex path conditions through heuristic search on induced polytopes (2014) (33)
Model-based Data Aggregation for Structural Monitoring Employing Smart Sensors (2006) (33)
Formalizing multimedia QoS constraints using actors (1997) (32)
Passive Localization: Large Size Sensor Network Localization Based on Environmental Events (2008) (31)
Crawlets: Agents for High Performance Web Search Engines (2001) (30)
Comilation of a Highly Parallel Actor-Based Language (1992) (30)
Autonomous smart sensor network for full-scale structural health monitoring (2010) (29)
Semantics for an actor-based real-time language (1996) (28)
Concurrent Programming for Distributed Artificial Intelligence (1999) (28)
Scoped Synchronization Constraints for Large Scale Actor Systems (2012) (27)
Decentralized runtime analysis of multithreaded applications (2006) (26)
Visualizing actor programs using predicate transition nets (1992) (26)
Maximal Clique Based Distributed Group Formation for Autonomous Agent Coalitions (2004) (26)
Guarded Horn Clause Languages: Are They Deductive and Logical? (1991) (25)
Agent framework services to reduce agent communication overhead in large-scale agent-based simulations (2006) (25)
Abstracting Interactions Based on Message Sets (1994) (25)
Efficient Agent Communication in Multi-agent Systems (2004) (25)
Using passive object garbage collection algorithms for garbage collection of active objects (2002) (24)
What after Java? From Objects to Actors (1998) (23)
Semantic Considerations in the Actor Paradigm of Concurrent Computation (1984) (23)
Customization and composition of distributed objects: policy management in distributed software architectures (1999) (23)
Characterizing Configuration Spaces of Simple Threshold Cellular Automata (2004) (22)
Parameterized, concurrent session types for asynchronous multi-actor interactions (2016) (22)
Towards a hierarchical taxonomy of autonomous agents (2004) (22)
A Methodology for Adapting to Patterns of Faults (1994) (21)
Concolic Testing of Multithreaded Programs and Its Application to Testing Security Protocols (2006) (21)
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks (2006) (20)
Victim Localization and Assessment System for Emergency Responders (2016) (20)
Distributed Execution of Actor Programs (1991) (20)
Concurrency vs. sequential interleavings in 1-D threshold cellular automata (2004) (19)
Programming dynamically reconfigurable open systems with SALSA : Intriguing Technology from OOPSLA by John Vlissides and Doug Lea (2001) (19)
Supporting Multiparadigm Programming on Actor Architectures (1989) (19)
Learning to verify systems (2006) (19)
On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata (2005) (19)
On Scaling Multi-Agent Task Reallocation Using Market-Based Approach (2007) (19)
Probabilistic Rewrite Theories: Unifying Models, Logics and Tools (2003) (19)
Towards reusable real-time objects (1999) (18)
Cyberorgs: a model for resource bounded complex agents (2004) (18)
Model Checking MDPs with a Unique Compact Invariant Set of Distributions (2011) (18)
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking (2018) (18)
A Logical Theory of Concurrent Objects and Its Realization in the Maude Language (2003) (17)
Actors: a model for reasoning about open distributed systems (2001) (17)
Towards Context-Aware Web Applications (2007) (17)
Basset: a tool for systematic testing of actor programs (2010) (17)
Specification of real-time interaction constraints (1998) (17)
Verifying the Evolution of Probability Distributions Governed by a DTMC (2011) (16)
ActorSpaces: An Open Distributed Programming Paradigm (1993) (16)
A Markov Reward Model for Software Reliability (2007) (16)
Actors Programming for the Mobile Cloud (2014) (16)
A Novel Technique for Human Traffic based Radio Map Updating in Wi-Fi Indoor Positioning Systems (2015) (16)
Mutation Operators for Actor Systems (2010) (16)
Agent Naming and Coordination: Actor Based Models and Infrastructures (2001) (16)
A Methodology for Programming Scalable Architectures (1994) (16)
Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition (1996) (16)
An Actor-Based Framework for Heterogeneous Computing Systems (1992) (15)
Actor Languages for Specification of Parallel Computations (1994) (15)
Foundational issues in concurrent computing (1988) (14)
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking (2016) (14)
Linguistic Support of Receptionists for Shared Resources (1984) (14)
Random Forest Based Coarse Locating and KPCA Feature Extraction for Indoor Positioning System (2014) (14)
A SERVICE-OREINTED ARCHITECTURE FOR STRUCTURAL HEALTH MONITORING USING SMART SENSORS (2008) (13)
Automated Veri.cation of the Dependability of Object-Oriented Real-Time Systems (2003) (13)
Adaptive Agent Allocation for Massively Multi-agent Applications (2004) (13)
Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming San Diego, September 26-27, 1988 (1989) (12)
Quantitative Evaluation of Systems (2016) (12)
Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems (2007) (12)
Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming (1988) (12)
Architecture design principles to support adaptive service orchestration in WSN applications (2007) (12)
Energy-performance trade-off analysis of parallel algorithms for shared memory architectures (2011) (12)
Modular Construction and Composition of Distributed Software Architectures (1998) (11)
DecisionQoS: an adaptive, self-evolving QoS arbitration module for storage systems (2004) (11)
Algorithmic Skeletons (2011) (11)
How well can congestion pricing neutralize denial of service attacks? (2012) (11)
Techniques for Executing and Reasoning about Specification Diagrams (2004) (11)
Coordination Services for Wireless Sensor Networks (2004) (10)
iLTLchecker: a probabilistic model checker for multiple DTMCs (2005) (10)
Implicit Programming and the Logic of Constructible Duality (1997) (10)
ATSpace: a middle agent to support application oriented matchmaking and brokering services (2004) (10)
Dynamic Agent Allocation for Large-Scale Multi-Agent Applications (2005) (10)
Avoiding energy wastage in parallel applications (2010) (10)
Towards Re-usable Real-Time Objects (1998) (9)
Building portable middleware services for heterogeneous cyber-physical systems (2012) (9)
Modular heterogeneous system development: a critical analysis of Java (1998) (9)
Performance evaluation of sensor networks by statistical modeling and euclidean model checking (2013) (9)
A Reflective Model of Inheritance (1992) (9)
A Theory of May Testing for Actors (2002) (9)
Parameterized Concurrent Multi-Party Session Types (2012) (9)
Smart Sensing Technology : A New Paradigm for Structural Health Monitoring (2007) (9)
An adaptive programming framework for Web applications (2004) (9)
Automated inference of atomic sets for safe concurrent execution (2013) (8)
AutoLoop: automated action selection in the "observe-analyze-act" loop for storage systems (2005) (8)
The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study (2012) (8)
A Reeective Model of Inheritance (1992) (8)
On the Energy Complexity of Parallel Algorithms (2011) (8)
Parallel implementations of irregular problems using high-level actor language (1996) (8)
Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks (2014) (8)
Concurrent programming for DAI (1999) (8)
Parallel programming and complexity analysis using Actors (1997) (8)
A Visualization Model for Concurrent Systems (1996) (8)
Efficient communication and coordination for large-scale multi-agent systems (2006) (8)
Integrating Encrypted Mobile Agents with Smart Spaces in a Multi-agent Simulator for Resource Management (2010) (8)
Market-based Coordination Strategies for Large-scale Multi-Agent Systems (2007) (8)
SynchNet: A Petri Net Based Coordination Language for Distributed Objects (2003) (8)
Hierarchical garbage collection in scalable distributed systems (1992) (8)
Scalable agent distribution mechanisms for large-scale UAV simulations (2005) (8)
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching (2002) (7)
Space division and dimensional reduction methods for indoor positioning system (2015) (7)
Formal modeling actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday (2011) (7)
Dynamic Macroprogramming of Wireless Sensor Networks with Mobile Agents (2007) (7)
The emerging tapestry of software engineering (1997) (7)
Supporting reconfigurable object distribution for customized web applications (2007) (7)
A modular approach to real-time synchronization (1996) (7)
A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent Systems (2008) (6)
A Protocol Description Language for Customizing Semantics. (1994) (6)
Modeling and analysis of the collective dynamics of large-scale multi-agent systems (2006) (6)
A Modular Approach for Programming Embedded Systems (1996) (6)
Actor Languages for Speciication of Parallel Computations (1994) (6)
Energy Bounded Scalability Analysis of Parallel Algorithms (2009) (6)
Market-based coordination strategies for physical multi-agent systems (2008) (6)
A Message-Passing Paradigm for Object Management (1985) (6)
ActorSpaces: a model for scalable heterogeneous computing (1993) (6)
PARALLEL vs . SEQUENTIAL THRESHOLD CELLULAR AUTOMATA : Comparison and Contrast (2005) (6)
Dynamic Voltage Scaling Techniques for Energy Efficient Synchronized Sensor Network Design (2011) (6)
Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications (2014) (5)
OOPSLA panel on object-based concurrent programming (1991) (5)
Targeted Test Generation for Actor Systems (2018) (5)
Security and fault-tolerance in distributed systems: an actor-based approach (1998) (5)
Automated Testing of Multithreaded Programs Using Race-Detection and Flipping (2006) (5)
Ambiance: adaptive object model-based platform for macroprogramming sensor networks (2006) (5)
The Relation Between Problems in Large-Scale Concurrent Systems and Distributed Databases (1988) (4)
State Aware Data Dissemination over Structured Overlays (2006) (4)
Evaluation of Localization Services Preliminary Report (2003) (4)
Efficient algorithms for parallel sorting on mesh multicomputers (1991) (4)
On the Computational Complexity of Predicting Dynamical Evolution of Large Agent Ensembles (2006) (4)
A multi-agent simulator for resource management in smart spaces (2009) (4)
Efficient compilation of concurrent call/return communication in actor-based programming languages (1996) (4)
Worldwide Computing Middleware (2004) (4)
A Flexible Coordination Framework for Application-Oriented Matchmaking and Brokering Services (2004) (4)
Types for Progress in Actor Programs (2019) (4)
Maximal Clique Based Distributed Group Formation For Task Allocation in Large-Scale Multi-Agent Systems (4)
A theory of testing for asynchronous concurrent systems (2003) (4)
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces (2018) (3)
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (Tools Paper) (2006) (3)
Probabilistic Rewrite Theories (2003) (3)
Linguistic paradigms for programming complex distributed systems (1996) (3)
CyberOrgs : A Model for Decentralized Resource Control in Multi-Agent Systems (2003) (3)
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model (2021) (3)
Atomic Operations (2011) (3)
Autonomous structural health monitoring using wireless smart sensors on a cable-stayed bridge (2010) (3)
Composable QoS-Based Distributed Resource Management (1998) (3)
An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems (2012) (3)
Case Studies in Security and Resource Management for Mobile Objects (1998) (3)
Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration (2005) (3)
Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing (2022) (3)
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring (2006) (3)
Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles' Dynamical Evolution (2005) (3)
An underlay for sensor networks: localized protocols for maintenance and usage (2005) (2)
Proceedings of the ECOOP-OOPSLA Workshop on Object-Based Concurrent Programming Ottawa, Canada, October 21-22, 1990 (1991) (2)
Concurrent garbage collection in the actor model (2018) (2)
Localization of Sparse Sensor Networks Using Layout Information (2005) (2)
Workshop on software engineering for parallel and distributed systems (1997) (2)
Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model (2003) (2)
Supporting Reconfigurable Object Distribution for Customizable Web Applications (2006) (2)
Fair concurrency in actors (abstract only): eager evaluation producers strong convergence (1986) (2)
Special issue on programming based on actors, agents and decentralized control (2015) (2)
A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems (2008) (2)
Ports for Objects in Concurrent Logic Programs (2003) (2)
Reflecting on Adaptive Distributed Monitoring (2007) (2)
Case Studies in Security and Resource Management for Mobile Object Systems (2002) (2)
A compositional approach for modeling and timing analysis of wireless sensor and actuator networks (2017) (2)
A Parametric Model for Large Scale Agent Systems (2005) (2)
Concurrent Java (1997) (2)
A Foundation for Actor Computation Contents 1 Introduction 2 1.1 Overview 3 1.2 Related Work 5 2 Our Actor Language (1993) (1)
Polus: a self-evolving model-based approach for automating the observe-analyze-act loop (2005) (1)
Scalable concurrent computing (1992) (1)
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA (2012) (1)
Multiple Concurrency Control Policies in an Object-Oriented Programming System (2003) (1)
Foundations of object-based concurrent programming (panel session) (1990) (1)
Introduction to Software Technology Track (2014) (1)
Abstraction And Compositionality (1986) (1)
Probabilistic modeling and verification of large scale systems (2006) (1)
Link Quality Estimation for Data-Intensive Sensor Network Applications (2011) (1)
Decentralized resource control for multi-agent systems (2004) (1)
AGERE!: programming based on actors, agents, and decentralized control (2012) (1)
Compositional Software Architectures (1998) (1)
ConcurrentObject-Oriented Programmingand Petri Nets (2001) (1)
AGERE!'12 : proceedings of the 2012 ACM Workshop on Programming Systems, Languages and Applications based on Actors, Agents, and Decentralized Control Abstractions : October 21-22, 2012, Tucson, Arizona, USA (2012) (1)
Actors (2019) (1)
Concurrent systems for knowledge processing (1989) (1)
Computational models, programming languages and algorithms for sensor networks: towards a paradigm shift in computer science (2006) (1)
DiffGen : A Toolkit for Generating Distributed Protocol Code (2004) (1)
Concurrent Objects and Beyond (2014) (1)
Theoretical Considerations: Inferring and Enforcing Use Patterns for Mobile Cloud Assurance (2018) (1)
Scalable Termination Detection for Distributed Actor Systems (2020) (1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Foreword (2010) (1)
Concolic Testing of Sequential and Concurrent Programs (2006) (1)
An Actor Based Framework for Managing Multimedia QoS (2002) (1)
A Fine-Grained Adaptive Middleware Framework for Parallel Mobile Hybrid Cloud Applications (2015) (1)
Proceedings of the workshop on Object-based concurrent programming (1991) (1)
A service-oriented architecture for dynamic macroprogramming of sensor networks (2011) (1)
Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems (2013) (1)
Modular specification of partitioning and distribution strategies (1997) (0)
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract) (2016) (0)
1 Distributed Execution of Actor Programs (0)
Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing (2022) (0)
General Design Decisions (1986) (0)
Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings (2010) (0)
Agent Technologies Continue to Grow (1998) (0)
CC++: A Declarative Concurrent Object-Oriented Programming Notation (2003) (0)
Proceedings of the First International Workshop on Formal Methods for and on the Cloud: Actors and Meta-Actors: Two-Level for Reasoning about Cloud Infrastructure (2016) (0)
A MetaArchitecture for QoS-Based Distributed Resource Management (2004) (0)
Rapid Emergency Response System using Smartphones (2014) (0)
Foundations of Concurrent Object-Oriented Programming (Panel) (1990) (0)
Workshop 05+06: Programming languages and concurrent object-oriented programming (1997) (0)
Session details: Agent-orientation (2013) (0)
Workshop on Softiare Engineering for Parallel and Distributed Systems (1997) (0)
Quantitative Evaluation of Systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings (2016) (0)
Object Oriented Architectures, Tools, and Applications (2000) (0)
Special issue: High availability in CORBA (1998) (0)
AGERE! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control (2011) (0)
The mountains are in labor (1996) (0)
A Scalable Algorithm for Decentralized Actor Termination Detection (2021) (0)
An Assessment of European Parallel Software Research (1994) (0)
Session details: AGERE!'11 proceedings (2011) (0)
Track Introduction (2008) (0)
Introduction to the software track (2004) (0)
A Linguistic Framework for DynamicComposition of Dependability Protocols (2007) (0)
Introduction to Software Technology Track (2013) (0)
From the editor-in-chief: Strategic directions (1996) (0)
International workshop on distributed mobile systems & services (DMSS 2014) (2014) (0)
Preface to the special issue on Coordination Models and Languages (Coordination 2010) (2013) (0)
Runtime Systems for Energy Efficiency in Advanced Computing Systems. (2022) (0)
Building dependable concurrent systems through probabilistic inference, predictive monitoring and self-adaptation (2016) (0)
A Visualization Model for Concurrent (1996) (0)
An equational logic and a coordination language for distributed objects (2005) (0)
Streaming Analytics with Adaptive Near-data Processing (2022) (0)
COSMOS: An Operating System for a Fine-Grain Concurrent Computer (2003) (0)
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking (2017) (0)
Welcome to agere (2012) (0)
Monitoring Concurrent Object-Based Programs (2003) (0)
Types for Progress in Actor Programs ∗ Minas (2019) (0)
Composing Active Objects (2003) (0)
Specifying Concurrent Languages and Systems with Δ-GRAMMARS (2003) (0)
Thin Middleware for Ubiquitous Computing (2020) (0)
Computation In Actor Systems (1986) (0)
Welcome to Concurrency (1997) (0)
The world wide computer: prospects for parallel and distributed computing an the web (2001) (0)
Partitioning and Distribution Strategies as First Class Objects (0)
Interaction Abstract Machines (2003) (0)
The elusive goal of intelligence (1996) (0)
Customizing web applications through adaptable components and reconfigurable distribution (2007) (0)
Proceedings of the 12th international conference on Coordination Models and Languages (2010) (0)
Ab Initio Molecular Dynamics (2011) (0)
A More Expressive Language (1986) (0)
Session details: Keynote address (2013) (0)
CS477 Formal Software Dev Methods (2018) (0)
Asynchronous Communication Trees (1986) (0)
Cross-Fertilizing Concurrent Computing Disciplines (1998) (0)
A Glossary Of Actor Terms (1986) (0)
Formal methods for Actor systems: A progress report (1992) (0)
Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure (2015) (0)
Towards a Hierarchical Taxonomy Agents * of Autonomous (2004) (0)
Automated Performance Tuning (2011) (0)
Prototyping reflective architectures for coordination constructs (2009) (0)
True Concurrency vs . Nondeterministic Sequential Interleavings in 1-D Cellular Automata (2003) (0)
Integrating Encrypted Mobile Agents with Smart Homes (2009) (0)
Eventual consensus in Synod: verification using a failure-aware actor model (2022) (0)
A Model For Actor Systems (1986) (0)
13 Thin Middleware for Ubiquitous Computing Koushik Sen (0)
Probabilistic Programming, Estimation, and Euclidean Model Checking for Aggregate Behavior of Concurrent Systems: Invited Presentation at the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (2016) (0)
Software Technology Track Introduction (2007) (0)
Introduction to the Software Technology Track (2012) (0)
COMPUTING IN PERVASIVE CYBERSPACE : Freed from the temporal constraint of hardware, software could be the ultimate cyberorganism-a mind taking a body as needed to fulfill a paticular function or mission (2008) (0)
An agent-based framework for inhabitants' untraceability in ubiquitous environments (2009) (0)
Formal Verification of Safety-Critical Aerospace Systems (2023) (0)
Dynamic Probabilistic Inference of Atomic Sets (2014) (0)
Our magazine's new face (1996) (0)
13 Thin Middleware for Ubiquitous Computing (2007) (0)
Software Technology Track (2005) (0)
Different approaches around the world (1995) (0)
Supporting Modularity in Highly-Parallel Programs (2003) (0)
A Survey of Logic Programming-Based Object-Oriented Languages (2003) (0)
ambiance (2022) (0)
Actor-Oriented Programming for the Internet of Things (2017) (0)
Improved Dynamic Partial-Order Reduction for Asynchronous Message-Passing Programs (2010) (0)
Workshops 05+06: Programming languages and concurrent object-oriented programming (1997) (0)
Actors Programming for the Mobile Cloud (Invited Talk) (2014) (0)
Programming Languages for Distributed Systems (NII Shonan Meeting 149) (2019) (0)
Dependable distributed object systems (1997) (0)
CHOICES: A Parallel Object-Oriented Operating System (2003) (0)
Efficient Algorithms for Parallel on Mesh Multicomputers (1991) (0)
Introduction to Software Technology (2020) (0)
Message from the CCGrid 2016 Program Chairs (2016) (0)
Editorial - High Availability in CORBA (1998) (0)
Monitormining: creating domain knowledge for system automation using a gray-box approach (2005) (0)
Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control (2011) (0)

This paper list is powered by the following services:

Other Resources About Gul Agha

en.wikipedia.org

What Schools Are Affiliated With Gul Agha ?

Gul Agha is affiliated with the following schools: