Search results for "semigroup"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Robert Knast	A Semigroup Characterization of Dot-Depth one Languages.	RAIRO Theor. Informatics Appl.	1983	DBLP DOI BibTeX RDF
18	Stuart W. Margolis	On the Syntactic Transformation Semigroup of a Language Generated by a Finite Biprefix Code.	Theor. Comput. Sci.	1982	DBLP DOI BibTeX RDF
18	A. Goralciková, Pavel Goralcik, Václav Koubek	A Boundary of Isomorphism Completeness in the Lattice of Semigroup Pseudovarieties.	ICALP	1982	DBLP DOI BibTeX RDF
18	John M. Freeman, Frederick Hoffman	A semigroup and Gaussian polynomials.	Discret. Math.	1981	DBLP DOI BibTeX RDF
18	Aldo de Luca	On Some Properties of the Syntactic Semigroup of a Very Pure Subsemigroup.	RAIRO Theor. Informatics Appl.	1980	DBLP DOI BibTeX RDF
18	Aldo de Luca, Antonio Restivo	A Characterization of Strictly Locally Testable Languages and Its Applications to Subsemigroups of a Free Semigroup	Inf. Control.	1980	DBLP DOI BibTeX RDF
18	Aldo de Luca, Antonio Restivo	Synchronization and Maximality for Very Pure Subsemigroups of a Free Semigroup.	MFCS	1979	DBLP DOI BibTeX RDF
18	Darald J. Hartfiel, Carlton J. Maxson	Groups which are isomorphic to a semigroup of a linear nonsingular subautomaton.	Discret. Math.	1978	DBLP DOI BibTeX RDF
18	Darald J. Hartfiel, Carlton J. Maxson	A Semigroup Characterization of a Linearly Realisable Automaton over GF(p).	J. Comput. Syst. Sci.	1977	DBLP DOI BibTeX RDF
18	T. C. Wesselkamper	No Abelian Semigroup Operation is Complete.	Math. Log. Q.	1976	DBLP DOI BibTeX RDF
18	F. Joanne Helton	The Semigroup of an Algebra Automaton.	J. Comput. Syst. Sci.	1976	DBLP DOI BibTeX RDF
18	Robert Knast	Semigroup Characterizations of Some Language Varieties.	MFCS	1976	DBLP DOI BibTeX RDF
18	Jerzy W. Grzymala-Busse	On partitions of the state set and relations in the input semigroup of automata (Russian).	J. Inf. Process. Cybern.	1975	DBLP BibTeX RDF
18	Gary Laison	A Semigroup Associated with an Invariant Measure on a Transformation Group.	Math. Syst. Theory	1975	DBLP DOI BibTeX RDF
18	Ronald V. Book	Free and almost-free subsemigroups of a free semigroup.	Discret. Math.	1973	DBLP DOI BibTeX RDF
18	Donald J. McCarthy, David L. Hayes 0003	Subgroups of the Power Semigroup of a Group.	J. Comb. Theory, Ser. A	1973	DBLP DOI BibTeX RDF
18	I. Peák, N. Q. Khang	On Endomorphism Semigroup of Nilpotent Automata.	MFCS	1973	DBLP BibTeX RDF
18	Pál Dömösi	On the semigroup of automaton mappings with finite alphabet.	Acta Cybern.	1972	DBLP BibTeX RDF
18	Klaus H. Ecker	On the Semigroup of a Linear Nonsingular Automaton.	Math. Syst. Theory	1972	DBLP DOI BibTeX RDF
18	David Stadtlander	A Structure Theorem for \delta-Classes of Compact Semigroup Actions.	Math. Syst. Theory	1971	DBLP DOI BibTeX RDF
18	Philip M. Spira	On the computational complexity of finite functions and semigroup multiplication.	Inf. Sci.	1970	DBLP DOI BibTeX RDF
18	Ethan M. Coven	P-Recursion and Transformation Groups Having an Equicontinuous Replete Semigroup.	Math. Syst. Theory	1969	DBLP DOI BibTeX RDF
18	Giuseppe Fantauzzi	A semigroup theory for the Maitra cascade.	IFIP Congress (1)	1968	DBLP BibTeX RDF
18	J. C. Beatty	On Some Properties of the Semigroup of a Machine Which are Preserved Under State Minimization	Inf. Control.	1967	DBLP DOI BibTeX RDF
18	Robert H. Oehmke	On the Structures of an Automaton and Its Input Semigroup.	J. ACM	1963	DBLP DOI BibTeX RDF
13	Werner M. Seiler	A combinatorial approach to involution and delta-regularity I: involutive bases in polynomial algebras of solvable type.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF
13	Lianwen Wang	Approximate controllability results of semilinear integrodifferential equations with infinite delays.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	approximate controllability, semilinear control systems, integrodifferential equations, infinite delays
13	Paul Bell, Igor Potapov	The Identity Correspondence Problem and Its Applications.	ISAAC	2009	DBLP DOI BibTeX RDF
13	Gretchen L. Matthews	On Weierstrass Semigroups of Some Triples on Norm-Trace Curves.	IWCC	2009	DBLP DOI BibTeX RDF
13	Osman Kazanci, Sultan Yamak	Generalized fuzzy bi-ideals of semigroups.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Fuzzy subsemigroup, Belong to, Quasi-coincident with, (?, ? ?q)-fuzzy bi-ideals, fuzzy bi-ideals
13	Gunther Schmidt 0001	Rectangles, Fringes, and Inverses.	RelMiCS	2008	DBLP DOI BibTeX RDF
13	Pawel Parys	Systems of Equations Satisfied in All Commutative Finite Semigroups.	FoSSaCS	2008	DBLP DOI BibTeX RDF
13	Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas	Automatic Presentations for Cancellative Semigroups.	LATA	2008	DBLP DOI BibTeX RDF
13	Vladimir Shpilrain, Alexander Ushakov	An Authentication Scheme Based on the Twisted Conjugacy Problem.	ACNS	2008	DBLP DOI BibTeX RDF
13	Said Hadd, Qing-Chang Zhong	Perturbation theory of boundary value problems and approximate controllability of perturbed boundary control problems.	CDC	2008	DBLP DOI BibTeX RDF
13	Richard H. Fabiano, Janos Turi	Stability for semidiscrete Galerkin approximation of neutral delay equations.	CDC	2008	DBLP DOI BibTeX RDF
13	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
13	C. Nuccio, Emanuele Rodaro	Mortality Problem for 2×2 Integer Matrices.	SOFSEM	2008	DBLP DOI BibTeX RDF
13	Sebastian Dörn, Thomas Thierauf	The Quantum Complexity of Group Testing.	SOFSEM	2008	DBLP DOI BibTeX RDF
13	Carlos Munuera, Alonso Sepúlveda, Fernando Torres 0002	Algebraic Geometry Codes from Castle Curves.	ICMCTA	2008	DBLP DOI BibTeX RDF
13	Cícero Carvalho, Takao Kato	Codes from curves with total inflection points.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	14H50, 11T71, AMS Classifications 94B27, 11G20
13	Cícero Carvalho, Carlos Munuera, Ercilio da Silva, Fernando Torres 0002	Near Orders and Codes.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
13	Anna E. Frid	Commutation of Binary Factorial Languages.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
13	Chongjun Zhu, Lifeng Xu	The KRW-Metric Stability for Hopfield Stochastic Neural Networks.	ICIC (3)	2007	DBLP DOI BibTeX RDF	KRW-metric, stability, coupling, stochastic neural networks
13	Sebastian Dörn, Thomas Thierauf	The Quantum Query Complexity of Algebraic Properties.	FCT	2007	DBLP DOI BibTeX RDF
13	Thomas Colcombet	Factorisation Forests for Infinite Words.	FCT	2007	DBLP DOI BibTeX RDF	infinite words, automata, Formal languages, semigroups
13	Vladimir Shpilrain, Gabriel Zapata	Combinatorial Group Theory and Public Key Cryptography.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF	Public key exchange, Conjugacy search problem, Commuting action, Diffusion
13	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Rewriting queries with arbitrary aggregation functions using views.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	View usability, query rewriting, query equivalence
13	Laura Chaubard, Jean-Eric Pin, Howard Straubing	First Order Formulas with Modular Predicates.	LICS	2006	DBLP DOI BibTeX RDF
13	Michal Kunc	Algebraic Characterization of the Finite Power Property.	ICALP (1)	2006	DBLP DOI BibTeX RDF
13	Ondrej Klíma 0001, Benoît Larose, Pascal Tesson	Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture.	MFCS	2006	DBLP DOI BibTeX RDF
13	Masahiro Miyakawa, Ivo G. Rosenberg, Hisayuki Tatsumi	Associativity Test in Hypergroupoids.	ISMVL	2006	DBLP DOI BibTeX RDF	hypergroupoid, associativity
13	Amitabha Roy 0001, Howard Straubing	Definability of Languages by Generalized First-Order Formulas over (N, +).	STACS	2006	DBLP DOI BibTeX RDF
13	Kwang Y. Lee	System-Type Neural Network Architectures for Power Systems.	IJCNN	2006	DBLP DOI BibTeX RDF
13	Wojciech Plandowski	An efficient algorithm for solving word equations.	STOC	2006	DBLP DOI BibTeX RDF	word equations
13	Alexander Moshe Rabinovich, Wolfgang Thomas	Decidable Theories of the Ordering of Natural Numbers with Unary Predicates.	CSL	2006	DBLP DOI BibTeX RDF
13	Michael G. Lamoureux, Bradford G. Nickerson	A deterministic skip list for k-dimensional range search.	Acta Informatica	2005	DBLP DOI BibTeX RDF
13	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
13	Lars Arge, Gerth Stølting Brodal, Rolf Fagerberg, Morten Laustsen	Cache-oblivious planar orthogonal range searching and counting.	SCG	2005	DBLP DOI BibTeX RDF	range counting, semi-group range queries, cache-oblivious, orthogonal range searching
13	Paul Bell, Igor Potapov	On the Membership of Invertible Diagonal Matrices.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
13	Sergey A. Afonin, Elena Hazova	Membership and Finiteness Problems for Rational Sets of Regular Languages.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
13	Víctor Dalmau, Ricard Gavaldà, Pascal Tesson, Denis Thérien	Tractable Clones of Polynomials over Semigroups.	CP	2005	DBLP DOI BibTeX RDF
13	Anthony Bonato, Dejan Delic	On a Problem of Cameron's on Inexhaustible Graphs.	Comb.	2004	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05C75, 03C15
13	Denis Thérien, Thomas Wilke	Nesting Until and Since in Linear Temporal Logic.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
13	Jürgen Lerner	Role Assignments.	Network Analysis	2004	DBLP DOI BibTeX RDF
13	Andrei A. Bulatov	A Graph of a Relational Structure and Constraint Satisfaction Problems.	LICS	2004	DBLP DOI BibTeX RDF
13	Yu Tang 0014, Luo Chen, Kai-Tao He, Ning Jing	SRN: An Extended Petri-Net-Based Workflow Model for Web Service Composition.	ICWS	2004	DBLP DOI BibTeX RDF
13	Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin	The Syntactic Graph of a Sofic Shift.	STACS	2004	DBLP DOI BibTeX RDF	Automata and formal languages, symbolic dynamics
13	Yu Tang 0014, Ning Jing	Research on System Architecture and Service Composition of Spatial Information Grid.	GCC Workshops	2004	DBLP DOI BibTeX RDF
13	Peter Jipsen	A Note on Complex Algebras of Semigroups.	RelMiCS	2003	DBLP DOI BibTeX RDF
13	Stephane Gaubert, Ricardo Katz	Reachability and Invariance Problems in Max-plus Algebra.	POSTA	2003	DBLP DOI BibTeX RDF
13	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
13	Hwankoo Kim, Sang-Jae Moon	Public-Key Cryptosystems Based on Class Semigroups of Imaginary Quadratic Non-maximal Orders.	ACISP	2003	DBLP DOI BibTeX RDF
13	Remco Duits, Michael Felsberg, Luc Florack, Bram Platel	alpha Scale Spaces on a Bounded Domain.	Scale-Space	2003	DBLP DOI BibTeX RDF
13	Martin Kutz	The Complexity of Boolean Matrix Root Computation.	COCOON	2003	DBLP DOI BibTeX RDF
13	Tatjana Petkovic, Miroslav Ciric 0001, Stojan Bogdanovic	Characteristic Semigroups of Directable Automata.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
13	Denis Thérien, Thomas Wilke	Nesting Until and Since in Linear Temporal Logic.	STACS	2002	DBLP DOI BibTeX RDF
13	Thomas Wilke	Linear Temporal Logic and Finite Semigroups.	MFCS	2001	DBLP DOI BibTeX RDF
13	Bella V. Rozenblat	On Recursively Enumerable Subsets of N and Rees Matrix Semigroups over (Z3 ; + ).	FCT	2001	DBLP DOI BibTeX RDF
13	Petros Maragos	Algebraic and PDE Approaches for Multiscale Image Operators with Global Constraints: Reference Semilattice Erosions and Levelings.	Scale-Space	2001	DBLP DOI BibTeX RDF
13	Torben Hagerup	Dynamic Algorithms for Graphs of Bounded Treewidth.	Algorithmica	2000	DBLP DOI BibTeX RDF
13	Olivier Carton, Wolfgang Thomas	The Monadic Theory of Morphic Infinite Words and Generalizations.	MFCS	2000	DBLP DOI BibTeX RDF
13	Tomas Sander, Adam L. Young, Moti Yung	Non-Interactive CryptoComputing For NC1.	FOCS	1999	DBLP DOI BibTeX RDF	cryptocomputing, cryptography, public key, complexity theory, homomorphic encryption, secure computation
13	Jong Hyuk Choi, Bong Wan Kim, Kyu Ho Park, Kwang-Il Park	A Bandwidth-Efficient Implementation of Mesh with Multiple Broadcasting.	ICPP	1999	DBLP DOI BibTeX RDF	Mesh with Buses, Parallel Computing, Multicast, Interconnection Network, Broadcast, Collective Communication
13	Alair Pereira do Lago	Maximal Groups in Free Burnside Semigroups.	LATIN	1998	DBLP DOI BibTeX RDF
13	Ivan Stojmenovic	Honeycomb Networks: Topological Properties and Communication Algorithms.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	hexagonal tessellation, routing, broadcasting, Computer architecture, mesh-connected computer, interconnection topology
13	Torben Hagerup	Dynamic Algorithms for Graphs of Bounded Treewidth.	ICALP	1997	DBLP DOI BibTeX RDF
13	Olivier Carton, Dominique Perrin	The Wadge-Wagner Hierarchy of omega-Rational Sets.	ICALP	1997	DBLP DOI BibTeX RDF
13	Peter Damaschke	Finding a Pair on a Mesh with Multiple Broadcasting is Hard.	Euro-Par	1997	DBLP DOI BibTeX RDF
13	Dharmavani Bhagavathi, Himabindu Gurla, Stephan Olariu, James L. Schwing, Jingyuan Zhang	Square Meshes Are Not Optimal for Convex Hull Computation.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	meshes with broadcasting, pattern recognition, parallel algorithms, image processing, computational geometry, Convex hulls
13	Ramachandran Vaidyanathan, Sudharani Nadella	Fault-Tolerant Multiple Bus Networks for Fan-In Algorithms.	IPPS	1996	DBLP DOI BibTeX RDF	Multiple bus networks, Fan-in algorithms, Fault-tolerance, Parallel processing, Interconnection networks
13	Dyi-Rong Duh, Gen-Huey Chen, Jywe-Fei Fang	Algorithms and Properties of a New Two-Level Network with Folded Hypercubes as Basic Modules.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	?-wide diameter, node-fault diameter, interconnection network, connectivity, embedding, routing algorithm, diameter, container, Broadcasting algorithm, Hamiltonian circuit
13	Eric J. Pauwels, Luc Van Gool, Peter Fiddelaers, Theo Moons	An Extended Class of Scale-Invariant and Recursive Scale Space Filters.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	non-Gaussian filters, recursivity, Scale space, causality, scale invariance, semigroups
13	Dharmavani Bhagavathi, Peter J. Looges, Stephan Olariu, James L. Schwing, Jingyuan Zhang	A Fast Selection Algorithm for Meshes with Multiple Broadcasting.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	fastselection algorithm, rectangular meshes, queryprocessing, parallel algorithms, parallel algorithms, databases, query processing, multiprocessor interconnection networks, meshes, optimal algorithms, algorithm design, multiple broadcasting
13	Thomas Wilke	Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability.	ICALP	1993	DBLP DOI BibTeX RDF
13	Pierre Péladeau, Andreas Podelski	On Reverse and General Definite Tree Languages (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
13	Thomas Wilke	An Eilenberg Theorem for Infinity-Languages.	ICALP	1991	DBLP DOI BibTeX RDF
13	Bernard Chazelle	Lower Bounds for Orthogonal Range Searching II. The Arithmetic Model	J. ACM	1990	DBLP DOI BibTeX RDF
13	Franz Baader	Rewrite Systems for Varieties of Semigroups.	CADE	1990	DBLP DOI BibTeX RDF
13	Karel Culík II, Tero Harju	Dominoes and the Regularity of DNS Splicing Languages.	ICALP	1989	DBLP DOI BibTeX RDF