×

zbMATH — the first resource for mathematics

Orgun, Mehmet Ali

Compute Distance To:
Author ID: orgun.mehmet-ali Recent zbMATH articles by "Orgun, Mehmet Ali"
Published as: Orgun, M. A.; Orgun, Mehmet; Orgun, Mehmet A.; Orgun, Mehmet Ali
Documents Indexed: 43 Publications since 1992, including 6 Books

Publications by Year

Citations contained in zbMATH

19 Publications have been cited 53 times in 40 Documents Cited by Year
Towards a unified theory of intensional logic programming. Zbl 0754.68032
Orgun, Mehmet A.; Wadge, William W.
14
1992
An overview of temporal and modal logic programming. Zbl 0949.68513
Orgun, Mehmet A.; Ma, Wanli
10
1994
Provably secure three-party key agreement protocol using Chebyshev chaotic maps in the standard model. Zbl 1331.94060
Lai, Hong; Orgun, Mehmet A.; Xiao, Jinghua; Pieprzyk, Josef; Xue, Liyin; Yang, Yixian
4
2014
Controllable quantum private queries using an entangled Fibonacci-sequence spiral source. Zbl 1361.81023
Lai, Hong; Orgun, Mehmet A.; Pieprzyk, Josef; Xiao, Jinghua; Xue, Liyin; Jia, Zhongtian
3
2015
Fault-tolerant high-capacity quantum key distribution over a collective-noise channel using extended unitary operations. Zbl 1303.94087
Lai, Hong; Orgun, Mehmet A.; Xiao, Jinghua; Xue, Liyin
3
2014
Dealing with multiple granularity of time in temporal logic programming. Zbl 0867.68027
Liu, Chuchang; Orgun, Mehmet A.
3
1996
Verification of reactive systems using temporal logic with clocks. Zbl 0954.68104
Liu, Chuchang; Orgun, Mehmet A.
2
1999
Executable temporal logics. Zbl 0865.00029
Fisher, M. (ed.); Kono, S. (ed.); Orgun, M. A. (ed.)
2
1996
Extending temporal logic programming with choice predicates non- determinism. Zbl 0824.68022
Orgun, Mehmet A.; Wadge, William W.
2
1994
An improved coding method of quantum key distribution protocols based on Fibonacci-valued OAM entangled states. Zbl 1404.81081
Lai, Hong; Luo, Ming-Xing; Zhan, Cheng; Pieprzyk, Josef; Orgun, Mehmet A.
1
2017
Quantum direct secret sharing with efficient eavesdropping-check and authentication based on distributed fountain codes. Zbl 1291.81116
Lai, Hong; Xiao, Jinghua; Orgun, Mehmet A.; Xue, Liyin; Pieprzyk, Josef
1
2014
Three approaches to iterated belief contraction. Zbl 1248.03029
Ramachandran, Raghav; Nayak, Abhaya C.; Orgun, Mehmet A.
1
2012
An analytic tableau calculus for a temporalised belief logic. Zbl 1248.68471
Ma, Ji; Orgun, Mehmet A.; Adi, Kamel
1
2011
Knowledge representation, reasoning and integration using temporal logic with clocks. Zbl 1158.68502
Orgun, Mehmet A.; Liu, Chuchang; Nayak, Abhaya C.
1
2008
AI 2007: Advances in artificial intelligence. 20th Australian joint conference on artificial intelligence, Gold Coast, Australia, December 2–6, 2007. Proceedings. Zbl 1134.68305
Orgun, Mehmet A. (ed.); Thornton, John (ed.)
1
2007
A fibred belief logic for multi-agent systems. Zbl 1151.68654
Liu, Chuchang; Ozols, Maris A.; Orgun, Mehmet A.
1
2005
A temporalised belief logic for specifying the dynamics of trust for multi-agent systems. Zbl 1115.68514
Liu, Chuchang; Ozols, Maris A.; Orgun, Mehmet
1
2004
Executable temporal logic systems. Zbl 0874.68278
Orgun, Mehmet A.; Faustini, Anthony A.; Schäfer, Karl; Brzoska, Christoph; Fisher, Michael; Kellet, Adam; Moszkowski, Ben
1
1996
Foundations of linear-time logic programming. Zbl 0847.68022
Orgun, M. A.
1
1995
An improved coding method of quantum key distribution protocols based on Fibonacci-valued OAM entangled states. Zbl 1404.81081
Lai, Hong; Luo, Ming-Xing; Zhan, Cheng; Pieprzyk, Josef; Orgun, Mehmet A.
1
2017
Controllable quantum private queries using an entangled Fibonacci-sequence spiral source. Zbl 1361.81023
Lai, Hong; Orgun, Mehmet A.; Pieprzyk, Josef; Xiao, Jinghua; Xue, Liyin; Jia, Zhongtian
3
2015
Provably secure three-party key agreement protocol using Chebyshev chaotic maps in the standard model. Zbl 1331.94060
Lai, Hong; Orgun, Mehmet A.; Xiao, Jinghua; Pieprzyk, Josef; Xue, Liyin; Yang, Yixian
4
2014
Fault-tolerant high-capacity quantum key distribution over a collective-noise channel using extended unitary operations. Zbl 1303.94087
Lai, Hong; Orgun, Mehmet A.; Xiao, Jinghua; Xue, Liyin
3
2014
Quantum direct secret sharing with efficient eavesdropping-check and authentication based on distributed fountain codes. Zbl 1291.81116
Lai, Hong; Xiao, Jinghua; Orgun, Mehmet A.; Xue, Liyin; Pieprzyk, Josef
1
2014
Three approaches to iterated belief contraction. Zbl 1248.03029
Ramachandran, Raghav; Nayak, Abhaya C.; Orgun, Mehmet A.
1
2012
An analytic tableau calculus for a temporalised belief logic. Zbl 1248.68471
Ma, Ji; Orgun, Mehmet A.; Adi, Kamel
1
2011
Knowledge representation, reasoning and integration using temporal logic with clocks. Zbl 1158.68502
Orgun, Mehmet A.; Liu, Chuchang; Nayak, Abhaya C.
1
2008
AI 2007: Advances in artificial intelligence. 20th Australian joint conference on artificial intelligence, Gold Coast, Australia, December 2–6, 2007. Proceedings. Zbl 1134.68305
Orgun, Mehmet A. (ed.); Thornton, John (ed.)
1
2007
A fibred belief logic for multi-agent systems. Zbl 1151.68654
Liu, Chuchang; Ozols, Maris A.; Orgun, Mehmet A.
1
2005
A temporalised belief logic for specifying the dynamics of trust for multi-agent systems. Zbl 1115.68514
Liu, Chuchang; Ozols, Maris A.; Orgun, Mehmet
1
2004
Verification of reactive systems using temporal logic with clocks. Zbl 0954.68104
Liu, Chuchang; Orgun, Mehmet A.
2
1999
Dealing with multiple granularity of time in temporal logic programming. Zbl 0867.68027
Liu, Chuchang; Orgun, Mehmet A.
3
1996
Executable temporal logics. Zbl 0865.00029
Fisher, M. (ed.); Kono, S. (ed.); Orgun, M. A. (ed.)
2
1996
Executable temporal logic systems. Zbl 0874.68278
Orgun, Mehmet A.; Faustini, Anthony A.; Schäfer, Karl; Brzoska, Christoph; Fisher, Michael; Kellet, Adam; Moszkowski, Ben
1
1996
Foundations of linear-time logic programming. Zbl 0847.68022
Orgun, M. A.
1
1995
An overview of temporal and modal logic programming. Zbl 0949.68513
Orgun, Mehmet A.; Ma, Wanli
10
1994
Extending temporal logic programming with choice predicates non- determinism. Zbl 0824.68022
Orgun, Mehmet A.; Wadge, William W.
2
1994
Towards a unified theory of intensional logic programming. Zbl 0754.68032
Orgun, Mehmet A.; Wadge, William W.
14
1992
all top 5

