about
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open ProblemsSchedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model CheckingRecent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructureSpace division and dimensional reduction methods for indoor positioning systemSpecial issue on programming based on actors, agents and decentralized controlTargeted test input generation using symbolic-concrete backward executionActors Programming for the Mobile CloudDesign and Implementation of a Mobile Actor Platform for Wireless Sensor NetworksSolving complex path conditions through heuristic search on induced polytopesTowards a Flexible Fine-Grained Access Control System for Modern Cloud ApplicationsPerformance evaluation of sensor networks by statistical modeling and euclidean model checkingThe microelectronic wireless nitrate sensor network for environmental water monitoringResilient localization for sensor networks in outdoor environmentsReliable multi-hop communication for structural health monitoringComputational Models, Programming Languages and Algorithms for Sensor Networks: Towards a Paradigm Shift in Computer Science
P50
Q59690333-0BD8C529-0E83-48F3-9585-F6F9DDCF3FB4Q59690338-FE12C2D7-2CF0-4530-ACE5-6D971ECC2C5BQ59690344-B2BA50F4-9BDA-46D7-A660-8D03646001F9Q59690349-A9518D51-BD15-4756-982A-B673E9DA3419Q59690352-C90D943A-8254-4CF7-859A-250C25F0A7D2Q59690361-20D2F9EE-4E9A-4C4B-810D-F624CF6A735BQ59690366-EA855291-0EAE-451E-B48A-2D15770E82B7Q59690370-EDD0946A-28DD-4AF8-B191-82C850B0D7B7Q59690377-F1187FB9-6AF3-4CB0-B979-B7BBF13ADC48Q59690381-F829AB7C-15ED-4537-8164-88826936B2F1Q59690385-28F2DA09-7AC9-4B53-8E41-DC6D8726F59FQ59690391-55C6E97D-3A0C-4197-8CBD-5397DEFD5B58Q59690400-928B69B4-F0FC-4A35-B359-ABF223FDD73FQ59690405-3C333D0D-3275-4CF3-ADED-0467183F48BCQ59690419-59865DD2-FF31-4C18-8FAB-109DE8E1E7EB
P50
description
computer scientist
@en
informatico
@it
informaticus uit Pakistan
@nl
pakistanischer Informatiker und Akademiker
@de
دانشمند علوم کامپیوتر، مهندس، معلم، و دانشمند پاکستانی
@fa
name
Gul Agha
@ast
Gul Agha
@br
Gul Agha
@co
Gul Agha
@da
Gul Agha
@de
Gul Agha
@en
Gul Agha
@es
Gul Agha
@fr
Gul Agha
@ga
Gul Agha
@id
type
label
Gul Agha
@ast
Gul Agha
@br
Gul Agha
@co
Gul Agha
@da
Gul Agha
@de
Gul Agha
@en
Gul Agha
@es
Gul Agha
@fr
Gul Agha
@ga
Gul Agha
@id
altLabel
Gul A. Agha
@en
prefLabel
Gul Agha
@ast
Gul Agha
@br
Gul Agha
@co
Gul Agha
@da
Gul Agha
@de
Gul Agha
@en
Gul Agha
@es
Gul Agha
@fr
Gul Agha
@ga
Gul Agha
@id
P106
P1006
P214
P227
P244
P269
P646
P1006
P101
P1576
P19
P1960
orHlhhQAAAAJ