Stem contribut$ (all stems)

159 papers:

TACAS-2015-AledoE #contest #embedded #framework #verification

FramewORk for Embedded System verification — (Competition Contribution) (PGdA, PSE), pp. 429–431.

TACAS-2015-CassezMPS #composition #contest #named #refinement

Perentie: Modular Trace Refinement and Selective Value Tracking — (Competition Contribution) (FC, TM, EP, NS), pp. 439–442.

TACAS-2015-ChenHTWW #contest #named #program transformation #recursion #source code #text-to-text #verification

CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation — (Competition Contribution) (YFC, CH, MHT, BYW, FW), pp. 426–428.

TACAS-2015-DanglLW #contest #float #recursion #source code

CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic — (Competition Contribution) (MD, SL, PW), pp. 423–425.

TACAS-2015-GurfinkelKN #c #contest #framework #named #source code #verification

SeaHorn: A Framework for Verifying C Programs (Competition Contribution) (AG, TK, JAN), pp. 447–450.

TACAS-2015-HaranCELQR #composition #contest #verification

SMACK+Corral: A Modular Verifier — (Competition Contribution) (AH, MC, ME, AL, SQ, ZR), pp. 451–454.

TACAS-2015-HeizmannDLMP #array #contest

Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.

TACAS-2015-HolikHLRSV #analysis #automaton #contest #named #using

Forester: Shape Analysis Using Tree Automata — (Competition Contribution) (LH, MH, OL, AR, JS, TV), pp. 432–435.

TACAS-2015-MullerPV #contest

Predator Hunting Party (Competition Contribution) (PM, PP, TV), pp. 443–446.

TACAS-2015-Nguyen0TP #bound #c #contest #lazy evaluation #source code

Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches — (Competition Contribution) (TLN, BF, SLT, GP), pp. 461–463.

TACAS-2015-NutzDMP #contest #memory management #safety

ULTIMATE KOJAK with Memory Safety Checks — (Competition Contribution) (AN, DD, MMM, AP), pp. 458–460.

TACAS-2015-StroderAFHG #c #contest #memory management #named #safety #source code #termination

AProVE: Termination and Memory Safety of C Programs — (Competition Contribution) (TS, CA, FF, JH, JG), pp. 417–419.

TACAS-2015-TomascoI0TP #contest #memory management

MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings — (Competition Contribution) (ET, OI, BF, SLT, GP), pp. 436–438.

TACAS-2015-Urban #abstract domain #contest #named #termination

FuncTion: An Abstract Domain Functor for Termination — (Competition Contribution) (CU), pp. 464–466.

TACAS-2015-WangB #contest #named

Cascade — (Competition Contribution) (WW, CB), pp. 420–422.

ICSME-2015-LimaTFK #developer #metric #repository

Assessing developer contribution with repository mining-based metrics (JL, CT, FMFF, UK), pp. 536–540.

MSR-2015-HellendoornDB #modelling

Will They Like This? Evaluating Code Contributions with Language Models (VH, PTD, AB), pp. 157–167.

CSCW-2015-SteinmacherCGR #open source #social

Social Barriers Faced by Newcomers Placing Their First Contribution in Open Source Software Projects (IS, TC, MAG, DFR), pp. 1379–1392.

HIMI-IKC-2015-KurihashiMT #self

Self-perception of Assister Driver Responsibility and Contribution in Mutual Assistance System (SK, YM, KT), pp. 233–242.

SAC-2015-CinalliMPG #multi #optimisation

Collective preferences in evolutionary multi-objective optimization: techniques and potential contributions of collective intelligence (DC, LM, NSP, ACBG), pp. 133–138.

SAC-2015-SilvaMS #analysis #quality

Authorship contribution dynamics on publication venues in computer science: an aggregated quality analysis (THPS, MMM, APCdS), pp. 1142–1147.

TACAS-2014-DudkaPV #contest #graph #memory management #named

