( en | de | ru )

 

Disambiguierung von "Günay, Akin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.

, , , , und . ICECCS, Seite 135-144. IEEE Computer Society, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Selahattin Günay

Hüsamettin Günay

Seyfettin Günay

Günay AlçigÌ0ir

Yüce Günay

 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamically generated commitment protocols in open systems., , und . Auton. Agents Multi Agent Syst., 29 (2): 192-229 (2015)Tosca: Operationalizing Commitments Over Information Protocols., , , und . IJCAI, Seite 256-264. ijcai.org, (2017)Supple: Multiagent Communication Protocols with Causal Types., , und . AAMAS, Seite 781-789. International Foundation for Autonomous Agents and Multiagent Systems, (2019)GOSU: computing GOal SUpport with commitments in multiagent systems., , und . ECAI, Volume 263 von Frontiers in Artificial Intelligence and Applications, Seite 477-482. IOS Press, (2014)Generating, ranking, and enacting commitment protocols (Taahhüt protokollerinın oluşturulması, sıralanması ve yürürlüğe konması). Boğaziçi University, Turkey, (2013)Automated Agent Behavior Construction for Protocol-Based Multiagent Systems., , , und . WI-IAT (2), Seite 300-307. IEEE Computer Society, (2015)978-1-4673-9618-9.Automated Analysis of Commitment Protocols Using Probabilistic Model Checking., , , und . AAAI, Seite 2060-2066. AAAI Press, (2015)Detecting Conflicts in Commitments., und . DALT, Volume 7169 von Lecture Notes in Computer Science, Seite 51-66. Springer, (2011)Dynamically Generated Commitment Protocols in Open Systems: JAAMAS Extended Abstract., , und . AAMAS, Seite 1263-1264. ACM, (2016)Semantic matchmaking of web services using model checking., und . AAMAS (1), Seite 273-280. IFAAMAS, (2008)