Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
- Gul A. Agha
aka: Gul Agha
University of Illinois, Urbana, IL, USA
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 246 matches
- 2023
- Saswata Paul, Gul Agha, Stacy Patterson, Carlos A. Varela:
Eventual consensus in Synod: verification using a failure-aware actor model. Innov. Syst. Softw. Eng. 19(4): 395-410 (2023) - YoungMin Kwon, Gul Agha:
Bounded Quantum Regular Language Generator. QCE 2023: 580-590 - YoungMin Kwon, Eunhee Kim, Gul Agha:
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. QEST 2023: 65-81 - 2022
- Christian Breyer, Siavash Khalili, Dmitrii Bogdanov, Manish Ram, Ayobami Solomon Oyewo, Arman Aghahosseini, Ashish Gulagi, A. A. Solomon, Dominik Keiner, Gabriel Lopez, Poul Alberg Østergaard, Henrik Lund, Brian V. Mathiesen, Mark Z. Jacobson, Marta Victoria, Sven Teske, Thomas Pregger, Vasilis Fthenakis, Marco Raugei, Hannele Holttinen, Ugo Bardi, Auke Hoekstra, Benjamin K. Sovacool:
On the History and Future of 100% Renewable Energy Systems Research. IEEE Access 10: 78176-78218 (2022) - Dan Plyukhin, Gul Agha:
A Scalable Algorithm for Decentralized Actor Termination Detection. Log. Methods Comput. Sci. 18(1) (2022) - Tek Raj Chhetri, Sareh Aghaei, Anna Fensel, Ulrich Göhner, Sebnem Gül-Ficici, Jorge Martínez Gil:
Optimising Manufacturing Process with Bayesian Structure Learning and Knowledge Graphs. EUROCAST 2022: 594-602 - Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon:
Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing. ICDE 2022: 1408-1422 - Gul Agha, Dipayan Mukherjee, Atul Sandur:
Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing. UCC 2022: 173-180 - Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon:
Streaming Analytics with Adaptive Near-data Processing. WWW (Companion Volume) 2022: 563-566 - Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon:
Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing. CoRR abs/2202.06021 (2022) - 2021
- Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela:
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. NFM 2021: 249-267 - Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela:
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. CoRR abs/2103.14576 (2021) - Dan Plyukhin, Gul Agha:
A Scalable Algorithm for Decentralized Actor Termination Detection. CoRR abs/2104.05128 (2021) - 2020
- Shahrukh Agha, Usman Ali Gulzari, Farzana Shaheen, Farmanullah Jan:
A high throughput two-dimensional discrete cosine transform and MPEG4 motion estimation using vector coprocessor. J. Real Time Image Process. 17(5): 1319-1330 (2020) - Dan Plyukhin, Gul Agha:
Scalable Termination Detection for Distributed Actor Systems. CONCUR 2020: 11:1-11:23 - Dan Plyukhin, Gul Agha:
Scalable Termination Detection for Distributed Actor Systems. CoRR abs/2007.10553 (2020) - 2019
- Minas Charalambides, Karl Palmskog, Gul Agha:
Types for Progress in Actor Programs. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 315-339 - Philipp Haller, Guido Salvaneschi, Takuo Watanabe, Gul Agha:
Programming Languages for Distributed Systems (NII Shonan Meeting 149). NII Shonan Meet. Rep. 2019 (2019) - 2018
- Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha:
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. Int. J. Softw. Tools Technol. Transf. 20(5): 547-561 (2018) - Gul Agha, Karl Palmskog:
A Survey of Statistical Model Checking. ACM Trans. Model. Comput. Simul. 28(1): 6:1-6:39 (2018) - Tarek Elgamal, Atul Sandur, Phuong Nguyen, Klara Nahrstedt, Gul Agha:
DROPLET: Distributed Operator Placement for IoT Applications Spanning Edge and Cloud Resources. IEEE CLOUD 2018: 1-8 - Dan Plyukhin, Gul Agha:
Concurrent garbage collection in the actor model. AGERE!@SPLASH 2018: 44-53 - Gul Agha, Karl Palmskog:
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces. Principles of Modeling 2018: 16-37 - Sihan Li, Farah Hariri, Gul Agha:
Targeted Test Generation for Actor Systems. ECOOP 2018: 8:1-8:31 - Tarek Elgamal, Atul Sandur, Klara Nahrstedt, Gul Agha:
Costless: Optimizing Cost of Serverless Computing through Function Fusion and Placement. CoRR abs/1811.09721 (2018) - 2017
- Usman Ali Gulzari, Sheraz Anjum, Shahrukh Agha, Sarzamin Khan, Frank Sill Torres:
Efficient and scalable cross-by-pass-mesh topology for networks-on-chip. IET Comput. Digit. Tech. 11(4): 140-148 (2017) - Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha:
A compositional approach for modeling and timing analysis of wireless sensor and actuator networks. SIGBED Rev. 14(3): 49-56 (2017) - Shahrukh Agha, Farman Ullah Jan, Dilshad Sabir, Khurram Saleem, Usman Ali Gulzari, Atif Shakeel:
Optimal motion estimation using reduced bits and its low power VLSI implementation. ICSIPA 2017: 273-278 - Gul Agha:
Actor-Oriented Programming for the Internet of Things. SEKE 2017: ix - 2016
- Hyungchul Yoon, Reza Shiftehfar, Soojin Cho, Billie F. Spencer, Mark E. Nelson, Gul Agha:
Victim Localization and Assessment System for Emergency Responders. J. Comput. Civ. Eng. 30(2) (2016)
skipping 216 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-24 00:09 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint