Citation Impact
Citing Papers
An efficient and reliable approach for quality-of-service-aware service composition
2014
Face recognition using artificial neural network group-based adaptive tolerance (GAT) trees
1996
Extendible hashing—a fast access method for dynamic files
1979
Massively parallel algorithms for trace-driven cache simulations
1994
Classifications and Applications of Physical Layer Security Techniques for Confidentiality: A Comprehensive Survey
2018 Standout
Statecharts: a visual formalism for complex systems
1987 Standout
A case for redundant arrays of inexpensive disks (RAID)
1988 Standout
Parallel and distributed simulation systems
2002 Standout
Six‐hundred indexed references on computer animation
1992
Communicating sequential processes
1978 Standout
On Communicating Finite-State Machines
1983
The SimpleScalar tool set, version 2.0
1997 Standout
Petri nets: Properties, analysis and applications
1989 Standout
General Technique for Communications Protocol Validation
1978
Neural network-based face detection
1998 Standout
Evaluating associativity in CPU caches
1989
Performance predictions for extended paged memories
1971
Petri Nets Theory for the Correctness of Protocols
1982
Roofline
2009 Standout
Space-Air-Ground Integrated Network: A Survey
2018 Standout
Supervisory Control of a Class of Discrete Event Processes
1987 Standout
Communicating sequential processes
1983 Standout
Some Distribution-Free Aspects of Paging Algorithm Performance
1974
Wireless Multimedia Cognitive Radio Networks: A Comprehensive Survey
2018
Statistical pattern recognition: a review
2000 Standout
The model checker SPIN
1997 Standout
Computational Intelligence Based QoS-Aware Web Service Composition: A Systematic Literature Review
2015 Standout
The control of discrete event systems
1989 Standout
A Failsafe Distributed Routing Protocol
1979
Amortized efficiency of list update and paging rules
1985 Standout
New hash functions and their use in authentication and set equality
1981 Standout
Principles and methods of testing finite state machines-a survey
1996 Standout
Highly dynamic Destination-Sequenced Distance-Vector routing (DSDV) for mobile computers
1994 Standout
Modeling and analysis of communication and cooperation protocols using petri net based models
1982
Modular Verification of Computer Communication Protocols
1983
Automatic analysis of facial expressions: the state of the art
2000 Standout
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models
1982
Generalized working sets for segment reference strings
1978
Efficient simulation of caches under optimal replacement with applications to miss characterization
1993
A Lattice Conceptual Clustering System and Its Application to Browsing Retrieval
1996
An algebraic model for asynchronous circuits verification
1988
Works of J. Gecsei being referenced
A Unified Method for the Specification and Verification of Protocols.
1977
Simulation of MOS Circuits by Decision Diagrams
1985
Evaluation techniques for storage hierarchies
1970
Improving computer interfaces by animation from videodisc
1990
Distributed multimedia and QOS: a survey
1995
Design of a browsing interface for information retrieval
1989
Adaptation Algorithms for Binary Tree Networks
1979