Stem substructur$ (all stems)

22 papers:

FoSSaCS-2015-PfenningG

Polarized Substructural Session Types (FP, DG), pp. 3–22.

SEFM-2015-VollingerR #algorithm #certification #distributed #problem

Certification of Distributed Algorithms Solving Problems with Optimal Substructure (KV, WR), pp. 190–195.

LICS-2013-BenerecettiMM #logic

Substructure Temporal Logic (MB, FM, AM), pp. 368–377.

ICFP-2012-KrishnaswamiTDG

Superficially substructural types (NRK, AT, DD, DG), pp. 41–54.

CIKM-2012-LiuCBLR #graph #mining

Utilizing common substructures to speedup tensor factorization for mining dynamic graphs (WL, JC, JB, CL, KR), pp. 435–444.

KDD-2012-YuSZH #network #semantics

Query-driven discovery of semantically similar substructures in heterogeneous networks (XY, YS, PZ, JH), pp. 1500–1503.

OOPSLA-2011-TovP #formal method

A theory of substructural types and control (JAT, RP), pp. 625–642.

SIGMOD-2010-ShangLZYW #similarity

Connected substructure similarity search (HS, XL, YZ, JXY, WW), pp. 903–914.

ICFP-2010-Crary #higher-order #logic #representation

Higher-order representation of substructural logics (KC), pp. 131–142.

LICS-2009-PfenningS #logic programming #order #semantics

Substructural Operational Semantics as Ordered Logic Programming (FP, RJS), pp. 101–110.

FLOPS-2008-Kobayashi #program analysis #type system

Substructural Type Systems for Program Analysis (NK), p. 14.

ICPR-2008-ChakrabortyE #constraints #invariant #locality #using

Object localization using affine invariant substructure constraints (IC, AME), pp. 1–5.

TLCA-2007-KiselyovS #continuation #type system

A Substructural Type System for Delimited Continuations (OK, CcS), pp. 223–239.

ICML-2006-TsudaK #clustering #graph #mining

Clustering graphs by weighted substructure mining (KT, TK), pp. 953–960.

SIGMOD-2005-YanYH #database #graph #similarity

Substructure Similarity Search in Graph Databases (XY, PSY, JH), pp. 766–777.

ICFP-2005-AhmedFM

A step-indexed model of substructural state (AJA, MF, GM), pp. 78–91.

LICS-2005-KieronskiO #decidability #first-order #logic

Small Substructures and Decidability Issues for First-Order Logic with Two Variables (EK, MO), pp. 448–457.

KDD-1998-DehaspeTK

Finding Frequent Substructures in Chemical Compounds (LD, HT, RDK), pp. 30–36.

KDD-1995-DjokoCH

Analyzing the Benefits of Domain Knowledge in Substructure Discovery (SD, DJC, LBH), pp. 75–80.

TLCA-1993-Jacobs #semantics #λ-calculus

Semantics of λ-I and of other substructure λ calculi (BJ0), pp. 195–208.

ML-1992-HolderCB #fuzzy

Fuzzy Substructure Discovery (LBH, DJC, HB), pp. 218–223.

ML-1989-Holder #empirical

Empirical Substructure Discovery (LBH), pp. 133–136.