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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
CRAVE: Analyzing Cross-Resource Interaction to Improve Energy Efficiency in Systems-on-Chip
Mukherjee, D., Hachem, S., Bao, J., Madsen, C., Ma, T., Ghose, S. & Agha, G., Mar 30 2025, EuroSys 2025 - Proceedings of the 2025 20th European Conference on Computer Systems. Association for Computing Machinery, p. 59-75 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
CRGC: Fault-Recovering Actor Garbage Collection in Pekko
Plyukhin, D., Agha, G. & Montesi, F., Jun 10 2025, In: Proceedings of the ACM on Programming Languages. 9, 185.Research output: Contribution to journal › Article › peer-review
-
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems
Kwon, Y. M., Kim, E. & Agha, G., 2023, Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Proceedings. Jansen, N. & Tribastone, M. (eds.). Springer, p. 65-81 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14287 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Bounded Quantum Regular Language Generator
Kwon, Y. M. & Agha, G., 2023, Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023. Muller, H., Alexev, Y., Delgado, A. & Byrd, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 580-590 11 p. (Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023; vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Eventual consensus in Synod: verification using a failure-aware actor model
Paul, S., Agha, G., Patterson, S. & Varela, C., Dec 2023, In: Innovations in Systems and Software Engineering. 19, 4, p. 395-410 16 p.Research output: Contribution to journal › Article › peer-review