Author of the publication

Combining many-sorted logic and object-oriented programming.

, , , and . Information & Software Technology, 35 (4): 241-253 (1993)

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

Compile-Time Error Detection in Temporal Specifications for Interactive Multimedia Applications., , , and . FTDCS, page 502-508. IEEE Computer Society, (1995)The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs., , , and . APSEC, page 221-228. IEEE Computer Society, (2001)A New Collaborative Recommender System Addressing Three Problems., , , and . PRICAI, volume 3157 of Lecture Notes in Computer Science, page 495-504. Springer, (2004)Analysis of Mood Tags for Multimedia Content Recommendation in Social Networks., , , and . ICUFN, page 452-454. IEEE, (2019)A music recommender based on audio features., , , and . SIGIR, page 532-533. ACM, (2004)Constructing User Profiles for Collaborative Recommender System., and . APWeb, volume 3007 of Lecture Notes in Computer Science, page 100-110. Springer, (2004)Clustering Approach for Hybrid Recommender System., and . Web Intelligence, page 33-38. IEEE Computer Society, (2003)A decentralized CF approach based on cooperative agents., , and . WWW, page 973-974. ACM, (2006)An Energy-Efficient and Collision-Avoidance MAC Protocol with Pre-scheduling for Wireless Sensor Networks., , , and . Wireless Personal Communications, 102 (1): 61-78 (2018)Combining many-sorted logic and object-oriented programming., , , and . Information & Software Technology, 35 (4): 241-253 (1993)