Search results for "Isomorphisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	Helmut Thiele	On Isomorphisms between the Lattice of Tolerance Relations and Lattices of Clusterings.	ISMVL	1996	DBLP DOI BibTeX RDF	lattice of tolerance relations, lattices of clusterings, one-to-one correspondences, classical set theory, bijections, complete atomistic boolean algebra, strongly model-compact coverings, cluster analysis, set theory, multivalued logic, equivalence classes, isomorphisms, similarity relations, mathematical foundations, lattice isomorphisms
76	Vincent Balat, Roberto Di Cosmo	A Linear Logical View of Linear Type Isomorphisms.	CSL	1999	DBLP DOI BibTeX RDF
62	Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta	On Isomorphisms of Intersection Types.	CSL	2008	DBLP DOI BibTeX RDF
62	Laurent Henocque, Nicolas Prcovic	Practically Handling Some Configuration Isomorphisms.	ICTAI	2004	DBLP DOI BibTeX RDF
55	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
47	Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat	Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types.	LICS	2002	DBLP DOI BibTeX RDF
47	Takayuki Nagoya	Counting Graph Isomorphisms among Chordal Graphs with Restricted Clique Number.	ISAAC	2001	DBLP DOI BibTeX RDF
47	Thomas Santen	Isomorphisms - A Link Between the Shallow and the Deep.	TPHOLs	1999	DBLP DOI BibTeX RDF
47	Maria-Virginia Aponte, Roberto Di Cosmo	Type Isomorphisms for Module Signatures.	PLILP	1996	DBLP DOI BibTeX RDF	typing and structuring systems, retrieval of functions in function libraries, programming environments, ML, module systems
43	Zvi Galil, Christoph M. Hoffmann, Eugene M. Luks, Claus-Peter Schnorr, Andreas Weber 0006	An O(n³log n) deterministic and an O(n³) Las Vegs isomorphism test for trivalent graphs.	J. ACM	1987	DBLP DOI BibTeX RDF
40	André Große, Jörg Rothe, Gerd Wechsung	Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutions.	ICTCS	2001	DBLP DOI BibTeX RDF	complexity of smallest solutions, self-reducibility, graph colorability, Hamiltonian cycles, graph isomorphisms, partial solutions
40	Marcello Pelillo, Kaleem Siddiqi, Steven W. Zucker	Matching Hierarchical Structures Using Association Graphs.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	Maximal subtree isomorphisms, replicator dynamical systems, shock trees, shape recognition, maximal cliques, association graphs
40	Helmut Thiele	On the Mutual Definability of Fuzzy Tolerance Relations and Fuzzy Tolerance Coverings.	ISMVL	1995	DBLP DOI BibTeX RDF	tolerance analysis, mutual definability, fuzzy tolerance relations, fuzzy tolerance coverings, systems of sets, fixed universe, crisp set theory, bijections, fuzzy equivalence relations, crisp tolerance relations, crisp coverings, pattern recognition, cluster analysis, symmetry, fuzzy clusters, fuzzy set theory, equivalence classes, similarity relations, universal algebras, binary relations, reflexivity, fuzzy partitions, lattice isomorphisms
33	Paul Tarau	Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell.	SAC	2009	DBLP DOI BibTeX RDF	Ackermann encoding, Haskell data representations, computational mathematics, hereditarily finite functions, hereditarily finite sets, ranking/unranking
33	Dario Catalano, David Pointcheval, Thomas Pornin	Trapdoor Hard-to-Invert Group Isomorphisms and Their Application to Password-Based Authentication.	J. Cryptol.	2007	DBLP DOI BibTeX RDF
33	Frank Atanassow, Johan Jeuring	Inferring Type Isomorphisms Generically.	MPC	2004	DBLP DOI BibTeX RDF
33	Florian Hess	An Algorithm for Computing Isomorphisms of Algebraic Function Fields.	ANTS	2004	DBLP DOI BibTeX RDF
33	Dario Catalano, David Pointcheval, Thomas Pornin	IPAKE: Isomorphisms for Password-Based Authenticated Key Exchange.	CRYPTO	2004	DBLP DOI BibTeX RDF
33	Willi Geiselmann, Willi Meier, Rainer Steinwandt	An attack on the isomorphisms of polynomials problem with one secret.	Int. J. Inf. Sec.	2003	DBLP DOI BibTeX RDF	Cryptanalysis, Public key cryptography, Multivariate polynomials
33	Gilles Barthe, Olivier Pons	Type Isomorphisms and Proof Reuse in Dependent Type Theory.	FoSSaCS	2001	DBLP DOI BibTeX RDF
33	Manindra Agrawal	Towards Uniform AC0 - Isomorphisms.	CCC	2001	DBLP DOI BibTeX RDF
33	Izumi Miyamoto	Computing normalizers of permutation groups efficiently using isomorphisms of association schemes.	ISSAC	2000	DBLP DOI BibTeX RDF
33	Jacques Patarin, Louis Goubin, Nicolas T. Courtois	Improved Algorithms for Isomorphisms of Polynomials.	EUROCRYPT	1998	DBLP DOI BibTeX RDF
33	Marcello M. Bonsangue, Joost N. Kok	Isomorphisms between Predicates and State Transformers.	MFCS	1993	DBLP DOI BibTeX RDF
29	Brendan D. McKay	Computing Symmetries of Combinatorial Objects.	GD	2007	DBLP DOI BibTeX RDF
29	Gustav Nordh	The Complexity of Equivalence and Isomorphism of Systems of Equations over Finite Groups.	MFCS	2004	DBLP DOI BibTeX RDF
29	Louis Goubin	A Refined Power-Analysis Attack on Elliptic Curve Cryptosystems.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF	Side-channel attacks, Public-key cryptography, Elliptic curves, Differential Power Analysis (DPA), Power Analysis, Smartcards
29	Stéphane Grandcolas, Laurent Henocque, Nicolas Prcovic	A Canonicity Test for Configuration.	CP	2003	DBLP DOI BibTeX RDF
29	Mathieu Ciet, Marc Joye	(Virtually) Free Randomization Techniques for Elliptic Curve Cryptography.	ICICS	2003	DBLP DOI BibTeX RDF
29	Volodymyr Lyubashenko	The Triangulated Hopf Category n+SL(2).	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	derived categories, derived functors, quantum groups, braided Hopf algebras
29	Yvo Desmedt, Yongge Wang	Efficient Zero-Knowledge Proofs for Some Practical Graph Problems.	SCN	2002	DBLP DOI BibTeX RDF	complexity, graph theory, secret sharing, Zero-knowledge, key-escrow
29	Sergei Soloviev 0001	A Complete Axiom System for Isomorphism of Types in Closed Categories.	LPAR	1993	DBLP DOI BibTeX RDF
26	Felipe Ghellar, Marcelo Lubaszewski	A novel AES cryptographic core highly resistant to differential power analysis attacks.	SBCCI	2008	DBLP DOI BibTeX RDF	dpa, rijndael, isomorphisms, aes
26	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
19	Nicolas Jacon, Cédric Lecouvey	Crystal Isomorphisms and Mullineux Involution II.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
19	Juan Climent Vidal, Enric Cosme-Llópez	From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms.	CoRR	2024	DBLP DOI BibTeX RDF
19	Rémi Di Guardia, Olivier Laurent 0001	Type Isomorphisms for Multiplicative-Additive Linear Logic.	CoRR	2024	DBLP DOI BibTeX RDF
19	Sourav Chatterjee, Persi Diaconis	Isomorphisms between random graphs.	J. Comb. Theory, Ser. B	2023	DBLP DOI BibTeX RDF
19	Yair Caro, Adriana Hansberg, Amanda Montejano	Graphs Isomorphisms Under Edge-Replacements and the Family of Amoebas.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
19	Alejandro Díaz-Caro, Gilles Dowek	Extensional proofs in a propositional logic modulo isomorphisms.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Novi H. Bong, Joshua Carlson, Bryan Curtis, Ruth Haas, Leslie Hogben	Isomorphisms and Properties of TAR Graphs for Zero Forcing and Other X-set Parameters.	Graphs Comb.	2023	DBLP DOI BibTeX RDF
19	Sarah Griffith	A Torelli theorem for graph isomorphisms.	J. Comb. Theory, Ser. A	2023	DBLP DOI BibTeX RDF
19	Oswin Aichholzer, Birgit Vogtenhuber, Alexandra Weinberger	Different Types of Isomorphisms of Drawings of Complete Multipartite Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
19	Erlang Surya, Lutz Warnke, Emily Zhu	Isomorphisms between dense random graphs.	CoRR	2023	DBLP DOI BibTeX RDF
19	Hunter Monroe	Isomorphisms Between Impossible and Hard Tasks.	CoRR	2023	DBLP DOI BibTeX RDF
19	Derek Egolf, Stavros Tripakis	Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.	CoRR	2023	DBLP DOI BibTeX RDF
19	Xingtong Yu, Zemin Liu, Yuan Fang 0001, Xinming Zhang 0001	Learning to Count Isomorphisms with Graph Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
19	Mircea Cimpoeas, Adrian Gabriel Neacsu	Geometrical isomorphisms between categories of fuzzy coverings and fuzzy partitions.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
19	Antoine Joux	MPC in the head for isomorphisms and group actions.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
19	Derek Egolf, Stavros Tripakis	Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.	ATVA (1)	2023	DBLP DOI BibTeX RDF
19	Rémi Di Guardia, Olivier Laurent 0001	Type Isomorphisms for Multiplicative-Additive Linear Logic.	FSCD	2023	DBLP DOI BibTeX RDF
19	Xingtong Yu, Zemin Liu, Yuan Fang 0001, Xinming Zhang 0001	Learning to Count Isomorphisms with Graph Neural Networks.	AAAI	2023	DBLP DOI BibTeX RDF
19	Oswin Aichholzer, Birgit Vogtenhuber, Alexandra Weinberger	Different Types of Isomorphisms of Drawings of Complete Multipartite Graphs.	GD (2)	2023	DBLP DOI BibTeX RDF
19	Mykola Khrypchenko	Isomorphisms and derivations of partial flag incidence algebras.	Int. J. Algebra Comput.	2022	DBLP DOI BibTeX RDF
19	Mahmood Etedadialiabadi, Su Gao	On Extensions of Partial Isomorphisms.	J. Symb. Log.	2022	DBLP DOI BibTeX RDF
19	Abdul Razaq 0002, Ghaliah Alhamzi, Asima Razzaque, Harish Garg	A Comprehensive Study on Pythagorean Fuzzy Normal Subgroups and Pythagorean Fuzzy Isomorphisms.	Symmetry	2022	DBLP DOI BibTeX RDF
19	Yan Ning, Daowei Lu, Xiaofan Zhao	The Canonical Isomorphisms in the Yetter-Drinfeld Categories for Dual Quasi-Hopf Algebras.	Symmetry	2022	DBLP DOI BibTeX RDF
19	Hongwei Liu 0003, Xu Pan	Generalized Pair Weights of Linear Codes and Linear Isomorphisms Preserving Pair Weights.	IEEE Trans. Inf. Theory	2022	DBLP DOI BibTeX RDF
19	Patrick Wang, Henry Ye, Wayne Hayes	Detection of large exact subgraph isomorphisms with a topology-only graphlet index built using deterministic walks.	CoRR	2022	DBLP DOI BibTeX RDF
19	Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov	Generically and coarsely computable isomorphisms.	Comput.	2022	DBLP DOI BibTeX RDF
19	Martin C. Cooper, Arnaud Lequen, Frédéric Maris	Isomorphisms Between STRIPS Problems and Sub-Problems.	CP	2022	DBLP DOI BibTeX RDF
19	Ivan Gocev, Georgios Meditskos, Nick Bassiliades	Towards Explaining DL Non-entailments by Utilizing Subtree Isomorphisms.	iiWAS	2022	DBLP DOI BibTeX RDF
19	Owen Biesel, Alberto Gioia	Isomorphisms of discriminant algebras.	Int. J. Algebra Comput.	2021	DBLP DOI BibTeX RDF
19	Steven French	Identity conditions, idealisations and isomorphisms: a defence of the Semantic Approach.	Synth.	2021	DBLP DOI BibTeX RDF
19	Andrea Campagner, Federico Cabitza, Pedro Berjano, Davide Ciucci	Three-way decision and conformal prediction: Isomorphisms, differences and theoretical properties of cautious learning approaches.	Inf. Sci.	2021	DBLP DOI BibTeX RDF
19	Alimzhan Sultangazin, Paulo Tabuada	Symmetries and Isomorphisms for Privacy in Control Over the Cloud.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
19	Vikraman Arvind, Johannes Köbler, Sebastian Kuhnert, Jacobo Torán	Parameterized Complexity of Small Weight Automorphisms and Isomorphisms.	Algorithmica	2021	DBLP DOI BibTeX RDF
19	Ken-ichi Kawarabayashi, Bojan Mohar, Roman Nedela, Peter Zeman 0001	Automorphisms and Isomorphisms of Maps in Linear Time.	ICALP	2021	DBLP DOI BibTeX RDF
19	Diego F. Aranha, Anders P. K. Dalskov, Daniel Escudero 0001, Claudio Orlandi	Improved Threshold Signatures, Proactive Secret Sharing, and Input Certification from LSS Isomorphisms.	LATINCRYPT	2021	DBLP DOI BibTeX RDF
19	Muharrem Tolga Sakalli, Sedat Akleylek, Kemal Akkanat, Vincent Rijmen	On the automorphisms and isomorphisms of MDS matrices and their efficient implementations.	Turkish J. Electr. Eng. Comput. Sci.	2020	DBLP DOI BibTeX RDF
19	Alejandro Díaz-Caro, Gilles Dowek	Extensional proofs in a propositional logic modulo isomorphisms.	CoRR	2020	DBLP BibTeX RDF
19	Bert Jüttler, Niels Lubbes, Josef Schicho	Projective isomorphisms between rational surfaces.	CoRR	2020	DBLP BibTeX RDF
19	Majid Arezoomand, Afshin Behmaram, Mohsen Ghasemi, Parivash Raeighasht	Isomorphisms of bi-Cayley graphs on Dihedral groups.	Discret. Math. Algorithms Appl.	2020	DBLP DOI BibTeX RDF
19	Tommy Hofmann, Henri Johnston	Computing isomorphisms between lattices.	Math. Comput.	2020	DBLP DOI BibTeX RDF
19	Christian Doczkal, Damien Pous	Graph Theory in Coq: Minors, Treewidth, and Isomorphisms.	J. Autom. Reason.	2020	DBLP DOI BibTeX RDF
19	Daniel Wiebking	Normalizers and permutational isomorphisms in simply-exponential time.	SODA	2020	DBLP DOI BibTeX RDF
19	Kazuhisa Nakasho	Isomorphisms from the Space of Multilinear Operators.	Formaliz. Math.	2019	DBLP DOI BibTeX RDF
19	Fernando Lucatelli Nunes	Pseudoalgebras and Non-canonical Isomorphisms.	Appl. Categorical Struct.	2019	DBLP DOI BibTeX RDF
19	Manuel Felipe Cerpa-Torres, Michael A. Rincón-Villamizar	Isomorphisms from Extremely Regular Subspaces of C0K into C0S, X Spaces.	Int. J. Math. Math. Sci.	2019	DBLP DOI BibTeX RDF
19	Alimzhan Sultangazin, Paulo Tabuada	Symmetries and isomorphisms for privacy in control over the cloud.	CoRR	2019	DBLP BibTeX RDF
19	Assel Altayeva, Nobuko Yoshida	Service Equivalence via Multiparty Session Type Isomorphisms.	PLACES@ETAPS	2019	DBLP DOI BibTeX RDF
19	Daniel Wiebking	Normalizers and permutational isomorphisms in simply-exponential time.	CoRR	2019	DBLP BibTeX RDF
19	Ludovic Brieulle, Luca De Feo, Javad Doliskani, Jean-Pierre Flori, Éric Schost	Computing isomorphisms and embeddings of finite fields.	Math. Comput.	2019	DBLP DOI BibTeX RDF
19	Albert Atserias, Laura Mancinska, David E. Roberson, Robert Sámal, Simone Severini, Antonios Varvitsiotis	Quantum and non-signalling graph isomorphisms.	J. Comb. Theory, Ser. B	2019	DBLP DOI BibTeX RDF
19	Christoph Beierle	Inferential equivalence, normal forms, and isomorphisms of knowledge bases in institutions of conditional logics.	SAC	2019	DBLP DOI BibTeX RDF
19	Nikolay Bazhenov 0001, Manat Mustafa, Mars M. Yamaleev	Computable Isomorphisms of Distributive Lattices.	TAMC	2019	DBLP DOI BibTeX RDF
19	Hui Jin, Xie He, Yanghui Wang, Hao Li, Andrea L. Bertozzi	Noisy Subgraph Isomorphisms on Multiplex Networks.	IEEE BigData	2019	DBLP DOI BibTeX RDF
19	Gábor Ivanyos, Péter Kutas, Lajos Rónyai	Computing Explicit Isomorphisms with Full Matrix Algebras over Fq(x).	Found. Comput. Math.	2018	DBLP DOI BibTeX RDF
19	Ludovic Brieulle, Luca De Feo, Javad Doliskani, Jean-Pierre Flori, Éric Schost	Computing isomorphisms and embeddings of finite fields.	ACM Commun. Comput. Algebra	2018	DBLP DOI BibTeX RDF
19	Huixian Li, Zhipeng Han, Liqin Wang, Liaojun Pang	Blind Proxy Re-Signature Scheme Based on Isomorphisms of Polynomials.	IEEE Access	2018	DBLP DOI BibTeX RDF
19	Gagik Amirkhanyan, Albert Bush, Ernie Croot	Order-Preserving Freiman Isomorphisms.	Integers	2018	DBLP BibTeX RDF
19	Mikko Kivelä, Mason A. Porter	Isomorphisms in Multilayer Networks.	IEEE Trans. Netw. Sci. Eng.	2018	DBLP DOI BibTeX RDF
19	John Krueger	Club isomorphisms on higher Aronszajn trees.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF
19	Xu Yang, Weijun Liu, Lihua Feng	Isomorphisms of generalized Cayley graphs.	Ars Math. Contemp.	2018	DBLP DOI BibTeX RDF
19	Anand Kumar Narayanan	Fast Computation of Isomorphisms Between Finite Fields Using Elliptic Curves.	WAIFI	2018	DBLP DOI BibTeX RDF
19	Teruyuki Yorioka	Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree.	Notre Dame J. Formal Log.	2017	DBLP DOI BibTeX RDF
19	Ludovic Brieulle, Luca De Feo, Javad Doliskani, Jean-Pierre Flori, Éric Schost	Computing isomorphisms and embeddings of finite fields.	CoRR	2017	DBLP BibTeX RDF
19	Michael P. O'Brien, Blair D. Sullivan	Experimental Evaluation of Counting Subgraph Isomorphisms in Classes of Bounded Expansion.	CoRR	2017	DBLP BibTeX RDF
19	Vikraman Arvind, Johannes Köbler, Sebastian Kuhnert, Jacobo Torán	Finding Small Weight Isomorphisms with Additional Constraints is Fixed-Parameter Tractable.	CoRR	2017	DBLP BibTeX RDF
19	Jan Willem Polderman	Post unimodular transformations and isomorphisms for linear behaviors.	Syst. Control. Lett.	2017	DBLP DOI BibTeX RDF