Search results for "homomorphisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Elena Grigorescu, Swastik Kopparty, Madhu Sudan 0001	Local Decoding and Testing for Homomorphisms.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
77	Jirí Fiala 0001, Daniël Paulusma, Jan Arne Telle	Matrix and Graph Orders Derived from Locally Constrained Graph Homomorphisms.	MFCS	2005	DBLP DOI BibTeX RDF
65	Irit Dinur, Elena Grigorescu, Swastik Kopparty, Madhu Sudan 0001	Decodability of group homomorphisms beyond the johnson bound.	STOC	2008	DBLP DOI BibTeX RDF	hadamard codes, list decoding, sublinear time algorithms
64	Martin E. Dyer, Leslie Ann Goldberg, Mike Paterson	On counting homomorphisms to directed acyclic graphs.	J. ACM	2007	DBLP DOI BibTeX RDF	directed acyclic graphs, homomorphisms, Counting
64	Albert Atserias, Anuj Dawar, Phokion G. Kolaitis	On preservation under homomorphisms and unions of conjunctive queries.	J. ACM	2006	DBLP DOI BibTeX RDF	Datalog, first-order logic, Conjunctive queries, preservation, homomorphisms, finite model theory, graph minors, infinitary logic
61	Stefan Szeider	The Complexity of Resolution with Generalized Symmetry Rules.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
61	Stefan Szeider	The Complexity of Resolution with Generalized Symmetry Rules.	STACS	2003	DBLP DOI BibTeX RDF
53	Omid Amini, Fedor V. Fomin, Saket Saurabh 0001	Counting Subgraphs via Homomorphisms.	ICALP (1)	2009	DBLP DOI BibTeX RDF
53	Albert Atserias, Anuj Dawar, Phokion G. Kolaitis	On Preservation under Homomorphisms and Unions of Conjunctive Queries. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
53	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	list homomorphism, parallel functional programming, program transformation and derivation
53	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	Construction of List Homomorphisms by Tupling and Fusion.	MFCS	1996	DBLP DOI BibTeX RDF
51	Libor Polák	On Pseudovarieties of Semiring Homomorphisms.	MFCS	2004	DBLP DOI BibTeX RDF	Varieties of languages, pseudovarieties of homomorphisms
49	Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi	Automatic inversion generates divide-and-conquer parallel programs.	PLDI	2007	DBLP DOI BibTeX RDF	divide-and-conquer parallelism, third homomorphism theorem, program transformation, inversion
49	Roman Fric	Measures on MV-algebras.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Semisimple M V -algebra, Initial sequential convergence, I -sequential M V -algebra, Sequential continuity, Absolutely sequentially closed object, Epireflection, Sequentially continuous measure, ?-completion, Extension of measures, Natural equivalence, Bold algebra, ?ukasiewicz tribe, Measurable map, Probability event, D -poset, Coproduct, Quantum structure, Observable, Duality, Measurable space
49	Bruce L. Bauslaugh	List-Compactness of Infinite Directed Graphs.	Graphs Comb.	2001	DBLP DOI BibTeX RDF
49	Franz-Josef Brandenburg	A Truely Morphic Characterization of Recursively Enumerable Sets.	MFCS	1984	DBLP DOI BibTeX RDF
48	Benjamin Rossman	Homomorphism preservation theorems.	J. ACM	2008	DBLP DOI BibTeX RDF	preservation theorems, quantifier-rank, tree-depth, first-order logic, conjunctive queries, homomorphisms, Finite model theory
48	Josep Domingo-Ferrer	A Provably Secure Additive and Multiplicative Privacy Homomorphism.	ISC	2002	DBLP DOI BibTeX RDF	Encrypted data processing, Delegation of computing and data, E-gambling, Cryptography, Multilevel security, Privacy homomorphisms
48	Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche	The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Simple language homomorphisms, Asynchronous product automata, Approximate satisfaction of safety and liveness properties, Model checking, Verification tools
44	Ilijas Farah	Approximate Homomorphisms II: Group Homomorphisms.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05D99, 20D99, 28A35, 28A60
41	Qiong Cheng, Robert W. Harrison, Alexander Zelikovsky	Homomorphisms of Multisource Trees into Networks with Applications to Metabolic Pathways.	BIBE	2007	DBLP DOI BibTeX RDF
41	Martin E. Dyer, Leslie Ann Goldberg, Mike Paterson	On Counting Homomorphisms to Directed Acyclic Graphs.	ICALP (1)	2006	DBLP DOI BibTeX RDF
41	Michal Walicki, Adis Hodzic, Sigurd Meldal	Compositional Homomorphisms of Relational Structures.	FCT	2001	DBLP DOI BibTeX RDF
41	Sergei Gorlatch	Systematic Efficient Parallelization of Scan and Other List Homomorphisms.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
37	Alexej P. Pynko	A relative interpolation theorem for infinitary universal Horn logic and its applications.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Universal Horn theory, Interpolation theorem, Preservation theorem, Definability theorem
37	Deepak Kapur, Paliath Narendran, Lida Wang	A Unification Algorithm for Analysis of Protocols with Blinded Signatures.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
37	Endre Bangerter, Jan Camenisch, Ueli M. Maurer	Efficient Proofs of Knowledge of Discrete Logarithms and Representations in Groups with Hidden Order.	Public Key Cryptography	2005	DBLP DOI BibTeX RDF
37	Michal Walicki	Bireachability and Final Multialgebras.	CALCO	2005	DBLP DOI BibTeX RDF
37	Sergei Gorlatch	Systematic Extraction and Implementation of Divide-and-Conquer Parallelism.	PLILP	1996	DBLP DOI BibTeX RDF
35	Jan Hubicka, Jaroslav Nesetril	Finite Paths are Universal.	Order	2004	DBLP DOI BibTeX RDF	universal posets, universal graphs, embeddings, on line, homomorphisms
35	Bernhard Banaschewski, Ales Pultr	Adjointness Aspects of the Down-Set Functor.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	down-set frames, open and similar types of homomorphisms, adjunction, Booleanization
32	Olga Martynova 0001, Alexander Okhotin	Homomorphisms and inverse homomorphisms on graph-walking automata.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
32	Michael O. Albertson, Lily Chan, Ruth Haas	Independence and graph homomorphisms graph homomorphisms.	J. Graph Theory	1993	DBLP DOI BibTeX RDF
28	Jonathan Sorg, Satinder Singh 0001	Transfer via soft homomorphisms.	AAMAS (2)	2009	DBLP BibTeX RDF	Markov decision process, homomorphism, transfer learning
28	Ondrej Klíma 0001, Libor Polák	Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups.	LATA	2008	DBLP DOI BibTeX RDF	MSC 2000 Classification 68Q45 Formal languages and automata
28	Steven D. Galbraith, Michael Scott	Exponentiation in Pairing-Friendly Groups Using Homomorphisms.	Pairing	2008	DBLP DOI BibTeX RDF	pairings
28	Fedor V. Fomin, Pinar Heggernes, Dieter Kratsch	Exact Algorithms for Graph Homomorphisms.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
28	Changzhong Wang, Congxin Wu, Degang Chen 0002	Homomorphisms Between Relation Information Systems.	RSKT	2007	DBLP DOI BibTeX RDF	Consistent functions, relation mappings, relation information systems, reduction, homomorphism
28	Jirí Fiala 0001, Daniël Paulusma, Jan Arne Telle	Algorithms for Comparability of Matrices in Partial Orders Imposed by Graph Homomorphisms.	WG	2005	DBLP DOI BibTeX RDF
28	Fedor V. Fomin, Pinar Heggernes, Dieter Kratsch	Exact Algorithms for Graph Homomorphisms.	FCT	2005	DBLP DOI BibTeX RDF
28	Walter Dosch	Designing Combinational Circuits with List Homomorphisms.	SERA	2005	DBLP DOI BibTeX RDF	functional hardware description, list homomorphism, iterative network, parity generator, priority resolution, High-level synthesis, comparator, tree network
28	Gregory Z. Gutin, Arash Rafiey, Anders Yeo, Michael Tso	Level of Repair Analysis and Minimum Cost Homomorphisms of Graphs.	AAIM	2005	DBLP DOI BibTeX RDF
28	Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch	Unification Modulo ACU I Plus Homomorphisms/Distributivity.	CADE	2003	DBLP DOI BibTeX RDF	E-Unification, Rewrite reachability, Minskymachine, Complexity, Set constraints, Post correspondence problem
28	Tomás Feder, Pavol Hell, Jing Huang 0007	List Homomorphisms and Circular Arc Graphs.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C85, 68R10, 05C15, 05C75
28	Mike Burmester	Homomorphisms of Secret Sharing Schemes: A Tool for Verifiable Signature Sharing.	EUROCRYPT	1996	DBLP DOI BibTeX RDF
28	Peter K. Rathmann, Marianne Winslett, Mark S. Manasse	Circumscription with Homomorphisms: Solving the Equality and Counterexample Problems.	J. ACM	1994	DBLP DOI BibTeX RDF	common sense reasoning, circumscription
28	Ernest F. Brickell, Yacov Yacobi	On Privacy Homomorphisms (Extended Abstract).	EUROCRYPT	1987	DBLP DOI BibTeX RDF
28	Tobias Nipkow	Are Homomorphisms Sufficient for Behavioural Implementations of Deterministic and Nondeterministic Data Types?	STACS	1987	DBLP DOI BibTeX RDF
28	Juhani Karhumäki	Generalized Parikh Mappings and Homomorphisms.	ICALP	1981	DBLP DOI BibTeX RDF
24	Václav Koubek, Jirí Sichler	Almost ff-universality Implies Q-universality.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 08C15, 18B15
24	Xiaoying Wu, Dimitri Theodoratos, Wendy Hui Wang	Answering XML queries using materialized views revisited.	CIKM	2009	DBLP DOI BibTeX RDF	xpath query evaluation, XML, materialized views
24	Andreas Fuchs 0002, Sigrid Gürgens, Carsten Rudolph	On the Security Validation of Integrated Security Solutions.	SEC	2009	DBLP DOI BibTeX RDF
24	Joshua D. Guttman	Cryptographic Protocol Composition via the Authentication Tests.	FoSSaCS	2009	DBLP DOI BibTeX RDF
24	Steven D. Galbraith, Xibin Lin, Michael Scott	Endomorphisms for Faster Elliptic Curve Cryptography on a Large Class of Curves.	EUROCRYPT	2009	DBLP DOI BibTeX RDF	GLV method, elliptic curves, point multiplication, isogenies
24	Pawel Placek, Dimitri Theodoratos, Stefanos Souldatos, Theodore Dalamagas 0001, Timos K. Sellis	A heuristic approach for checking containment of generalized tree-pattern queries.	CIKM	2008	DBLP DOI BibTeX RDF	partial tree-pattern query, xml, query containment
24	Jirí Fiala 0001, Daniël Paulusma	Comparing Universal Covers in Polynomial Time.	CSR	2008	DBLP DOI BibTeX RDF
24	Jérémie Chalopin, Antoni W. Mazurkiewicz, Yves Métivier	Labelled (Hyper)Graphs, Negotiations and the Naming Problem.	ICGT	2008	DBLP DOI BibTeX RDF
24	Anthony W. Hager, D. G. Johnson	Adjoining an Identity to a Reduced Archimedean f -ring, II: Algebras.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06F20, 13B10, Secondary 18A40, 54H10, 46A40, 54C30, 06F25
24	Richard N. Ball, Anthony W. Hager	Epi-topology and Epi-convergence for Archimedean Lattice-ordered Groups with Unit.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06F20, 18A20, 22A30, 46H15, 54C35, 54A20
24	Themba Dube, Joanne Walters-Wayland	Coz-onto Frame Maps and Some Applications.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification 06D22, 54B05, 54C45, 54G05
24	Sergei Evdokimov 0002, Matthias Fischmann, Oliver Günther 0001	Provable Security for Outsourcing Database Operations.	ICDE	2006	DBLP DOI BibTeX RDF
24	Benjamin Rossman	Existential Positive Types and Preservation under Homomorphisisms.	LICS	2005	DBLP DOI BibTeX RDF
24	Jean-Michel Couvreur, Yann Thierry-Mieg	Hierarchical Decision Diagrams to Exploit Model Structure.	FORTE	2005	DBLP DOI BibTeX RDF
24	Tomás Feder, Pavol Hell, Sulamita Klein, Loana Tito Nogueira, Fábio Protti	List Partitions of Chordal Graphs.	LATIN	2004	DBLP DOI BibTeX RDF
24	Martin E. Dyer, Mark Jerrum, Eric Vigoda	Rapidly Mixing Markov Chains for Dismantleable Constraint Graphs.	RANDOM	2002	DBLP DOI BibTeX RDF
24	Robert Johnson, David Molnar, Dawn Xiaodong Song, David A. Wagner 0001	Homomorphic Signature Schemes.	CT-RSA	2002	DBLP DOI BibTeX RDF
24	Claus Boyens, Oliver Günther 0001	Trust Is not Enough: Privacy and Security in ASP and Web Service Environments.	ADBIS	2002	DBLP DOI BibTeX RDF
24	Sava Krstic, John Launchbury, Dusko Pavlovic	Categories of Processes Enriched in Final Coalgebras.	FoSSaCS	2001	DBLP DOI BibTeX RDF
24	Franz Baader, Werner Nutt	Combination problems for commutative/monoidal theories or how algebra can help in equational unification.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Equational unification, Semiadditive categories, Semirings, Equational theories
24	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
24	André Arnold, Anne Dicky	Equivalences and Preorders of Transition Systems.	MFCS	1993	DBLP DOI BibTeX RDF	temporal logic, bisimulation, transition system
24	Toshiya Itoh, Kouichi Sakurai, Hiroki Shizuya	Any Language in IP Has a Divertable ZKIP.	ASIACRYPT	1991	DBLP DOI BibTeX RDF
24	Zamir Bavel, Jerzy W. Grzymala-Busse, Yen-Teh Hsia	New communication protocols from old.	Comput. Commun. Rev.	1987	DBLP DOI BibTeX RDF
24	Jürgen Albert	On the Ehrenfeucht Conjecture on Test Sets and Its Dual Version.	MFCS	1984	DBLP DOI BibTeX RDF
24	Jürgen Albert, Karel Culík II	Test Sets for Homomorphism Equivalence on Context Free Languages.	ICALP	1980	DBLP DOI BibTeX RDF
24	Matthias Höpner, Manfred Opp	Renaming and Erasing in Szilard Languages.	ICALP	1977	DBLP DOI BibTeX RDF
23	István Juhos, Jano I. van Hemert	Contraction-Based Heuristics to Improve the Efficiency of Algorithms Solving the Graph Colouring Problem.	Recent Advances in Evolutionary Computation for Combinatorial Optimization	2008	DBLP DOI BibTeX RDF	Graph Contraction, Evolutionary Computation, Heuristics, Graph Colouring, Graph Representation, Graph Homomorphisms
23	Martin Grohe	The complexity of homomorphism and constraint satisfaction problems seen from the other side.	J. ACM	2007	DBLP DOI BibTeX RDF	Complexity, constraint satisfaction, conjunctive queries, homomorphisms, parameterized complexity
23	Peter Jonsson, Gustav Nordh, Johan Thapper	The Maximum Solution Problem on Graphs.	MFCS	2007	DBLP DOI BibTeX RDF	computational complexity, optimisation, Constraint satisfaction, homomorphisms
23	George Voutsadakis	Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	quasi-varieties, order homomorphisms, order isomorphisms, polarity translations, order translations, algebraic systems, protoalgebraic -institutions, institutions, polarities, varieties, algebraizable logics, protoalgebraic logics
23	Shin-ya Katsumata, Susumu Nishimura	Algebraic fusion of functions with an accumulating parameter and its improvement.	ICFP	2006	DBLP DOI BibTeX RDF	accumulating parameter, data contexts, higher-order removal, monoids and monoid homomorphisms, partial and infinite data structures, shortcut fusion
23	Simon St. James, Ulrich Ultes-Nitsche	Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.	PODC	2001	DBLP DOI BibTeX RDF	behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
23	Sergei Gorlatch	Toward Formally-Based Design of Message Passing Programs.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	systematic program design, maximum segment sum, MPI, Message passing, program transformations, skeletons, reduction, scan, homomorphisms, collective operations
23	Mihir Bellare, Don Coppersmith, Johan Håstad, Marcos A. Kiwi, Madhu Sudan 0001	Linearity Testing in Characteristic Two.	FOCS	1995	DBLP DOI BibTeX RDF	characteristic two, relative distance, rejection probability, Max3SAT, MaxSNP problems, lower bounds, lower bound, probability, theorem proving, upper bound, homomorphisms, Fourier analysis, Fourier analysis, linearity testing, linear functions
16	Laurent Bulteau, Konrad K. Dabrowski, Noleen Köhler, Sebastian Ordyniak, Daniël Paulusma	An Algorithmic Framework for Locally Constrained Homomorphisms.	SIAM J. Discret. Math.	2024	DBLP DOI BibTeX RDF
16	Santiago Guzmán-Pro	Full-homomorphisms to paths and cycles.	Discret. Math.	2024	DBLP DOI BibTeX RDF
16	Hanbaek Lyu, Facundo Mémoli, David Sivakoff	Sampling random graph homomorphisms and applications to network data analysis.	J. Mach. Learn. Res.	2023	DBLP BibTeX RDF
16	Wolfgang Poiger, Bruno Teheux	The Minor Order of Homomorphisms via Natural Dualities.	Order	2023	DBLP DOI BibTeX RDF
16	Piotr Borodulin-Nadzieja, Damian Sobota	On Sequences of Homomorphisms Into Measure Algebras and the Efimov Problem.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
16	Sophie MacDonald	The road problem and homomorphisms of directed graphs.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Azzh Saad Alshehry, Rashid Abu-Dawwas, Mahmoud AlBashayreh	On Properties of Graded Rings with respect to Group Homomorphisms.	Int. J. Math. Math. Sci.	2023	DBLP DOI BibTeX RDF
16	Artem Govorov, Jin-Yi Cai, Martin E. Dyer	A dichotomy for bounded degree graph homomorphisms with nonnegative weights.	J. Comput. Syst. Sci.	2023	DBLP DOI BibTeX RDF
16	Benjamin Scheidt, Nicole Schweikardt	Counting Homomorphisms from Hypergraphs of Bounded Generalised Hypertree Width: A Logical Characterisation.	CoRR	2023	DBLP DOI BibTeX RDF
16	M. A. Shalu, Cyriac Antony	Star colouring and locally constrained graph homomorphisms.	CoRR	2023	DBLP DOI BibTeX RDF
16	Jan Bok, Richard C. Brewster, Tomás Feder, Pavol Hell, Nikola Jedlicková	List homomorphisms to separable signed graphs.	CoRR	2023	DBLP DOI BibTeX RDF
16	Jin-Yi Cai, Ashwin Maran	The complexity of counting planar graph homomorphisms of domain size 3.	CoRR	2023	DBLP DOI BibTeX RDF
16	Pascal Welke, Maximilian Thiessen, Fabian Jogl, Thomas Gärtner 0001	Expectation-Complete Graph Representations with Homomorphisms.	CoRR	2023	DBLP DOI BibTeX RDF
16	Xiuzhan Guo, Wei Huang, Min Luo, Priya Rangarajan	Transforming Geospatial Ontologies by Homomorphisms.	CoRR	2023	DBLP DOI BibTeX RDF
16	Delia Garijo, Andrew J. Goodall, Lluís Vena	Homomorphisms between graphs embedded on surfaces.	CoRR	2023	DBLP DOI BibTeX RDF
16	Laurent Beaudou, Florent Foucaud, Florent R. Madelaine, Lhouari Nourine, Gaétan Richard	Complexity of conjunctive regular path query homomorphisms.	CoRR	2023	DBLP DOI BibTeX RDF