Stem yes$ (all stems)

7 papers:

ICST-2015-ZhangAC #exclamation #model checking #verification

Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications (HZ, TA, YC), pp. 1–10.

AdaEurope-2011-Rosen #object-oriented

Object Orientation in Critical Systems: Yes, in Moderation (JPR), pp. 214–218.

ICEIS-v3-2011-MansarWS #collaboration #design #distributed #exclamation #student

Getting to Global Yes! — Designing a Distributed Student Collaboration (SLM, RW, BGKS), pp. 229–234.

CIKM-2010-ThurauKB #matrix

Yes we can: simplex volume maximization for descriptive web-scale matrix factorization (CT, KK, CB), pp. 1785–1788.

SIGIR-2009-Savev #exclamation

A search engine in a few lines.: yes, we can! (SS), pp. 772–773.

CHI-2001-DohertyCBB #interface #performance

Improving the performance of the cyberlink mental interface with “yes / no program” (EPD, GC, CB, DB), pp. 69–76.

TRI-Ada-C-1992-Fussichen #ada #cics #exclamation

Ada and CICS: or (yes! Ada can be done on an IBM Mainframe) (KF), pp. 415–422.