31 papers:
CASE-2014-HuYLC #analysis #automation #modelling #multi #petri net- Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis (HH, YY, YL, CC), pp. 449–454.
SIGMOD-2014-CheneyLW #evaluation #multi #performance #query #relational- Query shredding: efficient relational evaluation of queries over nested multisets (JC, SL, PW), pp. 1027–1038.
DLT-J-2013-BonomoMRRS14 #multi #sorting #word- Sorting conjugates and Suffixes of Words in a Multiset (SB, SM, AR, GR, MS), p. 1161–?.
IFM-2014-TofanSR #composition #multi #proving- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset (BT, GS, WR), pp. 357–372.
VLDB-2012-MetwallyF #framework #multi #named #pipes and filters #scalability #similarity- V-SMART-Join: A Scalable MapReduce Framework for All-Pair Similarity Joins of Multisets and Vectors (AM, CF), pp. 704–715.
KDIR-2012-GayLM #approach #constraints #mining #multi #sequence- Constraint-programming Approach for Multiset and Sequence Mining (PG, BL, JM), pp. 212–220.
RTA-2012-ThiemannAN #formal method #multi #on the #order #termination- On the Formalization of Termination Techniques based on Multiset Orderings (RT, GA, JN), pp. 339–354.
- DLT-2011-BattagliaGS #multi #order
- Counting the Orderings for Multisets in Consecutive Ones Property and PQ-Trees (GB, RG, NS), pp. 58–69.
WRLA-2010-Velardo #concurrent #framework #multi #semantics- Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding (FRV), pp. 191–207.
IJCAR-2010-PiskacK #automation #multi #named #set- MUNCH — Automated Reasoner for Sets and Multisets (RP, VK), pp. 149–155.
ICGT-2008-KreowskiK #framework #graph #parallel- Graph Multiset Transformation as a Framework for Massively Parallel Computation (HJK, SK), pp. 351–365.
VMCAI-2008-PiskacK #constraints #multi- Decision Procedures for Multisets with Cardinality Constraints (RP, VK), pp. 218–232.
ICDAR-2007-Mace #constraints #documentation #incremental #multi #online #parsing- Context-Driven Constraint Multiset Grammars with Incremental Parsing for On-line Structured Document Interpretation (SM), pp. 442–446.
PODS-2007-GemullaLH #evolution #maintenance #multi- Maintaining bernoulli samples over evolving multisets (RG, WL, PJH), pp. 93–102.
- SIGMOD-2007-BeyerHRSG #estimation #multi #on the
- On synopses for distinct-value estimation under multiset operations (KSB, PJH, BR, YS, RG), pp. 199–210.
HCI-IPT-2007-MaceA #constraints #design #diagrams #editing #multi- Design of a Pen-Based Electric Diagram Editor Based on Context-Driven Constraint Multiset Grammars (SM, ÉA), pp. 418–428.
- DLT-2006-DassowV #finite #multi #string
- Ciliate Bio-operations on Finite String Multisets (JD, GV), pp. 168–179.
- VLDB-2004-RossS #bound #database #multi #symmetry
- Symmetric Relations and Cardinality-Bounded Multisets in Database Systems (KAR, JS), pp. 912–923.
- WRLA-2002-DenkerM #communication #modelling #multi #protocol #term rewriting #using
- Modeling Group Communication Protocols Using Multiset Term Rewriting (GD, JKM), pp. 20–39.
CADE-2002-Zarba #integer #multi- Combining Multisets with Integers (CGZ), pp. 363–376.
- RTA-2002-Mitchell #analysis #multi #protocol #security
- Multiset Rewriting and Security Protocol Analysis (JCM), pp. 19–22.
WIA-1999-PaunT #finite #multi #transducer- Multiset Processing by Means of Systems of Finite State Transducers (GP, GT), pp. 140–157.
ALP-PLILP-1998-Arenas-SanchezLR #constraints #functional #lazy evaluation #logic #multi- Embedding Multiset Constraints into a Lazy Functional Logic Language (PAS, FJLF, MRA), pp. 429–444.
- PLILP-1995-Marriott #constraints #multi #parsing #visual notation
- Parsing Visual Languages with Constraint Multiset Grammars (KM), pp. 24–25.
- PLILP-1995-McEvoyH #linear #locality #logic #multi
- Local Linear Logic for Locality Consciousness in Multiset Transformation (HM, PHH), pp. 357–379.
TLCA-1995-Leclerc #coq #development #multi #order #proving #term rewriting #termination- Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq (FL), pp. 312–327.
SEKE-1993-Cooke93a #multi #order #programming language- A High Level Programming Language Based Upon Ordered Multisets (DEC), pp. 117–124.
ICSE-1992-PearceL #multi #specification- The Property Vector Specification of a Multiset Iterator (TWP, DAL), pp. 235–245.
- ALP-1990-Hofbauer #multi #order #proving #recursion #termination
- Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths (DH), pp. 347–358.
- PODS-1988-HuangL #multi #set
- Stable Set and Multiset Operations in Optimal Time and Space (BCH, MAL), pp. 288–293.
ICALP-1979-DershowitzM #multi #order #proving #termination- Proving termination with Multiset Orderings (ND, ZM), pp. 188–202.
