 | 2009 |
|---|
| 93 |       | Atilla Elçi,
Oleg B. Makarevich,
Mehmet A. Orgun,
Alexander Chefranov,
Josef Pieprzyk,
Yuri Anatolievich Bryukhomitsky,
Siddika Berna Örs:
Proceedings of the 2nd International Conference on Security of Information and Networks, SIN 2009, Gazimagusa, North Cyprus, October 6-10, 2009
ACM 2009 |
| 92 |  | Ji Ma,
Mehmet A. Orgun,
Abdul Sattar:
Theories of Trust for Communication Protocols.
ATC 2009: 236-248 |
| 91 | | Akther Shermin,
Mehmet A. Orgun:
Using dynamic bayesian networks to infer gene regulatory networks from expression profiles.
SAC 2009: 799-803 |
| 90 | | Ji Ma,
Mehmet A. Orgun,
Abdul Sattar,
Kamel Adi:
Temporalised Epistemic Logic for Reasoning about Agent-Based Systems.
Web Intelligence/IAT Workshops 2009: 474-477 |
| 89 | | Mehmet A. Orgun,
Guido Governatori,
Chuchang Liu:
Modal tableaux for verifying stream authentication protocols.
Autonomous Agents and Multi-Agent Systems 19(1): 53-75 (2009) |
| 2008 |
|---|
| 88 | | Atilla Elçi,
Mamadou Tadiou Kone,
Mehmet A. Orgun:
Message from the ESAS 2008 Workshop Organizers.
COMPSAC 2008: 502 |
| 87 | | Atilla Elçi,
Mamadou Tadiou Kone,
Mehmet A. Orgun:
ESAS 2008 Workshop Organization.
COMPSAC 2008: 503-504 |
| 86 | | Ali Orhan Aydin,
Mehmet A. Orgun,
Abhaya C. Nayak:
The reactive-causal architecture: Combining intentional notion and theories of needs.
IEEE ICCI 2008: 50-59 |
| 85 | | Ali Orhan Aydin,
Mehmet A. Orgun,
Abhaya C. Nayak:
The Reactive-Causal Architecture: Towards Development of Believable Agents.
IVA 2008: 468-469 |
| 84 | | Yihao Zhang,
Mehmet A. Orgun,
Weiqiang Lin,
Rohan A. Baxter:
Mining Multidimensional Data through Element Oriented Analysis.
PRICAI 2008: 556-567 |
| 83 | | Ji Ma,
Mehmet A. Orgun:
Analytic Tableaux for Verifying Agent Beliefs.
Web Intelligence/IAT Workshops 2008: 643-646 |
| 82 | | Liyin Xue,
Mehmet A. Orgun,
Kang Zhang:
A Multi-Versioning Scheme for Intention Preservation in Collaborative Editing Systems.
Computer Supported Cooperative Work 17(5-6): 509-551 (2008) |
| 81 | | Ji Ma,
Mehmet A. Orgun:
Formalising theories of trust for authentication protocols.
Information Systems Frontiers 10(1): 19-32 (2008) |
| 2007 |
|---|
| 80 | | Mehmet A. Orgun,
John Thornton:
AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings
Springer 2007 |
| 79 | | Ke-Bing Zhang,
Mehmet A. Orgun,
Kang Zhang:
A Visual Approach for External Cluster Validation.
CIDM 2007: 576-582 |
| 78 | | Armin Hezart,
Abhaya C. Nayak,
Mehmet A. Orgun:
Towards Context Sensitive Defeasible Rules.
CLIMA VIII 2007: 193-213 |
| 77 | | Mehmet A. Orgun:
Intelligent Agents and P2P Semantic Web.
COMPSAC (2) 2007: 185 |
| 76 | | Ji Ma,
Mehmet A. Orgun:
Specifying Agent Beliefs for Authentication Systems.
ECUMN 2007: 410-418 |
| 75 | | Abhaya C. Nayak,
Randy Goebel,
Mehmet A. Orgun:
Iterated Belief Contraction from First Principles.
IJCAI 2007: 2568-2573 |
| 74 | | Moad Maghaydah,
Mehmet A. Orgun:
An Adaptive Labeling Method for Dynamic XML Documents.
IRI 2007: 618-623 |
| 73 | | Ke-Bing Zhang,
Mehmet A. Orgun,
Kang Zhang:
A Prediction-Based Visual Approach for Cluster Exploration and Cluster Validation by HOV3.
PKDD 2007: 336-349 |
| 72 | | Ke-Bing Zhang,
Mehmet A. Orgun,
Kang Zhang:
Enhanced Visual Separation of Clusters by M-Mapping to Facilitate Cluster Analysis.
VISUAL 2007: 285-297 |
| 2006 |
|---|
| 71 | | Kaile Su,
Xiangyu Luo,
Abdul Sattar,
Mehmet A. Orgun:
The interpreted system model of knowledge, belief, desire and intention.
AAMAS 2006: 220-222 |
| 70 | | Chuchang Liu,
Mehmet A. Orgun:
Towards security labelling.
ACSC 2006: 69-76 |
| 69 | | Ke-Bing Zhang,
Mehmet A. Orgun,
Kang Zhang:
HOV3: An Approach to Visual Cluster Analysis.
ADMA 2006: 316-327 |
| 68 | | Moad Maghaydah,
Mehmet A. Orgun:
XMask: An Enabled XML Management System.
ADVIS 2006: 38-47 |
| 67 | | Moad Maghaydah,
Mehmet A. Orgun:
Labeling XML Nodes in RDBMS.
APWeb Workshops 2006: 122-126 |
| 66 | | Ke-Bing Zhang,
Mehmet A. Orgun,
Kang Zhang,
Yihao Zhang:
Hypothesis oriented cluster analysis in data mining by visualization.
AVI 2006: 254-257 |
| 65 | | Mehmet A. Orgun,
Liyin Xue,
Zhangang Han:
Supporting Distributed Collaborative Work with Multi-versioning.
CSCWD 2006: 193-198 |
| 64 | | Mehmet A. Orgun,
Ji Ma,
Chuchang Liu,
Guido Governatori:
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.
DASC 2006: 325-332 |
| 63 | | Mehmet A. Orgun,
Chuchang Liu:
Reasoning about dynamics of trust and agent beliefs.
IRI 2006: 105-110 |
| 62 | | 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 |
| 61 | | Yihao Zhang,
Mehmet A. Orgun,
Weiqiang Lin:
Unsupervised Learning Aided by Hierarchical Analysis in Knowledge Exploration.
ISDA (1) 2006: 661-665 |
| 60 | | Abhaya C. Nayak,
Randy Goebel,
Mehmet A. Orgun,
Tam Pham:
Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction.
KSEM 2006: 305-317 |
| 59 | | Kaile Su,
Weiya Yue,
Abdul Sattar,
Mehmet A. Orgun,
Xiangyu Luo:
Observation-Based Logic of Knowledge, Belief, Desire and Intention.
KSEM 2006: 366-378 |
| 58 | | Yihao Zhang,
Mehmet A. Orgun,
Weiqiang Lin,
Warwick Graco:
An Application of Time-Changing Feature Selection.
Selected Papers from AusDM 2006: 203-217 |
| 57 | | Ji Ma,
Mehmet A. Orgun:
Trust management and trust theory revision.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 36(3): 451-460 (2006) |
| 56 | | Mehmet A. Orgun,
Liyin Xue:
From Predefined Consistency to User-Centered Emergent Consistency in Real-Time Collaborative Editing Systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 36(6): 1063-1073 (2006) |
| 2005 |
|---|
| 55 | | Chuchang Liu,
Maris A. Ozols,
Mehmet A. Orgun:
A Fibred Belief Logic for Multi-agent Systems.
Australian Conference on Artificial Intelligence 2005: 29-38 |
| 54 | | Abhaya C. Nayak,
Randy Goebel,
Mehmet A. Orgun,
Tam Pham:
Iterated Belief Change and the Levi Identity.
Belief Change in Rational Agents 2005 |
| 53 | | Constantine Mantratzis,
Mehmet A. Orgun,
Steve Cassidy:
Separating XHTML content from navigation clutter using DOM-structure block analysis.
Hypertext 2005: 145-147 |
| 52 | | Ji Ma,
Mehmet A. Orgun:
Managing Theories of Trust in Agent Based Systems.
ISCIS 2005: 442-451 |
| 51 | | Liyin Xue,
Mehmet A. Orgun:
Locking without requesting a lock: A consistency maintenance mechanism in Internet-based real-time group editors.
J. Parallel Distrib. Comput. 65(7): 801-814 (2005) |
| 2004 |
|---|
| 50 | | 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 |
| 49 | | Liyin Xue,
Mehmet A. Orgun,
Kang Zhang:
An Analytical Framework for Consistency Maintenance Mechanisms in Collaborative Editing Systems.
SEKE 2004: 51-56 |
| 2003 |
|---|
| 48 | | Liyin Xue,
Mehmet A. Orgun,
Kang Zhang:
A Multi-versioning Algorithm for Intention Preservation in Distributed Real-time Group Editors.
ACSC 2003: 19-28 |
| 47 | | Liyin Xue,
Mehmet A. Orgun:
An Exclusive Version Locking Scheme in Internet-based Real-time Group Editors.
SAINT 2003: 94-101 |
| 46 | | Ke-Bing Zhang,
Mehmet A. Orgun,
Kang Zhang:
Compiled Visual Programs by VisPro.
VIP 2003: 113-117 |
| 2002 |
|---|
| 45 | | Liyin Xue,
Mehmet A. Orgun,
Kang Zhang:
A Group-Based Time-Stamping Scheme for the Preservation of Group Intentions.
DCW 2002: 125-137 |
| 44 | | Liyin Xue,
Mehmet A. Orgun,
Kang Zhang:
A User-Centred Consistency Model in Real-Time Collaborative Editing Systems.
DCW 2002: 138-150 |
| 43 | | Weiqiang Lin,
Mehmet A. Orgun,
Graham J. Williams:
Mining Temporal Patterns from Health Care Data.
DaWaK 2002: 222-231 |
| 42 | | Ke-Bing Zhang,
Kang Zhang,
Mehmet A. Orgun:
Grammar-Based Layout for a Visual Programming Language Generation System.
Diagrams 2002: 106-108 |
| 41 | | Liyin Xue,
Mehmet A. Orgun,
Kang Zhang:
Intention Preservation by Multi-versioning in Distributed Real-Time Group Editors.
EDCIS 2002: 510-524 |
| 40 | | Liyin Xue,
Mehmet A. Orgun,
Kang Zhang:
Editing Any Version at Any Time: a consistency maintenance mechanism in Internet-based collaborative environments.
ICPADS 2002: 69-74 |
| 39 | | Ke-Bing Zhang,
Mehmet A. Orgun,
Kang Zhang:
Visual Language Semantics Specification in the VisPro System.
VIP 2002: 121- |
| 2001 |
|---|
| 38 | | Franky Lam,
Raymond K. Wong,
Mehmet A. Orgun:
Modeling and Manipulating Multidimensional Data in Semistructured Databases.
DASFAA 2001: 14-21 |
| 37 | | Vlad Ingar Wietrzyk,
Makoto Takizawa,
Mehmet A. Orgun,
Vijay Varadharajan:
A Secure Transaction Environment for Workflows in Distributed Systems.
ICPADS 2001: 198-208 |
| 36 | | Weiqiang Lin,
Mehmet A. Orgun,
Graham J. Williams:
Temporal Data Mining Using Hidden Markov-Local Polynomial Models.
PAKDD 2001: 324-335 |
| 35 | | Ke-Bing Zhang,
Kang Zhang,
Mehmet A. Orgun:
Using Graph Grammer to Implement Global Layout for a Visual Programming Language Generation System.
VIP 2001: 115-121 |
| 34 | | Chuchang Liu,
Mehmet A. Orgun,
Kang Zhang:
A parallel execution model for Chronolog.
Comput. Syst. Sci. Eng. 16(4): 215-228 (2001) |
| 33 | | Raymond K. Wong,
Franky Lam,
Mehmet A. Orgun:
Modelling and Manipulating Multidimensional Data in Semistructured Databases.
World Wide Web 4(1-2): 79-99 (2001) |
| 2000 |
|---|
| 32 | | Vlad Ingar Wietrzyk,
Mehmet A. Orgun,
Vijay Varadharajan:
On the Analysis of On-Line Database Reorganization.
ADBIS-DASFAA 2000: 293-306 |
| 31 | | Mehmet A. Orgun:
Towards a Logical Basis for Modelling and Querying Multi-dimensional Databases.
DCW 2000: 90-99 |
| 30 | | Weiqiang Lin,
Mehmet A. Orgun,
Graham J. Williams:
Temporal Data Mining Using Multilevel-Local Polynominal Models.
IDEAL 2000: 180-186 |
| 29 | | Weiqiang Lin,
Mehmet A. Orgun:
Temporal Data Mining Using Hidden Periodicity Analysis.
ISMIS 2000: 49-58 |
| 1999 |
|---|
| 28 | | Vlad Ingar Wietrzyk,
Mehmet A. Orgun:
Dynamic Reorganization of Object Databases.
IDEAS 1999: 110-118 |
| 27 | | Mehmet A. Orgun:
Modelling and Reasoning about Multi-dimensional Information.
ISMIS 1999: 484-493 |
| 26 | | Mehmet A. Orgun:
A Temporal Relational Algebra Based on Multiple Time-Lines.
TIME 1999: 100-105 |
| 25 | | Chuchang Liu,
Mehmet A. Orgun:
Verification of Reactive Systems Using Temporal Logic with Clocks.
Theor. Comput. Sci. 220(2): 377-408 (1999) |
| 1998 |
|---|
| 24 | | Vlad Ingar Wietrzyk,
Mehmet A. Orgun:
Clustering Techniques for Minimizing Object Access Time.
ADBIS 1998: 236-247 |
| 23 | | Chuchang Liu,
Mehmet A. Orgun:
A Structural Knowledge-Based Simulation Methodology for Distributed Systems.
FLAIRS Conference 1998: 12-17 |
| 22 | | Mehmet A. Orgun,
Chuchang Liu:
Querying Clocked Databases.
FQAS 1998: 308-319 |
| 21 | | Vlad Ingar Wietrzyk,
Mehmet A. Orgun:
VERSANT Architecture: Supporting High - Performance Object Databases.
IDEAS 1998: 141-149 |
| 20 | | Chuchang Liu,
Mehmet A. Orgun:
Embedding a Timing System in TLC.
TIME 1998: 105-112 |
| 1997 |
|---|
| 19 | | 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 |
| 18 | | Chuchang Liu,
Mehmet A. Orgun:
BCTL: A Branching Clock Temporal Logic.
TIME 1997: 140-147 |
| 17 | | Mehmet A. Orgun,
Weichang Du:
Multi-Dimensional Logic Programming: Theoretical Foundations.
Theor. Comput. Sci. 185(2): 319-345 (1997) |
| 1996 |
|---|
| 16 | | Chuchang Liu,
Mehmet A. Orgun:
Executing specifications of distributed computations with Chronolog(MC).
SAC 1996: 393-400 |
| 15 | | Mehmet A. Orgun:
A recursive temporal algebra and temporal completeness.
TIME 1996: 96-103 |
| 14 | | Mehmet A. Orgun:
On Temporal Deductive Databases.
Computational Intelligence 12: 235-259 (1996) |
| 13 | | Mehmet A. Orgun:
Incorporating an Implicit Time Dimension Into the Relational Model and Algebra.
ITA 30(3): 231-260 (1996) |
| 12 | | Chuchang Liu,
Mehmet A. Orgun:
Dealing with Multiple Granularity of Time in Temporal Logic Programming.
J. Symb. Comput. 22(5/6): 699-720 (1996) |
| 11 | | Mehmet A. Orgun,
Antony A. Faustini:
Executable Temporal Logic Systems.
J. Symb. Comput. 22(5/6): 721-735 (1996) |
| 1995 |
|---|
| 10 | | Rajiv Bagai,
Mehmet A. Orgun:
A temporal paraconsistent relational algebra for incomplete and inconsistent information.
ACM Southeast Regional Conference 1995: 240-248 |
| 1994 |
|---|
| 9 | | Mehmet A. Orgun,
Wanli Ma:
An Overview of Temporal and Modal Logic Programming.
ICTL 1994: 445-479 |
| 8 | | Mehmet A. Orgun,
William W. Wadge:
Extending Temporal Logic Programming with Choice Predicates Non-Determinism.
J. Log. Comput. 4(6): 877-903 (1994) |
| 7 | | Mehmet A. Orgun:
Temporal and Modal Logic Programming: An Annotated Bibliography.
SIGART Bulletin 5(3): 52-59 (1994) |
| 1993 |
|---|
| 6 | | Mehmet A. Orgun,
Hausi A. Müller:
A Temporal Algebra Based on an Abstract Model.
Australian Database Conference 1993: 301-316 |
| 5 | | Mehmet A. Orgun,
William W. Wadge,
Weichang Du:
Chronolog (Z): Linear-Time Logic Programming.
ICCI 1993: 545-549 |
| 4 | | Mehmet A. Orgun:
The Soundness and Completeness of a Temporal Extension of Logic Programming.
ILPS 1993: 669 |
| 1992 |
|---|
| 3 | | Mehmet A. Orgun,
William W. Wadge:
A Relational Algebra as a Query Language for Temporal DATALOG.
DEXA 1992: 276-281 |
| 2 | | Scott R. Tilley,
Hausi A. Müller,
Mehmet A. Orgun:
Documenting software systems with views.
SIGDOC 1992: 211-219 |
| 1 | | Mehmet A. Orgun,
William W. Wadge:
Towards a Unified Theory of Intensional Logic Programming.
J. Log. Program. 13(4): 413-440 (1992) |
