30 papers:
LATA-2015-BjorklundDZ #algorithm #automaton #performance- An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring (JB, FD, NZ), pp. 97–108.
ICGT-2015-Bruggink0NZ #graph #graph transformation #proving #termination #using- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (HJSB, BK, DN, HZ), pp. 52–68.
PPDP-2015-RivasJS #monad- From monoids to near-semirings: the essence of MonadPlus and alternative (ER, MJ, TS), pp. 196–207.
QAPL-2015-MartinelliMS #security #specification- Semiring-based Specification Approaches for Quantitative Security (FM, IM, FS), pp. 95–109.
ESOP-2014-GhicaS #bound #linear- Bounded Linear Types in a Resource Semiring (DRG, AIS), pp. 331–350.
CIAA-2014-EsparzaLS #equation #fixpoint #named- FPsolve: A Generic Solver for Fixpoint Equations over Semirings (JE, ML, MS), pp. 1–15.
- LATA-2013-LuttenbergerS #commutative #convergence
- Convergence of Newton’s Method over Commutative Semirings (ML, MS), pp. 407–418.
ICFP-2013-Dolan #algebra #functional #linear- Fun with semirings: a functional pearl on the abuse of linear algebra (SD), pp. 101–110.
PODS-2012-KostylevRS #classification #query- Classification of annotation semirings over query containment (EVK, JLR, AZS), pp. 237–248.
ICLP-2011-Campli #framework- A Semiring-based framework for fair resources allocation (PC), pp. 268–273.
- CIAA-2010-Grosu #commutative #theorem
- The Cayley-Hamilton Theorem for Noncommutative Semirings (RG), pp. 143–153.
DLT-2010-KlimaP #on the- On Schützenberger Products of Semirings (OK, LP), pp. 279–290.
- DLT-2009-Kirsten #commutative
- The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable (DK), pp. 326–333.
- DLT-2008-Esik
- Iteration Semirings (ZÉ), pp. 1–20.
ICALP-B-2008-EsparzaKL- Newton’s Method for ω-Continuous Semirings (JE, SK, ML), pp. 14–26.
- PODS-2007-GreenKT
- Provenance semirings (TJG, GK, VT), pp. 31–40.
- DLT-2007-EsparzaKL
- An Extension of Newton’s Method to ω-Continuous Semirings (JE, SK, ML), pp. 157–168.
- QAPL-2006-SotinCJ #behaviour #java #static analysis
- Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card (PS, DC, TPJ), pp. 153–167.
- QAPL-2004-Lluch-LafuenteM05 #calculus #constraints
- Quantitative ?-calculus and CTL Based on Constraint Semirings (ALL, UM), pp. 37–59.
- DLT-2003-Polak #automaton
- Syntactic Semiring and Universal Automaton (LP), pp. 411–422.
- CIAA-2002-Polak #equation
- Syntactic Semiring and Language Equations (LP), pp. 182–193.
CSL-2002-EsikL #algebra #normalisation- Greibach Normal Form in Algebraically Complete Semirings (ZÉ, HL), pp. 135–150.
FoSSaCS-2001-AcetoEI #axiom- Axiomatizing Tropical Semirings (LA, ZÉ, AI), pp. 42–56.
WLC-2000-AtanasiuMM #on the- On the Sentence Valuations in a Semiring (AA, CMV, VM), pp. 22–39.
- DLT-1997-Kuich #automaton #named
- Semirings: A basis for a mathematical automata and language theory (WK), pp. 49–60.
LICS-1996-Narendran #equation #linear #polynomial- Solving Linear Equations over Polynomial Semirings (PN), pp. 466–472.
- DLT-1993-Honkala #on the
- On Lindenmayerian Series in Complete Semirings (JH), pp. 179–192.
- ICALP-1992-Krob #decidability #multi #problem #similarity
- The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable (DK), pp. 101–112.
- ICALP-1990-Kuich #algebra #automaton
- ω-Continuous Semirings, Algebraic Systems and Pushdown Automata (WK), pp. 103–110.
- ICALP-1987-Kuich #theorem
- The Kleene and the Parikh Theorem in Complete Semirings (WK), pp. 212–225.
