Edit Profile Agha, Gul A. Compute Distance To: Compute Author ID: agha.gul-a Published as: Agha, G.; Agha, Gul; Agha, Gul A. External Links: MGP · Wikidata Documents Indexed: 30 Publications since 1985, including 5 Books all top 5 Co-Authors 3 single-authored 8 Sen, Koushik 6 Thati, Prasanna 5 Viswanathan, Mahesh 3 Talcott, Carolyn L. 3 Ziaei, Reza 2 Clarke, Dave 2 Meseguer Guaita, José 2 Roşu, Grigore 2 Tosic, Predrag T. 2 Vardhan, Abhay 1 Chang, Po-Hao 1 Danvy, Olivier 1 De Cindio, Fiorella 1 Houck, Chris 1 Kumar, Nirman 1 Kumar, Vemuri Vasantha 1 Kwon, YoungMin 1 Mason, Ian A. 1 Perrott, Ron 1 Rozenberg, Grzegorz 1 Singh, Varinder 1 Smith, Scott F. 1 Tomlinson, Charles 1 Van Houdt, Benny 1 Venkatasubramanian, Nalini Serials 4 Lecture Notes in Computer Science 1 Science of Computer Programming 1 International Journal of Parallel Programming 1 Journal of Functional Programming Fields 30 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 19 Publications have been cited 112 times in 97 Documents Cited by ▼ Year ▼ A foundation for actor computation. Zbl 0870.68091Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L. 26 1997 On statistical model checking of stochastic systems. Zbl 1081.68635Sen, Koushik; Viswanathan, Mahesh; Agha, Gul 19 2005 Model-checking Markov chains in the presence of uncertainties. Zbl 1180.68179Sen, Koushik; Viswanathan, Mahesh; Agha, Gul 16 2006 Statistical model checking of black-box probabilistic systems. Zbl 1103.68639Sen, Koushik; Viswanathan, Mahesh; Agha, Gul 16 2004 A rewriting based model for probabilistic distributed object systems. Zbl 1253.68244Kumar, Nirman; Sen, Koushik; Meseguer, José; Agha, Gul 5 2003 Generating optimal linear temporal logic monitors by coinduction. Zbl 1215.68134Sen, Koushik; Roşu, Grigore; Agha, Gul 5 2003 On computational complexity of counting fixed points in symmetric Boolean graph automata. Zbl 1161.68608Tošić, Predrag T.; Agha, Gul A. 4 2005 Using language inference to verify omega-regular properties. Zbl 1087.68062Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul 4 2005 An algebraic theory of actors and its application to a simple object-based language. Zbl 1278.68064Agha, Gul; Thati, Prasanna 4 2004 Actively learning to verify safety for FIFO automata. Zbl 1117.68416Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul 3 2004 A theory of may testing for actors. Zbl 1048.68059Thati, Prasannaa; Ziaei, Reza; Agha, Gul 2 2002 LTLC: Linear temporal logic for control. Zbl 1143.68456Kwon, YoungMin; Agha, Gul 1 2008 Online efficient predictive safety analysis of multithreaded programs. Zbl 1126.68357Sen, Koushik; Roşu, Grigore; Agha, Gul 1 2004 Techniques for executing and reasoning about specification diagrams. Zbl 1108.68415Thati, Prasanna; Talcott, Carolyn; Agha, Gul 1 2004 A theory of may testing for asynchronous calculi with locality and no name matching. Zbl 1275.68106Thati, Prasannaa; Ziaei, Reza; Agha, Gul 1 2002 A formal model for reasoning about adaptive QoS-enabled middleware. Zbl 0987.68888Venkatasubramanian, Nalini; Talcott, Carolyn; Agha, Gul 1 2001 Concurrent object-oriented programming and Petri nets. Advances in Petri nets. Zbl 0976.68544Agha, Gul A. (ed.); De Cindio, Fiorella (ed.); Rozenberg, Grzegorz (ed.) 1 2001 HAL: A high-level actor language and its distributed implementation. Zbl 0850.68120Houck, Chris; Agha, Gul 1 1992 Efficient algorithms for parallel sorting on mesh multicomputers. Zbl 0761.68043Singh, V.; Kumar, V.; Agha, G.; Tomlinson, C. 1 1991 LTLC: Linear temporal logic for control. Zbl 1143.68456Kwon, YoungMin; Agha, Gul 1 2008 Model-checking Markov chains in the presence of uncertainties. Zbl 1180.68179Sen, Koushik; Viswanathan, Mahesh; Agha, Gul 16 2006 On statistical model checking of stochastic systems. Zbl 1081.68635Sen, Koushik; Viswanathan, Mahesh; Agha, Gul 19 2005 On computational complexity of counting fixed points in symmetric Boolean graph automata. Zbl 1161.68608Tošić, Predrag T.; Agha, Gul A. 4 2005 Using language inference to verify omega-regular properties. Zbl 1087.68062Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul 4 2005 Statistical model checking of black-box probabilistic systems. Zbl 1103.68639Sen, Koushik; Viswanathan, Mahesh; Agha, Gul 16 2004 An algebraic theory of actors and its application to a simple object-based language. Zbl 1278.68064Agha, Gul; Thati, Prasanna 4 2004 Actively learning to verify safety for FIFO automata. Zbl 1117.68416Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul 3 2004 Online efficient predictive safety analysis of multithreaded programs. Zbl 1126.68357Sen, Koushik; Roşu, Grigore; Agha, Gul 1 2004 Techniques for executing and reasoning about specification diagrams. Zbl 1108.68415Thati, Prasanna; Talcott, Carolyn; Agha, Gul 1 2004 A rewriting based model for probabilistic distributed object systems. Zbl 1253.68244Kumar, Nirman; Sen, Koushik; Meseguer, José; Agha, Gul 5 2003 Generating optimal linear temporal logic monitors by coinduction. Zbl 1215.68134Sen, Koushik; Roşu, Grigore; Agha, Gul 5 2003 A theory of may testing for actors. Zbl 1048.68059Thati, Prasannaa; Ziaei, Reza; Agha, Gul 2 2002 A theory of may testing for asynchronous calculi with locality and no name matching. Zbl 1275.68106Thati, Prasannaa; Ziaei, Reza; Agha, Gul 1 2002 A formal model for reasoning about adaptive QoS-enabled middleware. Zbl 0987.68888Venkatasubramanian, Nalini; Talcott, Carolyn; Agha, Gul 1 2001 Concurrent object-oriented programming and Petri nets. Advances in Petri nets. Zbl 0976.68544Agha, Gul A. (ed.); De Cindio, Fiorella (ed.); Rozenberg, Grzegorz (ed.) 1 2001 A foundation for actor computation. Zbl 0870.68091Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L. 26 1997 HAL: A high-level actor language and its distributed implementation. Zbl 0850.68120Houck, Chris; Agha, Gul 1 1992 Efficient algorithms for parallel sorting on mesh multicomputers. Zbl 0761.68043Singh, V.; Kumar, V.; Agha, G.; Tomlinson, C. 1 1991 all cited Publications top 5 cited Publications all top 5 Cited by 227 Authors 10 Talcott, Carolyn L. 7 Legay, Axel 5 Larsen, Kim Guldstrand 5 Olveczky, Peter Csaba 4 Delahaye, Benoît 4 Mason, Ian A. 4 Meseguer Guaita, José 4 Milazzo, Paolo 4 Ren, Shangping 3 Barbuti, Roberto 3 Clarke, Edmund Melson jun. 3 Henrio, Ludovic 3 Johnsen, Einar Broch 3 Kwiatkowska, Marta Z. 3 Levi, Francesca 3 Owe, Olaf 3 Sirjani, Marjan 3 Viswanathan, Mahesh 2 Baier, Christel 2 Barrett, Chris L. 2 Bérard, Béatrice 2 Caillaud, Benoît 2 Fisman, Dana 2 Francalanza, Adrian 2 Gaspari, Mauro 2 Haddad, Serge 2 Hunt, Harry Bowen III 2 Katoen, Joost-Pieter 2 Lassaigne, Richard 2 Liu, Si 2 Marathe, Madhav V. 2 Martí-Oliet, Narciso 2 Pedersen, Mikkel Lykke 2 Peyronnet, Sylvain 2 Ravi, S. S. 2 Rosenkrantz, Daniel J. 2 Scatena, Guido 2 Sen, Koushik 2 Stearns, Richard Edwin 2 Wąsowski, Andrzej 2 Younes, Håkan L. S. 2 Zuliani, Paolo 1 Abate, Alessandro 1 Abbasi, Rosa 1 Abdulla, Parosh Aziz 1 Ábrahám, Erika 1 Aceto, Luca 1 Agha, Gul A. 1 Aichernig, Bernhard K. 1 Aledo, Juan Ángel 1 Alur, Rajeev 1 Ameur-Boulifa, R. 1 Andrei, Oana 1 Angluin, Dana 1 Artho, Cyrille 1 Barringer, Howard 1 Bart, Anicet 1 Basuki, Thomas Anung 1 Bergstra, Jan A. 1 Betz, Tobias 1 Bisping, Benjamin 1 Bjørk, Joakim 1 Bøgsted Poulsen, Danny 1 Boker, Udi 1 Boreale, Michele 1 Bove, Pasquale 1 Brim, Luboš 1 Cabac, Lawrence 1 Cadilhac, Michaël 1 Caromel, Denis 1 Cerone, Antonio 1 Češka, Milan 1 Chadha, Rohit 1 Chen, Guoliang 1 Chen, Yingke 1 Chothia, Tom 1 Coletta, Alessio 1 Colombo, Christian 1 Crafa, Silvia 1 Daca, Przemysław 1 Dannenberg, Frits 1 Dantas, Yuri Gil 1 David, Alexandre 1 de Alfaro, Luca 1 de Boer, Frank S. 1 De Nicola, Rocco 1 Díaz, Luis Guillermo 1 Donzé, Alexandre 1 d’Orso, Julien 1 Dragoni, Nicola 1 Dullerud, Geir E. 1 Duvigneau, Michael 1 Fahrenberg, Uli 1 Falcone, Yliès 1 Field, John Everett 1 Fonseca, Iguatemi E. 1 Forejt, Vojtěch 1 Fournet, Cédric 1 Fournier, Paulin 1 Gerhold, Marcus ...and 127 more Authors all top 5 Cited in 22 Serials 16 Theoretical Computer Science 12 Formal Methods in System Design 7 The Journal of Logic and Algebraic Programming 7 Journal of Logical and Algebraic Methods in Programming 6 Information and Computation 4 Acta Informatica 2 Artificial Intelligence 2 Science of Computer Programming 2 Formal Aspects of Computing 2 Logical Methods in Computer Science 1 Automatica 1 Information Sciences 1 Annals of Pure and Applied Logic 1 Machine Learning 1 Concurrency: Practice and Experience 1 Discrete Event Dynamic Systems 1 Journal of Statistical Computation and Simulation 1 Journal of Functional Programming 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Journal of Applied Mathematics 1 ACM Transactions on Computational Logic 1 Nonlinear Analysis. Hybrid Systems all top 5 Cited in 13 Fields 91 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 10 Probability theory and stochastic processes (60-XX) 8 Biology and other natural sciences (92-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Operations research, mathematical programming (90-XX) 4 Systems theory; control (93-XX) 3 Statistics (62-XX) 2 Combinatorics (05-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 History and biography (01-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline