|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 3 keywords
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
78 | Feng Feng 0003, Young Bae Jun |
Inductive semimodules and the vector modules over them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(11), pp. 1113-1121, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Semimodule, Inductive *-semiring, Kleene module, Inductive semimodule, Linear inequation system, Semiring, Kleene algebra |
72 | Helmut Röhrl |
Completeness and Cocompleteness of RSmod1 N. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 257-269, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
prenormed semimodule, N-summation, cocomplete, free objects, complete |
57 | Jay Fillmore, D. Pumplün, Helmut Röhrl |
On N-Summations, I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(3), pp. 291-315, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
semimodules, N-summation, summarily bounded, Cauchy element, semirings |
48 | 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 |
|
33 | Helmut Röhrl |
On N-Summations, II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(1), pp. 79-97, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
semimodules, N-summation, unconditionally summable, semirings |
30 | Alejandro Díaz-Caro, Octavio Malherbe |
Semimodules and the (syntactically-)linear lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.02142, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Simin Saidi Goraghani, Rajab Ali Borzooei, Sun Shin Ahn |
New definition of MV-semimodules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 41(2), pp. 3715-3726, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Filippo Bonchi, Alessio Santamaria |
Combining Semilattices and Semimodules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, pp. 102-123, 2021, Springer, 978-3-030-71994-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Filippo Bonchi, Alessio Santamaria |
Combining Semilattices and Semimodules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.14778, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Ruiqi Bai, Yichuan Yang |
Structure and representation of semimodules over inclines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 171(10), pp. 102844, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas |
Kleene Algebras and Semimodules for Energy Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.0635, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
30 | Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas |
Kleene Algebras and Semimodules for Energy Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 102-117, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Oleh R. Nykyforchyn |
Adjoints and Monads Related to Compact Lattices and Compact Lawson Idempotent Semimodules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 29(1), pp. 193-213, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Oleh R. Nykyforchyn, Dusan Repovs |
L-fuzzy strongest postcondition predicate transformers as L-idempotent linear or affine operators between semimodules of monotonic predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 208, pp. 67-78, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Bartosz M. Jablonski, Anna B. Romanowska |
On Mode Reducts of Semimodules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 21(3), pp. 485-504, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Yong He, Yu Liu, Kejie Wang |
Semimodules and semirings admitting a maximal factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 87(10), pp. 2158-2172, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Agata Pilitowska, Anna B. Romanowska, David Stanovský |
Varieties of Differential Modes Embeddable into Semimodules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 19(5), pp. 669-680, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Michal M. Stronkowski |
Embedding Entropic Algebras into Semimodules and Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 19(8), pp. 1025-1047, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | M. Zayed |
An Application of Model Theory to Semimodules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 16(1), pp. 99-102, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Francisco J. Valverde-Albacete, Carmen Peláez-Moreno |
Galois Connections Between Semimodules and Applications in Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings, pp. 181-196, 2007, Springer, 3-540-70828-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Francisco J. Valverde-Albacete, Carmen Peláez-Moreno |
Further Galois Connections between Semimodules over Idempotent Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLA ![In: Proceedings of the Fifth International Conference on Concept Lattices and Their Applications, CLA 2007, Montpellier, France, October 24-26, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
30 | Ying Shang, Michael K. Sain |
On zero semimodules of systems over semirings with applications to queueing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2005, Portland, OR, USA, 8-10 June, 2005, pp. 225-230vol.1, 2005, IEEE, 0-7803-9098-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | 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 |
|
30 | Huda Mohammed J. Al-Thani |
Flat semimodules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2004(17), pp. 873-880, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Hans Leiß |
Kleenean semimodules and linear languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings, pp. 51-53, 2002, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
30 | Yehoshafat Give'on |
Categories of Semimodules: The Categorical Structural Properties of Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 1(1), pp. 67-78, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
24 | Radu Grosu |
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings, pp. 194-208, 2009, Springer, 978-3-642-00601-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | 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 |
|
24 | Marianne Akian, Stephane Gaubert, Asma Lakhoua |
Convergence analysis of the Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 927-934, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|