BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
seri (3)
method (3)
quantit (3)
base (3)
newton (3)

Stem semir$ (all stems)

30 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.