Predator: A Shape Analyzer Based on Symbolic Memory Graphs — (Competition Contribution) (KD, PP, TV), pp. 412–414.

TACAS-2014-ErmisNDHP #contest

Ultimate Kojak — (Competition Contribution) (EE, AN, DD, JH, AP), pp. 421–423.

TACAS-2014-GurfinkelB #contest #named #verification

FrankenBit: Bit-Precise Verification with Many Bits — (Competition Contribution) (AG, AB), pp. 408–411.

TACAS-2014-HeizmannCDHLMSWP #contest #satisfiability

Ultimate Automizer with Unsatisfiable Cores — (Competition Contribution) (MH, JC, DD, JH, ML, BM, CS, SW, AP), pp. 418–420.

TACAS-2014-InversoT0TP #c #contest #lazy evaluation #named

Lazy-CSeq: A Lazy Sequentialization Tool for C — (Competition Contribution) (OI, ET, BF, SLT, GP), pp. 398–401.

TACAS-2014-KroeningT #bound #c #contest #model checking #named

CBMC — C Bounded Model Checker — (Competition Contribution) (DK, MT), pp. 389–391.

TACAS-2014-LoweMW #analysis #contest

CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses — (Competition Contribution) (SL, MUM, PW), pp. 392–394.

TACAS-2014-MorseRCN0 #contest

ESBMC 1.22 — (Competition Contribution) (JM, MR, LCC, DN, BF), pp. 405–407.

TACAS-2014-MullerV #contest #named

CPAlien: Shape Analyzer for CPAChecker — (Competition Contribution) (PM, TV), pp. 395–397.

TACAS-2014-SlabyS #contest #precise #slicing

Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.

TACAS-2014-TomascoI0TP #c #contest #memory management #named #source code

MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings — (Competition Contribution) (ET, OI, BF, SLT, GP), pp. 402–404.

MSR-2014-PadhyeMS #case study #community #git #open source

A study of external community contribution to open-source projects on GitHub (RP, SM, VSS), pp. 332–335.

ICALP-v1-2014-Kuncak #recursion #verification

Verifying and Synthesizing Software with Recursive Functions — (Invited Contribution) (VK), pp. 11–25.

CHI-2014-VaishWCCB #crowdsourcing

Twitch crowdsourcing: crowd contributions in short bursts of time (RV, KW, JC, BC, MSB), pp. 3645–3654.

CSCW-2014-LeeT

Sounds of silence: exploring contributions to conversations, non-responses and the impact of mediating technologies in triple space (JSL, DGT), pp. 1561–1572.

CSCW-2014-TomasicZSH

Motivating contribution in a participatory sensing system via quid-pro-quo (AT, JZ, AS, YH), pp. 979–988.

HCI-AS-2014-CharfiEK #evaluation #mobile #user interface #visual notation

Evaluation Based Graphical Controls: A Contribution to Mobile User Interface Early Evaluation (SC, HE, CK), pp. 114–123.

LCT-NLE-2014-SousaLD #human-computer #towards #trust

A Model for Human-Computer Trust — Contributions Towards Leveraging User Engagement (SCS, DRL, PD), pp. 128–137.

ICPR-2014-HuiZ #image #recognition #representation

A Bio-Inspired Early-Level Image Representation and Its Contribution to Object Recognition (WH, QZ), pp. 4263–4268.

ICPR-2014-McCarthyCO #classification #image

The Contribution of Morphological Features in the Classification of Prostate Carcinoma in Digital Pathology Images (NM, PC, GO), pp. 3269–3273.

SAC-2014-CostaKAC #case study #commit #developer

Unveiling developers contributions behind code commits: an exploratory study (DAdC, UK, EA, RC), pp. 1152–1157.

SAC-2014-KimLSKL #approach #named #ranking #web

C-Rank: a contribution-based web page ranking approach (DJK, SCL, HYS, SWK, JBL), pp. 908–912.

FSE-2014-TsayDH #git

Let’s talk about it: evaluating contributions through discussion in GitHub (JT, LD, JDH), pp. 144–154.

