### 11 papers:

- DAC-2015-RayYBB #correctness #design #security #validation
- Correctness and security at odds: post-silicon validation of modern SoC designs (SR, JY, AB, SB), p. 6.
- ICALP-v2-2015-HaaseK
- The Odds of Staying on Budget (CH, SK), pp. 234–246.
- CAiSE-2014-Spinellis
- Against the Odds: Managing the Unmanagable in a Time of Crisis (DS), pp. 24–41.
- LICS-CSL-2014-Mahboubi #order #proving #theorem
- Computer-checked mathematics: a formal proof of the odd order theorem (AM), p. 1.
- DocEng-2013-RahtzB
- Reviewing the TEI ODD system (SR, LB), pp. 193–196.
- AdaEurope-2013-XueN
- Measuring the Odds of Statements Being Faulty (XX, ASN), pp. 109–126.
- POPL-2013-Gonthier #order #proving #theorem
- Engineering mathematics: the odd order theorem proof (GG), pp. 1–2.
- STOC-2010-KawarabayashiR
- Odd cycle packing (KiK, BAR), pp. 695–704.
- ICPR-2010-BaradaraniMW #design #image #on the
- On the Design of a Class of Odd-Length Biorthogonal Wavelet Filter Banks for Signal and Image Processing (AB, PM, QMJW), pp. 2282–2285.
- STOC-2006-KawarabayashiM #approximate #graph
- Approximating the list-chromatic number and the chromatic number in minor-closed and odd-minor-closed classes of graphs (KiK, BM), pp. 401–416.
- PODS-2005-LiLWFT #data mining #mining #perspective
- Relative risk and odds ratio: a data mining perspective (HL, JL, LW, MF, YPT), pp. 368–377.