Edit Profile (opens in new tab) Owens, Richard Co-Author Distance Author ID: owens.richard Published as: Owens, Richard; Owens, R. Documents Indexed: 3 Publications since 1995 1 Contribution as Editor Co-Authors: 9 Co-Authors with 3 Joint Publications 336 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Fisher, Michael 2 Barringer, Howard 2 Gabbay, Dov M. 2 Gough, Graham 1 Brough, Derek 1 Hodkinson, Ian Martin 1 Hunter, Anthony 1 Lirkov, Ivan D. 1 Margenov, Svetozar D. 1 McBrien, Peter 1 Paprzycki, Marcin 1 Reynolds, Mark Alexander Serials 1 Formal Aspects of Computing 1 Journal of the IGPL 1 Lecture Notes in Computer Science Fields 3 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Partial differential equations (35-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2 Publications have been cited 12 times in 11 Documents Cited by ▼ Year ▼ MetateM: An introduction. Zbl 0838.68014 Barringer, H.; Fisher, M.; Gabbay, D.; Gough, G.; Owens, R. 8 1995 Executable modal and temporal logics. IJCAI ’93 workshop, Chambery, France, August 28, 1993. Proceedings. Zbl 0813.68029 4 1995 MetateM: An introduction. Zbl 0838.68014 Barringer, H.; Fisher, M.; Gabbay, D.; Gough, G.; Owens, R. 8 1995 Executable modal and temporal logics. IJCAI ’93 workshop, Chambery, France, August 28, 1993. Proceedings. Zbl 0813.68029 4 1995 all cited Publications top 5 cited Publications all top 5 Cited by 30 Authors 3 Dekhtyar, Michael I. 3 Dikovsky, Alexander Yakovlevich 3 Valiev, Mars K. 2 Barringer, Howard 1 Artho, Cyrille 1 De Giacomo, Giuseppe 1 Dix, Jurgen 1 Duan, Zhenhua 1 Engelfriet, Joeri 1 Fisher, Michael 1 Gabbay, Dov M. 1 Gough, Graham 1 Havelund, Klaus 1 Khurshid, Sarfraz 1 Kraus, Sarit 1 Lespérance, Yves 1 Lowry, Mike 1 Mancarella, Paolo 1 Norman, Timothy J. 1 Owens, Richard 1 Păsăreanu, Corina S. 1 Patrizi, Fabio 1 Reed, Chris 1 Roşu, Grigore 1 Sen, Koushik 1 Subrahmanian, V. S. 1 Treur, Jan 1 Visser, Willem 1 Washington, Rich 1 Yang, Xiaoxiao all top 5 Cited in 9 Serials 2 Artificial Intelligence 2 Theoretical Computer Science 1 Journal of Philosophical Logic 1 Programming and Computer Software 1 Annals of Pure and Applied Logic 1 International Journal of Intelligent Systems 1 Formal Aspects of Computing 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 The Journal of Logic and Algebraic Programming Cited in 2 Fields 10 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) Citations by Year