Akin Günay

According to our database1, Akin Günay authored at least 24 papers between 2005 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Supple: Multiagent Communication Protocols with Causal Types.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
Stellar: A Programming Model for Developing Protocol-Compliant Agents.
Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

2017
Tosca: Operationalizing Commitments Over Information Protocols.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols.
J. Artif. Intell. Res., 2016

Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Dynamically Generated Commitment Protocols in Open Systems: JAAMAS Extended Abstract.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Dynamically generated commitment protocols in open systems.
Auton. Agents Multi Agent Syst., 2015

Automated Agent Behavior Construction for Protocol-Based Multiagent Systems.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Automated Analysis of Commitment Protocols Using Probabilistic Model Checking.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Detecting and predicting privacy violations in online social networks.
Distributed Parallel Databases, 2014

GOSU: computing GOal SUpport with commitments in multiagent systems.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Generating, ranking, and enacting commitment protocols (Taahhüt protokollerinın oluşturulması, sıralanması ve yürürlüğe konması)
PhD thesis, 2013

Multiagent cooperation for solving global optimization problems: an extendible framework with example cooperation strategies.
J. Glob. Optim., 2013

Constraint satisfaction as a tool for modeling and checking feasibility of multiagent commitments.
Appl. Intell., 2013

Generating and ranking commitment protocols.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012
Commitment Protocol Generation.
Proceedings of the Declarative Agent Languages and Technologies X, 2012

PROTOSS: A Run Time Tool for Detecting Privacy Violations in Online Social Networks.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

2011
Detecting Conflicts in Commitments.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

2010
Service matchmaking revisited: An approach based on model checking.
J. Web Semant., 2010

2009
Solving Global Optimization Problems Using MANGO.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2009

2008
Semantic matchmaking of web services using model checking.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Structural and Semantic Similarity Metrics for Web Service Matchmaking.
Proceedings of the E-Commerce and Web Technologies, 8th International Conference, 2007

2005
Enhanced particle swarm optimization through external memory support.
Proceedings of the IEEE Congress on Evolutionary Computation, 2005


  Loading...