15 papers:
ICSE-v2-2015-Accioly #collaboration #comprehension #development- Understanding Conflicts Arising from Collaborative Development (PRGA), pp. 775–777.
WICSA-ECSA-2012-CortellessaSMT #architecture #performance- Enabling Performance Antipatterns to Arise from an ADL-based Software Architecture (VC, MdS, ADM, CT), pp. 310–314.
CIKM-2012-ZhouCLZ #automation #topic- Exploring the existing category hierarchy to automatically label the newly-arising topics in cQA (GZ, LC, KL, JZ), pp. 1647–1651.
CASE-2008-BandaruN #algorithm #combinator #composition #performance #web #web service- Efficient algorithms for combinatorial auctions with volume discounts arising in web service composition (PB, YN), pp. 995–1000.
HIMI-IIE-2007-LazzariB #education #experience #guidelines #problem #quality #towards- Towards Guidelines on Educational Podcasting Quality: Problems Arising from a Real World Experience (ML, AB), pp. 404–412.
LICS-2007-IdziakMMVW #algebra- Tractability and learnability arising from algebras with few subpowers (PMI, PM, RM, MV, RW), pp. 213–224.
SAT-J-2004-TangYRM05 #algorithm #analysis #problem #quantifier #satisfiability- Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems (DT, YY, DR, SM), pp. 292–305.
IJCAR-2004-Farmer #calculus #formal method- Formalizing Undefinedness Arising in Calculus (WMF), pp. 475–489.
SAT-2004-TangYRM #algorithm #analysis #problem #quantifier #satisfiability- Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems (DT, YY, DR, SM), pp. 214–223.
SAC-2002-ButenkoPSSS #graph #independence #set- Finding maximum independent sets in graphs arising from coding theory (SB, PMP, IS, VS, PS), pp. 542–546.
STOC-1996-KleinL #algorithm #approximate #performance #source code- Efficient Approximation Algorithms for Semidefinite Programs Arising from MAX CUT and COLORING (PNK, HIL), pp. 338–347.
- STOC-1994-JacquetS #algorithm #analysis #equation #functional
- A functional equation often arising in the analysis of algorithms (extended abstract) (PJ, WS), pp. 780–789.
- STOC-1993-Karp #biology #combinator #problem
- Mapping the genome: some combinatorial problems arising in molecular biology (RMK), pp. 278–285.
CAV-1990-Ness #analysis- Issues Arising in the Analysis of L.0 (LAN), pp. 106–115.
ICALP-1982-FlajoletS #branch #polynomial #process- A Branching Process Arising in Dynamic Hashing, Trie Searching and Polynomial Factorization (PF, JMS), pp. 239–251.
