Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines., , and . Real Time Syst., 7 (3): 275-289 (1994)A promising approach to two-person software review in educational environment., , , , and . J. Syst. Softw., 40 (2): 115-123 (1998)An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power., , and . IEICE Trans. Inf. Syst., 90-D (3): 680-684 (2007)Application of protocol sythesis technique to resolution of the service interaction problem., , and . FORTE, volume 6 of IFIP Conference Proceedings, page 379-381. Chapman & Hall, (1994)Feature Interaction Detection Using Permutation Symmetry., , and . FIW, page 187-201. IOS Press, (1998)A Meeting Scheduler for Office Automation., , and . IEEE Trans. Software Eng., 15 (10): 1141-1146 (1989)Characterization of risky projects based on project managers' evaluation., , , and . ICSE, page 387-395. ACM, (2000)A Decentralized Scheme for Network-Aware Reliable Overlay Construction., , and . ICOIN, volume 3961 of Lecture Notes in Computer Science, page 955-964. Springer, (2006)A Semantic Approach to Usability in Relational Database Systems., , , and . ICDE, page 203-210. IEEE Computer Society, (1984)A fast selective traversal algorithm for binary search trees., , and . COMPSAC, page 601-605. IEEE, (1979)