4 papers:
SEFM-2010-Pavlovic #bibliography #effectiveness #perspective #security- The Unreasonable Ineffectiveness of Security Engineering: An Overview (DP), pp. 12–18.
ICALP-2004-Toftdal #analysis #effectiveness #logic #theorem- A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles: (Extended Abstract) (MT), pp. 1188–1200.
SIGIR-2004-Voorhees #effectiveness- Measuring ineffectiveness (EMV), pp. 562–563.
LICS-2003-Oliva #algorithm #effectiveness #polynomial #proving- Polynomial-time Algorithms from Ineffective Proofs (PO), pp. 128–137.
