11 papers:
ICPR-2014-LiuCVC #classification- Leaf Species Classification Based on a Botanical Shape Sub-classifier Strategy (HL, DC, LV, GC), pp. 1496–1501.
IJCAR-2008-TourEN #equation #unification- Unification and Matching Modulo Leaf-Permutative Equational Presentations (TBdlT, ME, PN), pp. 332–347.
ICALP-2007-AlonFGKS #algorithm #problem- Parameterized Algorithms for Directed Maximum Leaf Problems (NA, FVF, GG, MK, SS), pp. 352–362.
- IJCAR-2004-TourE #equation
- Overlapping Leaf Permutative Equations (TBdlT, ME), pp. 430–444.
EDOC-2002-OserGGG #framework #incremental- The LEAF Platform: Incremental Enhancements for the J2EE (PO, CG, DG, RG), pp. 238–248.
- ICPR-1998-ImNK #case study #product line
- Recognizing plant species by leaf shapes-a case study of the Acer family (CI, HN, TLK), pp. 1171–1173.
DAC-1995-RekhiTL #automation #layout #synthesis- Automatic Layout Synthesis of Leaf Cells (SR, JDT, DHL), pp. 267–272.
CHI-1992-AraiYM- A window system with leafing through mode: BookWindow (KA, TY, YM), pp. 291–292.
- DAC-1991-HwangHLH #automation #generative #layout #performance
- An Efficient Layout Style for 2-Metal CMOS Leaf Cells And Their Automatic Generation (CYH, YCH, YLL, YCH), pp. 481–486.
- DAC-1987-Subrahmanyam #deduction #named
- LCS — A Leaf Cell Synthesizer Employing Formal Deduction Techniques (PAS), pp. 459–465.
SLP-1987-LeviPBGM87 #logic #semantics- A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions (GL, CP, PGB, EG, CM), pp. 318–327.
