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:
game (9)
base (5)
profit (5)
function (4)
pex (4)

Stem fun$ (all stems)

31 papers:

CHICHI-2015-DerbovenZVGG #education #game studies
The Fun and the Serious in an Educational Game: The Monkey Tales Case (JD, BZ, JV, DG, DDG), pp. 2829–2832.
CHICHI-2015-HanXSCW #design #game studies #mobile #monitoring
Balancing Accuracy and Fun: Designing Camera Based Mobile Games for Implicit Heart Rate Monitoring (TH, XX, LS, JFC, JW), pp. 847–856.
CHICHI-2015-IacovidesC #experience #game studies
Moving Beyond Fun: Evaluating Serious Experience in Digital Games (II, ALC), pp. 2245–2254.
SACSAC-2015-RodriguesMSS #3d #education #game studies #interactive
Beyond fun: an interactive and educational 3D traffic rules game controlled by non-traditional devices (MAFR, DVdM, YRS, YRS), pp. 239–246.
SIGMODSIGMOD-2014-Herlihy #hardware #memory management #transaction
Fun with hardware transactional memory (MH), p. 575.
WRLAWRLA-2014-MossesV #component #named #semantics
FunKons: Component-Based Semantics in K (PDM, FV), pp. 213–229.
HCIDUXU-DP-2014-LinkLB #challenge #gamification #metric #smarttech
Not So Fun? The Challenges of Applying Gamification to Smartphone Measurement (MWL, JL, KB), pp. 319–327.
OSDIOSDI-2014-ZhengTHQLYZS #database
Torturing Databases for Fun and Profit (MZ, JT, DH, FQ, ML, ESY, BWZ, SS), pp. 449–464.
ISSTAISSTA-2014-TillmannHXB
Constructing coding duels in Pex4Fun and code hunt (NT, JdH, TX, JB), pp. 445–448.
ASEASE-2013-TillmannHXB #automation #education #game studies #generative #named #testing
Pex4Fun: A web-based environment for educational gaming via automated test generation (NT, JdH, TX, JB), pp. 730–733.
ICFPICFP-2013-Dolan #algebra #functional #linear
Fun with semirings: a functional pearl on the abuse of linear algebra (SD), pp. 101–110.
HCIOCSC-2013-Butler #game studies #ranking
The Effect of Leaderboard Ranking on Players’ Perception of Gaming Fun (CB), pp. 129–136.
CSEETCSEET-2012-TillmannHXB #education #game studies #learning #named #social
Pex4Fun: Teaching and Learning Computer Science via Social Gaming (NT, JdH, TX, JB), pp. 90–91.
ICPCICPC-2012-DeLine #developer
Studying developers for fun and profit: (Keynote abstract) (RD), p. 11.
KDDKDD-2012-0002L #named #recommendation
RecMax: exploiting recommender systems for fun and profit (AG, LVSL), pp. 1294–1302.
CSEETCSEET-2011-TillmannHX #education #game studies #learning #named #social
Pex4Fun: Teaching and learning computer science via social gaming (NT, JdH, TX), pp. 546–548.
HCIHCD-2011-TominagaDYMT #interactive
Structure of FUN Factors in the Interaction with Products (ST, TD, TY, YM, MT), pp. 138–143.
ICFPICFP-2009-FelleisenFFK #functional
A functional I/O system or, fun for freshman kids (MF, RBF, MF, SK), pp. 47–58.
CSCWCSCW-2008-JuhlinW #collaboration
Hunting for fun: solitude and attentiveness in collaboration (OJ, AW), pp. 57–66.
SMTSMT-2007-MoskalLK08
E-matching for Fun and Profit (MM, JL, JRK), pp. 19–35.
ITiCSEITiCSE-2007-Curzon
Serious fun in computer science (PC), p. 1.
PADLPADL-2007-Hughes #quickcheck #testing
QuickCheck Testing for Fun and Profit (JH), pp. 1–32.
AdaSIGAda-2006-MarkowRB
Catch that speeding turtle: latching onto fun graphics in CS1 (TM, EKR, JRSB), pp. 29–34.
ITiCSEITiCSE-2005-SweedykK #game studies #re-engineering
Fun and games: a new software engineering course (ES, RMK), pp. 138–142.
CHICHI-2003-MuellerAP #distance #interface #social
Exertion interfaces: sports over a distance for social bonding and fun (FM, SA, RWP), pp. 561–568.
CADECADE-2003-WaltherS
About VeriFun (CW, SS), pp. 322–327.
LICSLICS-1999-ColazzoG #kernel #recursion #type system
Subtyping Recursive Types in Kernel Fun (DC, GG), pp. 137–146.
ICFPICFP-1996-Ghelli #complexity #kernel #type checking #type system
Complexity of Kernel Fun Subtype Checking (GG), pp. 134–145.
PPDPPLILP-1996-GehrkeH #execution #named #specification
ProFun — A Language for Executable Specifications (TG, MH), pp. 304–318.
CIKMCIKM-1993-FaragT #information management #named
FunBase: A Function-based Information Management System (WF, TJT), pp. 507–515.
ICLPSLP-1987-Ait-KaciLN87 #equation #logic
Le Fun: Logic, Equations and Functions (HAK, PL, RN), pp. 17–23.

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.