Works (2)

Updated: July 5th, 2023 14:19

2021 journal article

An Empirical Study on Type Annotations: Accuracy, Speed, and Suggestion Effectiveness

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 30(2).

author keywords: Type checking; automated static analysis; software reliability; annotations; program analysis; dimensional analysis; physical units; robotic systems
Source: Web Of Science
Added: April 19, 2021

2021 journal article

Automated Object Manipulation Using Vision-Based Mobile Robotic System for Construction Applications

JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 35(1).

By: K. Asadi n, V. Haritsa n, K. Han n & J. Ore n

Sources: Web Of Science, ORCID
Added: August 2, 2021