ICSE-2014-TsayDH #git #social

Influence of social and technical factors for evaluating contribution in GitHub (JT, LD, JDH), pp. 356–366.

CSEET-2013-RochaS #collaboration #comprehension #student

Understanding individual contribution and collaboration in student software teams (FR, ES), pp. 51–60.

TACAS-2013-0002IP #c #contest #named

CSeq: A Sequentialization Tool for C — (Competition Contribution) (BF, OI, GP), pp. 616–618.

TACAS-2013-AlbarghouthiGLCC #abstract interpretation #contest #named #verification

UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.

TACAS-2013-DudkaMPV #contest #low level #named #verification

Predator: A Tool for Verification of Low-Level List Manipulation — (Competition Contribution) (KD, PM, PP, TV), pp. 627–629.

TACAS-2013-FalkeMS #bound #c #contest #model checking #named #source code #using

LLBMC: Improved Bounded Model Checking of C Programs Using LLVM — (Competition Contribution) (SF, FM, CS), pp. 623–626.

TACAS-2013-HeizmannCDEHLNSP #contest

Ultimate Automizer with SMTInterpol — (Competition Contribution) (MH, JC, DD, EE, JH, ML, AN, CS, AP), pp. 641–643.

TACAS-2013-Lowe #analysis #contest

CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation — (Competition Contribution) (SL), pp. 610–612.

TACAS-2013-MorseCNF #bound #contest

Handling Unbounded Loops with ESBMC 1.20 — (Competition Contribution) (JM, LCC, DN, BF), pp. 619–622.

TACAS-2013-PopeeaR #concurrent #contest #multi #named #source code #thread #verification

Threader: A Verifier for Multi-threaded Programs — (Competition Contribution) (CP, AR), pp. 633–636.

TACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation

Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.

TACAS-2013-Wendler #analysis #contest

CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis — (Competition Contribution) (PW), pp. 613–615.

CSMR-2013-ScannielloGT #comprehension #diagrams #sequence chart #source code

An Early Investigation on the Contribution of Class and Sequence Diagrams in Source Code Comprehension (GS, CG, GT), pp. 367–370.

CHI-2013-ZhuZHKK #empirical #feedback #wiki

Effects of peer feedback on contribution: a field experiment in Wikipedia (HZ, AZ, JH, REK, AK), pp. 2253–2262.

DUXU-CXC-2013-BarrosNCSC #design #development #game studies

The Design in the Development of Exergames: A New Game for the Contribute to Control Childhood Obesity (MB, AN, WC, MMS, FC), pp. 491–500.

KEOD-2013-HlomaniS #data-driven #evaluation #ontology #perspective #workflow

Contributing Evidence to Data-driven Ontology Evaluation — Workflow Ontologies Perspective (HH, DAS), pp. 207–213.

ICMT-2013-LepperT #performance #validation

Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract) (ML, BTyW), pp. 54–55.

CASE-2012-SchmidtH #automation #data transformation #fault

Managing data for a zero defect production — the contribution of manufacturing automation to a corporate strategy (GS, TH), pp. 70–73.

TACAS-2012-BaslerDKKTW #c #contest #named #source code #verification

satabs: A Bit-Precise Verifier for C Programs — (Competition Contribution) (GB, AFD, AK, DK, MT, TW), pp. 552–555.

TACAS-2012-CordeiroMNF #bound #contest #model checking

Context-Bounded Model Checking with ESBMC 1.17 — (Competition Contribution) (LCC, JM, DN, BF), pp. 534–537.

TACAS-2012-DudkaMPV #contest #data type #linked data #named #open data #source code #verification

Predator: A Verification Tool for Programs with Dynamic Linked Data Structures — (Competition Contribution) (KD, PM, PP, TV), pp. 545–548.

TACAS-2012-GrebenshchikovGLPR #contest #horn clause #verification

HSF(C): A Software Verifier Based on Horn Clauses — (Competition Contribution) (SG, AG, NPL, CP, AR), pp. 549–551.

