BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (16)
logic (13)
languag (13)
multipl (11)
program (10)

Stem choic$ (all stems)

155 papers:

PLDIPLDI-2015-DingAVSOA #algorithm
Autotuning algorithmic choice for input sensitivity (YD, JA, KV, XS, UMO, SPA), pp. 379–390.
CSCWCSCW-2015-Tufekci #algorithm
Algorithms in our Midst: Information, Power and Choice when Software is Everywhere (ZT), p. 1918.
HCIHIMI-IKC-2015-MatsudaOHT #analysis #automation #generative #multi #problem #testing #using
Analysis of Multiple-Choice Tests Through Erroneous Choices Using a Technique of Automatic Problem Generation (NM, HO, TH, HT), pp. 362–369.
RecSysRecSys-2015-GrausW #elicitation #experience #user interface
Improving the User Experience during Cold Start through Choice-Based Preference Elicitation (MPG, MCW), pp. 273–276.
RecSysRecSys-2015-WaymanM
Nudging Grocery Shoppers to Make Healthier Choices (EW, SM), pp. 289–292.
HTHT-2014-Santos-NetoPAR #data flow #on the #optimisation
On the choice of data sources to improve content discoverability via textual feature optimization (ESN, TP, JMA, MR), pp. 273–278.
ICALPICALP-v2-2014-CooperER #distributed #power of
The Power of Two Choices in Distributed Voting (CC, RE, TR), pp. 435–446.
CHICHI-2014-ChiravirakulP #question
Choice overload in search engine use? (PC, SJP), pp. 1285–1294.
CHICHI-2014-HsuYYHCB #persuasion
Persuasive technology for overcoming food cravings and improving snack choices (AH, JY, YHY, MSH, CC, AEB), pp. 3403–3412.
CHICHI-2014-LoeppHZ #collaboration #elicitation #recommendation
Choice-based preference elicitation for collaborative filtering recommender systems (BL, TH, JZ), pp. 3085–3094.
HCIDUXU-ELAS-2014-VilarDRNV #artificial reality #case study #using
A Pilot Study Using Virtual Reality to Investigate the Effects of Emergency Egress Signs Competing with Environmental Variables on Route Choices (EV, ED, FR, PN, EV), pp. 369–377.
HCIHIMI-AS-2014-KoyamaYKT #named
ChoiceLog: Life Log System Based on Choices for Supporting Decision-Making (JK, KY, IK, YT), pp. 172–183.
HCISCSM-2014-WhittyDCH #image #online
Image Choice to Represent the Self in Different Online Environments (MTW, JD, SC, DH), pp. 528–537.
ICPRICPR-2014-OsogamiK
A Hierarchical Bayesian Choice Model with Visibility (TO, TK), pp. 3618–3623.
SIGIRSIGIR-2014-KellyRT #constraints #information retrieval #research
Choices and constraints: research goals and approaches in information retrieval (part 1) (DK, FR, JT), p. 1283.
SIGIRSIGIR-2014-KellyRT14a #constraints #information retrieval #research
Choices and constraints: research goals and approaches in information retrieval (part 2) (DK, FR, JT), p. 1284.
SACSAC-2014-PatanaikZK #estimation #parametricity #simulation
Parameter estimation and simulation for one-choice Ratcliff diffusion model (AP, VZ, CKK), pp. 3–7.
OSDIOSDI-2014-VenkataramanPAFS #clustering #power of #scheduling
The Power of Choice in Data-Aware Cluster Scheduling (SV, AP, GA, MJF, IS), pp. 301–316.
DocEngDocEng-2013-PinkneyBB #readability
No need to justify your choice: pre-compiling line breaks to improve eBook readability (AJP, SRB, DFB), pp. 237–240.
ITiCSEITiCSE-WGR-2013-SandersACEGJLMP #multi #repository
The Canterbury QuestionBank: building a repository of multiple-choice CS1 and CS2 questions (KS, MA, TC, SHE, MG, CJ, RL, RM, EAP, JS), pp. 33–52.
CHICHI-2013-RonenRJT #how #question
Taking data exposure into account: how does it affect the choice of sign-in accounts? (SR, OR, MJ, DT), pp. 3423–3426.
CSCWCSCW-2013-GaoHZ #how #network #social
Closure vs. structural holes: how social network information and culture affect choice of collaborators (GG, PJH, CZ), pp. 5–18.
HCIDUXU-WM-2013-ShenP #performance
Re-thinking Bookmark Management — Less Choice Is More Efficient (STS, SDP), pp. 304–312.
CIKMCIKM-2013-ZhangLL #performance #privacy #robust #streaming
An efficient and robust privacy protection technique for massive streaming choice-based information (JZ, XL, YL), pp. 1169–1172.
ICSTSAT-2013-DellertZK #interactive #named
MUStICCa: MUS Extraction with Interactive Choice of Candidates (JD, CZ, MK), pp. 408–414.
DATEDATE-2012-Al-HashimiM #framework #hardware #question #verification
Accelerators and emulators: Can they become the platform of choice for hardware verification? (BMAH, RM), p. 430.
DATEDATE-2012-SuriBE #approach #multi #problem #scalability
A scalable GPU-based approach to accelerate the multiple-choice knapsack problem (BS, UDB, PE), pp. 1126–1129.
FoSSaCSFoSSaCS-2012-PetersN #encoding #question
Is It a “Good” Encoding of Mixed Choice? (KP, UN), pp. 210–224.
LATALATA-2012-GeffertGP #automaton
Two-Way Automata Making Choices Only at the Endmarkers (VG, BG, GP), pp. 264–276.
CHICHI-2012-TangHS #social
The implications of offering more disclosure choices for social location sharing (KPT, JIH, DPS), pp. 391–394.
CHICHI-2012-ZhuHL #comprehension #online #social
To switch or not to switch: understanding social influence in online choices (HZ, BAH, YL), pp. 2257–2266.
AdaEuropeAdaEurope-2012-PoonCT #classification
Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree Methodology (PLP, TYC, THT), pp. 162–176.
ICSEICSE-2012-YskoutSJ #architecture #question #security
Does organizing security patterns focus architectural choices? (KY, RS, WJ), pp. 617–627.
LICSLICS-2012-Herbelin #logic #proving
A Constructive Proof of Dependent Choice, Compatible with Classical Logic (HH), pp. 365–374.
DACDAC-2011-Singh #challenge
Lithography at 14nm and beyond: choices and challenges (VS), p. 459.
CSEETCSEET-2011-BrownNOKL #game studies
Hard choice: A game for balancing strategy for agility (NB, RLN, IO, PK, EL), p. 553.
ICPCICPC-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.
CHICHI-2011-BrumbyDJG #how #performance
Fast or safe?: how performance objectives determine modality output choices while interacting on the move (DPB, SCED, CPJ, JJG), pp. 473–482.
CHICHI-2011-LeeKF #behaviour #design #mining #persuasion
Mining behavioral economics to design persuasive technology for healthy choices (MKL, SBK, JF), pp. 325–334.
CHICHI-2011-LelisH #how #online #people #rating
Informing decisions: how people use online rating information to make choices (SL, AH), pp. 2285–2294.
CSCWCSCW-2011-AmesGKS #comprehension #social
Understanding technology choices and values through social class (MGA, JG, JK, MS), pp. 55–64.
AdaSIGAda-2011-Rogers #safety
Language choice for safety critical applications (JSR), pp. 81–90.
ICEISICEIS-v1-2011-YamaguchiDF #guidelines #process #visualisation
Guidelines for the Choice of Visualization Techniques Applied in the Process of Knowledge Extraction (JKY, MMD, CF), pp. 183–189.
ICEISICEIS-v2-2011-FanLL #performance #set
Influencing Factors of High-speed Railway Passengers’ Travel Choice based on Rough Set (YF, JL, CL), pp. 213–217.
ICEISICEIS-v2-2011-LongLG #algorithm #performance #predict #search-based
High-speed Railway based on Genetic Algorithm for Prediction of Travel Choice (CL, JL, YG), pp. 26–31.
ICEISICEIS-v2-2011-MeiJS #fuzzy #logic
Passenger Travel Choice Prediciton based on Fuzzy Logic (LM, LJ, KS), pp. 163–166.
ICEISICEIS-v3-2011-Liu
The Impact of Display Incompleteness on Customers’ Choice (ZL), pp. 550–553.
SIGIRSIGIR-2011-LawBH
The effects of choice in routing relevance judgments (EL, PNB, EH), pp. 1127–1128.
SIGIRSIGIR-2011-YangLSZZ #collaboration #learning #recommendation #using
Collaborative competitive filtering: learning recommender using context of user choice (SHY, BL, AJS, HZ, ZZ), pp. 295–304.
GTTSEGTTSE-2011-ErwigW #calculus #programming
Variation Programming with the Choice Calculus (ME, EW), pp. 55–100.
ECSAECSA-2010-BerniniT #architecture
Explaining Architectural Choices to Non-architects (DB, FT), pp. 352–359.
QoSAQoSA-2010-BirkmeierO #architecture #development #diagrams #empirical #process #uml #usability
Is BPMN Really First Choice in Joint Architecture Development? An Empirical Study on the Usability of BPMN and UML Activity Diagrams for Business Users (DB, SO), pp. 119–134.
DACDAC-2010-GajskiAS #question #synthesis #what
What input-language is the best choice for high level synthesis (HLS)? (DG, TMA, SS), pp. 857–858.
ICALPICALP-v1-2010-FountoulakisP #multi #power of #random
Orientability of Random Hypergraphs and the Power of Multiple Choices (NF, KP), pp. 348–359.
SEFMSEFM-2010-DanHC
Non-local Choice and Implied Scenarios (HD, RMH, SC), pp. 53–62.
ICEISICEIS-SAIC-2010-Foster10a #adaptation #guidelines #industrial #multi
Adapting Multiple-Choice Item-writing Guidelines to an Industrial Context (RMF), pp. 71–74.
RecSysRecSys-2010-AlbanesedMPP #modelling #problem #recommendation #social
Modeling recommendation as a social choice problem (MA, Ad, VM, FP, AP), pp. 329–332.
RecSysRecSys-2010-BollenKWG #comprehension #recommendation
Understanding choice overload in recommender systems (DGFMB, BPK, MCW, MPG), pp. 63–70.
ICSEICSE-2010-KornstaedtR #development #eclipse #float #framework
Staying afloat in an expanding sea of choices: emerging best practices for eclipse rich client platform development (AK, ER), pp. 59–67.
IJCARIJCAR-2010-BackesB #higher-order #logic
Analytic Tableaux for Higher-Order Logic with Choice (JB, CEB), pp. 76–90.
CASECASE-2009-SinghR #behaviour #problem
The Potluck Problem with consumers’ choice behavior (NS, SR), pp. 328–333.
DACDAC-2009-ShojaeiGBGSH #composition #heuristic #multi #runtime
A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management (HS, AHG, TB, MG, SS, RH), pp. 917–922.
ITiCSEITiCSE-2009-Radenski #learning
Freedom of choice as motivational factor for active learning (AR), pp. 21–25.
PLDIPLDI-2009-AnselCWOZEA #algorithm #compilation #named
PetaBricks: a language and compiler for algorithmic choice (JA, CPC, YLW, MO, QZ, AE, SPA), pp. 38–49.
CHICHI-2009-DiefenbachH
The “Beauty Dilemma”: beauty is valued but discounted in product choice (SD, MH), pp. 1419–1426.
CHICHI-2009-HuangHTNMMR #case study #chat #communication #social
Of social television comes home: a field study of communication choices and practices in tv-based text and voice chat (EMH, GH, JT, AN, NM, CJM, GR), pp. 585–594.
SIGIRSIGIR-2009-OulasvirtaHS
When more is less: the paradox of choice in search engine use (AO, JPH, BS), pp. 516–523.
ICSEICSE-2009-RamasubbuB #analysis #empirical #maturity #process
The impact of process choice in high maturity environments: An empirical analysis (NR, RKB), pp. 529–539.
CADECADE-2009-Rinard #proving #reasoning
Integrated Reasoning and Proof Choice Point Selection in the Jahob System — Mechanisms for Program Survival (MCR), pp. 1–16.
ASEASE-2008-EgyedLF #consistency #design #generative #modelling #nondeterminism #uml
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models (AE, EL, AF), pp. 99–108.
FLOPSFLOPS-2008-Lopez-FraguasRS
Rewriting and Call-Time Choice: The HO Case (FJLF, JRH, JSH), pp. 147–162.
ICALPICALP-A-2008-AzarG #framework #integer #source code #unification
Truthful Unification Framework for Packing Integer Programs with Choices (YA, IG), pp. 833–844.
CHICHI-2008-LeongHV #named #question
Choice: abidcating or exercising? (TWL, SH, FV), pp. 715–724.
CHICHI-2008-WoodruffHA
A bright green perspective on sustainable choices (AW, JH, SA), pp. 313–322.
CSCWCSCW-2008-RaderW
Influences on tag choices in del.icio.us (EJR, RW), pp. 239–248.
CAiSECAiSE-2008-Godet-BarDR #interactive
When Interaction Choices Trigger Business Evolutions (GGB, SDC, DR), pp. 144–147.
CAiSECAiSE-2008-KinderenG #reasoning
Reasoning about Substitute Choices and Preference Ordering in e-Services (SdK, JG), pp. 390–404.
EDOCEDOC-2008-AmeedeenB #approach #diagrams #modelling #petri net #sequence chart
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets (MAA, BB), pp. 213–221.
SIGIRSIGIR-2008-WuST
User preference choices for complex question answering (MW, FS, AT), pp. 717–718.
SACSAC-2008-RaveendranBG #algorithm #evaluation #realtime #scheduling #trade-off
Evaluation of priority based real time scheduling algorithms: choices and tradeoffs (BKR, SB, SG), pp. 302–307.
CCCC-2008-Schwartzbach #compilation #design #how
Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation (MIS), pp. 1–15.
OSDIOSDI-2008-LiCMKRAD #named
FlightPath: Obedience vs. Choice in Cooperative Services (HCL, AC, MM, MK, LR, LA, MD), pp. 355–368.
ICALPICALP-2007-BellareR #design
Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms (MB, TR), pp. 399–410.
IFLIFL-2007-Wallace #parsing
Partial Parsing: Combining Choice with Commitment (MW), pp. 93–110.
CHICHI-2007-XiaoSC #interactive #performance
The role of choice and customization on users’ interaction with embodied conversational agents: effects on perception and performance (JX, JTS, RC), pp. 1293–1302.
TOOLSTOOLS-EUROPE-2007-HenrikssonJZA #composition #named #reuse
Reuseware — Adding Modularity to Your Language of Choice (JH, JJ, SZ, UA), pp. 127–146.
PPDPPPDP-2007-Lopez-FraguasRS #semantics
A simple rewrite notion for call-time choice semantics (FJLF, JRH, JSH), pp. 197–208.
PADLPADL-2007-PodelskiR #abstraction #logic #model checking #named #refinement
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement (AP, AR), pp. 245–259.
SACSAC-2007-CaropreseTZ #evaluation #framework #reasoning
A framework for prioritized reasoning based on the choice evaluation (LC, IT, EZ), pp. 65–70.
CSLCSL-2007-CarayolL #infinity #order
MSO on the Infinite Binary Tree: Choice and Order (AC, CL), pp. 161–176.
DACDAC-2006-MokhoffZ #trade-off
Tradeoffs and choices for emerging SoCs in high-end applications (NM, YZ), p. 273.
FMFM-2006-LundS #diagrams #semantics #sequence chart #uml
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice (MSL, KS), pp. 380–395.
CHICHI-2006-PearsonHBPN #adaptation #behaviour #how #human-computer #word
Adaptive language behavior in HCI: how expectations and beliefs about a system affect users’ word choice (JP, JH, HPB, MJP, CN), pp. 1177–1180.
CSCWCSCW-2006-RiegelsbergerCFP #game studies
Sounds good to me: effects of photo and voice profiles on gaming partner choice (JR, SC, SF, BCP), pp. 159–162.
ECIRECIR-2006-AwadallahR #multi
Web-Based Multiple Choice Question Answering for English and Arabic Questions (RA, AR), pp. 515–518.
ICMLICML-2006-GorurJR #infinity
A choice model with infinitely many latent features (DG, FJ, CER), pp. 361–368.
WICSAWICSA-2005-TibermacineFS #architecture #component #development #process
Preserving Architectural Choices throughout the Component-based Software Development Process (CT, RF, SS), pp. 121–130.
ICDARICDAR-2005-Mancas-ThillouG #clustering #distance #image
Color Text Extraction from Camera-based Images the Impact of the Choice of the Clustering Distance (CMT, BG), pp. 312–316.
FASEFASE-2005-MooijGR
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes (AJM, NG, JR), pp. 273–288.
MLDMMLDM-2005-KovalevP #database #image #optimisation
Optimising the Choice of Colours of an Image Database for Dichromats (VAK, MP), pp. 456–465.
SACSAC-2005-ZhangP #analysis
Effort and accuracy analysis of choice strategies for electronic product catalogs (JZ, PP), pp. 808–814.
CSLCSL-2005-BrattkaS #axiom #sequence
Computing with Sequences, Weak Topologies and the Axiom of Choice (VB, MS), pp. 462–476.
FoSSaCSFoSSaCS-2004-AbadiGW
Choice in Dynamic Linking (MA, GG, BW), pp. 12–26.
PPDPPPDP-2004-GrecoGSS #datalog #logic programming #multi #programming language #reasoning
Event choice datalog: a logic programming language for reasoning in multiple dimensions (GG, AG, DS, FS), pp. 238–249.
ICLPICLP-2004-PetitG #constraints #probability #statistics #testing
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing (MP, AG), pp. 471–472.
ITiCSEITiCSE-2003-Sojka03a #agile #evaluation #multi #testing #tex #using
Rapid evaluation using multiple choice tests and TeX (PS), p. 265.
FASEFASE-2003-Muccini #branch #detection
Detecting Implied Scenarios Analyzing Non-local Branching Choices (HM), pp. 372–386.
ICMLICML-2003-BaramEL #algorithm #learning #online
Online Choice of Active Learning Algorithms (YB, REY, KL), pp. 19–26.
CADECADE-2003-Nivelle #axiom #first-order #proving
Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms (HdN), pp. 365–379.
CSLCSL-2003-DawarR #fixpoint #logic #symmetry
A Fixed-Point Logic with Symmetric Choice (AD, DR), pp. 169–182.
ITiCSEITiCSE-2002-Fone #feedback #multi #testing
Improving feedback from multiple choice tests (WF), p. 196.
KRKR-2002-BrewkaBB #logic
Qualitative Choice Logic (GB, SB, DLB), pp. 158–169.
UMLUML-2002-BruckerW #case study #design #experience #higher-order #named #ocl
HOL-OCL: Experiences, Consequences and Design Choices (ADB, BW), pp. 196–211.
HPCAHPCA-2002-YangPFV #design #energy
Exploiting Choice in Resizable Cache Design to Optimize Deep-Submicron Processor Energy-Delay (SHY, MDP, BF, TNV), pp. 151–161.
VMCAIVMCAI-2002-ZuckPK #automation #probability #verification
Automatic Verification of Probabilistic Free Choice (LDZ, AP, YK), pp. 208–224.
HTHT-2001-Cole #interactive #online
Choice vs. interaction: the case of online Caroline (WC), pp. 69–70.
LICSLICS-2001-HuuskonenH #logic #on the #order
On Definability of Order in Logic with Choice (TH, TH), pp. 167–172.
DACDAC-1999-SgroiL #embedded #petri net #synthesis #using
Synthesis of Embedded Software Using Free-Choice Petri Nets (MS, LL), pp. 805–810.
HTHT-1999-Whitehead #hypermedia #network
Control Choices and Network Effects in Hypertext Systems (EJWJ), pp. 75–82.
HCIHCI-CCAD-1999-LiangL #matrix #metric #process #representation
Information representation and decision process: effects of measurement scale and shape of decision matrix on preferential choice (SFML, MRL), pp. 62–65.
CSLCSL-1999-VosV #game studies #logic programming #nash #source code
Choice Logic Programs and Nash Equilibria in Strategic Games (MDV, DV), pp. 266–276.
ITiCSEITiCSE-1998-FarthingJM #multi #performance
Permutational multiple-choice questions: an objective and efficient alternative to essay-type examination questions (DWF, DMJ, DM), pp. 81–85.
CSLCSL-1998-Hoang #logic
Choice Construct and Lindström Logics (HKH), pp. 105–125.
ICLPJICSLP-1998-GrecoZ #algorithm #datalog
Greedy Algorithms in Datalog with Choice and Negation (SG, CZ), pp. 294–309.
TACASTACAS-1997-Ben-AbdallahL #detection #process #sequence chart
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts (HBA, SL), pp. 259–274.
ICMLICML-1996-Sebag #approach #bias
Delaying the Choice of Bias: A Disjunctive Version Space Approach (MS), pp. 444–452.
SEKESEKE-1996-RigoutsosD #scalability
The Impact of Hashing Function Choice on the Load Balancing in Very Large Dartasets (IR, AD), pp. 301–308.
FPCAFPCA-1995-HughesM
Making Choices Lazily (JH, AM), pp. 108–119.
CHICHI-1995-HillSRF #community #recommendation
Recommending and Evaluating Choices in a Virtual Community of Use (WCH, LS, MR, GWF), pp. 194–201.
TLCATLCA-1995-BerardiBC #axiom
A realization of the negative interpretation of the Axiom of Choice (SB, MB, TC), pp. 47–62.
ICALPICALP-1994-GyssensBG #performance
Expressiveness of Efficient Semi-Deterministic Choice Constructs (MG, JVdB, DVG), pp. 106–117.
SACSAC-1994-Duben #simulation
The effect of the choice of motional model in the determination of molecular conformation in solution from NMR-NOESY spectra: a simulation study (AJD), pp. 561–565.
HCIHCI-ACS-1993-LipnerSS #design #interface
The Relationship Between Task Structure and Choice of Navigational Aid in Human Computer Interface Design (RSL, GWS, KEOS), pp. 522–527.
HCIHCI-ACS-1993-MacGregorHL #interface
The Effect of User Characteristics on Interface Choice (RCM, HH, HTL), pp. 570–574.
PODSPODS-1992-GrecoZG
Greedy by Choice (SG, CZ, SG), pp. 105–113.
AdaTRI-Ada-C-1992-Youtzy #ada #named
Ada: Still Our First Choice (HYJ), pp. 135–139.
ISMMIWMM-1992-Pique #garbage collection #prolog
Dynamic Revision of Choice Points during Garbage Collection in Prolog [II/III] (JFP), pp. 330–343.
ICLPISLP-1991-HidakaKTT #clustering #commit #execution
A Static Load Partitioning Method based on Execution Profile for Committed Choice Languages (YH, HK, JT, HT), pp. 470–484.
LICSLICS-1991-CamilleriW
CCS with Priority Choice (JC, GW), pp. 246–255.
ICLPJICSCP-1988-TrehanW88 #commit #logic #nondeterminism #parallel #parsing
A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages (RT, PFW), pp. 212–232.
ICLPICLP-1987-Maher87 #logic #semantics #source code
Logic Semantics for a Class of Committed-Choice Programs (MJM), pp. 858–876.
ICLPICLP-1987-Tamaki87 #compilation #prolog
Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages (HT), pp. 376–393.
ESOPESOP-1986-DahlhausM #programming language
The Choice of Programming Primitives for SETL-Like Programming Languages (ED, JAM), pp. 160–172.
ESOPESOP-1986-Kaplan #algebra #nondeterminism #proving
Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs (SK), pp. 351–374.
ICLPICLP-1986-Levy86a #execution #memory management
Shared Memory Execution of Committed-choice Languages (JL), pp. 298–312.
ICLPICLP-1986-Voda86 #logic programming
Choices in, and Limitations of, Logic Programming (PJV), pp. 615–623.
ICLPSLP-1986-Crammond86 #execution #nondeterminism
An Execution Model for Committed-Choice Non-Deterministic Languages (JAC), pp. 148–158.
VLDBVLDB-1984-TayS #database #performance
Choice and Performance in Locking for Databases (YCT, RS), pp. 119–128.
SIGIRSIGIR-1983-GellerL #information management #user interface
User Interfaces to Information Systems: Choices vs. Commands (VJG, ML), pp. 130–135.
VLDBVLDB-1982-Kent #design
Choices in Practical Data Design (WK), pp. 165–180.
ICALPICALP-1982-Reif #on the #parallel #power of #probability
On the Power of Probabilistic Choice in Synchronous Parallel Computations (JHR), pp. 442–450.
POPLPOPL-1981-LehmannR #distributed #on the #problem #symmetry
On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem (DJL, MOR), pp. 133–138.
VLDBVLDB-1975-WinslowL
Optimal Choice of Data Restructuring Points (LEW, JCL), pp. 353–363.
POPLPOPL-1975-Schwartz #automation #data type
Automatic Data Structure Choice in a Language of Very High Level (JTS), pp. 36–40.
SOSPSOSP-1971-Rodriguez-Rosell #behaviour #how #parametricity
Experimental Data on How Program Behavior Affects the Choice of Scheduler Parameters (JRR), pp. 156–163.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.