dblp.uni-trier.dewww.uni-trier.de

Mehmet A. Orgun Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
92 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
91EEJi Ma, Mehmet A. Orgun, Abdul Sattar: Theories of Trust for Communication Protocols. ATC 2009: 236-248
90EEAkther Shermin, Mehmet A. Orgun: Using dynamic bayesian networks to infer gene regulatory networks from expression profiles. SAC 2009: 799-803
89EEMehmet 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
88EEAtilla Elçi, Mamadou Tadiou Kone, Mehmet A. Orgun: Message from the ESAS 2008 Workshop Organizers. COMPSAC 2008: 502
87EEAtilla Elçi, Mamadou Tadiou Kone, Mehmet A. Orgun: ESAS 2008 Workshop Organization. COMPSAC 2008: 503-504
86EEAli Orhan Aydin, Mehmet A. Orgun, Abhaya C. Nayak: The reactive-causal architecture: Combining intentional notion and theories of needs. IEEE ICCI 2008: 50-59
85EEAli Orhan Aydin, Mehmet A. Orgun, Abhaya C. Nayak: The Reactive-Causal Architecture: Towards Development of Believable Agents. IVA 2008: 468-469
84EEYihao Zhang, Mehmet A. Orgun, Weiqiang Lin, Rohan A. Baxter: Mining Multidimensional Data through Element Oriented Analysis. PRICAI 2008: 556-567
83EEJi Ma, Mehmet A. Orgun: Analytic Tableaux for Verifying Agent Beliefs. Web Intelligence/IAT Workshops 2008: 643-646
82EELiyin 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)
81EEJi 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
79EEKe-Bing Zhang, Mehmet A. Orgun, Kang Zhang: A Visual Approach for External Cluster Validation. CIDM 2007: 576-582
78EEArmin Hezart, Abhaya C. Nayak, Mehmet A. Orgun: Towards Context Sensitive Defeasible Rules. CLIMA VIII 2007: 193-213
77EEMehmet A. Orgun: Intelligent Agents and P2P Semantic Web. COMPSAC (2) 2007: 185
76EEJi Ma, Mehmet A. Orgun: Specifying Agent Beliefs for Authentication Systems. ECUMN 2007: 410-418
75EEAbhaya C. Nayak, Randy Goebel, Mehmet A. Orgun: Iterated Belief Contraction from First Principles. IJCAI 2007: 2568-2573
74EEMoad Maghaydah, Mehmet A. Orgun: An Adaptive Labeling Method for Dynamic XML Documents. IRI 2007: 618-623
73EEKe-Bing Zhang, Mehmet A. Orgun, Kang Zhang: A Prediction-Based Visual Approach for Cluster Exploration and Cluster Validation by HOV3. PKDD 2007: 336-349
72EEKe-Bing Zhang, Mehmet A. Orgun, Kang Zhang: Enhanced Visual Separation of Clusters by M-Mapping to Facilitate Cluster Analysis. VISUAL 2007: 285-297
2006
71EEKaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun: The interpreted system model of knowledge, belief, desire and intention. AAMAS 2006: 220-222
70EEChuchang Liu, Mehmet A. Orgun: Towards security labelling. ACSC 2006: 69-76
69EEKe-Bing Zhang, Mehmet A. Orgun, Kang Zhang: HOV3: An Approach to Visual Cluster Analysis. ADMA 2006: 316-327
68EEMoad Maghaydah, Mehmet A. Orgun: XMask: An Enabled XML Management System. ADVIS 2006: 38-47
67EEMoad Maghaydah, Mehmet A. Orgun: Labeling XML Nodes in RDBMS. APWeb Workshops 2006: 122-126
66EEKe-Bing Zhang, Mehmet A. Orgun, Kang Zhang, Yihao Zhang: Hypothesis oriented cluster analysis in data mining by visualization. AVI 2006: 254-257
65EEMehmet A. Orgun, Liyin Xue, Zhangang Han: Supporting Distributed Collaborative Work with Multi-versioning. CSCWD 2006: 193-198
64EEMehmet 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
61EEYihao Zhang, Mehmet A. Orgun, Weiqiang Lin: Unsupervised Learning Aided by Hierarchical Analysis in Knowledge Exploration. ISDA (1) 2006: 661-665
60EEAbhaya C. Nayak, Randy Goebel, Mehmet A. Orgun, Tam Pham: Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction. KSEM 2006: 305-317
59EEKaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo: Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM 2006: 366-378
58EEYihao Zhang, Mehmet A. Orgun, Weiqiang Lin, Warwick Graco: An Application of Time-Changing Feature Selection. Selected Papers from AusDM 2006: 203-217
57EEJi Ma, Mehmet A. Orgun: Trust management and trust theory revision. IEEE Transactions on Systems, Man, and Cybernetics, Part A 36(3): 451-460 (2006)
56EEMehmet 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
55EEChuchang Liu, Maris A. Ozols, Mehmet A. Orgun: A Fibred Belief Logic for Multi-agent Systems. Australian Conference on Artificial Intelligence 2005: 29-38
54EEAbhaya C. Nayak, Randy Goebel, Mehmet A. Orgun, Tam Pham: Iterated Belief Change and the Levi Identity. Belief Change in Rational Agents 2005
53EEConstantine Mantratzis, Mehmet A. Orgun, Steve Cassidy: Separating XHTML content from navigation clutter using DOM-structure block analysis. Hypertext 2005: 145-147
52EEJi Ma, Mehmet A. Orgun: Managing Theories of Trust in Agent Based Systems. ISCIS 2005: 442-451
51EELiyin 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
50EEChuchang 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
48EELiyin Xue, Mehmet A. Orgun, Kang Zhang: A Multi-versioning Algorithm for Intention Preservation in Distributed Real-time Group Editors. ACSC 2003: 19-28
47EELiyin Xue, Mehmet A. Orgun: An Exclusive Version Locking Scheme in Internet-based Real-time Group Editors. SAINT 2003: 94-101
46EEKe-Bing Zhang, Mehmet A. Orgun, Kang Zhang: Compiled Visual Programs by VisPro. VIP 2003: 113-117
2002
45EELiyin Xue, Mehmet A. Orgun, Kang Zhang: A Group-Based Time-Stamping Scheme for the Preservation of Group Intentions. DCW 2002: 125-137
44EELiyin Xue, Mehmet A. Orgun, Kang Zhang: A User-Centred Consistency Model in Real-Time Collaborative Editing Systems. DCW 2002: 138-150
43EEWeiqiang Lin, Mehmet A. Orgun, Graham J. Williams: Mining Temporal Patterns from Health Care Data. DaWaK 2002: 222-231
42EEKe-Bing Zhang, Kang Zhang, Mehmet A. Orgun: Grammar-Based Layout for a Visual Programming Language Generation System. Diagrams 2002: 106-108
41EELiyin Xue, Mehmet A. Orgun, Kang Zhang: Intention Preservation by Multi-versioning in Distributed Real-Time Group Editors. EDCIS 2002: 510-524
40EELiyin 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
39EEKe-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
36EEWeiqiang Lin, Mehmet A. Orgun, Graham J. Williams: Temporal Data Mining Using Hidden Markov-Local Polynomial Models. PAKDD 2001: 324-335
35EEKe-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
32EEVlad Ingar Wietrzyk, Mehmet A. Orgun, Vijay Varadharajan: On the Analysis of On-Line Database Reorganization. ADBIS-DASFAA 2000: 293-306
31EEMehmet A. Orgun: Towards a Logical Basis for Modelling and Querying Multi-dimensional Databases. DCW 2000: 90-99
30EEWeiqiang Lin, Mehmet A. Orgun, Graham J. Williams: Temporal Data Mining Using Multilevel-Local Polynominal Models. IDEAL 2000: 180-186
29EEWeiqiang Lin, Mehmet A. Orgun: Temporal Data Mining Using Hidden Periodicity Analysis. ISMIS 2000: 49-58
1999
28EEVlad Ingar Wietrzyk, Mehmet A. Orgun: Dynamic Reorganization of Object Databases. IDEAS 1999: 110-118
27EEMehmet A. Orgun: Modelling and Reasoning about Multi-dimensional Information. ISMIS 1999: 484-493
26EEMehmet A. Orgun: A Temporal Relational Algebra Based on Multiple Time-Lines. TIME 1999: 100-105
25EEChuchang Liu, Mehmet A. Orgun: Verification of Reactive Systems Using Temporal Logic with Clocks. Theor. Comput. Sci. 220(2): 377-408 (1999)
1998
24EEVlad 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
22EEMehmet 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
20EEChuchang Liu, Mehmet A. Orgun: Embedding a Timing System in TLC. TIME 1998: 105-112
1997
19EEChuchang 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
18EEChuchang Liu, Mehmet A. Orgun: BCTL: A Branching Clock Temporal Logic. TIME 1997: 140-147
17EEMehmet A. Orgun, Weichang Du: Multi-Dimensional Logic Programming: Theoretical Foundations. Theor. Comput. Sci. 185(2): 319-345 (1997)
1996
16EEChuchang 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
10EERajiv 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
2EEScott 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)

