Search results for "Semirings"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
180	Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir	Axiomatizing Tropical Semirings.	FoSSaCS	2001	DBLP DOI BibTeX RDF	relative axiomatizations, commutative idempotent weak semirings, tropical semirings, exponential time complexity, convexity, varieties, Equational logic, complete axiomatizations
100	Todd J. Green, Gregory Karvounarakis, Val Tannen	Provenance semirings.	PODS	2007	DBLP DOI BibTeX RDF	incomplete databases, datalog, probabilistic databases, data provenance, semirings, formal power series, data lineage
100	Zoltán Ésik, Hans Leiß	Greibach Normal Form in Algebraically Complete Semirings.	CSL	2002	DBLP DOI BibTeX RDF	Greibach normal form, pre-fixed-point induction, Conway algebra, algebraically complete semirings, context-free languages, Kleene algebra, equational theory
76	Stephen L. Bloom, Zoltán Ésik, Werner Kuich	Cycle-Free Finite Automata in Partial Iterative Semirings.	CAI	2009	DBLP DOI BibTeX RDF
71	Yun Shang, Ruqian Lu	Semirings and pseudo MV algebras.	Soft Comput.	2007	DBLP DOI BibTeX RDF	K-? automata, K-languages, Semirings, Pseudo MV algebras, Pseudo BL algebras
71	Peter Jipsen	From Semirings to Residuated Kleene Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	action algebras, congruence properties, Gentzen systems, residuated lattices, Semirings, Kleene algebras, Kleene algebras with test
62	Bernhard Möller	Knowledge and Games in Modal Semirings.	RelMiCS	2008	DBLP DOI BibTeX RDF
48	Muhammad Akram 0001, Wieslaw A. Dudek	Intuitionistic fuzzy left k -ideals of semirings.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Intuitionistic fuzzy left k-ideal, Normal fuzzy set, Fuzzy characteristic, Descending chain, Semiring
48	Javier Esparza, Stefan Kiefer, Michael Luttenberger	Newton's Method for omega-Continuous Semirings.	ICALP (2)	2008	DBLP DOI BibTeX RDF
48	Zoltán Ésik	Iteration Semirings.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
48	Javier Esparza, Stefan Kiefer, Michael Luttenberger	On Fixed Point Equations over Commutative Semirings.	STACS	2007	DBLP DOI BibTeX RDF
48	Olga Sokratova	Linear Automata and Recognizable Subsets in Free Semirings.	FCT	2001	DBLP DOI BibTeX RDF	dynamical (linear) system, recognizable set, semiring
43	Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer	Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains.	FoSSaCS	2009	DBLP DOI BibTeX RDF
43	Andreas Maletti	Tree-Series-to-Tree-Series Transformations.	CIAA	2008	DBLP DOI BibTeX RDF
43	Martin Beaudry, Markus Holzer 0001	The Complexity of Tensor Circuit Evaluation.	Comput. Complex.	2007	DBLP DOI BibTeX RDF	Subject classification. 15A69, 68Q70, 68Q17, 68Q15, 68Q05
43	Johanna Högberg, Andreas Maletti, Jonathan May	Bisimulation Minimisation for Weighted Tree Automata.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
43	Andreas Maletti	Hierarchies of Tree Series Transformations Revisited.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
43	Grigori L. Litvinov, Andrei N. Sobolevski	Idempotent Interval Analysis and Optimization Problems.	Reliab. Comput.	2001	DBLP DOI BibTeX RDF
43	Martin Beaudry, Markus Holzer 0001	The Complexity of Tensor Circuit Evaluation.	MFCS	2001	DBLP DOI BibTeX RDF
43	Cliff A. Joslyn	On Possibilistic Automata.	EUROCAST	1993	DBLP DOI BibTeX RDF
38	Sukhendu Kar, Sudipta Purkait	Characterization of some k-regularities of semirings in terms of fuzzy ideals of semirings.	J. Intell. Fuzzy Syst.	2014	DBLP DOI BibTeX RDF
38	Peter Jipsen	Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings.	RAMiCS	2012	DBLP DOI BibTeX RDF
38	Feng Feng 0003, Xianzhong Zhao, Young Bae Jun	-μ-semirings and -λ-semirings.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
38	Zoltán Fülöp 0001, Andreas Maletti, Heiko Vogler	A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Recognizable tree series, Rational tree series, Multioperator monoids, Semirings
38	Christopher Ré, Dan Suciu	The trichotomy of HAVING queries on a probabilistic database.	VLDB J.	2009	DBLP DOI BibTeX RDF	Safe plans, Probabilistic databases, Query evaluation, Semirings, Sampling algorithms
38	J. Nathan Foster, Todd J. Green, Val Tannen	Annotated XML: queries and provenance.	PODS	2008	DBLP DOI BibTeX RDF	xquery, xml, data provenance, semirings, complex values
38	George Theodorakopoulos 0001, John S. Baras	Trust evaluation in ad-hoc networks.	Workshop on Wireless Security	2004	DBLP DOI BibTeX RDF	ad-hoc networks, semirings, trust evaluation, trust metric
38	Jay Fillmore, D. Pumplün, Helmut Röhrl	On N-Summations, I.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	semimodules, N-summation, summarily bounded, Cauchy element, semirings
33	Hitoshi Furusawa, Fumiya Sanda	*-Continuous Idempotent Left Semirings and Their Ideal Completion.	RelMiCS	2009	DBLP DOI BibTeX RDF
33	Peter Höfner, Georg Struth	Non-termination in Idempotent Semirings.	RelMiCS	2008	DBLP DOI BibTeX RDF
33	Jules Desharnais, Georg Struth	Modal Semirings Revisited.	MPC	2008	DBLP DOI BibTeX RDF
33	Javier Esparza, Stefan Kiefer, Michael Luttenberger	An Extension of Newton's Method to omega -Continuous Semirings.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
33	Louise Leenen, Thomas Andreas Meyer, Peter Harvey, Aditya Ghose	A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings.	PRICAI	2006	DBLP DOI BibTeX RDF
33	Jonathan S. Golan, Fuming Wu	Weakly UDO semirings and Korczyski nets over them.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Difference order, Korczy?ski net, Marked net, Concurrent enabling, Petri net, Semiring
33	Georg Karner	A Topology for Complete Semirings.	STACS	1994	DBLP DOI BibTeX RDF
33	Werner Kuich	Omega-Continuous Semirings, Algebraich Systems and Pushdown Automata.	ICALP	1990	DBLP DOI BibTeX RDF
33	Dexter Kozen	On Kleene Algebras and Closed Semirings.	MFCS	1990	DBLP DOI BibTeX RDF
33	Werner Kuich	The Kleene and the Parikh Theorem in Complete Semirings.	ICALP	1987	DBLP DOI BibTeX RDF
28	Ingmar Meinecke	A Weighted µ-Calculus on Words.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
28	Stefano Bistarelli, Francesco Santini 0001	C-semiring Frameworks for Minimum Spanning Tree Problems.	WADT	2008	DBLP DOI BibTeX RDF
28	Stefano Bistarelli, Francesco Santini 0001	Propagating multitrust within trust networks.	SAC	2008	DBLP DOI BibTeX RDF	and-or graphs, soft constraint logic programming, trust propagation, trust network
28	Javier Esparza, Stefan Kiefer, Michael Luttenberger	Derivation Tree Analysis for Accelerated Fixed-Point Computation.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
28	Stefano Bistarelli, Francesco Santini 0001	SCLP for Trust Propagation in Small-World Networks.	CSCLP	2007	DBLP DOI BibTeX RDF
28	Bernhard Möller	The Linear Algebra of UTP.	MPC	2006	DBLP DOI BibTeX RDF
28	Francisco J. Valverde-Albacete, Carmen Peláez-Moreno	Towards a Generalisation of Formal Concept Analysis for Data Mining Purposes.	ICFCA	2006	DBLP DOI BibTeX RDF
28	Shamik Ghosh, Francis J. Pastijn, Xianzhong Zhao	Varieties Generated by Ordered Bands I.	Order	2005	DBLP DOI BibTeX RDF	idempotent semiring, identity, order, variety, band
28	Dan Hirsch, Emilio Tuosto	SHReQ: Coordinating Application Level QoS.	SEFM	2005	DBLP DOI BibTeX RDF
28	Brunella Gerla	Automata over MV-Algebra.	ISMVL	2004	DBLP DOI BibTeX RDF
28	Mehryar Mohri	Generic epsilon -Removal Algorithm for Weighted Automata.	CIAA	2000	DBLP DOI BibTeX RDF
28	Georg Karner, Werner Kuich	A Characterization of Abstract Families of Algebraic Power Series.	MFCS	1997	DBLP DOI BibTeX RDF
28	Helmut Seidl	Finite Tree Automata with Cost Functions.	CAAP	1992	DBLP DOI BibTeX RDF
24	Francis Pastijn	Varieties Generated by Ordered Bands II.	Order	2005	DBLP DOI BibTeX RDF	idempotent semirings, identity, order, variety, band
24	Helmut Röhrl	On N-Summations, II.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	semimodules, N-summation, unconditionally summable, semirings
24	Franz Baader, Werner Nutt	Combination problems for commutative/monoidal theories or how algebra can help in equational unification.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Equational unification, Semiadditive categories, Semirings, Equational theories
19	Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang	Convergence of datalog over (Pre-) Semirings.	J. ACM	2024	DBLP DOI BibTeX RDF
19	Vincent Derkinderen, Robin Manhaeve, Pedro Zuidberg Dos Martires, Luc De Raedt	Semirings for Probabilistic and Neuro-Symbolic Logic Programming.	CoRR	2024	DBLP DOI BibTeX RDF
19	Hangdong Zhao, Shaleen Deep, Paraschos Koutris, Sudeepa Roy, Val Tannen	Evaluating Datalog over Semirings: A Grounding-based Approach.	CoRR	2024	DBLP DOI BibTeX RDF
19	Xiaohui Niu, Wenxi Li, Zhongzhi Wang	On Grobner-Shirshov bases for Markov semirings.	CoRR	2024	DBLP DOI BibTeX RDF
19	Xuliang Xian, Yong Shao	Subdirect product decompositions of additively regular semirings.	Soft Comput.	2024	DBLP DOI BibTeX RDF
19	Sulaiman Alhussaini, Sergei Sergeev	On implementation of Stickel's key exchange protocol over max-min and max-T semirings.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
19	Kyle Gorman, Cyril Allauzen	A* shortest string decoding for non-idempotent semirings.	EACL (1)	2024	DBLP BibTeX RDF
19	Sungjin Im, Benjamin Moseley, Hung Q. Ngo 0001, Kirk Pruhs	On the Convergence Rate of Linear Datalog ^∘ over Stable Semirings.	ICDT	2024	DBLP DOI BibTeX RDF
19	Balasubramanian Elavarasan, G. Muhiuddin, Kasi Porselvi, Young Bae Jun	On hybrid k-ideals in semirings.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
19	V. Keerthika, G. Muhiuddin, Young Bae Jun, Balasubramanian Elavarasan	Hybrid ordered ideals in ordered semirings.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
19	Yanan (Nancy) Jiang, Bangzheng Li, Sophie Zhu	On the primality and elasticity of algebraic valuations of cyclic free semirings.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
19	Ghulam Muhiuddin, Nabilah Abughazalah, Ahsan Mahboob, Deena Al-Kadi	A Novel Study of Fuzzy Bi-Ideals in Ordered Semirings.	Axioms	2023	DBLP DOI BibTeX RDF
19	Jirí Mockor	Closure theory for semirings-valued fuzzy sets with applications to new fuzzy structures.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
19	Shahida Bashir, Mohammed M. Ali Al-Shamiri, Shahzeen Khalid, Rabia Mazhar	Regular and Intra-Regular Ternary Semirings in Terms of m-Polar Fuzzy Ideals.	Symmetry	2023	DBLP DOI BibTeX RDF
19	Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang	Convergence of Datalog over (Pre-) Semirings.	SIGMOD Rec.	2023	DBLP DOI BibTeX RDF
19	Atri Rudra	Technical Perspective: (Pre-) Semirings Come to the Recursion Party.	SIGMOD Rec.	2023	DBLP DOI BibTeX RDF
19	Tobias Fritz	Abstract Vergleichsstellensätze for Preordered Semifields and Semirings I.	SIAM J. Appl. Algebra Geom.	2023	DBLP DOI BibTeX RDF
19	Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema	Unified Foundations of Team Semantics via Semirings.	CoRR	2023	DBLP DOI BibTeX RDF
19	Cristina Matache, Sean K. Moss, Sam Staton, Ariadne Si Suo	Denotational semantics for languages for inference: semirings, monads, and tensors.	CoRR	2023	DBLP DOI BibTeX RDF
19	Aduri Pavan, Kuldeep S. Meel, N. V. Vinodchandran, Arnab Bhattacharyya 0001	Constraint Optimization over Semirings.	CoRR	2023	DBLP DOI BibTeX RDF
19	Sungjin Im, Benjamin Moseley, Hung Q. Ngo 0001, Kirk Pruhs	On the Convergence Rate of Linear Datalogo over Stable Semirings.	CoRR	2023	DBLP DOI BibTeX RDF
19	Andreas Maletti, Nils Oskar Nuernbergk	Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings.	AFL	2023	DBLP DOI BibTeX RDF
19	Purandar Bhaduri	Coalgebras for Bisimulation of Weighted Automata over Semirings.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Gustav Grabolle	A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	José Gil-Férez, Peter Jipsen, Siddhartha Lodhia	The Structure of Locally Integral Involutive Po-monoids and Semirings.	RAMiCS	2023	DBLP DOI BibTeX RDF
19	Aduri Pavan, Kuldeep S. Meel, N. V. Vinodchandran, Arnab Bhattacharyya 0001	Constraint Optimization over Semirings.	AAAI	2023	DBLP DOI BibTeX RDF
19	Ruiwen Dong 0001	Solving Homogeneous Linear Equations over Polynomial Semirings.	STACS	2023	DBLP DOI BibTeX RDF
19	Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema	Unified Foundations of Team Semantics via Semirings.	KR	2023	DBLP DOI BibTeX RDF
19	Ghulam Muhiuddin, J. Catherine Grace John, Balasubramanian Elavarasan, Young Bae Jun, Kasi Porselvi	Hybrid structures applied to modules over semirings.	J. Intell. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
19	Péter Vrana	A Generalization of Strassen's Theorem on Preordered Semirings.	Order	2022	DBLP DOI BibTeX RDF
19	Arsham Borumand Saeid, Marapureddy Murali Krishna Rao, Rajendra Kumar Kona, Noorbhasha Rafi	Fuzzy (Soft) Quasi-Interior Ideals of Semirings.	TFSS	2022	DBLP DOI BibTeX RDF
19	Kyle Gorman, Cyril Allauzen	A* shortest string decoding for non-idempotent semirings.	CoRR	2022	DBLP DOI BibTeX RDF
19	Takeshi Tsukada, Kazuyuki Asada	Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings.	CoRR	2022	DBLP DOI BibTeX RDF
19	Gustav Grabolle	A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings.	CoRR	2022	DBLP DOI BibTeX RDF
19	Ruiwen Dong 0001	Solving homogeneous linear equations over polynomial semirings.	CoRR	2022	DBLP DOI BibTeX RDF
19	Takeshi Tsukada, Kazuyuki Asada	Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱.	LICS	2022	DBLP DOI BibTeX RDF
19	Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang	Convergence of Datalog over (Pre-) Semirings.	PODS	2022	DBLP DOI BibTeX RDF
19	Stefano Bistarelli, Fabio Rossi, Francesco Santini 0001	Kruskal with embedded C-semirings to solve MST problems with partially-ordered costs.	Inf. Process. Lett.	2021	DBLP DOI BibTeX RDF
19	Pavel Spacek, Jan Komenda, Sébastien Lahaye	Analysis of P-time event graphs in (max, +) and (min, +) semirings.	Int. J. Syst. Sci.	2021	DBLP DOI BibTeX RDF
19	Peter Kostolányi	Rational elements of summation semirings.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
19	Purandar Bhaduri	Coalgebras for Bisimulation of Weighted Automata over Semirings.	CoRR	2021	DBLP BibTeX RDF
19	Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang	Convergence of Datalog over (Pre-) Semirings.	CoRR	2021	DBLP BibTeX RDF
19	Gustav Grabolle	A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings.	GandALF	2021	DBLP DOI BibTeX RDF
19	Matthias Naaf	Computing Least and Greatest Fixed Points in Absorptive Semirings.	CoRR	2021	DBLP BibTeX RDF
19	Debabrata Mandal	A Hesitant Intuitionistic Fuzzy Set Approach to Study Ideals of Semirings.	Int. J. Fuzzy Syst. Appl.	2021	DBLP DOI BibTeX RDF
19	Michael Baur, Thomas Studer	Semirings of Evidence.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF