Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Kim Solin |
A sketch of a dynamic epistemic semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 208(5), pp. 594-604, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell |
Semiring-Induced Propositional Logic: Definition and Basic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Dakar) ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, pp. 332-347, 2010, Springer, 978-3-642-17510-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Bistarelli, Francesco Santini 0001 |
A Common Computational Framework for Semiring-based Argumentation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, pp. 131-136, 2010, IOS Press, 978-1-60750-605-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Michele Boreale, David Clark 0001, Daniele Gorla |
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings, pp. 340-354, 2010, Springer, 978-3-642-15239-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Mingwu Zhang, Bo Yang 0003, Shenglin Zhu, Wenzheng Zhang |
Ordered Semiring-based Trust Establish Model with Risk Evaluating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Secur. ![In: Int. J. Netw. Secur. 8(2), pp. 101-106, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
20 | Zhixi Wang, Feixiang Liang, Yong He, Di Yang |
Semiring Structures of some Classes of Hypercodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 14(3/4), pp. 259-272, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Václav Flaska |
One very particular example of a congruence-simple semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 30(4), pp. 759-763, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Kul Hur, Ro-Ra Kim, Pyung-Ki Lim |
Intuitionistic fuzzy k-ideals of a semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Fuzzy Log. Intell. Syst. ![In: Int. J. Fuzzy Log. Intell. Syst. 9(2), pp. 110-114, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Roland Glück, Bernhard Möller, Michel Sintzoff |
A Semiring Approach to Equivalences, Bisimulations and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 134-149, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Hiroshi Hosobe |
Constraint Hierarchies as Semiring-Based CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009, pp. 176-183, 2009, IEEE Computer Society, 978-0-7695-3920-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Kiran K. Somasundaram, John S. Baras |
Semiring Pruning for Information Dissemination in Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetCoM ![In: First International Conference on Networks and Communications, NetCoM 2009, Chennai, India, December 27-29, 2009, pp. 319-325, 2009, IEEE Computer Society, 978-0-7695-3924-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Yue Yu 0002, Shangping Ren, Carolyn L. Talcott |
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA@ICALP ![In: Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008, pp. 133-153, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Andrén, Lars Hellström, Klas Markström |
Fast multiplication of matrices over a finitely generated semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 107(6), pp. 230-234, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Xianzhong Zhao, Young Bae Jun, Fang Ren |
The semiring of matrices over a finite chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 178(17), pp. 3443-3450, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jürg Kohlas, Nic Wilson |
Semiring induced valuation algebras: Exact and approximate local computation algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 172(11), pp. 1360-1399, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Sanjiang Li, Mingsheng Ying |
Soft constraint abstraction based on semiring homomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 403(2-3), pp. 192-201, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Bistarelli, Francesco Santini 0001 |
C-semiring Frameworks for Minimum Spanning Tree Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 56-70, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Liang Huang 0001 |
Advanced Dynamic Programming in Semiring and Hypergraph Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING (Tutorial) ![In: Coling 2008: Advanced Dynamic Programming in Computational Linguistics: Theory, Algorithms and Applications - Tutorial notes, Manchester, UK, August 18-22, 2008, pp. 1-18, 2008, Coling 2008 Organizing Committee. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Jin-Jiang Yao, Zhen-ming Ma |
Generated Fuzzy Ideals and Its Lattice Structures in Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACFIE ![In: Fuzzy Information and Engineering - Volume 1, Proceedings of the Third Annual Conference on Fuzzy Information and Engineering, ACFIE 2008, December 5-10, 2008, Haikou, China, pp. 152-156, 2008, 978-3-540-88913-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Igor Dolinka |
A nonfinitely Based Finite Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 17(8), pp. 1537-1551, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Louise Leenen, Thomas Andreas Meyer, Aditya Ghose |
Relaxations of semiring constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 103(5), pp. 177-182, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Zoltán Ésik, Werner Kuich |
A Semiring-Semimodule Generalization of Transducers and Abstract omega-Families of Power Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 12(4), pp. 435-454, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Sanjiang Li, Mingsheng Ying |
Soft constraint abstraction based on semiring homomorphism ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0705.0734, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
20 | Salvador España Boquera, Jorge Gorbe-Moya, Francisco Zamora-Martínez |
Semiring Lattice Parsing Applied to CYK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA (1) ![In: Pattern Recognition and Image Analysis, Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I, pp. 603-610, 2007, Springer, 978-3-540-72846-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Ying Shang, Michael K. Sain |
Fixed zeros in the model matching problem for systems over a semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007, pp. 3381-3386, 2007, IEEE, 978-1-4244-1497-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Xuan-Ha Vu, Barry O'Sullivan |
Semiring-Based Constraint Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (1) ![In: 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 1, pp. 251-258, 2007, IEEE Computer Society, 0-7695-3015-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Kul Hur, Su Youn Jang, Keon-Chang Lee |
Intuitionistic Fuzzy Weak Congruences on a Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Fuzzy Log. Intell. Syst. ![In: Int. J. Fuzzy Log. Intell. Syst. 6(4), pp. 321-330, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Bistarelli, Fabio Gadducci |
Enhancing Constraints Manipulation in Semiring-Based Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, pp. 63-67, 2006, IOS Press, 1-58603-642-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Peter Höfner |
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM Doctoral Symposium ![In: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005, pp. 49-72, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin Aziz |
A Semiring-based Quantitative Analysis of Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SVV@ICFEM ![In: Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005, pp. 3-21, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Zoltán Ésik, Werner Kuich |
A Semiring-Semimodule Generalization of ω-Regular Languages II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 10(2/3), pp. 243-264, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Zoltán Ésik, Werner Kuich |
A Semiring-Semimodule Generalization of ω-Regular Languages I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 10(2/3), pp. 203-242, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Eligijus Sakalauskas |
One Digital Signature Scheme in Semimodule over Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica ![In: Informatica 16(3), pp. 383-394, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Patrick M. Sain, Ying Shang, Michael K. Sain |
Reachability analysis for N-squared state charts over a Boolean semiring applied to a hysteretic discrete event structural control model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2005, Portland, OR, USA, 8-10 June, 2005, pp. 3072-3077, 2005, IEEE, 0-7803-9098-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Nic Wilson |
Decision Diagrams for the Computation of Semiring Valuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005, pp. 331-336, 2005, Professional Book Center, 0938075934. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Stéphane Gaubert, Ricardo Katz |
Rational semimodules over the max-plus semiring and geometric approach to discrete event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 40(2), pp. 153-180, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
20 | Martin Sachenbacher, Brian C. Williams |
Diagnosis as Semiring-Based Constraint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 873-877, 2004, IOS Press, 1-58603-452-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
20 | Adrian Atanasiu, Carlos Martín-Vide, Victor Mitrana |
On the sentence valuation in a semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 151, pp. 107-124, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Jerome Kelleher, Barry O'Sullivan |
Optimising the Representation and Evaluation of Semiring Combination Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 978, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Ivana Stajner-Papuga |
Henstock-Kurzweil Type Integral Based on Generalized g-Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. ![In: Int. J. Uncertain. Fuzziness Knowl. Based Syst. 10(Supplement), pp. 89-104, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Mehryar Mohri |
Semiring Frameworks and Algorithms for Shortest-Distance Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 7(3), pp. 321-350, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Bhaskar DasGupta, Eduardo D. Sontag |
A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 262(1), pp. 161-189, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Erich-Peter Klement, Radko Mesiar, Endre Pap |
Integration with Respect to Decomposable Measures, Based on a Conditionally Distributive Semiring on the Unit Interval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. ![In: Int. J. Uncertain. Fuzziness Knowl. Based Syst. 8(6), pp. 701-717, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Adrian Atanasiu, Carlos Martín-Vide, Victor Mitrana |
On the Sentence Valuations in a Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Languages & Combinatorics ![In: Proceedings of the International Colloquium on Words, Languages & Combinatorics III, Kyoto, Japan, March 14-18, 2000., pp. 22-39, 2000, World Scientific, 978-9810249489. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Joshua Goodman 0001 |
Semiring Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Linguistics ![In: Comput. Linguistics 25(4), pp. 573-605, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
20 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001, Thomas Schiex, Gérard Verfaillie, Hélène Fargier |
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 4(3), pp. 199-240, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Yan Georget, Philippe Codognet |
Encoding global constraints in semiring-based constraint solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Tenth IEEE International Conference on Tools with Artificial Intelligence, ICTAI '98, Taipei, Taiwan, November 10-12, 1998, pp. 400-407, 1998, IEEE Computer Society, 0-7803-5214-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001 |
Semiring-based Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI (1) ![In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes, pp. 352-357, 1997, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Stephen L. Bloom, Zoltán Ésik |
Two Axiomatizations of a Star Semiring Quasi-Variety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 59, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
20 | Werner Kuich |
Representations and Complete Semiring Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 56(6), pp. 293-298, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | C. W. Tong, K. P. Lam |
Closed semiring optimization circuits using a connectionist approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNN ![In: Proceedings of International Conference on Neural Networks (ICNN'95), Perth, WA, Australia, November 27 - December 1, 1995, pp. 69-72, 1995, IEEE. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi 0001, Thomas Schiex, Gérard Verfaillie |
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Over-Constrained Systems ![In: Over-Constrained Systems, pp. 111-150, 1995, Springer, 3-540-61479-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Krob |
The Equality Problem for Rational Series with Multiplicities in the tropical Semiring is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 4(3), pp. 405-426, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Agnès Bonnier-Rigny, Daniel Krob |
A Complete System of Identities for One-Letter Rational Expressions with Multiplicities in the Tropical Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 134(1), pp. 27-50, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Imre Simon |
On Semigroups of Matrices over the Tropical Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 28(3-4), pp. 277-294, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Krob |
The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, pp. 101-112, 1992, Springer, 3-540-55719-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | David A. Gregory, Norman J. Pullman, Kathryn Fraughnaugh Jones, J. Richard Lundgren |
Biclique coverings of regular bigraphs and minimum semiring ranks of regular matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 51(1), pp. 73-89, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Kazuo Iwano, Kenneth Steiglitz |
A Semiring on Convex Polygons and Zero-Sum Cycle Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 19(5), pp. 883-901, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Marc Wagowski |
Matroid Signatures Coordinatizable over a Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 10(4), pp. 393-398, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
20 | S. Kamal Abdali, B. David Saunders |
Transitive Closure and Related Semiring Properties via Eliminants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 40, pp. 257-274, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
20 | Michael G. Main, David B. Benson |
Free Semiring-Representations and Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 30(3), pp. 318-328, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
20 | John G. Fletcher |
A More General Algorithm for Computing Closed Semiring Costs Between Vertices of a Directed Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 23(6), pp. 350-351, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Bertoni |
Equations of Formal Power Series over Non Commutative Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, Strbské Pleso, High Tatras, Czechoslovakia, September 3-8, 1973., pp. 185-190, 1973, Mathematical Institute of the Slovak Academy of Sciences. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP BibTeX RDF |
|
13 | Grigoris Karvounarakis, Zachary G. Ives, Val Tannen |
Querying data provenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 951-962, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
query processing, annotation, query language, data provenance |
13 | Andreas Maletti |
A Backward and a Forward Simulation for Weighted Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 288-304, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Kirsten |
An Algebraic Characterization of Semirings for Which the Support of Every Recognizable Series Is Recognizable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings, pp. 489-500, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Ingmar Meinecke |
A Weighted µ-Calculus on Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings, pp. 384-395, 2009, Springer, 978-3-642-02736-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | James Worthington |
A Bialgebraic Approach to Automata and Formal Language Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 451-467, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Timothy G. Griffin, Alexander J. T. Gurney |
Increasing Bisemigroups and Algebraic Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 123-137, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Jules Desharnais, Georg Struth |
Domain Axioms for a Family of Near-Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, pp. 330-345, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Bistarelli, Fabio Martinelli, Francesco Santini 0001 |
Weighted Datalog and Levels of Trust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 1128-1134, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Newton's Method for omega-Continuous Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, pp. 14-26, 2008, Springer, 978-3-540-70582-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Christian Mathissen |
Weighted Logics for Nested Words and Algebraic Formal Power Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, pp. 221-232, 2008, Springer, 978-3-540-70582-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Manfred Droste, Karin Quaas |
A Kleene-Schützenberger Theorem for Weighted Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 142-156, 2008, Springer, 978-3-540-78497-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | J. Nathan Foster, Todd J. Green, Val Tannen |
Annotated XML: queries and provenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, pp. 271-280, 2008, ACM, 978-1-60558-108-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
xquery, xml, data provenance, semirings, complex values |
13 | Stefano Bistarelli, Fabio Martinelli, Francesco Santini 0001 |
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings, pp. 481-495, 2008, Springer, 978-3-540-69294-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Maletti |
Myhill-Nerode Theorem for Recognizable Tree Series Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2008: Theoretical Informatics, 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings, pp. 106-120, 2008, Springer, 978-3-540-78772-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Alexandra Silva 0001, Jan J. M. M. Rutten |
Behavioural Differential Equations and Coinduction for Binary Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings, pp. 322-336, 2007, Springer, 978-3-540-73443-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Véronique Cortier, Stéphanie Delaune |
Deciding Knowledge in Security Protocols for Monoidal Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, pp. 196-210, 2007, Springer, 978-3-540-75558-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Ryan Williams 0001 |
Matrix-vector multiplication in sub-quadratic time: (some preprocessing required). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007, New Orleans, Louisiana, USA, January 7-9, 2007, pp. 995-1001, 2007, SIAM, 978-0-898716-24-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
13 | Christian Mathissen |
Definable Transductions and Weighted Logics for Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings, pp. 324-336, 2007, Springer, 978-3-540-73207-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Gösta Grahne, Alex Thomo, William W. Wadge |
Preferentially Annotated Regular Path Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings, pp. 314-328, 2007, Springer, 3-540-69269-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto |
Fourier meets möbius: fast subset convolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007, pp. 67-74, 2007, ACM, 978-1-59593-631-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Möbius transform, Steiner tree, convolution |
13 | Christopher Ré, Dan Suciu |
Efficient Evaluation of. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers, pp. 186-200, 2007, Springer, 978-3-540-75986-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | George Theodorakopoulos 0001, John S. Baras |
On trust models and trust evaluation metrics for ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 24(2), pp. 318-328, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Peter Höfner, Bernhard Möller, Kim Solin |
Omega Algebra, Demonic Refinement Algebra and Commands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 222-234, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Bernhard Möller |
The Linear Algebra of UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings, pp. 338-358, 2006, Springer, 3-540-35631-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Walter Guttmann, Bernhard Möller |
Modal Design Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers, pp. 236-256, 2006, Springer, 3-540-34750-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Cyril Allauzen, Mehryar Mohri |
A Unified Construction of the Glushkov, Follow, and Antimirov Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings, pp. 110-121, 2006, Springer, 3-540-37791-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Maletti |
Does o-Substitution Preserve Recognizability? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings, pp. 150-161, 2006, Springer, 3-540-37213-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Ingmar Meinecke |
Weighted Logics for Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, pp. 235-246, 2006, Springer, 3-540-34166-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Francisco J. Valverde-Albacete, Carmen Peláez-Moreno |
Towards a Generalisation of Formal Concept Analysis for Data Mining Purposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006, Proceedings, pp. 161-176, 2006, Springer, 3-540-32203-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Ina Mäurer |
Weighted Picture Automata and Weighted Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings, pp. 313-324, 2006, Springer, 978-3-540-32301-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Malek Mouhoub, Amrudee Sukpan |
Conditional and Composite Temporal Constraints with Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary, pp. 95-102, 2006, IEEE Computer Society, 0-7695-2617-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Corinna Cortes, Mehryar Mohri, Ashish Rastogi, Michael Riley 0001 |
Efficient Computation of the Relative Entropy of Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2006: Theoretical Informatics, 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings, pp. 323-336, 2006, Springer, 3-540-32755-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Manfred Droste, Christian Pech, Heiko Vogler |
A Kleene Theorem for Weighted Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 38(1), pp. 1-38, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Alexandru Mateescu |
Algebraic Aspects of Parikh Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Is Forever ![In: Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday, pp. 170-180, 2004, Springer, 3-540-22393-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Zoltán Ésik, Werner Kuich |
An Algebraic Generalization of omega-Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings, pp. 648-659, 2004, Springer, 3-540-22823-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Brunella Gerla |
Automata over MV-Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, Canada, pp. 49-54, 2004, IEEE Computer Society, 0-7695-2130-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Alberto Bertoni, Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati |
Local Limit Distributions in Pattern Statistics: Beyond the Markovian Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings, pp. 117-128, 2004, Springer, 3-540-21236-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|