BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
interpol (2)
abstract (2)
verif (2)
natur (1)
relev (1)

Stem ufo$ (all stems)

5 papers:

TACASTACAS-2013-AlbarghouthiGLCC #abstract interpretation #contest #named #verification
UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.
CAVCAV-2012-AlbarghouthiLGC #framework #named #verification
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification (AA, YL, AG, MC), pp. 672–678.
SEKESEKE-2010-CerriYRS #fuzzy #named
UFOCoRe: Exploring Fuzzy Relations According to Specific Contexts (MJC, CAY, MXR, MTPS), pp. 529–542.
VLDBVLDB-2009-GubanovPHPCC #repository
IBM UFO Repository (MNG, LP, CTHH, HP, JYC, SCC), pp. 1598–1601.
SIGIRSIGIR-1986-Doszkocs #information retrieval #natural language #online #problem
IR, NLP, AI and UFOS: Or IR-Relevance, Natural Language Problems, Artful Intelligence and User-Friendly Online Systems (TED), pp. 49–57.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.