Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Jean-Camille Birget |
Two-Way Automata and Length-Preserving Homomorphisms. |
Math. Syst. Theory |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Pavol Hell, Jaroslav Nesetril, Xuding Zhu |
Complexity of Tree Homomorphisms. |
Discret. Appl. Math. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Souriar Sebastian, S. Babu Sunder |
Fuzzy groups and group homomorphisms. |
Fuzzy Sets Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Su-Yun Li, De-Gang Chen 0002, Wen-Xiang Gu, Hui Wang 0001 |
Fuzzy homomorphisms. |
Fuzzy Sets Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Steve Fisk |
Distinguishing graphs by the number of homomorphisms. |
Discuss. Math. Graph Theory |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Murray Cole |
Parallel Programming with List Homomorphisms. |
Parallel Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Pavol Hell, Xuding Zhu |
The Existence of Homomorphisms to Oriented Cycles. |
SIAM J. Discret. Math. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Fausto Di Biase, Rüdiger L. Urbanke |
An Algorithm to Calculate the Kernel of Certain Polynomial Ring Homomorphisms. |
Exp. Math. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Xuding Zhu |
A Polynomial Algorithm for Homomorphisms to Oriented Cycles. |
J. Algorithms |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Pavol Hell, Huishan Zhou, Xuding Zhu |
On homomorphisms to acyclic local tournaments. |
J. Graph Theory |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Andrei V. Kelarev |
Combinatorial Properties and Homomorphisms of Semigroups. |
Int. J. Algebra Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Gary MacGillivray |
Graph Homomorphisms with Infinite Targets. |
Discret. Appl. Math. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Pavol Hell, Xuding Zhu |
Homomorphisms to oriented paths. |
Discret. Math. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Dan Archdeacon, R. Bruce Richter, Jozef Sirán, Martin Skoviera |
Branched coverings of maps and lifts of map homomorphisms. |
Australas. J Comb. |
1994 |
DBLP BibTeX RDF |
|
16 | Boleslaw Mikolajczak |
A Parallel Algorithm for Computing all Homomorphisms of Deterministic Finite Automata. |
Parallel Processing of Discrete Optimization Problems |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Ulrich Nitsche |
Propositional Linear Temporal Logic and Language Homomorphisms. |
LFCS |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Kazue Sako, Joe Kilian |
Secure Voting Using Partially Compatible Homomorphisms. |
CRYPTO |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Yu. Olshanskii |
On Residualing Homomorphisms and G-Subgroups of hyperbolic Groups. |
Int. J. Algebra Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Pavol Hell, Huishan Zhou, Xuding Zhu |
Homomorphisms to oriented cycles. |
Comb. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Huishan Zhou |
Chromatic difference sequences and homomorphisms. |
Discret. Math. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Egidio Astesiano, Gianna Reggio, Elena Zucca |
Stores as Homomorphisms and their Transformations. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Murray Cole |
Parallel Programming, List Homomorphisms and the Maximum Segment Sum Problem. |
PARCO |
1993 |
DBLP BibTeX RDF |
|
16 | Tapani Hyttinen |
Preservation by Homomorphisms and Infinitary Languages. |
Notre Dame J. Formal Log. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Charles R. Leedham-Green, Cheryl E. Praeger, Leonard H. Soicher |
Computing with Group Homomorphisms. |
J. Symb. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Franz Baader, Werner Nutt |
Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Dietmar Schweigert |
Clone Homomorphisms and Reductions. |
J. Inf. Process. Cybern. |
1990 |
DBLP BibTeX RDF |
|
16 | Mulan Liu |
Homomorphisms and automorphisms of 2-D de Bruijn-Good graphs. |
Discret. Math. |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Walter Wenzel |
Algebraic relations between matroids connected by weak homomorphisms. |
J. Comb. Theory, Ser. A |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Hong-Jian Lai |
Unique graph homomorphisms onto odd cycles, II. |
J. Comb. Theory, Ser. B |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Roger L. Norton |
Predicate Transformers as Homomorphisms on Scott's Information Systems. |
ACM Conference on Computer Science |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Grant Malcolm |
Homomorphisms and Promotability. |
MPC |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Viliam Geffert |
A Representation of Recursively Enumerable Languages by Two Homomorphisms and a Quotient. |
Theor. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
16 | David Shannon, Moss Sweedler |
Using Gröbner Bases to Determine Algebra Membership Split Surjective Algebra Homomorphisms Determine Birational Equivalence. |
J. Symb. Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Paul A. Catlin |
Graph homomorphisms into the five-cycle. |
J. Comb. Theory, Ser. B |
1988 |
DBLP DOI BibTeX RDF |
|
16 | A. M. H. Gerards |
Homomorphisms of graphs into odd cycles. |
J. Graph Theory |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Ventura Verdú |
Logics Projectively Generated from [ℳ] = (ℱ4, [{1}]) by a Set of Homomorphisms. |
Math. Log. Q. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Ilaria Castellani |
Bisimulations and Abstraction Homomorphisms. |
J. Comput. Syst. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Sergei S. Goncharov |
Axiomatizable classes with strong homomorphisms. |
Stud Logica |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Nguyen Cat Ho, Helena Rasiowa |
Subalgebras and homomorphisms of semi-Post algebras. |
Stud Logica |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Louise E. Moser |
Graph Homomorphisms and the Design of Secure Computer Systems. |
S&P |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Bernhard Korte, László Lovász 0001 |
Homomorphisms and Ramsey properties of antimatroids. |
Discret. Appl. Math. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Josh Cohen Benaloh |
Secret Sharing Homomorphisms: Keeping Shares of A Secret Sharing. |
CRYPTO |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Tom Head, John Wilkinson |
Code Properties and Homomorphisms of D0L Systems. |
Theor. Comput. Sci. |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Klaus-Jörn Lange |
A note on the closure of EDL-languages under erasing homomorphisms. |
Bull. EATCS |
1985 |
DBLP BibTeX RDF |
|
16 | Michael O. Albertson, Karen L. Collins |
Homomorphisms of 3-chromatic graphs. |
Discret. Math. |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Gregory Butler |
Effective Computation with Group Homomorphisms. |
J. Symb. Comput. |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Ilaria Castellani |
Bisimulations and Abstraction Homomorphisms. |
TAPSOFT, Vol.1 |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Dimiter Skordev |
On multi-valued homomorphisms. |
Symposium on Computation Theory |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Franz-Josef Brandenburg |
Uniformly Growing k-TH Power-Free Homomorphisms. |
Theor. Comput. Sci. |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Brandstädt |
Space Classes, Intersection of Languages and Bounded Erasing Homomorphisms. |
RAIRO Theor. Informatics Appl. |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Joseph Sifakis |
Property Preserving Homomorphisms of Transition Systems. |
Logic of Programs |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Takumi Kasai, Raymond E. Miller |
Homomorphisms between Models of Parallel Computation. |
J. Comput. Syst. Sci. |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Masakazu Nasu |
Uniformly finite-to-one and onto extensions of homomorphisms between strongly connected graphs. |
Discret. Math. |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Stephan Heilbrunner, Werner Pohlmann |
A Technique for Recursion Removal Based on String Homomorphisms. |
Sci. Comput. Program. |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Repetitions in Homomorphisms and Languages. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
16 | John L. Pfaltz |
Transformation of structures by convex homomorphisms. |
Graph-Grammars and Their Application to Computer Science |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Toshio Nomura |
Homomorphisms and Congruences for Abstract Feedback Systems |
Inf. Control. |
1981 |
DBLP DOI BibTeX RDF |
|
16 | Karel Culík II, Juhani Karhumäki |
On the Equality Sets for Homomorphisms on Free Monoids with Two Generators. |
RAIRO Theor. Informatics Appl. |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Juhani Karhumäki |
Generalized Parikh Mappings and Homomorphisms |
Inf. Control. |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Masakazu Nasu |
Homomorphisms of graphs and their global maps. |
Graph Theory and Algorithms |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Jürgen Ebert, Jürgen Perl |
Reachablity Homomorphisms on Nets. |
WG |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Raymond E. Miller, Takumi Kasai |
Comparing models of parallel computation by homomorphisms. |
COMPSAC |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Hermann A. Maurer |
New Aspects of Homomorphisms. |
Theoretical Computer Science |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Arto Salomaa |
Equality sets for homomorphisms of free monoids. |
Acta Cybern. |
1978 |
DBLP BibTeX RDF |
|
16 | Robert M. Haralick |
Structural pattern recognition, homomorphisms, and arrangements. |
Pattern Recognit. |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Elementary Homomorphisms and a Solution of the D0L Sequence Equivalence Problem. |
Theor. Comput. Sci. |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Robert M. Haralick, Jesse S. Kartus |
Arrangements, Homomorphisms, and Discrete Relaxation. |
IEEE Trans. Syst. Man Cybern. |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Norman Y. Foo |
Closure Properties and Homomorphisms of Time-varying Systems. |
Math. Syst. Theory |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Simplifications of Homomorphisms |
Inf. Control. |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Paul M. B. Vitányi |
Deterministic Lindenmayer Languages, Nonterminals and Homomorphisms. |
Theor. Comput. Sci. |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Kosaburo Hashiguchi, Namio Honda |
Properties of Code Events and Homomorphisms over Regular Events. |
J. Comput. Syst. Sci. |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Kosaburo Hashiguchi, Namio Honda |
Homomorphisms That Preserve Star Height |
Inf. Control. |
1976 |
DBLP DOI BibTeX RDF |
|
16 | A. E. Hurd |
Synergy of Homomorphisms in Relational Systems. |
J. Comb. Theory, Ser. A |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum |
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. I. Deterministic Systems. |
Acta Informatica |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Nonterminals Versus Homomorphisms in Defining Languages for Some Classes of Rewriting Systems. |
Acta Informatica |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum |
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems. |
Acta Informatica |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Joseph A. Goguen |
On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs. |
J. Comput. Syst. Sci. |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Trade-off between the Use of Nonterminals, Codings and Homomorphisms in Defining Languages for Some Classes of Rewriting Systems. |
ICALP |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Ranan B. Banerji, George W. Ernst |
Strategy Construction Using Homomorphisms Between Games. |
Artif. Intell. |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin G. Klein |
Homomorphisms of Symbolic Dynamical Systems. |
Math. Syst. Theory |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Ping-Fun Lam |
Inverses of Recurrent and Periodic Points under Homomorphisms of Dynamical Systems. |
Math. Syst. Theory |
1972 |
DBLP BibTeX RDF |
|
16 | Joseph A. Goguen |
On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes |
SWAT |
1972 |
DBLP DOI BibTeX RDF |
|
16 | C. H. Applebaum |
omega-Homomorphisms and omega-Groups. |
J. Symb. Log. |
1971 |
DBLP DOI BibTeX RDF |
|
16 | Seymour Ginsburg, John E. Hopcroft |
Images of AFL under Certain Families of Homomorphisms. |
Math. Syst. Theory |
1971 |
DBLP DOI BibTeX RDF |
|
16 | Jaroslav Nesetril |
Homomorphisms of derivative graphs. |
Discret. Math. |
1971 |
DBLP DOI BibTeX RDF |
|
16 | Tsunehiko Kameda |
R70-39 On the Relational Homomorphisms of Automata. |
IEEE Trans. Computers |
1970 |
DBLP DOI BibTeX RDF |
|
16 | Ping-Fun Lam |
Homomorphisms of Expansive Transformation Groups. |
Math. Syst. Theory |
1970 |
DBLP DOI BibTeX RDF |
|
16 | Azaria Paz |
Homomorphisms Between Stochastic Sequential Machines and Related Problems. |
Math. Syst. Theory |
1968 |
DBLP DOI BibTeX RDF |
|
16 | Raymond T. Yeh |
On Relational Homomorphisms of Automata |
Inf. Control. |
1968 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Suter, Mirco Dotta, Viktor Kuncak |
Decision procedures for algebraic data types with abstractions. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
data structure, decision procedure, algebraic data type, catamorphism |
12 | Gösta Grahne, Adrian Onet |
Data correspondence, exchange and repair. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Themba Dube |
A Little More on Coz-Unique Frames. |
Appl. Categorical Struct. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06D22, 54C25, 54D20 |
12 | Rajeev Alur, P. Madhusudan |
Adding nesting structure to words. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
software model checking, tree automata, Pushdown automata, XML processing |
12 | Jirí Mockor |
Fuzzy logic models in a category of fuzzy relations. |
Soft Comput. |
2009 |
DBLP DOI BibTeX RDF |
Sets with similarities, Category of fuzzy relations, Models of fuzzy logic, Fuzzy logic, MV-algebras |
12 | Johann A. Makowsky |
Connection Matrices for MSOL-Definable Structural Invariants. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Moshe Y. Vardi |
Constraints, Graphs, Algebra, Logic, and Complexity. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Magnus Wahlström |
New Plain-Exponential Time Classes for Graph Homomorphism. |
CSR |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Balder ten Cate, Phokion G. Kolaitis |
Structural characterizations of schema-mapping languages. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
data integration, data exchange, schema mapping, definability |
12 | Changzhong Wang, Wenju Du |
Some Invariant Properties of Fuzzy Information Systems under Homomorphism. |
RSKT |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy relation Information system, Fuzzy relation mapping, Attribute reduction, Homomorphism |
12 | James Worthington |
A Bialgebraic Approach to Automata and Formal Language Theory. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|