5 papers:
- ICSE-2013-DongSL #model checking
- Build your own model checker in one month (JSD, JS, YL), pp. 1481–1483.
- CSEET-2004-Becker-PechauBLS #flexibility
- Educating Non-Programmers to Flexible, Communicative Software Engineers in a 10 Month Training Program (PBP, WGB, CL, AS), pp. 98–103.
- ICEIS-v2-2004-NetoCVMM #estimation #network #using
- Monthly Flow Estimation Using Elman Neural Networks (LBN, PHGC, MLFV, JCCBSdM, LAM), pp. 153–158.
- ICDAR-2001-MoritaSEBS #recognition #word
- Handwritten Month Word Recognition on Brazilian Bank Checks (MEM, RS, MAEY, FB, CYS), pp. 972–976.
- HCI-SES-1987-KaplanD #implementation #information management
- Job-Related Responses to a Clinical Laboratory Computer Information System Seven Months Post Implementation (BK, DD), pp. 17–24.