146 papers:
- HT-2015-JainKJ #network #online #social
- Other Times, Other Values: Leveraging Attribute History to Link User Profiles across Online Social Networks (PJ, PK, AJ), pp. 247–255.
- CHI-2015-KwakBH #behaviour #contest #game studies #online
- Exploring Cyberbullying and Other Toxic Behavior in Team Competition Online Games (HK, JB, SH), pp. 3739–3748.
- CSCW-2015-GuhaW #network #social
- Do Birds of a Feather Watch Each Other?: Homophily and Social Surveillance in Location Based Social Networks (SG, SBW), pp. 1010–1020.
- CSCW-2015-SiangliulueAGD #collaboration #scalability #towards
- Toward Collaborative Ideation at Scale: Leveraging Ideas from Others to Generate More Creative and Diverse Ideas (PS, KCA, KZG, SPD), pp. 937–945.
- DUXU-DD-2015-RossBOAA #case study #experience #feedback
- A Feasibility Study of the Effect of Phone-Based Feedback of Other Commuters’ Subjective Experiences on Driver Intentions to Change (TR, AB, LO, BA, VAS), pp. 548–558.
- ESEC-FSE-2015-KargenS #slicing #source code #using
- Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing (UK, NS), pp. 782–792.
- STOC-2014-GhaffariHS #adaptation #fault #interactive
- Optimal error rates for interactive coding I: adaptivity and other settings (MG, BH, MS), pp. 794–803.
- ICALP-v1-2014-AmbainisBGMSZ #complexity #metric
- Tighter Relations between Sensitivity and Other Complexity Measures (AA, MB, YG, JM, XS, SZ), pp. 101–113.
- ICALP-v1-2014-DattaHK #complexity #problem #reachability
- Dynamic Complexity of Directed Reachability and Other Problems (SD, WH, RK), pp. 356–367.
- ICALP-v1-2014-IaconoO #why
- Why Some Heaps Support Constant-Amortized-Time Decrease-Key Operations, and Others Do Not (JI, ÖÖ), pp. 637–649.
- CSCW-2014-JacoviGKPA #enterprise #social #social media
- The perception of others: inferring reputation from social media in the enterprise (MJ, IG, SKD, SP, NAR), pp. 756–766.
- CSCW-2014-LittSBHSR #facebook #self
- Awkward encounters of an “other” kind: collective self-presentation and face threat on facebook (EL, ELS, JPB, JTH, MES, LR), pp. 449–460.
- CSCW-2014-MatthiesenBP #development #how #quote
- “Figure out how to code with the hands of others”: recognizing cultural blind spots in global software development (SM, PB, LMP), pp. 1107–1119.
- DUXU-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.
- HCI-AS-2014-MateiRR #quantifier
- Refreshing Quantification and other Ploys to Give Up the Habit — A Repertoire of Relations, Identities, and Rhetorical Devices in Smoking Cessation Applications (SM, CR, RR), pp. 265–276.
- SCSM-2014-BenteDRA #behaviour #physics
- Emotional Contagion with Artificial Others. Effects of Culture, Physical Appearance, and Nonverbal Behavior on the Perception of Positive/Negative Affect in Avatars (GB, TD, DR, AAI), pp. 411–420.
- CIKM-2014-QuattroneNKT #what
- Tell Me What You Want and I Will Tell Others Where You Have Been (AQ, EN, LK, ET), pp. 1783–1786.
- ECIR-2014-BauerCRG #corpus #formal method #learning #web
- Learning a Theory of Marriage (and Other Relations) from a Web Corpus (SB, SC, LR, TG), pp. 591–597.
- ICML-c2-2014-YangLR14a #matrix
- Elementary Estimators for Sparse Covariance Matrices and other Structured Moments (EY, ACL, PDR), pp. 397–405.
- KMIS-2014-SaoutalMC #communication
- Should I Be Aware of the Information of Other Actors — Transversal Communication in Crisis Management (AS, NM, JPC), pp. 212–219.
- FSE-2014-Villavicencio #maintenance
- Software maintenance like maintenance in other engineering disciplines (GV), pp. 853–856.
- ICTSS-2014-DwarakanathJ #test coverage
- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria (AD, AJ), pp. 63–79.
- CASE-2013-WongdhammaLB #monitoring #multi #smarttech
- Wireless wearable multi-sensory system for monitoring of sleep apnea and other cardiorespiratory disorders (WW, TQL, STSB), pp. 605–610.
- DATE-2013-KleefMLMTBSM #interface #multi
- Cyborg insects, neural interfaces and other things: building interfaces between the synthetic and the multicellular (JVK, TM, PL, RM, RT, TB, HS, MMM), p. 1546.
- SIGMOD-2013-SametSA #database #game studies
- Indexing methods for moving object databases: games and other applications (HS, JS, MA), pp. 169–180.
- ITiCSE-2013-Liew #student
- Benefits of having students develop software for other departments (CWL), p. 348.
- CIAA-J-2012-Crespi-ReghizziP13 #strict #testing
- Strict Local Testability with Consensus Equals Regularity, and Other Properties (SCR, PSP), pp. 747–764.
- GT-VMT-2013-KupperKB #category theory
- Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories (SK, BK, HJSB).
- SIGIR-2013-Soboroff #evaluation #interactive #student #tutorial
- Building test collections: an interactive tutorial for students and others without their own evaluation conference series (IS), p. 1132.
- ECOOP-2013-TasharofiDJ #concurrent #developer #modelling #question #scala #why
- Why Do Scala Developers Mix the Actor Model with other Concurrency Models? (ST, PD, REJ), pp. 302–326.
- RE-2013-MahauxC #interactive
- Creative collisions: Meet and create: And other “RE interactive” suggestions (MM, DC), pp. 371–372.
- DAC-2012-SharifiSKI #capacity
- Courteous cache sharing: being nice to others in capacity management (AS, SS, MTK, MJI), pp. 678–687.
- CSEET-2012-AroraG #collaboration #learning #programming #source code
- Learning to Write Programs with Others: Collaborative Quadruple Programming (RA, SG), pp. 32–41.
- ITiCSE-2012-Blum
- Alan turing and the other theory of computation (LB), p. 2.
- CSCW-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.
- LICS-2012-HaddadSS #complexity #petri net #recursion
- The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets (SH, SS, PS), pp. 355–364.
- ECSA-2011-CapillaZZAK #architecture #design #lifecycle #metamodelling #re-engineering
- An Enhanced Architectural Knowledge Metamodel Linking Architectural Design Decisions to other Artifacts in the Software Engineering Lifecycle (RC, OZ, UZ, PA, JMK), pp. 303–318.
- CSCW-2011-GuoZNM #debugging #exclamation
- “Not my bug!” and other reasons for software bug report reassignments (PJG, TZ, NN, BM), pp. 395–404.
- KDD-2011-KorenLMS #automation #email
- Automatically tagging email by leveraging other users’ folders (YK, EL, YM, RS), pp. 913–921.
- SIGIR-2011-Martinez-Alvarez #classification #information retrieval #integration #modelling
- Descriptive modelling of text classification and its integration with other IR tasks (MMA), pp. 1317–1318.
- RE-2011-FranchMTC #framework #modelling #on the
- On the joint use of i* with other modelling frameworks: A vision paper (XF, AM, JT, CC), pp. 133–142.
- RE-2011-GotelM #requirements #traceability
- Out of the labyrinth: Leveraging other disciplines for requirements traceability (OG, SJM), pp. 121–130.
- ASE-2010-KocaguneliGMYK #estimation
- When to use data from other projects for effort estimation (EK, GG, TM, YY, JWK), pp. 321–324.
- DocEng-2010-SojkaH #documentation #library #optimisation #using
- Document engineering for a digital library: PDF recompression using JBIG2 and other optimizations of PDF documents (PS, RH), pp. 3–12.
- SIGMOD-2010-DasguptaJJZD #database #estimation #web
- Unbiased estimation of size and other aggregates over hidden web databases (AD, XJ, BJ, NZ, GD), pp. 855–866.
- ICALP-v1-2010-GuruswamiKOPTW
- SDP Gaps for 2-to-1 and Other Label-Cover Variants (VG, SK, RO, PP, MT, YW), pp. 617–628.
- CHI-2010-HartmannMBK #error message #fault #what
- What would other programmers do: suggesting solutions to error messages (BH, DM, JB, SRK), pp. 1019–1028.
- ICEIS-HCI-2010-PereiraBS #question #social #why
- A Framework-informed Discussion on Social Software — Why Some Social Software Fail and Others do Not? (RP, MCCB, SRPdS), pp. 149–154.
- SIGIR-2010-Roussinov #aspect-oriented #verification
- Aspect presence verification conditional on other aspects (DR), pp. 865–866.
- RE-2010-SinhaPTN #analysis #automation #case study #natural language
- Extending Automated Analysis of Natural Language Use Cases to Other Languages (AS, AMP, HT, TN), pp. 364–369.
- SAC-2010-DAngeloVZ #privacy #web
- Content cloaking: preserving privacy with Google Docs and other web applications (GD, FV, SZ), pp. 826–830.
- TAP-2010-Nagappan #re-engineering
- Myths in Software Engineering: From the Other Side (NN), pp. 3–5.
- ITiCSE-2009-CasselWP #distributed #named
- CPATH: distributed expertise — collaborating with other disciplines (LNC, TW, SP), p. 382.
- CHI-2009-OdomPSB #comprehension #design #interactive #why
- Understanding why we preserve some things and discard others in the context of interaction design (WO, JP, ES, EB), pp. 1053–1062.
- HCD-2009-HashizumeKY #communication #difference
- Regional Difference in the Use of Cell Phone and Other Communication Media among Senior Users (AH, MK, TY), pp. 426–435.
- HCI-NT-2009-HercegfiPTI #evaluation #monitoring #usability
- Usability Evaluation by Monitoring Physiological and Other Data Simultaneously with a Time-Resolution of Only a Few Seconds (KH, MP, ST, LI), pp. 59–68.
- HIMI-II-2009-ReichlH #education #learning
- Promoting a Central Learning Management System by Encouraging Its Use for Other Purposes Than Teaching (FR, AH), pp. 689–698.
- SIGAda-2009-TardieuP #ada #programming language
- Complementing Ada with other programming languages (ST, AP), pp. 105–114.
- MoDELS-2009-Booch #architecture #mining
- Architectural Mining: The Other Side of the MDD (GB), p. 627.
- MoDELS-2009-Booch #architecture #mining
- Architectural Mining: The Other Side of the MDD (GB), p. 627.
- OOPSLA-2009-Mullen #design #people
- Writing code for other people: cognitive psychology and the fundamentals of good software design principles (TM), pp. 481–492.
- WICSA-2008-EmeryH #architecture #framework #topic
- Updating IEEE 1471: Architecture Frameworks and Other Topics (DEE, RH), pp. 303–306.
- CSEET-2008-Tiemann #named
- Exonovation — Leveraging the Innovation of Others (MT), p. 17.
- STOC-2008-AttiyaHW #bound #problem
- Tight rmr lower bounds for mutual exclusion and other problems (HA, DH, PW), pp. 217–226.
- CHI-2008-DearmanP #exclamation #multi
- It’s on my other computer!: computing with multiple devices (DD, JSP), pp. 767–776.
- ICLP-2008-MarekR #on the
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (VWM, JBR), pp. 223–237.
- CASE-2007-KeirHCC #approach #artificial reality
- A New Approach to Accelerometer-based Head Tracking for Augmented Reality & Other Applications (MSK, CEH, JGC, XC), pp. 603–608.
- ITiCSE-2007-Dickinson07b #navigation
- Is the shortcut the quickest way to go?: translating instructions for keyboard navigation and other stories (AD), p. 358.
- ICPC-2007-Kiczales #aspect-oriented #design
- Making the Code Look Like the Design — Aspects and Other Recent Work (GK), p. 14.
- KDD-2007-PerlichRLZ #estimation #modelling
- High-quantile modeling for customer wallet estimation and other applications (CP, SR, RDL, BZ), pp. 977–985.
- ECOOP-2007-HuangZS #image #named
- Morphing: Safely Shaping a Class in the Image of Others (SSH, DZ, YS), pp. 399–424.
- HT-2006-MillardR #hypermedia #question #web
- Web 2.0: hypertext by any other name? (DEM, MR), pp. 27–30.
- HT-2006-QiC #analysis #development #named #segmentation
- CUTS: CUrvature-based development pattern analysis and segmentation for blogs and other Text Streams (YQ, KSC), pp. 1–10.
- MSR-2006-WeissgerberD #question #refactoring
- Are refactorings less error-prone than other changes? (PW, SD), pp. 112–118.
- CIKM-2006-Robertson #on the
- On GMAP: and other transformations (SR), pp. 78–83.
- ICPR-v2-2006-SomolP #algorithm #feature model #keyword #multi #prototype #using
- Multi-Subset Selection for Keyword Extraction and Other Prototype Search Tasks Using Feature Selection Algorithms (PS, PP), pp. 736–739.
- IJCAR-2006-BaumgartnerS #bottom-up #generative
- Blocking and Other Enhancements for Bottom-Up Model Generation Methods (PB, RAS), pp. 125–139.
- SIGMOD-2004-LernerSWZZ #algorithm #biology #music #performance #physics
- Fast Algorithms for Time Series with applications to Finance, Physics, Music, Biology, and other Suspects (AL, DS, ZW, XZ, YZ), pp. 965–968.
- STOC-2004-Wigderson #question #why
- Depth through breadth, or why should we attend talks in other areas? (AW), p. 579.
- ICALP-2004-SahinalpU #problem #similarity #string
- Hardness of String Similarity Search and Other Indexing Problems (SCS, AU), pp. 1080–1098.
- KR-2004-Lang
- A Preference-Based Interpretation of Other Agents’ Actions (JL), pp. 644–653.
- KR-2004-MartinNT #calculus
- Knowledge of Other Agents and Communicative Actions in the Fluent Calculus (YM, IN, MT), pp. 623–633.
- DATE-2003-ZhangM #implementation #independence #satisfiability #using #validation
- Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications (LZ, SM), pp. 10880–10885.
- ICDAR-2003-KennardB #image
- Just-In-Time Browsing for Digitized Microfilm and Other Similar Image Collections (DJK, WAB), p. 233–?.
- CSEET-2003-Poole #development
- The Softer Side of Custom Software Development: Working with the Other Players (WGPJ), pp. 14–21.
- STOC-2003-ItohTT #independence #on the #permutation #strict
- On the sample size of k-restricted min-wise independent permutations and other k-wise distributions (TI, YT, JT), pp. 710–719.
- CIAA-2003-PrestonK #automaton #named #visualisation
- AVA: An Applet for Visualizing FRACTRAN and Other Automata (NP, MSK), pp. 297–298.
- ICEIS-v2-2003-CaleroDSSSM
- Helping User to Discover Association Rules: A Case in Soil Color as Aggregation of Other Soil Properties (JC, GD, MSM, DS, JMS, MAVM), pp. 533–540.
- HPCA-2003-Kronstadt #challenge #design #performance
- Beyond Performance: Some (Other) Challenges for Systems Design (EK), p. 125.
- ICLP-2003-BackofenW #approach #constraints #modelling #predict
- A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods (RB, SW), pp. 49–71.
- DAC-2002-Perrott #behaviour #performance #simulation
- Fast and accurate behavioral simulation of fractional-N frequency synthesizers and other PLL/DLL circuits (MHP), pp. 498–503.
- WCRE-2002-BouillonV #web
- Retargeting of Web Pages to Other Computing Platforms with VAQUITA (LB, JV), p. 339–?.
- CHI-2002-JensenDF #online #social
- Finding others online: reputation systems for social online spaces (CJ, JD, SF), pp. 447–454.
- CHI-2002-MyersBNPKML #distance #performance #pointer
- Interacting at a distance: measuring the performance of laser pointers and other devices (BAM, RB, JN, CHP, DK, RCM, ACL), pp. 33–40.
- SIGAda-2002-LeifLL #ada #xml
- XML and Ada complement each other (RCL, SBL, SHL), p. 44.
- CIKM-2002-ChongSDFYJTKJ
- A mapping mechanism to support bitmap index and other auxiliary structures on tables stored as primary B±trees (EIC, JS, SD, CF, AY, MJ, ATT, RK, RJ), pp. 625–628.
- ICML-2002-KondorL #graph #kernel
- Diffusion Kernels on Graphs and Other Discrete Input Spaces (RK, JDL), pp. 315–322.
- ICML-2002-SaundersTS #kernel #string
- Syllables and other String Kernel Extensions (CS, HT, JST), pp. 530–537.
- ICPR-v3-2002-Bourlard #pattern matching #pattern recognition #recognition #speech #statistics
- Some Recent Advances in Speech Recognition with Potential Applications in Other Statistical Pattern Recognition Areas (HB), p. 727.
- KR-2002-McCarthy #calculus
- Actions and Other Events in Situation Calculus (JM0), pp. 615–628.
- PLDI-2001-GhiyaLS #ambiguity #analysis #c #memory management #on the #points-to #source code
- On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs (RG, DML, DCS), pp. 47–58.
- STOC-2001-GoemansW #algorithm #approximate #problem #programming
- Approximation algorithms for MAX-3-CUT and other problems via complex semidefinite programming (MXG, DPW), pp. 443–452.
- STOC-2001-KarlinKR
- Dynamic TCP acknowledgement and other stories about e/(e-1) (ARK, CK, DR), pp. 502–509.
- TOOLS-USA-2001-ArnoutS #contract #design #dot-net #eiffel
- The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel (KA, RS), pp. 14–23.
- IJCAR-2001-Voronkov #algorithm #automation #deduction #performance
- Algorithms, Datastructures, and other Issues in Efficient Automated Deduction (AV), pp. 13–28.
- CL-2000-LeuschelL #deduction #petri net
- Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction (ML, HL), pp. 101–115.
- CL-2000-NakamuraB #database #declarative #maintenance
- Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases (MN, CB), pp. 1210–1224.
- ASE-1999-DevulderL #case study #comparative #linear #programming #validation #verification
- A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods (SD, JLL), pp. 299–302.
- STOC-1999-Zwick99a #problem #programming
- Outward Rotations: A Tool for Rounding Solutions of Semidefinite Programming Relaxations, with Applications to MAX CUT and Other Problems (UZ), pp. 679–687.
- ICALP-1999-RieckeT #continuation
- Typed Exeptions and Continuations Cannot Macro-Express Each Other (JGR, HT), pp. 635–644.
- CHI-1999-VeinottOOF #video
- Video Helps Remote Work: Speakers Who Need to Negotiate Common Ground Benefit from Seeing Each Other (ESV, JSO, GMO, XF), pp. 302–309.
- HCI-EI-1999-MarcusAFG #design #matter
- You don’t have to be Jewish to Design Bagel.com, but it Helps... and Other Matters (AM, JA, VF, EG), pp. 516–520.
- SIGAda-1999-Tonndorf #ada #programming language #question
- Ada conformity assessments: a model for other programming languages? (MT), pp. 89–99.
- OSDI-1999-DouganMY #optimisation
- Optimizing the Idle Task and Other MMU Tricks (CD, PM, VY), pp. 229–237.
- SIGMOD-1998-RajagopalanML #approximate #memory management
- Approximate Medians and other Quantiles in One Pass and with Limited Memory (GSM, SR, BGL), pp. 426–435.
- ITiCSE-1998-FincherP #experience #towards #using
- Beyond anecdote towards real transfer: using other institutions’ experience of project work (SF, MP), pp. 86–89.
- ICSM-1998-Pfleeger #component #maintenance
- Making Change: The Other Components of Software Maintenance (SLP), p. 2–?.
- STOC-1998-BlumKRV #problem
- Semi-Definite Relaxations for Minimum Bandwidth and other Vertex-Ordering Problems (AB, GK, RR, SV), pp. 100–105.
- ICPR-1998-BrucksteinHHN #3d #estimation
- New devices for 3D pose estimation: mantis eyes, Agann paintings, sundials, and other space fiducials (AMB, RJH, TSH, ANN), pp. 305–309.
- SAC-1998-KambayashiKKI #flexibility #multi
- Flexible search functions for multimedia data with text and other auxiliary data (YK, KK, TK, HI), pp. 498–504.
- JICSLP-1998-VanhoofMSV
- Specialising the Other Way Arond (WV, BM, DDS, KDV), pp. 279–293.
- CSCW-1996-PycockB #design #industrial
- Getting Others to get it Right: an Ethnography of Design Work in the Fashion Industry (JP, JB), pp. 219–228.
- SEKE-1995-JiangC #concept #evolution
- Class Transmutation and other Evolution Concepts (HJ, XC), pp. 72–79.
- OOPSLA-1995-Ungar
- Annotating Objects for Transport to Other Worlds (DU), pp. 73–87.
- DAC-1994-AsharM #low cost #set
- Implicit Computation of Minimum-Cost Feedback-Vertex Sets for Partial Scan and Other Applications (PA, SM), pp. 77–80.
- STOC-1994-AlonYZ #graph #named #scalability
- Color-coding: a new method for finding simple paths, cycles and other small subgraphs within large graphs (NA, RY, UZ), pp. 326–335.
- STOC-1994-Mulmuley #bound #linear #parallel #problem #programming
- Lower bounds for parallel linear programming and other problems (KM), pp. 603–614.
- ICML-1994-DruckerCJCV #algorithm #machine learning
- Boosting and Other Machine Learning Algorithms (HD, CC, LDJ, YL, VV), pp. 53–61.
- LICS-1994-LincolnS #calculus #first-order #linear #logic #proving
- Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi (PL, NS), pp. 282–291.
- HT-1993-Parunak
- Hypercubes Grow on Trees (and Other Observations from the Land of Hypersets) (HVDP), pp. 73–81.
- FME-1993-BowenS #formal method #industrial #perspective #safety
- The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective (JPB, VS), pp. 183–195.
- ESEC-1993-Basili #experience #paradigm
- The Experience Factory and its Relationship to Other Improvement Paradigms (VRB), pp. 68–83.
- TLCA-1993-Jacobs #semantics #λ-calculus
- Semantics of λ-I and of other substructure λ calculi (BJ0), pp. 195–208.
- ICALP-1992-KirschenhoferPS #analysis #how #probability #problem
- How to Count Quickly and Accurately: A Unified Analysis of Probabilistic Counting and Other Related Problems (PK, HP, WS), pp. 211–222.
- CAiSE-1989-Lustig #automation #how #tool support
- How CASE Tools and Methods Relate to Each Other (GL).
- NACLP-1989-Chau #comparison #logic
- Narrowing Grammar: A Comparison with Other Logic Grammars (HLC), pp. 735–754.
- VDME-1988-Ruggles #standard #towards
- Towards a Formal Definition of GKS and other Graphic Standards (CR), pp. 64–73.
- DAC-1987-Brei #metalanguage #named #representation
- Needed: A Meta-Language for Evaluating the Expressiveness of EDIF, IGES, VHDL and Other Representation Mechanisms (MLB), p. 565.
- ICLP-1987-Carlsson87 #implementation
- Freeze, Indexing, and Other Implementation Issues in the WAM (MC), pp. 40–58.
- PODS-1986-BancilhonMSU #logic programming #set #source code
- Magic Sets and Other Strange Ways to Implement Logic Programs (FB, DM, YS, JDU), pp. 1–15.
- SLP-1985-SrivastavaOS85 #functional #integration #logic #programming
- An(other) Integration of Logic and Functional Programming (AS, DO, AS), pp. 254–260.
- DAC-1983-Heilweil
- Technology rules- the other side of technology dependent code (MFH), p. 389.
- ICALP-1977-Engelfriet #metaprogramming
- Macro Grammars, Lindenmayer Systems and Other Copying Devices (JE), pp. 221–229.
- STOC-1976-HartmanisB #morphism #on the #set
- On Isomorphisms and Density of NP and Other Complete Sets (JH, LB), pp. 30–40.
- STOC-1973-HopcroftM #complexity #matrix #multi
- Duality Applied to the Complexity of Matrix Multiplications and other Bilinear Forms (JEH, JM), pp. 73–87.
- SHARE-1964-SimpsonA #analysis
- Space frame analysis and applications to other types of structures (HS, JA).