Search results for "commutativity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Bingo Wing-Kuen Ling, Charlotte Yuk-Fan Ho, Zoran Cvetkovic	Commutativity of block decimators and expanders with arbitrary rational sampling ratios and block lengths.	Digit. Signal Process.	2012	DBLP DOI BibTeX RDF
19	Kalpana Mahalingam, K. G. Subramanian 0001	Product of Parikh Matrices and Commutativity.	Int. J. Found. Comput. Sci.	2012	DBLP DOI BibTeX RDF
19	Myrto Arapinis, Sergiu Bursuc, Mark Dermot Ryan	Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity.	POST	2012	DBLP DOI BibTeX RDF
19	Azadeh Sheikholeslami, Dennis Goeckel, Hossein Pishro-Nik	Exploiting the non-commutativity of nonlinear operators for information-theoretic security in disadvantaged wireless environments.	Allerton Conference	2012	DBLP DOI BibTeX RDF
19	H. F. Chau	Metrics on unitary matrices and their application to quantifying the degree of non-commutativity between unitary matrices.	Quantum Inf. Comput.	2011	DBLP DOI BibTeX RDF
19	Thomas Bier, Imed Zaguia	Commutativity conditions for groups arising from acyclic directed graphs and posets.	Eur. J. Comb.	2011	DBLP DOI BibTeX RDF
19	Pavel Hrubes	How much commutativity is needed to prove polynomial identities?	Electron. Colloquium Comput. Complex.	2011	DBLP BibTeX RDF
19	Tianrong Lin	On commutativity of quantum weakest preconditions	CoRR	2011	DBLP BibTeX RDF
19	Daniel Liberzon, Stephan Trenn, Fabian Wirth	Commutativity and asymptotic stability for linear switched DAEs.	CDC/ECC	2011	DBLP DOI BibTeX RDF
19	Milind Kulkarni 0001, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali	Exploiting the commutativity lattice.	PLDI	2011	DBLP DOI BibTeX RDF
19	Deokhwan Kim, Martin C. Rinard	Verification of semantic commutativity conditions and inverse operations on linked data structures.	PLDI	2011	DBLP DOI BibTeX RDF
19	Carmelo Malta, José Martinez 0001	A framework for designing concurrent and recoverable abstract data types based on commutativity	CoRR	2010	DBLP BibTeX RDF
19	Carmelo Malta, José Martinez 0001	Limits of Commutativity on Abstract Data Types	CoRR	2010	DBLP BibTeX RDF
19	Yan Ma, Robert Mercer	A solution to commutativity problems found in iterated belief revision.	IEEE ICCI	2010	DBLP DOI BibTeX RDF
19	Hong-Yan Wang	Commutativity of source generation procedure and Bäcklund transformation: A BKP equation.	Math. Comput. Simul.	2009	DBLP DOI BibTeX RDF
19	Koen Maes, Bernard De Baets	Commutativity and self-duality: Two tales of one equation.	Int. J. Approx. Reason.	2009	DBLP DOI BibTeX RDF
19	Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled	On commutativity based Edge Lean search.	Ann. Math. Artif. Intell.	2009	DBLP DOI BibTeX RDF
19	Toshiyuki Ohtsuka, Stefan Streif	Commutativity of Immersion and Linearization.	IEEE Trans. Autom. Control.	2009	DBLP DOI BibTeX RDF
19	Toshiyuki Ohtsuka, Stefan Streif	Correction to "Commutativity of Immersion and Linearization" [Apr 09 826-829].	IEEE Trans. Autom. Control.	2009	DBLP DOI BibTeX RDF
19	Erwin Just, Tom Kezlan	An Exponential Condition for Commutativity: 11310 [2007, 641].	Am. Math. Mon.	2009	DBLP BibTeX RDF
19	Saieed Akbari, F. Moazami, A. Mohammadian	Commutativity of the adjacency matrices of graphs.	Discret. Math.	2009	DBLP DOI BibTeX RDF
19	Robert Goldblatt, Ian M. Hodkinson	Commutativity of Quantifiers in Varying-Domain Kripke Models.	Towards Mathematical Philosophy	2009	DBLP DOI BibTeX RDF
19	Chun Yuan Deng	The Drazin inverse of bounded operators with commutativity up to a factor.	Appl. Math. Comput.	2008	DBLP DOI BibTeX RDF
19	Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena	Enforcing and defying associativity, commutativity, totality, and strong noninvertibility for worst-case one-way functions.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
19	István Faragó, Ágnes Havasi	Relationship between vanishing splitting errors and pairwise commutativity.	Appl. Math. Lett.	2008	DBLP DOI BibTeX RDF
19	H. Doostie, Mohammad Maghasedi	Certain classes of groups with commutativity degree d(G) < 1/2.	Ars Comb.	2008	DBLP BibTeX RDF
19	Irwin W. Sandberg	On Engineering Education, Superposition, and Commutativity.	IEEE Trans. Circuits Syst. II Express Briefs	2008	DBLP DOI BibTeX RDF
19	Mingsheng Ying, Jianxin Chen, Yuan Feng 0001, Runyao Duan	Commutativity of quantum weakest preconditions.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
19	Jun-Xiao Zhao	Commutativity of Pfaffianization and Bäcklund transformation: The semi-discrete Toda equation.	Math. Comput. Simul.	2007	DBLP DOI BibTeX RDF
19	P. Michael Melliar-Smith, Louise E. Moser	Achieving Atomicity for Web Services Using Commutativity of Actions.	J. Univers. Comput. Sci.	2007	DBLP DOI BibTeX RDF
19	Kosta Dosen, Zoran Petric	Medial commutativity.	Ann. Pure Appl. Log.	2007	DBLP DOI BibTeX RDF
19	Toshiyuki Ohtsuka, Stefan Streif	Commutativity of immersion and linearization.	CDC	2007	DBLP DOI BibTeX RDF
19	Flavio D'Alessandro, Alessandro D'Andrea	A Non-commutativity Statement for Algebraic Quaternions.	Int. J. Algebra Comput.	2006	DBLP DOI BibTeX RDF
19	Kosta Dosen, Zoran Petric	Associativity as commutativity.	J. Symb. Log.	2006	DBLP DOI BibTeX RDF
19	Mariana S. Escalante, Graciela L. Nasini, María del Carmen Varaldo	On the commutativity of antiblocker diagrams under lift-and-project operators.	Discret. Appl. Math.	2006	DBLP DOI BibTeX RDF
19	Fuji Zhang, Zhibo Chen 0003	On commutativity of two unary digraph operations: Subdividing and line-digraphing.	Discret. Math.	2006	DBLP DOI BibTeX RDF
19	Mohammad Reza Mousavi 0001, Michel A. Reniers, Jan Friso Groote	A syntactic commutativity format for SOS.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
19	Mohammed Salem Samman	On strong commutativity-preserving maps.	Int. J. Math. Math. Sci.	2005	DBLP DOI BibTeX RDF
19	Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena	Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory	CoRR	2005	DBLP BibTeX RDF
19	Sebastian M. Cioaba, Tim LeSaulnier, Dan Saracino	A Sufficient Condition for Commutativity: 11066.	Am. Math. Mon.	2005	DBLP BibTeX RDF
19	Pablo Carmona, Juan Luis Castro, Jose Manuel Zurita	Commutativity as prior knowledge in fuzzy modeling.	Fuzzy Sets Syst.	2005	DBLP DOI BibTeX RDF
19	Ivan T. Dimov, István Faragó, Ágnes Havasi, Zahari Zlatev	Operator splitting and commutativity analysis in the Danish Eulerian Model.	Math. Comput. Simul.	2004	DBLP DOI BibTeX RDF
19	Vincenzo De Filippis	On derivations and commutativity in prime rings.	Int. J. Math. Math. Sci.	2004	DBLP DOI BibTeX RDF
19	Abraham A. Klein, Howard E. Bell	A commutativity-or-finiteness condition for rings.	Int. J. Math. Math. Sci.	2004	DBLP DOI BibTeX RDF
19	Edgar Martínez-Moro	A generalization of Niederreiter-Xing's propagation rule and its commutativity with duality.	IEEE Trans. Inf. Theory	2004	DBLP DOI BibTeX RDF
19	Lee-Ming Cheng, L. L. Cheng, Wei Sun	On commutativity of duality operator and propagation operator of linear codes generated from algebraic curves.	IEEE Trans. Inf. Theory	2003	DBLP DOI BibTeX RDF
19	Alexandru Mateescu, Arto Salomaa, Sheng Yu 0001	Factorizations of Languages and Commutativity Conditions.	Acta Cybern.	2002	DBLP BibTeX RDF
19	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	Soundness, idempotence and commutativity of set-sharing.	Theory Pract. Log. Program.	2002	DBLP DOI BibTeX RDF
19	Stanislav Krajci, Rastislav Lencses, Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás	Non-commutativity and Expressive Deductive Logic Databases.	JELIA	2002	DBLP DOI BibTeX RDF
19	Martin Hyland, Gordon D. Plotkin, John Power	Combining Computational Effects: commutativity & sum.	IFIP TCS	2002	DBLP DOI BibTeX RDF
19	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	Soundness, Idempotence and Commutativity of Set-Sharing	CoRR	2001	DBLP BibTeX RDF
19	Alessio Guglielmi, Lutz Straßburger	Non-commutativity and MELL in the Calculus of Structures.	CSL	2001	DBLP DOI BibTeX RDF
19	Timothy H. McNicholl	On The Commutativity of Jumps.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
19	Krzysztof R. Apt	The Role of Commutativity in Constraint Propagation Algorithms	CoRR	2000	DBLP BibTeX RDF
19	Erwin Just, Allan Berele, J. Bergen, Keith A. Kearnes, G. Marks, Gregory P. Wene	A Sufficient Condition for Commutativity: 10661.	Am. Math. Mon.	2000	DBLP BibTeX RDF
19	Claudia Faggian	Proof construction and non-commutativity: a cluster calculus.	PPDP	2000	DBLP DOI BibTeX RDF	non-commutative logic, logic programming, linear logic, proof search, focalization
19	Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari 0001, Laurent Vigneron	Congruence Closure Modulo Associativity and Commutativity.	FroCoS	2000	DBLP DOI BibTeX RDF
19	John J. Wavrik	Commutativity Theorems: Examples in Search of Algorithms.	ISSAC	1999	DBLP DOI BibTeX RDF
19	Christian Choffrut, Flavio D'Alessandro	Commutativity in Free Inverse Monoids.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
19	William M. Pottenger	The Role of Associativity and Commutativity in the Detection and Transformation of Loop-level Parallelism.	International Conference on Supercomputing	1998	DBLP DOI BibTeX RDF
19	Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard	On the Complexity of Commutativity Analysis.	Int. J. Found. Comput. Sci.	1997	DBLP DOI BibTeX RDF
19	Dexter Kozen	Kleene Algebra with Tests and Commutativity Conditions.	TACAS	1996	DBLP DOI BibTeX RDF
19	Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard	On the Complexity of Commutativity Analysis.	COCOON	1996	DBLP DOI BibTeX RDF
19	Malika Guerni, Jean Ferrié, Jean-François Pons	Concurrency and Recovery for Typed Objects using a New Commutativity Relation.	BDA	1995	DBLP BibTeX RDF
19	Alexandru Mateescu	Scattered Deletion and Commutativity.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
19	Shankar Pal, Sitaram Lanka	Conflict-Dependency: Combining Concurrency Beyond Commutativity with Efficient Recovery.	COMAD	1994	DBLP BibTeX RDF
19	Stephan A. Missura, Andreas Weber 0004	Using Commutativity Properties for Controlling Coercions.	AISMC	1994	DBLP DOI BibTeX RDF
19	Yannis E. Ioannidis	Commutativity and its Role in the Processing of Linear Recursion.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
19	Irvin Roy Hentzel, David Pokrass Jacobs	A condition Guaranteeing Commutativity.	Int. J. Algebra Comput.	1992	DBLP DOI BibTeX RDF
19	Jean-Pierre Jouannaud, Claude Marché	Termination and Completion Modulo Associativity, Commutativity and Identity.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
19	Tsuhan Chen, P. P. Vaidyanathan	Commutativity of D-dimensional decimation and expansion matrices, and application to rational decimation systems.	ICASSP	1992	DBLP DOI BibTeX RDF
19	Tatsuo Nakajima	Commutativity Based Concurrency Control and Recovery for Multiversion Objects.	IWDOM	1992	DBLP BibTeX RDF
19	Kris Dockx, Paul Igodt	Character tables and commutativity of normal subgroups.	SIGSAM Bull.	1991	DBLP DOI BibTeX RDF
19	Jelena Kovacevic, Martin Vetterli	The commutativity of up/downsampling in two dimensions.	IEEE Trans. Inf. Theory	1991	DBLP DOI BibTeX RDF
19	Deepak Kapur, Hantao Zhang 0001	A Case Study of the Completion Procedure: Proving Ring Commutativity Problems.	Computational Logic - Essays in Honor of Alan Robinson	1991	DBLP BibTeX RDF
19	Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl	Commutativity-Based Locking for Nested Transactions.	J. Comput. Syst. Sci.	1990	DBLP DOI BibTeX RDF
19	Hantao Zhang 0001	Automated Proof of Ring Commutativity Problems by Algebraic Methods.	J. Symb. Comput.	1990	DBLP DOI BibTeX RDF
19	Friedrich Otto	On Deciding Confluence of Finite String-Rewriting Systems Modulo Partial Commutativity.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
19	Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl	Commutativity-Based Locking for Nested Transactions.	POS	1989	DBLP BibTeX RDF
19	Yannis E. Ioannidis	Commutativity and its Role in the Processing of Linear Recursion.	VLDB	1989	DBLP BibTeX RDF
19	Klaus Madlener, Friedrich Otto	Commutativity in Groups Presented By Finite Church-Rosser Thue Systems.	RAIRO Theor. Informatics Appl.	1988	DBLP DOI BibTeX RDF
19	Giulia Maria Piacentini Cattaneo	Nonassociative Degree Five Identities not Implied by Commutativity: a Computer Approach.	AAECC	1988	DBLP DOI BibTeX RDF
19	Albrecht Fortenbacher	An Algebraic Approach to Unification Under Associativity and Commutativity.	J. Symb. Comput.	1987	DBLP DOI BibTeX RDF
19	B. R. Badrinath, Krithi Ramamritham	Semantics-Based Concurrency Control: Beyond Commutativity.	ICDE	1987	DBLP DOI BibTeX RDF
19	Albrecht Fortenbacher	An Algebraic Approch to Unification Under Assoiativity and Commutativity.	RTA	1985	DBLP DOI BibTeX RDF
19	Dario Bini	On Commutativity and Approximation.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
19	Jürgen Avenhaus, Ronald V. Book, Craig C. Squier	On Expressing Commutativity by Finite Church-Rosser Presentations: A Note on Commutative Monoids.	RAIRO Theor. Informatics Appl.	1984	DBLP DOI BibTeX RDF
19	C. Mohan 0001, Donald S. Fussell, Abraham Silberschatz	Compatibility and Commutativity of Lock Modes	Inf. Control.	1984	DBLP DOI BibTeX RDF
19	Craig Smorynski	Commutativity and self-reference.	Notre Dame J. Formal Log.	1982	DBLP DOI BibTeX RDF
19	K. M. Wong, V. K. Aatre	Commutativity and Application of Digital Interpolation Filters and Modulators.	IEEE Trans. Commun.	1980	DBLP DOI BibTeX RDF
19	Joseph F. JáJá	On the Complexity of Bilinear Forms with Commutativity.	SIAM J. Comput.	1980	DBLP DOI BibTeX RDF
19	Joseph F. JáJá	On the Complexity of Bilinear Forms with Commutativity	STOC	1979	DBLP DOI BibTeX RDF
19	Jörg H. Siekmann	Matching under commutativity.	EUROSAM	1979	DBLP DOI BibTeX RDF
19	John L. Hickman	Commutativity of generalized ordinals.	Notre Dame J. Formal Log.	1978	DBLP DOI BibTeX RDF
19	Laurent Hyafil	The Power of Commutativity	FOCS	1977	DBLP DOI BibTeX RDF
19	David J. Kuck, Yoichi Muraoka	Bounds on the Parallel Evaluation of Arithmetic Expressions Using Associativity and Commutativity.	Acta Informatica	1974	DBLP DOI BibTeX RDF
19	J. Patrick Ryan	The Shift and Commutativity.	Math. Syst. Theory	1972	DBLP DOI BibTeX RDF
12	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
12	María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi	A fold/unfold transformation framework for rewrite theories extended to CCT.	PEPM	2010	DBLP DOI BibTeX RDF	code carrying theory, fold/unfold transformation, rewriting logic
12	Liang Han, Wei Liu 0014, James Tuck 0001	Speculative parallelization of partial reduction variables.	CGO	2010	DBLP DOI BibTeX RDF	reduction variables, parallelization, thread-level speculation, multi-core architecture