## Stem second$ (all stems)

### 192 papers:

- HT-2015-Graells-Garrido #bias #gender #wiki #women
- First Women, Second Sex: Gender Bias in Wikipedia (EGG, ML, FM), pp. 165–174.
- ICALP-v2-2015-MichalewskiM #higher-order #logic #monad #quantifier
- Baire Category Quantifier in Monadic Second Order Logic (HM, MM), pp. 362–374.
- CHI-2015-CaiGGM #education #named
- Wait-Learning: Leveraging Wait Time for Second Language Education (CJC, PJG, JRG, RCM), pp. 3701–3710.
- CHI-2015-NeateJE
- Mediating Attention for Second Screen Companion Content (TN, MJ, ME), pp. 3103–3106.
- DHM-EH-2015-OkaTGYO #metric #process
- Electromyography Measurement of Workers at the Second Lining Pounding Process for Hanging Scrolls (YO, YT, AG, HY, KO), pp. 205–215.
- DHM-HM-2015-OkaTGOO #process #research
- Researching Sounds Generated During the Second Lining Pounding Process (YO, YT, AG, KO, KO), pp. 154–164.
- DUXU-DD-2015-Liffick #social #years after
- Twenty Years on: A Second Look at 10 Important Social Impact Characteristics of Computer Technology (BWL), pp. 328–338.
- SPLC-2015-KruegerC #generative #product line
- Second generation systems and software product line engineering (CWK, PCC), pp. 388–389.
- CADE-2015-Libal #higher-order #unification
- Regular Patterns in Second-Order Unification (TL), pp. 557–571.
- LICS-2015-EnqvistSV #algebra #bisimulation #higher-order #logic #monad
- Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras (SE, FS, YV), pp. 353–365.
- ICGT-2014-PoskittP #graph #higher-order #monad #source code #verification
- Verifying Monadic Second-Order Properties of Graph Programs (CMP, DP), pp. 33–48.
- CHI-2014-BarkhuusEZ #interactive #music #performance
- Watching the footwork: second screen interaction at a dance and music performance (LB, AE, GZ), pp. 1305–1314.
- DHM-2014-OkaGTNH #analysis
- Motion Analysis of the Pounding Technique Used for the Second Lining in the Fabrication of Traditional Japanese Hanging Scrolls (YO, AG, YT, CN, HH), pp. 55–65.
- HCI-TMT-2014-Brahnam #human-computer #modelling #prototype
- HCI Prototyping and Modeling of Future Psychotherapy Technologies in Second Life (SB), pp. 273–284.
- HIMI-DE-2014-LiH
- Improving Academic Listening Skills of Second Language by Building up Strategy Object Mashups (HL, SH), pp. 384–395.
- ICML-c1-2014-MohriM #algorithm #learning #optimisation
- Learning Theory and Algorithms for revenue optimization in second price auctions with reserve (MM, AMM), pp. 262–270.
- KR-2014-Lin14a #axiom #first-order #higher-order #induction #semantics
- A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (FL).
- SIGIR-2014-ParkS #detection #higher-order #modelling #probability
- Second order probabilistic models for within-document novelty detection in academic articles (LAFP, SS), pp. 1103–1106.
- SPLC-2014-KruegerC #generative #product line
- Second generation systems and software product line engineering (CWK, PCC), p. 358.
- CAV-2014-LeGQC #analysis #higher-order
- Shape Analysis via Second-Order Bi-Abduction (QLL, CG, SQ, WNC), pp. 52–68.
- CASE-2013-IsmailH #3d #anti #higher-order #using
- Trajectory tracking and anti-sway control of three-dimensional offshore boom cranes using second-order sliding modes (RMTRI, QPH), pp. 996–1001.
- DAC-2013-Ghosh #memory management
- Path to a TeraByte of on-chip memory for petabit per second bandwidth with < 5watts of power (SG), p. 2.
- DRR-2013-TaghvaPM #higher-order #markov #modelling
- Post processing with first- and second-order hidden Markov models (KT, SP, SM).
- FoSSaCS-2013-BauerHK #higher-order #monad #on the #parametricity
- On Monadic Parametricity of Second-Order Functionals (AB, MH, AK), pp. 225–240.
- TACAS-2013-Beyer #contest #summary #verification
- Second Competition on Software Verification — (Summary of SV-COMP 2013) (DB0), pp. 594–609.
- GCM-J-2012-Radke #graph #higher-order #monad
- HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas (HR).
- OCSC-2013-TokelC #communication #game studies #representation
- Communication and Avatar Representation during Role-Playing in Second Life Virtual World (STT, EC), pp. 210–215.
- ESEC-FSE-2013-LiRSY #constraints #higher-order #invariant
- Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.
- SPLC-2013-KruegerC #generative #product line
- Second generation systems and software product line engineering (CWK, PCC), pp. 283–284.
- LICS-2013-AlurDT #higher-order #monad #string #transducer
- From Monadic Second-Order Definable String Transformations to Transducers (RA, ADG, AT), pp. 458–467.
- LICS-2013-KreutzerR #higher-order #logic #monad
- Quantitative Monadic Second-Order Logic (SK, CR), pp. 113–122.
- CHI-2012-DearmanT #using
- Evaluating the implicit acquisition of second language vocabulary using a live wallpaper (DD, KNT), pp. 1391–1400.
- CIKM-2012-CamposDJN #approach #higher-order #identification #named #web
- GTE: a distributional second-order co-occurrence approach to improve the identification of top relevant dates in web snippets (RC, GD, AJ, CN), pp. 2035–2039.
- ICST-2012-KintisPM #first-order #higher-order
- Isolating First Order Equivalent Mutants via Second Order Mutation (MK, MP, NM), pp. 701–710.
- LICS-2012-ElberfeldGT #first-order #higher-order #logic #monad
- Where First-Order and Monadic Second-Order Logic Coincide (ME, MG, TT), pp. 265–274.
- LICS-2012-EngelmannKS #first-order #higher-order #model checking #monad
- First-Order and Monadic Second-Order Model-Checking on Ordered Structures (VE, SK, SS), pp. 275–284.
- VLDB-2011-KerstenIML #database #query #research
- The Researcher’s Guide to the Data Deluge: Querying a Scientific Database in Just a Few Seconds (MLK, SI, SM, EL), pp. 1474–1477.
- VLDB-2011-MarnetteMPRS
- ++Spicy: an OpenSource Tool for Second-Generation Schema Mapping and Data Exchange (BM, GM, PP, SR, DS), pp. 1438–1441.
- CSEET-2011-HeckmanHS #android #education #java #re-engineering
- Teaching second-level Java and software engineering with Android (SSH, TBH, MS), pp. 540–542.
- ITiCSE-2011-BowerM #comparison #learning
- Continual and explicit comparison to promote proactive facilitation during second computer language learning (MB, AM), pp. 218–222.
- SCAM-J-2009-ShubatiDD11 #generative #reasoning
- Artefact generation in second life with case-based reasoning (AS, CWD, RD), pp. 431–446.
- CHI-2011-PierceP #interactive
- Second-hand interactions: investigating reacquisition and dispossession practices around domestic objects (JP, EP), pp. 2385–2394.
- CHI-2011-TrustyT #learning #web
- Augmenting the web for second language vocabulary learning (AT, KNT), pp. 3179–3188.
- DHM-2011-HodgesUBHSK #framework
- Second Life as a Platform for Creating Intelligent Virtual Agents (LFH, ACU, TB, ALH, JMS, BK), pp. 292–301.
- HCI-UA-2011-Loiacono-MelloDTP #case study #generative #why
- Why Virtual Job Recruitment Is Not Well Accepted by Generation Y? — A Case Study on Second Life (ETLM, SD, BT, OVP), pp. 245–254.
- OCSC-2011-BramanDCVW #student
- Gaining Insight into the Application of Second Life in a Computing Course: Students’ Perspectives (JB, AD, KC, GV, YW), pp. 20–29.
- ECIR-2011-AltingovdeOCU #approach #hybrid
- Second Chance: A Hybrid Approach for Dynamic Result Caching in Search Engines (ISA, RO, BBC, ÖU), pp. 510–516.
- SEKE-2011-Kaiser #concurrent #debugging #higher-order #using
- Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators (LWGK), pp. 244–249.
- PPDP-2011-InabaHHKN #higher-order #logic #monad #using #verification
- Graph-transformation verification using monadic second-order logic (KI, SH, ZH, HK, KN), pp. 17–28.
- CSL-2011-DurandS #complexity #higher-order #logic #problem #query
- Enumeration Complexity of Logical Query Problems with Second-order Variables (AD, YS), pp. 189–202.
- ISSTA-2011-TateishiPT #analysis #higher-order #logic #monad #string
- Path- and index-sensitive string analysis based on monadic second-order logic (TT, MP, OT), pp. 166–176.
- ESOP-2010-NaumannB #bound #first-order #higher-order #information management
- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (DAN, AB), pp. 2–22.
- TACAS-2010-Aderhold #analysis #automation #higher-order #recursion #source code #termination
- Automated Termination Analysis for Programs with Second-Order Recursion (MA), pp. 221–235.
- ICGT-2010-GadducciLV #calculus #higher-order #semantics #μ-calculus
- Counterpart Semantics for a Second-Order μ-Calculus (FG, ALL, AV), pp. 282–297.
- CSL-2010-FioreH #equation #higher-order #logic
- Second-Order Equational Logic (Extended Abstract) (MPF, CKH), pp. 320–335.
- CSL-2010-GanzowK #algorithm #higher-order #induction #logic #monad
- New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures (TG, LK), pp. 366–380.
- IJCAR-2010-Aderhold #automation #axiom #higher-order #induction #recursion #source code #synthesis
- Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion (MA), pp. 263–277.
- LICS-2010-KreutzerT #bound #complexity #higher-order #logic #monad
- Lower Bounds for the Complexity of Monadic Second-Order Logic (SK, ST), pp. 189–198.
- CASE-2009-CaldwellM #estimation #higher-order
- Second-order optimal estimation of slip state for a simple slip-steered vehicle (TMC, TDM), pp. 133–139.
- WRLA-2008-DuranRBBEKKMSV09 #contest
- The Second Rewrite Engines Competition (FD, MR, EB, MvdB, SE, KTK, LCLK, PEM, RS, EV), pp. 281–291.
- ICALP-v2-2009-BlumensathOW #bound #finite #higher-order #monad #word
- Boundedness of Monadic Second-Order Formulae over Finite Words (AB, MO, MW), pp. 67–78.
- LATA-2009-Courcelle #algorithm #graph #higher-order #logic #monad
- Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications (BC), pp. 19–22.
- 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.
- HCI-VAD-2009-ParkHC #3d #analysis #experience #web
- The Experience of Presence in 3D Web Environment: An Analysis of Korean Second Life (SP, HSH, MC), pp. 387–395.
- IDGD-2009-BoseS #hypermedia
- The Use of Hypertext as a Vocabulary Acquisition Strategy for English as Second Language Learners (DB, DS), pp. 147–155.
- OCSC-2009-DohiI #interface
- A Life-Like Agent Interface System with Second Life Avatars on the OpenSimulator Server (HD, MI), pp. 182–190.
- OCSC-2009-FaiolaS #experience #human-computer #interactive
- Flow Experience in Second Life: The Impact of Telepresence on Human-Computer Interaction (AF, OVS), pp. 574–583.
- OCSC-2009-NeviarouskayaPI #automation #communication #named
- EmoHeart: Automation of Expressive Communication of Emotions in Second Life (AN, HP, MI), pp. 584–592.
- ECIR-2009-LlorenteR #automation #higher-order #image #statistics #using
- Using Second Order Statistics to Enhance Automated Image Annotation (AL, SMR), pp. 570–577.
- ICML-2009-DavisD #higher-order #logic #markov
- Deep transfer via second-order Markov logic (JD, PMD), pp. 217–224.
- CSL-2009-Kreutzer #higher-order #logic #monad #on the
- On the Parameterised Intractability of Monadic Second-Order Logic (SK), pp. 348–363.
- CSL-2009-Moschovakis #recursion #theorem
- Kleene’s Amazing Second Recursion Theorem (YNM), pp. 24–39.
- TLCA-2009-Strassburger #higher-order #linear #logic #multi #proving
- Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (LS), pp. 309–324.
- FoSSaCS-2008-GianantonioHL #higher-order #λ-calculus
- RPO, Second-Order Contexts, and λ-Calculus (PDG, FH, ML), pp. 334–349.
- ICALP-A-2008-Courcelle #aspect-oriented #graph #higher-order #logic #monad
- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects (BC), pp. 1–13.
- ICPR-2008-ShenZL #detection #higher-order #programming #using
- Deformable surface stereo tracking-by-detection using Second Order Cone Programming (SS, YZ, YL), pp. 1–4.
- ICPR-2008-XiaoL #higher-order #using
- Improvement on Mean Shift based tracking using second-order information (LX, PL), pp. 1–4.
- LICS-2008-Fiore #higher-order #syntax
- Second-Order and Dependently-Sorted Abstract Syntax (MPF), pp. 57–68.
- DAC-2007-FengLZ #analysis #higher-order #parametricity #performance #reduction #statistics #using
- Fast Second-Order Statistical Static Timing Analysis Using Parameter Dimension Reduction (ZF, PL, YZ), pp. 244–249.
- DAC-2007-YanTLM #higher-order #named #reduction
- SBPOR: Second-Order Balanced Truncation for Passive Order Reduction of RLC Circuits (BY, SXDT, PL, BM), pp. 158–161.
- ITiCSE-2007-CannonPP #student
- Second annual robotics summer camp for underrepresented students (KRC, KAP, NPP), pp. 14–18.
- CHI-2007-FraserMSS #coordination #distributed #matter #visualisation
- Seconds matter: improving distributed coordination bytracking and visualizing display trajectories (MF, MRM, MS, PS), pp. 1303–1312.
- CIKM-2007-LempelMOSPS
- Just in time indexing for up to the second search (RL, YM, SOK, DS, YP, RS), pp. 97–106.
- TLCA-2007-Tatsuta #higher-order #quantifier #set
- Simple Saturated Sets for Disjunction and Second-Order Existential Quantification (MT), pp. 366–380.
- RTA-2006-LevySV #bound #higher-order #unification
- Bounded Second-Order Unification Is NP-Complete (JL, MSS, MV), pp. 400–414.
- CHI-2005-OulasvirtaTRK #human-computer #interactive #mobile
- Interaction in 4-second bursts: the fragmented nature of attentional resources in mobile HCI (AO, ST, VR, JK), pp. 919–928.
- SAT-J-2004-BerreNST05 #comparative #evaluation
- The Second QBF Solvers Comparative Evaluation (DLB, MN, LS, AT), pp. 376–392.
- CSL-2005-CourcelleD #composition #graph #higher-order #logic #monad
- The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic (BC, CD), pp. 325–338.
- TLCA-2005-AehligMO #decidability #higher-order #monad #recursion
- The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable (KA, JGdM, CHLO), pp. 39–54.
- PODS-2004-FaginPKT #dependence #higher-order
- Composing Schema Mappings: Second-Order Dependencies to the Rescue (RF, PGK, LP, WCT), pp. 83–94.
- VLDB-2004-Poess #benchmark #generative #metric #query
- Generating Thousand Benchmark Queries in Seconds (MP, JMS), pp. 1045–1053.
- ICFP-2004-GauthierP #canonical #first-order #higher-order #matter #recursion
- Numbering matters: first-order canonical forms for second-order recursive types (NG, FP), pp. 150–161.
- IJCAR-2004-Gottlob #finite #higher-order #logic #research
- Second-Order Logic over Finite Structures — Report on a Research Programme (GG), pp. 229–243.
- LICS-2004-CookK #higher-order
- A Second-Order Theory for NL (SAC, AK), pp. 398–407.
- LICS-2004-NguyenC #higher-order
- VTC circ: A Second-Order Theory for TCcirc (PN, SAC), pp. 378–387.
- RTA-2004-LevySV #higher-order #monad #unification
- Monadic Second-Order Unification Is NP-Complete (JL, MSS, MV), pp. 55–69.
- STOC-2003-Friedman #proving
- A proof of Alon’s second eigenvalue conjecture (JF), pp. 720–724.
- ICALP-2003-KlaedtkeR #higher-order #logic #monad
- Monadic Second-Order Logics with Cardinalities (FK, HR), pp. 681–696.
- LICS-2003-GurevichS #higher-order #monad
- Spectra of Monadic Second-Order Formulas with One Unary Function (YG, SS), pp. 291–300.
- ESOP-2002-Glew #formal method #higher-order
- A Theory of Second-Order Trees (NG), pp. 147–161.
- FoSSaCS-2002-Courcelle #higher-order #monad #semantics
- Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations (BC), pp. 1–4.
- ICPR-v3-2002-MaioMCWJ #contest #named #verification
- FVC2002: Second Fingerprint Verification Competition (DM, DM, RC, JLW, AKJ), pp. 811–814.
- LOPSTR-2002-FioravantiPP #higher-order #logic #logic programming #monad #program transformation #source code
- Combining Logic Programs and Monadic Second Order Logics by Program Transformation (FF, AP, MP), pp. 160–181.
- ICLP-2002-LauB #logic programming #re-engineering
- Logic Programming for Software Engineering: A Second Chance (KKL, MVB), pp. 437–451.
- LICS-2002-FrickG #complexity #first-order #higher-order #logic #monad #revisited
- The Complexity of First-Order and Monadic Second-Order Logic Revisited (MF, MG), pp. 215–224.
- RTA-2002-LevyV #higher-order #problem #unification
- Currying Second-Order Unification Problems (JL, MV), pp. 326–339.
- HT-2001-ShipmanHMM #generative #hypermedia #visual notation
- The visual knowledge builder: a second generation spatial hypertext (FMSI, HwH, PM, JMM), pp. 113–122.
- PLDI-2001-HeintzeT01a #alias #analysis #c #using
- Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second (NH, OT), pp. 254–263.
- DLT-2001-EiterGS #higher-order #logic #string
- Second-Order Logic over Strings: Regular and Non-regular Fragments (TE, GG, TS), pp. 37–56.
- CSL-2001-KorovinaK #higher-order #semantics
- Semantic Characterisations of Second-Order Computability over the Real Numbers (MVK, OVK), pp. 160–172.
- IJCAR-2001-Beeson #higher-order #proving #theorem proving
- A Second-Order Theorem Prover Applied to Circumscription (MB), pp. 318–324.
- LICS-2001-CookK #higher-order #reasoning #theorem #using
- A Second-Order System for Polytime Reasoning Using Graedel’s Theorem (SAC, AK), pp. 177–186.
- RTA-2001-BerarducciB #algebra #higher-order #recursion
- General Recursion on Second Order Term Algebras (AB, CB), pp. 15–30.
- TLCA-2001-Geuvers #dependent type #higher-order #induction #type system
- Induction Is Not Derivable in Second Order Dependent Type Theory (HG), pp. 166–181.
- TLCA-2001-Leiss #higher-order #independence #representation
- Second-Order Pre-Logical Relations and Representation Independence (HL), pp. 298–314.
- TLCA-2001-Matthes #higher-order #induction #λ-calculus #μ-calculus
- Parigot’s Second Order λμ-Calculus and Inductive Types (RM), pp. 329–343.
- PEPM-2000-GrobauerY #partial evaluation
- The Second Futamura Projection for Type-Directed Partial Evaluation (BG, ZY), pp. 22–32.
- HPCA-2000-WongB #behaviour #policy
- Modified LRU Policies for Improving Second-Level Cache Behavior (WAW, JLB), pp. 49–60.
- CAV-2000-AyariB #bound #higher-order #logic #monad
- Bounded Model Construction for Monadic Second-Order Logics (AA, DAB), pp. 99–112.
- RTA-2000-LevyV #constraints #higher-order #linear #unification
- Linear Second-Order Unification and Context Unification with Tree-Regular Constraints (JL, MV), pp. 156–171.
- ICALP-1999-EngelfrietH #finite #higher-order #logic #monad #transducer
- Two-Way Finite State Transducers and Monadic Second-Order Logic (JE, HJH), pp. 311–320.
- ESEC-FSE-1999-WarboysBGKMMM #collaboration #composition #generative #process
- Collaboration and Composition: Issues for a Second Generation Process Language (BW, DB, RMG, GNCK, KM, RM, DSM), pp. 75–90.
- CADE-1999-Lopes #automation #generative #higher-order #logic #proving
- Automatic Generation of Proof Search Strategies for Second-order Logic (RHCL), pp. 414–428.
- HT-1998-Ricardo #higher-order #hypermedia
- Stalking the Paratext: Speculations on Hypertext Links as a Second Order Text (FJR), pp. 142–151.
- ICPR-1998-DanielssonLY #3d #segmentation #using
- Segmentation of 3D volumes using second derivatives (PED, QL, QZY), pp. 248–251.
- POPL-1998-Schubert #higher-order #morphism #polymorphism #type inference #unification
- Second-Order Unification and Type Inference for Church-Style Polymorphism (AS), pp. 279–288.
- LICS-1998-Bars #higher-order #logic
- Fragments of Existential Second-Order Logic without 0-1 Laws (JMLB), pp. 525–536.
- LICS-1998-EiterGG #higher-order #logic #string
- Existential Second-Order Logic over Strings (TE, GG, YG), pp. 16–27.
- LICS-1998-Veanes #higher-order #unification
- The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification (MV), pp. 264–275.
- RTA-1998-Levy #decidability #higher-order #problem #unification
- Decidable and Undecidable Second-Order Unification Problems (JL), pp. 47–60.
- RTA-1998-MullerN #constraints #higher-order #logic #monad
- Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic (MM, JN), pp. 196–210.
- TACAS-1997-KelbMMG #flexibility #higher-order #logic #monad #named #tool support
- MOSEL: A FLexible Toolset for Monadic Second-Order Logic (PK, TMS, MM, CG), pp. 183–202.
- PLDI-1997-JensenJKS #automation #higher-order #logic #monad #pointer #source code #using #verification
- Automatic Verification of Pointer Programs using Monadic Second-Order Logic (JLJ, MEJ, NK, MIS), pp. 226–236.
- GG-Handbook-Vol1-Courcelle #graph transformation #higher-order #logic #monad
- The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic (BC), pp. 313–400.
- HCI-CC-1997-KorunkaZV #implementation
- The Second Vienna Implementation Study. II. An Integrative Model (CK, SZ, OV), pp. 387–390.
- HCI-CC-1997-ZauchnerKVW #implementation
- The Second Vienna Implementation Study: I. Contextual Factors Modifying the Effects of Continuous Implementations of Information Technology (SZ, CK, OV, AW), pp. 383–386.
- CSL-1997-Schiering #approach #graph #higher-order #logic #monad
- A Hierarchical Approach to Monadic Second-Order Logic over Graphs (IS), pp. 424–440.
- CSL-1997-Schwentick #higher-order #logic #power of
- Padding and the Expressive Power of Existential Second-Order Logics (TS), pp. 461–477.
- CSL-1997-Staiger #higher-order #monad
- Rich ω-Words and Monadic Second-Order Arithmetic (LS), pp. 478–490.
- ICML-1996-Kubat
- Second Tier for Decision Trees (MK), pp. 293–301.
- CC-1996-GeserKLRS #fixpoint #higher-order
- Non-monotone Fixpoint Iterations to Resolve Second Order Effects (AG, JK, GL, OR, BS), pp. 106–120.
- CSL-1996-Geuvers #dependent type #higher-order #logic #modelling #type system
- Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory (HG), pp. 167–181.
- LICS-1996-TiurynU #decidability #higher-order #problem #type system
- The Subtyping Problem for Second-Order Types is Undecidable (JT, PU), pp. 74–85.
- RTA-1996-CurienQS #higher-order #performance
- Efficient Second-Order Matching (RC, ZQ, HS), pp. 317–331.
- RTA-1996-Levy #higher-order #linear #unification
- Linear Second-Order Unification (JL), pp. 332–346.
- SIGMOD-1995-Kleissner #enterprise #framework #generative
- Enterprise Objects Framework, A Second Generation Object-Relational Enabler (CK), pp. 455–459.
- FPLE-1995-NunezPP #data type #functional #programming
- A Second Year Course on Data Structures Based on Functional Programming (MN, PP, RP), pp. 65–84.
- ESOP-J-1994-AbadiC95 #formal method #higher-order
- A Theory of Primitive Objects: Second-Order Systems (MA, LC), pp. 81–116.
- TACAS-1995-HenriksenJJKPRS #higher-order #logic #monad #named
- Mona: Monadic Second-Order Logic in Practice (JGH, JLJ, MEJ, NK, RP, TR, AS), pp. 89–110.
- FPCA-1995-OderskyWW
- A Second Look at Overloading (MO, PW, MW), pp. 135–146.
- CAV-1995-BasinK #hardware #higher-order #logic #monad #using #verification
- Hardware Verification using Monadic Second-Order Logic (DAB, NK), pp. 31–41.
- LICS-1995-Comon #automaton #higher-order #logic #monad
- Sequentiality, Second Order Monadic Logic and Tree Automata (HC), pp. 508–517.
- LICS-1995-LincolnSS #higher-order #linear #logic #problem
- Decision Problems for Second-Order Linear Logic (PL, AS, NS), pp. 476–485.
- ESOP-1994-Boerio #higher-order #polymorphism #λ-calculus
- Extending Pruning Techniques to Polymorphic Second order λ-Calculus (LB), pp. 120–134.
- LFP-1994-KfouryW #algorithm #higher-order #type inference #λ-calculus
- A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order λ-Calculus (AJK, JBW), pp. 196–207.
- TAGT-1994-Courcelle #composition #graph #higher-order #logic #monad
- The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs (BC), pp. 487–501.
- LICS-1994-Wells #decidability #higher-order #λ-calculus
- Typability and Type-Checking in the Second-Order λ-Calculus are Equivalent and Undecidable (JBW), pp. 176–185.
- ICDAR-1993-Pavlidis #image #using
- Threshold selection using second derivatives of the gray scale image (TP), pp. 274–277.
- SIGMOD-1993-Guting #higher-order #modelling #optimisation #query #specification
- Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization (RHG), pp. 277–286.
- HCI-ACS-1993-Caldwell #constraints
- Situational and Informational Constraints Affecting Communications with 1-1000 Second Transmission Delays (BSC), pp. 167–172.
- INTERCHI-1993-SukaviriyaFG #architecture #design #generative #runtime #user interface
- A second generation user interface design environment: the model and the runtime architecture (PNS, JDF, TG), pp. 375–382.
- TRI-Ada-1993-SitaramanG #re-engineering #reuse
- Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course (MS, JG), pp. 137–146.
- ECOOP-1993-CaseauP #higher-order #object-oriented
- Attaching Second-Order Types to Methods in an Object-Oriented Language (YC, LP), pp. 142–160.
- ICLP-1993-McCarty #higher-order #induction #logic #prolog #proving #source code
- Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic (LTM), pp. 44–63.
- CHI-1992-RadlinskiM #cobol
- Grace meets the “real world”: tutoring COBOL as a second language (BR, JM), pp. 343–350.
- KR-1992-GabbayO #higher-order #logic #quantifier
- Quantifier Elimination in Second-Order Predicate Logic (DMG, HJO), pp. 425–435.
- ML-1992-OmlinG #higher-order #network #using
- Training Second-Order Recurrent Neural Networks using Hints (CWO, CLG), pp. 361–366.
- CSL-1992-Tyszkiewicz #higher-order #monad #on the
- On Asymptotic Probabilities of Monadic Second Order Properties (JT), pp. 425–439.
- LICS-1991-PacholskiS #higher-order #on the #similarity
- On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality (LP, WS), pp. 280–285.
- GG-1990-Engelfriet #graph #higher-order #logic #monad
- A Characterization of Context-Free NCE Graph Languages by Monadic Second-Order Logic on Trees (JE), pp. 311–327.
- ML-1990-LytinenM #comparison #learning
- A Comparison of Learning Techniques in Second Language Learning (SLL, CEM), pp. 377–383.
- PLILP-1990-Queinnec #compilation #higher-order #lisp
- Compilation of Non-Linear, Second Order Patterns on S-Expressions (CQ), pp. 340–357.
- CSL-1990-ArnborgPS #automaton #higher-order #logic #monad
- Monadic Second Order Logic, Tree Automata and Forbidden Minors (SA, AP, DS), pp. 1–16.
- LICS-1990-Courcelle #graph #higher-order #monad #on the #set
- On the Expression of Monadic Second-Order Graph Properties Without Quantifications Over Sets of Edges (Extended Abstract) (BC), pp. 190–196.
- STOC-1989-FriedmanKS #graph #on the #random
- On the Second Eigenvalue in Random Regular Graphs (JF, JK, ES), pp. 587–598.
- ICALP-1989-Courcelle #equation #graph #higher-order #logic #monad
- The Definability of Equational Graphs in Monadic Second-Order Logic (BC), pp. 207–221.
- ESOP-1988-Parigot #higher-order #programming #proving #type system
- Programming with Proofs: A Second Order Type Theory (MP), pp. 145–159.
- LICS-1988-Amadio #fixpoint #higher-order #modelling #λ-calculus
- A fixed point extension of the second order λ-calculus: observable equivalences and models (RMA), pp. 51–60.
- LICS-1988-KolaitisV #higher-order #logic #problem
- 0-1 Laws and Decision Problems for Fragments of Second-Order Logic (PGK, MYV), pp. 2–11.
- LICS-1987-Mendler #constraints #higher-order #recursion #λ-calculus
- Recursive Types and Type Constraints in Second-Order λ Calculus (NPM), pp. 30–36.
- SLP-1987-Chen87 #formal method #higher-order #logic
- A Theory of Modules Based on Second-Order Logic (WC), pp. 24–33.
- GG-1986-Courcelle86a #graph #higher-order #monad #on the #set
- On context-free sets of graphs and their monadic second-order theory (BC), pp. 133–146.
- LICS-1986-AmadioBL #equation #higher-order #λ-calculus
- The Finitary Projection Model for Second Order λ Calculus and Solutions to Higher Order Domain Equations (RMA, KBB, GL), pp. 122–130.
- LICS-1986-MakowskyS #equivalence #higher-order #on the #semantics #standard #verification
- On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems (JAM, IS), pp. 293–300.
- DAC-1984-ChenLNS #generative
- The second generation motis mixed-mode simulator (CFC, CYL, HNN, PS), pp. 10–17.
- CADE-1984-Simon #algorithm #higher-order #linear
- A Linear Time Algorithm for a Subcase of Second Order Instantiation (DS), pp. 209–223.
- STOC-1981-MullerS #automaton #graph #higher-order #logic #problem #reachability
- Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems (DEM, PES), pp. 46–54.
- SIGIR-1979-Wiersba #information retrieval
- The Role of Information Retrieval in the Second Computer Revolution (RKW), pp. 52–58.
- ICSE-1978-BrowneJ #generative #named #performance #program analysis
- FAST: A Second Generation Program Analysis System (JCB, DBJ), pp. 142–148.
- DAC-1977-Hogan #automation #design
- A second chance at automation as a design tool (RJH), p. 282.
- STOC-1974-Robertson #complexity #higher-order #monad
- Structure of Complexity in the Weak Monadic Second-Order Theories of the Natural Numbers (ELR), pp. 161–171.
- STOC-1970-Manna #higher-order
- Second-Order Mathematical Theory of Computation (ZM), pp. 158–168.