Akin Gnay
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2005–2018
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | EMAS | Stellar: A Programming Model for Developing Protocol-Compliant Agents. | Akin Gnay, Amit K. Chopra |
| 2017 | IJCAI | Tosca: Operationalizing Commitments Over Information Protocols. | Thomas C. King, Akin Gnay, Amit K. Chopra, Munindar P. Singh |
| 2016 | ECAI | GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. | Zhimin Wu, Ernst Moritz Hahn, Akin Gnay, Lijun Zhang, Yang Liu |
| 2016 | ICECCS | Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption. | Zhimin Wu, Yi Xu, Akin Gnay, Yang Liu, Shengchao Qin |
| 2015 | AAAI | Automated Analysis of Commitment Protocols Using Probabilistic Model Checking. | Akin Gnay, Songzheng Song, Yang Liu, Jie Zhang |
| 2014 | ECAI | GOSU: computing GOal SUpport with commitments in multiagent systems. | zgr Kafali, Akin Gnay, Pinar Yolum |
| 2005 | CEC | Enhanced particle swarm optimization through external memory support. | Adnan Acan, Akin Gnay |