Author of the publication

A General Method for Defining Objects by Recursion over Syntax.

. J. Univers. Comput. Sci., 23 (1): 89-111 (2017)

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

Delivering Services by Building and Running VIrtual Organisations,, , , , , , , , , and 7 other author(s). BT Technology Journal, 24 (1): 141--152 (January 2006)Home Robot Service by Ceiling Ultrasonic Locator and Microphone Array., , , , and . ICRA, page 3171-3176. IEEE, (2006)Fast Sum of Absolute Differences Visual Landmark Detector., , , , and . ICRA, page 4827-4832. IEEE, (2004)Selection of polygon sets for 6DOF localisation of autonomous vehicles., , and . SMC, page 2369-2374. IEEE, (2011)Evaluating 3D Polygon Maps for Mobile Robot Localisation., and . SMC, page 2396-2401. IEEE, (2013)Constrained 6DOF localisation for autonomous vehicles., , and . SMC, page 330-335. IEEE, (2010)A case study of the Secure Anonymous Information Linkage (SAIL) Gateway: A privacy-protecting remote access system for health-related research and evaluation., , , , , , , , , and . J. Biomed. Informatics, (2014)Making Property-Based Testing Easier to Read for Humans., , and . Comput. Informatics, 35 (4): 890-913 (2016)Registration of Inconsistent Point Cloud Maps with Large Scale Persistent Features., , and . ICINCO (2), page 284-292. SciTePress, (2018)Effectiveness evaluation of precomputation search using steering set., , and . RO-MAN, page 613-618. IEEE, (2009)