Author of the publication

Platyhelminthes Are Reconstructed Recursively.

, , and . International Conference on Computational Science (2), volume 3992 of Lecture Notes in Computer Science, page 207-214. Springer, (2006)

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)From natural semantics to C: A formal derivation of two STG machines., and . J. Funct. Program., 19 (1): 47-94 (2009)A Debugger for Parallel Haskell Dialects., , and . ICA3PP, volume 5022 of Lecture Notes in Computer Science, page 282-293. Springer, (2008)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)Formalizing the Debugging Process in Haskell., , and . ICTAC, volume 3722 of Lecture Notes in Computer Science, page 211-226. Springer, (2005)Formalizing Interchange Competences., , and . Int. J. Cogn. Informatics Nat. Intell., 3 (4): 54-72 (2009)A Debugging System Based on Natural Semantics., , and . J. Univers. Comput. Sci., 15 (14): 2836-2880 (2009)