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.