Search results for "isomorphism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Atsushi Ohori	A Curry-Howard Isomorphism for Compilation and Program Execution.	TLCA	1999	DBLP DOI BibTeX RDF
22	Yoshinori Nakanishi, Kuniaki Uehara	Parallel Organization Algorithm for Graph Matching and Subgraph Isomorphism Detection.	Discovery Science	1998	DBLP DOI BibTeX RDF
22	G. MacDonald, Thomas C. Shermer	Isomorphism of Spiral Polygons.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
22	Manindra Agrawal, Eric Allender	An Isomorphism Theorem for Circuit Complexity.	CCC	1996	DBLP DOI BibTeX RDF	Complete Sets, Berman-Hartmanis Conjecture, NC1, AC0, NC0, projections, Circuit Complexity, uniformity, Isomorphisms
22	Luitpold Babel, Stephan Olariu	On the Isomorphism of Graphs with Few P4s.	WG	1995	DBLP DOI BibTeX RDF
22	Thierry Boy de la Tour, Christoph Kreitz	Building Proofs by Analogy via the Curry-Horward Isomorphism.	LPAR	1992	DBLP DOI BibTeX RDF
22	Peter Damaschke	Induced Subgraph Isomorphism for Cographs in NP-Complete.	WG	1990	DBLP DOI BibTeX RDF
22	Kioshi Shirayanagi	On the Isomorphism Problem for Finite-Dimensional Binomial Algebras.	ISSAC	1990	DBLP DOI BibTeX RDF
22	Andrzej Lingas, Maciej M. Syslo	A Polynomial-Time Algorithm for Subgraph Isomorphism of Two-Connected Series-Parallel Graphs.	ICALP	1988	DBLP DOI BibTeX RDF
22	Uwe Schöning	Graph Isomorphism is in the Low Hierarchy.	STACS	1987	DBLP DOI BibTeX RDF
22	Jeremy P. Spinrad, Jacobo Valdes	Recognition and Isomorphism of Two Dimensional Partial Orders.	ICALP	1983	DBLP DOI BibTeX RDF
22	Douglas C. Schmidt, Larry E. Druffel	A Fast Backtracking Algorithm to Test Directed Graphs for Isomorphism Using Distance Matrices.	J. ACM	1976	DBLP DOI BibTeX RDF
22	Alfs T. Berztiss	A Backtrack Procedure for Isomorphism of Directed Graphs.	J. ACM	1973	DBLP DOI BibTeX RDF
17	José Espírito Santo	The lambda-Calculus and the Unity of Structural Proof Theory.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF
17	Takayuki Nagoya	Computing Graph Automorphism from Partial Solutions.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Computational complexity, Graph automorphism, Partial solution
17	Lorenzo De Nardo, Francesco Ranzato, Francesco Tapparo	The Subgraph Similarity Problem.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
17	Bingjun Sun, Prasenjit Mitra, C. Lee Giles	Independent informative subgraph mining for graph information retrieval.	CIKM	2009	DBLP DOI BibTeX RDF	index pruning, feature selection, graph mining, graph search
17	Sagarmoy Dutta, Piyush P. Kurur	Representing Groups on Graphs.	MFCS	2009	DBLP DOI BibTeX RDF
17	Ekaterina B. Fokina, Sy-David Friedman	Equivalence Relations on Classes of Computable Structures.	CiE	2009	DBLP DOI BibTeX RDF
17	Wen Ting Zhang, Yan Feng Luo	On Varieties Generated by Minimal Complex Semigroups.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 20M07
17	Bruce N. Cooperstein, Bart De Bruyn	The combinatorial properties of the hyperplanes of DW (5, q) arising from embedding.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classification (2000) 51A45, 51A50
17	László Babai, Paolo Codenotti	Isomorhism of Hypergraphs of Low Rank in Moderately Exponential Time.	FOCS	2008	DBLP DOI BibTeX RDF
17	Jia Wu, Ling Chen	A Fast Frequent Subgraph Mining Algorithm.	ICYCS	2008	DBLP DOI BibTeX RDF
17	Alexandra Brügger, Horst Bunke, Peter J. Dickinson, Kaspar Riesen	Generalized Graph Matching for Data Mining and Information Retrieval.	ICDM	2008	DBLP DOI BibTeX RDF
17	Diana Mateus, Radu Horaud, David Knossow, Fabio Cuzzolin, Edmond Boyer	Articulated shape matching using Laplacian eigenfunctions and unsupervised point registration.	CVPR	2008	DBLP DOI BibTeX RDF
17	Claudio Gutiérrez-Soto, Pedro G. Campos, Julio Aguila	Longest Path Subgraph: A Novel and Efficient Algorithm to Match RDF Graphs.	ENC	2008	DBLP DOI BibTeX RDF
17	Wei Li, Ying Lu, Yi-Chao Zhang, Jian-Guo Wu	A Verifying Method of Controller Synthesis.	CSSE (2)	2008	DBLP DOI BibTeX RDF
17	Andreas Distler, Tom Kelsey	The Monoids of Order Eight and Nine.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
17	Andrew Gilpin, Tuomas Sandholm	Lossless abstraction of imperfect information games.	J. ACM	2007	DBLP DOI BibTeX RDF	Automated abstraction, computer poker, equilibrium finding, sequential games of imperfect information, game theory
17	Yokesh Kumar, Prosenjit Gupta	An External Memory Circuit Validation Algorithm for Large VLSI Layouts.	ISVLSI	2007	DBLP DOI BibTeX RDF
17	Hiroshi Motoda	Pattern Discovery from Graph-Structured Data - A Data Mining Perspective.	IEA/AIE	2007	DBLP DOI BibTeX RDF
17	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
17	Neeraj Kayal, Nitin Saxena 0001	Complexity of Ring Morphism Problems.	Comput. Complex.	2006	DBLP DOI BibTeX RDF	13P99, Subject classification. 68Q15
17	A. Gerlo, Eva Vandersmissen, C. Van Olmen	Sober Approach Spaces are Firmly Reflective for the Class of Epimorphic Embeddings.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	AMS classification 54B30, 18B35, 18A40
17	Christophe Van Olmen, Stijn Verwulgen	Every Banach Space is Reflexive.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	locally convex approach space, totally convex module, weak*-structure, duality, Banach space
17	Huahai He, Ambuj K. Singh	Closure-Tree: An Index Structure for Graph Queries.	ICDE	2006	DBLP DOI BibTeX RDF
17	Daniele Micciancio, Shien Jin Ong, Amit Sahai, Salil P. Vadhan	Concurrent Zero Knowledge Without Complexity Assumptions.	TCC	2006	DBLP DOI BibTeX RDF
17	Zou Kaiqi, Deng Guannan	Product and Coproduct of CF Symmetric Group Categories.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
17	Andrew Gilpin, Tuomas Sandholm	Finding equilibria in large sequential games of imperfect information.	EC	2006	DBLP DOI BibTeX RDF	automated abstraction, computer poker, equilibrium finding, sequential games of imperfect information, game theory
17	Manindra Agrawal, Nitin Saxena 0001	Equivalence of F-Algebras and Cubic Forms.	STACS	2006	DBLP DOI BibTeX RDF
17	Marco Gori, Marco Maggini, Lorenzo Sarti	Exact and Approximate Graph Matching Using Random Walks.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
17	Andreas Meier 0002, Volker Sorge	Applying SAT Solving in Classification of Finite Algebras.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	application of SAT, finite algebra, mathematics
17	Jirí Srba	Timed-Arc Petri Nets vs. Networks of Timed Automata.	ICATPN	2005	DBLP DOI BibTeX RDF
17	Manuel Bodirsky	The Core of a Countably Categorical Structure.	STACS	2005	DBLP DOI BibTeX RDF
17	Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini	On the equivalence and rewriting of aggregate queries.	Acta Informatica	2004	DBLP DOI BibTeX RDF
17	Tsau Young Lin	Mining Associations by Linear Inequalities.	ICDM	2004	DBLP DOI BibTeX RDF	feature, association, deduction, bitmaps, granules
17	Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan 0001	Automatic Structures: Richness and Limitations.	LICS	2004	DBLP DOI BibTeX RDF
17	Laurent Henocque, Nicolas Prcovic	Practically Handling Some Configuration Isomorphisms.	ICTAI	2004	DBLP DOI BibTeX RDF
17	Herman Geuvers, Rob Nederpelt	Rewriting for Fitch Style Natural Deductions.	RTA	2004	DBLP DOI BibTeX RDF
17	Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg	Embedding in Switching Classes with Skew Gains.	ICGT	2004	DBLP DOI BibTeX RDF
17	Christophe Irniger, Horst Bunke	Decision Tree Structures for Graph Database Filtering.	SSPR/SPR	2004	DBLP DOI BibTeX RDF
17	Agostino Dovier, Carla Piazza	The Subgraph Bisimulation Problem.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	complexity, Bisimulation, semistructured data
17	Peter J. Dickinson, Horst Bunke, Arek Dadej, Miro Kraetzl	On Graphs with Unique Node Labels.	GbRPR	2003	DBLP DOI BibTeX RDF
17	Sujit Kumar, Srinath Srinivasa	A Database for Storage and Fast Retrieval of Structure Data.	ICDE	2003	DBLP DOI BibTeX RDF
17	Yoichi Kaneko, Yoshiyuki Yamashita, Kenji Hoshi	Synthesis of Operating Procedures for Material and Energy Conversions in a Batch Plant.	KES	2003	DBLP DOI BibTeX RDF
17	Françoise Levy-dit-Vehel, Ludovic Perret	Polynomial Equivalence Problems and Applications to Multivariate Cryptosystems.	INDOCRYPT	2003	DBLP DOI BibTeX RDF
17	Jean-Francois Puget	Symmetry Breaking Using Stabilizers.	CP	2003	DBLP DOI BibTeX RDF
17	Anuj Dawar, David Richerby	A Fixed-Point Logic with Symmetric Choice.	CSL	2003	DBLP DOI BibTeX RDF
17	Martin Kutz	The Complexity of Boolean Matrix Root Computation.	COCOON	2003	DBLP DOI BibTeX RDF
17	Jeremy J. Carroll	Matching RDF Graphs.	ISWC	2002	DBLP DOI BibTeX RDF
17	Juris Viksna, David R. Gilbert	Pattern Matching and Pattern Discovery Algorithms for Protein Topologies.	WABI	2001	DBLP DOI BibTeX RDF
17	Ralph McKenzie	Arithmetic of Finite Ordered Sets: Cancellation of Exponents, II.	Order	2000	DBLP DOI BibTeX RDF	cancellation of exponents, exponentiation, posets
17	Martin Grohe	Equivalence in Finite-Variable Logics is Complete for Polynomial Time.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 03C13, 05C60, 68Q15
17	Luc Florack, Robert Maas, Wiro J. Niessen	Pseudo-Linear Scale-Space Theory.	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF	fuzzy dilation/erosion, linear scale-space, morphological scale-space, reaction-diffusion
17	Zhonghua Yang, Chengzheng Sun, Abdul Sattar 0001, Yanyan Yang	Guaranteed Mutually Consistent Checkpointing in Distributed Computations.	ASIAN	1998	DBLP DOI BibTeX RDF
17	Jacques Patarin, Louis Goubin, Nicolas T. Courtois	Improved Algorithms for Isomorphisms of Polynomials.	EUROCRYPT	1998	DBLP DOI BibTeX RDF
17	Vikraman Arvind, Richard Beigel, Antoni Lozano	The Complexity of Modular Graph Automorphism.	STACS	1998	DBLP DOI BibTeX RDF
17	Vikraman Arvind, N. V. Vinodchandran	Solvable Black-Box Group Problems Are Low for PP.	STACS	1996	DBLP DOI BibTeX RDF
17	Andrew C. Uselton, Scott A. Smolka	A Compositional Semantics for Statecharts using Labeled Transition Systems.	CONCUR	1994	DBLP DOI BibTeX RDF
17	Hugo Herbelin	A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure.	CSL	1994	DBLP DOI BibTeX RDF
17	Roberto Di Cosmo	Type Isomorphisms in a Type-Assignment Framework.	POPL	1992	DBLP DOI BibTeX RDF	ML
17	Magdy S. Abadir, Jack Ferguson	An improved layout verification algorithm (LAVA).	EURO-DAC	1990	DBLP DOI BibTeX RDF
17	Jie Wang 0002	Some Remarks on Polynomial Time Isomorphisms.	ICCI	1990	DBLP DOI BibTeX RDF
17	Bruno Courcelle	The Definability of Equational Graphs in Monadic Second-Order Logic.	ICALP	1989	DBLP DOI BibTeX RDF
15	B. K. Tripathy 0001, G. K. Panda	A New Approach to Manage Security against Neighborhood Attacks in Social Networks.	ASONAM	2010	DBLP DOI BibTeX RDF	Neighborhood attack, Label hierarchy and Adjacency matrix, Anonymization, Graph isomorphism
15	Zena M. Ariola, Aaron Bohannon, Amr Sabry	Sequent calculi and abstract machines.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Krivine machine, duality, explicit substitutions, natural deduction, Curry-Howard isomorphism
15	Guillaume Poezevara, Bertrand Cuissart, Bruno Crémilleux	Discovering Emerging Graph Patterns from Chemicals.	ISMIS	2009	DBLP DOI BibTeX RDF	chemical information, Data mining, subgraph isomorphism, emerging patterns
15	Samuel P. Bryfczynski, Roy P. Pargas	GraphPad: a graph creation tool for CS2/CS7.	ITiCSE	2009	DBLP DOI BibTeX RDF	data structure education, tablet PC, graph isomorphism
15	Yu Zhu 0004, Weijun Hu, Jun Zhou, Feng Duan, Jinqiu Sun, Lei Jiang 0015	A New Starry Images Matching Method in Dim and Small Space Target Detection.	ICIG	2009	DBLP DOI BibTeX RDF	dim and small target, isomorphism sub graph, target detection, LCS
15	Virginia Vassilevska, Ryan Williams 0001	Finding, minimizing, and counting weighted subgraphs.	STOC	2009	DBLP DOI BibTeX RDF	3sum, cliques, paths, subgraph isomorphism, weighted graph
15	Sinisa Todorovic, Narendra Ahuja	Region-Based Hierarchical Image Matching.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Edit-distance graph matching, Many-to-many matching, Maximum subtree isomorphism, Image matching, Transitive closures, Segmentation trees, Maximum weight cliques, Association graphs
15	Ryuhei Uehara	Simple Geometrical Intersection Graphs.	WALCOM	2008	DBLP DOI BibTeX RDF	grid intersection graphs, graph isomorphism, interval graphs, Hamiltonian path problem
15	Sam Bryfczynski	OrganicPad: a tablet PC based chemistry tool.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	lewis structures, organic chemistry, tablet PC, graph isomorphism
15	Suthathip Suanmali	Maple in Mathematics.	ITNG	2008	DBLP DOI BibTeX RDF	Abstract Algebra, Isomorphism Classes, Maple, Mathematics, Calculus
15	David A. Holland	Using Data Mining to Build Integrated Discrete Event Simulations.	ICDM	2008	DBLP DOI BibTeX RDF	code re-factoring, minimum description length, subgraph isomorphism, discrete event modeling
15	Slawomir Grzonkowski, Wojciech Zaremba, Maciej Zaremba, Bill McDaniel	Extending web applications with a lightweight zero knowledge proof authentication.	CSTST	2008	DBLP DOI BibTeX RDF	web 2.0 authentication, protocols, web 2.0, password, graph isomorphism, zero knowledge proof
15	Gernot Veit Batz, Moritz Kroll, Rubino Geiß	A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching.	AGTIVE	2007	DBLP DOI BibTeX RDF	graph pattern matching, subgraph isomorphism problem, search plan driven, host-graph-sensitive, model-sensitive, experiment, Graph transformation, heuristic optimization
15	Ádám Darvas, Peter Müller 0001	Faithful mapping of model classes to mathematical structures.	SAVCBS	2007	DBLP DOI BibTeX RDF	model classes, verification, specification, abstraction, isomorphism, java modeling language
15	Vincent Lacroix, Cristina G. Fernandes, Marie-France Sagot	Motif Search in Graphs: Application to Metabolic Networks.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	Reaction motif, leucine biosynthesis, evolution, graph algorithms, combinatorics, subgraph isomorphism, metabolic network, network motif
15	Qing Hu 0003, C. Derrick Huang	The rise and fall of the competitive local exchange carriers in the U.S.: An institutional perspective.	Inf. Syst. Frontiers	2006	DBLP DOI BibTeX RDF	Telecom industry, Competitive local exchange carriers, Institutional isomorphism, Business models, Institutional theory
15	Harry Halpin	From Typed-Functional Semantic Web Services to Proofs.	ISWC	2006	DBLP DOI BibTeX RDF	Functional Programming, Semantic Web Services, Type Theory, Proofs, Curry-Howard Isomorphism
15	Yosihiro Yuse, Atsushi Igarashi	A modal type system for multi-level generating extensions with persistent code.	PPDP	2006	DBLP DOI BibTeX RDF	time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism
15	Qing Hu 0003, Paul J. Hart, Donna Cooke	The Role of External Influences on Organizational Information Security Practices: An Institutional Perspective.	HICSS	2006	DBLP DOI BibTeX RDF	Sarbanes-Oxley Act, Organizational Isomorphism, Information Security, Institutional Theory
15	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
15	Yun Chi, Yirong Yang, Richard R. Muntz	Canonical forms for labelled trees and their applications in frequent subtree mining.	Knowl. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Labelled free tree, Labelled rooted unordered tree, Tree isomorphism, Canonical form, Frequent subtree
15	Pavel Naumov	On Modal Logics of Partial Recursive Functions.	Stud Logica	2005	DBLP DOI BibTeX RDF	modal logic, recursive function, Curry-Howard isomorphism
15	James R. Faeder, Michael L. Blinov, William S. Hlavacek	Graphical rule-based representation of signal-transduction networks.	SAC	2005	DBLP DOI BibTeX RDF	biological systems modeling, graph isomorphism, graph rewriting, signal transduction, protein interactions
15	Jung Hwan Kim, Sung-Soon Choi, Byung Ro Moon	Normalization for neural network in genetic search.	GECCO	2005	DBLP DOI BibTeX RDF	genetic algorithms, neural network, transformation, normalization, distance measure, isomorphism
15	Gabriel Valiente	On the Algorithm of Berztiss for Tree Pattern Matching.	ENC	2004	DBLP DOI BibTeX RDF	subtree isomorphism, combinatorial problems, design and analysis of algorithms, tree pattern matching
15	Michael Ben-Or, Danny Gutfreund	Trading Help for Interaction in Statistical Zero-Knowledge Proofs.	J. Cryptol.	2003	DBLP DOI BibTeX RDF	Zero-knowledge, Graph isomorphism, Non-interactive zero-knowledge