Author of the publication

A General Framework for Static Cost Analysis of Parallel Logic Programs.

, , , , and . LOPSTR, volume 12042 of Lecture Notes in Computer Science, page 19-35. Springer, (2019)

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

On the Relationship between Caching and Routing in DHTs., , and . Web Intelligence/IAT Workshops, page 415-418. IEEE Computer Society, (2007)MOVE: : component groupware foundations for collaborative virtual environments., , , , and . CVE, page 55-62. ACM, (2002)Towards Energy Consumption Verification via Static Analysis., , , , and . CoRR, (2015)Exploring the feasibility of reputation systems under churn., , and . IEEE Communications Letters, 13 (7): 558-560 (2009)Guest editorial for the special issue collaborative P2P systems., , and . Comput. Networks, 54 (12): 1923-1925 (2010)Deploying Wide-Area Applications Is a Snap., , and . IEEE Internet Comput., 11 (2): 72-79 (2007)A hybrid optimizer based on backtracking search and differential evolution for continuous optimization., , and . J. Exp. Theor. Artif. Intell., 34 (3): 355-385 (2022)Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses., , and . New Gener. Comput., 28 (2): 177-206 (2010)A Hybrid Method for Short-Term Traffic Congestion Forecasting Using Genetic Algorithms and Cross Entropy., , , , and . IEEE Trans. Intell. Transp. Syst., 17 (2): 557-569 (2016)POPEYE: providing collaborative services for ad hoc and spontaneous communities., , , , , , , and . Serv. Oriented Comput. Appl., 3 (1): 25-45 (2009)