TACAS-2012-HolzerKSTV #contest #proving #reachability #using

Proving Reachability Using FShell — (Competition Contribution) (AH, DK, CS, MT, HV), pp. 538–541.

TACAS-2012-LoweW #analysis #contest

CPAchecker with Adjustable Predicate Analysis — (Competition Contribution) (SL, PW), pp. 528–530.

TACAS-2012-ShvedMM #analysis #contest

Predicate Analysis with BLAST 2.7 — (Competition Contribution) (PS, MUM, VSM), pp. 525–527.

TACAS-2012-SinzMF #bound #contest #model checking #named #representation

LLBMC: A Bounded Model Checker for LLVM’s Intermediate Representation — (Competition Contribution) (CS, FM, SF), pp. 542–544.

TACAS-2012-WeissenbacherKM #contest #debugging #named

Wolverine: Battling Bugs with Interpolants — (Competition Contribution) (GW, DK, SM), pp. 556–558.

TACAS-2012-Wonisch #abstraction #contest

Block Abstraction Memoization for CPAchecker — (Competition Contribution) (DW), pp. 531–533.

IFM-2012-BorgerCG #analysis #framework #web

Contribution to a Rigorous Analysis of Web Application Frameworks (EB, AC, VG), pp. 1–20.

CSCW-2012-AntinCN #behaviour #editing

Technology-mediated contributions: editing behaviors among new wikipedians (JA, CC, ON), pp. 373–382.

CSCW-2012-CollierB #empirical #gender #wiki

Conflict, criticism, or confidence: an empirical examination of the gender gap in wikipedia contributions (BC, JB), pp. 383–392.

CSCW-2012-Muller #enterprise #social #social media

Lurking as personal trait or situational disposition: lurking and contributing in enterprise social media (MM), pp. 253–256.

CSCW-2012-WhittakerKE #effectiveness #memory management

Markup as you talk: establishing effective memory cues while still contributing to a meeting (VK, PE, SW), pp. 349–358.

CSCW-2012-ZubeVOLO #wiki

Classroom Wikipedia participation effects on future intentions to contribute (PZ, AV, EO, CL, JO), pp. 403–406.

RE-2012-LiaskosJA #elicitation #metric #modelling #on the

On eliciting contribution measures in goal models (SL, RJ, JA), pp. 221–230.

SAT-2012-XuHHL #algorithm #component

Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors (LX, FH, HH, KLB), pp. 228–241.

DocEng-2011-AlmeidaHY #case study

Contributions to the study of SMS spam filtering: new collection and results (TAA, JMGH, AY), pp. 259–262.

ICDAR-2011-LamiroyLS #algorithm #analysis #contest #documentation

Document Analysis Algorithm Contributions in End-to-End Applications: Report on the ICDAR 2011 Contest (BL, DPL, TS), pp. 1521–1525.

ITiCSE-2011-Marmorstein #effectiveness #open source #re-engineering

Open source contribution as an effective software engineering class project (RMM), pp. 268–272.

ICPC-J-2009-PoonTTK11 #category theory #experience #identification #testing

Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing (PLP, THT, SFT, FCK), pp. 141–163.

CHI-2011-DongHK #interface #performance

Entity-linking interfaces in user-contributed content: preference and performance (XD, FMH, JAK), pp. 2187–2196.

CHI-2011-Fallman #human-computer #interactive

The new good: exploring the potential of philosophy of technology to contribute to human-computer interaction (DF), pp. 1051–1060.

CHI-2011-Hincapie-RamosTB #framework #named #volunteer

GridOrbit: an infrastructure awareness system for increasing contribution in volunteer computing (JDHR, AT, JEB), pp. 1899–1908.

CHI-2011-HsiehHK #how

Donate for credibility: how contribution incentives can improve credibility (GH, SEH, REK), pp. 3435–3438.

CHI-2011-KimS #community #health #interface #online #using

