Author of the publication

Deriving Labels and Bisimilarity for Concurrent Constraint Programming.

, , , , and . FoSSaCS, volume 6604 of Lecture Notes in Computer Science, page 138-152. Springer, (2011)

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

Deriving Labels and Bisimilarity for Concurrent Constraint Programming., , , , and . FoSSaCS, volume 6604 of Lecture Notes in Computer Science, page 138-152. Springer, (2011)Multilabel-classification task for Medline abstracts., , , , , and . SWAT4HCLS, volume 3415 of CEUR Workshop Proceedings, page 155-156. CEUR-WS.org, (2023)Reducing Weak to Strong Bisimilarity in CCP, , , and . ICE, volume 104 of EPTCS, page 2-16. (2012)Partition refinement for bisimilarity in CCP., , , and . SAC, page 88-93. ACM, (2012)Bisimilarity in Concurrent Constraint Programming.. ICLP (Technical Communications), volume 7 of LIPIcs, page 236-240. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Bisimulation Techniques and Algorithms for Concurrent Constraint Programming. (Techniques de Bisimulation et Algorithmes pour la Programmation Concurrente par Contraintes).. École Polytechnique, Palaiseau, France, (2012)Weak CCP bisimilarity with strong procedures., , , and . Sci. Comput. Program., (2015)Advances in Astrocyte Computational Models: From Metabolic Reconstructions to Multi-omic Approaches., , , , , and . Frontiers Neuroinformatics, (2020)Artificial Intelligence Model to Predict the Virality of Press Articles., , , , , and . ICMLC, page 221-228. ACM, (2022)Precision Agriculture Technology Evaluation using Combined AHP and GRA for Data Acquisition in Apiculture., , , , and . ICAI Workshops, volume 2714 of CEUR Workshop Proceedings, page 135-145. CEUR-WS.org, (2020)