Stem romeo$ (all stems)

5 papers:

ICFP-2014-StansiferW #flexibility #named #programming

Romeo: a system for more flexible binding-safe programming (PS, MW), pp. 53–65.

TACAS-2009-LimeRST #model checking #named #parametricity #petri net

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches (DL, OHR, CS, LMT), pp. 54–57.

CAV-2005-GardeyLMR #named #petri net

Romeo: A Tool for Analyzing Time Petri Nets (GG, DL, MM, OHR), pp. 418–423.

WCRE-1998-TheodorosEBW #design #named #object-oriented #reverse engineering #source code

ROMEO: Reverse Engineering from OO Source Code to OMT Design (TL, HME, AB, NW), pp. 191–200.

HCI-SHI-1993-KawasugiYNA #3d #named #physics

Romeo: Robot-Mediated Cooperative Work for Handling 3-Dimensional Physical Objects (KK, TY, YN, YA), pp. 567–572.