Cited by 94 Authors

6 Orgun, Mehmet Ali
3 d’Avila Garcez, Artur S.
3 Gabbay, Dov M.
3 Gergatsoulis, Manolis
3 Nomikos, Christos
3 Rondogiannis, Panos
2 Alagic, Suad
2 Chang, Chih-Hung
2 Hwang, Tzonelih
2 Lai, Hong
2 Lamb, Luís C.
2 Pieprzyk, Josef P.
2 Xiao, Jinghua
1 Adi, Kamel
1 Aguado, Felicidad
1 Ahmadi, Sepideh
1 Alagić, Mara
1 Alelaiwi, Abdulhameed
1 Askounis, Dimitris
1 Barringer, Howard
1 Bhattacharjee, G. P.
1 Blanc, Jérémie
1 Booth, Richard F.
1 Bowman, Hannah
1 Brzoska, Christoph
1 Cabalar, Pedro
1 Cao, Wei-Feng
1 Chandler, Jake
1 Chang, Yan
1 Chen, Xiubo
1 de Boer, Frank S.
1 Debart, Françoise
1 Deng, Fu-Guo
1 Diéguez, Martín
1 Du, Weichang
1 Duan, Zhenhua
1 Echahed, Rachid
1 Enjalbert, Patrice
1 Esmaeili, Morteza
1 Fallah, Mehran S.
1 Fisher, Michael W.
1 Fu, Shuai
1 Gabbrielli, Maurizio
1 Galanaki, Chrysida
1 Gao, Cheng-Yan
1 Gómez, Robinson
1 Gope, Prosanta
1 Gough, Graham
1 Hu, Bin
1 Jabbari, Adel
1 Jiang, Qi
1 Koutras, Costas D.
1 Lescot, Madeleine
1 Li, Guangsong
1 Li, Jing
1 Li, Xueyang
1 Liu, Chuchang
1 Liu, Yu
1 Liu, Zhichao
1 Luo, Mingxing
1 Ma, Ji
1 Ma, Jianfeng
1 Meo, Maria Chiara
1 Mohasefi, J. B.
1 Mousavi, Mir Hashem
1 Nguyen, Linh Anh
1 Owens, Richard
1 Panayiotopoulos, Themis
1 Pani, Ashis K.
1 Pérez, Gilberto
1 Ray, Oliver
1 Rondogiannis, Panagiotis
1 Shi, Weimin
1 Tian, Cong
1 Vidal, Concepción
1 Wan, Guogen
1 Wang, Guanyu
1 Wei, Fushan
1 Woods, John
1 Wu, Ting
1 Xiao, Fuyuan
1 Xie, Qi
1 Xue, Kaiping
1 Xue, Liyin
1 Yan, LiLi
1 Yang, Chunwei
1 Yang, Yuguang
1 Zaghian, Ali
1 Zhang, Hao
1 Zhang, Nan
1 Zhang, Shibin
1 Zhang, Yan
1 Zhou, Yihua
1 Zikos, Yorgos

Citations by Year