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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Signal Process. ![In: Digit. Signal Process. 22(4), pp. 677-680, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Kalpana Mahalingam, K. G. Subramanian 0001 |
Product of Parikh Matrices and Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 23(1), pp. 207-223, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings, pp. 169-188, 2012, Springer, 978-3-642-28640-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton Conference ![In: 50th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2012, Allerton Park & Retreat Center, Monticello, IL, USA, October 1-5, 2012, pp. 233-240, 2012, IEEE, 978-1-4673-4537-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Comput. ![In: Quantum Inf. Comput. 11(9&10), pp. 721-740, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Bier, Imed Zaguia |
Commutativity conditions for groups arising from acyclic directed graphs and posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 32(2), pp. 301-307, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Pavel Hrubes |
How much commutativity is needed to prove polynomial identities? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR11, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
19 | Tianrong Lin |
On commutativity of quantum weakest preconditions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1108.4607, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
19 | Daniel Liberzon, Stephan Trenn, Fabian Wirth |
Commutativity and asymptotic stability for linear switched DAEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 50th IEEE Conference on Decision and Control and European Control Conference, 11th European Control Conference, CDC/ECC 2011, Orlando, FL, USA, December 12-15, 2011, pp. 417-422, 2011, IEEE, 978-1-61284-800-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Milind Kulkarni 0001, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali |
Exploiting the commutativity lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011, pp. 542-555, 2011, ACM, 978-1-4503-0663-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Deokhwan Kim, Martin C. Rinard |
Verification of semantic commutativity conditions and inverse operations on linked data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011, pp. 528-541, 2011, ACM, 978-1-4503-0663-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Carmelo Malta, José Martinez 0001 |
A framework for designing concurrent and recoverable abstract data types based on commutativity ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1003.4828, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
19 | Carmelo Malta, José Martinez 0001 |
Limits of Commutativity on Abstract Data Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1003.4830, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
19 | Yan Ma, Robert Mercer |
A solution to commutativity problems found in iterated belief revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 9th IEEE International Conference on Cognitive Informatics, ICCI 2010, July 7-9, 2010, Beijing, China, pp. 245-251, 2010, IEEE Computer Society, 978-1-4244-8041-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Hong-Yan Wang |
Commutativity of source generation procedure and Bäcklund transformation: A BKP equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 80(4), pp. 779-785, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Koen Maes, Bernard De Baets |
Commutativity and self-duality: Two tales of one equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 50(1), pp. 189-199, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled |
On commutativity based Edge Lean search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 56(2), pp. 187-210, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Toshiyuki Ohtsuka, Stefan Streif |
Commutativity of Immersion and Linearization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 54(4), pp. 826-829, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Toshiyuki Ohtsuka, Stefan Streif |
Correction to "Commutativity of Immersion and Linearization" [Apr 09 826-829]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 54(5), pp. 1176, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Erwin Just, Tom Kezlan |
An Exponential Condition for Commutativity: 11310 [2007, 641]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 116(6), pp. 551-552, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
19 | Saieed Akbari, F. Moazami, A. Mohammadian |
Commutativity of the adjacency matrices of graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 309(3), pp. 595-600, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Robert Goldblatt, Ian M. Hodkinson |
Commutativity of Quantifiers in Varying-Domain Kripke Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Mathematical Philosophy ![In: Towards Mathematical Philosophy, pp. 9-30, 2009, Springer, 978-1-4020-9083-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Chun Yuan Deng |
The Drazin inverse of bounded operators with commutativity up to a factor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 206(2), pp. 695-703, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 401(1-3), pp. 27-35, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | István Faragó, Ágnes Havasi |
Relationship between vanishing splitting errors and pairwise commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 21(1), pp. 10-14, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | H. Doostie, Mohammad Maghasedi |
Certain classes of groups with commutativity degree d(G) < 1/2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Comb. ![In: Ars Comb. 89, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
19 | Irwin W. Sandberg |
On Engineering Education, Superposition, and Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 55-II(8), pp. 791-792, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Mingsheng Ying, Jianxin Chen, Yuan Feng 0001, Runyao Duan |
Commutativity of quantum weakest preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 104(4), pp. 152-158, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jun-Xiao Zhao |
Commutativity of Pfaffianization and Bäcklund transformation: The semi-discrete Toda equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 74(4-5), pp. 388-396, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | P. Michael Melliar-Smith, Louise E. Moser |
Achieving Atomicity for Web Services Using Commutativity of Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 13(8), pp. 1094-1109, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Kosta Dosen, Zoran Petric |
Medial commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 146(2-3), pp. 237-255, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Toshiyuki Ohtsuka, Stefan Streif |
Commutativity of immersion and linearization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007, pp. 5606-5611, 2007, IEEE, 978-1-4244-1497-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Flavio D'Alessandro, Alessandro D'Andrea |
A Non-commutativity Statement for Algebraic Quaternions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 16(3), pp. 583-602, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Kosta Dosen, Zoran Petric |
Associativity as commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 71(1), pp. 217-226, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 154(13), pp. 1845-1853, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Fuji Zhang, Zhibo Chen 0003 |
On commutativity of two unary digraph operations: Subdividing and line-digraphing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 306(21), pp. 2733-2739, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Mohammad Reza Mousavi 0001, Michel A. Reniers, Jan Friso Groote |
A syntactic commutativity format for SOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 93(5), pp. 217-223, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Mohammed Salem Samman |
On strong commutativity-preserving maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2005(6), pp. 917-923, 2005. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0503049, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
19 | Sebastian M. Cioaba, Tim LeSaulnier, Dan Saracino |
A Sufficient Condition for Commutativity: 11066. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 112(10), pp. 932-933, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
19 | Pablo Carmona, Juan Luis Castro, Jose Manuel Zurita |
Commutativity as prior knowledge in fuzzy modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 152(3), pp. 565-585, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 67(3), pp. 217-233, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Vincenzo De Filippis |
On derivations and commutativity in prime rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2004(70), pp. 3859-3865, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Abraham A. Klein, Howard E. Bell |
A commutativity-or-finiteness condition for rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2004(54), pp. 2863-2865, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Edgar Martínez-Moro |
A generalization of Niederreiter-Xing's propagation rule and its commutativity with duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 50(4), pp. 701-702, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 49(1), pp. 258-261, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Alexandru Mateescu, Arto Salomaa, Sheng Yu 0001 |
Factorizations of Languages and Commutativity Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 15(3), pp. 339-351, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
19 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
Soundness, idempotence and commutativity of set-sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 2(2), pp. 155-201, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, pp. 149-160, 2002, Springer, 3-540-44190-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Martin Hyland, Gordon D. Plotkin, John Power |
Combining Computational Effects: commutativity & sum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montréal, Québec, Canada, pp. 474-484, 2002, Kluwer, 1-4020-7181-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
Soundness, Idempotence and Commutativity of Set-Sharing ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.PL/0102030, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
19 | Alessio Guglielmi, Lutz Straßburger |
Non-commutativity and MELL in the Calculus of Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 54-68, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Timothy H. McNicholl |
On The Commutativity of Jumps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 65(4), pp. 1725-1748, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Krzysztof R. Apt |
The Role of Commutativity in Constraint Propagation Algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.PF/0012010, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 107(4), pp. 370, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
19 | Claudia Faggian |
Proof construction and non-commutativity: a cluster calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000, pp. 80-91, 2000, ACM, 1-58113-265-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings, pp. 245-259, 2000, Springer, 3-540-67281-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | John J. Wavrik |
Commutativity Theorems: Examples in Search of Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC '99, Vancouver, B.C., Canada, July 29-31, 1999, pp. 31-36, 1999, ACM, 1-58113-073-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Christian Choffrut, Flavio D'Alessandro |
Commutativity in Free Inverse Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 204(1-2), pp. 35-54, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | William M. Pottenger |
The Role of Associativity and Commutativity in the Detection and Transformation of Loop-level Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 12th international conference on Supercomputing, ICS 1998, Melbourne, Australia, July 13-17, 1998, pp. 188-195, 1998, ACM, 0-89791-998-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard |
On the Complexity of Commutativity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 8(1), pp. 81-94, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Dexter Kozen |
Kleene Algebra with Tests and Commutativity Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings, pp. 14-33, 1996, Springer, 3-540-61042-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard |
On the Complexity of Commutativity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996, Proceedings, pp. 323-332, 1996, Springer, 3-540-61332-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: Onzièmes Journées Bases de Données Avancées, 29 Août - 1er Septembre 1995, Nancy, France (Informal Proceedings)., pp. 263-, 1995, INRIA. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
19 | Alexandru Mateescu |
Scattered Deletion and Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 125(2), pp. 361-371, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Shankar Pal, Sitaram Lanka |
Conflict-Dependency: Combining Concurrency Beyond Commutativity with Efficient Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMAD ![In: Sixth International Conference on Management of Data, COMAD 1994, Windsor Manor Sheraton & Towers, Bangalore, India, December 19-21, 1994., 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
19 | Stephan A. Missura, Andreas Weber 0004 |
Using Commutativity Properties for Controlling Coercions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 131-143, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Yannis E. Ioannidis |
Commutativity and its Role in the Processing of Linear Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 14(3&4), pp. 223-252, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Irvin Roy Hentzel, David Pokrass Jacobs |
A condition Guaranteeing Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 2(3), pp. 291-296, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Jean-Pierre Jouannaud, Claude Marché |
Termination and Completion Modulo Associativity, Commutativity and Identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 104(1), pp. 29-51, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 1992 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP '92, San Francisco, California, USA, March 23-26, 1992, pp. 637-640, 1992, IEEE Computer Society, 0-7803-0532-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Tatsuo Nakajima |
Commutativity Based Concurrency Control and Recovery for Multiversion Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDOM ![In: Distributed Object Management, Papers from the International Workshop on Distributed Object Management (IWDOM), Edmonton, Alberta, Canada, August 19-21, 1992, pp. 231-247, 1992, Morgan Kaufmann, 1-55860-256-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
19 | Kris Dockx, Paul Igodt |
Character tables and commutativity of normal subgroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 25(1), pp. 28-31, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Jelena Kovacevic, Martin Vetterli |
The commutativity of up/downsampling in two dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 37(3), pp. 695-698, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Deepak Kapur, Hantao Zhang 0001 |
A Case Study of the Completion Procedure: Proving Ring Commutativity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic - Essays in Honor of Alan Robinson ![In: Computational Logic - Essays in Honor of Alan Robinson, pp. 360-394, 1991, The MIT Press, 0-262-12156-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
19 | Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl |
Commutativity-Based Locking for Nested Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 41(1), pp. 65-156, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Hantao Zhang 0001 |
Automated Proof of Ring Commutativity Problems by Algebraic Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 9(4), pp. 423-427, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Friedrich Otto |
On Deciding Confluence of Finite String-Rewriting Systems Modulo Partial Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 67(1), pp. 19-35, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl |
Commutativity-Based Locking for Nested Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS ![In: Persistent Object Systems, Proceedings of the Third International Workshop, 10-13 January 1989, Newcastle, New South Wales, Australia, pp. 319-340, 1989, Springer, 3-540-19626-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
19 | Yannis E. Ioannidis |
Commutativity and its Role in the Processing of Linear Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: Proceedings of the Fifteenth International Conference on Very Large Data Bases, August 22-25, 1989, Amsterdam, The Netherlands., pp. 155-163, 1989, Morgan Kaufmann, 1-55860-101-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
19 | Klaus Madlener, Friedrich Otto |
Commutativity in Groups Presented By Finite Church-Rosser Thue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 22(1), pp. 93-111, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Giulia Maria Piacentini Cattaneo |
Nonassociative Degree Five Identities not Implied by Commutativity: a Computer Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988, Proceedings, pp. 336-340, 1988, Springer, 3-540-51083-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Albrecht Fortenbacher |
An Algebraic Approach to Unification Under Associativity and Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 3(3), pp. 217-229, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
19 | B. R. Badrinath, Krithi Ramamritham |
Semantics-Based Concurrency Control: Beyond Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the Third International Conference on Data Engineering, February 3-5, 1987, Los Angeles, California, USA, pp. 304-311, 1987, IEEE Computer Society, 0-8186-0762-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Albrecht Fortenbacher |
An Algebraic Approch to Unification Under Assoiativity and Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings, pp. 381-397, 1985, Springer, 3-540-15976-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Dario Bini |
On Commutativity and Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 28, pp. 135-150, 1984. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 18(1), pp. 47-52, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
19 | C. Mohan 0001, Donald S. Fussell, Abraham Silberschatz |
Compatibility and Commutativity of Lock Modes ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 61(1), pp. 38-64, April 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
19 | Craig Smorynski |
Commutativity and self-reference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 23(4), pp. 443-452, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
19 | K. M. Wong, V. K. Aatre |
Commutativity and Application of Digital Interpolation Filters and Modulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 28(2), pp. 244-249, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
19 | Joseph F. JáJá |
On the Complexity of Bilinear Forms with Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 9(4), pp. 713-728, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
19 | Joseph F. JáJá |
On the Complexity of Bilinear Forms with Commutativity ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1979, Atlanta, Georgia, USA, pp. 197-208, 1979, ACM. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
19 | Jörg H. Siekmann |
Matching under commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 531-545, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
19 | John L. Hickman |
Commutativity of generalized ordinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 19(4), pp. 702-704, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
19 | Laurent Hyafil |
The Power of Commutativity ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977, pp. 171-174, 1977, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
19 | David J. Kuck, Yoichi Muraoka |
Bounds on the Parallel Evaluation of Arithmetic Expressions Using Associativity and Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 3, pp. 203-216, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
19 | J. Patrick Ryan |
The Shift and Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 6(1), pp. 82-85, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
12 | Michal Botur, Ivan Chajda, Radomír Halas |
Are basic algebras residuated structures? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(3), pp. 251-255, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 43-52, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24-28, 2010, pp. 141-150, 2010, ACM, 978-1-60558-635-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
reduction variables, parallelization, thread-level speculation, multi-core architecture |