Author of the publication

From Specification to Hardware Device: A Synthesis Algorithm.

, , and . ICFEM, volume 2885 of Lecture Notes in Computer Science, page 665-681. Springer, (2003)

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

Using a Formal Framework for Agent System Design., , and . FAABS, volume 1871 of Lecture Notes in Computer Science, page 308-317. Springer, (2000)The Effects of Pre-trusted Peers Misbehaviour on EigenTrust., , , and . IDC, volume 446 of Studies in Computational Intelligence, page 187-197. Springer, (2012)Wind Farms Maintenance Optimization Using a Pickup and Delivery VRP Algorithm., , , , and . ISM@FedCSIS, volume 413 of Lecture Notes in Business Information Processing, page 67-86. Springer, (2020)Reliable Personalized Learning Paths: The Contribution of Trust to E-Learning., , , , and . WSKS (2), volume 19 of Communications in Computer and Information Science, page 221-228. Springer, (2008)The effect of malicious peers in a gossip-based reputation system., , , and . ICIS, volume 403 of ACM International Conference Proceeding Series, page 201-205. ACM, (2009)Network Topology to Predict Bibliometrics Indices: A Case Study., , , and . iiWAS, volume 13635 of Lecture Notes in Computer Science, page 166-180. Springer, (2022)Exploiting Long Distance Connections to Strengthen Network Robustness., , , , and . IDCS, volume 11226 of Lecture Notes in Computer Science, page 270-277. Springer, (2018)An algorithm for direct synthesis of formal specifications., , and . IEEE International Workshop on Rapid System Prototyping, page 28-38. IEEE Computer Society, (1997)Courses Personalization in an E-Learning Environment., , , and . ICALT, page 252-253. IEEE Computer Society, (2003)Discovering Community Structure on Large Networks Using a Grid Computing Environment., , and . CompleNet, volume 207 of Studies in Computational Intelligence, page 63-71. (2009)