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.
