Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
109 | Michael Hoffmann 0002, Richard M. Thomas |
Biautomatic Semigroups. |
FCT |
2005 |
DBLP DOI BibTeX RDF |
biautomatic, automatic, Automata and formal languages, semigroups |
100 | Karl Auinger, Gracinda M. S. Gomes, Victoria Gould, Benjamin Steinberg |
An application of a Theorem of Ash to finite covers. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
weakly left quasi-ample semigroup, proper cover |
100 | Tatjana Petkovic, Miroslav Ciric 0001, Stojan Bogdanovic |
Characteristic Semigroups of Directable Automata. |
Developments in Language Theory |
2002 |
DBLP DOI BibTeX RDF |
|
86 | Sunil Arya, David M. Mount, Jian Xia |
Tight lower bounds for halfspace range searching. |
SCG |
2010 |
DBLP DOI BibTeX RDF |
lower bounds, range searching, idempotence |
71 | Sunil Arya, Theocharis Malamatos, David M. Mount |
The Effect of Corners on the Complexity of Approximate Range Searching. |
Discret. Comput. Geom. |
2009 |
DBLP DOI BibTeX RDF |
Computational complexity, Approximation algorithms, Range searching, Idempotence |
71 | Gérard Jacob |
Complexite des Demi-Groupes de Matrices. |
ICALP |
1977 |
DBLP DOI BibTeX RDF |
|
71 | Gustav Nordh, Peter Jonsson |
The Complexity of Counting Solutions to Systems of Equations over Finite Semigroups. |
COCOON |
2004 |
DBLP DOI BibTeX RDF |
|
71 | A. Ecker |
Finite Semigroups and the RSA-Cryptosystem. |
EUROCRYPT |
1982 |
DBLP DOI BibTeX RDF |
|
57 | Sunil Arya, Theocharis Malamatos, David M. Mount |
The effect of corners on the complexity of approximate range searching. |
SCG |
2006 |
DBLP DOI BibTeX RDF |
approximation algorithms, range searching, idempotence |
57 | Janis Buls, Vaira Buza, Roberts Glaudins |
Representation of Autonomous Automata. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
|
57 | Hervé Caussinus, François Lemieux |
The Complexity of Computing over Quasigroups. |
FSTTCS |
1994 |
DBLP DOI BibTeX RDF |
|
57 | Gianfranco Bilardi, Franco P. Preparata |
Size-time complexity of Boolean networks for prefix computations. |
J. ACM |
1989 |
DBLP DOI BibTeX RDF |
|
57 | Carlos Munuera, Fernando Torres 0002, Juan Elmer Villanueva |
Sparse Numerical Semigroups. |
AAECC |
2009 |
DBLP DOI BibTeX RDF |
|
57 | Wen Ting Zhang, Yan Feng Luo |
On Varieties Generated by Minimal Complex Semigroups. |
Order |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 20M07 |
57 | Daniel Singer |
Linearly ordered semigroups for fuzzy set theory. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03E04, 03E72, 03G25, 06B30, 22A15, 18B40, 03G10, 06F05, 06B35 |
57 | Bijan Davvaz |
Extensions of fuzzy hyperideals in HV-semigroups. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 20N20, 20N25 |
57 | Peter Jipsen |
A Note on Complex Algebras of Semigroups. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
56 | Teruo Imaoka |
Prehomomorphisms on Locally Inverse ast-Semigroups. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
52 | Jérémie Cabessa, Jacques Duparc |
The Algebraic Counterpart of the Wagner Hierarchy. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
?-automata, ?-rational languages, ?-semigroups, Wadge game, Wadge hierarchy, Wagner hierarchy, infinite games |
52 | Paul Bell, Igor Potapov |
Lowering Undecidability Bounds for Decision Questions in Matrices. |
Developments in Language Theory |
2006 |
DBLP DOI BibTeX RDF |
vector reachability, matrix semigroups, piecewise linear maps, membership, Theory of computing |
52 | Ondrej Klíma 0001 |
Unification Modulo Associativity and Idempotency Is NP-complete. |
MFCS |
2002 |
DBLP DOI BibTeX RDF |
idempotent semigroups, complexity, unification |
43 | Maria Bras-Amorós, Michael E. O'Sullivan |
The Order Bound on the Minimum Distance of the One-Point Codes Associated to the Garcia-Stichtenoth Tower. |
IEEE Trans. Inf. Theory |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Sunil Arya, Theocharis Malamatos, David M. Mount |
On the importance of idempotence. |
STOC |
2006 |
DBLP DOI BibTeX RDF |
approximation algorithms, range searching, idempotence |
43 | Markus Holzer 0001, Barbara König 0001 |
On Deterministic Finite Automata and Syntactic Monoid Size, Continued. |
Developments in Language Theory |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Karel Culík II, Tero Harju |
Dominoes and the Regularity of DNS Splicing Languages. |
ICALP |
1989 |
DBLP DOI BibTeX RDF |
|
43 | Jules Desharnais, Peter Jipsen, Georg Struth |
Domain and Antidomain Semigroups. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Maria Bras-Amorós |
A Note on Numerical Semigroups. |
IEEE Trans. Inf. Theory |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Paul Bell, Igor Potapov |
Reachability Problems in Quaternion Matrix and Rotation Semigroups. |
MFCS |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Sándor Jenei |
On the structure of rotation-invariant semigroups. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Franz Baader |
Rewrite Systems for Varieties of Semigroups. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
42 | Masami Ito, Gheorghe Paun, Sheng Yu 0001 (eds.) |
Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Zoltán Ésik, Werner Kuich |
A Generation of Kozen's Axiomatization of the Equational Theory of the Regular Sets. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Masami Ito, Carlos Martín-Vide, Gheorghe Paun |
A Characterization of Parikh Sets of ET0L Languages in Terms of P Systems. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Lucian Ilie |
On Generalized Slenderness of Context-Free Languages. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Ludwig Staiger |
Topologies for the Set of Disjunctive omega-Words. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Vincenzo Manca |
On the Generative Power of Iterated Transductions. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Jürgen Dassow |
Conditional Grammars with Restrictions by Syntactic Parameters. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Taishin Y. Nishida, Shigeko Seki |
A Definition of Parikh Controlled Context-Free Grammars and Some Properties of Them. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Kiyoshi Iseki |
Some Fundamental Theorems on BCK. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Lila Kari, Andrei Paun |
String Operations Suggested by DNA Biochemistry: The Balanced Cut Operation. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Helmut Prodinger |
Words, Dyck Paths, Trees, and Bijections. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Florentin Ipate, Marian Gheorghe 0001, Mike Holcombe, Tudor Balanescu |
Testing Using X-Machine Translations. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Henning Fernau, Ralf Stiebe |
Valence Grammars with Target Sets. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Maurice Margenstern, Yurii Rogozhin |
Time-Varying Distributed H Systems of Degree 1 Generate All Recursively Enumerable Languages. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Gemma Bel Enguix |
Mixed Links: A Method for Generating Multi-Stranded Structures in Syntax. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Juha Honkala |
On Sparse 0L Languages Over the Binary Alphabet. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | László Kászonyi |
How to Generate Binary Codes Using Context-Free Grammars. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Cristian S. Calude, Elena Calude, Peter Kay |
Liars, Demons, and Chaos. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Jia Lee, Kenichi Morita |
Generation and Parsing of Morphism Languages by Uniquely Parallel Parsable Grammars. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Ferenc Gécseg, Balázs Imreh |
On Isomorphic Representations of Monotone Tree and Nondeterministic Tree . |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Andrzej Ehrenfeucht, Ion Petre, David M. Prescott, Grzegorz Rozenberg |
Circularity and Other Invariants of Gene Assembly in Ciliates. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Helmut Jürgensen |
Disjunctivity. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Takashi Saito |
Characterization of Finite Automata by the Images and the Kernels of Their Tranistion Functions. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Stuart A. Rankin |
Semilattice Amalgams and Semidirect Product. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | |
The publications of Gabriel Thierrin. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Gundula Niemann, Friedrich Otto |
On the Power of RRWW-Automata. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Peter R. J. Asveld |
Some Operators on Families of Fuzzy Languages and Their Monoids. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Ferenc Gécseg, Magnus Steinby |
Minimal Recognizers and Syntactic Monoids of DR Tree Languages. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Arto Salomaa |
Iterated Morphisms with Complementarity on the DNA Alphabet. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Tom Head |
Visualizing Languages Using Primitive Powers. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Juan Castellanos, Victor Mitrana |
Some Remarks on Hairpin and Loop Languages. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Pál Dömösi |
On Complete Classes of Directed Graphs. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
42 | Chen-Ming Fan, Huei-Jan Shyr |
Catenation Closed Pairs and Forest Languages. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
38 | Claudio Gutierrez 0001 |
Satisfiability of Word Equations with Constants is in Exponential Space. |
FOCS |
1998 |
DBLP DOI BibTeX RDF |
Makanin's algorithm, word combinatorics, free semigroups, algorithms, unification, word equations |
38 | Jin-yi Cai, Richard J. Lipton, Yechezkel Zalcstein |
The Complexity of the Membership Problem for 2-generated Commutative Semigroups of Rational Matrices |
FOCS |
1994 |
DBLP DOI BibTeX RDF |
polynomial-sized encoding, membership problem complexity, 2-generated commutative semigroups, rational matrices, deterministic polynomial-time algorithm, ABC problem, 2-generated abelian linear groups, polynomial time algorithm, algebraic number field |
29 | Guilherme Dias da Fonseca |
Approximate Range Searching: The Absolute Model. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Fagerström |
Spatio-temporal Scale-Spaces. |
SSVM |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Manuel Delgado 0001, José Morais |
On the. |
ICMS |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Martin Beaudry, François Lemieux, Denis Thérien |
Groupoids That Recognize Only Regular Languages. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Denis Thérien, Thomas Wilke |
Nesting Until and Since in Linear Temporal Logic. |
Theory Comput. Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Alexei Lisitsa 0001, Igor Potapov |
Membership and Reachability Problems for Row-Monomial Transformations. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Ricard Gavaldà, Denis Thérien |
Algebraic Characterizations of Small Classes of Boolean Functions. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Denis Thérien, Thomas Wilke |
Nesting Until and Since in Linear Temporal Logic. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Nicolas Bedon, Olivier Carton |
An Eilenberg Theorem for Words on Countable Ordinals. |
LATIN |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Miki Hermann, Phokion G. Kolaitis |
Computational Complexity of Simultaneous Elementary Matching Problems (Extended Abstract). |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Pierre Péladeau, Andreas Podelski |
On Reverse and General Definite Tree Languages (Extended Abstract). |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas |
Automatic Presentations for Cancellative Semigroups. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Paul Bell, Igor Potapov |
Periodic and Infinite Traces in Matrix Semigroups. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Maria Bras-Amorós, Michael E. O'Sullivan |
On Semigroups Generated by Two Consecutive Integers and Improved Hermitian Codes. |
IEEE Trans. Inf. Theory |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Gretchen L. Matthews |
Weierstrass Semigroups and Codes from a Quotient of the Hermitian Curve. |
Des. Codes Cryptogr. |
2005 |
DBLP DOI BibTeX RDF |
AMS Classification 094 |
29 | Víctor Dalmau, Ricard Gavaldà, Pascal Tesson, Denis Thérien |
Tractable Clones of Polynomials over Semigroups. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Guillem Godoy, Robert Nieuwenhuis |
Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups. |
Constraints An Int. J. |
2004 |
DBLP DOI BibTeX RDF |
symbolic constraints, built-in theories, automated deduction, term orderings |
29 | Jean-Eric Pin |
The Consequences of Imre Simon's Work in the Theory of Automata, Languages, and Semigroups. |
LATIN |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Maria Bras-Amorós |
Improvements to Evaluation Codes and New Characterizations of Arf Semigroups. |
AAECC |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Hwankoo Kim, Sang-Jae Moon |
Public-Key Cryptosystems Based on Class Semigroups of Imaginary Quadratic Non-maximal Orders. |
ACISP |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Rolf Nossum, Luciano Serafini |
Multicontext Logic for Semigroups of Contexts. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Integration of Logical Reasoning and Computer Algebra, Logic and Symbolic Computing, Reasoning |
29 | Alair Pereira do Lago |
Maximal Groups in Free Burnside Semigroups. |
LATIN |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Tero Harju, Juhani Karhumäki, Wojciech Plandowski |
Compactness of Systems of Equations in Semigroups. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Marc Champarnaud |
A Programming Language for Symbolic Computation of Regular Languages, Automata and Semigroups. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Gajski |
Recurrence semigroups and their relation to data storage in fast recurrence solvers on parallel machines. |
CONPAR |
1981 |
DBLP DOI BibTeX RDF |
|
29 | D. Kudryavtsev |
Semigroups locally embeddable into the class of finite semigroups. |
Int. J. Algebra Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Stephan Ramon Garcia, Mohamed Omar, Christopher O'Neill, Samuel Yih |
Factorization length distribution for affine semigroups II: Asymptotic behavior for numerical semigroups with arbitrarily many generators. |
J. Comb. Theory, Ser. A |
2021 |
DBLP DOI BibTeX RDF |
|
29 | W. B. Vasantha Kandasamy 0001, Ilanthenral Kandasamy, Florentin Smarandache |
Neutrosophic Components Semigroups and Multiset Neutrosophic Components Semigroups. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Stephan Ramon Garcia, Christopher O'Neill, Samuel Yih |
Factorization length distribution for affine semigroups I: Numerical semigroups with three generators. |
Eur. J. Comb. |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Miguel Couceiro, Jimmy Devillet |
All quasitrivial n-ary semigroups are reducible to semigroups. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
29 | Matthieu Picantin |
Automatic Semigroups vs Automaton Semigroups. |
ICALP |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Jesús A. De Loera, Christopher O'Neill, Dane Wilburne |
Random Numerical Semigroups and a Simplicial Complex of Irreducible Semigroups. |
Electron. J. Comb. |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Tara Brough, Alan J. Cain |
Automaton semigroups: New constructions results and examples of non-automaton semigroups. |
Theor. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Tara Brough, Alan J. Cain |
Automaton semigroups: new construction results and examples of non-automaton semigroups. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
29 | Matthieu Picantin |
Automatic semigroups vs automaton semigroups. |
CoRR |
2016 |
DBLP BibTeX RDF |
|