20 papers:
CHI-2015-EslamiRVAVKHS #algorithm #quote #reasoning- “I always assumed that I wasn’t really that close to [her]”: Reasoning about Invisible Algorithms in News Feeds (ME, AR, KV, AA, AV, KK, KH, CS), pp. 153–162.
- CHI-2015-HookCMADW #case study #design #documentation #experience
- Making the Invisible Visible: Design to Support the Documentation of Participatory Arts Experiences (JH, RC, JCM, KA, JD, PCW), pp. 2583–2592.
DUXU-UI-2015-SheikhA #women- The Invisible User: Women in DUXU (JAS, AA), pp. 243–251.
- CHI-2014-GeymayerSLSS #visualisation
- Show me the invisible: visualizing hidden content (TG, MS, AL, MS, DS), pp. 3705–3714.
- CHI-2014-VaisutisBRVDNB #people #social
- Invisible connections: investigating older people’s emotions and social relations around objects (KV, MB, TR, FV, JD, BN, LB), pp. 1937–1940.
- HIMI-AS-2014-YamaguchiTT #learning #process #visualisation
- Visualizing Mental Learning Processes with Invisible Mazes for Continuous Learning (TY, KT, KT), pp. 137–148.
ICPR-2014-HedjamCK #detection #documentation #energy #image #multi #self- Constrained Energy Maximization and Self-Referencing Method for Invisible Ink Detection from Multispectral Historical Document Images (RH, MC, MK), pp. 3026–3031.
- CHI-2013-BernsteinBBK #network #social
- Quantifying the invisible audience in social networks (MSB, EB, MB, BK), pp. 21–30.
- CHI-2013-IraniS #named
- Turkopticon: interrupting worker invisibility in amazon mechanical turk (LI, MSS), pp. 611–620.
SAS-2011-McMillanZ #abstract interpretation #invariant- Invisible Invariants and Abstract Interpretation (KLM, LDZ), pp. 249–262.
- CHI-2010-ChettyBHRSGKK
- Who’s hogging the bandwidth: the consequences of revealing the invisible in the home (MC, RB, RHRH, TR, AS, CG, TK, PBK), pp. 659–668.
CSCW-2010-MentisRR #interactive- Invisible emotion: information and interaction in an emergency room (HMM, MR, MBR), pp. 311–320.
- ICPR-2010-TakimotoYMF #visual notation
- Invisible Calibration Pattern Based on Human Visual Perception Characteristics (HT, SY, YM, MF), pp. 4210–4213.
ICEIS-J-2009-BohmHLW #deployment #integration #process- Invisible Deployment of Integration Processes (MB, DH, WL, UW), pp. 53–65.
PODS-2007-EngelfrietHS #transducer #xml- XML transformation by tree-walking transducers with invisible pebbles (JE, HJH, BS), pp. 63–72.
ICALP-v2-2006-BalabanPZ #distributed #protocol #safety- Invisible Safety of Distributed Protocols (IB, AP, LDZ), pp. 528–539.
CAV-2005-BalabanFPZ #invariant #named #verification- IIV: An Invisible Invariant Verifier (IB, YF, AP, LDZ), pp. 408–412.
VMCAI-2004-FangPPZ #liveness #ranking- Liveness with Invisible Ranking (YF, NP, AP, LDZ), pp. 223–238.
TACAS-2001-PnueliRZ #automation #deduction #invariant #verification- Automatic Deductive Verification with Invisible Invariants (AP, SR, LDZ), pp. 82–97.
- CAV-1996-MillerK
- Saving Space by Fully Exploiting Invisible Transitions (HM, SK), pp. 336–347.