Using interface cues in online health community boards to change impressions and encourage user contribution (HSK, SSS), pp. 599–608.

CHI-2011-ShklovskiK #internet #online

Online contribution practices in countries that engage in internet blocking and censorship (IS, NK), pp. 1109–1118.

CHI-2011-TausczikP #online #predict #quality

Predicting the perceived quality of online mathematics contributions from users’ reputations (YRT, JWP), pp. 1885–1888.

HIMI-v1-2011-TakeuchiN #how #question

How Do Real or Virtual Agent’s Body and Instructions Contribute to Task Achievement? (YT, HN), pp. 142–151.

ICEIS-v1-2011-RamirezC #fault #process #using

Fault Diagnosis of Batch Processes Release using PCA Contribution Plots as Fault Signatures (AWR, JCL), pp. 223–228.

ECIR-2011-Robertson #evaluation #on the #topic

On the Contributions of Topics to System Evaluation (SR), pp. 129–140.

KEOD-2011-MendesR #enterprise #ontology

Enterprise Ontologies in Healthcare a Preliminary Inception Contribution (DM, IPR), pp. 557–561.

SAC-2011-FragidisT

Analyzing value co-creation in service systems: contribution from GORE (GF, KAT), pp. 705–707.

ICSE-2011-Sethanandha #open source #process #tool support

Improving open source software patch contribution process: methods and tools (BDS), pp. 1134–1135.

MSR-2010-IbrahimBSAH #question

Should I contribute to this discussion? (WMI, NB, ES, BA, AEH), pp. 181–190.

CHI-2010-ViewegHSP #microblog #twitter #what

Microblogging during two natural hazards events: what twitter may contribute to situational awareness (SV, ALH, KS, LP), pp. 1079–1088.

CSCW-2010-ArazyN #difference #quality #wiki

Determinants of wikipedia quality: the roles of global and local contribution inequality (OA, ON), pp. 233–236.

KDD-2010-LuWZB

Ensemble pruning via individual contribution ordering (ZL, XW, XZ, JB), pp. 871–880.

SEKE-2010-SrinivasaraghavanMC #performance #re-engineering

Smarter Software Engineering: Knowledge factors contributing to improved Individual Performance (NS, CM, JAC), pp. 309–314.

CHI-2009-BurkeML #network #social

Feed me: motivating newcomer contribution in social network sites (MB, CM, TML), pp. 945–954.

DHM-2009-FaustC #3d

3D Body Scanning’s Contribution to the Use of Apparel as an Identity Construction Tool (MEF, SC), pp. 19–28.

DHM-2009-MihalyiDA #framework #modelling

A Contribution to Integrated Driver Modeling: A Coherent Framework for Modeling Both Non-routine and Routine Elements of the Driving Task (AM, BD, TA), pp. 433–442.

HIMI-II-2009-SpinilloPL #analysis #safety

Patient Safety: Contributions from a Task Analysis Study on Medicine Usage by Brazilians (CS, SP, CL), pp. 604–608.

SIGIR-2009-ShaparenkoJ #documentation #identification #modelling

Identifying the original contribution of a document via language modeling (BS, TJ), pp. 696–697.

ITiCSE-2008-GotelSW #assessment #assurance #education #open source #programming #quality #student

Teaching software quality assurance by encouraging student contributions to an open source web-based system for the assessment of programming assignments (OG, CS, AW), pp. 214–218.

MSR-2008-GousiosKS #developer #repository

Measuring developer contribution from software repository data (GG, EK, DS), pp. 129–132.

ICPR-2008-TsuchiyaF #feature model #using

A method of feature selection using contribution ratio based on boosting (MT, HF), pp. 1–4.

HT-2007-SteinH #case study #matter #wiki

Does it matter who contributes: a study on featured articles in the german wikipedia (KS, CH), pp. 171–174.

ICDAR-2007-LemaitreCC #documentation #multi #recognition

Contribution of Multiresolution Description for Archive Document Structure Recognition (AL, JC, BC), pp. 247–251.

