Search results for "homomorphism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	James W. Cannon, William J. Floyd, Walter R. Parry	Combinatorially Regular Polyomino Tilings.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
11	Tuncer C. Aysal, Kenneth E. Barner	Despeckling Utilizing M-Estimators.	ICIP	2006	DBLP DOI BibTeX RDF
11	Yongtae Kim, Chang Han Kim, Taek-Young Youn	On the Security of Multilevel Cryptosystems over Class Semigroups of Imaginary Quadratic Non-maximal Orders.	EuroPKI	2006	DBLP DOI BibTeX RDF	Key generation algorithm, Class semigroup, Key exchange system, Hierarchy
11	Martin Grohe, Dániel Marx	Constraint solving via fractional edge covers.	SODA	2006	DBLP DOI BibTeX RDF
11	Sun S. Chung, Gultekin Özsoyoglu	Anti-Tamper Databases: Processing Aggregate Queries over Encrypted Databases.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
11	Kim-Kwang Raymond Choo	Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting.	CSFW	2006	DBLP DOI BibTeX RDF
11	Wenjun Xiao, Behrooz Parhami	Further Properties of Cayley Digraphs and Their Applications to Interconnection Networks.	TAMC	2006	DBLP DOI BibTeX RDF
11	Kathy J. Horadam	A Theory of Highly Nonlinear Functions.	AAECC	2006	DBLP DOI BibTeX RDF
11	Bernd Burgstaller, Bernhard Scholz, Johann Blieberger	Symbolic Analysis of Imperative Programming Languages.	JMLC	2006	DBLP DOI BibTeX RDF
11	Jan Hubicka, Jaroslav Nesetril	Finite Paths are Universal.	Order	2005	DBLP DOI BibTeX RDF
11	Konstantin Mischaikow, Marian Mrozek, Pawel Pilarczyk	Graph Approach to the Computation of the Homology of Continuous Maps.	Found. Comput. Math.	2005	DBLP DOI BibTeX RDF	Computational homology, Homology maps, Cubical complexes
11	Stefan Szeider	The Complexity of Resolution with Generalized Symmetry Rules.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
11	Sigrid Gürgens, Carsten Rudolph	Security analysis of efficient (Un-)fair non-repudiation protocols.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Asynchronous product automata, Fairness, Non-repudiation, Protocol analysis
11	Giancarlo Guizzardi, Luís Ferreira Pires, Marten van Sinderen	An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Appropriateness of Modeling Languages.	MoDELS	2005	DBLP DOI BibTeX RDF
11	Avi Wigderson, David Xiao	A Randomness-Efficient Sampler for Matrix-valued Functions and Applications.	FOCS	2005	DBLP DOI BibTeX RDF
11	Deepak Kapur, Paliath Narendran, Lida Wang	A Unification Algorithm for Analysis of Protocols with Blinded Signatures.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
11	Guillaume Fertin, Romeo Rizzi, Stéphane Vialette	Finding Exact and Maximum Occurrences of Protein Complexes in Protein-Protein Interaction Graphs.	MFCS	2005	DBLP DOI BibTeX RDF
11	Andreas Maletti	The Power of Tree Series Transducers of Type I and II.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
11	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
11	Byonghyo Shim, Hyung G. Myung	A novel metric representation for low-complexity log-MAP decoder.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
11	Hubert Comon-Lundh, Stéphanie Delaune	The Finite Variant Property: How to Get Rid of Some Algebraic Properties.	RTA	2005	DBLP DOI BibTeX RDF
11	Katalin Friedl, Gábor Ivanyos, Miklos Santha	Efficient testing of groups.	STOC	2005	DBLP DOI BibTeX RDF	group multiplication testing, quantum computation, edit distance, probabilistic computation
11	Michal Walicki	Bireachability and Final Multialgebras.	CALCO	2005	DBLP DOI BibTeX RDF
11	Chengyi Zhang	Fuzzy sets and quotient spaces.	GrC	2005	DBLP DOI BibTeX RDF
11	Jan Hubicka, Jaroslav Nesetril	Finite Paths are Universal.	Order	2004	DBLP DOI BibTeX RDF	universal posets, universal graphs, embeddings, on line, homomorphisms
11	Valdis Laan	On Descent Theory for Monoid Actions.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	descent morphism, effective descent morphism, monoid action
11	Pilar Carrasco, Antonio R. Garzón	Obstruction Theory for Extensions of Categorical Groups.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	categorical group, abstract kernel, obstruction, extension, cohomology
11	Eric R. Verheul	Evidence that XTR Is More Secure than Supersingular Elliptic Curve Cryptosystems.	J. Cryptol.	2004	DBLP DOI BibTeX RDF	Decision Diffie-Hellman problem, Supersingular elliptic curves, Inverting MOV embedding, Tripartite Diffie-Hellman key exchange, Escrow, XTR
11	YoungJu Choie, Steven T. Dougherty	Codes over Sigma2m and Jacobi forms over the Quaternions.	Appl. Algebra Eng. Commun. Comput.	2004	DBLP DOI BibTeX RDF
11	Shiuh-Jeng Wang	Anonymous Wireless Authentication on a Portable Cellular Mobile System.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
11	Peter McMullen	Mixed Fibre Polytopes.	Discret. Comput. Geom.	2004	DBLP DOI BibTeX RDF
11	Andrei A. Bulatov	A Graph of a Relational Structure and Constraint Satisfaction Problems.	LICS	2004	DBLP DOI BibTeX RDF
11	Víctor Dalmau, Andrei A. Krokhin, Benoît Larose	First-Order Definable Retraction Problems for Posets and Reflexive Graph.	LICS	2004	DBLP DOI BibTeX RDF
11	Yasuhito Mukouchi, Masako Sato	Learning Languages Generated by Elementary Formal Systems and Its Application to SH Languages.	ALT	2004	DBLP DOI BibTeX RDF
11	Jean Monnerat, Serge Vaudenay	Generic Homomorphic Undeniable Signatures.	ASIACRYPT	2004	DBLP DOI BibTeX RDF
11	Hubie Chen, Víctor Dalmau	(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability.	CP	2004	DBLP DOI BibTeX RDF
11	Antoni Martínez-Ballesté, Francesc Sebé, Josep Domingo-Ferrer	Secure Large-Scale Bingo.	ITCC (2)	2004	DBLP DOI BibTeX RDF	Many-to-one communications, Multicast, Virtual gaming
11	Hongzhi Wang 0001, Jianzhong Li 0001, Jizhou Luo, Zhenying He	XCpaqs: Compression of XML Document with XPath Query Support.	ITCC (1)	2004	DBLP DOI BibTeX RDF	compressor, XML, query process, compression, XPath
11	Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi	Projection Pushing Revisited.	EDBT	2004	DBLP DOI BibTeX RDF
11	Hubert Comon-Lundh, Ralf Treinen	Easy Intruder Deductions.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
11	Anderson C. A. Nascimento, Akira Otsuka, Hideki Imai, Jörn Müller-Quade	Unconditionally Secure Homomorphic Pre-distributed Commitments.	AAECC	2003	DBLP DOI BibTeX RDF
11	Rui Zhang 0002, Hideki Imai	Round Optimal Distributed Key Generation of Threshold Cryptosystem Based on Discrete Logarithm Problem.	ACNS	2003	DBLP DOI BibTeX RDF
11	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
11	Stefan Szeider	The Complexity of Resolution with Generalized Symmetry Rules.	STACS	2003	DBLP DOI BibTeX RDF
11	Ana Beatriz Vicentim Graciano, Roberto M. Cesar, Isabelle Bloch	Inexact Graph Matching for Facial Feature Segmentation and Recognition in Video Sequences: Results on Face Tracking.	CIARP	2003	DBLP DOI BibTeX RDF
11	Wenjun Xiao, Behrooz Parhami	Some Conclusions on Cayley Digraphs and Their Applications to Interconnection Networks.	GCC (2)	2003	DBLP DOI BibTeX RDF
11	Jiri Mockor	Semigroup homomorphisms and fuzzy automata.	Soft Comput.	2002	DBLP DOI BibTeX RDF
11	Sihem Amer-Yahia, SungRan Cho, Laks V. S. Lakshmanan, Divesh Srivastava	Tree pattern query minimization.	VLDB J.	2002	DBLP DOI BibTeX RDF	Query minimization, XML, Tree patterns
11	Klaus Wich	Universal Inherence of Cycle-Free Context-Free Ambiguity Functions.	ICALP	2002	DBLP DOI BibTeX RDF
11	David A. Schmidt	Structure-Preserving Binary Relations for Program Abstraction.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
11	Masayuki Abe, Ronald Cramer, Serge Fehr	Non-interactive Distributed-Verifier Proofs and Proving Relations among Commitments.	ASIACRYPT	2002	DBLP DOI BibTeX RDF
11	Sigrid Gürgens, Carsten Rudolph	Security Analysis of (Un-) Fair Non-repudiation Protocols.	FASec	2002	DBLP DOI BibTeX RDF
11	Alexander V. Shafarenko	A symmetry-based formalism for array subtyping.	ACM SIGAPL APL Quote Quad	2001	DBLP DOI BibTeX RDF
11	Eric R. Verheul	Evidence that XTR Is More Secure than Supersingular Elliptic Curve Cryptosystems.	EUROCRYPT	2001	DBLP DOI BibTeX RDF
11	Jef Wijsen, Alexis Bès	Temporal Tableau Queries.	TIME	2001	DBLP DOI BibTeX RDF
11	Detlef Hühnlein	Faster Generation of NICE-Schnorr-Type Signatures.	CT-RSA	2001	DBLP DOI BibTeX RDF
11	Martin Grohe, Thomas Schwentick, Luc Segoufin	When is the evaluation of conjunctive queries tractable?	STOC	2001	DBLP DOI BibTeX RDF
11	John Havlicek	Computable Obstructions to Wait-Free Computability.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Decision tasks, Homology, Simplicial complexes, Wait-free computing
11	Sergei Gorlatch, Christian Lengauer	Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach.	Acta Informatica	2000	DBLP DOI BibTeX RDF
11	Ilijas Farah	Approximate Homomorphisms II: Group Homomorphisms.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05D99, 20D99, 28A35, 28A60
11	Keith Stenning	Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems.	Diagrams	2000	DBLP DOI BibTeX RDF
11	Marcel Erné	Z-Continuous Posets and Their Topological Manifestation.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	closure space, completely distributive, continuous poset, sober space, completion, compact, core
11	J. C. Lagarias 0001	Geometric Models for Quasicrystals I. Delone Sets of Finite Type.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
11	Tsuyoshi Nishioka, Goichiro Hanaoka, Hideki Imai	A New Digital Signature Scheme on ID-Based Key-Sharing Infrastructures.	ISW	1999	DBLP DOI BibTeX RDF
11	Gösta Grahne, Alberto O. Mendelzon	Tableau Techniques for Querying Information Sources through Global Schemas.	ICDT	1999	DBLP DOI BibTeX RDF
11	Sergei Gorlatch	Programming with Divide-and-Conquer Skeletons: A Case Study of FFT.	J. Supercomput.	1998	DBLP DOI BibTeX RDF	Parallel programmin, Bird-Meertens formalism (BMF), Fast Fourier Transform (FFT), skeletons, divide-and-conquer
11	Rolf Hennicker, Michel Bidoit	Observational Logic.	AMAST	1998	DBLP DOI BibTeX RDF
11	Maurice Herlihy, Sergio Rajsbaum	A Wait-Free Classification of Loop Agreement Tasks.	DISC	1998	DBLP DOI BibTeX RDF
11	Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu	Parallelization via Context Preservation.	ICCL	1998	DBLP DOI BibTeX RDF	Context Preservation, Second-Order Generalization, Parallelization
11	Jan J. M. M. Rutten	Automata and Coinduction (An Exercise in Coalgebra).	CONCUR	1998	DBLP DOI BibTeX RDF
11	Gösta Grahne, Nicolas Spyratos, Daniel Stamate	Semantics and Containment with Internal and External Conjunctions.	ICDT	1997	DBLP DOI BibTeX RDF
11	Mohamad Afshar, J. Bates, Gavin M. Bierman, K. Moody	A New General Purpose Parallel Database System.	ISPAN	1997	DBLP DOI BibTeX RDF
11	Sergei Gorlatch	Systematic Extraction and Implementation of Divide-and-Conquer Parallelism.	PLILP	1996	DBLP DOI BibTeX RDF
11	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
11	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	Construction of List Homomorphisms by Tupling and Fusion.	MFCS	1996	DBLP DOI BibTeX RDF
11	Qing Guo, Paliath Narendran, David A. Wolfram	Unification and Matching Modulo Nilpotence.	CADE	1996	DBLP DOI BibTeX RDF	Subject area MECHANISMS, unification
11	Janos J. Sarbo	Lattice Embedding.	ICCS	1996	DBLP DOI BibTeX RDF
11	Boumediene Belkhouche, R. Raymond Lang, Chung Wa Ng	A Branching Time Semantics for the Ada Rendezvous Mechanism.	HICSS (1)	1996	DBLP DOI BibTeX RDF
11	Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton	Verifying Abstractions of Timed Systems.	CONCUR	1996	DBLP DOI BibTeX RDF
11	Shinichi Shimozono	An Approximation Algorithm for Alphabet Indexing Problem.	ISAAC	1995	DBLP DOI BibTeX RDF
11	Volker Diekert, Anca Muscholl, Klaus Reinhardt	On Codings of Traces.	STACS	1995	DBLP DOI BibTeX RDF	Topics Formal languages, concurrency
11	Thomas Wilke	Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability.	ICALP	1993	DBLP DOI BibTeX RDF
11	Robert P. Kurshan, Kenneth L. McMillan	Analysis of digital circuits through symbolic reduction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
11	Hung-Yu Lin, Lein Harn	A Generalized Secret Sharing Scheme With Cheater Detection.	ASIACRYPT	1991	DBLP DOI BibTeX RDF
11	Richard J. Lipton	Efficient Checking of Computations.	STACS	1990	DBLP DOI BibTeX RDF
11	Gilles Brassard, Moti Yung	One-Way Group Actions.	CRYPTO	1990	DBLP DOI BibTeX RDF
11	Wolfgang Gutjahr, Emo Welzl, Gerhard J. Woeginger	Polynomial Graph-Colorings.	STACS	1989	DBLP DOI BibTeX RDF
11	Richard Banach	Dataflow Analysis if Term Graph Rewriting Systems.	PARLE (2)	1989	DBLP DOI BibTeX RDF
11	Anthony C. Klug	On conjunctive queries containing inequalities.	J. ACM	1988	DBLP DOI BibTeX RDF
11	Teodor Rus	Parsing Languages by Pattern Matching.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	BNF-rule, program parsing, specification mechanism, algorithm, complexity, compiler, programming language, pattern matching, language, Algebraic model, program evaluation
11	Manfred Broy, Martin Wirsing, Peter Pepper	On the Algebraic Definition of Programming Languages.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
11	Roger L. Norton	Information systems as implementations (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
11	Andrzej Blikle	Denotational Engineering or from Denotations to Syntax.	VDM Europe	1987	DBLP DOI BibTeX RDF
11	Hans-Jörg Kreowski	Partial Algebras Flow From Algebraic Specifications.	ICALP	1987	DBLP DOI BibTeX RDF
11	Walter Vogler	Behaviour Preserving Refinement of Petri Nets.	WG	1986	DBLP DOI BibTeX RDF
11	Josh Cohen Benaloh	Secret Sharing Homomorphisms: Keeping Shares of A Secret Sharing.	CRYPTO	1986	DBLP DOI BibTeX RDF
11	Peter Dybjer	Domain Algebras.	ICALP	1984	DBLP DOI BibTeX RDF
11	Manfred Broy, Martin Wirsing	Generalized Heterogeneous Algebras and Partial Interpretations.	CAAP	1983	DBLP DOI BibTeX RDF
11	Michael Yoeli	Generalized Cascade Decompositions of Automata.	J. ACM	1965	DBLP DOI BibTeX RDF