Author of the publication

A Formal Environment for Describing Negotiation Capabilities.

, , and . IEEE ICCI, page 222-231. IEEE Computer Society, (2007)

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

A Parallel Swarm Library Based on Functional Programming., , , and . IWANN (1), volume 10305 of Lecture Notes in Computer Science, page 3-15. Springer, (2017)Applying Evolutionary Techniques to Debug Functional Programs., , , and . IWANN (1), volume 5517 of Lecture Notes in Computer Science, page 318-326. Springer, (2009)The Problems of Selecting Problems., , , and . IWANN (2), volume 11507 of Lecture Notes in Computer Science, page 760-772. Springer, (2019)Proving the Correctness of the STG Machine., and . IFL, volume 2312 of Lecture Notes in Computer Science, page 88-104. Springer, (2001)Testing Speculative Work in a Lazy/Eager Parallel Functional Language., , and . LCPC, volume 4339 of Lecture Notes in Computer Science, page 274-288. Springer, (2005)A Debugger for Parallel Haskell Dialects., , and . ICA3PP, volume 5022 of Lecture Notes in Computer Science, page 282-293. Springer, (2008)Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment., , , and . ICCS, volume 18 of Procedia Computer Science, page 661-670. Elsevier, (2013)Formalizing the Debugging Process in Haskell., , and . ICTAC, volume 3722 of Lecture Notes in Computer Science, page 211-226. Springer, (2005)Testing Entities in a Parallel Cognitive Language., , , , and . IEEE ICCI, page 344-355. IEEE Computer Society, (2006)Platyhelminthes Are Reconstructed Recursively., , and . International Conference on Computational Science (2), volume 3992 of Lecture Notes in Computer Science, page 207-214. Springer, (2006)