Hussein Zedan
#31,884
Most Influential Person Now
Egyptian computer scientist
Hussein Zedan's AcademicInfluence.com Rankings
Hussein Zedancomputer-science Degrees
Computer Science
#1471
World Rank
#1522
Historical Rank
Artificial Intelligence
#1062
World Rank
#1081
Historical Rank
Machine Learning
#2681
World Rank
#2716
Historical Rank
Computational Linguistics
#2731
World Rank
#2761
Historical Rank
Download Badge
Computer Science
Hussein Zedan's Degrees
- Bachelors Computer Science Cairo University
- Masters Computer Science Cairo University
- PhD Computer Science Cairo University
Similar Degrees You Can Earn
Why Is Hussein Zedan Influential?
(Suggest an Edit or Addition)According to Wikipedia, Hussein S. M. Zedan was a computer scientist of Egyptian descent, mainly based in the United Kingdom. Hussein Zedan was born in 1953. He received his PhD degree in 1981 at the University of Bristol, studying under John Derwent Pryce and Hubert Schwetlick for a thesis entitled Modified Rosenbrock-Wanner methods for solving systems of stiff ordinary differential equations.
Hussein Zedan's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- A comprehensive survey on vehicular Ad Hoc network (2014) (1262)
- Using formal specifications to support testing (2009) (375)
- Context-Aware Driver Behavior Detection System in Intelligent Transportation Systems (2013) (190)
- Why Moodle (2008) (138)
- Augmenting semantic web service descriptions with compositional specification (2004) (90)
- The Calculus of Context-aware Ambients (2011) (90)
- The implementation of an intelligent and video-based fall detection system using a neural network (2014) (62)
- A compositional framework for access control policies enforcement (2003) (58)
- Refining Interval Temporal Logic Specifications (1997) (53)
- A Specification-Oriented Semantics for the Refinement of Real-Time Systems (1994) (50)
- Slicing as a program transformation (2007) (47)
- Generating OWL Ontology for Database Integration (2009) (41)
- Non-intrusive speech quality prediction in VoIP networks using a neural network approach (2009) (33)
- Rough set approach to online signature identification (2011) (33)
- Formal methods for the re-engineering of computing systems: a comparison (1997) (29)
- Abstraction: a key notion for reverse engineering in a system reengineering approach (2000) (28)
- E-Learning ( MOODLE ) Based on Service Oriented Architecture (2008) (27)
- ASDL: a wide spectrum language for designing web services (2006) (26)
- Concurrent Enforcement of Usage Control Policies (2008) (26)
- Dynamic Access Control Policies: Specification and Verification (2013) (25)
- A note on the formalisation of UCON (2007) (25)
- Deriving Enforcement Mechanisms from Policies (2007) (25)
- Using ITL and Tempura for large-scale specification and simulation (1996) (25)
- MetaWSL and meta-transformations in the FermaT transformation system (2005) (24)
- Analysis and Run-Time Verification of Dynamic Security Policies (2005) (23)
- Development of a modern curriculum in software engineering at master level across countries (2009) (21)
- A Distributed Algorithm for Distributed Termination (1987) (21)
- Refinement of Complex Systems: A Case Study (1995) (20)
- A Compositional Event & Time-Based Policy Model (2006) (20)
- TAM: A Formal Framework for the Development of Distributed Real-Time Systems (1992) (20)
- Real-Time Refinement: Semantics and Application (1993) (20)
- Externalizing component manners to achieve greater maintainability through a highly re-configurable architectural style (2002) (19)
- Legacy assembler reengineering and migration (2004) (19)
- Crime profiling for the Arabic language using computational linguistic techniques (2014) (19)
- A framework for analysing the effect of 'change' in legacy code (1999) (19)
- Multi-Agent Based Dynamic E-Learning Environment (2009) (17)
- Run-time analysis of time-critical systems (2005) (16)
- The extension of web services architecture to meet the technical requirements of virtual learning environments (Moodle) (2008) (16)
- Tackling the abstraction problem for reverse engineering in a system re-engineering approach (1998) (15)
- Security Solution for Mobile Ad Hoc Network of Networks (MANoN) (2009) (14)
- Avoiding the exactness of the Jacobian matrix in Rosenbrock formulae (1990) (14)
- Introducing compositionality in Web service descriptions (2004) (14)
- Context aware architecture for sending adaptive HELLO messages in VANET (2010) (14)
- Deriving a Slicing Algorithm via FermaT Transformations (2011) (13)
- Crime Type Document Classification from Arabic Corpus (2009) (13)
- CCA: A Calculus of Context-Aware Ambients (2009) (13)
- Quantitative Quality Assurance Approach (2009) (13)
- Object-Oriented Technology and Computing Systems Re-Engineering (1999) (12)
- Conditioned semantic slicing for abstraction; industrial experiment (2008) (12)
- Conditioned semantic slicing via abstraction and refinement in FermaT (2005) (11)
- ATOM: An object-based formal method for real-time systems (1999) (11)
- Security Management for Mobile Ad Hoc Network of Networks (MANoN) (2010) (11)
- An Executable Specification Language for Fast Prototyping Parallel Responsive Systems (1996) (11)
- A Wide-Spectrum Language for Object-Based Development of Real-Time Systems (1999) (11)
- Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method (1998) (10)
- Semantic Multi-Agent mLearning System (2011) (10)
- A design framework for system re-engineering (1997) (9)
- A Compositional Framework for Hardware/Software Co-Design (2002) (9)
- Real Time Systems: Theory and Applications (1990) (9)
- Regionally Distributed Architecture for Dynamic e-Learning Environment (RDADeLE) (2008) (9)
- Runtime verification of safety properties in multi-agents systems (2010) (9)
- Weakest Precondition Semantics for Time and Concurrency (1992) (8)
- Congruent Weak Bisimulation with Dense Real-Time (1993) (8)
- Lucinda - A Polymorphic Linda (1991) (8)
- Multi-agent system based regional data grid (2008) (7)
- A note on deadlock-free proofs of network of processes (1984) (7)
- Text mining based on the self-organizing map method for Arabic-English documents. (2008) (7)
- Speed and scale up software reengineering with abstraction patterns and rules (2000) (7)
- Formality, Agility, Security, and Evolution in Software Development (2014) (7)
- INFORMATION FUSION IN BIOMETRICS: A CASE STUDY IN ONLINE SIGNATURE (2010) (7)
- Lucinda—an overview (1991) (7)
- Safety decomposition of distributed programs (1985) (7)
- Alignment strategies and frameworks in co-evolution of business and information technology (2010) (7)
- A Predicative Semantics for the Refinement of Real-Time Systems (1993) (6)
- Access Control Mechansim for Mobile Ad Hoc Network of Networks (MANoN) (2010) (6)
- K-Mediator: Towards evolving information systems (2001) (6)
- The specification and design of secure context-aware workflows (2017) (6)
- Combining dynamic and static slicing for analysing assembler (2010) (6)
- Working together : Formal Methods and Testing (2003) (6)
- Provably correct derivation of algorithms using FermaT (2014) (6)
- Mapping Human Creativity (2008) (5)
- Introducing Compositionality in Webservice Descriptions (2003) (5)
- The formal semantics of program slicing for nonterminating computations (2017) (5)
- On guaranteeing hard real-time tasks (1993) (5)
- Context Aware Accidents Prediction and Prevention System for VANET (2014) (5)
- Automated dictionary construction from Arabic corpus for meaningful crime information extraction and document classification (2010) (5)
- Agile Service-Oriented Applications: Rule-based Foundation with Runtime Adaptability (2010) (5)
- Voice over IP: Correct hardware/software co-design (2001) (4)
- Agent-Oriented Middleware for Mobile eLearning Services (2009) (4)
- Let's PARTY: Process Algebra With Real-time From York (1992) (4)
- Risk management based early warning system for healthcare industry (2013) (4)
- Iris features extraction using dual-tree complex wavelet transform (2010) (4)
- Formality, Agility, Security, and Evolution in Software Engineering (2018) (4)
- Integrating structured OO approaches with formal techniques for the development of real-time systems (1999) (4)
- Visualisation of interval temporal logic (2000) (4)
- A general framework for multilingual text mining using self-organizing maps (2007) (4)
- Proving the correctness of the interlock mechanism in processor design (1997) (4)
- Intelligent Distributed eLearning Architecture (2012) (4)
- Biometric-Based Authentication System Using Rough Set Theory (2010) (4)
- Towards a multilingual semantic folksonomy. (2010) (4)
- Grid Evolution (2007) (4)
- A fast prototype tool for parallel reactive systems (1996) (3)
- Achieving atomicity in occam (1988) (3)
- An observation model to detect security violations in web services environment (2011) (3)
- 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, FTDCS 2008, Kunming, China, October 21-23, 2008 (2008) (3)
- Requirement Specification For Real-Time and Hybrid Systems (1993) (3)
- The Systematic Construction of Information Systems (2000) (3)
- Reenement of Complex Systems: a Case Study (1995) (3)
- A comparative evalution of feature level based fusion schemes for multimodal biometric authentication (2011) (3)
- Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text (2010) (2)
- PCHAN: A notion for dynamic resource management in distributed occam systems (1989) (2)
- Formalising policies of a mLearning system using CCA (2010) (2)
- A refinement calculus for the development of real-time systems (1998) (2)
- Designing time critical systems with TACT (1989) (2)
- Developing a Joint Software Engineering Master’s Curriculum Across Countries: Report on a Multi-national Educational Project (2007) (2)
- The development of imprecise real-time systems (1994) (2)
- On the analysis of occam real-time distributed computations (1988) (2)
- Adaptable Scheduler Using Milestones For Hard Real-Time Systems (2007) (2)
- Formal specification of an intelligent message notification service in an infostation-based mLearning system using CCA (2011) (2)
- Software Certification through Quality Profiling (2009) (2)
- Compositional modelling: The formal perspective (2005) (2)
- Conceptual Foundations for the Design Transformation of Procedural Software to Object-Oriented Architecture (1998) (2)
- Improving maintenance through development experiences. (1998) (2)
- Semantically Annotating Reactive Web Services with Temporal Specifications (2005) (2)
- A Formal design technique for real-time embedded systems development using duration calculus. (2004) (2)
- A sound and practical approach to the re-engineering of time-critical systems (1998) (2)
- Distributed Computer Systems: Theory and Practice (1990) (2)
- An agent-based approach for policy enforcement in secure workflow systems (2010) (2)
- On the assessment of re-engineering tools. (1999) (1)
- Cycle calculus for hybrid systems (1993) (1)
- WSN Configuration using Agent Modeling and Hybrid Intelligent Decision Support System (2014) (1)
- Arabic Language in the Context of Information Extraction Task (2011) (1)
- A unifying architecture model for developing context-aware systems (2017) (1)
- Requirements Analysis for Co-Evolution of Business and Information Technology (2012) (1)
- Crime Profiling System (2015) (1)
- Compensation functions and requirements (1990) (1)
- Aspectual Interactions for Adaptive Behavioral Web-Services with Tailored Maude-Based Certification (2009) (1)
- THE DESIGN AND ANALYSIS OF CONTEXT-AWARE , SECURE WORKFLOW SYSTEMS (2010) (1)
- Quality estimation for steamed VoIP services (2007) (1)
- Temporal Reasoning Of Reactive Web Services (2006) (1)
- Temporal dimension for job submission description language (2008) (1)
- Proceedings of the 13th Occam user group technical meeting on Real-time systems with transputers (1990) (1)
- The refinement of real-time systems (1992) (1)
- Specification of Real-Time Probabilistic Behaviour (1993) (1)
- An assessment of the use of occam for dependable real-time systems (1990) (1)
- SECURE DISTRIBUTED KEY MANAGEMENT FOR WIRELESS MOBILE AD HOC NETWORKS ( WMANETS ) (2007) (1)
- Automated support for the formal specification and design of real-time systems (1993) (1)
- TAM: Temporal agent model for real-time distributed systems (1990) (1)
- A logic-based approach for hardware/software co-design (2000) (1)
- A model for timed-probabilistic behaviors (1995) (1)
- Debugging and monitoring highly parallel systems with grip (1990) (1)
- Time-closed layer: a design principle for time-critical applications (1989) (1)
- A Compositional Event & Time-Based Policy Model (2006) (1)
- Reliable systems in occam (1990) (1)
- Constraint Based Transformation Theory (2007) (1)
- 9 Intelligent Distributed eLearning Architecture (2017) (0)
- Introduction to Annotated bibliography and key references (1990) (0)
- OUG-13 : proceedings of the 13th occam User Group Technical Meeting 18-20 September 1990-York, England (1990) (0)
- Constraint Based Transformation Theory Document Type Transfer Report (2007) (0)
- Quality Estimation for Streamed VoIP Services (2007) (0)
- Hardware Specification, Verification and Synthesis: Mathematical Aspects: Leeser, M and Brown, G (Eds) Springer-Verlag, Heidelberg, Germany (1989) DM 57 pp 408 (1990) (0)
- Reengineering procedural software to object-oriented software using design transformations and resource usage matrix (1999) (0)
- Resource Usage Matrix in Object Identification and Design Transformation of Legacy Procedural Software (2007) (0)
- Guest Editorial (2001) (0)
- Prototyping with Temporal VDM: A Status Report (1991) (0)
- 2 Compositional Modelling : The Formal Perspective (1999) (0)
- Real-time systems : theory and applications : proceedings of the conference organized by British Computer Society, York, 28-29 September 1989 (1990) (0)
- Transformational Programming and the Derivation of Algorithms (2010) (0)
- Properties of Some Superdeformed Bands in Hg-Tl-Pb Nuclei Using Nuclear Softness Model with Weaken Parameter (2015) (0)
- Practical approach using self-organizing maps for multilingual text mining (2007) (0)
- Concurrent programming: an annotated bibliography (1990) (0)
- Formal aspects of microprocessor design (1990) (0)
- Book review: Communicating Process Architecture (1989) (0)
- Real - time system : theory and applications. (2014) (0)
- Provably correct derivation of algorithms using FermaT (2013) (0)
- Developing the Transliteration Interface for Arabic Text (2016) (0)
- Requirements for Security Enforcement in Mobile Agent Defence Systems (2005) (0)
- Designing a Provably Correct Robot Control System 1 (1998) (0)
- MULTI-NATIONAL EDUCATIONAL PROJECT (2007) (0)
- “Lean” formal methods in the development of provably correct real-time systems (1998) (0)
- Chapter 9 Multi-Agent Based Dynamic E-Learning Environment (2016) (0)
- A rule-centric architectural conceptualization for service-oriented applications and its aspectual extension (2009) (0)
- A Logical Treatment of Non-Termination and Program Behaviour (2014) (0)
- Key references in distributed computer systems 1959–1989 (1990) (0)
- Some Design Transforms (2007) (0)
This paper list is powered by the following services:
Other Resources About Hussein Zedan
What Schools Are Affiliated With Hussein Zedan?
Hussein Zedan is affiliated with the following schools:
