Author of the publication

Genetic programming with polymorphic types and higher-order functions.

, and . GECCO, page 1187-1194. ACM, (2008)

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 non-technical XACML target editor for dynamic access control systems., , and . CTS, page 150-157. IEEE, (2014)Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs., and . PxTP@CADE, volume 14 of EPiC Series in Computing, page 67-76. EasyChair, (2013)Formal Verification of a Certified Policy Language., and . VECoS, volume 12519 of Lecture Notes in Computer Science, page 180-194. Springer, (2020)A Non-technical User-Oriented Display Notation for XACML Conditions., , and . MCETECH, volume 26 of Lecture Notes in Business Information Processing, page 53-64. Springer, (2009)An abstraction-based genetic programming system., and . GECCO (Companion), page 2415-2422. ACM, (2007)An Algorithm for Compression of XACML Access Control Policy Sets by Recursive Subsumption., , and . ARES, page 161-167. IEEE Computer Society, (2012)A Certified Core Policy Language., and . PST, page 391-393. IEEE Computer Society, (2017)A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday., , , and . Math. Struct. Comput. Sci., 29 (8): 1007-1008 (2019)Formal correctness of conflict detection for firewalls., , , and . FMSE, page 22-30. ACM, (2007)Advantages of a non-technical XACML notation in role-based models., , and . PST, page 193-200. IEEE, (2011)