Hussein Zedan

인용

	전체	2020년 이후
서지정보	5427	1469
h-index	28	10
i10-index	73	11

420

210

105

315

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202543 26 28 34 46 46 58 57 21 42 30 32 78 87 93 102 94 158 161 185 238 277 343 364 394 417 390 387 356 268 261 179 18

공개 액세스

모두 보기

자료 1개

자료 0개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Antonio CauSenior Research Fellow, De Montfort Universitydmu.ac.uk의 이메일 확인됨
Francois SieweDe Montfort Universitydmu.ac.uk의 이메일 확인됨
Ali H. Al-BayattiAssociate Professor, Cyber Technology Institute, De Montfort Universitydmu.ac.uk의 이메일 확인됨
Saif Al-SultanAssociate Professor of Information Technology - University of North Texas at Dallasuntdallas.edu의 이메일 확인됨
Helge JanickeCyber Security Cooperative Research Centre, Edith Cowan Universitycybersecuritycrc.org.au의 이메일 확인됨
Ben MoszkowskiSenior Research Fellow, De Montfort Universitydmu.ac.uk의 이메일 확인됨
Jonathan P. BowenEmeritus Professor of Computing, London South Bank Universitylsbu.ac.uk의 이메일 확인됨
Aladdin AyeshProfessor of Artificial Intelligence, University of Aberdeen, UKabdn.ac.uk의 이메일 확인됨
Robert HieronsProfessor, The University of Sheffieldsheffield.ac.uk의 이메일 확인됨
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLucl.ac.uk의 이메일 확인됨
John DerrickUniversity of Sheffieldsheffield.ac.uk의 이메일 확인됨
Sergiy VilkomirDepartment of Computer Science, East Carolina University, USAecu.edu의 이메일 확인됨
Anthony J H SimonsSenior Lecturer, University of Sheffieldsheffield.ac.uk의 이메일 확인됨
Rance CleavelandDepartment of Computer Science, University of Marylandcs.umd.edu의 이메일 확인됨
Paul KrauseProfessor in Complex Systems, University of Surreysurrey.ac.uk의 이메일 확인됨
Marian GheorgheUniversity of Bradfordbradford.ac.uk의 이메일 확인됨
Zoran BudimacDept of mathematics and informatics, Faculty of sciences, University of Novi Sad, Novi Sad, Serbiadmi.uns.ac.rs의 이메일 확인됨
Mousa Al-AkhrasAssociate Professor - The University of Jordanju.edu.jo의 이메일 확인됨
Prof. Ivan GanchevUniversity of Limerick / University of Plovdiv “Paisii Hilendarski”uni-plovdiv.bg의 이메일 확인됨
Robert JohnProfessor of Operational Research and Computer Science, University of Nottinghamnottingham.ac.uk의 이메일 확인됨

팔로우

Hussein Zedan

Professor

확인된 이메일 없음

Software Engineering Formal Methods Critical System Creative Computing


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
a comprehensive survey on vehicular ad hoc networks HZ Saif Al-Sultan, Moath M. Al-Doori, Ali H. Al-Bayatti Journal of Network and Computer Applications 37, 380–392, 2014	1839*	2014
Using formal specifications to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ... ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009	487	2009
Why moodle A Al-Ajlan, H Zedan 2008 12th IEEE International Workshop on Future Trends of Distributed …, 2008	356	2008
Context-aware driver behavior detection system in intelligent transportation systems S Al-Sultan, AH Al-Bayatti, H Zedan IEEE transactions on vehicular technology 62 (9), 4264-4275, 2013	270	2013
The calculus of context-aware ambients F Siewe, H Zedan, A Cau Journal of Computer and System Sciences 77 (4), 597-620, 2011	139	2011
Augmenting semantic web service descriptions with compositional specification M Solanki, A Cau, H Zedan Proceedings of the 13th international conference on World Wide Web, 544-552, 2004	112	2004
The implementation of an intelligent and video-based fall detection system using a neural network L Alhimale, H Zedan, A Al-Bayatti Applied Soft Computing 18, 59-69, 2014	83	2014
Refining interval temporal logic specifications A Cau, H Zedan Transformation-Based Reactive Systems Development: 4th International AMAST …, 1997	77	1997
A specification-oriented semantics for the refinement of real-time systems D Scholefield, H Zedan, H Jifeng Theoretical Computer Science 131 (1), 219-241, 1994	74	1994
A compositional framework for access control policies enforcement F Siewe, A Cau, H Zedan Proceedings of the 2003 ACM workshop on Formal Methods in Security …, 2003	71	2003
Generating OWL ontology for database integration N Alalwan, H Zedan, F Siewe 2009 Third International Conference on Advances in Semantic Processing, 22-31, 2009	60	2009
Slicing as a program transformation M Ward, H Zedan ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 7-es, 2007	54	2007
Formal methods for the re-engineering of computing systems: a comparison X Liu, H Yang, H Zedan Proceedings Twenty-First Annual International Computer Software and …, 1997	51	1997
Non-intrusive speech quality prediction in VoIP networks using a neural network approach M Al-Akhras, H Zedan, R John, I Almomani Neurocomputing 72 (10-12), 2595-2608, 2009	49	2009
Interval temporal logic A Cau, B Moszkowski, H Zedan URL: http://www. cms. dmu. ac. uk/~ cau/itlhomepage/itlhomepage. html, 2006	45	2006
Dynamic access control policies: Specification and verification H Janicke, A Cau, F Siewe, H Zedan The Computer Journal 56 (4), 440-463, 2013	43	2013
E-learning (Moodle) based on service oriented architecture H Zedan, A Al-Ajlan Proc. of the EADTU's 20th Anniversary Conference, 2007	41	2007
Rough set approach to online signature identification W Al-Mayyan, HS Own, H Zedan Digital Signal Processing 21 (3), 477-485, 2011	37	2011
A note on the formalisation of UCON H Janicke, A Cau, H Zedan Proceedings of the 12th ACM symposium on Access control models and …, 2007	37	2007
Using ITL and Tempura for large-scale specification and simulation A Cau, H Zedan, N Coleman, B Moszkowski Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing …, 1996	37	1996

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자