Stem alex$ (all stems)

3 papers:

SIGMOD-2015-El-RobyA #automation #linked data #named #open data

ALEX: Automatic Link Exploration in Linked Data (AER, AA), pp. 1839–1853.

DAC-1980-DukeM #design #logic #named

Alex: A conversational, hierarchical logic design system (KAD, KM), pp. 318–327.

DAC-1980-KoppelmanM #logic #verification

Verifying deep logic hierarchies with ALEX (GMK, KM), pp. 328–335.