Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Mehmet A. Orgun

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Chuchang Liu

> Home > Persons > Mehmet A. Orgun

Publications

2011
[j30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/japll/OrgunGLRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/OrgunGLRS11
Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar:
Special issue on logics for intelligent agents and multi-agent systems. J. Appl. Log. 9(4): 221-222 (2011)
2009
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/OrgunGL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/OrgunGL09
Mehmet A. Orgun, Guido Governatori, Chuchang Liu:
Modal tableaux for verifying stream authentication protocols. Auton. Agents Multi Agent Syst. 19(1): 53-75 (2009)
2008
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/mics/OrgunLN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mics/OrgunLN08
Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak:
Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. Math. Comput. Sci. 2(1): 143-163 (2008)
2006
[c58]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/acsc/LiuO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsc/LiuO06
Chuchang Liu, Mehmet A. Orgun:
Towards security labelling. ACSC 2006: 69-76
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/dasc/OrgunMLG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dasc/OrgunMLG06
Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori:
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. DASC 2006: 325-332
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/OrgunL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/OrgunL06
Mehmet A. Orgun, Chuchang Liu:
Reasoning about dynamics of trust and agent beliefs. IRI 2006: 105-110
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/OrgunLN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/OrgunLN06
Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak:
Representation and integration of knowledge based on multiple granularity of time using temporal logic. IRI 2006: 256-261
2005
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/LiuOO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/LiuOO05
Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun:
A Fibred Belief Logic for Multi-agent Systems. Australian Conference on Artificial Intelligence 2005: 29-38
2004
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/LiuOO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/LiuOO04
Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun:
A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems. ASIAN 2004: 142-156
2001
[j13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/csse/LiuOZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csse/LiuOZ01
Chuchang Liu, Mehmet A. Orgun, Kang Zhang:
A parallel execution model for Chronolog. Comput. Syst. Sci. Eng. 16(4): 215-228 (2001)
1999
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LiuO99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LiuO99
Chuchang Liu, Mehmet A. Orgun:
Verification of Reactive Systems Using Temporal Logic with Clocks. Theor. Comput. Sci. 220(2): 377-408 (1999)
1998
[c16]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/LiuO98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/LiuO98
Chuchang Liu, Mehmet A. Orgun:
A Structural Knowledge-Based Simulation Methodology for Distributed Systems. FLAIRS 1998: 12-17
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/fqas/OrgunL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fqas/OrgunL98
Mehmet A. Orgun, Chuchang Liu:
Querying Clocked Databases. FQAS 1998: 308-319
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/time/LiuO98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/LiuO98
Chuchang Liu, Mehmet A. Orgun:
Embedding a Timing System in TLC. TIME 1998: 105-112
1997
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/LiuO97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/LiuO97
Chuchang Liu, Mehmet A. Orgun:
A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic. Australian Joint Conference on Artificial Intelligence 1997: 485-495
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/time/LiuO97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/LiuO97
Chuchang Liu, Mehmet A. Orgun:
BCTL: A Branching Clock Temporal Logic. TIME 1997: 140-147
1996
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/LiuO96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/LiuO96
Chuchang Liu, Mehmet A. Orgun:
Dealing with Multiple Granularity of Time in Temporal Logic Programming. J. Symb. Comput. 22(5/6): 699-720 (1996)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/LiuO96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/LiuO96
Chuchang Liu, Mehmet A. Orgun:
Executing specifications of distributed computations with Chronolog(MC). SAC 1996: 393-400

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.