ITiCSE-2007-Hwang #case study #education #experience #operating system

Teaching operating systems with Windows: experiences and contributions (SwH), p. 316.

MSR-2007-LinsteadRBLB #developer #eclipse #mining #modelling #topic

Mining Eclipse Developer Contributions via Author-Topic Models (EL, PR, SKB, CVL, PB), p. 30.

ICEIS-AIDSS-2007-KjellinS #information management

Personal Knowledge Management as an Icebreaker: Motivating Contributions to Knowledge Management Systems (HK, TSH), pp. 76–81.

ICEIS-HCI-2007-KirnerSK #requirements

Contribution to the Requirements Engineering of Virtual Environments (TGK, VFMS, CK), pp. 142–147.

ICEIS-SAIC-2007-BelbezeS #behaviour #web #web service

Which Contribution of the Web Services in the Improvement of Web Searching? A Behavioural Study of the Net Surfers (CB, CSD), pp. 129–137.

CSEET-2006-Kontio #education #industrial #lessons learnt #named #re-engineering

Panel: Industrial Impact through Education — Lessons Learned from Barry Boehm’s Contributions to Software Engineering (JK), pp. 237–240.

CSEET-2006-ValerdiM #re-engineering

Impact & Contributions of MBASE on Software Engineering Graduate Courses (RV, RJM), pp. 209–218.

ITiCSE-2006-Hamer #approach #case study #experience #student

Some experiences with the “contributing student approach” (JH), pp. 68–72.

CHI-2006-CosleyFTR #bibliography #community #using

Using intelligent task routing and contribution review to help communities build artifacts of lasting value (DC, DF, LGT, JR), pp. 1037–1046.

CHI-2006-RashidLTRKR #game studies

Motivating participation by displaying the value of contribution (AMR, KSL, RDT, PR, REK, JR), pp. 955–958.

DATE-2005-BurguiereR #branch #modelling #predict

A Contribution to Branch Prediction Modeling in WCET Analysi (CB, CR), pp. 612–617.

PODS-2005-DeutschKP #integration

Determining source contribution in integration systems (AD, YK, YP), pp. 304–315.

ICEIS-v3-2005-SimoniBB #development #information management #process #social

Bringing Social Constructs to the Information System Development Process: Contributions of Organizational Semiotics (CACS, MCCB, RB), pp. 112–119.

ICSM-2004-Chapin #agile #evolution

Agile Methods’ Contributions in Software Evolution (NC), p. 522.

CSCW-2004-BeenenLWCFRK #community #motivation #online #social #using

Using social psychology to motivate contributions to online communities (GB, KSL, XW, KC, DF, PR, REK), pp. 212–221.

ICEIS-v3-2004-Nobre04a #what

Computer Ethics: What are we Talking About? Possible Contributions from Philosophy of Action, Critical Realism and Modern Hermeneutics (ÂLN), pp. 683–687.

CSEET-2003-BudgenT #education #re-engineering

Norm Gibbs and His Contribution to Software Engineering Education Through the SEI Curriculum Modules (DB, JET), p. 3.

ICEIS-v3-2003-BarjisG #requirements

Requirements Engineering Versus Language/Action Perspective: Different Facets and Possible Contribution (JB, TG), pp. 14–22.

ICSE-2003-HayesLP #re-engineering #towards

Evaluating Individual Contribution Toward Group Software Engineering Projects (JHH, TCL, DP), pp. 622–627.

IFM-2002-LedangS #modelling #uml

Contributions for Modelling UML State-Charts in B (HL, JS), pp. 109–127.

ICPR-v3-2002-BalciA #estimation #gender #question

PCA for Gender Estimation: Which Eigenvectors Contribute? (KB, VA), pp. 363–366.

ICEIS-v2-2001-AudyBF #information management #learning

Information Systems Planning: Contributions from Organizational Learning (JLNA, JLB, HF), pp. 873–879.

ASE-2000-NoahW #automation #database #design #performance #tool support #validation

Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools (SAN, MDW), pp. 177–186.

