×
Edit Profile (opens in new tab)

Orgun, Mehmet Ali

Co-Author Distance
Author ID: orgun.mehmet-ali Recent zbMATH articles by "Orgun, Mehmet Ali"
Published as: Orgun, Mehmet A.; Orgun, Mehmet; Orgun, M. A.; Orgun, Mehmet Ali
Documents Indexed: 40 Publications since 1992
6 Contributions as Editor
Co-Authors: 44 Co-Authors with 42 Joint Publications
1,264 Co-Co-Authors
all top 5

Co-Authors

3 single-authored
13 Lai, Hong
12 Pieprzyk, Josef P.
9 Xue, Liyin
6 Liu, Chuchang
6 Luo, Mingxing
6 Xiao, Jinghua
4 Lin, Weiqiang
4 Zhang, Kang
3 Nayak, Abhaya C.
3 Pan, Lei
3 Zhan, Cheng
2 Fisher, Michael
2 Ozols, Maris A.
2 Wadge, William W.
2 Williams, Graham J.
2 Xiao, Fuyuan
1 Adi, Kamel
1 Ashcroft, Edward A.
1 Brzoska, Christoph
1 Du, Weichang
1 Elci, Atilla
1 Faustini, Anthony A.
1 Governatori, Guido
1 Hezart, Armin
1 Jia, Zhongtian
1 Kellet, Adam
1 Kone, Mamadou Tadiou
1 Lam, Franky
1 Li, Jing
1 Ma, Ji
1 Ma, Wanli
1 Maung, Win
1 Moszkowski, Ben C.
1 Qu, Zhiguo
1 Ramachandran, Raghav
1 Reynolds, Mark Alexander
1 Sattar, Abdul
1 Schäfer, Karl
1 Swe, Chit
1 Wong, Raymond K. W.
1 Yang, Yixian
1 Zhang, Byoung-Tak
1 Zhang, Jun
1 Zhang, Ke-Bing
all top 5

Serials

7 Quantum Information Processing
3 Journal of Symbolic Computation
2 Physica A
2 Physics Letters. A
2 Theoretical Computer Science
2 Journal of Applied Logic
2 Lecture Notes in Computer Science
2 Mathematics in Computer Science
1 Information Processing Letters
1 Journal of Philosophical Logic
1 The Journal of Logic Programming
1 Journal of Parallel and Distributed Computing
1 Journal of Logic and Computation
1 International Journal of Computer Mathematics
1 RAIRO. Informatique Théorique et Applications
1 Nonlinear Dynamics
1 Studies in Computational Intelligence
all top 5

Fields

