Hussein Zedan

Citeras av

	Alla	Sedan 2019
Citat	5378	1809
h-index	28	12
i10-index	72	13

420

210

105

315

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202443 26 28 34 46 46 56 57 21 42 30 32 80 87 93 104 94 158 161 185 239 277 343 360 394 416 388 386 353 268 262 152

Offentlig åtkomst

Visa alla

1 artikel

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Antonio CauSenior Research Fellow, De Montfort UniversityVerifierad e-postadress på dmu.ac.uk
Francois SieweDe Montfort UniversityVerifierad e-postadress på dmu.ac.uk
Ali H. Al-BayattiAssociate Professor, Cyber Technology Institute, De Montfort UniversityVerifierad e-postadress på dmu.ac.uk
Saif Al-SultanAssociate Professor of Information Technology - University of North Texas at DallasVerifierad e-postadress på untdallas.edu
Helge JanickeCyber Security Cooperative Research Centre, Edith Cowan UniversityVerifierad e-postadress på cybersecuritycrc.org.au
Moath Al-DooriLecturerVerifierad e-postadress på coventry.ac.uk
Ben MoszkowskiSenior Research Fellow, De Montfort UniversityVerifierad e-postadress på dmu.ac.uk
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerifierad e-postadress på lsbu.ac.uk
Aladdin AyeshProfessor of Artificial Intelligence, University of Aberdeen, UKVerifierad e-postadress på abdn.ac.uk
Robert HieronsProfessor, The University of SheffieldVerifierad e-postadress på sheffield.ac.uk
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLVerifierad e-postadress på ucl.ac.uk
John DerrickUniversity of SheffieldVerifierad e-postadress på sheffield.ac.uk
Sergiy VilkomirDepartment of Computer Science, East Carolina University, USAVerifierad e-postadress på ecu.edu
Anthony J H SimonsSenior Lecturer, University of SheffieldVerifierad e-postadress på sheffield.ac.uk
Rance CleavelandDepartment of Computer Science, University of MarylandVerifierad e-postadress på cs.umd.edu
Paul KrauseProfessor in Complex Systems, University of SurreyVerifierad e-postadress på surrey.ac.uk
Marian GheorgheUniversity of BradfordVerifierad e-postadress på bradford.ac.uk
Zoran BudimacDept of mathematics and informatics, Faculty of sciences, University of Novi Sad, Novi Sad, SerbiaVerifierad e-postadress på dmi.uns.ac.rs
Mousa Al-AkhrasAssociate Professor - The University of JordanVerifierad e-postadress på ju.edu.jo
Prof. Ivan GanchevUniversity of Limerick / University of Plovdiv “Paisii Hilendarski”Verifierad e-postadress på uni-plovdiv.bg

Följ

Hussein Zedan

Professor

Ingen verifierad e-postadress

Software Engineering Formal Methods Critical System Creative Computing


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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	1821*	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	483	2009
Why moodle A Al-Ajlan, H Zedan 2008 12th IEEE International Workshop on Future Trends of Distributed …, 2008	343	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	267	2013
The calculus of context-aware ambients F Siewe, H Zedan, A Cau Journal of Computer and System Sciences 77 (4), 597-620, 2011	138	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	82	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	50	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	46	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	40	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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare