2009 | ||
---|---|---|
89 | EE | Akther Shermin, Mehmet A. Orgun: Using dynamic bayesian networks to infer gene regulatory networks from expression profiles. SAC 2009: 799-803 |
2008 | ||
88 | EE | Atilla Elçi, Mamadou Tadiou Kone, Mehmet A. Orgun: Message from the ESAS 2008 Workshop Organizers. COMPSAC 2008: 502 |
87 | EE | Atilla Elçi, Mamadou Tadiou Kone, Mehmet A. Orgun: ESAS 2008 Workshop Organization. COMPSAC 2008: 503-504 |
86 | EE | 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 | EE | Ali Orhan Aydin, Mehmet A. Orgun, Abhaya C. Nayak: The Reactive-Causal Architecture: Towards Development of Believable Agents. IVA 2008: 468-469 |
84 | EE | Yihao Zhang, Mehmet A. Orgun, Weiqiang Lin, Rohan A. Baxter: Mining Multidimensional Data through Element Oriented Analysis. PRICAI 2008: 556-567 |
83 | EE | Ji Ma, Mehmet A. Orgun: Analytic Tableaux for Verifying Agent Beliefs. Web Intelligence/IAT Workshops 2008: 643-646 |
82 | EE | 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 | EE | 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 | EE | Ke-Bing Zhang, Mehmet A. Orgun, Kang Zhang: A Visual Approach for External Cluster Validation. CIDM 2007: 576-582 |
78 | EE | Armin Hezart, Abhaya C. Nayak, Mehmet A. Orgun: Towards Context Sensitive Defeasible Rules. CLIMA VIII 2007: 193-213 |
77 | EE | Mehmet A. Orgun: Intelligent Agents and P2P Semantic Web. COMPSAC (2) 2007: 185 |
76 | EE | Ji Ma, Mehmet A. Orgun: Specifying Agent Beliefs for Authentication Systems. ECUMN 2007: 410-418 |
75 | EE | Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun: Iterated Belief Contraction from First Principles. IJCAI 2007: 2568-2573 |
74 | EE | Moad Maghaydah, Mehmet A. Orgun: An Adaptive Labeling Method for Dynamic XML Documents. IRI 2007: 618-623 |
73 | EE | 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 | EE | 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 | EE | Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun: The interpreted system model of knowledge, belief, desire and intention. AAMAS 2006: 220-222 |
70 | EE | Chuchang Liu, Mehmet A. Orgun: Towards security labelling. ACSC 2006: 69-76 |
69 | EE | Ke-Bing Zhang, Mehmet A. Orgun, Kang Zhang: HOV3: An Approach to Visual Cluster Analysis. ADMA 2006: 316-327 |
68 | EE | Moad Maghaydah, Mehmet A. Orgun: XMask: An Enabled XML Management System. ADVIS 2006: 38-47 |
67 | EE | Moad Maghaydah, Mehmet A. Orgun: Labeling XML Nodes in RDBMS. APWeb Workshops 2006: 122-126 |
66 | EE | Ke-Bing Zhang, Mehmet A. Orgun, Kang Zhang, Yihao Zhang: Hypothesis oriented cluster analysis in data mining by visualization. AVI 2006: 254-257 |
65 | EE | Mehmet A. Orgun, Liyin Xue, Zhangang Han: Supporting Distributed Collaborative Work with Multi-versioning. CSCWD 2006: 193-198 |
64 | EE | 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 | EE | Yihao Zhang, Mehmet A. Orgun, Weiqiang Lin: Unsupervised Learning Aided by Hierarchical Analysis in Knowledge Exploration. ISDA (1) 2006: 661-665 |
60 | EE | 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 | EE | 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 | EE | Yihao Zhang, Mehmet A. Orgun, Weiqiang Lin, Warwick Graco: An Application of Time-Changing Feature Selection. Selected Papers from AusDM 2006: 203-217 |
57 | EE | 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 | EE | 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 | EE | 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 | EE | Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun, Tam Pham: Iterated Belief Change and the Levi Identity. Belief Change in Rational Agents 2005 |
53 | EE | Constantine Mantratzis, Mehmet A. Orgun, Steve Cassidy: Separating XHTML content from navigation clutter using DOM-structure block analysis. Hypertext 2005: 145-147 |
52 | EE | Ji Ma, Mehmet A. Orgun: Managing Theories of Trust in Agent Based Systems. ISCIS 2005: 442-451 |
51 | EE | 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 | EE | 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 | EE | 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 | EE | Liyin Xue, Mehmet A. Orgun: An Exclusive Version Locking Scheme in Internet-based Real-time Group Editors. SAINT 2003: 94-101 |
46 | EE | Ke-Bing Zhang, Mehmet A. Orgun, Kang Zhang: Compiled Visual Programs by VisPro. VIP 2003: 113-117 |
2002 | ||
45 | EE | Liyin Xue, Mehmet A. Orgun, Kang Zhang: A Group-Based Time-Stamping Scheme for the Preservation of Group Intentions. DCW 2002: 125-137 |
44 | EE | Liyin Xue, Mehmet A. Orgun, Kang Zhang: A User-Centred Consistency Model in Real-Time Collaborative Editing Systems. DCW 2002: 138-150 |
43 | EE | Weiqiang Lin, Mehmet A. Orgun, Graham J. Williams: Mining Temporal Patterns from Health Care Data. DaWaK 2002: 222-231 |
42 | EE | Ke-Bing Zhang, Kang Zhang, Mehmet A. Orgun: Grammar-Based Layout for a Visual Programming Language Generation System. Diagrams 2002: 106-108 |
41 | EE | Liyin Xue, Mehmet A. Orgun, Kang Zhang: Intention Preservation by Multi-versioning in Distributed Real-Time Group Editors. EDCIS 2002: 510-524 |
40 | EE | 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 | EE | 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 | EE | Weiqiang Lin, Mehmet A. Orgun, Graham J. Williams: Temporal Data Mining Using Hidden Markov-Local Polynomial Models. PAKDD 2001: 324-335 |
35 | EE | 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 | EE | Vlad Ingar Wietrzyk, Mehmet A. Orgun, Vijay Varadharajan: On the Analysis of On-Line Database Reorganization. ADBIS-DASFAA 2000: 293-306 |
31 | EE | Mehmet A. Orgun: Towards a Logical Basis for Modelling and Querying Multi-dimensional Databases. DCW 2000: 90-99 |
30 | EE | Weiqiang Lin, Mehmet A. Orgun, Graham J. Williams: Temporal Data Mining Using Multilevel-Local Polynominal Models. IDEAL 2000: 180-186 |
29 | EE | Weiqiang Lin, Mehmet A. Orgun: Temporal Data Mining Using Hidden Periodicity Analysis. ISMIS 2000: 49-58 |
1999 | ||
28 | EE | 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 | EE | Mehmet A. Orgun: A Temporal Relational Algebra Based on Multiple Time-Lines. TIME 1999: 100-105 |
25 | EE | Chuchang Liu, Mehmet A. Orgun: Verification of Reactive Systems Using Temporal Logic with Clocks. Theor. Comput. Sci. 220(2): 377-408 (1999) |
1998 | ||
24 | EE | 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 | EE | 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 | EE | 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 | EE | Chuchang Liu, Mehmet A. Orgun: BCTL: A Branching Clock Temporal Logic. TIME 1997: 140-147 |
17 | EE | Mehmet A. Orgun, Weichang Du: Multi-Dimensional Logic Programming: Theoretical Foundations. Theor. Comput. Sci. 185(2): 319-345 (1997) |
1996 | ||
16 | EE | 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 | EE | 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 | EE | 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) |