## Stem aris$ (all stems)

### 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.