Author of the publication

A Linear Logic Programming Language for Concurrent Programming over Graph Structures.

, , , and . Theory Pract. Log. Program., 14 (4-5): 493-507 (2014)

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

Virtualization on the Tartan Reconfigurable Architecture., and . FPL, page 323-330. IEEE, (2007)A modular robotic system using magnetic force effectors., , , , , , and . IROS, page 2787-2793. IEEE, (2007)Electrostatic latching for inter-module adhesion, power transfer, and communication in modular robots., , , , , and . IROS, page 2779-2786. IEEE, (2007)The robot is the tether: active, adaptive power routing modular robots with unary inter-robot connectors., , and . IROS, page 4108-4115. IEEE, (2005)A High-Performance Flexible Architecture for Cryptography., and . CHES, volume 1717 of Lecture Notes in Computer Science, page 231-245. Springer, (1999)Hardware compilation of application-specific memory-access interconnect., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (5): 756-771 (2006)How Much Non-Strictness do Lenient Programs Require?, and . FPCA, page 216-225. ACM, (1995)Managing Pipeline-Reconfigurable FPGAs., , , , and . FPGA, page 55-64. ACM, (1998)Electrostatic actuation and control of micro robots using a post-processed high-voltage SOI CMOS chip., , , and . ISCAS, page 2509-2512. IEEE, (2011)Distributed Localization of Modular Robot Ensembles., , , , and . Robotics: Science and Systems, The MIT Press, (2008)