Search results for "homomorphism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	Tommy Färnqvist, Peter Jonsson	Bounded Tree-Width and CSP-Related Problems.	ISAAC	2007	DBLP DOI BibTeX RDF	Computational complexity, constraint satisfaction, homomorphism, inapproximability, relational structure
95	Michael Ben-Or, Don Coppersmith, Michael Luby, Ronitt Rubinfeld	Non-Abelian Homomorphism Testing, and Distributions Close to Their Self-convolutions.	APPROX-RANDOM	2004	DBLP DOI BibTeX RDF
84	Arvind Gupta, Mehdi Karimi 0001, Eun Jung Kim 0002, Arash Rafiey	Minimum Cost Homomorphism Dichotomy for Locally In-Semicomplete Digraphs.	COCOA	2008	DBLP DOI BibTeX RDF
81	Arvind Gupta, Pavol Hell, Mehdi Karimi 0001, Arash Rafiey	Minimum Cost Homomorphisms to Reflexive Digraphs.	LATIN	2008	DBLP DOI BibTeX RDF	minimum cost homomorphism, reflexive digraph, NP-completeness, polynomial time algorithm, homomorphism, dichotomy
80	Ming Fu, Yu Zhang 0086	Homomorphism Resolving of XPath Trees Based on Automata.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF	XPath tree, automata, containment, homomorphism
80	Daoyun Xu, Zhi-Hong Tao	Complexities of Homomorphism and Isomorphism for Definite Logic Programs.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	complexity, logic program, homomorphism, isomorphism, decision problem
78	Narayan Vikas	Connected and Loosely Connected List Homomorphisms.	WG	2002	DBLP DOI BibTeX RDF
74	Yan-Hui Zhai, Kai-She Qu	On Characteristics of Information System Homomorphisms.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Rough set, Information system, Homomorphism, Upper approximation, Lower approximation
74	Jianhua Feng, Yuguo Liao, Yong Zhang 0002	HCH for Checking Containment of XPath Fragment.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	conditioned homomorphism, XML, XPath, query containment, computer software, tree pattern
73	Dragan Masulovic	Homomorphism-Homogeneous Partially Ordered Sets.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06A06
69	Gunther Schmidt 0001	Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective.	RelMiCS	2006	DBLP DOI BibTeX RDF	homomorphism theorem, isomorphism theorem, multi-covering, relation algebra, congruence
62	Angsheng Li, Linqing Tang	Derandomizing Graph Tests for Homomorphism.	TAMC	2008	DBLP DOI BibTeX RDF
62	Gregory Z. Gutin, Arash Rafiey, Anders Yeo	Minimum Cost Homomorphism Dichotomy for Oriented Cycles.	AAIM	2008	DBLP DOI BibTeX RDF
62	Chengyi Zhang, Qingan Zheng	The Isomorphism and Homomorphism of Fuzzy Sets.	FSKD (3)	2007	DBLP DOI BibTeX RDF
62	Martin Grohe	The Complexity of Homomorphism and Constraint Satisfaction Problems Seen from the Other Side.	FOCS	2003	DBLP DOI BibTeX RDF
58	Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi	The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer.	POPL	2009	DBLP DOI BibTeX RDF	huet's zippers, polynomial data structures, the third homomorphism theorem, divide-and-conquer
58	Amir Shpilka, Avi Wigderson	Derandomizing homomorphism testing in general groups.	STOC	2004	DBLP DOI BibTeX RDF	homomorphism testing, derandomization, linearity testing
56	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
51	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
51	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
51	Yuguo Liao, Jianhua Feng, Yong Zhang 0002, Lizhu Zhou	Hidden Conditioned Homomorphism for XPath Fragment Containment.	DASFAA	2006	DBLP DOI BibTeX RDF
47	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
47	Agusti Solanas, Antoni Martínez-Ballesté	Privacy Protection in Location-Based Services Through a Public-Key Privacy Homomorphism.	EuroPKI	2007	DBLP DOI BibTeX RDF	public-key privacy homomorphism, location privacy
47	Yu Yu, Jussipekka Leiwo, A. Benjamin Premkumar	A Study on the Security of Privacy Homomorphism.	ITNG	2006	DBLP DOI BibTeX RDF	information security, semantic security, chosen-ciphertext attacks, private computation, privacy homomorphism
45	Biao Wang, YingJue Fang, HongGang Lin, Yi Li	The improved QV signature scheme based on conic curves over Z n .	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	conic curve over ? n, low exponent attacks, KMOV, QV, digital signature, RSA
45	Liang Chen, Chengmin Gao, Yong Xu	Non-interactive Evaluation of Encrypted Elementary Functions.	IAS	2009	DBLP DOI BibTeX RDF
45	Kun Peng	Secure Multiparty Computation of DNF.	ICICS	2007	DBLP DOI BibTeX RDF
45	Salima Benbernou, Etienne Canaud, Simone Pimont	Semantic Web Services Discovery Regarded as a Constraint Satisfaction Problem.	FQAS	2004	DBLP DOI BibTeX RDF
45	Ernest F. Brickell, Yacov Yacobi	On Privacy Homomorphisms (Extended Abstract).	EUROCRYPT	1987	DBLP DOI BibTeX RDF
40	Tommy Färnqvist, Peter Jonsson, Johan Thapper	Approximability Distance in the Space of H-Colourability Problems.	CSR	2009	DBLP DOI BibTeX RDF	graph H-colouring, computational complexity, approximability, optimisation, graph homomorphism
40	Stefan S. Dantchev, Florent R. Madelaine	Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.	CSR	2006	DBLP DOI BibTeX RDF	Constraint Satisfaction, Duality, Monadic Second Order Logic, Logic in Computer Science, Graph Homomorphism
40	Hans Kleine Büning, Daoyun Xu	The complexity of homomorphisms and renamings for minimal unsatisfiable formulas.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	minimal unsatisfiable formula, complexity, graph isomorphism, homomorphism, renaming
40	Jirí Fiala 0001, Daniël Paulusma	The Computational Complexity of the Role Assignment Problem.	ICALP	2003	DBLP DOI BibTeX RDF	role assignment 2002 Mathematics Subject Classification: 05C15, computational complexity, 03D15, graph homomorphism
40	Alessandro Armando, Silvio Ranise, Michaël Rusinowitch	Uniform Derivation of Decision Procedures by Superposition.	CSL	2001	DBLP DOI BibTeX RDF	Arrays with Extensionality, Term Rewriting, Decision Procedures, Homomorphism, Automated Deduction, Lists, Superposition, Equational Logic
40	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
40	Magnus Wahlström	New Plain-Exponential Time Classes for Graph Homomorphism.	CSR	2009	DBLP DOI BibTeX RDF
40	Liang Chen, Chengmin Gao	Public Key Homomorphism Based on Modified ElGamal in Real Domain.	CSSE (3)	2008	DBLP DOI BibTeX RDF
40	Michael Langberg, Yuval Rabani, Chaitanya Swamy	Approximation Algorithms for Graph Homomorphism Problems.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
40	Zhi Zhang, Haoyang Che, Pengfei Shi, Yong Sun, Jun Gu	Schema Homomorphism - An Algebraic Framework for Schema Matching.	ASIAN	2005	DBLP DOI BibTeX RDF
40	Alexander V. Shafarenko	Coercion as homomorphism: type inference in a system with subtyping and overloading.	PPDP	2002	DBLP DOI BibTeX RDF	type inference, subtyping, overloading, data-parallel programming, array processing
36	Martin Papco	On effect algebras of fuzzy sets.	Soft Comput.	2008	DBLP DOI BibTeX RDF	D-poset, Convergence Sequentially continuous D-homomorphism, Convergence effect algebra, Sequentially continuous EA-homomorphism, D-poset of fuzzy sets, Pointwise convergence, ID-poset, Effect algebra of fuzzy sets, IE-algebra, Sober IE-algebra, Closed IE-algebra, IE-measurable space, Measurable map, Natural equivalence, Monocoreflective subcategory, Epireflective subcategory, Coproduct, Generalized elementary event, Generalized measurable space, Generalized probability measure, Product, Observable, Duality, State, Effect algebra, Fuzzy random variable
35	Libor Barto, Marcin Kozik, Todd Niven	Graphs, polymorphisms and the complexity of homomorphism problems.	STOC	2008	DBLP DOI BibTeX RDF	computational complexity, polymorphism, constraint satisfaction problem, universal algebra, graph homomorphism
35	Bing Chen 0004, Xiaotian Wu, Yun-Shan Wei	Reversible data hiding in encrypted images with private-key homomorphism and public-key homomorphism.	J. Vis. Commun. Image Represent.	2018	DBLP DOI BibTeX RDF
35	Pawel Rzazewski	Exact algorithm for graph homomorphism and locally injective graph homomorphism.	Inf. Process. Lett.	2014	DBLP DOI BibTeX RDF
35	Pawel Rzazewski	Exact Algorithm for Graph Homomorphism and Locally Injective Graph Homomorphism.	CoRR	2013	DBLP BibTeX RDF
33	Zhao Chen	Mapping computations.	J. Supercomput.	2009	DBLP DOI BibTeX RDF	Structure matrices, Kronecker-like matrices, Superfast algorithm, Matrix-vector product
33	Malay K. Sen, Reza Ameri, G. Chowdhury	Fuzzy hypersemigroups.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Hypersemigroup, Fuzzy hypersemigroup, Fuzzy hyperideal, Fuzzy hypercongruence
33	Jirí Fiala 0001, Daniël Paulusma	Comparing Universal Covers in Polynomial Time.	CSR	2008	DBLP DOI BibTeX RDF
33	Fedor V. Fomin, Pinar Heggernes, Dieter Kratsch	Exact Algorithms for Graph Homomorphisms.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
33	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
33	Jan Foniok, Jaroslav Nesetril, Claude Tardif	Generalised Dualities and Finite Maximal Antichains.	WG	2006	DBLP DOI BibTeX RDF
33	Jean Monnerat, Yvonne Anne Oswald, Serge Vaudenay	Optimization of the MOVA Undeniable Signature Scheme.	Mycrypt	2005	DBLP DOI BibTeX RDF	optimization, Undeniable signatures
33	Fedor V. Fomin, Pinar Heggernes, Dieter Kratsch	Exact Algorithms for Graph Homomorphisms.	FCT	2005	DBLP DOI BibTeX RDF
33	Pascal Lafourcade 0001, Denis Lugiez, Ralf Treinen	Intruder Deduction for AC-Like Equational Theories with Homomorphisms.	RTA	2005	DBLP DOI BibTeX RDF
33	Hossein Hajiabolhassan, Xuding Zhu	Sparse H-Colourable Graphs of Bounded Maximum Degree.	Graphs Comb.	2004	DBLP DOI BibTeX RDF	Uniquely H-colourable graphs, Bounded maximum degree, Girth
33	Foto N. Afrati, Chen Li 0001, Prasenjit Mitra	On Containment of Conjunctive Queries with Arithmetic Comparisons.	EDBT	2004	DBLP DOI BibTeX RDF
33	Alan Mycroft	Completeness and predicate-based abstract interpretation.	PEPM	1993	DBLP DOI BibTeX RDF
33	Armen Gabrielian, Seymour Ginsburg	Grammar Schemata.	J. ACM	1974	DBLP DOI BibTeX RDF
29	Chengsong Zhu, Yaoting Zhu	A New Chinese Speech Synthesis Method Apply in Chinese Poetry Learning.	ICWL	2008	DBLP DOI BibTeX RDF	Chinese poetry, PSOLA, Speech Synthesis, homomorphism
29	Takato Hirano, Koichiro Wada, Keisuke Tanaka	Public-Key Cryptosystems with Primitive Power Roots of Unity.	ACISP	2008	DBLP DOI BibTeX RDF	Paillier encryption scheme, factoring assumption, power roots of unity, homomorphism
29	Gábor Kun, Jaroslav Nesetril	NP by Means of Lifts and Shadows.	MFCS	2007	DBLP DOI BibTeX RDF	duality, Constraint Satisfaction Problem, homomorphism, Digraph, NP
29	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
29	Florent R. Madelaine	Universal Structures and the Logic of Forbidden Patterns.	CSL	2006	DBLP DOI BibTeX RDF	Graph Homomorphism and Duality, Constraint Satisfaction, Finite Model theory, Monadic Second Order Logic
29	Alfonz Haviar, Judita Lihová	Varieties of Posets.	Order	2005	DBLP DOI BibTeX RDF	congruence relation, inf-set, l-subposet, sup-set, homomorphism, poset, variety
29	Bernhard Ganter, Léonard Kwuida	Which Concept Lattices Are Pseudocomplemented?.	ICFCA	2005	DBLP DOI BibTeX RDF	pseudocomplement, arrow-relation, complete homomorphism, lattices, Formal Concept Analysis, closure operator
29	Viktor Kuncak, Martin C. Rinard	Existential Heap Abstraction Entailment Is Undecidable.	SAS	2003	DBLP DOI BibTeX RDF	Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem
29	Robert P. Kurshan	Analysis of Discrete Event Coordination.	REX Workshop	1989	DBLP DOI BibTeX RDF	coordination analysis, formal verification, refinement, reduction, homomorphism
28	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
28	Olivier Corby, Catherine Faron-Zucker	Implementation of SPARQL Query Language Based on Graph Homomorphism.	ICCS	2007	DBLP DOI BibTeX RDF
28	George Voutsadakis	Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary: 03G99, Secondary: 68N30, 18C15
28	Stéphanie Delaune, Pascal Lafourcade 0001, Denis Lugiez, Ralf Treinen	Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or.	ICALP (2)	2006	DBLP DOI BibTeX RDF
28	Jirí Fiala 0001, Jan Kratochvíl	Locally Injective Graph Homomorphism: Lists Guarantee Dichotomy.	WG	2006	DBLP DOI BibTeX RDF
28	Jean-François Baget	RDF Entailment as a Graph Homomorphism.	ISWC	2005	DBLP DOI BibTeX RDF
28	Tomás Feder, Moshe Y. Vardi	Homomorphism Closed vs. Existential Positive.	LICS	2003	DBLP DOI BibTeX RDF
28	David A. Wagner 0001	Cryptanalysis of an Algebraic Privacy Homomorphism.	ISC	2003	DBLP DOI BibTeX RDF
28	Aleksander Malnic, Dragan Marusic, Norbert Seifter, Boris Zgrablic	Highly Arc-Transitive Digraphs With No Homomorphism Onto Z.	Comb.	2002	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) Classes: 05C25, 05C20
28	Massimo Bartoli, Marcello Pelillo, Kaleem Siddiqi, Steven W. Zucker	Attributed Tree Homomorphism Using Association Graphs.	ICPR	2000	DBLP DOI BibTeX RDF
28	Marie-Laure Mugnier	Knowledge Representation and Reasonings Based on Graph Homomorphism.	ICCS	2000	DBLP DOI BibTeX RDF
28	Nils Klarlund	A Homomorphism Concepts for omega-Regularity.	CSL	1994	DBLP DOI BibTeX RDF
22	Mudhakar Srivatsa, Dakshi Agrawal, Steffen Reidt	A metadata calculus for secure information sharing.	CCS	2009	DBLP DOI BibTeX RDF	access control, risk management, information flow
22	Joshua D. Guttman	Transformations between Cryptographic Protocols.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
22	Lars Kadison	Anchor Maps and Stable Modules in Depth Two.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 11S20, 13B24, 17B37, 20L05, 16W30
22	Changjian Liang, Yongming Li 0001	Algebraic properties on the cuts of lattice-valued regular languages.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Fuzzy languages, Lattice-valued regular languages, Level structure, Closure properties
22	Anuj Dawar, Stephan Kreutzer	On Datalog vs. LFP.	ICALP (2)	2008	DBLP DOI BibTeX RDF
22	Guillem Godoy, Sebastian Maneth, Sophie Tison	Classes of Tree Homomorphisms with Decidable Preservation of Regularity.	FoSSaCS	2008	DBLP DOI BibTeX RDF
22	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
22	Peter Jonsson, Gustav Nordh, Johan Thapper	The Maximum Solution Problem on Graphs.	MFCS	2007	DBLP DOI BibTeX RDF	computational complexity, optimisation, Constraint satisfaction, homomorphisms
22	Chengyi Zhang, Bencheng Wei, Guohui Chen	On Consistency of Fuzzy Clustering Analysis.	GrC	2007	DBLP DOI BibTeX RDF	Isomorphic Classification, Fuzzy clustering, Fuzzy relation, Order relation
22	Lars Kadison	Codepth Two and Related Topics.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 13B02, 16W30
22	Frédéric Fürst, Francky Trichet	Heavyweight Ontology Engineering.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF	Heavyweight Ontology, Graph-Based Techniques, Conceptual Graphs, Axioms, Ontology Matching, Ontology Evaluation
22	Sylvain Coulonges	Circular-Perfect Concave-Round Graphs.	WG	2006	DBLP DOI BibTeX RDF
22	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
22	Jaroslav Nesetril, Patrice Ossona de Mendez	Linear time low tree-width partitions and algorithmic consequences.	STOC	2006	DBLP DOI BibTeX RDF	bounded expansion, fraternal augmentation, coloration, first order logic, subgraph isomorphism, tree-width, graph minor
22	Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos	Datalog programs and their persistency numbers.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	bounded-tree width hypergraphs, persistency numbers, persistent variables, program transformations, Datalog, finite automata, Boundedness
22	Benjamin Rossman	Existential Positive Types and Preservation under Homomorphisisms.	LICS	2005	DBLP DOI BibTeX RDF
22	Zhi Zhang, Haoyang Che, Pengfei Shi, Yong Sun, Jun Gu	An Algebraic Framework for Schema Matching.	WAIM	2005	DBLP DOI BibTeX RDF
22	Manuel Bodirsky, Daniel Král	Locally Consistent Constraint Satisfaction Problems with Binary Constraints.	WG	2005	DBLP DOI BibTeX RDF
22	Kun Peng, Colin Boyd, Ed Dawson	A Multiplicative Homomorphic Sealed-Bid Auction Based on Goldwasser-Micali Encryption.	ISC	2005	DBLP DOI BibTeX RDF
22	Mithun Acharya, Joao Girão, Dirk Westhoff	Secure Comparison of Encrypted Data in Wireless Sensor Networks.	WiOpt	2005	DBLP DOI BibTeX RDF
22	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