If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Gul A Agha is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Model checking
Semantics
Sensor networks
Computer programming languages
Communication
Specifications
Smart sensors
Object oriented programming
Message passing
Structural health monitoring
Middleware
Testing
Computer programming
Parallel algorithms
Synchronization
Servers
Scheduling
Wireless sensor networks
Monitoring
Mobile agents
Temporal logic
Decentralized control
Markov processes
Multi agent systems
Real time systems
Scalability
Computer systems programming
High level languages
Data storage equipment
Open systems
Costs
Resource allocation
Sensors
Network protocols
Distributed computer systems
Probability distributions
Computer systems
Embedded systems
Software engineering
Simulators
Pattern matching
Computer science
Quality of service
Cable stayed bridges
Fault tolerance
Learning systems
Memory architecture
Hardware
Wi-Fi
Concretes

Mathematics

Concurrent Systems
Model Checking
Concurrent
Programming
Parallel Algorithms
Distributed Systems
Testing
Model
Concurrency
Specification
Actors
Reasoning
Programming Languages
Partial Order
Multicomputers
Embedded Systems
Safety
Concurrent Programming
Linear Temporal Logic
Middleware
Sensor Networks
Scalability
Statistical Model
Trace
Multi-agent Systems
Real-time
Paradigm
Java
Resources
Requirements
Order Reduction
Nondeterminism
Verify
Computing
Object-oriented Programming
Large-scale Systems
Web Application
Automata
Markov chain
Sorting
Language
Synchronization
Stochastic Systems
Monitoring
Software
Artificial Intelligence
Bioinformatics
Discrete-time
Logic
Computer Science