Research output per year
Research output per year
Fingerprint
Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A SCALABLE ALGORITHM FOR DECENTRALIZED ACTOR TERMINATION DETECTION
Plyukhin, D. & Agha, G., 2022, In: Logical Methods in Computer Science. 18, 1, p. 39:1-39:35Research output: Contribution to journal › Article › peer-review
Open Access -
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
Paul, S., Agha, G. A., Patterson, S. & Varela, C. A., 2021, NASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings. Dutle, A., Muñoz, C. A., Moscato, M. M., Titolo, L. & Perez, I. (eds.). Springer, p. 249-267 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12673 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Scalable termination detection for distributed actor systems
Plyukhin, D. & Agha, G., Aug 1 2020, 31st International Conference on Concurrency Theory, CONCUR 2020. Konnov, I. & Kovacs, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 111-1123 1013 p. 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Types for progress in actor programs
Charalambides, M., Palmskog, K. & Agha, G., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 315-339 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11665 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
A survey of statistical model checking
Agha, G. & Palmskog, K., Jan 2018, In: ACM Transactions on Modeling and Computer Simulation. 28, 1, 6.Research output: Contribution to journal › Review article › peer-review