Search results for "Isomorphisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Willi Geiselmann, Willi Meier, Rainer Steinwandt	An Attack on the Isomorphisms of Polynomials Problem with One Secret.	IACR Cryptol. ePrint Arch.	2002	DBLP BibTeX RDF
19	Cai Heng Li	On isomorphisms of finite Cayley graphs--a survey.	Discret. Math.	2002	DBLP DOI BibTeX RDF
19	David Coudert, Afonso Ferreira, Stephane Perennes	Isomorphisms of the De Bruijn digraph and free-space optical networks.	Networks	2002	DBLP DOI BibTeX RDF
19	Yan-Quan Feng, Yan-Pei Liu, Ming Yao Xu	On the Isomorphisms of Cayley Graphs of Abelian Groups.	J. Comb. Theory, Ser. B	2002	DBLP DOI BibTeX RDF
19	Vincent Balat	Une étude des sommes fortes : isomorphismes et formes normales. (A study of strong sums: isomorphisms and normal forms).		2002	RDF
19	Robert Jajcay, Cai Heng Li	Constructions of Self-complementary Circulants with No Multiplicative Isomorphisms.	Eur. J. Comb.	2001	DBLP DOI BibTeX RDF
19	Cai Heng Li, Sanming Zhou	On Isomorphisms of Minimal Cayley Graphs and Digraphs.	Graphs Comb.	2001	DBLP DOI BibTeX RDF
19	André Große, Jörg Rothe, Gerd Wechsung	Computing Complete Graph Isomorphisms and Hamiltonian Cycles from Partial Ones	CoRR	2001	DBLP BibTeX RDF
19	Iwao Sato	Isomorphisms of Cyclic Abelian Covers of Symmetric Digraphs, III.	Ars Comb.	2001	DBLP BibTeX RDF
19	Izumi Miyamoto	Computing Isomorphisms of Association Schemes and its Application.	J. Symb. Comput.	2001	DBLP DOI BibTeX RDF
19	Bernhard Mühlherr	On Isomorphisms between Coxeter Groups.	Des. Codes Cryptogr.	2000	DBLP BibTeX RDF
19	Jean Marc Couveignes	Isomorphisms between Artin-Schreier towers.	Math. Comput.	2000	DBLP DOI BibTeX RDF
19	Andreas W. M. Dress, Katharina T. Huber, Vincent Moulton	Affine Maps That Induce Polyhedral Complex Isomorphisms.	Discret. Comput. Geom.	2000	DBLP DOI BibTeX RDF
19	David Coudert, Afonso Ferreira, Stephane Perennes	De Bruijn Isomorphisms and Free Space Optical Networks.	IPDPS	2000	DBLP DOI BibTeX RDF
19	Antony Edward Hofton	Graph layout using subgraph isomorphisms.		2000	RDF
19	Jie Wang 0002	Randomized Reductions and Isomorphisms.	Chic. J. Theor. Comput. Sci.	1999	DBLP BibTeX RDF
19	Sergei Evdokimov 0001, Ilia N. Ponomarenko	On Highly Closed Cellular Algebras and Highly Closed Isomorphisms.	Electron. J. Comb.	1999	DBLP DOI BibTeX RDF
19	Kosta Dosen, Zoran Petric	Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic.	J. Symb. Log.	1999	DBLP DOI BibTeX RDF
19	Hirobumi Mizuno, Iwao Sato	Isomorphisms of Cyclic Abelian Covers of Symmetric Digraphs.	Ars Comb.	1999	DBLP BibTeX RDF
19	Bakhadyr Khoussainov, Richard A. Shore	Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families".	Ann. Pure Appl. Log.	1999	DBLP DOI BibTeX RDF
19	Dachang Guo	Isomorphisms and normality of Cayley digraphs of A5.	Australas. J Comb.	1999	DBLP BibTeX RDF
19	Cai Heng Li	Isomorphisms of Finite Cayley Digraphs of Bounded Valency, II.	J. Comb. Theory, Ser. A	1999	DBLP DOI BibTeX RDF
19	David Delahaye	Information Retrieval in a Coq Proof Library Using Type Isomorphisms.	TYPES	1999	DBLP DOI BibTeX RDF
19	S. J. Lee, Louis D. Nel	Foundational Isomorphisms in Continuous Differentiation Theory.	Appl. Categorical Struct.	1998	DBLP DOI BibTeX RDF
19	Marston D. E. Conder, Cai Heng Li	On Isomorphisms of Finite Cayley Graphs.	Eur. J. Comb.	1998	DBLP DOI BibTeX RDF
19	Cai Heng Li	Isomorphisms of Connected Cayley Digraphs.	Graphs Comb.	1998	DBLP DOI BibTeX RDF
19	Bakhadyr Khoussainov, Richard A. Shore	Computable Isomorphisms, Degree Spectra of Relations, and Scott Families.	Ann. Pure Appl. Log.	1998	DBLP DOI BibTeX RDF
19	John L. Knapp	ER Isomorphisms and Uniqueness Conditions.	Data Knowl. Eng.	1998	DBLP DOI BibTeX RDF
19	Cai Heng Li	On isomorphisms of connected Cayley graphs.	Discret. Math.	1998	DBLP DOI BibTeX RDF
19	Pierre-Vincent Koseleff	Relations among Lie-series transformations and isomorphisms between free Lie algebras.	Discret. Math.	1998	DBLP DOI BibTeX RDF
19	Ming-Yao Xu	Automorphism groups and isomorphisms of Cayley digraphs.	Discret. Math.	1998	DBLP DOI BibTeX RDF
19	Cai Heng Li, Cheryl E. Praeger, Ming Yao Xu	Isomorphisms of Finite Cayley Digraphs of Bounded Valency.	J. Comb. Theory, Ser. B	1998	DBLP DOI BibTeX RDF
19	Cai Heng Li	On Isomorphisms of Connected Cayley Graphs, II.	J. Comb. Theory, Ser. B	1998	DBLP DOI BibTeX RDF
19	Christopher League	Review of Isomorphisms of Types: : from lambda-calculus to information retrieval and language design by Roberto Di Cosmo (Birkhauser, 1995).	SIGACT News	1997	DBLP DOI BibTeX RDF
19	Haipeng Qu, Jinsong Yu	On isomorphisms of Cayley digraphs on dihedral groups.	Australas. J Comb.	1997	DBLP BibTeX RDF
19	Yan-Quan Feng, Ming-Yao Xu	A note on isomorphisms of Cayley digraphs of Abelian groups.	Australas. J Comb.	1997	DBLP BibTeX RDF
19	Hai-Cheng Ma	On isomorphisms of Cayley digraphs on dicyclic groups.	Australas. J Comb.	1997	DBLP BibTeX RDF
19	Qiongxiang Huang	Isomorphisms and automorphism groups of a class of Cayley digraphs on Abelian groups.	Australas. J Comb.	1997	DBLP BibTeX RDF
19	Yan-Quan Feng, Tai-Ping Gao	Automorphism groups and isomorphisms of Cayley digraphs of Abelian groups.	Australas. J Comb.	1997	DBLP BibTeX RDF
19	Xueliang Li 0001, Biao Zhao	Isomorphisms of P4-graphs.	Australas. J Comb.	1997	DBLP BibTeX RDF
19	Robert E. L. Aldred, Mark N. Ellingham, Robert L. Hemminger, Peter Jipsen	P3-isomorphisms for graphs.	J. Graph Theory	1997	DBLP DOI BibTeX RDF
19	Bruno T. Messmer, Horst Bunke	Fast Computation of Error-Correcting Graph Isomorphisms Based on Model Precompilation.	ICIAP (1)	1997	DBLP DOI BibTeX RDF
19	Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx	Computational isomorphisms in classical logic.	Linear Logic Tokyo Meeting	1996	DBLP DOI BibTeX RDF
19	Qiongxiang Huang, Jixiang Meng	On the isomorphisms and automorphism groups of circulants.	Graphs Comb.	1996	DBLP DOI BibTeX RDF
19	Xueliang Li 0001	Isomorphisms of P3-graphs.	J. Graph Theory	1996	DBLP DOI BibTeX RDF
19	Timothy J. Surendonk	On Isomorphisms between Canonical Frames.	Advances in Modal Logic	1996	DBLP BibTeX RDF
19	Jacques Patarin	Hidden Fields Equations (HFE) and Isomorphisms of Polynomials (IP): Two New Families of Asymmetric Algorithms.	EUROCRYPT	1996	DBLP DOI BibTeX RDF
19	Catherine Oriat	Etude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. (Modular specifications: finite colimits constructions, diagrams, isomorphisms).		1996	RDF
19	Bernhard Herwig	Extending Partial Isomorphisms on Finite Structures.	Comb.	1995	DBLP DOI BibTeX RDF
19	Jie Wang 0002	Productive Functions and Isomorphisms.	Math. Syst. Theory	1995	DBLP DOI BibTeX RDF
19	Gaisi Takeuti	RSUV isomorphisms for TACi, TNCi and TLS.	Arch. Math. Log.	1995	DBLP DOI BibTeX RDF
19	Jixiang Meng, Mingyao Xu	Automorphisms of groups and isomorphisms of Cayley digraphs.	Australas. J Comb.	1995	DBLP BibTeX RDF
19	Cai Heng Li	Isomorphisms and classification of Cayley graphs of small valencies on finite Abelian groups.	Australas. J Comb.	1995	DBLP BibTeX RDF
19	Catherine Oriat	Detecting Isomorphisms of Modular Specifications with Diagrams.	AMAST	1995	DBLP DOI BibTeX RDF
19	Joseph C. Culberson	Mutation-Crossover Isomorphisms and the Construction of Discriminating Functions.	Evol. Comput.	1994	DBLP DOI BibTeX RDF
19	Naomi Blatt, Jacob Rubinstein	The canonical coordinates method for pattern recognition--II. Isomorphisms with affine transformations.	Pattern Recognit.	1994	DBLP DOI BibTeX RDF
19	Alexander K. Kelmans	On Edge Semi-Isomorphisms and Semi-Dualities of Graphs.	Graphs Comb.	1994	DBLP DOI BibTeX RDF
19	Iwao Sato	Isomorphisms of some graph coverings.	Discret. Math.	1994	DBLP DOI BibTeX RDF
19	Hong Du	On the Isomorphisms of Smooth Algebraic Curves.	ISSAC	1994	DBLP DOI BibTeX RDF
19	Judy Goldsmith, Deborah Joseph	Relativized Isomorphisms of NP-Complete Sets.	Comput. Complex.	1993	DBLP DOI BibTeX RDF
19	David L. Battle, Michael D. Vose	Isomorphisms of Genetic Algorithms.	Artif. Intell.	1993	DBLP DOI BibTeX RDF
19	György Serény	Isomorphisms of Finite Cylindrical Set Algebras of Characteristic Zero.	Notre Dame J. Formal Log.	1993	DBLP DOI BibTeX RDF
19	Martin Wursthorn	Isomorphisms of Modular Group Algebras: An Algorithm and its Application to Groups of Order.	J. Symb. Comput.	1993	DBLP DOI BibTeX RDF
19	Roberto Di Cosmo	Deciding Type Isomorphisms in a Type-Assignment Framework.	J. Funct. Program.	1993	DBLP DOI BibTeX RDF
19	Jay Belanger, Jie Wang 0002	Isomorphisms of NP Complete Problems on Random Instances.	SCT	1993	DBLP DOI BibTeX RDF
19	Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo	Provable Isomorphisms of Types.	Math. Struct. Comput. Sci.	1992	DBLP DOI BibTeX RDF
19	Ehud Hrushovski	Extending partial isomorphisms of graphs.	Comb.	1992	DBLP DOI BibTeX RDF
19	George C. Nelson	Constructive Ultraproducts and Isomorphisms of Recursively Saturated Ultrapowers.	Notre Dame J. Formal Log.	1992	DBLP DOI BibTeX RDF
19	Charles Delorme, Odile Favaron, Maryvonne Mahéo	Isomorphisms of Cayley multigraphs of degree 4 on finite abelian groups.	Eur. J. Comb.	1992	DBLP DOI BibTeX RDF
19	Roberto Di Cosmo	Type Isomorphisms in a Type-Assignment Framework.	POPL	1992	DBLP DOI BibTeX RDF	ML
19	M. Victoria Marshall, Rolando Chuaqui	Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms.	J. Symb. Log.	1991	DBLP DOI BibTeX RDF
19	Harold Schellinx	Isomorphisms and Nonisomorphisms of Graph Models.	J. Symb. Log.	1991	DBLP DOI BibTeX RDF
19	Neal Brand	Polynomial isomorphisms of combinatorial objects.	Graphs Comb.	1991	DBLP DOI BibTeX RDF
19	M. Hofmeister	Isomorphisms and automorphisms of graph coverings.	Discret. Math.	1991	DBLP DOI BibTeX RDF
19	David L. Battle, Michael D. Vose	Isomorphisms of Genetic Algorithms.	FOGA	1990	DBLP DOI BibTeX RDF
19	Jie Wang 0002	Some Remarks on Polynomial Time Isomorphisms.	ICCI	1990	DBLP DOI BibTeX RDF
19	Neal Brand	Isomorphisms of cyclic combinatorial objects.	Discret. Math.	1989	DBLP DOI BibTeX RDF
19	Eric Allender	Isomorphisms and 1-L Reductions.	J. Comput. Syst. Sci.	1988	DBLP DOI BibTeX RDF
19	Sam Stueckle	On natural isomorphisms of cycle permutation graphs.	Graphs Comb.	1988	DBLP DOI BibTeX RDF
19	Krishna M. Kavi, Bill P. Buckles, U. Narayan Bhat	Isomorphisms Between Petri Nets and Dataflow Graphs.	IEEE Trans. Software Eng.	1987	DBLP DOI BibTeX RDF
19	Sergio Antoy	Modeling and Isomorphisms of Positional Board Games.	IEEE Trans. Pattern Anal. Mach. Intell.	1987	DBLP DOI BibTeX RDF
19	Masashi Katsura	Isomorphisms of group-matrix type automata.	Syst. Comput. Jpn.	1987	DBLP DOI BibTeX RDF
19	Ker-I Ko, Timothy J. Long, Ding-Zhu Du	On One-Way Functions and Polynomial-Time Isomorphisms.	Theor. Comput. Sci.	1986	DBLP DOI BibTeX RDF
19	Ker-I Ko, Timothy J. Long, Ding-Zhu Du	A Note on One-Way Functions and Polynomial-Time Isomorphisms (Extended Abstract)	STOC	1986	DBLP DOI BibTeX RDF
19	Eric Allender	Isomorphisms and 1-L Reductions.	SCT	1986	DBLP DOI BibTeX RDF
19	Ker-I Ko, Timothy J. Long, Ding-Zhu Du	A Note on One- Way Functions and Polynomial Time Isomorphisms.	SCT	1986	DBLP DOI BibTeX RDF
19	Marc Bezem	Isomorphisms Between HEO and HROE, ECF and ICFE.	J. Symb. Log.	1985	DBLP DOI BibTeX RDF
19	Kim B. Bruce, Giuseppe Longo	Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version)	STOC	1985	DBLP DOI BibTeX RDF
19	A. Yavuz Oruç, M. Yaman Oruç	On Testing Permutation Network Isomorphisms.	ICPP	1985	DBLP BibTeX RDF
19	M. L. Gardner	Hypergraphs and Whitney's theorem on edge-isomorphisms of graphs.	Discret. Math.	1984	DBLP DOI BibTeX RDF
19	Gunter Lassmann	On 4-isomorphisms of graphs.	Discret. Math.	1984	DBLP DOI BibTeX RDF
19	Wen-Hsiang Tsai, King-Sun Fu	Subgraph error-correcting isomorphisms for syntactic pattern recognition.	IEEE Trans. Syst. Man Cybern.	1983	DBLP DOI BibTeX RDF
19	Giuseppe Longo	Set-theoretical models of λ-calculus: theories, expansions, isomorphisms.	Ann. Pure Appl. Log.	1983	DBLP DOI BibTeX RDF
19	Robert L. Hemminger, Heinz Adolf Jung, Alexander K. Kelmans	On 3-skein isomorphisms of graphs.	Comb.	1982	DBLP DOI BibTeX RDF
19	Robert L. Hemminger, Heinz Adolf Jung	On n-skein isomorphisms of graphs.	J. Comb. Theory, Ser. B	1982	DBLP DOI BibTeX RDF
19	Jouko Väänänen	A Quantifier for Isomorphisms.	Math. Log. Q.	1980	DBLP DOI BibTeX RDF
19	Chao-Chih Yang, Charmane P. May	Algorithms for finding directed graph isomorphisms by finite automata.	Int. J. Parallel Program.	1980	DBLP DOI BibTeX RDF
19	James J. McGregor	Relational consistency algorithms and their application in finding subgraph and graph isomorphisms.	Inf. Sci.	1979	DBLP DOI BibTeX RDF
19	Wen-Hsiang Tsai, King-Sun Fu	Error-Correcting Isomorphisms of Attributed Relational Graphs for Pattern Analysis.	IEEE Trans. Syst. Man Cybern.	1979	DBLP DOI BibTeX RDF
19	Juris Hartmanis	On Log-Tape Isomorphisms of Complete Sets.	Theor. Comput. Sci.	1978	DBLP DOI BibTeX RDF