16 papers:
CADE-2015-RegerTV #proving- Cooperating Proof Attempts (GR, DT, AV), pp. 339–355.
DUXU-TMT-2014-InoueSNTMHKWK #physics #process- Attempts to Quantitative Analyze for the Change of Human Brain Activity with Physical and Psychological Load (HI, SS, HN, TT, FM, NH, SK, EW, SK), pp. 240–249.
WICSA-2011-HarrisonC #architecture #scalability- Attempting to Understand the Progress of Software Architecture Decision-Making on Large Australian Defence Projects (TCH, APC), pp. 42–45.
FM-2011-MullerR #using #verification- Using Debuggers to Understand Failed Verification Attempts (PM, JNR), pp. 73–87.
- HCD-2011-AlmAGEDVR #aspect-oriented
- Cognitive Prostheses: Findings from Attempts to Model Some Aspects of Cognition (NA, AA, GG, ME, RD, PV, PR), pp. 275–284.
KEOD-2009-MartiniS- Data Infrastructures in Agriculture — Attempts at Interoperability (DM, MS), pp. 287–292.
SAC-2009-NamakiBM #performance- Exhaustion dominated performance: a first attempt (NN, AdB, SMC), pp. 1011–1012.
- HCI-AS-2007-HayakawaUSAK #design #developer #identification #process #web
- Report on Project to Identify Excellent Local Government Web Sites An Attempt to Educate Web Systems Developers on the Importance of Human-Centered Design Processes (SH, HU, TS, NA, YK), pp. 899–905.
- WICSA-2005-LiLC #architecture #reliability
- Octopus Architecture: A New Attempt to Achieve Reliable OS (HL, XL, PC), pp. 197–198.
CSMR-2004-Kajko-MattssonJKW- Lesson Learned from Attempts to Implement Daily Build (MKM, MJ, SK, FW), pp. 137–146.
LOPSTR-2003-AlexandreBD #induction #proving #synthesis- Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures (FA, KB, MD), pp. 20–33.
ITiCSE-2002-DagdilelisSE #behaviour #what- What they really do?: attempting (once again) to model novice programmers’ behavior (VD, MS, GE), p. 244.
ICPR-v1-2002-WangHT #identification- A New Attempt to Gait-based Human Identification (LW, WH, TT), pp. 115–118.
- LOPSTR-1998-StarkI #invariant #proving
- Invariant Discovery via Failed Proof Attempts (JS, AI), pp. 271–288.
WSA-1991-Monsuez #abstract interpretation #polymorphism- An Attempt to Find Polymorphic Types by Abstract Interpretation (BM), pp. 18–25.
- VDME-1991-1-Stolen #concurrent
- An Attempt to Reason about Shared-State Concurrency in the Style of VDM (KS), pp. 324–342.