33 Computer science (68-XX)
10 Quantum theory (81-XX)
7 Information and communication theory, circuits (94-XX)
6 Mathematical logic and foundations (03-XX)
5 General and overarching topics; collections (00-XX)
3 Number theory (11-XX)
2 Statistical mechanics, structure of matter (82-XX)
1 Special functions (33-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Approximations and expansions (41-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

22 Publications have been cited 97 times in 81 Documents Cited by ▼ Year ▼
Towards a unified theory of intensional logic programming. Zbl 0754.68032
Orgun, Mehmet A.; Wadge, William W.
13
1992
An overview of temporal and modal logic programming. Zbl 0949.68513
Orgun, Mehmet A.; Ma, Wanli
11
1994
High-capacity (2,3) threshold quantum secret sharing based on asymmetric quantum lossy channels. Zbl 1508.81305
Lai, Hong; Pieprzyk, Josef; Luo, Ming-Xing; Zhan, Cheng; Pan, Lei; Orgun, Mehmet A.
10
2020
Three approaches to iterated belief contraction. Zbl 1248.03029
Ramachandran, Raghav; Nayak, Abhaya C.; Orgun, Mehmet A.
7
2012
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
7
2015
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
5
2014
Novel quantum key distribution with shift operations based on Fibonacci and Lucas valued orbital angular momentum entangled states. Zbl 07528415
Lai, Hong; Pieprzyk, Josef; Orgun, Mehmet A.
5
2020
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.
5
2017
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
4
2014
AI 2007: Advances in artificial intelligence. 20th Australian joint conference on artificial intelligence, Gold Coast, Australia, December 2–6, 2007. Proceedings. Zbl 1134.68305
4
2007
Two types of dynamic quantum state secret sharing based on tensor networks states. Zbl 07482426
Lai, Hong; Pieprzyk, Josef; Pan, Lei; Orgun, Mehmet A.
4
2021
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
Verification of reactive systems using temporal logic with clocks. Zbl 0954.68104
Liu, Chuchang; Orgun, Mehmet A.
3
1999
Dealing with multiple granularity of time in temporal logic programming. Zbl 0867.68027
Liu, Chuchang; Orgun, Mehmet A.
3
1996
Semantic agent systems. Foundations and applications. Zbl 1213.68602
3
2011
Executable temporal logics. Zbl 0865.00029
2
1996
Extending temporal logic programming with choice predicates non- determinism. Zbl 0824.68022
Orgun, Mehmet A.; Wadge, William W.
2
1994
Foundations of linear-time logic programming. Zbl 0847.68022
Orgun, M. A.
1
1995
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
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
A fibred belief logic for multi-agent systems. Zbl 1151.68654
Liu, Chuchang; Ozols, Maris A.; Orgun, Mehmet A.
1
2005
Two types of dynamic quantum state secret sharing based on tensor networks states. Zbl 07482426
Lai, Hong; Pieprzyk, Josef; Pan, Lei; Orgun, Mehmet A.
4
2021
High-capacity (2,3) threshold quantum secret sharing based on asymmetric quantum lossy channels. Zbl 1508.81305
Lai, Hong; Pieprzyk, Josef; Luo, Ming-Xing; Zhan, Cheng; Pan, Lei; Orgun, Mehmet A.
10
2020
Novel quantum key distribution with shift operations based on Fibonacci and Lucas valued orbital angular momentum entangled states. Zbl 07528415
Lai, Hong; Pieprzyk, Josef; Orgun, Mehmet A.
5
2020
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.
5
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
7
2015
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
5
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
4
2014
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
Three approaches to iterated belief contraction. Zbl 1248.03029
Ramachandran, Raghav; Nayak, Abhaya C.; Orgun, Mehmet A.
7
2012
Semantic agent systems. Foundations and applications. Zbl 1213.68602
3
2011
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
4
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.
3
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
2
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
11
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.
13
1992
all cited Publications top 5 cited Publications
all top 5

Cited by 212 Authors

9 Orgun, Mehmet Ali
6 Lai, Hong
5 Pieprzyk, Josef P.
4 Peng, Jiayin
4 Tang, Jiangang
3 Chandler, Jake
3 d’Avila Garcez, Artur S.
3 Gabbay, Dov M.
3 Gergatsoulis, Manolis
3 Li, Fulin
3 Nomikos, Christos
3 Rondogiannis, Panos
3 Xiao, Jinghua
3 Zhu, Shixin
2 Booth, Richard F.
2 Cai, Xiaoqiu
2 Chang, Chih-Hung
2 Chen, Tingyan
2 Chen, Xiu-Bo
2 Chopra, Amit K.
2 Fornara, Nicoletta
2 Hwang, Tzonelih
2 Lamb, Luís C.
2 Liu, Zhichao
2 Luo, Mingxing
2 Maihemuti, Nueraminaimu
2 Moreira, Álvaro Freitas
2 Noriega, Pablo
2 Pang, Binbin
2 Shi, Weimin
2 Singh, Munindar P.
2 Souza, Marlo
2 Wang, Tianyin
2 Wei, Chunyan
2 Xiao, Fuyuan
2 Xue, Liyin
2 Yang, Yuguang
2 Zhai, Dengxin
2 Zhou, Rigui
2 Zhou, Yihua
2 Zhu, Huihui
1 Achuthan, Krishnashree
1 Adi, Kamel
1 Aguado, Felicidad
1 Alechina, Natasha
1 Alelaiwi, Abdulhameed
1 Arrott, Matthew
1 Askounis, Dimitris
1 Balke, Tina
1 Barringer, Howard
1 Bassiliades, Nick
1 Behera, Bikash K.
1 Beierle, Christoph
1 Blanc, Jérémie
1 Brzoska, Christoph
1 C. K., Honnegowda.
1 Cabalar, Pedro
1 Cao, Wei-Feng
1 Chang, Yan
1 Chen, Lingli
1 Christiaanse, Rob
1 Cranefield, Stephen
1 Dastani, Mehdi M.
1 de Boer, Frank S.
1 De Vos, Marina
1 Debart, Françoise
1 Deng, Fu-Guo
1 Diéguez, Martín
1 Dignum, F. P. M.
1 Du, Weichang
1 Duan, Zhenhua
1 Dutta, Arindam
1 Echahed, Rachid
1 Elzinga, Cees H.
1 Enjalbert, Patrice
1 Esmaeili, Morteza
1 Eynard, Davide
1 Fallah, Mehran S.
1 Fan, PeiRu
1 Fan, Zhou
1 Farcas, Emilia
1 Fisher, Michael
1 Fu, De-Lin
1 Fu, Shuai
1 Gabbrielli, Maurizio
1 Galanaki, Chrysida
1 Gandon, Fabien
1 Gao, Cheng-Yan
1 Gao, Fei
1 Gonçalves, Ricardo
1 Gong, Lihua
1 Gope, Prosanta
1 Gough, Graham
1 Governatori, Guido
1 Haldimann, Jonas Philipp
1 Heyninck, Jesse
1 Hu, Bin
1 Hua, Yun
1 Huang, Lang-Xin
1 Hulstijn, Joris
...and 112 more Authors
all top 5

Cited in 25 Serials

14 International Journal of Theoretical Physics
12 Quantum Information Processing
11 Theoretical Computer Science
7 Physica A
4 Nonlinear Dynamics
3 Physics Letters. A
3 Journal of Applied Non-Classical Logics
2 Artificial Intelligence
2 Journal of Logical and Algebraic Methods in Programming
1 Applied Mathematics and Computation
1 Journal of Philosophical Logic
1 The Journal of Symbolic Logic
1 Annals of Pure and Applied Logic
1 Bulletin of the Iranian Mathematical Society
1 New Generation Computing
1 Information and Computation
1 Formal Aspects of Computing
1 Neural Computation
1 International Journal of Foundations of Computer Science
1 International Journal of Computer Mathematics
1 Topoi
1 Erkenntnis
1 Journal of Applied Mathematics and Computing
1 Journal of Applied Logic
1 Palestine Journal of Mathematics
all top 5

Cited in 18 Fields

36 Computer science (68-XX)
31 Quantum theory (81-XX)
24 Information and communication theory, circuits (94-XX)
17 Mathematical logic and foundations (03-XX)
6 Number theory (11-XX)
5 Statistical mechanics, structure of matter (82-XX)
4 Dynamical systems and ergodic theory (37-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Functional analysis (46-XX)
1 Combinatorics (05-XX)
1 Special functions (33-XX)
1 Approximations and expansions (41-XX)
1 Probability theory and stochastic processes (60-XX)
1 Statistics (62-XX)
1 Mechanics of particles and systems (70-XX)
1 Operations research, mathematical programming (90-XX)
1 Systems theory; control (93-XX)

Citations by Year