Search results for "commutative"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
124	Pavel Hrubes, Avi Wigderson, Amir Yehudayoff	Non-commutative circuits and the sum-of-squares problem.	STOC	2010	DBLP DOI BibTeX RDF	lower bounds, algebraic complexity
87	Vikram Jha	Local Schur's Lemma and Commutative Semifields.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	Schur’s lemma, semifields, translation planes, nets
87	Shiguo Lian	Quasi-commutative watermarking and encryption for secure media content distribution.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Commutative watermarking and encryption (CWE), Watermarking, Digital rights management (DRM), Video encryption
78	Robert S. Coulter, Marie Henderson, Pamela Kosick	Planar polynomials for commutative semifields with specified nuclei.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	AMS Classifications 11T06, 12K10
78	Franz Baader, Werner Nutt	Combination problems for commutative/monoidal theories or how algebra can help in equational unification.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Equational unification, Semiadditive categories, Semirings, Equational theories
78	P. J. Abisha, D. Gnanaraj Thomas, K. G. Subramanian 0001	Public Key Cryptosystems Based on Free Partially Commutative Monoids and Groups.	INDOCRYPT	2003	DBLP DOI BibTeX RDF	Finitely Presented Groups, Free Partially Commutative Monoids, Thue Systems, Public Key Cryptosystem, Word Problem, Zero Knowledge Protocol
78	George Georgescu, Andrei Popescu 0001	Non-commutative fuzzy Galois connections.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Non-commutative fuzzy logic, Fuzzy Galois connection, Non-commutative conjunction, Fuzzy relation
73	Dan Benanav, Deepak Kapur, Paliath Narendran	Complexity of Matching Problems.	RTA	1985	DBLP DOI BibTeX RDF	Associative-Commutative, NP-Completeness, Matching, Associative, Commutative
69	Abdelilah Kandri-Rody, Deepak Kapur, Paliath Narendran	An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras.	RTA	1985	DBLP DOI BibTeX RDF	Unification Problem, Finitely Presented Algebras, Commutative Algebras, Gröbner Basis, Knuth-Bendix Completion Procedure, Term Rewriting, Word Problem, Polynomial Ideals
68	Katarzyna Matczak, Anna B. Romanowska	Quasivarieties of cancellative commutative binary modes.	Stud Logica	2004	DBLP DOI BibTeX RDF	subreducts, affine spaces, commutative quasigroup modes, commutative binary modes, modes, quasivarieties
59	Eunjin Kim, Ladislav J. Kohout	Non-commutative System of Fuzzy Interval Logic Generated by the Checklist Paradigm Measure m 3 Containing Early Zadeh Implication.	IFSA (1)	2007	DBLP DOI BibTeX RDF
59	Mikolaj Bojanczyk, Piotr Hoffman	Reachability in Unions of Commutative Rewriting Systems Is Decidable.	STACS	2007	DBLP DOI BibTeX RDF	Topic classification Logic in computer science, rewriting
55	Farhana Aleen, Nathan Clark	Commutativity analysis for software parallelization: letting program transformations see the big picture.	ASPLOS	2009	DBLP DOI BibTeX RDF	automatic software parallelization, commutative functions, random interpretation
55	Mark G. Karpovsky	Error Detection in Digital Devices and Computer Programs with the Aid of Linear Recurrent Equations Over Finite Commutativs Groups.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Error detection for, digital devices and computer programs, error detection tests for digital devices, characters of commutative groups, Fourier transform over finite commutative groups, spectral and autocorrelation functions over finite commutative groups, fast Hadamard-Walsh transform
55	David A. Basin	Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete.	CADE	1990	DBLP DOI BibTeX RDF
50	Hai Liu 0012, Eric Cheng, Paul Hudak	Causal commutative arrows and their optimization.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language
50	Volker Diekert, Markus Lohrey, Alexander Miller	Partially Commutative Inverse Monoids.	MFCS	2006	DBLP DOI BibTeX RDF
50	Jesper Larsson Träff	An Improved Algorithm for (Non-commutative) Reduce-Scatter with an Application.	PVM/MPI	2005	DBLP DOI BibTeX RDF
50	Jean-Marc Andreoli, Roberto Maieli	Fucusing and Proof-Nets in Linear and Non-commutative Logic.	LPAR	1999	DBLP DOI BibTeX RDF
50	Mark W. Hopkins, Dexter Kozen	Parikh's Theorem in Commutative Kleene Algebra.	LICS	1999	DBLP DOI BibTeX RDF	formal methods, Kleene algebra, universal algebra, logics of programs
50	Jean-Michel Couvreur, Javier Martínez	Linear invariants in commutative high level nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Linear invariants, flow computation, structural analysis methods, subclasses of Petri nets, colored nets
50	Patrick Lincoln, Jim Christian	Adventures in Associative-Commutative Unification (A Summary).	CADE	1988	DBLP DOI BibTeX RDF
50	François Fages	Associative-Commutative Unification.	CADE	1984	DBLP DOI BibTeX RDF
50	Esfandiar Eslami, Hamid Khosravi, Faramarz Sadeghi	Very and more or less in non-commutative fuzzy logic.	Soft Comput.	2008	DBLP DOI BibTeX RDF	L-fuzzy modifier, Very, More or less, Non-commutative fuzzy logic, Pseudo-BL algebra, Linguistic hedges
50	Anatolij Dvurecenskij, Maria Gabriella Graziano	Dedekind Complete Commutative BCK-algebras.	Order	2000	DBLP DOI BibTeX RDF	atomic BCK-algebra, commutative BCK-algebra, Dedekind complete BCK-algebra, relative cancellation property, subdirect product, universal group
50	Christoph Schneider, Joachim Wehler	Petri Net Theory - Problems Solved by Commutative Algebra.	ICATPN	1999	DBLP DOI BibTeX RDF	Artin net, commutative net, Gröbner theory, Coloured Petri net, flow, reachability
50	Emmanuel Kounalis, Denis Lugiez, Loic Pottier	A Solution of the Complement Problem in Associative-Commutative Theories.	MFCS	1991	DBLP DOI BibTeX RDF	The Subsumption Lattice of First-Order terms, Associative and Commutative Reasoning, AC-Disunification, Pattern-Matching, Inductive Learning, Sufficient-Completeness
46	Bruno Salvy	D-finiteness: algorithms and applications.	ISSAC	2005	DBLP DOI BibTeX RDF	creative telescoping, computer algebra, linear recurrences, elimination, linear differential equations
46	Peter Jipsen	A Note on Complex Algebras of Semigroups.	RelMiCS	2003	DBLP DOI BibTeX RDF
46	Michal Botur, Ivan Chajda, Radomír Halas	Are basic algebras residuated structures?	Soft Comput.	2010	DBLP DOI BibTeX RDF	Basic algebra, Commutative basic algebra, Residuated groupoid, Skew adjointness property, Residuated lattice
46	Marie-Renée Fleury, Myriam Quatrini	A Mixed lambda-calculus.	Stud Logica	2007	DBLP DOI BibTeX RDF	Typed ?-calculus, non-commutative linear logic, order varieties, series-parallel orders, normalization
46	Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir	Axiomatizing Tropical Semirings.	FoSSaCS	2001	DBLP DOI BibTeX RDF	relative axiomatizations, commutative idempotent weak semirings, tropical semirings, exponential time complexity, convexity, varieties, Equational logic, complete axiomatizations
45	José Carlos Rosales, Pedro A. García-Sánchez, Juan Ignacio García-García	How to check if a finitely generated commutative monoid is a principal ideal commutative monoid.	ISSAC	2000	DBLP DOI BibTeX RDF
41	Antonio Cano Gómez, Gloria Inés Alvarez	Learning Commutative Regular Languages.	ICGI	2008	DBLP DOI BibTeX RDF
41	Javier Esparza, Stefan Kiefer, Michael Luttenberger	On Fixed Point Equations over Commutative Semirings.	STACS	2007	DBLP DOI BibTeX RDF
41	Didier Galmiche, J.-M. Notin	Connection-Based Proof Construction in Non-commutative Logic.	LPAR	2003	DBLP DOI BibTeX RDF
41	Arkadev Chattopadhyay, Denis Thérien	Locally Commutative Categories.	ICALP	2003	DBLP DOI BibTeX RDF
41	Ivan Korec	Undecidable Problems Concerning Generalized Pascal Triangles of Commutative Algebras.	MFCS	1986	DBLP DOI BibTeX RDF
41	Afrodita Iorgulescu	Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Pseudo-Wajsberg algebra, Pseudo-BCK algebra, Pseudo-Hájek(pP) algebra, Divisible bounded non-commutative residuated lattice, Divisible bounded pseudo-BCK(pP) lattice, Pseudo-MV algebra, Pseudo-BL algebra
41	Matthew J. Craven	An Evolutionary Algorithm for the Solution of Two-Variable Word Equations in Partially Commutative Groups.	Recent Advances in Evolutionary Computation for Combinatorial Optimization	2008	DBLP DOI BibTeX RDF	Infinite Group, Partially Commutative, Semi-deterministic, Evolutionary Algorithm
41	Hae Young Lee, Tae Ho Cho	Fuzzy Security Parameter Determining Method for the Commutative Cipher Based Filtering in Sensor Networks.	ICCSA (2)	2007	DBLP DOI BibTeX RDF	false data injection attacks, commutative cipher, Wireless sensor networks, fuzzy logic, en-route filtering
41	Viktor Levandovskyy	Intersection of ideals with non-commutative subalgebras.	ISSAC	2006	DBLP DOI BibTeX RDF	homomorphism of algebras, intersection with subalgebra, non-commutative algebra, preimage of ideal, restriction, elimination, Groebner bases
41	Françoise Levy-dit-Vehel, Ludovic Perret	Attacks on Public Key Cryptosystems Based on Free Partially Commutative Monoids and Groups.	INDOCRYPT	2004	DBLP DOI BibTeX RDF	Thue Systems, Finitely Presented Groups, Free Partially Commutative Monoids, Homomorphic Mappings, Word Problem, Public Key Cryptanalysis
41	Stefan Hoffmann 0001	State Complexity Investigations on Commutative Languages - The Upward and Downward Closure, Commutative Aperiodic and Commutative Group Languages.	CoRR	2021	DBLP BibTeX RDF
41	Stefan Hoffmann 0001	State Complexity Investigations on Commutative Languages - the Upward and Downward Closure, Commutative Aperiodic and Commutative Group Languages.	DCFS	2021	DBLP DOI BibTeX RDF
37	Eric A. Brewer	A certain freedom: thoughts on the CAP theorem.	PODC	2010	DBLP DOI BibTeX RDF	cap theorem
37	Éric Badouel, Jules Chenou, Goulven Guillou	Petri Algebras.	ICALP	2005	DBLP DOI BibTeX RDF
37	Evelyne Contejean	A Certified AC Matching Algorithm.	RTA	2004	DBLP DOI BibTeX RDF
37	Z. Arvasi, U. Ege	Annihilators, Multipliers and Crossed Modules.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	multiplication algebra, actor crossed module, crossed square
37	Hua Xiang 0001, Haoxing Ren, Louise Trevillyan, Lakshmi N. Reddy, Ruchir Puri, Minsik Cho	Logical and physical restructuring of fan-in trees.	ISPD	2010	DBLP DOI BibTeX RDF	symmetric-function fan-in tree, restructure, commutative
37	Lilya Budaghyan, Tor Helleseth	New Perfect Nonlinear Multinomials over Ffor Any Odd Prime p.	SETA	2008	DBLP DOI BibTeX RDF	Commutative semifield, Equivalence of functions, Perfect nonlinear, Planar function
37	Hennie Poulisse	Computational communicative algebra.	ISSAC	2006	DBLP DOI BibTeX RDF	approximate commutative algebra
37	Leo Bachmair, Ashish Tiwari 0001, Laurent Vigneron	Abstract Congruence Closure.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	congruence closure, associative-commutative theories, term rewriting
37	Ki Hyoung Ko, Sangjin Lee, Jung Hee Cheon, Jae Woo Han, Ju-Sung Kang, Choonsik Park	New Public-Key Cryptosystem Using Braid Groups.	CRYPTO	2000	DBLP DOI BibTeX RDF	hard problem, non-commutative group, public key cryptosystem, public key infrastructure, key exchange, one-way function, braid group, conjugacy problem
36	Young Jun, Jong Youl Kim, Hee Kim	On Q-Upper Algebras.	Order	2005	DBLP DOI BibTeX RDF	upper set, Q-upper algebra, (positive) implicative, quasi-commutative, commutative, BCK-algebra
32	Jürgen Bierbrauer	New Commutative Semifields and Their Nuclei.	AAECC	2009	DBLP DOI BibTeX RDF	PN functions, planar functions, presemifields, semifields, middle nucleus, Dembowski-Ostrom polynomial, strong isotopy, kernel, isotopy
32	Daniel Kirsten	The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
32	Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota 0001	Partially-Commutative Context-Free Processes.	CONCUR	2009	DBLP DOI BibTeX RDF
32	Makoto Tatsuta	Non-Commutative First-Order Sequent Calculus.	CSL	2009	DBLP DOI BibTeX RDF
32	Vikraman Arvind, Partha Mukhopadhyay, Srikanth Srinivasan 0001	New Results on Noncommutative and Commutative Polynomial Identity Testing.	CCC	2008	DBLP DOI BibTeX RDF	randomized, polynomial time, deterministic, polynomial identity testing
32	Michal Botur, Radomír Halas	Complete Commutative Basic Algebras.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D35, 06F35, 03G10
32	Shiguo Lian, Zhongxuan Liu, Zhen Ren, Haila Wang	Commutative Encryption and Watermarking in Video Compression.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
32	Viktor Levandovskyy	Plural, a Non-commutative Extension of Singular: Past, Present and Future.	ICMS	2006	DBLP DOI BibTeX RDF
32	Anna Maria Bigatti, Lorenzo Robbiano	CoCoA: a system for computations in commutative algebra.	ISSAC	2006	DBLP DOI BibTeX RDF
32	Ran Raz, Amir Shpilka	Deterministic polynomial identity testing in non-commutative models.	Comput. Complex.	2005	DBLP DOI BibTeX RDF	68Q25, Subject classification
32	Hao Yang 0004, Songwu Lu	Commutative cipher based en-route filtering in wireless sensor networks.	VTC Fall (2)	2004	DBLP DOI BibTeX RDF
32	Ran Raz, Amir Shpilka	Deterministic Polynomial Identity Testing in Non-Commutative Models.	CCC	2004	DBLP DOI BibTeX RDF
32	Roberto Maieli	A new correctness criterion for multiplicative non-commutative proof nets.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
32	Yves Métivier, Gwénaël Richomme	On the Star Operation and the Finite Power Property in Free Partially Commutative Monoids (Extended Abstract).	STACS	1994	DBLP DOI BibTeX RDF	trace monoids, finite power property, recognizability
32	Paliath Narendran, Michaël Rusinowitch	Any Gound Associative-Commutative Theory Has a Finite Canonical System.	RTA	1991	DBLP DOI BibTeX RDF
32	James H. Davenport, Barry M. Trager	Scratchpad's View of Algebra I: Basic Commutative Algebra.	DISCO	1990	DBLP DOI BibTeX RDF
32	Tatsuaki Okamoto, Kazuo Ohta	Divertible Zero Knowledge Interactive Proofs and Commutative Random Self-Reducibility.	EUROCRYPT	1989	DBLP DOI BibTeX RDF
32	Christine Duboc	Equations in Free Partially Commutative Monoids.	STACS	1986	DBLP DOI BibTeX RDF
32	Jin-yi Cai, Richard J. Lipton, Yechezkel Zalcstein	The Complexity of the Membership Problem for 2-generated Commutative Semigroups of Rational Matrices	FOCS	1994	DBLP DOI BibTeX RDF	polynomial-sized encoding, membership problem complexity, 2-generated commutative semigroups, rational matrices, deterministic polynomial-time algorithm, ABC problem, 2-generated abelian linear groups, polynomial time algorithm, algebraic number field
28	Vikraman Arvind, Partha Mukhopadhyay	Derandomizing the Isolation Lemma and Lower Bounds for Circuit Size.	APPROX-RANDOM	2008	DBLP DOI BibTeX RDF
28	Andreas Maletti	Myhill-Nerode Theorem for Recognizable Tree Series Revisited.	LATIN	2008	DBLP DOI BibTeX RDF
28	Rachid El Harti, Gábor Lukács	Bounded and Unitary Elements in Pro-C*-algebras.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 18A05, 46H05, 46J05, 46K05
28	Tony T. Lee, Terry Y. Lo, Jianfang Wang	An information-lossless decomposition theory of relational information systems.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
28	Jordi Castellà-Roca, Josep Domingo-Ferrer, Francesc Sebé	On the Security of a Repaired Mental Poker Protocol.	ITNG	2006	DBLP DOI BibTeX RDF	Cryptanalysis, Security protocols, Mental poker
28	Alkiviadis G. Akritas, Gennadi I. Malaschonok	Computation of the Adjoint Matrix.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
28	Víctor Álvarez 0001, José Andrés Armario, María Dolores Frau, Pedro Real 0001	Comparison Maps for Relatively Free Resolutions.	CASC	2006	DBLP DOI BibTeX RDF
28	David A. Wagner 0001	Towards a Unifying View of Block Cipher Cryptanalysis.	FSE	2004	DBLP DOI BibTeX RDF
28	Saskia Janssens, Bernard De Baets, Hans E. De Meyer	Inequalities in Fuzzy Probability Calculus.	IFSA	2003	DBLP DOI BibTeX RDF
28	L. Habert, J.-M. Notin, Didier Galmiche	LINK: A Proof Environment Based on Proof Nets.	TABLEAUX	2002	DBLP DOI BibTeX RDF
28	Alexander V. Shafarenko	A symmetry-based formalism for array subtyping.	ACM SIGAPL APL Quote Quad	2001	DBLP DOI BibTeX RDF
28	Tony W. Lai, Derick Wood	A Relationship Between Self-Organizing Lists and Binary Search Trees.	ICCI	1991	DBLP DOI BibTeX RDF
27	Yun Shang	Ring-like structures corresponding to pseudo MV-algebras.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Non-commutative pseudorings, Strong pseudo De Morgan algebras, Pseudo MV-algebras
27	Moez Waddey, Pascal Poncelet, Sadok Ben Yahia	A novel approach for privacy mining of generic basic association rules.	CIKM-PAVLAD	2009	DBLP DOI BibTeX RDF	commutative encryption, data mining, association rules mining, privacy preserving
27	Alexandru Mihai Bica	Algebraic structures for fuzzy numbers from categorial point of view.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Commutative monoid, Involutive automorphism, Fuzzy numbers
27	Nikita Borisov, Kazuhiro Minami	Single-bit re-encryption with applications to distributed proof systems.	WPES	2007	DBLP DOI BibTeX RDF	commutative encryption, distributed proof systems, goldwasser-micali, covert channels, re-encryption
27	Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi	Towards automatic parallelization of tree reductions in dynamic programming.	SPAA	2006	DBLP DOI BibTeX RDF	commutative semiring, parallel tree contraction, parallel programming, dynamic programming, code generator, tree
27	Arthur Charlesworth	The undecidability of associativity and commutativity analysis.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Associative function, commutative function, loop program, recursively enumerable, reduction, recursive, sequence, scan, undecidable, parallel prefix, primitive recursive
27	Patrik Nordbeck	On the Finiteness of Gröbner Bases Computation in Quotients of the Free Algebra.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Non-commutative algebras, Gröbner bases, Dickson's lemma, Noetherianity, Syzygies
27	Alfred P. Maneki	Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models.	CSFW	1995	DBLP DOI BibTeX RDF	trace models, associative laws, commutative laws, containment relationships, information systems, information systems, security of data, security properties, event systems, system composition, algebraic properties
27	Carme Àlvarez, José L. Balcázar, Joaquim Gabarró, Miklos Santha	Parallel Complexity in the Design and Analysis on Conurrent Systems.	PARLE (1)	1991	DBLP DOI BibTeX RDF	partially commutative monoids, PRAM algorithms, Petri nets, CCS, boolean circuits, P-completeness
27	Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt	Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant.	CoRR	2018	DBLP BibTeX RDF
27	Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov	A Logical Framework with Commutative and Non-commutative Subexponentials.	IJCAR	2018	DBLP DOI BibTeX RDF
27	Vsevolod Gubarev	Universal Enveloping Commutative Rota-Baxter Algebras of Pre- and Post-Commutative Algebras.	Axioms	2017	DBLP DOI BibTeX RDF
27	Harry Dym, J. William Helton, Caleb Meier	Non-Commutative Representations of families of K2 Commutative polynomials in 2K2 Commuting Variables.	Int. J. Algebra Comput.	2013	DBLP DOI BibTeX RDF
27	Cezary Z. Janikow, John W. Aleshunas	Impact of commutative and non-commutative functions on symbolic regression with ACGP.	IEEE Congress on Evolutionary Computation	2013	DBLP DOI BibTeX RDF