Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Gul A. Agha"
download as .bib file
@article{DBLP:journals/isse/PaulAPV23,
author = {Saswata Paul and
Gul Agha and
Stacy Patterson and
Carlos A. Varela},
title = {Eventual consensus in Synod: verification using a failure-aware actor
model},
journal = {Innov. Syst. Softw. Eng.},
volume = {19},
number = {4},
pages = {395--410},
year = {2023},
url = {https://doi.org/10.1007/s11334-022-00463-5},
doi = {10.1007/S11334-022-00463-5},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/PaulAPV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qce/KwonA23,
author = {YoungMin Kwon and
Gul Agha},
editor = {Brian La Cour and
Lia Yeh and
Marek Osinski},
title = {Bounded Quantum Regular Language Generator},
booktitle = {{IEEE} International Conference on Quantum Computing and Engineering,
{QCE} 2023, Bellevue, WA, USA, September 17-22, 2023},
pages = {580--590},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/QCE57702.2023.00072},
doi = {10.1109/QCE57702.2023.00072},
timestamp = {Fri, 15 Dec 2023 20:24:40 +0100},
biburl = {https://dblp.org/rec/conf/qce/KwonA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KwonKA23,
author = {YoungMin Kwon and
Eunhee Kim and
Gul Agha},
editor = {Nils Jansen and
Mirco Tribastone},
title = {A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {65--81},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_5},
doi = {10.1007/978-3-031-43835-6\_5},
timestamp = {Wed, 20 Sep 2023 23:28:50 +0200},
biburl = {https://dblp.org/rec/conf/qest/KwonKA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/BreyerKBROAGSKL22,
author = {Christian Breyer and
Siavash Khalili and
Dmitrii Bogdanov and
Manish Ram and
Ayobami Solomon Oyewo and
Arman Aghahosseini and
Ashish Gulagi and
A. A. Solomon and
Dominik Keiner and
Gabriel Lopez and
Poul Alberg {\O}stergaard and
Henrik Lund and
Brian V. Mathiesen and
Mark Z. Jacobson and
Marta Victoria and
Sven Teske and
Thomas Pregger and
Vasilis Fthenakis and
Marco Raugei and
Hannele Holttinen and
Ugo Bardi and
Auke Hoekstra and
Benjamin K. Sovacool},
title = {On the History and Future of 100{\%} Renewable Energy Systems Research},
journal = {{IEEE} Access},
volume = {10},
pages = {78176--78218},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3193402},
doi = {10.1109/ACCESS.2022.3193402},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/BreyerKBROAGSKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/PlyukhinA22,
author = {Dan Plyukhin and
Gul Agha},
title = {A Scalable Algorithm for Decentralized Actor Termination Detection},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:39)2022},
doi = {10.46298/LMCS-18(1:39)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/PlyukhinA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ChhetriAFGGG22,
author = {Tek Raj Chhetri and
Sareh Aghaei and
Anna Fensel and
Ulrich G{\"{o}}hner and
Sebnem G{\"{u}}l{-}Ficici and
Jorge Mart{\'{\i}}nez Gil},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Optimising Manufacturing Process with Bayesian Structure Learning
and Knowledge Graphs},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2022 - 18th International
Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13789},
pages = {594--602},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25312-6\_70},
doi = {10.1007/978-3-031-25312-6\_70},
timestamp = {Mon, 26 Jun 2023 20:47:36 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/ChhetriAFGGG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/SandurPVAJ22,
author = {Atul Sandur and
Chanho Park and
Stavros Volos and
Gul Agha and
Myeongjae Jeon},
title = {Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing},
booktitle = {38th {IEEE} International Conference on Data Engineering, {ICDE} 2022,
Kuala Lumpur, Malaysia, May 9-12, 2022},
pages = {1408--1422},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICDE53745.2022.00110},
doi = {10.1109/ICDE53745.2022.00110},
timestamp = {Thu, 28 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/SandurPVAJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucc/AghaMS22,
author = {Gul Agha and
Dipayan Mukherjee and
Atul Sandur},
title = {Performance, Energy and Parallelism: Using Near Data Processing in
Utility and Cloud Computing},
booktitle = {15th {IEEE/ACM} International Conference on Utility and Cloud Computing,
{UCC} 2022, Vancouver, WA, USA, December 6-9, 2022},
pages = {173--180},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/UCC56403.2022.00031},
doi = {10.1109/UCC56403.2022.00031},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ucc/AghaMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/SandurPVAJ22,
author = {Atul Sandur and
Chanho Park and
Stavros Volos and
Gul Agha and
Myeongjae Jeon},
editor = {Fr{\'{e}}d{\'{e}}rique Laforest and
Rapha{\"{e}}l Troncy and
Elena Simperl and
Deepak Agarwal and
Aristides Gionis and
Ivan Herman and
Lionel M{\'{e}}dini},
title = {Streaming Analytics with Adaptive Near-data Processing},
booktitle = {Companion of The Web Conference 2022, Virtual Event / Lyon, France,
April 25 - 29, 2022},
pages = {563--566},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3487553.3524858},
doi = {10.1145/3487553.3524858},
timestamp = {Thu, 28 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/SandurPVAJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-06021,
author = {Atul Sandur and
Chanho Park and
Stavros Volos and
Gul Agha and
Myeongjae Jeon},
title = {Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing},
journal = {CoRR},
volume = {abs/2202.06021},
year = {2022},
url = {https://arxiv.org/abs/2202.06021},
eprinttype = {arXiv},
eprint = {2202.06021},
timestamp = {Thu, 28 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-06021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/PaulAPV21,
author = {Saswata Paul and
Gul A. Agha and
Stacy Patterson and
Carlos A. Varela},
editor = {Aaron Dutle and
Mariano M. Moscato and
Laura Titolo and
C{\'{e}}sar A. Mu{\~{n}}oz and
Ivan Perez},
title = {Verification of Eventual Consensus in Synod Using a Failure-Aware
Actor Model},
booktitle = {{NASA} Formal Methods - 13th International Symposium, {NFM} 2021,
Virtual Event, May 24-28, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12673},
pages = {249--267},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76384-8\_16},
doi = {10.1007/978-3-030-76384-8\_16},
timestamp = {Wed, 20 Sep 2023 15:15:29 +0200},
biburl = {https://dblp.org/rec/conf/nfm/PaulAPV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-14576,
author = {Saswata Paul and
Gul A. Agha and
Stacy Patterson and
Carlos A. Varela},
title = {Verification of Eventual Consensus in Synod Using a Failure-Aware
Actor Model},
journal = {CoRR},
volume = {abs/2103.14576},
year = {2021},
url = {https://arxiv.org/abs/2103.14576},
eprinttype = {arXiv},
eprint = {2103.14576},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-14576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-05128,
author = {Dan Plyukhin and
Gul Agha},
title = {A Scalable Algorithm for Decentralized Actor Termination Detection},
journal = {CoRR},
volume = {abs/2104.05128},
year = {2021},
url = {https://arxiv.org/abs/2104.05128},
eprinttype = {arXiv},
eprint = {2104.05128},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-05128.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrtip/AghaGSJ20,
author = {Shahrukh Agha and
Usman Ali Gulzari and
Farzana Shaheen and
Farmanullah Jan},
title = {A high throughput two-dimensional discrete cosine transform and {MPEG4}
motion estimation using vector coprocessor},
journal = {J. Real Time Image Process.},
volume = {17},
number = {5},
pages = {1319--1330},
year = {2020},
url = {https://doi.org/10.1007/s11554-019-00892-9},
doi = {10.1007/S11554-019-00892-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrtip/AghaGSJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PlyukhinA20,
author = {Dan Plyukhin and
Gul Agha},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Scalable Termination Detection for Distributed Actor Systems},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {11:1--11:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.11},
doi = {10.4230/LIPICS.CONCUR.2020.11},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/concur/PlyukhinA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10553,
author = {Dan Plyukhin and
Gul Agha},
title = {Scalable Termination Detection for Distributed Actor Systems},
journal = {CoRR},
volume = {abs/2007.10553},
year = {2020},
url = {https://arxiv.org/abs/2007.10553},
eprinttype = {arXiv},
eprint = {2007.10553},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-10553.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CharalambidesPA19,
author = {Minas Charalambides and
Karl Palmskog and
Gul Agha},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Types for Progress in Actor Programs},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {315--339},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_18},
doi = {10.1007/978-3-030-21485-2\_18},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CharalambidesPA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HallerSWA19,
author = {Philipp Haller and
Guido Salvaneschi and
Takuo Watanabe and
Gul Agha},
title = {Programming Languages for Distributed Systems {(NII} Shonan Meeting
149)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/149/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/HallerSWA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KhamespanahSMA18,
author = {Ehsan Khamespanah and
Marjan Sirjani and
Kirill Mechitov and
Gul Agha},
title = {Modeling and analyzing real-time wireless sensor and actuator networks
using actors and model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {5},
pages = {547--561},
year = {2018},
url = {https://doi.org/10.1007/s10009-017-0480-3},
doi = {10.1007/S10009-017-0480-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KhamespanahSMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/AghaP18,
author = {Gul Agha and
Karl Palmskog},
title = {A Survey of Statistical Model Checking},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {28},
number = {1},
pages = {6:1--6:39},
year = {2018},
url = {https://doi.org/10.1145/3158668},
doi = {10.1145/3158668},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/AghaP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/ElgamalSNNA18,
author = {Tarek Elgamal and
Atul Sandur and
Phuong Nguyen and
Klara Nahrstedt and
Gul Agha},
title = {{DROPLET:} Distributed Operator Placement for IoT Applications Spanning
Edge and Cloud Resources},
booktitle = {11th {IEEE} International Conference on Cloud Computing, {CLOUD} 2018,
San Francisco, CA, USA, July 2-7, 2018},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/CLOUD.2018.00008},
doi = {10.1109/CLOUD.2018.00008},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/ElgamalSNNA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/PlyukhinA18,
author = {Dan Plyukhin and
Gul Agha},
editor = {Joeri De Koster and
Federico Bergenti and
Juliana Franco},
title = {Concurrent garbage collection in the actor model},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Programming
Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH
2018, Boston, MA, USA, November 5, 2018},
pages = {44--53},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3281366.3281368},
doi = {10.1145/3281366.3281368},
timestamp = {Thu, 20 Dec 2018 07:54:36 +0100},
biburl = {https://dblp.org/rec/conf/agere/PlyukhinA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AghaP18,
author = {Gul Agha and
Karl Palmskog},
editor = {Marten Lohstroh and
Patricia Derler and
Marjan Sirjani},
title = {Transforming Threads into Actors: Learning Concurrency Structure from
Execution Traces},
booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10760},
pages = {16--37},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95246-8\_2},
doi = {10.1007/978-3-319-95246-8\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AghaP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LiHA18,
author = {Sihan Li and
Farah Hariri and
Gul Agha},
editor = {Todd D. Millstein},
title = {Targeted Test Generation for Actor Systems},
booktitle = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
July 16-21, 2018, Amsterdam, The Netherlands},
series = {LIPIcs},
volume = {109},
pages = {8:1--8:31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.8},
doi = {10.4230/LIPICS.ECOOP.2018.8},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/LiHA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-09721,
author = {Tarek Elgamal and
Atul Sandur and
Klara Nahrstedt and
Gul Agha},
title = {Costless: Optimizing Cost of Serverless Computing through Function
Fusion and Placement},
journal = {CoRR},
volume = {abs/1811.09721},
year = {2018},
url = {http://arxiv.org/abs/1811.09721},
eprinttype = {arXiv},
eprint = {1811.09721},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-09721.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cdt/GulzariAAKT17,
author = {Usman Ali Gulzari and
Sheraz Anjum and
Shahrukh Agha and
Sarzamin Khan and
Frank Sill Torres},
title = {Efficient and scalable cross-by-pass-mesh topology for networks-on-chip},
journal = {{IET} Comput. Digit. Tech.},
volume = {11},
number = {4},
pages = {140--148},
year = {2017},
url = {https://doi.org/10.1049/iet-cdt.2016.0184},
doi = {10.1049/IET-CDT.2016.0184},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-cdt/GulzariAAKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/SirjaniKMA17,
author = {Marjan Sirjani and
Ehsan Khamespanah and
Kirill Mechitov and
Gul Agha},
title = {A compositional approach for modeling and timing analysis of wireless
sensor and actuator networks},
journal = {{SIGBED} Rev.},
volume = {14},
number = {3},
pages = {49--56},
year = {2017},
url = {https://doi.org/10.1145/3166227.3166237},
doi = {10.1145/3166227.3166237},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/SirjaniKMA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsipa/AghaJSSGS17,
author = {Shahrukh Agha and
Farman Ullah Jan and
Dilshad Sabir and
Khurram Saleem and
Usman Ali Gulzari and
Atif Shakeel},
title = {Optimal motion estimation using reduced bits and its low power {VLSI}
implementation},
booktitle = {2017 {IEEE} International Conference on Signal and Image Processing
Applications, {ICSIPA} 2017, Kuching, Malaysia, September 12-14, 2017},
pages = {273--278},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICSIPA.2017.8120620},
doi = {10.1109/ICSIPA.2017.8120620},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsipa/AghaJSSGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Agha17,
author = {Gul Agha},
editor = {Xudong He},
title = {Actor-Oriented Programming for the Internet of Things},
booktitle = {The 29th International Conference on Software Engineering and Knowledge
Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA,
USA, July 5-7, 2017},
pages = {ix},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2017},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/Agha17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jccee/YoonSCSNA16,
author = {Hyungchul Yoon and
Reza Shiftehfar and
Soojin Cho and
Billie F. Spencer and
Mark E. Nelson and
Gul Agha},
title = {Victim Localization and Assessment System for Emergency Responders},
journal = {J. Comput. Civ. Eng.},
volume = {30},
number = {2},
year = {2016},
url = {https://doi.org/10.1061/(asce)cp.1943-5487.0000483},
doi = {10.1061/(ASCE)CP.1943-5487.0000483},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jccee/YoonSCSNA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CharalambidesDA16,
author = {Minas Charalambides and
Peter Dinges and
Gul A. Agha},
title = {Parameterized, concurrent session types for asynchronous multi-actor
interactions},
journal = {Sci. Comput. Program.},
volume = {115-116},
pages = {100--126},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2015.10.006},
doi = {10.1016/J.SCICO.2015.10.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CharalambidesDA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/besc/AghababaeiGCM16,
author = {Somayyeh Aghababaei and
Eren Gultepe and
Iuliia Chepurna and
Masoud Makrehchi},
editor = {Gang Li and
Yves Demazeau and
Guandong Xu and
Paul Wang and
Leon S. L. Wang and
Guanfeng Liu},
title = {Activity-based sampling of Twitter users for temporal prediction models},
booktitle = {2016 International Conference on Behavioral, Economic and Socio-cultural
Computing, {BESC} 2016, Durham, NC, USA, November 11-13, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/BESC.2016.7804474},
doi = {10.1109/BESC.2016.7804474},
timestamp = {Thu, 02 May 2024 20:50:55 +0200},
biburl = {https://dblp.org/rec/conf/besc/AghababaeiGCM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/KazmanA16,
author = {Rick Kazman and
Gul A. Agha},
editor = {Tung X. Bui and
Ralph H. Sprague Jr.},
title = {Introduction to the Software Technology Track},
booktitle = {49th Hawaii International Conference on System Sciences, {HICSS} 2016,
Koloa, HI, USA, January 5-8, 2016},
pages = {5358},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HICSS.2016.661},
doi = {10.1109/HICSS.2016.661},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/KazmanA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Agha16,
author = {Gul Agha},
editor = {Rocco De Nicola and
Eva K{\"{u}}hn},
title = {Abstractions, Semantic Models and Analysis Tools for Concurrent Systems:
Progress and Open Problems - (Extended Abstract)},
booktitle = {Software Engineering and Formal Methods - 14th International Conference,
{SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9763},
pages = {3--8},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41591-8\_1},
doi = {10.1007/978-3-319-41591-8\_1},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Agha16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KhamespanahMSA16,
author = {Ehsan Khamespanah and
Kirill Mechitov and
Marjan Sirjani and
Gul A. Agha},
editor = {Dragan Bosnacki and
Anton Wijs},
title = {Schedulability Analysis of Distributed Real-Time Sensor Network Applications
Using Actor-Based Model Checking},
booktitle = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9641},
pages = {165--181},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32582-8\_11},
doi = {10.1007/978-3-319-32582-8\_11},
timestamp = {Tue, 12 Sep 2023 07:57:22 +0200},
biburl = {https://dblp.org/rec/conf/spin/KhamespanahMSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2016,
editor = {Gul Agha and
Benny Van Houdt},
title = {Quantitative Evaluation of Systems - 13th International Conference,
{QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9826},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4},
doi = {10.1007/978-3-319-43425-4},
isbn = {978-3-319-43424-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/ZaghianAG15,
author = {Ali Zaghian and
Adel Aghajan and
T. Aaron Gulliver},
title = {The Optimal Fix-Free Code for Anti-Uniform Sources},
journal = {Entropy},
volume = {17},
number = {3},
pages = {1379--1386},
year = {2015},
url = {https://doi.org/10.3390/e17031379},
doi = {10.3390/E17031379},
timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entropy/ZaghianAG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itiis/MoZLA15,
author = {Yun Mo and
Zhongzhao Zhang and
Yang Lu and
Gul Agha},
title = {A Novel Technique for Human Traffic based Radio Map Updating in Wi-Fi
Indoor Positioning Systems},
journal = {{KSII} Trans. Internet Inf. Syst.},
volume = {9},
number = {5},
pages = {1881--1903},
year = {2015},
url = {https://doi.org/10.3837/tiis.2015.05.019},
doi = {10.3837/TIIS.2015.05.019},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itiis/MoZLA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/poit/AghajanZKG15,
author = {Adel Aghajan and
Sayed Jalal Zahabi and
Mohammadali Khosravifard and
T. Aaron Gulliver},
title = {On the source-channel separation theorem for infinite source alphabets},
journal = {Probl. Inf. Transm.},
volume = {51},
number = {2},
pages = {200--204},
year = {2015},
url = {https://doi.org/10.1134/S0032946015020106},
doi = {10.1134/S0032946015020106},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/poit/AghajanZKG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RicciABM15,
author = {Alessandro Ricci and
Gul A. Agha and
Rafael H. Bordini and
Assaf Marron},
title = {Special issue on programming based on actors, agents and decentralized
control},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {117--119},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.10.003},
doi = {10.1016/J.SCICO.2014.10.003},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/RicciABM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/KazmanA15,
author = {Rick Kazman and
Gul Agha},
editor = {Tung X. Bui and
Ralph H. Sprague Jr.},
title = {Introduction to the Software Technology Track},
booktitle = {48th Hawaii International Conference on System Sciences, {HICSS} 2015,
Kauai, Hawaii, USA, January 5-8, 2015},
pages = {5028},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HICSS.2015.595},
doi = {10.1109/HICSS.2015.595},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/KazmanA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/MoZMA15,
author = {Yun Mo and
Zhongzhao Zhang and
Weixiao Meng and
Gul A. Agha},
title = {Space division and dimensional reduction methods for indoor positioning
system},
booktitle = {2015 {IEEE} International Conference on Communications, {ICC} 2015,
London, United Kingdom, June 8-12, 2015},
pages = {3263--3268},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICC.2015.7248827},
doi = {10.1109/ICC.2015.7248827},
timestamp = {Wed, 18 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icc/MoZMA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/GulzariAA15,
author = {Usman Ali Gulzari and
Sheraz Anjum and
Shahrukh Agha},
title = {Cross by Pass-Mesh Architecture for On-chip Communication},
booktitle = {{IEEE} 9th International Symposium on Embedded Multicore/Many-core
Systems-on-Chip, MCSoC 2015, Turin, Italy, September 23-25, 2015},
pages = {267--274},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MCSoC.2015.51},
doi = {10.1109/MCSOC.2015.51},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mcsoc/GulzariAA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/ShiftehfarMA14,
author = {Reza Shiftehfar and
Kirill Mechitov and
Gul A. Agha},
title = {Towards a Flexible Fine-Grained Access Control System for Modern Cloud
Applications},
booktitle = {2014 {IEEE} 7th International Conference on Cloud Computing, Anchorage,
AK, USA, June 27 - July 2, 2014},
pages = {966--967},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CLOUD.2014.144},
doi = {10.1109/CLOUD.2014.144},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/ShiftehfarMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KwonMA14,
author = {YoungMin Kwon and
Kirill Mechitov and
Gul A. Agha},
editor = {Gul A. Agha and
Atsushi Igarashi and
Naoki Kobayashi and
Hidehiko Masuhara and
Satoshi Matsuoka and
Etsuya Shibayama and
Kenjiro Taura},
title = {Design and Implementation of a Mobile Actor Platform for Wireless
Sensor Networks},
booktitle = {Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8665},
pages = {276--316},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44471-9\_13},
doi = {10.1007/978-3-662-44471-9\_13},
timestamp = {Sat, 19 Oct 2019 20:29:10 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KwonMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/KazmanA14,
author = {Rick Kazman and
Gul Agha},
title = {Introduction to Software Technology Track},
booktitle = {47th Hawaii International Conference on System Sciences, {HICSS} 2014,
Waikoloa, HI, USA, January 6-9, 2014},
pages = {4710},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/HICSS.2014.577},
doi = {10.1109/HICSS.2014.577},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/KazmanA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/Agha14,
author = {Gul Agha},
editor = {Traian Muntean and
Robert Rolland and
L{\'{e}}on Mugwaneza},
title = {Actors Programming for the Mobile Cloud},
booktitle = {{IEEE} 13th International Symposium on Parallel and Distributed Computing,
{ISPDC} 2014, Marseille, France, June 24-27, 2014},
pages = {3--9},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ISPDC.2014.31},
doi = {10.1109/ISPDC.2014.31},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ispdc/Agha14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DingesA14,
author = {Peter Dinges and
Gul A. Agha},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Targeted test input generation using symbolic-concrete backward execution},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {31--36},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2642951},
doi = {10.1145/2642937.2642951},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/DingesA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DingesA14,
author = {Peter Dinges and
Gul A. Agha},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Solving complex path conditions through heuristic search on induced
polytopes},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {425--436},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635889},
doi = {10.1145/2635868.2635889},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DingesA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2014yonezawa,
editor = {Gul A. Agha and
Atsushi Igarashi and
Naoki Kobayashi and
Hidehiko Masuhara and
Satoshi Matsuoka and
Etsuya Shibayama and
Kenjiro Taura},
title = {Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8665},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44471-9},
doi = {10.1007/978-3-662-44471-9},
isbn = {978-3-662-44470-2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2014yonezawa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClarkeA13,
author = {Dave Clarke and
Gul Agha},
title = {Preface to the special issue on Coordination Models and Languages
(Coordination 2010)},
journal = {Sci. Comput. Program.},
volume = {78},
number = {2},
pages = {145--146},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.05.001},
doi = {10.1016/J.SCICO.2012.05.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ClarkeA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosn/KwonA13,
author = {YoungMin Kwon and
Gul Agha},
title = {Performance evaluation of sensor networks by statistical modeling
and euclidean model checking},
journal = {{ACM} Trans. Sens. Networks},
volume = {9},
number = {4},
pages = {39:1--39:38},
year = {2013},
url = {https://doi.org/10.1145/2489253.2489256},
doi = {10.1145/2489253.2489256},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosn/KwonA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/Agha13,
author = {Gul Agha},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Euclidean Model Checking: {A} Scalable Method for Verifying Quantitative
Properties in Probabilistic Systems},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {1--3},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_1},
doi = {10.1007/978-3-642-40663-8\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cai/Agha13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/KazmanA13,
author = {Rick Kazman and
Gul Agha},
title = {Introduction to Software Technology Track},
booktitle = {46th Hawaii International Conference on System Sciences, {HICSS} 2013,
Wailea, HI, USA, January 7-10, 2013},
pages = {4749},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/HICSS.2013.357},
doi = {10.1109/HICSS.2013.357},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/KazmanA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/LiSMHLDAS13,
author = {Bo Li and
Zhuoxiong Sun and
Kirill Mechitov and
Gregory Hackmann and
Chenyang Lu and
Shirley Dyke and
Gul Agha and
Billie F. Spencer},
editor = {Chenyang Lu and
P. R. Kumar and
Radu Stoleru},
title = {Realistic case studies of wireless structural control},
booktitle = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
(with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
8-11, 2013},
pages = {179--188},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502524.2502549},
doi = {10.1145/2502524.2502549},
timestamp = {Thu, 08 Apr 2021 08:40:46 +0200},
biburl = {https://dblp.org/rec/conf/iccps/LiSMHLDAS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/DingesCA13,
author = {Peter Dinges and
Minas Charalambides and
Gul Agha},
editor = {Stephen N. Freund and
Corina S. Pasareanu},
title = {Automated inference of atomic sets for safe concurrent execution},
booktitle = {{ACM} {SIGPLAN-SIGSOFT} Workshop on Program Analysis for Software
Tools and Engineering, {PASTE} '13, Seattle, WA, USA, June 20, 2013},
pages = {1--8},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462029.2462030},
doi = {10.1145/2462029.2462030},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/DingesCA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MechitovA12,
author = {Kirill Mechitov and
Gul Agha},
editor = {Maritta Heisel},
title = {An Architecture for Dynamic Service-Oriented Computing in Networked
Embedded Systems},
booktitle = {Software Service and Application Engineering - Essays Dedicated to
Bernd Kr{\"{a}}mer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7365},
pages = {147--164},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30835-2\_10},
doi = {10.1007/978-3-642-30835-2\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MechitovA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/DingesA12,
author = {Peter Dinges and
Gul Agha},
editor = {Marjan Sirjani},
title = {Scoped Synchronization Constraints for Large Scale Actor Systems},
booktitle = {Coordination Models and Languages - 14th International Conference,
{COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7274},
pages = {89--103},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30829-1\_7},
doi = {10.1007/978-3-642-30829-1\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/DingesA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/TasharofiKLLMA12,
author = {Samira Tasharofi and
Rajesh K. Karmani and
Steven Lauterburg and
Axel Legay and
Darko Marinov and
Gul Agha},
editor = {Holger Giese and
Grigore Rosu},
title = {TransDPOR: {A} Novel Dynamic Partial-Order Reduction Technique for
Testing Actor Programs},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {219--234},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_14},
doi = {10.1007/978-3-642-30793-5\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/TasharofiKLLMA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RicciMBA12,
author = {Alessandro Ricci and
Assaf Marron and
Rafael H. Bordini and
Gul Agha},
editor = {Gary T. Leavens},
title = {AGERE!: programming based on actors, agents, and decentralized control},
booktitle = {SPLASH'12 - Proceedings of the 2012 {ACM} Conference on Systems, Programming,
and Applications: Software for Humanity, Tucson, AZ, USA, October
21-25, 2012},
pages = {215--216},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384716.2384776},
doi = {10.1145/2384716.2384776},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RicciMBA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secon/MoinzadehMSAAS12,
author = {Paria Moinzadeh and
Kirill Mechitov and
Reza Shiftehfar and
Tarek F. Abdelzaher and
Gul Agha and
Billie F. Spencer},
title = {The time-keeping anomaly of energy-saving sensors: Manifestation,
solution, and a structural monitoring case study},
booktitle = {9th Annual {IEEE} Communications Society Conference on Sensor, Mesh
and Ad Hoc Communications and Networks, {SECON} 2012, Seoul, Korea
(South), June 18-21, 2012},
pages = {380--388},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SECON.2012.6275801},
doi = {10.1109/SECON.2012.6275801},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/secon/MoinzadehMSAAS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sesena/MechitovA12,
author = {Kirill Mechitov and
Gul Agha},
editor = {Amy L. Murphy and
Vittorio Cortellessa},
title = {Building portable middleware services for heterogeneous cyber-physical
systems},
booktitle = {Third International Workshop on Software Engineering for Sensor Network
Applications, {SESENA} 2012, 2 June 2012, Zurich, Switzerland, Proceedings},
pages = {31--36},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SESENA.2012.6225732},
doi = {10.1109/SESENA.2012.6225732},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/sesena/MechitovA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/VulimiriAGL12,
author = {Ashish Vulimiri and
Gul A. Agha and
Philip Brighten Godfrey and
Karthik Lakshminarayanan},
editor = {Peter G. Harrison and
Martin F. Arlitt and
Giuliano Casale},
title = {How well can congestion pricing neutralize denial of service attacks?},
booktitle = {{ACM} {SIGMETRICS/PERFORMANCE} Joint International Conference on Measurement
and Modeling of Computer Systems, {SIGMETRICS} '12, London, United
Kingdom, June 11-15, 2012},
pages = {137--150},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254756.2254775},
doi = {10.1145/2254756.2254775},
timestamp = {Fri, 30 Jul 2021 16:13:32 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/VulimiriAGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-4632,
author = {Minas Charalambides and
Peter Dinges and
Gul Agha},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {Parameterized Concurrent Multi-Party Session Types},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {16--30},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.2},
doi = {10.4204/EPTCS.91.2},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2012,
editor = {Gul A. Agha and
Rafael H. Bordini and
Assaf Marron and
Alessandro Ricci},
title = {Proceedings of the 2nd edition on Programming systems, languages and
applications based on actors, agents, and decentralized control abstractions,
AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2414639},
doi = {10.1145/2414639},
isbn = {978-1-4503-1630-9},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agere/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/suscom/KorthikantiA11,
author = {Vijay Anand Korthikanti and
Gul Agha},
title = {Energy-performance trade-off analysis of parallel algorithms for shared
memory architectures},
journal = {Sustain. Comput. Informatics Syst.},
volume = {1},
number = {3},
pages = {167--176},
year = {2011},
url = {https://doi.org/10.1016/j.suscom.2011.05.004},
doi = {10.1016/J.SUSCOM.2011.05.004},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/suscom/KorthikantiA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KwonA11,
author = {YoungMin Kwon and
Gul A. Agha},
title = {Verifying the Evolution of Probability Distributions Governed by a
{DTMC}},
journal = {{IEEE} Trans. Software Eng.},
volume = {37},
number = {1},
pages = {126--141},
year = {2011},
url = {https://doi.org/10.1109/TSE.2010.80},
doi = {10.1109/TSE.2010.80},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KwonA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/KorthikantiAG11,
author = {Vijay Anand Korthikanti and
Gul Agha and
Mark R. Greenstreet},
editor = {Guang R. Gao and
Yu{-}Chee Tseng},
title = {On the Energy Complexity of Parallel Algorithms},
booktitle = {International Conference on Parallel Processing, {ICPP} 2011, Taipei,
Taiwan, September 13-16, 2011},
pages = {562--570},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICPP.2011.84},
doi = {10.1109/ICPP.2011.84},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpp/KorthikantiAG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RicciAB11,
author = {Alessandro Ricci and
Gul Agha and
Rafael H. Bordini},
editor = {Cristina Videira Lopes},
title = {Agere! (actors and agents reloaded): splash 2011 workshop on programming
systems, languages and applications based on actors, agents and decentralized
control},
booktitle = {SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops:
DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, and VMIL'11, Portland,
OR, USA, October 22-27, 2011},
pages = {143--146},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2095050.2095076},
doi = {10.1145/2095050.2095076},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RicciAB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RicciBA11,
author = {Alessandro Ricci and
Rafael H. Bordini and
Gul A. Agha},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {AGERE! (actors and agents reloaded): splash 2011 workshop on programming
systems, languages and applications based on actors, agents and decentralized
control},
booktitle = {Companion to the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {325--326},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048147.2048231},
doi = {10.1145/2048147.2048231},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RicciBA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/NegaraKA11,
author = {Stas Negara and
Rajesh K. Karmani and
Gul A. Agha},
editor = {Calin Cascaval and
Pen{-}Chung Yew},
title = {Inferring ownership transfer for efficient message passing},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2011, San Antonio, TX, USA,
February 12-16, 2011},
pages = {81--90},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1941553.1941566},
doi = {10.1145/1941553.1941566},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/NegaraKA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ChadhaKVAK11,
author = {Rohit Chadha and
Vijay Anand Korthikanti and
Mahesh Viswanathan and
Gul Agha and
YoungMin Kwon},
title = {Model Checking MDPs with a Unique Compact Invariant Set of Distributions},
booktitle = {Eighth International Conference on Quantitative Evaluation of Systems,
{QEST} 2011, Aachen, Germany, 5-8 September, 2011},
pages = {121--130},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QEST.2011.22},
doi = {10.1109/QEST.2011.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/ChadhaKVAK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2011talcott,
editor = {Gul Agha and
Olivier Danvy and
Jos{\'{e}} Meseguer},
title = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7000},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24933-4},
doi = {10.1007/978-3-642-24933-4},
isbn = {978-3-642-24932-7},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2011talcott.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/KarmaniA11,
author = {Rajesh K. Karmani and
Gul Agha},
editor = {David A. Padua},
title = {Actors},
booktitle = {Encyclopedia of Parallel Computing},
pages = {1--11},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_125},
doi = {10.1007/978-0-387-09766-4\_125},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/KarmaniA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/MoussaA10,
author = {Sherin M. Moussa and
Gul A. Agha},
title = {Integrating Encrypted Mobile Agents with Smart Spaces in a Multi-agent
Simulator for Resource Management},
journal = {J. Softw.},
volume = {5},
number = {6},
pages = {630--636},
year = {2010},
url = {https://doi.org/10.4304/jsw.5.6.630-636},
doi = {10.4304/JSW.5.6.630-636},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/MoussaA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosn/KwonMSKA10,
author = {YoungMin Kwon and
Kirill Mechitov and
Sameer Sundresh and
WooYoung Kim and
Gul Agha},
title = {Resilient localization for sensor networks in outdoor environments},
journal = {{ACM} Trans. Sens. Networks},
volume = {7},
number = {1},
pages = {3:1--3:30},
year = {2010},
url = {https://doi.org/10.1145/1806895.1806898},
doi = {10.1145/1806895.1806898},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosn/KwonMSKA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LauterburgKMA10,
author = {Steven Lauterburg and
Rajesh K. Karmani and
Darko Marinov and
Gul Agha},
editor = {David S. Rosenblum and
Gabriele Taentzer},
title = {Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction
Techniques},
booktitle = {Fundamental Approaches to Software Engineering, 13th International
Conference, {FASE} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6013},
pages = {308--322},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12029-9\_22},
doi = {10.1007/978-3-642-12029-9\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/LauterburgKMA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/green/KorthikantiA10,
author = {Vijay Anand Korthikanti and
Gul Agha},
title = {Avoiding energy wastage in parallel applications},
booktitle = {International Green Computing Conference 2010, Chicago, IL, USA, 15-18
August 2010},
pages = {149--163},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/GREENCOMP.2010.5598314},
doi = {10.1109/GREENCOMP.2010.5598314},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/green/KorthikantiA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JagannathGLMA10,
author = {Vilas Jagannath and
Milos Gligoric and
Steven Lauterburg and
Darko Marinov and
Gul Agha},
title = {Mutation Operators for Actor Systems},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
Proceedings},
pages = {157--162},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSTW.2010.6},
doi = {10.1109/ICSTW.2010.6},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/JagannathGLMA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KorthikantiVAK10,
author = {Vijay Anand Korthikanti and
Mahesh Viswanathan and
Gul Agha and
YoungMin Kwon},
title = {Reasoning about MDPs as Transformers of Probability Distributions},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {199--208},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.35},
doi = {10.1109/QEST.2010.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/KorthikantiVAK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LauterburgKMA10,
author = {Steven Lauterburg and
Rajesh K. Karmani and
Darko Marinov and
Gul Agha},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Basset: a tool for systematic testing of actor programs},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {363--364},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882349},
doi = {10.1145/1882291.1882349},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LauterburgKMA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/KorthikantiA10,
author = {Vijay Anand Korthikanti and
Gul Agha},
editor = {Friedhelm Meyer auf der Heide and
Cynthia A. Phillips},
title = {Towards optimizing energy costs of algorithms for shared memory architectures},
booktitle = {{SPAA} 2010: Proceedings of the 22nd Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Thira, Santorini, Greece, June 13-15,
2010},
pages = {157--165},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810479.1810510},
doi = {10.1145/1810479.1810510},
timestamp = {Wed, 21 Nov 2018 11:15:55 +0100},
biburl = {https://dblp.org/rec/conf/spaa/KorthikantiA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2010,
editor = {Dave Clarke and
Gul A. Agha},
title = {Coordination Models and Languages, 12th International Conference,
{COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13414-2},
doi = {10.1007/978-3-642-13414-2},
isbn = {978-3-642-13413-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/KorthikantiA09,
author = {Vijay Anand Korthikanti and
Gul Agha},
title = {Analysis of Parallel Algorithms for Energy Conservation in Scalable
Multicore Architectures},
booktitle = {{ICPP} 2009, International Conference on Parallel Processing, Vienna,
Austria, 22-25 September 2009},
pages = {212--219},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICPP.2009.74},
doi = {10.1109/ICPP.2009.74},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpp/KorthikantiA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LauterburgDMA09,
author = {Steven Lauterburg and
Mirco Dotta and
Darko Marinov and
Gul A. Agha},
title = {A Framework for State-Space Exploration of Java-Based Actor Programs},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {468--479},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.88},
doi = {10.1109/ASE.2009.88},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LauterburgDMA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/momm/MoussaHA09,
author = {Sherin M. Moussa and
Mohamed Hashem and
Gul Agha},
editor = {Gabriele Kotsis and
David Taniar and
Eric Pardede},
title = {An agent-based framework for inhabitants' untraceability in ubiquitous
environments},
booktitle = {MoMM'2009 - The 7th International Conference on Advances in Mobile
Computing and Multimedia, 14-16 December 2009, Kuala Lumpur, Malaysia},
pages = {386--390},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1821748.1821822},
doi = {10.1145/1821748.1821822},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/momm/MoussaHA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/MoussaAA09,
author = {Sherin M. Moussa and
Mohamed H. Abdelaziz and
Gul A. Agha},
editor = {Khaldoun Al Agha and
Mohamad Badra and
Gregory B. Newby},
title = {Integrating Encrypted Mobile Agents with Smart Homes},
booktitle = {{NTMS} 2009, 3rd International Conference on New Technologies, Mobility
and Security, 20-23 December 2009, Cairo, Egypt},
pages = {1--5},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/NTMS.2009.5384845},
doi = {10.1109/NTMS.2009.5384845},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ntms/MoussaAA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/KarmaniSA09,
author = {Rajesh K. Karmani and
Amin Shali and
Gul Agha},
editor = {Ben Stephenson and
Christian W. Probst},
title = {Actor frameworks for the {JVM} platform: a comparative analysis},
booktitle = {Proceedings of the 7th International Conference on Principles and
Practice of Programming in Java, {PPPJ} 2009, Calgary, Alberta, Canada,
August 27-28, 2009},
pages = {11--20},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596655.1596658},
doi = {10.1145/1596655.1596658},
timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
biburl = {https://dblp.org/rec/conf/pppj/KarmaniSA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Agha08,
author = {Gul Agha},
title = {Computing in pervasive cyberspace},
journal = {Commun. {ACM}},
volume = {51},
number = {1},
pages = {68--70},
year = {2008},
url = {https://doi.org/10.1145/1327452.1327484},
doi = {10.1145/1327452.1327484},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Agha08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/HamA08,
author = {MyungJoo Ham and
Gul Agha},
title = {Market-based coordination strategies for physical multi-agent systems},
journal = {{SIGBED} Rev.},
volume = {5},
number = {1},
pages = {23},
year = {2008},
url = {https://doi.org/10.1145/1366283.1366306},
doi = {10.1145/1366283.1366306},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/HamA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/PourGAGC08,
author = {Payam Aghaei Pour and
Tauseef Gulrez and
Omar AlZoubi and
Gaetano D. Gargiulo and
Rafael A. Calvo},
editor = {Philip Hingston and
Luigi Barone},
title = {Brain-computer interface: Next generation thought controlled distributed
video game development platform},
booktitle = {Proceedings of the 2008 {IEEE} Symposium on Computational Intelligence
and Games, {CIG} 2009, Perth, Australia, 15-18 December, 2008},
pages = {251--257},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CIG.2008.5035647},
doi = {10.1109/CIG.2008.5035647},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cig/PourGAGC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KwonA08,
author = {YoungMin Kwon and
Gul Agha},
editor = {Magnus Egerstedt and
Bud Mishra},
title = {{LTLC:} Linear Temporal Logic for Control},
booktitle = {Hybrid Systems: Computation and Control, 11th International Workshop,
{HSCC} 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4981},
pages = {316--329},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78929-1\_23},
doi = {10.1007/978-3-540-78929-1\_23},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KwonA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/NassarGSAET08,
author = {Marcel Nassar and
Kapil Gulati and
Arvind K. Sujeeth and
Navid Aghasadeghi and
Brian L. Evans and
Keith R. Tinsley},
title = {Mitigating near-field interference in laptop embedded wireless transceivers},
booktitle = {Proceedings of the {IEEE} International Conference on Acoustics, Speech,
and Signal Processing, {ICASSP} 2008, March 30 - April 4, 2008, Caesars
Palace, Las Vegas, Nevada, {USA}},
pages = {1405--1408},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ICASSP.2008.4517882},
doi = {10.1109/ICASSP.2008.4517882},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/NassarGSAET08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/KwonA08,
author = {YoungMin Kwon and
Gul Agha},
title = {Passive Localization: Large Size Sensor Network Localization Based
on Environmental Events},
booktitle = {Proceedings of the 7th International Conference on Information Processing
in Sensor Networks, {IPSN} 2008, St. Louis, Missouri, USA, April 22-24,
2008},
pages = {3--14},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/IPSN.2008.55},
doi = {10.1109/IPSN.2008.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipsn/KwonA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/HamA08,
author = {MyungJoo Ham and
Gul A. Agha},
editor = {Sven A. Brueckner and
Paul Robertson and
Umesh Bellur},
title = {A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot
Systems},
booktitle = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2008, 20-24 October 2008, Venice, Italy},
pages = {35--44},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SASO.2008.12},
doi = {10.1109/SASO.2008.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/HamA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/MechitovRA07,
author = {Kirill Mechitov and
Reza Razavi and
Gul Agha},
title = {Architecture design principles to support adaptive service orchestration
in {WSN} applications},
journal = {{SIGBED} Rev.},
volume = {4},
number = {3},
pages = {37--42},
year = {2007},
url = {https://doi.org/10.1145/1317103.1317110},
doi = {10.1145/1317103.1317110},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/MechitovRA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/ChangA07,
author = {Po{-}Hao Chang and
Gul Agha},
editor = {Jadwiga Indulska and
Kerry Raymond},
title = {Towards Context-Aware Web Applications},
booktitle = {Distributed Applications and Interoperable Systems, 7th {IFIP} {WG}
6.1 International Conference, {DAIS} 2007, Paphos, Cyprus, June 6-8,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4531},
pages = {239--252},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72883-2\_18},
doi = {10.1007/978-3-540-72883-2\_18},
timestamp = {Thu, 14 Oct 2021 09:51:55 +0200},
biburl = {https://dblp.org/rec/conf/dais/ChangA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/KazmanA07,
author = {Rick Kazman and
Gul Agha},
title = {Software Technology Track Introduction},
booktitle = {40th Hawaii International International Conference on Systems Science
{(HICSS-40} 2007), {CD-ROM} / Abstracts Proceedings, 3-6 January 2007,
Waikoloa, Big Island, HI, {USA}},
pages = {255},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/HICSS.2007.496},
doi = {10.1109/HICSS.2007.496},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/KazmanA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RazaviMAP07,
author = {Reza Razavi and
Kirill Mechitov and
Gul A. Agha and
Jean{-}Fran{\c{c}}ois Perrot},
editor = {Juan Carlos Augusto and
Daniel G. Shapiro},
title = {Ambiance: {A} Mobile Agent Platform for End-User Programmable Ambient
Systems},
booktitle = {Advances in Ambient Intelligence [best papers from AITamI@IJCAI 2007,
Hyderabad, India, January 2007]},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {164},
pages = {81--106},
publisher = {{IOS} Press},
year = {2007},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=7298},
timestamp = {Mon, 24 Aug 2020 08:26:50 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/RazaviMAP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/KwonA07,
author = {YoungMin Kwon and
Gul Agha},
title = {A Markov Reward Model for Software Reliability},
booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
pages = {1--6},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IPDPS.2007.370525},
doi = {10.1109/IPDPS.2007.370525},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/KwonA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ChangA07,
author = {Po{-}Hao Chang and
Gul Agha},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Supporting reconfigurable object distribution for customized web applications},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {1286--1292},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244280},
doi = {10.1145/1244002.1244280},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/ChangA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/KarmaniLA07,
author = {Rajesh K. Karmani and
Timo Latvala and
Gul Agha},
title = {On Scaling Multi-Agent Task Reallocation Using Market-Based Approach},
booktitle = {Proceedings of the First International Conference on Self-Adaptive
and Self-Organizing Systems, {SASO} 2007, Boston, MA, USA, July 9-11,
2007},
pages = {173--182},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SASO.2007.41},
doi = {10.1109/SASO.2007.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/KarmaniLA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/JangA06,
author = {Myeong{-}Wuk Jang and
Gul Agha},
title = {Agent framework services to reduce agent communication overhead in
large-scale agent-based simulations},
journal = {Simul. Model. Pract. Theory},
volume = {14},
number = {6},
pages = {679--694},
year = {2006},
url = {https://doi.org/10.1016/j.simpat.2005.10.002},
doi = {10.1016/J.SIMPAT.2005.10.002},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/simpra/JangA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SenRA06,
author = {Koushik Sen and
Grigore Rosu and
Gul Agha},
title = {Online efficient predictive safety analysis of multithreaded programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {3},
pages = {248--260},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0192-y},
doi = {10.1007/S10009-005-0192-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SenRA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HamA06,
author = {MyungJoo Ham and
Gul A. Agha},
editor = {Nadeem Jamali and
Paul Scerri and
Toshiharu Sugawara},
title = {A Study of Coordinated Dynamic Market-Based Task Assignment in Massively
Multi-Agent Systems},
booktitle = {Massively Multi-Agent Technology, {AAMAS} Workshops, {MMAS} 2006,
{LSMAS} 2006, and {CCMMS} 2007 Hakodate, Japan, May 9, 2006, Honolulu,
HI, USA, May 15, 2007, Selected and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5043},
pages = {43--63},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-85449-4\_4},
doi = {10.1007/978-3-540-85449-4\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/HamA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KwonSMA06,
author = {YoungMin Kwon and
Sameer Sundresh and
Kirill Mechitov and
Gul Agha},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {ActorNet: an actor platform for wireless sensor networks},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {1297--1300},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160871},
doi = {10.1145/1160633.1160871},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/KwonSMA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SenA06,
author = {Koushik Sen and
Gul Agha},
editor = {Thomas Ball and
Robert B. Jones},
title = {{CUTE} and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking
Tools},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {419--423},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_38},
doi = {10.1007/11817963\_38},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SenA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SenA06,
author = {Koushik Sen and
Gul Agha},
editor = {Luciano Baresi and
Reiko Heckel},
title = {Automated Systematic Testing of Open Distributed Programs},
booktitle = {Fundamental Approaches to Software Engineering, 9th International
Conference, {FASE} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 27-28, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3922},
pages = {339--356},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693017\_25},
doi = {10.1007/11693017\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/SenA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DonkervoetA06,
author = {Bill Donkervoet and
Gul Agha},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive
Distributed Monitoring},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
pages = {246--265},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74792-5\_11},
doi = {10.1007/978-3-540-74792-5\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DonkervoetA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Agha06,
author = {Gul Agha},
title = {Track Introduction},
booktitle = {39th Hawaii International International Conference on Systems Science
{(HICSS-39} 2006), {CD-ROM} / Abstracts Proceedings, 4-7 January 2006,
Kauai, HI, {USA}},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/HICSS.2006.497},
doi = {10.1109/HICSS.2006.497},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/Agha06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SenA06,
author = {Koushik Sen and
Gul Agha},
editor = {Eyal Bin and
Avi Ziv and
Shmuel Ur},
title = {A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded
Programs},
booktitle = {Hardware and Software, Verification and Testing, Second International
Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October
23-26, 2006. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4383},
pages = {166--182},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70889-6\_13},
doi = {10.1007/978-3-540-70889-6\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/SenA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SenVAR06,
author = {Koushik Sen and
Abhay Vardhan and
Gul Agha and
Grigore Rosu},
title = {Decentralized runtime analysis of multithreaded applications},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639591},
doi = {10.1109/IPDPS.2006.1639591},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/SenVAR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RazaviMSAP06,
author = {Reza Razavi and
Kirill Mechitov and
Sameer Sundresh and
Gul Agha and
Jean{-}Fran{\c{c}}ois Perrot},
editor = {Peri L. Tarr and
William R. Cook},
title = {Ambiance: adaptive object model-based platform for macroprogramming
sensor networks},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {663--664},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176662},
doi = {10.1145/1176617.1176662},
timestamp = {Sat, 31 Jul 2021 17:22:24 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RazaviMSAP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/ChangA06,
author = {Po{-}Hao Chang and
Gul Agha},
editor = {Robert Meersman and
Zahir Tari and
Pilar Herrero},
title = {Supporting Reconfigurable Object Distribution for Customizable Web
Applications},
booktitle = {On the Move to Meaningful Internet Systems 2006: {OTM} 2006 Workshops,
{OTM} Confederated International Workshops and Posters, AWeSOMe, CAMS,
COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, {OTM}
Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier,
France, October 29 - November 3, 2006. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4277},
pages = {32--33},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11915034\_15},
doi = {10.1007/11915034\_15},
timestamp = {Thu, 14 Oct 2021 10:28:26 +0200},
biburl = {https://dblp.org/rec/conf/otm/ChangA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/p2p/ChenA06,
author = {Liping Chen and
Gul Agha},
editor = {Alberto Montresor and
Adam Wierzbicki and
Nahid Shahmehri},
title = {State Aware Data Dissemination over Structured Overlays},
booktitle = {Sixth {IEEE} International Conference on Peer-to-Peer Computing {(P2P}
2006), 2-4 October 2006, Cambridge, United Kingdom},
pages = {145--152},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/P2P.2006.42},
doi = {10.1109/P2P.2006.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/p2p/ChenA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/KwonA06,
author = {YoungMin Kwon and
Gul Agha},
title = {Scalable Modeling and Performance Evaluation of Wireless Sensor Networks},
booktitle = {12th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2006), 4-7 April 2006, San Jose, California, {USA}},
pages = {49--58},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RTAS.2006.39},
doi = {10.1109/RTAS.2006.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/KwonA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SenVA06,
author = {Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Model-Checking Markov Chains in the Presence of Uncertainties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {394--410},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_26},
doi = {10.1007/11691372\_26},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SenVA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SenVA05,
author = {Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {On Statistical Model Checking of Stochastic Systems},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {266--280},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_26},
doi = {10.1007/11513988\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SenVA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/TosicA05,
author = {Predrag T. Tosic and
Gul A. Agha},
editor = {Marie{-}Pierre Gleizes and
Gal A. Kaminka and
Ann Now{\'{e}} and
Sascha Ossowski and
Karl Tuyls and
Katja Verbeeck},
title = {Computational Complexity of Predicting Some Properties of Large-Scale
Agent Ensembles' Dynamical Evolution},
booktitle = {{EUMAS} 2005 - Proceedings of the Third European Workshop on Multi-Agent
Systems, Brussels, Belgium, December 7-8, 2005},
pages = {415--426},
publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
year = {2005},
timestamp = {Mon, 07 Oct 2019 16:15:28 +0200},
biburl = {https://dblp.org/rec/conf/eumas/TosicA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/SenRA05,
author = {Koushik Sen and
Grigore Rosu and
Gul Agha},
editor = {Martin Steffen and
Gianluigi Zavattaro},
title = {Detecting Errors in Multithreaded Programs by Generalized Predictive
Analysis of Executions},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece,
June 15-17, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3535},
pages = {211--226},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494881\_14},
doi = {10.1007/11494881\_14},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/SenRA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Agha05,
author = {Gul Agha},
title = {Software Technology Track},
booktitle = {38th Hawaii International Conference on System Sciences {(HICSS-38}
2005), {CD-ROM} / Abstracts Proceedings, 3-6 January 2005, Big Island,
HI, {USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HICSS.2005.548},
doi = {10.1109/HICSS.2005.548},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/Agha05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/KwonMSKA05,
author = {YoungMin Kwon and
Kirill Mechitov and
Sameer Sundresh and
WooYoung Kim and
Gul A. Agha},
title = {Resilient Localization for Sensor Networks in Outdoor Environments},
booktitle = {25th International Conference on Distributed Computing Systems {(ICDCS}
2005), 6-10 June 2005, Columbus, OH, {USA}},
pages = {643--652},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICDCS.2005.68},
doi = {10.1109/ICDCS.2005.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/KwonMSKA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/UttamchandaniYPA05,
author = {Sandeep Uttamchandani and
Xiaoxin Yin and
John Palmer and
Gul A. Agha},
title = {Monitormining: creating domain knowledge for system automation using
a gray-box approach},
booktitle = {Integrated Network Management, {IM} 2005. 9th {IFIP/IEEE} International
Symposium on Integrated Network Management, 15-19 May 2005, Nice,
France},
pages = {61--74},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/INM.2005.1440771},
doi = {10.1109/INM.2005.1440771},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/im/UttamchandaniYPA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mass/DevarajGNA05,
author = {Christo Frank Devaraj and
Indranil Gupta and
Mahwish Nagda and
Gul A. Agha},
title = {An underlay for sensor networks: localized protocols for maintenance
and usage},
booktitle = {{IEEE} 2nd International Conference on Mobile Adhoc and Sensor Systems,
{MASS} 2005, November 7-10, 2005, The City Center Hotel, Washington,
{USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MAHSS.2005.1542837},
doi = {10.1109/MAHSS.2005.1542837},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mass/DevarajGNA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/p2p/HamA05,
author = {MyungJoo Ham and
Gul Agha},
editor = {Germano Caronni and
Nathalie Weiler and
Marcel Waldvogel and
Nahid Shahmehri},
title = {{ARA:} {A} Robust Audit to Prevent Free-Riding in {P2P} Networks},
booktitle = {Fifth {IEEE} International Conference on Peer-to-Peer Computing {(P2P}
2005), 31 August - 2 September 2005, Konstanz, Germany},
pages = {125--132},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/P2P.2005.2},
doi = {10.1109/P2P.2005.2},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/p2p/HamA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/YinUPKA05,
author = {Li Yin and
Sandeep Uttamchandani and
John Palmer and
Randy H. Katz and
Gul A. Agha},
title = {{AUTOLOOP:} Automated Action Selection in the "Observe-Analyze-Act"
Loop for Storage Systems},
booktitle = {6th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2005), 6-8 June 2005, Stockholm, Sweden},
pages = {129--138},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/POLICY.2005.9},
doi = {10.1109/POLICY.2005.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/YinUPKA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KwonA05,
author = {YoungMin Kwon and
Gul A. Agha},
title = {iLTLChecker: {A} Probabilistic Model Checker for Multiple DTMCs},
booktitle = {Second International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2005), 19-22 September 2005, Torino, Italy},
pages = {245--246},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/QEST.2005.14},
doi = {10.1109/QEST.2005.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/KwonA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/SenVA05,
author = {Koushik Sen and
Mahesh Viswanathan and
Gul A. Agha},
title = {{VESTA:} {A} Statistical Model-checker and Analyzer for Probabilistic
Systems},
booktitle = {Second International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2005), 19-22 September 2005, Torino, Italy},
pages = {251--252},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/QEST.2005.42},
doi = {10.1109/QEST.2005.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/SenVA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SenMA05,
author = {Koushik Sen and
Darko Marinov and
Gul Agha},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {{CUTE:} a concolic unit testing engine for {C}},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {263--272},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081750},
doi = {10.1145/1081706.1081750},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SenMA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VardhanSVA05,
author = {Abhay Vardhan and
Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Using Language Inference to Verify Omega-Regular Properties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {45--60},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_4},
doi = {10.1007/978-3-540-31980-1\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/VardhanSVA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/TosicA05,
author = {Predrag T. Tosic and
Gul A. Agha},
editor = {Cristian Calude and
Michael J. Dinneen and
Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Grzegorz Rozenberg},
title = {On Computational Complexity of Counting Fixed Points in Symmetric
Boolean Graph Automata},
booktitle = {Unconventional Computation, 4th International Conference, {UC} 2005,
Sevilla, Spain, October 3-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3699},
pages = {191--205},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560319\_18},
doi = {10.1007/11560319\_18},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/TosicA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/UttamchandaniYAPA05,
author = {Sandeep Uttamchandani and
Li Yin and
Guillermo A. Alvarez and
John Palmer and
Gul A. Agha},
title = {{CHAMELEON:} {A} Self-Evolving, Fully-Adaptive Resource Arbitrator
for Storage Systems},
booktitle = {Proceedings of the 2005 {USENIX} Annual Technical Conference, April
10-15, 2005, Anaheim, CA, {USA}},
pages = {75--88},
publisher = {{USENIX}},
year = {2005},
url = {http://www.usenix.org/events/usenix05/tech/general/uttamchandani.html},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/UttamchandaniYAPA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wm/Becerra-FernandezWA05,
author = {Irma Becerra{-}Fernandez and
Te Wei Wang and
Gul A. Agha},
editor = {Klaus{-}Dieter Althoff and
Andreas Dengel and
Ralph Bergmann and
Markus Nick and
Thomas Roth{-}Berghofer},
title = {Actor Model and Knowledge Management Systems: Social Interaction as
a Framework for Knowledge Integration},
booktitle = {{WM} 2005: Professional Knowledge Management - Experiences and Visions,
Contributions to the 3rd Conference Professional Knowledge Management
- Experiences and Visions, April 10-13, 2005, Kaiserslautern, Germany},
pages = {19--29},
publisher = {DFKI, Kaiserslautern},
year = {2005},
timestamp = {Fri, 13 Sep 2019 15:47:23 +0200},
biburl = {https://dblp.org/rec/conf/wm/Becerra-FernandezWA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wm/Becerra-FernandezWAS05,
author = {Irma Becerra{-}Fernandez and
Te Wei Wang and
Gul Agha and
Thant Sin},
editor = {Klaus{-}Dieter Althoff and
Andreas Dengel and
Ralph Bergmann and
Markus Nick and
Thomas Roth{-}Berghofer},
title = {Actor Model and Knowledge Management Systems: Social Interaction as
a Framework for Knowledge Integration},
booktitle = {Professional Knowledge Management, Third Biennial Conference, {WM}
2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3782},
pages = {19--31},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590019\_2},
doi = {10.1007/11590019\_2},
timestamp = {Fri, 13 Sep 2019 15:47:23 +0200},
biburl = {https://dblp.org/rec/conf/wm/Becerra-FernandezWAS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AghaMS06,
author = {Gul A. Agha and
Jos{\'{e}} Meseguer and
Koushik Sen},
editor = {Antonio Cerone and
Herbert Wiklicky},
title = {PMaude: Rewrite-based Specification Language for Probabilistic Object
Systems},
booktitle = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {2},
pages = {213--239},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.040},
doi = {10.1016/J.ENTCS.2005.10.040},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AghaMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/VenkatasubramanianTA04,
author = {Nalini Venkatasubramanian and
Carolyn L. Talcott and
Gul Agha},
title = {A formal model for reasoning about adaptive QoS-enabled middleware},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {13},
number = {1},
pages = {86--147},
year = {2004},
url = {https://doi.org/10.1145/1005561.1005564},
doi = {10.1145/1005561.1005564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/VenkatasubramanianTA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acri/TosicA04,
author = {Predrag T. Tosic and
Gul Agha},
editor = {Peter M. A. Sloot and
Bastien Chopard and
Alfons G. Hoekstra},
title = {Characterizing Configuration Spaces of Simple Threshold Cellular Automata},
booktitle = {Cellular Automata, 6th International Conference on Cellular Automata
for Research and Industry, {ACRI} 2004, Amsterdam, The Netherlands,
October 25-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3305},
pages = {861--870},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30479-1\_89},
doi = {10.1007/978-3-540-30479-1\_89},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/acri/TosicA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ThatiTA04,
author = {Prasanna Thati and
Carolyn L. Talcott and
Gul Agha},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Techniques for Executing and Reasoning about Specification Diagrams},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {521--536},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_39},
doi = {10.1007/978-3-540-27815-3\_39},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/ThatiTA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/SundreshKA04,
author = {Sameer Sundresh and
WooYoung Kim and
Gul Agha},
title = {{SENS:} {A} Sensor, Environment and Network Simulator},
booktitle = {Proceedings 37th Annual Simulation Symposium {(ANSS-37} 2004), 18-22
April 2004, Arlington, VA, {USA}},
pages = {221--228},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/SIMSYM.2004.1299486},
doi = {10.1109/SIMSYM.2004.1299486},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/anss/SundreshKA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamaliIZA04,
author = {Nadeem Jamali and
Indratmo and
Xinghui Zhao and
Gul Agha},
title = {Decentralized Resource Control for Multi-Agent Systems},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {1366--1367},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10210},
doi = {10.1109/AAMAS.2004.10210},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/JamaliIZA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AghaT04,
author = {Gul Agha and
Prasanna Thati},
editor = {Olaf Owe and
Stein Krogdahl and
Tom Lyche},
title = {An Algebraic Theory of Actors and Its Application to a Simple Object-Based
Language},
booktitle = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
Dahl},
series = {Lecture Notes in Computer Science},
volume = {2635},
pages = {26--57},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-39993-3\_4},
doi = {10.1007/978-3-540-39993-3\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AghaT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SenVA04,
author = {Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Statistical Model Checking of Black-Box Probabilistic Systems},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {202--215},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_16},
doi = {10.1007/978-3-540-27813-9\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SenVA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/VardhanSVA04,
author = {Abhay Vardhan and
Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Actively Learning to Verify Safety for {FIFO} Automata},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {494--505},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_41},
doi = {10.1007/978-3-540-30538-5\_41},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/VardhanSVA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Agha04,
author = {Gul Agha},
title = {Software Technology Track Introduction},
booktitle = {37th Hawaii International Conference on System Sciences {(HICSS-37}
2004), {CD-ROM} / Abstracts Proceedings, 5-8 January 2004, Big Island,
HI, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/HICSS.2004.10045},
doi = {10.1109/HICSS.2004.10045},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/Agha04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/JangMA04,
author = {Myeong{-}Wuk Jang and
Amr Abdel Momen and
Gul Agha},
title = {ATSpace: {A} Middle Agent to Support Application Oriented Matchmaking
and Brokering Services},
booktitle = {2004 {IEEE/WIC/ACM} International Conference on Intelligent Agent
Technology {(IAT} 2004), 20-24 September 2004, Beijing, China},
pages = {393--396},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IAT.2004.1342979},
doi = {10.1109/IAT.2004.1342979},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/JangMA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KwonA04,
author = {YoungMin Kwon and
Gul Agha},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Linear Inequality {LTL} (iLTL): {A} Model Checker for Discrete Time
Markov Chains},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {194--208},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_21},
doi = {10.1007/978-3-540-30482-1\_21},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/KwonA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/VardhanSVA04,
author = {Abhay Vardhan and
Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Learning to Verify Safety Properties},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {274--289},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_26},
doi = {10.1007/978-3-540-30482-1\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/VardhanSVA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SenVAR04,
author = {Koushik Sen and
Abhay Vardhan and
Gul Agha and
Grigore Rosu},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {Efficient Decentralized Monitoring of Safety in Distributed Systems},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {418--427},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317464},
doi = {10.1109/ICSE.2004.1317464},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SenVAR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/TosicA04,
author = {Predrag T. Tosic and
Gul Agha},
title = {Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular
Automata},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303188},
doi = {10.1109/IPDPS.2004.1303188},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/TosicA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmas/JangA04,
author = {Myeong{-}Wuk Jang and
Gul Agha},
editor = {Toru Ishida and
Les Gasser and
Hideyuki Nakashima},
title = {Adaptive Agent Allocation for Massively Multi-agent Applications},
booktitle = {Massively Multi-Agent Systems I, First International Workshop, {MMAS}
2004, Kyoto, Japan, December 10-11, 2004, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3446},
pages = {25--39},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11512073\_3},
doi = {10.1007/11512073\_3},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/mmas/JangA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmas/TosicA04,
author = {Predrag T. Tosic and
Gul A. Agha},
editor = {Toru Ishida and
Les Gasser and
Hideyuki Nakashima},
title = {Maximal Clique Based Distributed Coalition Formation for Task Allocation
in Large-Scale Multi-agent Systems},
booktitle = {Massively Multi-Agent Systems I, First International Workshop, {MMAS}
2004, Kyoto, Japan, December 10-11, 2004, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3446},
pages = {104--120},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11512073\_8},
doi = {10.1007/11512073\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mmas/TosicA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/UttamchandaniAA04,
author = {Sandeep Uttamchandani and
Guillermo A. Alvarez and
Gul Agha},
title = {DecisionQoS: An Adaptive, Self-Evolving QoS Arbitration Module for
Storage Systems},
booktitle = {5th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2004), 7-9 June 2004, Yorktown Heights, NY,
{USA}},
pages = {67--76},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/POLICY.2004.1309151},
doi = {10.1109/POLICY.2004.1309151},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/UttamchandaniAA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/SenVA04,
author = {Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
title = {Learning Continuous Time Markov Chains from Sample Executions},
booktitle = {1st International Conference on Quantitative Evaluation of Systems
{(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
pages = {146--155},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QEST.2004.1348029},
doi = {10.1109/QEST.2004.1348029},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/SenVA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/ChangKA04,
author = {Po{-}Hao Chang and
WooYoung Kim and
Gul Agha},
title = {An Adaptive Programming Framework for Web Applications},
booktitle = {2004 Symposium on Applications and the Internet {(SAINT} 2004), 26-30
January 2004, Tokyo, Japan},
pages = {152--159},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/SAINT.2004.1266110},
doi = {10.1109/SAINT.2004.1266110},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saint/ChangKA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/selmas/JangMA04,
author = {Myeong{-}Wuk Jang and
Amr Ahmed Momen and
Gul Agha},
editor = {Ricardo Choren and
Alessandro F. Garcia and
Carlos Jos{\'{e}} Pereira de Lucena and
Alexander B. Romanovsky},
title = {Efficient Agent Communication in Multi-agent Systems},
booktitle = {Software Engineering for Multi-Agent Systems III, Research Issues
and Practical Applications [the book is a result of {SELMAS} 2004]},
series = {Lecture Notes in Computer Science},
volume = {3390},
pages = {236--253},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31846-0\_14},
doi = {10.1007/978-3-540-31846-0\_14},
timestamp = {Fri, 06 Nov 2020 10:10:09 +0100},
biburl = {https://dblp.org/rec/conf/selmas/JangMA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/TosicA04,
author = {Predrag T. Tosic and
Gul A. Agha},
title = {Towards a hierarchical taxonomy of autonomous agents},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: The Hague, Netherlands, 10-13 October 2004},
pages = {3421--3426},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/ICSMC.2004.1400871},
doi = {10.1109/ICSMC.2004.1400871},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/TosicA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SenRA04,
author = {Koushik Sen and
Grigore Rosu and
Gul Agha},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Online Efficient Predictive Safety Analysis of Multithreaded Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {123--138},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_9},
doi = {10.1007/978-3-540-24730-2\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SenRA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/AghaV04,
author = {Gul A. Agha and
Carlos A. Varela},
editor = {Munindar P. Singh},
title = {Worldwide Computing Middleware},
booktitle = {The Practical Handbook of Internet Computing},
publisher = {Chapman and Hall/CRC},
year = {2004},
url = {https://doi.org/10.1201/9780203507223.ch38},
doi = {10.1201/9780203507223.CH38},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/AghaV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/SenRA03,
author = {Koushik Sen and
Grigore Rosu and
Gul Agha},
editor = {Vijay A. Saraswat},
title = {Generating Optimal Linear Temporal Logic Monitors by Coinduction},
booktitle = {Advances in Computing Science - {ASIAN} 2003 Programming Languages
and Distributed Computation, 8th Asian Computing Science Conference,
Mumbai, India, December 10-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2896},
pages = {260--275},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40965-6\_17},
doi = {10.1007/978-3-540-40965-6\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/SenRA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/KumarSMA03,
author = {Nirman Kumar and
Koushik Sen and
Jos{\'{e}} Meseguer and
Gul Agha},
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
title = {A Rewriting Based Model for Probabilistic Distributed Object Systems},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {32--46},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39958-2\_3},
doi = {10.1007/978-3-540-39958-2\_3},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/KumarSMA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/ZiaeiA03,
author = {Reza Ziaei and
Gul Agha},
editor = {Frank Pfenning and
Yannis Smaragdakis},
title = {SynchNet: {A} Petri Net Based Coordination Language for Distributed
Objects},
booktitle = {Generative Programming and Component Engineering, Second International
Conference, {GPCE} 2003, Erfurt, Germany, September 22-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2830},
pages = {324--343},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39815-8\_20},
doi = {10.1007/978-3-540-39815-8\_20},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gpce/ZiaeiA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/DingZSA03,
author = {Hui Ding and
Can Zheng and
Lui Sha and
Gul Agha},
title = {Specification and Validation of Fault-Tolerant Software Architectures
Based on Actor Model},
booktitle = {Proceedings of the Fifteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel,
San Francisco Bay, CA, USA, July 1-3, 2003},
pages = {458--466},
year = {2003},
timestamp = {Fri, 18 Feb 2005 13:16:38 +0100},
biburl = {https://dblp.org/rec/conf/seke/DingZSA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/MechitovSKA03,
author = {Kirill Mechitov and
Sameer Sundresh and
YoungMin Kwon and
Gul Agha},
editor = {Ian F. Akyildiz and
Deborah Estrin and
David E. Culler and
Mani B. Srivastava},
title = {Cooperative tracking with binary-detection sensor networks},
booktitle = {Proceedings of the 1st International Conference on Embedded Networked
Sensor Systems, SenSys 2003, Los Angeles, California, USA, November
5-7, 2003},
pages = {332--333},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/958491.958546},
doi = {10.1145/958491.958546},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sensys/MechitovSKA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SenRA03,
author = {Koushik Sen and
Grigore Rosu and
Gul Agha},
editor = {Jukka Paakki and
Paola Inverardi},
title = {Runtime safety analysis of multithreaded programs},
booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
Software Engineering 2003 held jointly with 9th European Software
Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
1-5, 2003},
pages = {337--346},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/940071.940116},
doi = {10.1145/940071.940116},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SenRA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/DingZAS03,
author = {Hui Ding and
Can Zheng and
Gul Agha and
Lui Sha},
title = {Automated Verification of the Dependability of Object-Oriented Real-Time
Systems},
booktitle = {9th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} Fall 2003), 1-3 October 2003, Anacapri (Capri Island),
Italy},
pages = {171--178},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/WORDS.2003.1267505},
doi = {10.1109/WORDS.2003.1267505},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/DingZAS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/MilojicicABCGJLT02,
author = {Dejan S. Milojicic and
Gul Agha and
Philippe Bernadat and
Deepika Chauhan and
Shai Guday and
Nadeem Jamali and
Dan Lambright and
Franco Travostino},
title = {Case Studies in Security and Resource Management for Mobile Object
Systems},
journal = {Auton. Agents Multi Agent Syst.},
volume = {5},
number = {1},
pages = {45--79},
year = {2002},
url = {https://doi.org/10.1023/A:1013444932711},
doi = {10.1023/A:1013444932711},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/MilojicicABCGJLT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Agha02,
author = {Gul Agha},
title = {Introduction},
journal = {Commun. {ACM}},
volume = {45},
number = {6},
pages = {30--32},
year = {2002},
url = {https://doi.org/10.1145/508448.508469},
doi = {10.1145/508448.508469},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Agha02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ThatiZA02,
author = {Prasannaa Thati and
Reza Ziaei and
Gul Agha},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {A Theory of May Testing for Asynchronous Calculi with Locality and
No Name Matching},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {223--238},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_16},
doi = {10.1007/3-540-45719-4\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/ThatiZA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/ThatiZA02,
author = {Prasannaa Thati and
Reza Ziaei and
Gul Agha},
editor = {Bart Jacobs and
Arend Rensink},
title = {A Theory of May Testing for Actors},
booktitle = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
{TC6/WG6.1} Fifth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
Enschede, The Netherlands},
series = {{IFIP} Conference Proceedings},
volume = {209},
pages = {147--162},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/ThatiZA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/VardhanA02,
author = {Abhay Vardhan and
Gul Agha},
editor = {Hans{-}Juergen Boehm and
David Detlefs},
title = {Using passive object garbage collection algorithms for garbage collection
of active objects},
booktitle = {Proceedings of The Workshop on Memory Systems Performance {(MSP} 2002),
June 16, 2002 and The International Symposium on Memory Management
{(ISMM} 2002), June 20-21, 2002, Berlin, Germany},
pages = {213--220},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/512429.512443},
doi = {10.1145/512429.512443},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/VardhanA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AstleySA01,
author = {Mark Astley and
Daniel C. Sturman and
Gul Agha},
title = {Customizable middleware for modular distributed software},
journal = {Commun. {ACM}},
volume = {44},
number = {5},
pages = {99--107},
year = {2001},
url = {https://doi.org/10.1145/374308.374365},
doi = {10.1145/374308.374365},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/AstleySA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/VarelaA01,
author = {Carlos A. Varela and
Gul Agha},
title = {Programming Dynamically Reconfigurable Open systems with {SALSA}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {36},
number = {12},
pages = {20--34},
year = {2001},
url = {https://doi.org/10.1145/583960.583964},
doi = {10.1145/583960.583964},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/VarelaA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/Agha01,
author = {Gul Agha},
title = {The World Wide Computer: Prospects for Parallel and Distributed Computing
on the Web},
booktitle = {First {IEEE} International Symposium on Cluster Computing and the
Grid (CCGrid 2001), May 15-18, 2001, Brisbane, Australia},
pages = {18},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CCGRID.2001.923168},
doi = {10.1109/CCGRID.2001.923168},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/Agha01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/VenkatasubramanianTA01,
author = {Nalini Venkatasubramanian and
Carolyn L. Talcott and
Gul Agha},
editor = {Jos{\'{e}} Nuno Oliveira and
Pamela Zave},
title = {A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware},
booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2021},
pages = {197--221},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45251-6\_11},
doi = {10.1007/3-540-45251-6\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/VenkatasubramanianTA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ma/ThatiCA01,
author = {Prasannaa Thati and
Po{-}Hao Chang and
Gul Agha},
editor = {Gian Pietro Picco},
title = {Crawlets: Agents for High Performance Web Search Engines},
booktitle = {Mobile Agents, 5th International Conference, {MA} 2001 Atlanta, GA,
USA, December 2-4, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2240},
pages = {119--134},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45647-3\_9},
doi = {10.1007/3-540-45647-3\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/ma/ThatiCA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/omicini01/AghaJV01,
author = {Gul Agha and
Nadeem Jamali and
Carlos A. Varela},
editor = {Andrea Omicini and
Franco Zambonelli and
Matthias Klusch and
Robert Tolksdorf},
title = {Agent Naming and Coordination: Actor Based Models and Infrastructures},
booktitle = {Coordination of Internet Agents: Models, Technologies, and Applications},
pages = {225--246},
publisher = {Springer},
year = {2001},
timestamp = {Sat, 03 Aug 2019 17:35:36 +0200},
biburl = {https://dblp.org/rec/books/sp/omicini01/AghaJV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cooppn/2001,
editor = {Gul Agha and
Fiorella de Cindio and
Grzegorz Rozenberg},
title = {Concurrent Object-Oriented Programming and Petri Nets, Advances in
Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2001},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45397-0},
doi = {10.1007/3-540-45397-0},
isbn = {3-540-41942-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cooppn/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Agha00,
author = {Gul Agha},
editor = {Arndt Bode and
Thomas Ludwig and
Wolfgang Karl and
Roland Wism{\"{u}}ller},
title = {Object Oriented Architectures, Tools, and Applications},
booktitle = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference,
Munich, Germany, August 29 - September 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1900},
pages = {1029--1030},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44520-X\_146},
doi = {10.1007/3-540-44520-X\_146},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/Agha00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/NielsenA99,
author = {Brian Nielsen and
Gul Agha},
title = {Towards Reusable Real-Time Objects},
journal = {Ann. Softw. Eng.},
volume = {7},
pages = {257--282},
year = {1999},
url = {https://doi.org/10.1023/A:1018986121470},
doi = {10.1023/A:1018986121470},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ansoft/NielsenA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/JamaliTA99,
author = {Nadeem Jamali and
Prasanna Thati and
Gul A. Agha},
title = {A actor-based architecture for customizing and controlling agent ensembles},
journal = {{IEEE} Intell. Syst.},
volume = {14},
number = {2},
pages = {38--44},
year = {1999},
url = {https://doi.org/10.1109/5254.757630},
doi = {10.1109/5254.757630},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/JamaliTA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/AghaK99,
author = {Gul A. Agha and
WooYoung Kim},
title = {Actors: {A} unifying model for parallel and distributed computing},
journal = {J. Syst. Archit.},
volume = {45},
number = {15},
pages = {1263--1277},
year = {1999},
url = {https://doi.org/10.1016/S1383-7621(98)00067-8},
doi = {10.1016/S1383-7621(98)00067-8},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/AghaK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/VarelaA99,
author = {Carlos A. Varela and
Gul Agha},
editor = {Paolo Ciancarini and
Alexander L. Wolf},
title = {A Hierarchical Model for Coordination of Concurrent Activities},
booktitle = {Coordination Languages and Models, Third International Conference,
{COORDINATION} '99, Amsterdam, The Netherlands, April 26-28, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1594},
pages = {166--182},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48919-3\_13},
doi = {10.1007/3-540-48919-3\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/VarelaA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/VarelaA98,
author = {Carlos A. Varela and
Gul Agha},
title = {What after Java? From Objects to Actors},
journal = {Comput. Networks},
volume = {30},
number = {1-7},
pages = {573--577},
year = {1998},
url = {https://doi.org/10.1016/S0169-7552(98)00079-8},
doi = {10.1016/S0169-7552(98)00079-8},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/VarelaA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/GuerraouiA98,
author = {Rachid Guerraoui and
Gul Agha},
title = {Editorial - High Availability in {CORBA}},
journal = {Theory Pract. Object Syst.},
volume = {4},
number = {2},
pages = {71},
year = {1998},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/GuerraouiA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/MilojicicABCGJL98,
author = {Dejan S. Milojicic and
Gul Agha and
Philippe Bernadat and
Deepika Chauhan and
Shai Guday and
Nadeem Jamali and
Dan Lambright},
editor = {Serge Demeyer and
Jan Bosch},
title = {Case Studies in Security and Resource Management for Mobile Objects},
booktitle = {Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops,
Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1543},
pages = {306},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49255-0\_83},
doi = {10.1007/3-540-49255-0\_83},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/MilojicicABCGJL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcw/AghaASV98,
author = {Gul Agha and
Mark Astley and
Jamil A. Sheikh and
Carlos A. Varela},
title = {Modular Heterogeneous System Development: {A} Critical Analysis of
Java},
booktitle = {Seventh Heterogeneous Computing Workshop, {HCW} 1998, Orlando, Florida,
USA, March 30, 1998},
pages = {144--155},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/HCW.1998.666552},
doi = {10.1109/HCW.1998.666552},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hcw/AghaASV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/NielsenRA98,
author = {Brian Nielsen and
Shangping Ren and
Gul Agha},
title = {Specification of Real-Time Interaction Constraints},
booktitle = {1st International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} '98), 20-22 April 1998, Kyoto, Japan},
pages = {206--214},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ISORC.1998.666790},
doi = {10.1109/ISORC.1998.666790},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/NielsenRA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdse/AstleyA98,
author = {Mark Astley and
Gul Agha},
title = {Modular Construction and Composition of Distributed Software Architectures},
booktitle = {International Symposium on Software Engineering for Parallel and Distributed
Systems, {PDSE} 1998, Kyoto, Japan, April 20-21, 1998},
pages = {2--12},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/PDSE.1998.668146},
doi = {10.1109/PDSE.1998.668146},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdse/AstleyA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AstleyA98,
author = {Mark Astley and
Gul Agha},
editor = {Leon J. Osterweil and
William L. Scherlis},
title = {Customizaton and Compositon of Distributed Objects: Middleware Abstractions
for Policy Management},
booktitle = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
USA, November 3-5, 1998},
pages = {1--9},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/288195.288206},
doi = {10.1145/288195.288206},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/AstleyA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AghaMST97,
author = {Gul Agha and
Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
title = {A Foundation for Actor Computation},
journal = {J. Funct. Program.},
volume = {7},
number = {1},
pages = {1--72},
year = {1997},
url = {https://doi.org/10.1017/s095679689700261x},
doi = {10.1017/S095679689700261X},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AghaMST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AghaR97,
author = {Gul Agha and
Stefano Russo},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {Workshop on Software Engineering for Parallel and Distributed Systems},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {678},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253833},
doi = {10.1145/253228.253833},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AghaR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GuerraouiFA97,
author = {Rachid Guerraoui and
Jean{-}Charles Fabre and
Gul Agha},
editor = {Jim Haungs},
title = {Dependable distributed object systems},
booktitle = {Addendum to the 1997 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} Addendum
1997, Atlanta, Georgia, USA, October 5-9, 1997},
pages = {136--137},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/274567.274596},
doi = {10.1145/274567.274596},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/GuerraouiFA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Agha96,
author = {Gul Agha},
title = {Linguistic Paradigms for Programming Complex Distributed Systems},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {295--296},
year = {1996},
url = {https://doi.org/10.1145/234528.234730},
doi = {10.1145/234528.234730},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Agha96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/Agha96,
author = {Gul A. Agha},
title = {The mountains are in labor},
journal = {{IEEE} Parallel Distributed Technol. Syst. Appl.},
volume = {4},
number = {1},
pages = {2--5},
year = {1996},
url = {http://doi.ieeecomputersociety.org/10.1109/MCC.1996.10000},
doi = {10.1109/MCC.1996.10000},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeecc/Agha96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/Agha96a,
author = {Gul A. Agha},
title = {The elusive goal of intelligence},
journal = {{IEEE} Parallel Distributed Technol. Syst. Appl.},
volume = {4},
number = {2},
pages = {2--3},
year = {1996},
url = {http://doi.ieeecomputersociety.org/10.1109/MCC.1996.10013},
doi = {10.1109/MCC.1996.10013},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeecc/Agha96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/Agha96b,
author = {Gul A. Agha},
title = {Our magazine's new face},
journal = {{IEEE} Parallel Distributed Technol. Syst. Appl.},
volume = {4},
number = {3},
pages = {2--3},
year = {1996},
url = {http://doi.ieeecomputersociety.org/10.1109/MCC.1996.10016},
doi = {10.1109/MCC.1996.10016},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeecc/Agha96b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/Agha96c,
author = {Gul A. Agha},
title = {Strategic directions},
journal = {{IEEE} Parallel Distributed Technol. Syst. Appl.},
volume = {4},
number = {4},
pages = {2--3},
year = {1996},
url = {http://doi.ieeecomputersociety.org/10.1109/MCC.1996.10023},
doi = {10.1109/MCC.1996.10023},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeecc/Agha96c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/AstleyA96,
author = {Mark Astley and
Gul Agha},
title = {A Visualization Model for Concurrent Systems},
journal = {Inf. Sci.},
volume = {93},
number = {1},
pages = {107--131},
year = {1996},
url = {https://doi.org/10.1016/0020-0255(96)00063-1},
doi = {10.1016/0020-0255(96)00063-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/AstleyA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/RenAS96,
author = {Shangping Ren and
Gul Agha and
Masahiko Saito},
title = {A Modular Approach to Programming Distributed Real-Time Systems},
journal = {J. Parallel Distributed Comput.},
volume = {36},
number = {1},
pages = {4--12},
year = {1996},
url = {https://doi.org/10.1006/jpdc.1996.0086},
doi = {10.1006/JPDC.1996.0086},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/RenAS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oopsm/SaitoA96,
author = {Masahiko Saito and
Gul Agha},
title = {A modular approach to real-time synchronization},
journal = {{OOPS} Messenger},
volume = {7},
number = {1},
pages = {13--20},
year = {1996},
url = {https://doi.org/10.1145/227986.227990},
doi = {10.1145/227986.227990},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/oopsm/SaitoA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Agha96,
author = {Gul Agha},
editor = {Jonathan Billington and
Wolfgang Reisig},
title = {Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction
and Composition},
booktitle = {Application and Theory of Petri Nets 1996, 17th International Conference,
Osaka, Japan, June 24-28, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1091},
pages = {1--10},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61363-3\_1},
doi = {10.1007/3-540-61363-3\_1},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Agha96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/RenA96,
author = {Shangping Ren and
Gul Agha},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {A Modular Approach for Programming Embedded Systems},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {170--207},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_22},
doi = {10.1007/3-540-65193-4\_22},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/eef/RenA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/KimAP96,
author = {WooYoung Kim and
Gul A. Agha and
Rajendra Panwar},
title = {Efficient compilation of concurrent call/return communication in actor-based
programming languages},
booktitle = {3rd International Conference on High Performance Computing, {HIPC}
1996, Proceedings, Trivandrum, India, 19-22 December, 1996},
pages = {62--67},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/HIPC.1996.565798},
doi = {10.1109/HIPC.1996.565798},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hipc/KimAP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/PanwarKA96,
author = {Rajendra Panwar and
WooYoung Kim and
Gul Agha},
title = {Parallel Implementations of Irregular Problems Using High-Level Actor
Language},
booktitle = {Proceedings of {IPPS} '96, The 10th International Parallel Processing
Symposium, April 15-19, 1996, Honolulu, Hawaii, {USA}},
pages = {857--862},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/IPPS.1996.508192},
doi = {10.1109/IPPS.1996.508192},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/PanwarKA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/Agha95,
author = {Gul A. Agha},
title = {Different approaches around the world},
journal = {{IEEE} Parallel Distributed Technol. Syst. Appl.},
volume = {3},
number = {3},
pages = {2--3},
year = {1995},
url = {http://doi.ieeecomputersociety.org/10.1109/MCC.1995.10013},
doi = {10.1109/MCC.1995.10013},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeecc/Agha95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/RenA95,
author = {Shangping Ren and
Gul Agha},
editor = {Richard Gerber and
Thomas J. Marlowe},
title = {RTsynchronizer: Language Support for Real-Time Specifications in Distributed
Systems},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 1995 Workshop on Languages, Compilers,
{\&} Tools for Real-Time Systems {(LCT-RTS} 1995). La Jolla, California,
USA, June 21-22, 1995},
pages = {50--59},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/216636.216656},
doi = {10.1145/216636.216656},
timestamp = {Tue, 26 Apr 2022 11:54:35 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/RenA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/KimA95,
author = {WooYoung Kim and
Gul Agha},
editor = {Sidney Karin},
title = {Efficient Support of Location Transparency in Concurrent Object-Oriented
Programming Languages},
booktitle = {Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8,
1995},
pages = {39},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224170.224297},
doi = {10.1145/224170.224297},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/KimA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/CallsenA94,
author = {Christian J. Callsen and
Gul Agha},
title = {Open Heterogeneous Computing in Actor Space},
journal = {J. Parallel Distributed Comput.},
volume = {21},
number = {3},
pages = {289--300},
year = {1994},
url = {https://doi.org/10.1006/jpdc.1994.1060},
doi = {10.1006/JPDC.1994.1060},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/CallsenA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/PanwarA94,
author = {Rajendra Panwar and
Gul Agha},
title = {A Methodology for Programming Scalable Architectures},
journal = {J. Parallel Distributed Comput.},
volume = {22},
number = {3},
pages = {479--487},
year = {1994},
url = {https://doi.org/10.1006/jpdc.1994.1105},
doi = {10.1006/JPDC.1994.1105},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/PanwarA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/AghaKP94,
author = {Gul A. Agha and
WooYoung Kim and
Rajendra Panwar},
editor = {Guy E. Blelloch and
K. Mani Chandy and
Suresh Jagannathan},
title = {Actor Languages for Specification of Parallel Computations},
booktitle = {Specification of Parallel Algorithms, Proceedings of a {DIMACS} Workshop,
Princeton, New Jersey, USA, May 9-11, 1994},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {18},
pages = {239--258},
publisher = {{DIMACS/AMS}},
year = {1994},
url = {https://doi.org/10.1090/dimacs/018/16},
doi = {10.1090/DIMACS/018/16},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/AghaKP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/FrolundA94,
author = {Svend Fr{\o}lund and
Gul Agha},
editor = {Paolo Ciancarini and
Oscar Nierstrasz and
Akinori Yonezawa},
title = {Abstracting Interactions Based on Message Sets},
booktitle = {Object-Based Models and Languages for Concurrent Systems, ECOOP'94
Workshop on Models and Languages for Coordination of Parallelism and
Distribution, Bologna, Italy, July 5, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {924},
pages = {107--124},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59450-7\_7},
doi = {10.1007/3-540-59450-7\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/FrolundA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/SturmanA94,
author = {Daniel C. Sturman and
Gul Agha},
title = {A Protocol Description Language for Customizing Semantics},
booktitle = {13th Symposium on Reliable Distributed Systems, {SRDS} 1994, Dana
Point, California, USA, October 25-27, 1994, Proceedings},
pages = {148--157},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/RELDIS.1994.336900},
doi = {10.1109/RELDIS.1994.336900},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/SturmanA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/AghaFKPPS93,
author = {Gul Agha and
Svend Fr{\o}lund and
WooYoung Kim and
Rajendra Panwar and
Anna Patterson and
Daniel C. Sturman},
title = {Abstraction and modularity mechanisms for concurrent computing},
journal = {{IEEE} Parallel Distributed Technol. Syst. Appl.},
volume = {1},
number = {2},
pages = {3--14},
year = {1993},
url = {https://doi.org/10.1109/88.218170},
doi = {10.1109/88.218170},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeecc/AghaFKPPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FrolundA93,
author = {Svend Fr{\o}lund and
Gul Agha},
editor = {Oscar Nierstrasz},
title = {A Language Framework for Multi-Object Coordination},
booktitle = {ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern,
Germany, July 26-30, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {707},
pages = {346--360},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-47910-4\_18},
doi = {10.1007/3-540-47910-4\_18},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/FrolundA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/AghaC93,
author = {Gul Agha and
Christian J. Callsen},
editor = {Marina C. Chen and
Robert Halstead},
title = {ActorSpaces: An Open Distributed Programming Paradigm},
booktitle = {Proceedings of the Fourth {ACM} {SIGPLAN} Symposium on Principles
{\&} Practice of Parallel Programming (PPOPP), San Diego, California,
USA, May 19-22, 1993},
pages = {23--32},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/155332.155335},
doi = {10.1145/155332.155335},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/AghaC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/MiriyalaAS92,
author = {Shakuntala Miriyala and
Gul Agha and
Yamina Sami},
title = {Visualizing actor programs using predicate transition nets},
journal = {J. Vis. Lang. Comput.},
volume = {3},
number = {2},
pages = {195--220},
year = {1992},
url = {https://doi.org/10.1016/1045-926X(92)90015-E},
doi = {10.1016/1045-926X(92)90015-E},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/MiriyalaAS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AghaMST92,
author = {Gul Agha and
Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
editor = {Rance Cleaveland},
title = {Towards a Theory of Actor Computation},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {565--579},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084816},
doi = {10.1007/BFB0084816},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AghaMST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JagannathanA92,
author = {Suresh Jagannathan and
Gul Agha},
editor = {Ole Lehrmann Madsen},
title = {A Reflective Model of Inheritance},
booktitle = {{ECOOP} '92, European Conference on Object-Oriented Programming, Utrecht,
The Netherlands, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {615},
pages = {350--371},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0053046},
doi = {10.1007/BFB0053046},
timestamp = {Wed, 07 Dec 2022 23:08:18 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/JagannathanA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Agha92,
author = {Gul Agha},
editor = {Michel Diaz and
Roland Groz},
title = {Formal methods for Actor systems: {A} progress report},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {217--228},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 04 Nov 2004 11:08:03 +0100},
biburl = {https://dblp.org/rec/conf/forte/Agha92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/HouckA92,
author = {Christopher R. Houck and
Gul Agha},
editor = {Kang G. Shin},
title = {{HAL:} {A} High-Level Actor Language and Its Distributed Implementation},
booktitle = {Proceedings of the 1992 International Conference on Parallel Processing,
University of Michigan, An Arbor, Michigan, USA, August 17-21, 1992.
Volume {II:} Software},
pages = {158--165},
publisher = {{CRC} Press},
year = {1992},
timestamp = {Mon, 28 Jul 2014 17:06:02 +0200},
biburl = {https://dblp.org/rec/conf/icpp/HouckA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/VenkatasubramanianAT92,
author = {Nalini Venkatasubramanian and
Gul Agha and
Carolyn L. Talcott},
editor = {Yves Bekkers and
Jacques Cohen},
title = {Scalable Distributed Garbage Collection for Systems of Active Objects},
booktitle = {Memory Management, International Workshop {IWMM} 92, St. Malo, France,
September 17-19, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {637},
pages = {134--147},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0017187},
doi = {10.1007/BFB0017187},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/VenkatasubramanianAT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/KimA92,
author = {Won Kim and
Gul Agha},
editor = {Utpal Banerjee and
David Gelernter and
Alexandru Nicolau and
David A. Padua},
title = {Comilation of a Highly Parallel Actor-Based Language},
booktitle = {Languages and Compilers for Parallel Computing, 5th International
Workshop, New Haven, Connecticut, USA, August 3-5, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {757},
pages = {1--15},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57502-2\_36},
doi = {10.1007/3-540-57502-2\_36},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/KimA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/SinghKAT91,
author = {Vineet Singh and
Vipin Kumar and
Gul Agha and
Chris Tomlinson},
title = {Efficient algorithms for parallel sorting on mesh multicomputers},
journal = {Int. J. Parallel Program.},
volume = {20},
number = {2},
pages = {95--131},
year = {1991},
url = {https://doi.org/10.1007/BF01407839},
doi = {10.1007/BF01407839},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/SinghKAT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SinghKAT91,
author = {Vineet Singh and
Vipin Kumar and
Gul Agha and
Chris Tomlinson},
editor = {V. K. Prasanna Kumar},
title = {Scalability of Parallel Sorting on Mesh Multicomputers},
booktitle = {The Fifth International Parallel Processing Symposium, Proceedings,
Anaheim, California, USA, April 30 - May 2, 1991},
pages = {92--101},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/IPPS.1991.153762},
doi = {10.1109/IPPS.1991.153762},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/SinghKAT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/AghaHP91,
author = {Gul Agha and
Christopher R. Houck and
Rajendra Panwar},
editor = {Utpal Banerjee and
David Gelernter and
Alexandru Nicolau and
David A. Padua},
title = {Distributed Execution of Actor Programs},
booktitle = {Languages and Compilers for Parallel Computing, Fourth International
Workshop, Santa Clara, California, USA, August 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {589},
pages = {1--17},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0038654},
doi = {10.1007/BFB0038654},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/AghaHP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/1990ocp,
editor = {Paul R. Wilson and
Gul Agha and
Carl Hewitt and
Peter Wegner and
Akinori Yonezawa},
title = {Proceedings of the Workshop on Object-based Concurrent Programming,
{OOPSLA/ECOOP} Workshop on Object-based Concurrent Programming 1990,
Ottawa, Canada, October 21-25, 1990},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/127056},
doi = {10.1145/127056},
isbn = {978-0-89791-411-6},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/1990ocp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0066897,
author = {Gul A. Agha},
title = {{ACTORS} - a model of concurrent computation in distributed systems},
series = {{MIT} Press series in artificial intelligence},
publisher = {{MIT} Press},
year = {1990},
isbn = {978-0-262-01092-4},
timestamp = {Thu, 05 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0066897.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Agha90,
author = {Gul Agha},
title = {Concurrent Object-Oriented Programming},
journal = {Commun. {ACM}},
volume = {33},
number = {9},
pages = {125--141},
year = {1990},
url = {https://doi.org/10.1145/83880.84528},
doi = {10.1145/83880.84528},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Agha90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AghaYWA90,
author = {Gul Agha and
Akinori Yonezawa and
Peter Wegner and
Samson Abramsky},
editor = {Jerry L. Archibald and
K. C. Burgess Yakemovic},
title = {Foundations of object-based concurrent programming (panel session)},
booktitle = {Proceedings of the European Conference on Object-Oriented Programming
Addendum: Systems, Languages, and Applications, {OOPSLA/ECOOP} 1990
Addendum, Ottawa, Canada, 1990},
pages = {9--14},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/319016.319031},
doi = {10.1145/319016.319031},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AghaYWA90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AghaAHMWY90,
author = {Gul Agha and
Samson Abramsky and
Carl Hewitt and
Robin Milner and
Peter Wegner and
Akinori Yonezawa},
editor = {Akinori Yonezawa},
title = {Foundations of Concurrent Object-Oriented Programming (Panel)},
booktitle = {Conference on Object-Oriented Programming Systems, Languages, and
Applications / European Conference on Object-Oriented Programming,
{OOPSLA/ECOOP} 1990, Ottawa, Canada, October 21-25, 1990, Proceedings},
pages = {100},
publisher = {{ACM}},
year = {1990},
timestamp = {Wed, 30 Mar 2022 13:54:42 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AghaAHMWY90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Agha90,
author = {Gul Agha},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {The Structure and Semantics of Actor Languages},
booktitle = {Foundations of Object-Oriented Languages, {REX} School/Workshop, Noordwijkerhout,
The Netherlands, May 28 - June 1, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {489},
pages = {1--59},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0019439},
doi = {10.1007/BFB0019439},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/Agha90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/oopsm/AghaYWA91,
author = {Gul Agha and
Akinori Yonezawa and
Peter Wegner and
Samson Abramsky},
editor = {Paul R. Wilson and
Gul Agha and
Carl Hewitt and
Peter Wegner and
Akinori Yonezawa},
title = {{OOPSLA} panel on object-based concurrent programming},
booktitle = {Proceedings of the Workshop on Object-based Concurrent Programming,
{OOPSLA/ECOOP} Workshop on Object-based Concurrent Programming 1990,
Ottawa, Canada, October 21-25, 1990},
pages = {3--15},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/127056.127071},
doi = {10.1145/127056.127071},
timestamp = {Thu, 12 May 2022 16:01:11 +0200},
biburl = {https://dblp.org/rec/journals/oopsm/AghaYWA91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Agha89,
author = {Gul Agha},
editor = {Eddy Odijk and
Martin Rem and
Jean{-}Claude Syre},
title = {Supporting Multiparadigm Programming on Actor Architectures},
booktitle = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {366},
pages = {1--19},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51285-3\_29},
doi = {10.1007/3-540-51285-3\_29},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/Agha89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dpds/Agha88,
author = {Gul Agha},
editor = {Sushil Jajodia and
Won Kim and
Abraham Silberschatz},
title = {The Relation between Problems in Large-Scale Concurrent Systems and
Distributed Databases},
booktitle = {Proceedings of the International Symposium on Databases in Parallel
and Distributed Systems, Austin, Texas, USA, December 5-7, 1988},
pages = {2--12},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/DPDS.1988.674997},
doi = {10.1109/DPDS.1988.674997},
timestamp = {Fri, 01 Apr 2022 16:01:03 +0200},
biburl = {https://dblp.org/rec/conf/dpds/Agha88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/HewittA88,
author = {Carl Hewitt and
Gul Agha},
title = {Guarded Horn Clause Languages: Are They Deductive and Logical?},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {650--657},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/HewittA88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/Agha89,
author = {Gul Agha},
editor = {Gul Agha and
Peter Wegner and
Akinori Yonezawa},
title = {Foundational issues in concurrent computing},
booktitle = {Proceedings of the 1988 {ACM} {SIGPLAN} Workshop on Object-based Concurrent
Programming, {OOPSLA/ECOOP} Workshop on Object-based Concurrent Programming
1988, San Diego, CA, USA, September 26-27, 1988},
pages = {60--65},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/67386.67401},
doi = {10.1145/67386.67401},
timestamp = {Fri, 06 May 2022 15:17:11 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Agha89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/TomlinsonKSSWA89,
author = {Chris Tomlinson and
Won Kim and
Mark Scheevel and
Vineet Singh and
Becky Will and
Gul Agha},
editor = {Gul Agha and
Peter Wegner and
Akinori Yonezawa},
title = {Rosette: An object-oriented concurrent systems architecture},
booktitle = {Proceedings of the 1988 {ACM} {SIGPLAN} Workshop on Object-based Concurrent
Programming, {OOPSLA/ECOOP} Workshop on Object-based Concurrent Programming
1988, San Diego, CA, USA, September 26-27, 1988},
pages = {91--93},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/67386.67410},
doi = {10.1145/67386.67410},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/TomlinsonKSSWA89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/1988ocp,
editor = {Gul Agha and
Peter Wegner and
Akinori Yonezawa},
title = {Proceedings of the 1988 {ACM} {SIGPLAN} Workshop on Object-based Concurrent
Programming, {OOPSLA/ECOOP} Workshop on Object-based Concurrent Programming
1988, San Diego, CA, USA, September 26-27, 1988},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/67386},
doi = {10.1145/67386},
isbn = {978-0-89791-304-1},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/1988ocp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mit/shriverW87/AghaH87,
author = {Gul Agha and
Carl Hewitt},
editor = {Bruce D. Shriver and
Peter Wegner},
title = {Actors: {A} Conceptual Foundation for Concurrent Object-Oriented Programming},
booktitle = {Research Directions in Object-Oriented Programming},
pages = {49--74},
publisher = {{MIT} Press},
year = {1987},
timestamp = {Tue, 06 Aug 2019 13:59:35 +0200},
biburl = {https://dblp.org/rec/books/mit/shriverW87/AghaH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/Agha86,
author = {Gul Agha},
editor = {Peter Wegner and
Bruce D. Shriver},
title = {An overview of actor languages},
booktitle = {Proceedings of the 1986 {SIGPLAN} Workshop on Object-Oriented Programming,
{OOPWORK} 1986, Yorktown Heights, New York, USA, June 9-13, 1986},
pages = {58--67},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/323779.323743},
doi = {10.1145/323779.323743},
timestamp = {Wed, 30 Mar 2022 13:48:15 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Agha86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/Agha86a,
author = {Gul Agha},
editor = {Peter Wegner and
Bruce D. Shriver},
title = {Fair concurrency in actors (abstract only): eager evaluation producers
strong convergence},
booktitle = {Proceedings of the 1986 {SIGPLAN} Workshop on Object-Oriented Programming,
{OOPWORK} 1986, Yorktown Heights, New York, USA, June 9-13, 1986},
pages = {183},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/323779.323758},
doi = {10.1145/323779.323758},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Agha86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Agha85,
author = {Gul A. Agha},
title = {Actors: a Model of Concurrent Computation in Distributed Systems (Parallel
Processing, Semantics, Open, Programming Languages, Artificial Intelligence)},
school = {University of Michigan, {USA}},
year = {1985},
url = {http://hdl.handle.net/2027.42/160629},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Agha85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/Agha85,
author = {Gul Agha},
title = {A Message-Passing Paradigm for Object Management},
journal = {{IEEE} Database Eng. Bull.},
volume = {8},
number = {4},
pages = {75--82},
year = {1985},
url = {http://sites.computer.org/debull/85DEC-CD.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/Agha85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AghaH85,
author = {Gul Agha and
Carl Hewitt},
editor = {S. N. Maheshwari},
title = {Concurrent Programming Using Actors: Exploiting large-Scale Parallelism},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {206},
pages = {19--41},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16042-6\_2},
doi = {10.1007/3-540-16042-6\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AghaH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Agha84,
author = {Gul Agha},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Semantic Considerations in the Actor Paradigm of Concurrent Computation},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {151--179},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_8},
doi = {10.1007/3-540-15670-4\_8},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/Agha84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HewittRAA84,
author = {Carl Hewitt and
Tom Reinhardt and
Gul Agha and
Giuseppe Attardi},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Linguistic Support of Receptionists for Shared Resources},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {330--359},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_16},
doi = {10.1007/3-540-15670-4\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HewittRAA84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-04 05:59 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
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
