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:
reason (234)
what (68)
system (68)
program (60)
use (44)

Stem about$ (all stems)

553 papers:

DACDAC-2015-WolfF #architecture #continuation #question #what
What don’t we know about CPS architectures? (MW, EF), p. 4.
DocEngDocEng-2015-Paoli #documentation #what
Documents as Data, Data as Documents: What we learned about Semi-Structured Information for our Open World of Cloud & Devices (JP), p. 1.
SIGMODSIGMOD-2015-ArulrajPD #database #memory management
Let’s Talk About Storage & Recovery Methods for Non-Volatile Memory Database Systems (JA, AP, SD), pp. 707–722.
SIGMODSIGMOD-2015-CSKZYRPAKDRD #big data #industrial #what #why
Why Big Data Industrial Systems Need Rules and What We Can Do About It (PSGC, CS, KGK, HZ, FY, NR, SP, EA, GK, RD, VR, AD), pp. 265–276.
ITiCSEITiCSE-2015-Tudor #learning #optimisation #query #xml
Virtual Learning Laboratory about Query Optimization against XML Data (LNT), p. 348.
ESOPESOP-2015-DavidKL15a #reasoning #safety #source code #termination
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs (CD, DK, ML), pp. 661–684.
FASEFASE-2015-DaniaC #modelling #reasoning
Model-Based Formal Reasoning about Data-Management Applications (CD, MC), pp. 218–232.
MSRMSR-2015-HonselHG #evaluation #stack overflow
Intuition vs. Truth: Evaluation of Common Myths about StackOverflow Posts (VH, SH, JG), pp. 438–441.
FMFM-2015-BringerCML #architecture #design #privacy #reasoning
Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures (JB, HC, DLM, RL), pp. 90–107.
SEFMSEFM-2015-JonesY #abstraction #reasoning #using
Reasoning about Separation Using Abstraction and Reification (CBJ, NY), pp. 3–19.
CHICHI-2015-0001RJ #smarttech
It’s About Time: Smartwatches as Public Displays (JP, SR, MJ), pp. 1257–1266.
CHICHI-2015-AmmariKLS #how #online #what
Managing Children’s Online Identities: How Parents Decide what to Disclose about their Children Online (TA, PK, CL, SYS), pp. 1895–1904.
CHICHI-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.
CHICHI-2015-FourneyWH
Exploring Time-Dependent Concerns about Pregnancy and Childbirth from Search Logs (AF, RWW, EH), pp. 737–746.
CHICHI-2015-JohnsonNW #all about #case study #experience #game studies #video
All about that Base: Differing Player Experiences in Video Game Genres and the Unique Case of MOBA Games (DJ, LEN, PW), pp. 2265–2274.
CHICHI-2015-KoemanKR #approach #distributed #exclamation #quote #visualisation
“Everyone Is Talking about It!”: A Distributed Approach to Urban Voting Technology and Visualisations (LK, VK, YR), pp. 3127–3136.
CHICHI-2015-LiaoFM #all about
It Is All About Perspective: An Exploration of Mitigating Selective Exposure with Aspect Indicators (QVL, WTF, SSM), pp. 1439–1448.
CHICHI-2015-RaderG #algorithm #comprehension #facebook
Understanding User Beliefs About Algorithmic Curation in the Facebook News Feed (ER, RG), pp. 173–182.
CHICHI-2015-ValtchanovH #feedback #named
EnviroPulse: Providing Feedback about the Expected Affective Valence of the Environment (DV, MSH), pp. 2073–2082.
CSCWCSCW-2015-VinesWSWO #authentication #collaboration #information management
Authenticity, Relatability and Collaborative Approaches to Sharing Knowledge about Assistive Living Technology (JV, PCW, DS, MW, PO), pp. 82–94.
HCIDUXU-IXD-2015-GoncalvesQ #automation #behaviour #case study #interactive
Drivers and Automation: A Study About Cultural and Behavioral Influence in the Interaction with Driver Assistants (RCG, MQ), pp. 462–472.
HCIHCI-DE-2015-BevanCH #question #usability #what
ISO 9241-11 Revised: What Have We Learnt About Usability Since 1998? (NB, JC, SH), pp. 143–151.
HCIHCI-DE-2015-ChamunZMOS #approach #design #documentation #what
What About Document Folding? User Impressions and a Design Approach (RC, AdCAZ, IHM, JBSdO, MSS), pp. 307–319.
HCIHIMI-IKC-2015-ItaiM #development #interactive #using
Study About Creation of “Maai” Involving Intention Using Rhythm Controller — Development of Maai Creating Agent and Interaction Experiments Between Human and Agent (SI, YM), pp. 599–609.
HCISCSM-2015-BeldadK #facebook #risk management
It’s Not About the Risks, I’m just Used to Doing It: Disclosure of Personal Information on Facebook Among Adolescent Dutch Users (ADB, RK), pp. 185–195.
ICEISICEIS-v2-2015-BrancoOGPC #empirical
An Empirical Study about the Influence of Project Manager Personality in Software Project Effort (DTMCB, ECCdO, LG, RP, TC), pp. 102–113.
SIGIRSIGIR-2015-Hoenkamp #interactive #interface #quality
About the “Compromised Information Need” and Optimal Interaction as Quality Measure for Search Interfaces (ECH), pp. 835–838.
MODELSMoDELS-J-2011-JacksonLB15 #automation #metamodelling #reasoning
Automatically reasoning about metamodeling (EKJ, TL, DB), pp. 271–285.
MODELSMoDELS-J-2011-JacksonLB15 #automation #metamodelling #reasoning
Automatically reasoning about metamodeling (EKJ, TL, DB), pp. 271–285.
OOPSLAOOPSLA-2015-NtzikG #file system #reasoning
Reasoning about the POSIX file system: local update and global pathnames (GN, PG), pp. 201–220.
POPLPOPL-2015-HeGWZ #automaton #composition #concurrent #probability #reasoning
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems (FH, XG, BYW, LZ), pp. 503–514.
POPLPOPL-2015-VafeiadisBCMN #compilation #memory management #optimisation #what
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it (VV, TB, SC, RM, FZN), pp. 209–220.
REFSQREFSQ-2015-GharibG #modelling #quality #reasoning #requirements
Modeling and Reasoning About Information Quality Requirements (MG, PG), pp. 49–64.
SACSAC-2015-NonnenmacherOBV #modelling #process
Modelling consumers decision-making process about excluding products as a result of mutual influence (VN, LPLdO, BEJB, MBV), pp. 1123–1128.
ESEC-FSEESEC-FSE-2015-GuJSZL #concurrent #thread #what
What change history tells us about thread synchronization (RG, GJ, LS, LZ, SL), pp. 426–438.
ICSEICSE-v2-2015-AndersonSD #case study #industrial #predict
Striving for Failure: An Industrial Case Study about Test Failure Prediction (JA, SS, HD), pp. 49–58.
SPLCSPLC-2015-TeixeiraABG #evolution #product line #reasoning
A product line of theories for reasoning about safe evolution of product lines (LT, VA, PB, RG), pp. 161–170.
PPoPPPPoPP-2015-Gramoli #algorithm #concurrent #impact analysis
More than you ever wanted to know about synchronization: synchrobench, measuring the impact of the synchronization on concurrent algorithms (VG), pp. 1–10.
CSLCSL-2015-Williams
Thinking Algorithmically About Impossibility (Invited Talk) (RRW), pp. 14–23.
ICLPICLP-2015-LeeWZ #automation #programming #reasoning #set #using
Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming (JL, YW, YZ).
LICSLICS-2015-CrubilleL #metric #reasoning
Metric Reasoning about ?-Terms: The Affine Case (RC, UDL), pp. 633–644.
SANERCSMR-WCRE-2014-RahmanYR #exception #fault #ide #programming #recommendation #towards
Towards a context-aware IDE-based meta search engine for recommendation about programming errors and exceptions (MMR, SY, CKR), pp. 194–203.
ICPCICPC-2014-WenT #clustering #evaluation #product line
The MoJo family: a story about clustering evaluation (invited talk) (ZW, VT), p. 2.
ICSMEICSME-2014-PanichellaBPCA #developer #how
How Developers’ Collaborations Identified from Different Sources Tell Us about Code Changes (SP, GB, MDP, GC, GA), pp. 251–260.
MSRMSR-2014-PintoCL #energy #mining
Mining questions about software energy consumption (GP, FC, YDL), pp. 22–31.
MSRMSR-2014-RoblesRSVG #bibliography #challenge #dataset
FLOSS 2013: a survey dataset about free software contributors: challenges for curating, sharing, and combining (GR, LAR, AS, BV, JMGB), pp. 396–399.
STOCSTOC-2014-KumarS #all about #reduction
The limits of depth reduction for arithmetic formulas: it’s all about the top fan-in (MK, SS), pp. 136–145.
DLTDLT-2014-Berlinkov #algorithm #automaton #on the #problem
On Two Algorithmic Problems about Synchronizing Automata — (Short Paper) (MVB), pp. 61–67.
CHICHI-2014-GossenHN #case study #comparative #web
A comparative study about children’s and adults’ perception of targeted web search engines (TG, JH, AN), pp. 1821–1824.
CHICHI-2014-LieberBM #concept #programming #visualisation
Addressing misconceptions about code with always-on programming visualizations (TL, JRB, RCM), pp. 2481–2490.
CHICHI-2014-MasseyTTW #file system #question #what
PIM and personality: what do our personal file systems say about us? (CM, ST, CT, SW), pp. 3695–3704.
CSCWCSCW-2014-GaoXCF #how #multi
How beliefs about the presence of machine translation impact multilingual collaborations (GG, BX, DC, SRF), pp. 1549–1560.
HCIDUXU-DI-2014-ChoiCSLY #case study #crowdsourcing #design
A Study about Designing Reward for Gamified Crowdsourcing System (JC, HC, WS, JL, JY), pp. 678–687.
HCIDUXU-DI-2014-Hellweg #development #education #future of #game studies #what
Wanting the Unwanted — What Games Can Teach Us about the Future of Software Development (DH), pp. 711–719.
HCIDUXU-DI-2014-Schranz #artificial reality #design #hybrid #physics
Augmented Reality in Design — Thinking about Hybrid Forms of Virtual and Physical Space in Design (CS), pp. 624–635.
HCIDUXU-ELAS-2014-MontAlvao #bibliography #health #using
Health Care Professionals vs Other Professionals: Do They Have Different Perceptions about Health Care Waste and Dangerous Products Pictograms? Some Findings Using a Digital Device in Field Survey (CRM), pp. 83–90.
HCIDUXU-ELAS-2014-Waarde #question
Information about Medicines for Patients in Europe: To Impede or to Empower? (KvdW), pp. 132–140.
HCIHCI-TMT-2014-LizanoS #comprehension #developer #towards #usability
Improvement of Novice Software Developers’ Understanding about Usability: The Role of Empathy Toward Users as a Case of Emotional Contagion (FL, JS), pp. 207–218.
HCILCT-TRE-2014-LoureiroSBR #collaboration #question #what
Collaboration, Knowledge Sharing and Digital Environments: What about Argumentation and Questioning Skills? (MJ(L, FNdS, AB, AR), pp. 440–449.
HCISCSM-2014-Fu #microblog #network #social
Can Network Help Chinese Microblogs Diffuse? Analyzing 118 Networks of Reposts About Social Issues in China (KwF), pp. 331–341.
HCISCSM-2014-TurnerH #network #social #what
What Does Your Profile Picture Say About You? The Accuracy of Thin-Slice Personality Judgments from Social Networking Sites Made at Zero-Acquaintance (MT, NH), pp. 506–516.
KEODKEOD-2014-DogmusPE #natural language #ontology #query
Answering Natural Language Queries about Rehabilitation Robotics Ontology on the Cloud (ZD, VP, EE), pp. 75–83.
KRKR-2014-GutierrezHW #concurrent #reasoning
Reasoning about Equilibria in Game-Like Concurrent Systems (JG, PH, MW).
KRKR-2014-Morgenstern #concept #reasoning #representation
Representing and Reasoning about Time Travel Narratives: Foundational Concepts (LM).
ECOOPECOOP-2014-SunshineHA #documentation #empirical #programming #protocol
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming (JS, JDH, JA), pp. 157–181.
POPLPOPL-2014-Birkedal #composition #concurrent #higher-order #imperative #reasoning #source code
Modular reasoning about concurrent higher-order imperative programs (LB), pp. 1–2.
POPLPOPL-2014-ChongDK #abstraction #parallel #reasoning
A sound and complete abstraction for reasoning about parallel prefix sums (NC, AFD, JK), pp. 397–410.
POPLPOPL-2014-ItzhakyBILNS #composition #effectiveness #reasoning
Modular reasoning about heap paths via effectively propositional formulas (SI, AB, NI, OL, AN, MS), pp. 385–396.
RERE-2014-IngolfoSM #reasoning #requirements
Nòmos 3: Reasoning about regulatory compliance of requirements (SI, AS, JM), pp. 313–314.
FSEFSE-2014-TsayDH #git
Let’s talk about it: evaluating contributions through discussion in GitHub (JT, LD, JDH), pp. 144–154.
ICSTSAT-2014-BalyoFHB #set
Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask) (TB, AF, MH, AB), pp. 317–332.
SMTSMT-2014-LamC #reasoning #set
Reasoning About Set Comprehensions (ESLL, IC), pp. 27–37.
CSEETCSEET-2013-Andrews #quality
Killer App: A Eurogame about software quality (JHA), pp. 319–323.
ESOPESOP-2013-SvendsenBP #composition #concurrent #data type #reasoning
Modular Reasoning about Separation of Concurrent Data Structures (KS, LB, MJP), pp. 169–188.
CSMRCSMR-2013-AnicheOG #case study #industrial #open source #quality #testing #what
What Do the Asserts in a Unit Test Tell Us about Code Quality? A Study on Open Source and Industrial Projects (MFA, GAO, MAG), pp. 111–120.
ICSMEICSM-2013-EbertC #case study #debugging #developer #exception
A Study on Developers’ Perceptions about Exception Handling Bugs (FE, FC), pp. 448–451.
MSRMSR-2013-AsaduzzamanMRS #stack overflow
Answering questions about unanswered questions of stack overflow (MA, ASM, CKR, KAS), pp. 97–100.
MSRMSR-2013-StevensGFDC #android
Asking for (and about) permissions used by Android apps (RS, JG, VF, PTD, HC), pp. 31–40.
WCREWCRE-2013-YamashitaM #bibliography #developer #smell
Do developers care about code smells? An exploratory survey (AFY, LM), pp. 242–251.
PLDIPLDI-2013-CookK #nondeterminism #reasoning #source code
Reasoning about nondeterminism in programs (BC, EK), pp. 219–230.
ICALPICALP-v2-2013-AlmagorBK #formal method #quality #reasoning
Formalizing and Reasoning about Quality (SA, UB, OK), pp. 15–27.
CHICHI-2013-BardzellB #design #question #what
What is “critical” about critical design? (JB, SB), pp. 3297–3306.
CHICHI-2013-DoornSG #design #experience #research #user interface #using
Design research by proxy: using children as researchers to gain contextual knowledge about user experience (FvD, PJS, MG), pp. 2883–2892.
CHICHI-2013-GrahamSPBD #architecture #distributed #game studies #what
Villains, architects and micro-managers: what tabula rasa teaches us about game orchestration (TCNG, IS, MP, QB, RD), pp. 705–714.
CHICHI-2013-ObristSS #case study #experience
Talking about tactile experiences (MO, SAS, SS), pp. 1659–1668.
CSCWCSCW-2013-SchneiderSPD #ad hoc #experience #how #online
Arguments about deletion: how experience improves the acceptability of arguments in ad-hoc online task groups (JS, KS, AP, SD), pp. 1069–1080.
HCIDUXU-NTE-2013-SonntagZSWT #artificial reality #cyber-physical #information management #multimodal #towards
Towards Medical Cyber-Physical Systems: Multimodal Augmented Reality for Doctors and Knowledge Discovery about Patients (DS, SZ, CHS, MW, TT), pp. 401–410.
HCIDUXU-PMT-2013-FrancaSM #parallel
Is Reality Real? Thoughts and Conjectures about Culture, Self, Intersubjectivity and Parallel Worlds in Digital Technologies (ACPdF, MMS, LRdLM), pp. 68–73.
HCIDUXU-PMT-2013-Moallem #network
Location, Location, Location: About Home Networking Devices Location and Features (AM), pp. 107–114.
HCIDUXU-WM-2013-SasajimaNKHHNTTM #learning #ontology
CHARM Pad: Ontology-Based Tool for Learning Systematic Knowledge about Nursing (MS, SN, YK, AH, KH, AN, HT, YT, RM), pp. 560–567.
HCIHCI-AMTE-2013-GabillonLO #case study #composition #towards #user interface
Towards Ergonomic User Interface Composition: A Study about Information Density Criterion (YG, SL, KMdO), pp. 211–220.
HCIOCSC-2013-BramanVDWRT #education #network #perspective #social
Teaching about the Impacts of Social Networks: An End of Life Perspective (JB, GV, AD, YW, KR, UT), pp. 240–249.
CAiSECAiSE-2013-OrmenoP #elicitation #requirements #usability
Mapping Study about Usability Requirements Elicitation (YIO, JIP), pp. 672–687.
ICEISICEIS-J-2013-KahkonenMS #enterprise #integration #question #what
What Do We Know About ERP Integration? (TK, AM, KS), pp. 51–67.
ICEISICEIS-v3-2013-BuchdidB #human-computer #what #word
HCI in Context — What the Words Reveal about It (SBB, MCCB), pp. 134–142.
CIKMCIKM-2013-MoffatTS #effectiveness #metric #modelling #what
Users versus models: what observation tells us about effectiveness metrics (AM, PT, FS), pp. 659–668.
CIKMCIKM-2013-ValkanasG #how #web
How the live web feels about events (GV, DG), pp. 639–648.
ECIRECIR-2013-Cleger-TamayoFHT #predict #quality #recommendation
Being Confident about the Quality of the Predictions in Recommender Systems (SCT, JMFL, JFH, NT), pp. 411–422.
ECIRECIR-2013-GuoDY
Updating Users about Time Critical Events (QG, FD, EYT), pp. 483–494.
KDIRKDIR-KMIS-2013-DowGABP #information management
Knowing More about Knowledge Management at ESA (RMD, DG, RCA, DB, SP), pp. 281–289.
KEODKEOD-2013-LepperT #named
tScore: Makes Computers and Humans Talk About Time (ML, BTyW), pp. 176–183.
SIGIRSIGIR-2013-Rodriguez-VaamondeTF #documentation #image #using #web #what
What can pictures tell us about web pages?: improving document search using images (SRV, LT, AWF), pp. 849–852.
SIGIRSIGIR-2013-WestWH #predict #process #query
Here and there: goals, activities, and predictions about location from geotagged queries (RW, RWW, EH), pp. 817–820.
SIGIRSIGIR-2013-YangWH #query
Pursuing insights about healthcare utilization via geocoded search queries (SHY, RWW, EH), pp. 993–996.
OnwardOnward-2013-ValleeWZFK #modelling #problem #reasoning #security
Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems (HQdlV, JMW, WZ, KF, SK), pp. 1–16.
PPDPPPDP-2013-WangCGN #higher-order #reasoning #relational #specification
Reasoning about higher-order relational specifications (YW, KC, AG, GN), pp. 157–168.
ESEC-FSEESEC-FSE-2013-PhamW #abstraction #algebra #data type #named #reasoning
RADA: a tool for reasoning about algebraic data types with abstractions (THP, MWW), pp. 611–614.
ASPLOSASPLOS-2013-OliveiraFDHS #why
Why you should care about quantile regression (ABdO, SF, AD, MH, PFS), pp. 207–218.
SOSPSOSP-2013-DavidGT
Everything you always wanted to know about synchronization but were afraid to ask (TD, RG, VT), pp. 33–48.
CAVCAV-2013-ItzhakyBINS #data type #effectiveness #linked data #open data #reachability #reasoning
Effectively-Propositional Reasoning about Reachability in Linked Data Structures (SI, AB, NI, AN, MS), pp. 756–772.
CSLCSL-2013-ChatterjeeCT #decidability #markov #process #what
What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives (KC, MC, MT), pp. 165–180.
ICSTICST-2013-LeottaCRS #case study #industrial #locality #testing #web
Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization (ML, DC, FR, CS), pp. 487–488.
LICSLICS-2013-DemriFP #reasoning
Reasoning about Data Repetitions with Counter Systems (SD, DF, MP), pp. 33–42.
DACDAC-2012-PalemA #exclamation #what
What to do about the end of Moore’s law, probably! (KVP, LA), pp. 924–929.
DACDAC-2012-Rinard #reasoning
Obtaining and reasoning about good enough software (MCR), pp. 930–935.
SIGMODSIGMOD-2012-ZukowskiB #challenge #research
From x100 to vectorwise: opportunities, challenges and things most researchers do not think about (MZ, PAB), pp. 861–862.
ITiCSEITiCSE-2012-MehtaKP #algorithm #learning #network
Forming project groups while learning about matching and network flows in algorithms (DPM, TMK, IP), pp. 40–45.
ESOPESOP-2012-AtigBBM #decidability #memory management #modelling #question #what
What’s Decidable about Weak Memory Models? (MFA, AB, SB, MM), pp. 26–46.
ESOPESOP-2012-HawkinsAFRS #reasoning
Reasoning about Lock Placements (PH, AA, KF, MCR, MS), pp. 336–356.
ESOPESOP-2012-InoueT #multi #reasoning #source code
Reasoning about Multi-stage Programs (JI, WT), pp. 357–376.
MSRMSR-2012-TianALLL #community #microblog #question #re-engineering #what
What does software engineering community microblog about? (YT, PA, INL, DL, EPL), pp. 247–250.
ICALPICALP-v1-2012-HughesPRS #problem
A Thirty Year Old Conjecture about Promise Problems (AH, AP, NR, ALS), pp. 473–484.
SEFMSEFM-2012-DinDO #composition #reasoning
Compositional Reasoning about Shared Futures (CCD, JD, OO), pp. 94–108.
CHICHI-2012-DenefK #design #pattern matching
Talking about implications for design in pattern language (SD, DVK), pp. 2509–2518.
CHICHI-2012-PetrieP #comparison #interactive #problem #usability #what
What do users really care about?: a comparison of usability problems found by users and experts on highly interactive websites (HP, CP), pp. 2107–2116.
CSCWCSCW-2012-LeeTH #coordination #named
Micro-coordination: because we did not already learn everything we need to know about working with others in kindergarten (JSL, DGT, SH), pp. 1135–1144.
CIKMCIKM-2012-VydiswaranZRP #education #named #topic
BiasTrust: teaching biased users about controversial topics (VGVV, CZ, DR, PP), pp. 1905–1909.
ICPRICPR-2012-Gao #what
What entropy tells about man-made structures (JG), pp. 250–253.
KEODKEOD-2012-BessmertnyEN #logic
About Creating Intelligence Systems in Ternary Logic (IAB, SVE, AVN), pp. 161–165.
KRKR-2012-LawryD #framework
A Bipolar Framework for Combining Beliefs about Vague Propositions (JL, DD).
POPLPOPL-2012-FarzanK #composition #concurrent #reasoning #source code #verification
Verification of parameterized concurrent programs by modular reasoning about data and control (AF, ZK), pp. 297–308.
RERE-2012-MaglyasNS #question #what
What do practitioners mean when they talk about product management? (AM, UN, KS), pp. 261–266.
SACSAC-2012-Zaytsev #bnf #what
BNF was here: what have we done about the unnecessary diversity of notation for syntactic definitions (VZ), pp. 1910–1915.
ICSEICSE-2012-Braithwaite #how #industrial #programming #what
Software as an engineering material: How the affordances of programming have changed and what to do about it (Invited industrial talk) (KB), p. 998.
ICSEICSE-2012-CeccatoMMNT #debugging #effectiveness #empirical #random testing #testing
An empirical study about the effectiveness of debugging when random test cases are used (MC, AM, LM, CDN, PT), pp. 452–462.
ICSEICSE-2012-Duala-EkokoR #api #case study
Asking and answering questions about unfamiliar APIs: An exploratory study (EDE, MPR), pp. 266–276.
ICSEICSE-2012-Guzzi #information management
Documenting and sharing knowledge about code (AG), pp. 1535–1538.
ICSEICSE-2012-StaatsGH #automation #fault #how #mutation testing #testing
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing (MS, GG, MPEH), pp. 870–880.
OSDIOSDI-2012-Kapritsos0QCAD #all about #manycore #replication
All about Eve: Execute-Verify Replication for Multi-Core Servers (MK, YW, VQ, AC, LA, MD), pp. 237–250.
VMCAIVMCAI-2012-BouajjaniDES #abstract domain #automation #infinity #reasoning #source code
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (AB, CD, CE, MS), pp. 1–22.
WICSAWICSA-2011-HeeschA #architecture #bibliography #maturity #process #reasoning
Mature Architecting — A Survey about the Reasoning Process of Professional Architects (UvH, PA), pp. 260–269.
WICSAWICSA-2011-TekinerdoganOD #architecture #as a service #design #modelling #reasoning
Modeling and Reasoning about Design Alternatives of Software as a Service Architectures (BT, , AHD), pp. 312–319.
HTHT-2011-Bernstein #hypermedia
Can we talk about spatial hypertext (MB), pp. 103–112.
ITiCSEITiCSE-2011-Hu #what
Computational thinking: what it might mean and what we might do about it (CH), pp. 223–227.
ICPCICPC-2011-BurrowsTGF #aspect-oriented #evaluation #fault #reasoning #source code
Reasoning about Faults in Aspect-Oriented Programs: A Metrics-Based Evaluation (RB, FT, AG, FCF), pp. 131–140.
MSRMSR-2011-Whitehead #data mining #game studies #mining #what
Fantasy, farms, and freemium: what game data mining teaches us about retention, conversion, and virality (keynote abstract) (JW), p. 1.
WCREWCRE-2011-ShangJAHGNF #case study #evolution #execution #scalability
An Exploratory Study of the Evolution of Communicated Information about the Execution of Large Software Systems (WS, ZMJ, BA, AEH, MWG, MNN, PF), pp. 335–344.
CEFPCEFP-2011-Butterfield #functional #reasoning #source code
Reasoning about I/O in Functional Programs (AB), pp. 93–141.
CEFPCEFP-2011-MichaelsonG #calculus #multi #reasoning
Reasoning about Multi-process Systems with the Box Calculus (GM, GG), pp. 279–338.
AGTIVEAGTIVE-2011-Strecker #graph transformation #locality #reasoning
Locality in Reasoning about Graph Transformations (MS), pp. 169–181.
CHICHI-2011-Antin #people #wiki
My kind of people?: perceptions about wikipedia contributors and their motivations (JA), pp. 3411–3420.
CHICHI-2011-KannabiranBB #how #human-computer #research
How HCI talks about sexuality: discursive strategies, blind spots, and opportunities for future research (GK, JB, SB), pp. 695–704.
CSCWCSCW-2011-SaveryG #development #latency
It’s about time: confronting latency in the development of groupware systems (CS, TCNG), pp. 177–186.
HCIDUXU-v1-2011-BeccariO #approach #experience #user interface
A Philosophical Approach about User Experience Methodology (MNB, TLO), pp. 13–22.
HCIDUXU-v2-2011-Horvath #design #persuasion
Persuasive Design: It’s Not Just about Selling Stuff (JH), pp. 567–574.
HCIDUXU-v2-2011-Iizuka #empirical #how
An Experiment about How to Feel Temperature Change of Mouse (SI), pp. 575–581.
HCIHCI-UA-2011-HymelLBSB #concept #interactive
The Interaction of Children’s Concepts about Agents and Their Ability to Use an Agent-Based Tutoring System (AMH, DTL, JB, MMS, GB), pp. 580–589.
HCIIDGD-2011-ShenROWZZY #design
Service Design about the Recycle System of College Bicycles (TS, PR, YO, YW, BZ, YZ, LY), pp. 220–227.
HCIOCSC-2011-Alducin-QuinteroCMGJ #design #modelling #process #using
Productivity Improvement by Using Social-Annotations about Design Intent in CAD Modelling Process (GAQ, MC, JMG, DAGZ, MDJ), pp. 153–161.
VISSOFTVISSOFT-2011-NeuLHD #gnome
Telling stories about GNOME with Complicity (SN, ML, LH, MD), pp. 1–8.
ICEISICEIS-v3-2011-Ke #development
Study about the Development of the Productivity in Information Society (XK), pp. 428–431.
ICEISICEIS-v3-2011-ZhouL11a #enterprise #information management
A Discusson about Urban Rail Transit Enterprise Business Management Information System (RZ, SL), pp. 467–471.
ICEISICEIS-v4-2011-ZhangFZ #behaviour #industrial #performance
An Empericial Study about Franchise Relationship Behaviors’s Impacts on Franchisees’ Performance in Fastfood Industry (YZ, JF, YZ), pp. 695–701.
CIKMCIKM-2011-AgrawalBA #information management #network #social #what
Information diffusion in social networks: observing and affecting what society cares about (DA, CB, AEA), pp. 2609–2610.
CIKMCIKM-2011-JatowtY #scalability
Extracting collective expectations about the future from large text collections (AJ, CmAY), pp. 1259–1264.
ICMLICML-2011-BabesMLS #learning #multi
Apprenticeship Learning About Multiple Intentions (MB, VNM, KS, MLL), pp. 897–904.
KDIRKDIR-2011-HubwieserM #declarative #named #object-oriented
Knowpats: Patterns of Declarative Knowledge — Searching Frequent Knowledge Patterns about Object-orientation (PH, AM), pp. 358–364.
KEODKEOD-2011-HotzR
Thoughts about Structuralization, Specialization, Instantiation, and Metaization (LH, SvR), pp. 457–460.
KEODKEOD-2011-SerranoSFD #composition #information management #modelling #ontology
Ontological Modeling in Cloud Services — About Information Sharing to Support Service Composition (MS, LS, MÓF, WD), pp. 328–335.
SIGIRSIGIR-2011-ThomasJH #quality #what
What deliberately degrading search quality tells us about discount functions (PT, TJ, DH), pp. 1107–1108.
MODELSMoDELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.
MODELSMoDELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.
CSLCSL-2011-Kopczynski #consistency #question
Trees in Trees: Is the Incomplete Information about a Tree Consistent? (EK), pp. 367–380.
ICLPICLP-2011-Kriener #logic programming #reasoning #source code
Correct Reasoning about Logic Programs (JK), pp. 280–283.
LICSLICS-2011-BresolinMSS #decidability #logic #what
What’s Decidable about Halpern and Shoham’s Interval Logic? The Maximal Fragment ABBL (DB, AM, PS, GS), pp. 387–396.
VMCAIVMCAI-2011-JacobsK #axiom #reasoning #specification #towards
Towards Complete Reasoning about Axiomatic Specifications (SJ, VK), pp. 278–293.
DACDAC-2010-Hiskens #grid #question #smarttech #what
What’s smart about the smart grid? (IAH), pp. 937–939.
ITiCSEITiCSE-2010-BrindaH #case study #design #education #experience
A lecture about teaching informatics in secondary education: lecture design and first experiences (TB, PH), p. 320.
ITiCSEITiCSE-2010-GurselG #student #what
What do promising high school students think about studying computing (DAG, BG), p. 325.
ITiCSEITiCSE-2010-MarcosFM10a #database
Lecturing about the phenomenology of databases (LdM, FF, JJM), p. 313.
ITiCSEITiCSE-2010-RagonisH #design #paradigm #programming
Linking different programming paradigms: thoughts about instructional design (NR, BH), p. 310.
ESOPESOP-2010-MeolaW #fault tolerance #logic #reasoning #source code
Faulty Logic: Reasoning about Fault Tolerant Programs (MLM, DW), pp. 468–487.
CHICHI-2010-BaumerST
America is like Metamucil: fostering critical and creative thinking about metaphor in political blogs (EPSB, JS, BT), pp. 1437–1446.
CSCWCSCW-2010-NaamanBL #social
Is it really about me?: message content in social awareness streams (MN, JB, CHL), pp. 189–192.
CSCWCSCW-2010-StarbirdPHV #microblog #social #what
Chatter on the red: what hazards threat reveals about the social life of microblogged information (KS, LP, ALH, SV), pp. 241–250.
CAiSECAiSE-2010-ChopraDGM #modelling #reasoning
Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments (AKC, FD, PG, JM), pp. 113–128.
CIKMCIKM-2010-QianCXQ #how
How about utilizing ordinal information from the distribution of unlabeled data (MQ, BC, HX, HQ), pp. 289–298.
KMISKMIS-2010-ChakrabortyZ #approach #process #towards
A Systematic Approach Towards Collection, Processing & Distribution of Information about Competitor Activities & Customer Needs in Terms of Products & Services (SC, MZ), pp. 348–353.
KRKR-2010-AntoniouPB #reasoning
Reasoning about Context in Ambient Intelligence Environments: A Report from the Field (GA, CP, AB).
KRKR-2010-Baral #multi #reasoning
Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract) (CB).
KRKR-2010-GiacomoLP #calculus #game studies #reasoning #representation #source code
Situation Calculus Based Programs for Representing and Reasoning about Game Structures (GDG, YL, ARP).
KRKR-2010-HajishirziA #probability #reasoning
Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering (HH, EA).
KRKR-2010-Halpern10a
I Don’t Want to Think About it Now: Decision Theory with Costly Computation (JYH).
KRKR-2010-HuL #correctness #problem #reasoning
A Correctness Result for Reasoning about One-Dimensional Planning Problems (YH, HJL).
RecSysRecSys-2010-ZhaoZYZZF #recommendation #social #what
Who is talking about what: social map-based recommendation for content-centric social websites (SZ, MXZ, QY, XZ, WZ, RF), pp. 143–150.
SEKESEKE-2010-ImM #architecture #reasoning
Reasoning about Attribute Architectures (TI, JDM), pp. 165–171.
ECOOPECOOP-2010-Hanenberg #developer #empirical #programming #static typing #type system
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects — An Empirical Study (SH), pp. 300–303.
ECOOPECOOP-2010-Owens #abstraction #concurrent #implementation #reasoning
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO (SO), pp. 478–503.
OOPSLAOOPSLA-2010-Hanenberg #development #empirical #static typing #type system
An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time (SH), pp. 22–35.
OOPSLAOOPSLA-2010-StadenC #abstraction #multi #reasoning
Reasoning about multiple related abstractions with MultiStar (SvS, CC), pp. 504–519.
TOOLSTOOLS-EUROPE-2010-NordioCMMT #reasoning
Reasoning about Function Objects (MN, CC, BM, PM, JT), pp. 79–96.
RERE-2010-RachevaDSHW #agile #case study #requirements
Do We Know Enough about Requirements Prioritization in Agile Projects: Insights from a Case Study (ZR, MD, KS, AH, RW), pp. 147–156.
ICSEICSE-2010-MusilSWB #education #game studies #prototype #what
Synthesized essence: what game jams teach about prototyping of new software products (JM, AS, DW, SB), pp. 183–186.
CCCC-2010-CraikK #object-oriented #parallel #source code #using
Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs (AC, WK), pp. 145–164.
CSLCSL-2010-OHearn #abduction #deduction #induction #reasoning
Abductive, Inductive and Deductive Reasoning about Resources (PWO), pp. 49–50.
VLDBVLDB-2009-FanJLM #reasoning
Reasoning about Record Matching Rules (WF, XJ, JL, SM), pp. 407–418.
ITiCSEITiCSE-2009-CukiermanT #learning #student
The academic enhancement program: encouraging students to learn about learning as part of their computing science courses (DC, DMT), pp. 171–175.
ITiCSEITiCSE-2009-FesakisS #education #programming
Influence of the familiarization with “scratch” on future teachers’ opinions and attitudes about programming and ICT in education (GF, KS), pp. 258–262.
ITiCSEITiCSE-2009-MegiasTBS #distance #education #standard
Free technology academy: a European initiative for distance education about free software and open standards (DM, WT, LB, FS), pp. 70–74.
ITiCSEITiCSE-2009-Perrenet #difference #student
Differences in beliefs and attitudes about computer science among students and faculty of the bachelor program (JP), pp. 129–133.
FoSSaCSFoSSaCS-2009-Alur #reasoning
Temporal Reasoning about Program Executions (RA), p. 15.
FMFM-2009-Gast #memory management #reasoning
Reasoning about Memory Layouts (HG), pp. 628–643.
FMFM-2009-HasanAATA #random #reasoning
Formal Reasoning about Expectation Properties for Continuous Random Variables (OH, NA, BA, ST, RA), pp. 435–450.
CEFPCEFP-2009-Hinze #reasoning
Reasoning about Codata (RH), pp. 42–93.
HCIHCI-NIMT-2009-IizukaY #case study
Experimental Study about Effect of Thermal Information Presentation to Mouse (SI, SY), pp. 444–450.
HCIHCI-NT-2009-SuzukiMSANYF #estimation #on the #performance #using
On the Possibility about Performance Estimation Just before Beginning a Voluntary Motion Using Movement Related Cortical Potential (SS, TM, YS, KA, NN, TY, SF), pp. 184–191.
HCIHIMI-DIE-2009-BrangierDE #analysis #integration #library
The 7 Basic Functions of a Digital Library — Analysis of Focus Groups about the Usefulness of a Thematic Digital Library on the History of European Integration (EB, JD, LE), pp. 345–354.
ICEISICEIS-ISAS-2009-KinderenGA #modelling #multi #reasoning #using
Reasoning about Customer Needs in Multi-supplier ICT Service Bundles using Decision Models (SdK, JG, HA), pp. 131–136.
CIKMCIKM-2009-KementsietsidisW #evaluation #query #question #what
Provenance query evaluation: what’s so special about it? (AK, MW), pp. 681–690.
CIKMCIKM-2009-Paranjpe #documentation #feedback #learning
Learning document aboutness from implicit user feedback and document structure (DP), pp. 365–374.
QAPLQAPL-2009-MontaltoC #modelling #reasoning
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities (BM, CC), pp. 143–165.
POPLPOPL-2009-BrotherstonC #logic #reasoning
Classical BI: a logic for reasoning about dualising resources (JB, CC), pp. 328–339.
SACSAC-2009-LeinoM #first-order #reasoning #smt
Reasoning about comprehensions with first-order SMT solvers (KRML, RM), pp. 615–622.
ESEC-FSEESEC-FSE-2009-Schafer #concept #navigation
IQ routes and HD traffic: technology insights about tomtom’s time-dynamic navigation concept (RPS), pp. 171–172.
ICSEICSE-2009-ThumBK #feature model #modelling #reasoning
Reasoning about edits to feature models (TT, DSB, CK), pp. 254–264.
SPLCSPLC-2009-MontagudA #evaluation #product line #quality
Gathering current knowledge about quality evaluation in software product lines (SM, SA), pp. 91–100.
RTARTA-2009-Simonsen #term rewriting
The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) (JGS), pp. 335–349.
TLCATLCA-2009-Zhang #logic #reasoning
The Computational SLR: A Logic for Reasoning about Computational Indistinguishability (YZ), pp. 401–415.
HTHT-2008-PourabdollahAB #approach #hypermedia #rdf #xml
Are we talking about the same structure?: a unified approach to hypertext links, xml, rdf and zigzag (AP, HA, TJB), pp. 241–242.
PODSPODS-2008-GardnerSWZ #hoare #reasoning
Local Hoare reasoning about DOM (PG, GS, MJW, UZ), pp. 261–270.
CSEETCSEET-2008-Epstein #agile #how #process #student
Getting Students to Think About How Agile Processes can be Made More Secure (RGE), pp. 51–58.
ITiCSEITiCSE-2008-ChinnV #gender #student #what
What students say about gender in hiring software professionals (DC, TV), p. 344.
FASEFASE-2008-MossakowskiSG #logic #reasoning
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects (TM, LS, SG), pp. 199–214.
FoSSaCSFoSSaCS-2008-HabermehlIV #array #decidability #integer #question #what
What Else Is Decidable about Integer Arrays? (PH, RI, TV), pp. 474–489.
TACASTACAS-2008-Kovacs #algebra #reasoning
Reasoning Algebraically About P-Solvable Loops (LK), pp. 249–264.
PLDIPLDI-2008-HalbwachsP #array #source code
Discovering properties about arrays in simple programs (NH, MP), pp. 339–348.
SASSAS-2008-PerryW #control flow #fault #reasoning
Reasoning about Control Flow in the Presence of Transient Faults (FP, DW), pp. 332–346.
FLOPSFLOPS-2008-PrinceGM #proving #using
Proving Properties about Lists Using Containers (RP, NG, CM), pp. 97–112.
LATALATA-2008-AlhazovCMR #hybrid #network
About Universal Hybrid Networks of Evolutionary Processors of Small Size (AA, ECV, CMV, YR), pp. 28–39.
CHICHI-2008-PetrelliWB #named #physics #question #what
AutoTypography: what can physical mementos tell us about digital memories? (DP, SW, JB), pp. 53–62.
CSCWCSCW-2008-DuganGMDBM #all about #online
It’s all “about you”: diversity in online profiles (CD, WG, MJM, JMD, BB, DRM), pp. 703–706.
CAiSECAiSE-2008-KinderenG #reasoning
Reasoning about Substitute Choices and Preference Ordering in e-Services (SdK, JG), pp. 390–404.
ICEISICEIS-SAIC-2008-BaguesBBGI #communication #protocol #semantics
Use of Semantic Technology to Describe and Reason about Communication Protocols (MIB, IB, JB, AG, AI), pp. 67–72.
KRKR-2008-AlechinaDLM #reasoning
Reasoning about Agent Deliberation (NA, MD, BL, JJCM), pp. 16–26.
KRKR-2008-CasaliGS #framework #logic
A Logical Framework to Represent and Reason about Graded Preferences and Intentions (AC, LG, CS), pp. 27–37.
SEKESEKE-2008-TubiioLR #bibliography #elicitation #perspective
Obtaining Well-Founded Practices about Elicitation Techniques by Means of an Update of a Previous Systematic Review (ÓDT, ML, FR), pp. 769–772.
ECMFAECMDA-FA-2008-GoknilKB #approach #metamodelling #reasoning #requirements
A Metamodeling Approach for Reasoning about Requirements (AG, IK, KvdB), pp. 310–325.
ECMFAECMDA-FA-2008-RechS #bibliography #fault #modelling #visual notation
A Survey about the Intent to Use Visual Defect Annotations for Software Models (JR, AS), pp. 406–418.
ECOOPECOOP-2008-BanerjeeNR #invariant #logic #reasoning
Regional Logic for Local Reasoning about Global Invariants (AB, DAN, SR), pp. 387–411.
POPLPOPL-2008-Voigtlander #parallel
Much ado about two (pearl): a pearl on parallel prefix computation (JV), pp. 29–35.
ICSEICSE-2008-Dumslaff #industrial
Change management: from knowledge about innovative SE to capabilities for industrial SE projects (UD), pp. 805–806.
ICSEICSE-2008-KoM #behaviour #debugging #why
Debugging reinvented: asking and answering why and why not questions about program behavior (AJK, BAM), pp. 301–310.
PPoPPPPoPP-2008-SandersK #memory management #modelling #reasoning
Assertional reasoning about data races in relaxed memory models (BAS, KK), pp. 267–268.
CAVCAV-2008-MagillTLT #named #reasoning
THOR: A Tool for Reasoning about Shape and Arithmetic (SM, MHT, PL, YKT), pp. 428–432.
ICLPICLP-2008-Pirrotta #reasoning #web
Extracting and Reasoning about Web Data (GP), pp. 813–814.
ASEASE-2007-Selic #automation #what
The embarrassing truth about software automation and what should be done about it (BS), p. 3.
PODSPODS-2007-CautisAM #constraints #reasoning #xml
Reasoning about XML update constraints (BC, SA, TM), pp. 195–204.
PODSPODS-2007-KasneciS #complexity #reasoning #xml
The complexity of reasoning about pattern-based XML schemas (GK, TS), pp. 155–164.
VLDBVLDB-2007-RomanK #behaviour #concurrent #logic #reasoning #semantics #transaction #web #web service
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic (DR, MK), pp. 627–638.
FASEFASE-2007-DarvasL #implementation #reasoning
Practical Reasoning About Invocations and Implementations of Pure Methods (ÁD, KRML), pp. 336–351.
TACASTACAS-2007-BouajjaniJS #framework #infinity #network #process #reasoning
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes (AB, YJ, MS), pp. 690–705.
DLTDLT-2007-Kunc #equation #question #what
What Do We Know About Language Equations? (MK), pp. 23–27.
IFMIFM-2007-MeinickeS #development #process #realtime #reasoning #reliability
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems (LM, GS), pp. 439–458.
SEFMSEFM-2007-CastroM #fault tolerance #logic #reasoning
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers (PFC, TSEM), pp. 151–160.
SEFMSEFM-2007-JacobsMP #exception #reasoning
Sound reasoning about unchecked exceptions (BJ, PM, FP), pp. 113–122.
ICFPICFP-2007-FilinskiS #data type #induction #reasoning
Inductive reasoning about effectful data types (AF, KS), pp. 97–110.
LISPILC-2007-Sperber #all about #lessons learnt #process
It’s all about being right: lessons from the R6RS process (MS), p. 7.
CHICHI-2007-BoshernitsanGH #development #tool support
Aligning development tools with the way programmers think about code changes (MB, SLG, MAH), pp. 567–576.
CHICHI-2007-HancockTE #online
The truth about lying in online dating profiles (JTH, CLT, NBE), pp. 449–452.
HCIHCI-AS-2007-CarusiM #education #interactive #learning #process
An Essay About the Relevance of Educational Interactive Systems in the Learning Process (AC, CRM), pp. 183–189.
HCIHCI-IDU-2007-DomingoHM #comprehension #game studies #process
A Game to Promote Understanding About UCD Methods and Process (MGD, MAH, EM), pp. 446–452.
HCIHCI-MIE-2007-KoLKJL #case study #evaluation #personalisation #recommendation #user satisfaction
A Study on User Satisfaction Evaluation About the Recommendation Techniques of a Personalized EPG System on Digital TV (SMK, YJL, MHK, YGJ, SWL), pp. 909–917.
HCIHIMI-IIE-2007-BaeckerFBCC #chat #interactive #learning #persistent
Webcasting Made Interactive: Persistent Chat for Text Dialogue During and About Learning Events (RB, DF, LB, CC, DC), pp. 260–268.
HCIHIMI-IIE-2007-HashimotoN #community #memory management #using
Fond Memory Management System by Using Information About Communities (KH, YN), pp. 23–29.
HCIHIMI-MTT-2007-KarshEAHSMPSAKSB #case study #predict #quality
Do Beliefs About Hospital Technologies Predict Nurses’ Perceptions of Their Ability to Provide Quality Care? A Study in Two Pediatric Hospitals (BTK, KE, SA, RJH, MS, KM, NP, TS, JA, RK, KS, RLB), pp. 77–83.
AdaSIGAda-2007-Lau #imperative #reasoning #source code #using
Using SPARK for a beginner’s course on reasoning about imperative programs (KKL), pp. 75–78.
ICEISICEIS-EIS-2007-LeutgebUWF #adaptation #process #semantics
Adaptive Processes in E-Government — A Field Report about Semantic-Based Approaches from the EU-Project “FIT” (AL, WU, RW, HGF), pp. 264–269.
CIKMCIKM-2007-SchockaertC #reasoning
Reasoning about vague topological information (SS, MDC), pp. 593–602.
SEKESEKE-2007-HappelS #architecture #information management #named #semantics #wiki
Ontobrowse: A Semantic Wiki for Sharing Knowledge about Software Architectures (HJH, SS), p. 506–?.
SEKESEKE-2007-OliveiraAB #information management #maintenance
Telling Stories about System Use: Capturing Collective Tacit Knowledge for System Maintenance (ACdO, RMdA, MRSB), pp. 337–342.
SEKESEKE-2007-RushtonT #reasoning #source code
A Language Facilitating Informal Reasoning about Programs (JNR, DT), p. 396–?.
ECMFAECMDA-FA-2007-MaraeeB #diagrams #finite #performance #reasoning #satisfiability #set #uml
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets (AM, MB), pp. 17–31.
ECOOPECOOP-2007-BalzerGE #reasoning #relational
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships (SB, TRG, PE), pp. 323–346.
ECOOPECOOP-2007-CliftonLN #aspect-oriented #effectiveness #named #reasoning
MAO: Ownership and Effects for More Effective Reasoning About Aspects (CC, GTL, JN), pp. 451–475.
PPDPPPDP-2007-Berdine #reasoning
Local reasoning about storable locks (JB), p. 153.
REFSQREFSQ-2007-HerrmannKD
Exploring the Characteristics of NFR Methods — A Dialogue About Two Approaches (AH, DK, JD), pp. 320–334.
SPLCSPLC-2007-JanotaK #feature model #higher-order #logic #modelling #reasoning
Reasoning about Feature Models in Higher-Order Logic (MJ, JRK), pp. 13–22.
CSLCSL-2007-Goller #complexity #on the #policy #reasoning
On the Complexity of Reasoning About Dynamic Policies (SG), pp. 358–373.
CBSECBSE-2006-Lumpe #abstraction #component #framework #modelling #named #reasoning
GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions (ML), pp. 17–32.
QoSAQoSA-2006-KruchtenLV #architecture #reasoning
Building Up and Reasoning About Architectural Knowledge (PK, PL, HvV), pp. 43–58.
ITiCSEITiCSE-2006-Joyce06a
Raising awareness about academic integrity (DJ), p. 350.
ESOPESOP-2006-JiaW #automation #named #pointer #reasoning #source code
ILC: A Foundation for Automated Reasoning About Pointer Programs (LJ, DW), pp. 131–145.
FASEFASE-2006-MiliSLME
Concerned About Separation (HM, HAS, HL, HM, AE), pp. 247–261.
ICSMEICSM-2006-Notkin #re-engineering #research
Unconventional Views on Conventional Wisdom about Software Engineering Research (DN), p. 201.
STOCSTOC-2006-Shapira #all about #combinator #graph
A combinatorial characterization of the testable graph properties: it’s all about regularity (NA, EF, IN, AS), pp. 251–260.
FLOPSFLOPS-2006-BartheFPR #coq #proving #reasoning #recursion
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (GB, JF, DP, VR), pp. 114–129.
FMFM-2006-BacheriniFTZ #formal method
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer (SB, AF, MT, NZ), pp. 179–189.
FMFM-2006-Mostowski #java #logic #reasoning
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic (WM), pp. 444–459.
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.
CHICHI-2006-SiekCR #how #learning #people
Pride and prejudice: learning how chronically ill people think about food (KAS, KHC, YR), pp. 947–950.
ICEISICEIS-ISAS-2006-CruzLW #contract #specification #visual notation
Visual Contracts — A Way to Reason about States and Cardinalities in IT System Specifications (JDDlC, LSL, AW), pp. 298–303.
KRKR-2006-HalpernR #reasoning
Reasoning about Knowledge of Unawareness (JYH, LCR), pp. 6–13.
GPCEGPCE-2006-Prehofer #composition #multi #reasoning #semantics
Semantic reasoning about feature composition via multiple aspect-weavings (CP), pp. 237–242.
POPLPOPL-2006-KoutavasW #bisimulation #higher-order #imperative #reasoning #source code
Small bisimulations for reasoning about higher-order imperative programs (VK, MW), pp. 141–152.
SACSAC-2006-SauvagnatHB #question #retrieval #using #what #xml
XML retrieval: what about using contextual relevance? (KS, LH, MB), pp. 1114–1115.
SACSAC-2006-SherchanLK #fuzzy #reasoning #web #web service
A fuzzy model for reasoning about reputation in web services (WS, SWL, SK), pp. 1886–1892.
ICSEICSE-2006-Ko #debugging
Debugging by asking questions about program output (AJK), pp. 989–992.
CSLCSL-2006-ChadhaMS #probability #reasoning #source code
Reasoning About States of Probabilistic Sequential Programs (RC, PM, AS), pp. 240–255.
ICLPICLP-2006-Tu #performance #reasoning
Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning (PHT), pp. 469–470.
IJCARIJCAR-2006-DoughertyFK #policy #reasoning #specification
Specifying and Reasoning About Dynamic Access-Control Policies (DJD, KF, SK), pp. 632–646.
LICSLICS-2006-Leivant #logic #proving #reasoning #source code
Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic (DL), pp. 157–168.
VMCAIVMCAI-2006-BradleyMS #array #decidability #question #what
What’s Decidable About Arrays? (ARB, ZM, HBS), pp. 427–442.
WICSAWICSA-2005-Koschke #architecture #reverse engineering #what
What Architects Should Know About Reverse Engineering and Rengineering (RK), pp. 4–10.
ASEASE-2005-ShankarASX #realtime #reasoning #semantics
Reasoning about real-time statecharts in the presence of semantic variations (SS, SA, VS, XX), pp. 243–252.
HTHT-2005-HsiehS #communication #process
Activity links: supporting communication and reflection about action (HwH, FMSI), pp. 161–170.
ITiCSEITiCSE-2005-ArmenM #education #risk management
Teaching about the risks of electronic voting technology (CA, RM), pp. 227–231.
ITiCSEITiCSE-2005-DavisW #convergence #education #learning #multi
A research-led curriculum in multimedia: learning about convergence (HCD, SW), pp. 29–33.
IWPCIWPC-2005-HouWH #framework #question #what
What Can Programmer Questions Tell Us About Frameworks? (DH, KW, HJH), pp. 87–96.
ICALPICALP-2005-ReusS #higher-order #hoare #logic
About Hoare Logics for Higher-Order Store (BR, TS), pp. 1337–1348.
ECIRECIR-2005-CliftonT #framework #named #using
Knowing-Aboutness: Question-Answering Using a Logic-Based Framework (TC, WJT), pp. 230–244.
KDDKDD-2005-ZakiR #mining #reasoning #set #using
Reasoning about sets using redescription mining (MJZ, NR), pp. 364–373.
SEKESEKE-2005-Zhu #behaviour #multi #reasoning
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems (HZ), pp. 280–285.
ECOOPECOOP-2005-Aldrich #composition #reasoning
Open Modules: Modular Reasoning About Advice (JA), pp. 144–168.
GPCEGPCE-2005-WuL #programming #reasoning #source code #using
Shadow Programming: Reasoning About Programs Using Lexical Join Point Information (PW, KJL), pp. 141–156.
ESEC-FSEESEC-FSE-2005-LandtsheerL #reasoning #requirements
Reasoning about confidentiality at requirements engineering time (RDL, AvL), pp. 41–49.
ICSEICSE-2005-MaurerM #agile #what
What you always wanted to know about agile methods but did not dare to ask (FM, GM), pp. 731–732.
AMOSTAMOST-2005-ClermontP #testing #using
Using information about functions in selecting test cases (MC, DLP).
CAVCAV-2005-KahlonIG #communication #reasoning #thread
Reasoning About Threads Communicating via Locks (VK, FI, AG), pp. 505–518.
DRRDRR-2004-LalanneMI #documentation #multi
Talking about documents: revealing a missing link to multimedia meeting archives (DL, DM, RI), pp. 82–91.
ITiCSEITiCSE-2004-Cliff #education #generative #question
Teaching about natural systems, the next generation of computers, and the generation after that? (DC), p. 1.
FASEFASE-2004-HubbersP #java #reasoning #transaction
Reasoning about Card Tears and Transactions in Java Card (EH, EP), pp. 114–128.
FoSSaCSFoSSaCS-2004-PucellaW #policy #reasoning
Reasoning about Dynamic Policies (RP, VW), pp. 453–467.
STOCSTOC-2004-Ajtai #polynomial
A conjecture about polynomial time computable lattice-lattice functions (MA), pp. 486–493.
IFLIFL-2004-DowseBE #concurrent #functional #reasoning
Reasoning About Deterministic Concurrent Functional I/O (MD, AB, MCJDvE), pp. 177–194.
CHICHI-2004-KoM #behaviour #debugging #design #interface
Designing the whyline: a debugging interface for asking questions about program behavior (AJK, BAM), pp. 151–158.
ICEISICEIS-v3-2004-Nobre04a #what
Computer Ethics: What are we Talking About? Possible Contributions from Philosophy of Action, Critical Realism and Modern Hermeneutics (ÂLN), pp. 683–687.
KRKR-2004-Eschenbach #concept #how
How to Interweave Knowledge about Object Structure and Concepts (CE), pp. 300–310.
KRKR-2004-SuLZ #reasoning
Reasoning about Knowledge by Variable Forgetting (KS, GL, YZ), pp. 576–586.
KRKR-2004-TranB #interactive #prolog #reasoning
Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells (NT, CB), pp. 554–564.
TOOLSTOOLS-USA-2003-Madsen04 #contract #design #equivalence
Enhancing Design by Contract with Knowledge about Equivalence Partitions (PM), pp. 5–21.
PADLPADL-2004-ElkhatibPS #named #prolog #reasoning #set #source code
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog (OEK, EP, TCS), pp. 148–162.
POPLPOPL-2004-BirkedalTR #garbage collection #reasoning
Local reasoning about a copying garbage collector (LB, NTS, JCR), pp. 220–231.
RERE-2004-KaiyaOK #case study #diagrams #identification
Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems (HK, AO, KK), pp. 112–121.
FSEFSE-2004-LetierL #design #reasoning #requirements
Reasoning about partial goal satisfaction for requirements and design engineering (EL, AvL), pp. 53–62.
LICSLICS-2004-NaumannB #imperative #invariant #reasoning #towards
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.
CSEETCSEET-2003-BaileyCHW #question #student
Can We Influence Students? Attitudes About Inspections? Can We Measure a Change in Attitude? (DB, TC, BH, LLW), pp. 260–267.
FoSSaCSFoSSaCS-2003-PowerT #abstraction #reasoning
Abstraction in Reasoning about Higraph-Based Systems (JP, KT), pp. 392–408.
DLTDLT-2003-HarjuN
About Duval’s Conjecture (TH, DN), pp. 316–324.
FMFME-2003-DongSW #alloy #reasoning #semantics #web
Checking and Reasoning about Semantic Web through Alloy (JSD, JS, HHW), pp. 796–813.
CHICHI-2003-FriedmanKH #hardware #online #what
Hardware companions?: what online AIBO discussion forums reveal about the human-robotic relationship (BF, PHKJ, JH), pp. 273–280.
CHICHI-2003-JackoSSBEEKMZ #feedback #multimodal #performance #question #visual notation #what
Older adults and visual impairment: what do exposure times and accuracy tell us about performance gains associated with multimodal feedback? (JAJ, IUS, FS, LB, PJE, VKE, TK, KPM, BSZ), pp. 33–40.
SEKESEKE-2003-Cebulla #adaptation #architecture #reasoning #using #variability
Reasoning about Variability and structural Adaptation in Sociotechnical Systems Using Dynamic Architectures (MC), pp. 406–413.
LOPSTRLOPSTR-2003-Ruiz-ReinaJHM #case study #data type #performance #reasoning
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2 (JLRR, JAAJ, MJH, FJMM), pp. 75–91.
ICSEICSE-2003-Berner #case study #development #experience
About the Development of a Point of Sale System: an Experience Report (SB), pp. 528–533.
CADECADE-2003-Belinfante #reasoning
Reasoning about Iteration in Gödel’s Class Theory (JGFB), pp. 228–242.
CADECADE-2003-Cohn #reasoning
Reasoning about Qualitative Representations of Space and Time (AGC), p. 334.
CADECADE-2003-Nelson #quantifier #reasoning
Reasoning about Quantifiers by Matching in the E-graph (GN), p. 166.
CADECADE-2003-WaltherS
About VeriFun (CW, SS), pp. 322–327.
LICSLICS-2003-AhmedJW #reasoning
Reasoning about Hierarchical Storage (AJA, LJ, DW), pp. 33–44.
LICSLICS-2003-LaurentR #linear #logic
About Translations of Classical Logic into Polarized Linear Logic (OL, LR), pp. 11–20.
LICSLICS-2003-McCarthy #logic
Advice about logical AI (JM), p. 244–?.
VMCAIVMCAI-2003-MeenakshiR #message passing #reasoning
Reasoning about Layered Message Passing Systems (BM, RR), pp. 268–282.
DATEDATE-2002-Essi #all about #implementation
IP is All About Implementation and Customer Satisfaction (VPEJ), p. 132.
DLTDLT-2002-DiekertK #equation #polynomial
A Remark about Quadratic Trace Equations (VD, MK), pp. 59–66.
AdaEuropeAdaEurope-2002-RybinS #ada #pretty-printing
About the Difficulties of Building a Pretty-Printer for Ada (SR, AS), pp. 257–268.
KRKR-2002-Bittner
Judgements about spatio-temporal relations (TB), pp. 521–532.
KRKR-2002-CalvaneseGV #ltl #reasoning
Reasoning about Actions and Planning in LTL Action Theories (DC, GDG, MYV), pp. 593–602.
KRKR-2002-Saint-CyrL #how #predict
Belief Extrapolation (or how to Reason About Observations and Unpredicted Change) (FDdSC, JL), pp. 497–508.
SIGIRSIGIR-2002-DziadoszC #question #web
Do thumbnail previews help users make better relevance decisions about web search results? (SD, RC), pp. 365–366.
RERE-2002-Kovitz #ambiguity #what
Ambiguity and What to Do about It (BK), p. 213.
SACSAC-2002-BoscDP #database #query
About possibilistic queries against possibilistic databases (PB, LD, OP), pp. 807–811.
ICSEICSE-2002-GehrkeGNNTWZ #industrial #re-engineering
Reporting about industrial strength software engineering courses for undergraduates (MG, HG, UN, JN, MT, JPW, AZ), pp. 395–405.
ICSEICSE-2002-PonsB #correctness #development #process #reasoning
Reasoning about the correctness of software development process (CP, GB), p. 708.
HPDCHPDC-2002-Plale #data type #memory management #runtime
Leveraging Run Time Knowledge about Event Rates to Improve Memory Utilization in Wide Area Data Stream Filtering (BP), pp. 171–178.
ICLPICLP-2002-Thielscher #constraints #finite #reasoning
Reasoning about Actions with CHRs and Finite Domain Constraints (MT), pp. 70–84.
ASEASE-2001-MenziesK #process #re-engineering #reasoning
Better Reasoning About Software Engineering Activities (TM, JDK), pp. 391–394.
HTHT-2001-PageCR #metadata
Its about time: link streams as continuous metadata (KRP, DC, DDR), pp. 93–102.
CSEETCSEET-2001-GrothR #all about #education #process #re-engineering
It’s All about Process: Project Oriented Teaching of Software Engineering (DPG, ELR), pp. 7–17.
IWPCIWPC-2001-TilleyD #case study #comprehension
Spreading Knowledge about Gnutella: A Case Study in Understanding Net-Centric Applications (SRT, MD), pp. 189–198.
STOCSTOC-2001-KarlinKR
Dynamic TCP acknowledgement and other stories about e/(e-1) (ARK, CK, DR), pp. 502–509.
ICALPICALP-2001-Madhusudan #behaviour #branch #graph #reasoning #sequence
Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs (PM), pp. 809–820.
FMFME-2001-VenkatasubramanianTA #adaptation #formal method #middleware #reasoning
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware (NV, CLT, GA), pp. 197–221.
ICEISICEIS-v1-2001-MarirY #architecture #database #design #named #object-oriented #process
IODBCON: An Integrated Object-Oriented Database System for Integrating Information about Architecture Design and Construction Processes (FM, YJY), pp. 36–43.
LSOLSO-2001-LindvallFCT #experience #lessons learnt
Lessons Learned about Structuring and Describing Experience for Three Experience Bases (ML, MF, PC, RT), pp. 106–119.
CSLCSL-2001-OHearnRY #data type #reasoning #source code
Local Reasoning about Programs that Alter Data Structures (PWO, JCR, HY), pp. 1–19.
VLDBVLDB-2000-Bar-YossefBCFW #approximate #query #random #web
Approximating Aggregate Queries about Web Pages via Random Walks (ZBY, ACB, SC, JF, DW), pp. 535–544.
CSEETCSEET-2000-ThomasI #re-engineering
Questions about Developing a Postgraduate Software Engineering Program (LT, GI), p. 193.
ITiCSEITiCSE-2000-Carter #student #what
What the students said about plagiarsim (JC), p. 186.
FASEFASE-2000-LuthW #development #tool support
More About TAS and IsaWin — Tools for Formal Program Development (CL, BW), pp. 367–370.
FoSSaCSFoSSaCS-2000-EngelhardtMM #framework #reasoning #refinement
A Program Refinement Framework Supporting Reasoning about Knowledge and Time (KE, RvdM, YM), pp. 114–129.
ICALPICALP-2000-GhicaM #algol #reasoning #regular expression #using
Reasoning about Idealized ALGOL Using Regular Languages (DRG, GM), pp. 103–115.
ICALPICALP-2000-MeenakshiR #finite #message passing #reasoning
Reasoning about Message Passing in Finite State Environments (BM, RR), pp. 487–498.
AdaEuropeAdaEurope-2000-SoundarajanF #exception #object-oriented #reasoning #using
Exceptions in OO Languages: Using Them and Reasoning about Them (NS, SF), pp. 238–251.
CAiSECAiSE-2000-RupprechtFKR #experience #process
Capture and Dissemination of Experience about the Construction of Engineering Processes (CR, MF, HK, TR), pp. 294–308.
ICEISICEIS-2000-LousaM #workflow
Thoughts about the Organisational Contect When Adopting a Workflow System (ML, AM), pp. 527–528.
ICPRICPR-v1-2000-GurdjosP #image #metric
About Conditions for Recovering the Metric Structures of Perpendicular Planes from the Single Ground Plane to Image Homography (PG, RP), pp. 1358–1361.
KRKR-2000-BalbianiO #reasoning
A Model for Reasoning about Topologic Relations between cyclic intervals (PB, AO), pp. 378–385.
KRKR-2000-MorrisM #complexity #on the #reasoning
On the complexity of reasoning about repeating events (RAM, PHM), pp. 580–588.
GPCESAIG-2000-Pfenning #reasoning #staged
Reasoning about Staged Computation (FP), pp. 5–6.
CAVCAV-2000-AnnichiniAB #parametricity #reasoning
Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems (AA, EA, AB), pp. 419–434.
CAVCAV-2000-KupfermanV #approach #infinity #reasoning
An Automata-Theoretic Approach to Reasoning about Infinite-State Systems (OK, MYV), pp. 36–52.
ICLPCL-2000-BaralTTK #complexity
Computational Complexity of Planning Based on Partial Information about the System’s Present and Past States (CB, LCT, RT, VK), pp. 882–896.
ICLPCL-2000-KhizderTW #logic #reasoning
Reasoning about Duplicate Elimination with Description Logic (VLK, DT, GEW), pp. 1017–1032.
DATEDATE-1999-BreuerMBFLK #reasoning #semantics #using
Reasoning about VHDL and VHDL-AMS using Denotational Semantics (PTB, NMM, JPB, RBF, MMLP, CDK), pp. 346–352.
PODSPODS-1999-HaraD #dependence #functional #reasoning
Reasoning about Nested Functional Dependencies (CSH, SBD), pp. 91–100.
ITiCSEITiCSE-1999-FinkelC #named #web
Webware: a course about the Web (DF, IFC), pp. 107–110.
FoSSaCSFoSSaCS-1999-Sangiorgi #concurrent #reasoning #using
Reasoning About Concurrent Systems Using Types (DS), pp. 31–40.
ICALPICALP-1999-Hartmanis
Observations about the Nature and State of Computer Science (Keynote Address) (JH), p. 105.
FMFM-v2-1999-BackMW #interactive #reasoning
Reasoning About Interactive Systems (RJB, AM, JvW), pp. 1460–1476.
HCIHCI-CCAD-1999-MinnemanH #distributed #sketching
The DrawStream station: a tool for distributed and asynchronous chats about sketches and artifacts (SLM, SRH), pp. 221–225.
HCIHCI-EI-1999-Boy #safety
About the Role of Intelligent Assistants in the Control of Safety-Critical Systems (GAB), pp. 321–325.
ICEISICEIS-1999-JarvisSMMC #adaptation #what #workflow
What Right Do You Have To Do That?-Infusing Adaptive Workflow Technology with Knowledfe about the Organisational and Autority Context of a Task (PJ, JS, AM, JPM, PWHC), pp. 240–247.
SEKESEKE-1999-Giaever #information management
Collecting, Storing and Utilizing Information about Improvement Opportunities: A Discussion of the Non-Technological Barriers to Success (HMG), pp. 205–209.
SIGIRSIGIR-1999-BruzaSW
Fundamental Properties of Aboutness (poster abstract) (PB, DS, KFW), pp. 277–278.
TOOLSTOOLS-ASIA-1999-FanXZ #behaviour #inheritance #reasoning
Reasoning about Inheritance and Cloning Behaviors of Software Agents (XF, DX, GZ), pp. 77–82.
TOOLSTOOLS-EUROPE-1999-Roubine #repository
Two or Three Things I Have Learnt about Repositories (OR), p. 7.
HPCAHPCA-1999-CondonHPS #memory management #modelling #using
Using Lamport Clocks to Reason about Relaxed Memory Models (AC, MDH, MP, DJS), pp. 270–278.
HPDCHPDC-1999-VogelsRB #concept #distributed #reliability
Six Misconceptions about Reliable Distributed Computing (WV, RvR, KPB), pp. 213–215.
LICSLICS-1999-HalpernS #infinity #reasoning
Reasoning about Common Knowledge with Infinitely Many Agents (JYH, RAS), pp. 384–393.
RTARTA-1999-LimetR #decidability
A New Result about the Decidability of the Existential One-Step Rewriting Theory (SL, PR), pp. 118–132.
SIGMODSIGMOD-1998-Aulakh
About Quark Digital Media System (KA), pp. 531–532.
ITiCSEITiCSE-1998-MeadHBRBS #education #re-engineering
Everything you ever wanted to know about software engineering education, but were afraid to ask (panel) (NRM, TBH, DJB, MR, OB, FLVS), pp. 260–263.
ESOPESOP-1998-HenselHJT #logic #modelling #object-oriented #tool support
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools (UH, MH, BJ, HT), pp. 105–121.
ESOPESOP-1998-MaraninchiR #named
Mode-Automata: About Modes and States for Reactive Systems (FM, YR), pp. 185–199.
ICALPICALP-1998-Vardi #automaton #reasoning
Reasoning about The Past with Two-Way Automata (MYV), pp. 628–641.
ICGTTAGT-1998-Kuske
More About Control Conditions for Transformation Units (SK), pp. 323–337.
ICMLICML-1998-SuttonPS #learning
Intra-Option Learning about Temporally Abstract Actions (RSS, DP, SPS), pp. 556–564.
KRKR-1998-BalbianiCC #reasoning
A Model for Reasoning about Bidemsional Temporal Relations (PB, JFC, LFdC), pp. 124–130.
KRKR-1998-Jaeger #infinity #network #random #reasoning #relational
Reasoning About Infinite Random Structures with Relational Bayesian Networks (MJ), pp. 570–581.
KRKR-1998-Liberatore #on the #reasoning
On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc (PL), pp. 144–155.
OOPSLAOOPSLA-1998-CockburnF #case study #exclamation
Question time! about Use Cases (AC, MF), pp. 226–229.
OOPSLAOOPSLA-1998-JacobsBHB #java #reasoning
Reasoning about Java Classes (Preliminary Report) (BJ, JvdB, MH, MvB), pp. 329–340.
TOOLSTOOLS-USA-1998-SoundarajanF #behaviour #polymorphism #reasoning
Reasoning About Polymorphic Behavior (NS, SF), p. 346–?.
TOOLSTOOLS-USA-1998-Wuyts #declarative #object-oriented #reasoning
Declarative Reasoning about the Structure of Object-Oriented Systems (RW), pp. 112–124.
FSEFSE-1998-GarlanJN #reasoning
Reasoning about Implicit Invocation (DG, SJ, DN), pp. 209–221.
CCCC-1998-BrouwerGP #analysis #automaton #finite #implementation #performance
Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis (KB, WG, EP), pp. 1–15.
CADECADE-1998-BoudetC #confluence #equation #term rewriting
About the Confluence of Equational Pattern Rewrite Systems (AB, EC), pp. 88–102.
CADECADE-1998-Pfenning #deduction #linear #logic #reasoning
Reasoning About Deductions in Linear Logic (Abstract of Invited Talk) (FP), pp. 1–2.
LICSLICS-1998-JohannsenP #on the #proving
On Proofs about Threshold Circuits and Counting Hierarchies (JJ, CP), pp. 444–452.
RTARTA-1998-Comon #consistency #proving
About Proofs by Consistency (Abstract) (HC), pp. 136–137.
HTHT-1997-Neves
The Aleph: A Tool to Spatially Represent User Knowledge About the WWW Docuverse (FDN), pp. 197–207.
ITiCSEITiCSE-1997-Moser #game studies #learning #what #why
A fantasy adventure game as a learning environment: why learning to program is so difficult and what can be done about it (RM), pp. 114–116.
TACASTACAS-1997-Boulton #reasoning
A Tool to Support Formal Reasoning about Computer Languages (RJB), pp. 81–95.
HCIHCI-CC-1997-Dabija #behaviour #communication
Communicating about Reactive Behaviors (VGD), pp. 31–34.
HCIHCI-SEC-1997-BlanchonF #what
Asking Users About What They Mean: Two Experiments & Results (HB, LF), pp. 609–612.
HCIHCI-SEC-1997-ConinxRF #human-computer #modelling
HCI Issues About Immersive Modeling (KC, FVR, EF), pp. 953–956.
LOPSTRLOPSTR-1997-MomiglianoO #logic programming #reasoning #source code #towards
Towards a Logic for Reasoning About Logic Programs Transformation (AM, MO), pp. 226–244.
RERE-1997-ZowghiO #evolution #framework #logic #modelling #reasoning #requirements
A Logical Framework for Modeling and Reasoning About the Evolution of Requirements (DZ, RO), p. 247–?.
ICSEICSE-1997-Ackerman #collaboration
Everything you Need To Know About Collaboration and Collaboration Software (MSA), p. 592.
ICSEICSE-1997-SullivanSM #architecture #formal method #standard #using
Using Formal Methods to Reason about Architectural Standards (KJS, JS, MM), pp. 503–513.
ICLPILPS-1997-BaralS #approximate #reasoning
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information (CB, TCS), pp. 387–401.
TLCATLCA-1997-Stark #equation
Names, Equations, Relations: Practical Ways to Reason about new (IS), pp. 336–353.
ASEKBSE-1996-Smith
The Truth about KIDS (Keynote) (DS), p. 11.
ICPRICPR-1996-WestlingD #generative #interactive #performance #reasoning #recognition
Object recognition by fast hypothesis generation and reasoning about object interactions (MFW, LSD), pp. 148–153.
KRKR-1996-BorgidaM #query
Asking Queries about Frames (AB, DLM), pp. 340–349.
KRKR-1996-MillerS #calculus #reasoning
Reasoning about Discontinuities in the Event Calculus (RM, MS), pp. 63–74.
ICSEICSE-1996-RomanMP #interactive #mobile #reasoning
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing (GCR, PJM, JYP), pp. 155–164.
LICSLICS-1996-HirstH #complexity #recursion
More About Recursive Structures: Descriptive Complexity and Zero-One Laws (TH, DH), pp. 334–347.
LICSLICS-1996-Pitts #logic #reasoning
Reasoning about Local Variables with Operationally-Based Logical Relations (AMP), pp. 152–163.
VLDBVLDB-1995-AmmannJR #formal method #semantics #transaction #using
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions (PA, SJ, IR), pp. 218–227.
STOCSTOC-1995-DiaconisS #algorithm #question #what
What do we know about the Metropolis algorithm? (PD, LSC), pp. 112–129.
STOCSTOC-1995-HenzingerKPV #automaton #decidability #hybrid #question #what
What’s decidable about hybrid automata? (TAH, PWK, AP, PV), pp. 373–382.
POPLPOPL-1995-EmersonN #reasoning
Reasoning about Rings (EAE, KSN), pp. 85–94.
PODSPODS-1994-GrahneNU #database #reasoning #string
Reasoning about Strings in Databases (GG, MN, EU), pp. 303–312.
VLDBVLDB-1994-SistlaYH #reasoning #retrieval
Reasoning About Spatial Relationships in Picture Retrieval Systems (APS, CTY, RH), pp. 570–581.
SASSAS-1994-Halbwachs #abstract interpretation #programming
About Synchronous Programming and Abstract Interpretation (NH), pp. 179–192.
ICALPICALP-1994-FixS #reasoning #source code
Reasoning about Programs by Exploiting the Environment (LF, FBS), pp. 328–339.
LISPLFP-1994-DavisPS
Talking About Modules and Delivery (HD, PP, NS), pp. 113–120.
CHICHI-1994-HarrisonMBN94a #communication #design #interface
Communicating About Communicating: Cross-Disciplinary Design of a Media Space Interface (BH, MMM, GB, TN), pp. 124–130.
KRKR-1994-BarndenHIS #implementation #nondeterminism #reasoning
An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States (JAB, SH, EI, GCS), pp. 27–38.
KRKR-1994-KuipersS #logic #reasoning
Reasoning in Logic about Continuous Systems (BK, BS), pp. 391–402.
SIGIRSIGIR-1994-BruzaH #axiom #using
Investigating Aboutness Axioms using Information Fields (PB, TWCH), pp. 112–121.
PPDPALP-1994-Kesner #reasoning
Reasoning about Layered, Wildcard and Product Patterns (DK), pp. 253–268.
ICSEICSE-1994-BrodmanJ #case study #experience #what
What Small Business and Small Organizations Say About the CMM: Experience Report (JGB, DLJ), pp. 331–340.
CAVCAV-1994-Schubert #hardware #hybrid #reasoning
A Hybrid Model for Reasoning about Composed Hardware Systems (ETS), pp. 260–272.
ICDARICDAR-1993-KiseYBF #documentation #incremental #layout
Incremental acquisition of knowledge about layout structures from examples of documents (KK, NY, NB, KF), pp. 668–671.
SIGMODSIGMOD-1993-Egenhofer #database #navigation #requirements #what
What’s Special about Spatial? Database Requirements for Vehicle Navigation in Geographic Space (Extended Abstract) (MJE), pp. 398–402.
FMFME-1993-Jones #design #reasoning
Reasoning about Interference in an Object-Based Design Method (CBJ), pp. 1–18.
ICLPILPS-1993-LifschitzMT #approach #automation #logic programming #reasoning
Automated Reasoning About Actions: A Logic Programming Approach (VL, NM, HT), p. 641.
PODSPODS-1992-Meyden #complexity #order #query
The Complexity of Querying Indefinite Data about Linearly Ordered Domains (RvdM), pp. 331–345.
LISPLFP-1992-SabryF #continuation #reasoning #source code
Reasoning About Programs in Continuation-Passing Style (AS, MF), pp. 288–298.
CSCWCSCW-1992-BerlinJ #collaboration #learning #problem
Consultants and Apprentices: Observations about Learning and Collaborative Problem Solving (LMB, RJ), pp. 130–137.
CAiSECAiSE-1992-CostalO #concept #deduction #information management #modelling #reasoning
A Method for Reasoning About Deductive Conceptual Models of Information Systems (DC, AO), pp. 612–631.
KRKR-1992-CordierS #reasoning
A Temporal Revision Model for Reasoning about World Change (MOC, PS), pp. 732–739.
KRKR-1992-GoldszmidtP #approach #reasoning
Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions (MG, JP), pp. 661–672.
KRKR-1992-Lakemeyer
All You Ever Wanted to Know about Tweety (But Were Afraid to Ask) (GL), pp. 639–648.
KRKR-1992-McCartyM #reasoning
Reasoning About Indefinite Actions (LTM, RvdM), pp. 59–70.
KRKR-1992-NejdlB #query #semantics
Asking About Possibilities — Revision and Update Semantics for Subjunctive Queries (WN, MB), pp. 697–708.
CAVCAV-1992-WrightL #algorithm #concurrent #proving #reasoning #theorem proving #using
Using a Theorem Prover for Reasoning about Concurrent Algorithms (JvW, TL), pp. 56–68.
CSEETSEI-1991-BudgenR #education #process #re-engineering
Teaching about Process Issues in Software Engineering (DB, CR), pp. 167–180.
CSEETSEI-1991-RiedlWFKM #re-engineering #what
What We Have Learned About Software Engineering Expertise (TRR, JSW, JTF, GAK, JDM), pp. 261–270.
PLDIPLDI-1991-KishonHC #execution #framework #implementation #monitoring #reasoning #semantics #specification
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors (AK, PH, CC), pp. 338–352.
FMVDME-1991-1-BicarreguiR #reasoning #using
Reasoning about VDM Developments using the VDM Support Tool in MURAL (JB, BR), pp. 371–388.
FMVDME-1991-1-Elvang-Goransson #reasoning #specification
Reasoning about VDM Specifications (MEG), pp. 343–355.
FMVDME-1991-1-Stolen #concurrent
An Attempt to Reason about Shared-State Concurrency in the Style of VDM (KS), pp. 324–342.
FPCAFPCA-1991-LeungM #lazy evaluation #reasoning
Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages (AL, PM), pp. 328–351.
KRKR-1991-AttardiS
Reflections about Reflection (GA, MS), pp. 22–31.
KRKR-1991-Ginsberg #reasoning
Computational Considerations in Reasoning about Action (MLG), pp. 250–261.
ICMLML-1991-Herrmann #learning
Learning Analytical Knowledge About VLSI-Design from Observation (JH), pp. 610–614.
SIGIRSIGIR-1991-CelentanoFP #documentation #query
Querying Office Systems About Document Roles (AC, MGF, SP), pp. 183–190.
PODSPODS-1990-HaritsaCL #constraints #on the #realtime
On Being Optimistic about Real-Time Constraints (JRH, MJC, ML), pp. 331–343.
SIGMODSIGMOD-1990-ChrysanthisR #behaviour #framework #named #reasoning #specification #transaction
ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior (PKC, KR), pp. 194–203.
CHICHI-1990-Winograd #education #human-computer #interactive #what
What can we teach about human-computer interaction? (plenary address) (TW), pp. 443–448.
OOPSLAOOPSLA-ECOOP-1990-LeavensW #object-oriented #reasoning #source code #type system
Reasoning about Object-Oriented Programs that Use Subtypes (GTL, WEW), pp. 212–223.
PPDPPLILP-1990-MasonT #reasoning #source code
Reasoning About Programs with Effects (IAM, CLT), pp. 189–203.
ICLPCLP-1990-Harel90 #how #question #source code
How Hard Is It to Reason about Propositional Programs? (DH), pp. 772–773.
LICSLICS-1990-HarelRV #bound #concurrent #on the #power of #reasoning #source code
On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) (DH, RR, MYV), pp. 478–488.
SIGMODSIGMOD-1989-KiferL #higher-order #inheritance #named #reasoning
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme (MK, GL), pp. 134–146.
PLDIPLDI-1989-JouvelotG #continuation #reasoning
Reasoning about Continuations with Control Effects (PJ, DKG), pp. 218–226.
ICALPICALP-1989-Colson #algorithm #recursion
About Primitive Recursive Algorithms (LC), pp. 194–206.
KRKR-1989-Poole #reasoning #what
What the Lottery Paradox Tells Us About Default Reasoning (DP), pp. 333–340.
SIGIRSIGIR-1989-Belew #adaptation #documentation #information retrieval #representation #using
Adaptive Information Retrieval: Using a Connectionist Representation to Retrieve and Learn About Documents (RKB), pp. 11–20.
ICLPNACLP-1989-BugliesiR #partial evaluation #prolog
Partial Evaluation in Prolog: Some Improvements about Cut (MB, FR), pp. 645–660.
ISSTATAV-1989-RazoukG #logic #realtime #reasoning #source code
Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs (RRR, MMG), pp. 10–19.
SIGMODSIGMOD-1988-JarkeR #evolution #information management
Managing Knowledge about Information System Evolution (MJ, TR), pp. 303–311.
STOCSTOC-1988-HalpernV #reasoning
Reasoning about Knowledge and Time in Asynchronous Systems (JYH, MYV), pp. 53–65.
ICMLML-1988-Hirsh #learning #reasoning
Reasoning about Operationality for Explanation-Based Learning (HH), pp. 214–220.
POPLPOPL-1988-GarlandG #data type #induction #reasoning
Inductive Methods for Reasoning about Abstract Data Types (SJG, JVG), pp. 219–228.
CADECADE-1988-Basin #automation #reasoning
An Environment For Automated Reasoning About Partial Functions (DAB), pp. 101–110.
CADECADE-1988-Kafl #linear #reasoning
Reasoning about Systems of Linear Inequalities (TK), pp. 563–572.
ICLPJICSCP-1988-ElkanM88 #automation #induction #logic programming #reasoning #source code
Automated Inductive Reasoning about Logic Programs (CE, DAM), pp. 876–892.
LICSLICS-1988-FaginHM #logic #reasoning
A Logic for Reasoning about Probabilities (RF, JYH, NM), pp. 410–421.
HCIHCI-CE-1987-Salvendy #development #human-computer #interactive #research #what
What We Know and What We Should Know About Human-Computer Interaction: Strategies for Research and Development (GS), pp. 13–19.
RTARTA-1987-Otto #confluence #congruence
Some Results about Confluence on a Given Congruence Class (FO), pp. 145–155.
DACDAC-1986-AdolphRS #design #representation
A frame based system for representing knowledge about VLSI design: a proposal (WSA, HKR, AS), pp. 671–676.
DACDAC-1986-BapatV #logic #reasoning #using
Reasoning about digital systems using temporal logic (SB, GV), pp. 215–219.
STOCSTOC-1986-CourcoubetisVW #concurrent #reasoning #source code
Reasoning about Fair Concurrent Programs (CC, MYV, PW), pp. 283–294.
STOCSTOC-1986-HalpernV #complexity #reasoning
The Complexity of Reasoning about Knowledge and Time: Extended Abstract (JYH, MYV), pp. 304–315.
ICALPICALP-1986-Wagner
More Complicated Questions About Maxima and Minima, and Some Closures of NP (KWW), pp. 434–443.
POPLPOPL-1986-LengauerH #concurrent #network #sorting #theorem
A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks (CL, CHH), pp. 307–317.
CADECADE-1986-Eisinger #graph #what
What You Always Wanted to Know About Clause Graph Resolution (NE), pp. 316–336.
CADECADE-1986-Kafl #linear #reasoning #verification
Program Verifier “Tatzelwurm”: Reasoning about Systems of Linear Inequalities (TK), pp. 300–305.
ICLPICLP-1986-RawlingsTNFS86 #prolog #using
Using Prolog to Represent and Reason about Protein Structure (CJR, WRT, JN, JF, MJES), pp. 536–543.
VLDBVLDB-1985-SheardS #automation #complexity #database #reasoning
Coping with Complexity in Automated Reasoning about Database Systems (TS, DWS), pp. 426–435.
ICALPICALP-1985-BeauquierN #set #word
About Rational Sets of Factors of a Bi-Infinite Word (DB, MN), pp. 33–42.
POPLPOPL-1985-Leivant #imperative #logic #reasoning #source code
Logical and Mathematical Reasoning about Imperative Programs (DL), pp. 132–140.
STOCSTOC-1984-Gerth #composition #how #logic
Transition Logic: How to Reason About Temporal Properties in a Compositional Way (RG), pp. 39–50.
ICALPICALP-1984-Ferment #matrix #product line
Principality Results About Some Matrix Languages Families (DF), pp. 151–161.
ICALPICALP-1984-Girault-Beauquier #automaton #behaviour #finite #infinity
Some Results About Finite and Infinite Behaviours of a Pushdown Automaton (DB), pp. 187–195.
SIGIRSIGIR-1984-Defude #architecture #design #knowledge base #problem
Knowledge Based Systems Versus Thesaurus: An Architecture Problem About Expert Systems Design (BD), pp. 267–280.
SIGIRSIGIR-1984-Zarri #information retrieval
Some Remarks About the Inference Techniques of RESEDA, an “Intelligent” Information Retrieval System (GPZ), pp. 281–300.
STOCSTOC-1983-HalpernR #logic
A Logic to Reason about Likelihood (JYH, MOR), pp. 310–319.
POPLPOPL-1983-Lamport #reasoning
Reasoning About Nonatomic Operations (LL), pp. 28–37.
VLDBVLDB-1980-Gotlieb #database #scalability
Some Large Questions about Very Large Data Bases (CCG), pp. 3–7.
ICALPICALP-1979-Istrail #fixpoint #monad #recursion #semantics #source code #theorem
A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs (SI), pp. 289–303.
ICALPICALP-1978-Mignotte #effectiveness #linear #recursion #sequence
Some Effective Results About Linear Recursive Sequences (MM), pp. 322–329.
POPLPOPL-1978-Oppen #data type #reasoning #recursion
Reasoning about Recursively Defined Data Structures (DCO), pp. 151–157.
STOCSTOC-1977-HarelPS #axiom #deduction #proving #recursion #source code
A Complete Axiomatic System for Proving Deductions about Recursive Programs (DH, AP, JS), pp. 249–260.
ICALPICALP-1977-Monien
About the Derivation Languages of Grammars and Machines (BM), pp. 337–351.
ICALPICALP-1976-Kroger #logic #reasoning #source code
Logical Rules of Natural Reasoning about Programs (FK), pp. 87–98.
STOCSTOC-1975-OppenC #data type #proving #source code
Proving Assertions about Programs that Manipulate Data Structures (DCO, SAC), pp. 107–116.
SIGIRSIGIR-1973-Mitchell #proximity
A Note About the Proximity Operators in Information Retieval (PCM), pp. 177–179.
POPLPOPL-1973-WaldingerL #reasoning #source code
Reasoning About Programs (RJW, KNL), pp. 169–182.

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.