SIGIR-2000-Vakkari #documentation #performance

Relevance and contributing information types of searched documents in task performance (PV), pp. 2–9.

ICSE-2000-Paralic #mobile #programming

Contribution to simplifying the mobile agent programming (MP), pp. 716–718.

HCI-CCAD-1999-VuongN #framework #network

Network centric computing platform — the contribution of telcos to networking companies (TAV, JN), pp. 472–476.

SIGIR-1999-HoashiMIH #query #word

Query Expansion Method Based on Word Contribution (poster abstract) (KH, KM, NI, KH), pp. 303–304.

ACIR-1998-Smeaton #data fusion #effectiveness #independence #information retrieval

Independence of Contributing Retrieval Strategies in Data Fusion for Effective Information Retrieval (AFS).

SIGIR-1998-Bakel #documentation #information retrieval #knowledge-based

Modern Classical Document Indexing: A Linguistic Contribution to Knowledge-Based IR (BvB), pp. 333–334.

ASE-1997-Ameur #comprehension #program analysis #source code

A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs (YAA), pp. 134–142.

HCI-CC-1997-MurakiNSO #information management

Information Sharing Accelerated by Work History Based Contribution Management, Leads to Knowhow Sharing (KM, NN, KS, NO), pp. 81–84.

HCI-SEC-1997-EarlYMK #analysis #case study #design #usability

The Contribution of Usability Analysis to the Design of Medical Devices: A Case Study (SE, MY, BM, RJK), pp. 601–604.

ICRE-1996-LutzW #analysis #case study #experience #requirements

Experience Report: Contributions of SFMEA to Requirements Analysis (RRL, RMW), pp. 44–51.

ICDAR-v2-1995-LeplumeyCQ #documentation #segmentation #towards

Kalman filter contributions towards document segmentation (IL, JC, CQ), pp. 765–769.

RE-1995-GotelF #requirements

Contribution structures (Requirements artifacts) (OG, AF), pp. 100–107.

RTA-1995-Matiyasevich #logic #on the

On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage (Abstract) (YM), p. 1.

WCRE-1993-HainautCTJ #database #formal method #reverse engineering

Contribution to a Theory of Database Reverse Engineering (JLH, MC, CT, MJ), pp. 161–170.

ICLP-1993-LadretR #logic programming #protocol #testing

Contribution of Logic Programming to Support Telecommunications Protocol Tests (DL, MR), pp. 845–846.

OOPSLA-1992-LiuGG #learning #object-oriented #question #what

What Contributes to Successful Object-Oriented Learning? (CL, SG, BG), pp. 77–86.

CHI-1991-LaurelBDS #interface

Interface and narrative arts: contributions from narrative, drama, and film (BL, JB, AD, RMS), pp. 381–383.

IWPTS-1991-Berghe #bibliography #consistency #specification #standard #tool support

Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide Harmonisation (FvdB), pp. 297–310.

CADE-1990-WosWMOLSB #automation #logic #reasoning

Automated Reasoning Contributed to Mathematics and Logic (LW, SW, WM, RAO, ELL, RLS, RB), pp. 485–499.

OOPSLA-1989-LieberherrR #design #education #object-oriented #programming

Contributions to Teaching Object Oriented Design and Programming (KJL, AJR), pp. 11–22.

LICS-1989-Davis

Emil Post’s Contributions to Computer Science (MD), pp. 134–136.

VDME-1988-BorzyszkowskiKS #formal method #polymorphism #λ-calculus

A Set-Theoretic Model for a Typed Polymorphic λ Calculus — A Contribution to MetaSoft (AMB, RK, SS), pp. 267–298.

SIGIR-1988-LaineLV #information management #logic

French Textual Information Systems: The Contribution of Extensional and Intensional Logics (SL, OL, IV), pp. 507–518.

CADE-1986-Jager #analysis #logic

Some Contributions to the Logical Analysis of Circumscrition (GJ), pp. 154–171.