The SCEAS System
Navigation Menu

Search the dblp DataBase


Gul Agha: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gul Agha, Christian J. Callsen
    ActorSpaces: An Open Distributed Programming Paradigm. [Citation Graph (1, 0)][DBLP]
    PPOPP, 1993, pp:23-32 [Conf]
  2. Gul Agha
    Concurrent Object-Oriented Programming. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1990, v:33, n:9, pp:125-141 [Journal]
  3. Predrag T. Tosic, Gul Agha
    Characterizing Configuration Spaces of Simple Threshold Cellular Automata. [Citation Graph (0, 0)][DBLP]
    ACRI, 2004, pp:861-870 [Conf]
  4. Prasanna Thati, Carolyn L. Talcott, Gul Agha
    Techniques for Executing and Reasoning about Specification Diagrams. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:521-536 [Conf]
  5. Prasannaa Thati, Reza Ziaei, Gul Agha
    A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:223-238 [Conf]
  6. Sameer Sundresh, WooYoung Kim, Gul Agha
    SENS: A Sensor, Environment and Network Simulator. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2004, pp:221-0 [Conf]
  7. Gul Agha
    Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:1-10 [Conf]
  8. Koushik Sen, Grigore Rosu, Gul Agha
    Generating Optimal Linear Temporal Logic Monitors by Coinduction. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:260-275 [Conf]
  9. Nadeem Jamali, Indratmo, Xinghui Zhao, Gul Agha
    Decentralized Resource Control for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:1366-1367 [Conf]
  10. YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha
    ActorNet: an actor platform for wireless sensor networks. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1297-1300 [Conf]
  11. Gul Agha, Prasanna Thati
    An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:26-57 [Conf]
  12. Koushik Sen, Gul Agha
    CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:419-423 [Conf]
  13. Koushik Sen, Mahesh Viswanathan, Gul Agha
    Statistical Model Checking of Black-Box Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:202-215 [Conf]
  14. Koushik Sen, Mahesh Viswanathan, Gul Agha
    On Statistical Model Checking of Stochastic Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:266-280 [Conf]
  15. Gul Agha
    The World Wide Computer: Prospects for Parallel and Distributed Computing on the Web. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2001, pp:18- [Conf]
  16. Gul Agha
    Semantic Considerations in the Actor Paradigm of Concurrent Computation. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:151-179 [Conf]
  17. Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
    Towards a Theory of Actor Computation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:565-579 [Conf]
  18. Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi
    Linguistic Support of Receptionists for Shared Resources. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:330-359 [Conf]
  19. Carlos A. Varela, Gul Agha
    A Hierarchical Model for Coordination of Concurrent Activities. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:166-182 [Conf]
  20. Gul Agha
    The Relation between Problems in Large-Scale Concurrent Systems and Distributed Databases. [Citation Graph (0, 0)][DBLP]
    DPDS, 1988, pp:2-12 [Conf]
  21. Svend Frølund, Gul Agha
    A Language Framework for Multi-Object Coordination. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1993, pp:346-360 [Conf]
  22. Suresh Jagannathan, Gul Agha
    A Reflective Model of Inheritance. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1992, pp:350-371 [Conf]
  23. Svend Frølund, Gul Agha
    Abstracting Interactions Based on Message Sets. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshop, 1994, pp:107-124 [Conf]
  24. Dejan S. Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright
    Case Studies in Security and Resource Management for Mobile Objects. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:306- [Conf]
  25. Shangping Ren, Gul Agha
    A Modular Approach for Programming Embedded Systems. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:170-207 [Conf]
  26. Gul Agha
    Object Oriented Architectures, Tools, and Applications. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2000, pp:1029-1030 [Conf]
  27. Koushik Sen, Gul Agha
    Automated Systematic Testing of Open Distributed Programs. [Citation Graph (0, 0)][DBLP]
    FASE, 2006, pp:339-356 [Conf]
  28. Carl Hewitt, Gul Agha
    Guarded Horn Clause Languages: Are They Deductive and Logical? [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:650-657 [Conf]
  29. Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha
    A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:197-221 [Conf]
  30. Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha
    A Rewriting Based Model for Probabilistic Distributed Object Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:32-46 [Conf]
  31. Koushik Sen, Grigore Rosu, Gul Agha
    Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:211-226 [Conf]
  32. Prasannaa Thati, Reza Ziaei, Gul Agha
    A Theory of May Testing for Actors. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:147-162 [Conf]
  33. Gul Agha
    Formal methods for Actor systems: A progress report. [Citation Graph (0, 0)][DBLP]
    FORTE, 1992, pp:217-228 [Conf]
  34. Gul Agha, Carl Hewitt
    Concurrent Programming Using Actors: Exploiting large-Scale Parallelism. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1985, pp:19-41 [Conf]
  35. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
    Actively Learning to Verify Safety for FIFO Automata. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:494-505 [Conf]
  36. Reza Ziaei, Gul Agha
    SynchNet: A Petri Net Based Coordination Language for Distributed Objects. [Citation Graph (0, 0)][DBLP]
    GPCE, 2003, pp:324-343 [Conf]
  37. Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. Varela
    Modular Heterogeneous System Development: A Critical Analysis of Java. [Citation Graph (0, 0)][DBLP]
    Heterogeneous Computing Workshop, 1998, pp:144-155 [Conf]
  38. Gul Agha
    Software Technology Track Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 2004, pp:- [Conf]
  39. Gul Agha
    Software Technology Track. [Citation Graph (0, 0)][DBLP]
    HICSS, 2005, pp:- [Conf]
  40. Gul Agha
    Track Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 2006, pp:- [Conf]
  41. Rick Kazman, Gul Agha
    Software Technology Track Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 2007, pp:255- [Conf]
  42. Koushik Sen, Gul Agha
    A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2006, pp:166-182 [Conf]
  43. Myeong-Wuk Jang, Amr Abdel Momen, Gul Agha
    ATSpace: A Middle Agent to Support Application Oriented Matchmaking and Brokering Services. [Citation Graph (0, 0)][DBLP]
    IAT, 2004, pp:393-396 [Conf]
  44. YoungMin Kwon, Gul Agha
    Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:194-208 [Conf]
  45. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
    Learning to Verify Safety Properties. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:274-289 [Conf]
  46. Christopher R. Houck, Gul Agha
    HAL: A High-Level Actor Language and Its Distributed Implementation. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1992, pp:158-165 [Conf]
  47. Gul Agha, Stefano Russo
    Workshop on Software Engineering for Parallel and Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:678- [Conf]
  48. Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
    Efficient Decentralized Monitoring of Safety in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:418-427 [Conf]
  49. R. Panwar, W. Kim, Gul Agha
    Parallel Implementations of Irregular Problems Using High-Level Actor Language. [Citation Graph (0, 0)][DBLP]
    IPPS, 1996, pp:857-862 [Conf]
  50. Vineet Singh, Vipin Kumar, Gul Agha, Chris Tomlinson
    Scalability of Parallel Sorting on Mesh Multicomputers. [Citation Graph (0, 0)][DBLP]
    IPPS, 1991, pp:92-101 [Conf]
  51. Predrag T. Tosic, Gul Agha
    Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  52. Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
    Decentralized runtime analysis of multithreaded applications. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  53. Brian Nielsen, Shangping Ren, Gul Agha
    Specification of Real-Time Interaction Constraints. [Citation Graph (0, 0)][DBLP]
    ISORC, 1998, pp:206-214 [Conf]
  54. Abhay Vardhan, Gul Agha
    Using passive object garbage collection algorithms for garbage collection of active objects. [Citation Graph (0, 0)][DBLP]
    MSP/ISMM, 2002, pp:213-220 [Conf]
  55. Nalini Venkatasubramanian, Gul Agha, Carolyn L. Talcott
    Scalable Distributed Garbage Collection for Systems of Active Objects. [Citation Graph (0, 0)][DBLP]
    IWMM, 1992, pp:134-147 [Conf]
  56. Gul Agha, Christopher R. Houck, R. Panwar
    Distributed Execution of Actor Programs. [Citation Graph (0, 0)][DBLP]
    LCPC, 1991, pp:1-17 [Conf]
  57. Won Kim, Gul Agha
    Comilation of a Highly Parallel Actor-Based Language. [Citation Graph (0, 0)][DBLP]
    LCPC, 1992, pp:1-15 [Conf]
  58. Shangping Ren, Gul Agha
    RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Languages, Compilers, & Tools for Real-Time Systems, 1995, pp:50-59 [Conf]
  59. Prasannaa Thati, Po-Hao Chang, Gul Agha
    Crawlets: Agents for High Performance Web Search Engines. [Citation Graph (0, 0)][DBLP]
    Mobile Agents, 2001, pp:119-134 [Conf]
  60. Myeong-Wuk Jang, Gul Agha
    Adaptive Agent Allocation for Massively Multi-agent Applications. [Citation Graph (0, 0)][DBLP]
    MMAS, 2004, pp:25-39 [Conf]
  61. Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa
    Foundations of Concurrent Object-Oriented Programming (Panel). [Citation Graph (0, 0)][DBLP]
    OOPSLA/ECOOP, 1990, pp:100- [Conf]
  62. Reza Razavi, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-François Perrot
    Ambiance: adaptive object model-based platform for macroprogramming sensor networks. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2006, pp:663-664 [Conf]
  63. Po-Hao Chang, Gul Agha
    Supporting Reconfigurable Object Distribution for Customizable Web Applications. [Citation Graph (0, 0)][DBLP]
    OTM Workshops (1), 2006, pp:32-33 [Conf]
  64. MyungJoo Ham, Gul Agha
    ARA: A Robust Audit to Prevent Free-Riding in P2P Networks. [Citation Graph (0, 0)][DBLP]
    Peer-to-Peer Computing, 2005, pp:125-132 [Conf]
  65. Liping Chen, Gul Agha
    State Aware Data Dissemination over Structured Overlays. [Citation Graph (0, 0)][DBLP]
    Peer-to-Peer Computing, 2006, pp:145-152 [Conf]
  66. Gul Agha
    Supporting Multiparadigm Programming on Actor Architectures. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1989, pp:1-19 [Conf]
  67. Mark Astley, Gul Agha
    Modular Construction and Composition of Distributed Software Architectures. [Citation Graph (0, 0)][DBLP]
    PDSE, 1998, pp:2-12 [Conf]
  68. Sandeep Uttamchandani, Guillermo A. Alvarez, Gul Agha
    DecisionQoS: An Adaptive, Self-Evolving QoS Arbitration Module for Storage Systems. [Citation Graph (0, 0)][DBLP]
    POLICY, 2004, pp:67-76 [Conf]
  69. Koushik Sen, Mahesh Viswanathan, Gul Agha
    Learning Continuous Time Markov Chains from Sample Executions. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:146-155 [Conf]
  70. Gul Agha
    The Structure and Semantics of Actor Languages. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1990, pp:1-59 [Conf]
  71. YoungMin Kwon, Gul Agha
    Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2006, pp:49-58 [Conf]
  72. Po-Hao Chang, Gul Agha
    Supporting reconfigurable object distribution for customized web applications. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:1286-1292 [Conf]
  73. Po-Hao Chang, WooYoung Kim, Gul Agha
    An Adaptive Programming Framework for Web Applications. [Citation Graph (0, 0)][DBLP]
    SAINT, 2004, pp:152-159 [Conf]
  74. WooYoung Kim, Gul Agha
    Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages. [Citation Graph (0, 0)][DBLP]
    SC, 1995, pp:- [Conf]
  75. Hui Ding, Can Zheng, Lui Sha, Gul Agha
    Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:458-466 [Conf]
  76. Myeong-Wuk Jang, Amr Ahmed Momen, Gul Agha
    Efficient Agent Communication in Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    SELMAS, 2004, pp:236-253 [Conf]
  77. Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha
    Cooperative tracking with binary-detection sensor networks. [Citation Graph (0, 0)][DBLP]
    SenSys, 2003, pp:332-333 [Conf]
  78. Mark Astley, Gul Agha
    Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1998, pp:1-9 [Conf]
  79. Koushik Sen, Darko Marinov, Gul Agha
    CUTE: a concolic unit testing engine for C. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:263-272 [Conf]
  80. Koushik Sen, Grigore Rosu, Gul Agha
    Runtime safety analysis of multithreaded programs. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:337-346 [Conf]
  81. Daniel C. Sturman, Gul Agha
    A Protocol Description Language for Customizing Semantics. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1994, pp:148-157 [Conf]
  82. Koushik Sen, Grigore Rosu, Gul Agha
    Online Efficient Predictive Safety Analysis of Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:123-138 [Conf]
  83. Koushik Sen, Mahesh Viswanathan, Gul Agha
    Model-Checking Markov Chains in the Presence of Uncertainties. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:394-410 [Conf]
  84. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
    Using Language Inference to Verify Omega-Regular Properties. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:45-60 [Conf]
  85. Irma Becerra-Fernandez, Te Wei Wang, Gul Agha, Thant Sin
    Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration. [Citation Graph (0, 0)][DBLP]
    Wissensmanagement (LNCS Volume), 2005, pp:19-31 [Conf]
  86. Hui Ding, Can Zheng, Gul Agha, Lui Sha
    Automated Verification of the Dependability of Object-Oriented Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    WORDS Fall, 2003, pp:171-178 [Conf]
  87. Dejan S. Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright, Franco Travostino
    Case Studies in Security and Resource Management for Mobile Object Systems. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2002, v:5, n:1, pp:45-79 [Journal]
  88. Brian Nielsen, Gul Agha
    Towards Reusable Real-Time Objects. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:7, n:, pp:257-282 [Journal]
  89. Gul Agha
    Introduction. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2002, v:45, n:6, pp:30-32 [Journal]
  90. Mark Astley, Daniel C. Sturman, Gul Agha
    Customizable middleware for modular distributed software. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2001, v:44, n:5, pp:99-107 [Journal]
  91. Carlos A. Varela, Gul Agha
    What after Java? From Objects to Actors. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1998, v:30, n:1-7, pp:573-577 [Journal]
  92. Gul Agha
    Linguistic Paradigms for Programming Complex Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:295-296 [Journal]
  93. Gul Agha
    A Message-Passing Paradigm for Object Management. [Citation Graph (0, 0)][DBLP]
    IEEE Database Eng. Bull., 1985, v:8, n:4, pp:75-82 [Journal]
  94. Mark Astley, Gul Agha
    A Visualization Model for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1996, v:93, n:1, pp:107-131 [Journal]
  95. Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
    A Foundation for Actor Computation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:1, pp:1-72 [Journal]
  96. Christian J. Callsen, Gul Agha
    Open Heterogeneous Computing in Actor Space. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1994, v:21, n:3, pp:289-300 [Journal]
  97. R. Panwar, Gul Agha
    A Methodology for Programming Scalable Architectures. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1994, v:22, n:3, pp:479-487 [Journal]
  98. Shangping Ren, Gul Agha, Masahiko Saito
    A Modular Approach to Programming Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1996, v:36, n:1, pp:4-12 [Journal]
  99. Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky
    OOPSLA panel on object-based concurrent programming. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1991, v:2, n:2, pp:3-15 [Journal]
  100. Masahiko Saito, Gul Agha
    A modular approach to real-time synchronization. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1996, v:7, n:1, pp:13-20 [Journal]
  101. Gul Agha
    Foundational issues in concurrent computing. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1989, v:24, n:4, pp:60-65 [Journal]
  102. Chris Tomlinson, Won Kim, Mark Scheevel, Vineet Singh, B. Will, Gul Agha
    Rosette: An object-oriented concurrent systems architecture. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1989, v:24, n:4, pp:91-93 [Journal]
  103. Carlos A. Varela, Gul Agha
    Programming Dynamically Reconfigurable Open systems with SALSA. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2001, v:36, n:12, pp:20-34 [Journal]
  104. Myeong-Wuk Jang, Gul Agha
    Agent framework services to reduce agent communication overhead in large-scale agent-based simulations. [Citation Graph (0, 0)][DBLP]
    Simulation Modelling Practice and Theory, 2006, v:14, n:6, pp:679-694 [Journal]
  105. Koushik Sen, Grigore Rosu, Gul Agha
    Online efficient predictive safety analysis of multithreaded programs. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:248-260 [Journal]
  106. Rachid Guerraoui, Gul Agha
    Editorial - High Availability in CORBA. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1998, v:4, n:2, pp:71- [Journal]
  107. Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha
    A formal model for reasoning about adaptive QoS-enabled middleware. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2004, v:13, n:1, pp:86-147 [Journal]
  108. Po-Hao Chang, Gul Agha
    Towards Context-Aware Web Applications. [Citation Graph (0, 0)][DBLP]
    DAIS, 2007, pp:239-252 [Conf]
  109. YoungMin Kwon, Gul Agha
    A Markov Reward Model for Software Reliability. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-6 [Conf]
  110. Rajesh K. Karmani, Timo Latvala, Gul Agha
    On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. [Citation Graph (0, 0)][DBLP]
    SASO, 2007, pp:173-182 [Conf]

  111. Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. [Citation Graph (, )][DBLP]

  112. Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. [Citation Graph (, )][DBLP]

  113. LTLC: Linear Temporal Logic for Control. [Citation Graph (, )][DBLP]

  114. Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures. [Citation Graph (, )][DBLP]

  115. Passive Localization: Large Size Sensor Network Localization Based on Environmental Events. [Citation Graph (, )][DBLP]

  116. Towards optimizing energy costs of algorithms for shared memory architectures. [Citation Graph (, )][DBLP]

  117. Actor frameworks for the JVM platform: a comparative analysis. [Citation Graph (, )][DBLP]

  118. An agent-based framework for inhabitants' untraceability in ubiquitous environments. [Citation Graph (, )][DBLP]

  119. Computing in pervasive cyberspace. [Citation Graph (, )][DBLP]

Search in 0.009secs, Finished in 0.016secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002