Coauthor Index

1Ali Orhan Aydin [85] [86]
2Rajiv Bagai [10]
3Rohan A. Baxter [84]
4Yuri Anatolievich Bryukhomitsky [92]
5Steve Cassidy [53]
6Alexander Chefranov [92]
7Weichang Du [5] [17]
8Atilla Elçi [87] [88] [92]
9Antony A. Faustini [11]
10Randy Goebel [54] [60] [75]
11Guido Governatori [64] [89]
12Warwick Graco [58]
13Zhangang Han [65]
14Armin Hezart [78]
15Mamadou Tadiou Kone [87] [88]
16Franky Lam [33] [38]
17Weiqiang Lin [29] [30] [36] [43] [58] [61] [84]
18Chuchang Liu [12] [16] [18] [19] [20] [22] [23] [25] [34] [50] [55] [62] [63] [64] [70] [89]
19Xiangyu Luo [59] [71]
20Ji Ma [52] [57] [64] [76] [81] [83] [91]
21Wanli Ma [9]
22Moad Maghaydah [67] [68] [74]
23Oleg B. Makarevich [92]
24Constantine Mantratzis [53]
25Hausi A. Müller [2] [6]
26Abhaya C. Nayak [54] [60] [62] [75] [78] [85] [86]
27Siddika Berna Örs [92]
28Maris A. Ozols [50] [55]
29Tam Pham [54] [60]
30Josef Pieprzyk [92]
31Abdul Sattar [59] [71] [91]
32Akther Shermin [90]
33Kaile Su [59] [71]
34Makoto Takizawa [37]
35John Thornton [80]
36Scott R. Tilley [2]
37Vijay Varadharajan [32] [37]
38William W. Wadge [1] [3] [5] [8]
39Vlad Ingar Wietrzyk [21] [24] [28] [32] [37]
40Graham J. Williams [30] [36] [43]
41Raymond K. Wong [33] [38]
42Liyin Xue [40] [41] [44] [45] [47] [48] [49] [51] [56] [65] [82]
43Weiya Yue [59]
44Kang Zhang [34] [35] [39] [40] [41] [42] [44] [45] [46] [48] [49] [66] [69] [72] [73] [79] [82]
45Ke-Bing Zhang [35] [39] [42] [46] [66] [69] [72] [73] [79]
46Yihao Zhang [58] [61] [66] [84]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)