|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 236 occurrences of 190 keywords
|
|
|
Results
Found 442 publication records. Showing 442 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Martin C. Rinard, Pedro C. Diniz |
Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 14-22, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
commutativity analysis, parallel computing, parallelizing compilers, symbolic analysis |
91 | John Eberhard, Anand Tripathi |
Object-Based Commutativity Analysis for Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA, pp. 279-286, 2005, IEEE Computer Society, 0-7695-2347-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
79 | 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) |
DOOD ![In: Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings, pp. 411-428, 1995, Springer, 3-540-60608-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
78 | Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson 0001 |
Automating commutativity analysis at the design level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004, pp. 165-174, 2004, ACM, 1-58113-820-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
proton therapy, model checking, formal specification, testing, concurrency, case study, OCL, alloy, commutativity, critical systems, radiation therapy, lightweight formal methods |
78 | Pablo Carmona, Juan Luis Castro, Jose Manuel Zurita |
Commutativity as Prior Knowledge in Fuzzy Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 620-627, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Fuzzy modeling, commutativity, prior knowledge |
67 | Paul Wu, Alan D. Fekete |
An Empirical Study of Commutativity in Application Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 7th International Database Engineering and Applications Symposium (IDEAS 2003), 16-18 July 2003, Hong Kong, China, pp. 358-369, 2003, IEEE Computer Society, 0-7695-1981-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
67 | Martin C. Rinard, Pedro C. Diniz |
Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(6), pp. 942-991, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
parallel computing |
67 | Martin C. Rinard, Pedro C. Diniz |
Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996, pp. 54-67, 1996, ACM, 0-89791-795-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
66 | Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon |
Commutativity analysis for XML updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 33(4), pp. 29:1-29:47, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
optimization, XML, XQuery, updates, commutativity |
66 | Krzysztof R. Apt |
The role of commutativity in constraint propagation algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(6), pp. 1002-1036, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
constraint propagation, commutativity, generic algorithms |
55 | Paul Wu, Alan D. Fekete, Uwe Röhm |
The Efficacy of Commutativity-Based Semantic Locking in a Real-World Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 20(3), pp. 427-431, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Persistent Object Systems, Concurrency Control, Object-oriented Databases, Transaction Processing |
55 | Martin C. Rinard, Pedro C. Diniz |
Semantic Foundations of Commutativity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par, Vol. I ![In: Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I, pp. 414-423, 1996, Springer, 3-540-61626-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
43 | Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon |
Commutativity Analysis in XML Update Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings, pp. 374-388, 2007, Springer, 3-540-69269-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Rui Li 0018, Du Li |
Commutativity-based concurrency control in groupware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CollaborateCom ![In: Proceedings of the 1st International Conference on Collaborative Computing: Networking, Applications and Worksharing, San Jose, CA, USA, December 19-21, 2005, 2005, IEEE Computer Society / ICST, 1-4244-0030-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Jean-Pierre Jouannaud, Claude Marché |
Completion modulo Associativity, Commutativity and Identity (AC1). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, pp. 111-120, 1990, Springer, 3-540-52531-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Class rewriting, Constrained rewriting, Completion modulo AC1, Constrained completion, Rewrite orderings, Termination |
43 | Mark E. Stickel |
A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings, pp. 248-258, 1984, Springer, 3-540-96022-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
43 | James R. Slagle |
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 21(4), pp. 622-642, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
42 | William E. Weihl |
Commutativity-Based Concurrency Control for Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(12), pp. 1488-1505, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
local atomicity property, dynamic atomicity, nondeterministic, recovery methods, intentions lists, undo logs, parallel processing, concurrency control, abstract data types, serializability, commutativity, concurrency algorithms, partial |
38 | Tim Soethout, Tijs van der Storm, Jurgen J. Vinju |
Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGERE!@SPLASH ![In: AGERE 2021: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, Virtual Event / Chicago, IL, USA, 17 October 2021, pp. 1-11, 2021, ACM, 978-1-4503-9104-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
38 | Sebastian Fortin, Manuel Gadella, Federico Hernan Holik, Marcelo Losada |
Evolution of quantum observables: from non-commutativity to commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 24(14), pp. 10265-10276, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
38 | Maxime Amblard |
Encoding Phases using Commutativity and Non-commutativity in a Logical Framework ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1108.5027, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Maxime Amblard |
Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics - 6th International Conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011. Proceedings, pp. 1-16, 2011, Springer, 978-3-642-22220-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
38 | Robert L. Probert |
Commutativity, Non-Commutativity, and Bilinearity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 5(2), pp. 46-49, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Eric Koskinen, Maurice Herlihy |
Brief announcement: concurrent non-commutative boosted transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, pp. 272-273, 2009, ACM, 978-1-60558-396-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cyclic dependency, lazy recovery, transactional boosting, transactional memory, commutativity |
35 | Anatolij Dvurecenskij |
On pseudo MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(5), pp. 347-354, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
?-group, Partial addition, Normal ideal, Archimedean property, MV-algebra, State, Commutativity, Ideal, Pseudo MV-algebra |
35 | R. Govindarajan |
Exception Handlers in Functional Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(8), pp. 826-834, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
resume, input object, implementation restriction, referential transparency, commutativity properties, functional programming, functional programming, exception handling, exception handling, terminate, programming theory, functional languages, high level languages, programmer |
35 | G. R. Blakley |
Information Theory Without the Finiteness Assumption, II: Unfolding the DES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '85, Santa Barbara, California, USA, August 18-22, 1985, Proceedings, pp. 282-337, 1985, Springer, 3-540-16463-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
Caesar cipher, codomain, polyalphabet, ramp scheme, toroidal matrix, distributivity, composite, product, group, code, continuous, function, position, diffusion, associativity, discrete, message, relation, DES, ring, arithmetic, domain, matrix, galois field, substitution, symbol, commutativity, cryptosystem, replacement, field, vector space, universal algebra, threshold scheme, transposition, symmetric group, confusion, sum, cyclic group, alphabet |
31 | Jesús Medina 0001 |
Overcoming Non-commutativity in Multi-adjoint Concept Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 278-285, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Rachel Pottinger, Philip A. Bernstein |
Associativity and Commutativity in Generic Merge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conceptual Modeling: Foundations and Applications ![In: Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos, pp. 254-272, 2009, Springer, 978-3-642-02462-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Farhana Aleen, Nathan Clark |
Commutativity analysis for software parallelization: letting program transformations see the big picture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 241-252, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automatic software parallelization, commutative functions, random interpretation |
31 | Frédéric Magniez, Ashwin Nayak 0001 |
Quantum Complexity of Testing Group Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 48(3), pp. 221-232, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled |
On Commutativity Based Edge Lean Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 158-170, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Stefan Beyer, María Idoia Ruiz-Fuertes, Pablo Galdámez, Francesc D. Muñoz-Escoí |
Exploiting Commutativity for Efficient Replication in Partitionable Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (2) ![In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II, pp. 1071-1080, 2007, Springer, 978-3-540-76889-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Dorel Lucanu |
Proving Behavioral Commutativity with CIRC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007, pp. 85-92, 2007, IEEE Computer Society, 978-0-7695-3078-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Gianfranco L. Cariolaro, Peter Kraniauskas, Lorenzo Vangelista |
A novel general formulation of up/downsampling commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 53(6), pp. 2124-2134, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Frédéric Magniez, Ashwin Nayak 0001 |
Quantum Complexity of Testing Group Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 1312-1324, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | 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) |
ICTCS ![In: Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings, pp. 265-279, 2005, Springer, 3-540-29106-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Arthur Charlesworth |
The undecidability of associativity and commutativity analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 24(5), pp. 554-565, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Associative function, commutative function, loop program, recursively enumerable, reduction, recursive, sequence, scan, undecidable, parallel prefix, primitive recursive |
31 | Guangyuan Guo, Ryszard Janicki |
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, pp. 178-191, 2002, Springer, 3-540-44144-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | István Faragó, Ágnes Havasi |
The Mathemathical Background of Operator Splitting and the Effect of Non-commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSSC ![In: Large-Scale Scientific Computing, Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001, Revised Papers, pp. 264-271, 2001, Springer, 3-540-43043-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | B. R. Badrinath, Krithi Ramamritham |
Semantics-Based Concurrency Control: Beyond Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 17(1), pp. 163-199, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
concurrency control, semantic information |
31 | Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson |
Complete Sets of Reductions Modulo Associativity, Commutativity and Identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings, pp. 29-44, 1989, Springer, 3-540-51081-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
31 | C. Mohan 0001, Donald S. Fussell, Abraham Silberschatz |
Compatibility and Commutativity in Non-two-phase Locking Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California, USA, pp. 283-292, 1982, ACM, 0-89791-070-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
31 | Adi Shamir |
On the Power of Commutativity in Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings, pp. 582-595, 1980, Springer, 3-540-10003-2. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
24 | Francisco Durán 0001, Salvador Lucas, José Meseguer 0001 |
Termination Modulo Combinations of Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings, pp. 246-262, 2009, Springer, 978-3-642-04221-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Giorgio Grisetti, Slawomir Grzonka, Cyrill Stachniss, Patrick Pfaff, Wolfram Burgard |
Efficient estimation of accurate maximum likelihood maps in 3D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 3472-3478, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Joe Hendrix, José Meseguer 0001, Hitoshi Ohsaki |
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 151-155, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Young Jun, Jong Youl Kim, Hee Kim |
On Q-Upper Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 22(3), pp. 191-200, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
upper set, Q-upper algebra, (positive) implicative, quasi-commutative, commutative, BCK-algebra |
24 | Neil Thapen, Michael Soltys |
Weak theories of linear algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(2), pp. 195-208, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Liqiang Wang, Scott D. Stoller |
Static analysis of atomicity for programs with non-blocking synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 61-71, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking |
24 | George Georgescu, Andrei Popescu 0001 |
Non-commutative fuzzy Galois connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(7), pp. 458-467, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Non-commutative fuzzy logic, Fuzzy Galois connection, Non-commutative conjunction, Fuzzy relation |
24 | Laurent Granvilliers, Éric Monfroy |
Implementing Constraint Propagation by Composition of Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, pp. 300-314, 2003, Springer, 3-540-20642-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
chaotic iteration, dynamic strategy, software architecture, design pattern, composition, Constraint propagation |
24 | Alexandre Boudet, Evelyne Contejean |
Combining Pattern E-Unification Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, pp. 63-76, 2001, Springer, 3-540-42117-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Parosh Aziz Abdulla, Bengt Jonsson 0001, Mats Kindahl, Doron A. Peled |
A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 379-390, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
The Correctness of Set-Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 99-114, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
occur-check, rational trees, set-sharing, logic programming, abstract interpretation |
24 | Dexter Kozen |
Kleene Algebra with Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(3), pp. 427-443, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
specification, dynamic logic, Kleene algebra |
24 | Yatin P. Saraiya |
Hard Problems for Simple Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, USA, May 23-25, 1990., pp. 64-73, 1990, ACM Press, 978-0-89791-365-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
24 | B. R. Badrinath, Krithi Ramamritham |
Performance Evaluation of Semantics-based Multilevel Concurrency Control Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, USA, May 23-25, 1990., pp. 163-172, 1990, ACM Press, 978-0-89791-365-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | C. Faure |
A Meta Simplifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 290, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Raghu Ramakrishnan 0001, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi |
Proof-Tree Transformation Theorems and Their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA, pp. 172-181, 1989, ACM Press, 0-89791-308-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Ashok K. Chandra |
On the Decision Problems of Program Schemas with Commutative and Invertable Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973, pp. 235-242, 1973, ACM Press. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
23 | Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy |
Coarse-grained transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 19-30, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
coarse-grained transactions, movers, transactional boosting, transactional memory, abstract data-types, commutativity |
23 | Ildar Z. Batyrshin, Imre J. Rudas, Aleksandra Panova |
On Generation of Digital Fuzzy Parametric Conjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Intelligent Engineering and Information Technology ![In: Towards Intelligent Engineering and Information Technology, pp. 79-89, 2009, Springer, 978-3-642-03736-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Digital fuzzy conjunction, conjunctor, semicopula, finite scale, tnorm, commutativity |
23 | Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian |
A type and effect system for deterministic parallel Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 97-116, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deterministic parallelism, determinism, effects, commutativity, effect systems |
23 | Sven Apel, Christian Kästner, Don S. Batory |
Program refactoring using functional aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 161-170, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented refactoring, functional aspects, pseudo-commutativity, stepwise refinement, aspect interactions |
23 | Maurice Herlihy, Eric Koskinen |
Transactional boosting: a methodology for highly-concurrent transactional objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008, pp. 207-216, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
abstract locks, transactional boosting, transactional memory, commutativity, non-blocking algorithms |
23 | Martin C. Rinard, Pedro C. Diniz |
Eliminating synchronization bottlenecks using adaptive replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 25(3), pp. 316-359, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
commutativity analysis, parallel computing, synchronization, replication, parallelizing compilers, Atomic operations |
23 | Martin C. Rinard |
Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 17(4), pp. 337-371, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
atomic operations commutativity analysis, parallel computing, synchronization, parallelizing compilers, optimistic synchronization |
23 | Gihyun Jung |
Comments on "Some Additions to Solution of Switching Equations Based on a Tabular Algebra". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 44(11), pp. 1357-1358, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
simultaneous equations, commutativity, tabular expressions, Exclusive-OR, Boolean equations |
19 | Azadeh Farzan, Dominik Klumpp, Andreas Podelski |
Commutativity Simplifies Proofs of Parameterized Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 8(POPL), pp. 2485-2513, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Madeleine Al-Tahan, Bijan Davvaz, P. Harikrishnan, Pallavi Pallavi |
Subpolygroup commutativity degree of finite extension polygroup. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 34(1), pp. 55-68, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | James M. Foster, Gonçalo Dos Reis, Calum Strange |
High Order Splitting Methods for SDEs Satisfying a Commutativity Condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 62(1), pp. 500-532, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Abhra Chaudhuri, Serban Georgescu, Anjan Dutta 0001 |
Learning Conditional Invariances through Non-Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.11682, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | G. S. Venkatesh |
On Structural Non-commutativity in Affine Feedback of SISO Nonlinear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.17730, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Randy Kuang |
QPP and HPPK: Unifying Non-Commutativity for Quantum-Secure Cryptography with Galois Permutation Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.01852, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Randy Kuang |
QPP and HPPK: Unifying Non-Commutativity for Quantum-Secure Cryptography with Galois Permutation Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 174, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
19 | Xiangyu Mu, Lei Liu, Peng Zhang, Jingyao Li, Hui Li 0037 |
A method of test case set generation in the commutativity test of reduce functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 231, pp. 103006, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Azadeh Farzan, Dominik Klumpp, Andreas Podelski |
Stratified Commutativity in Verification Algorithms for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 1426-1453, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Marco Eilers, Thibault Dardinier, Peter Müller 0001 |
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(PLDI), pp. 1682-1707, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Feidan Huang, Zexi Deng, Fasheng Cao |
Generalized commutativity of intuitionistic fuzzy finite state machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 45(6), pp. 11567-11583, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Azadeh Farzan, Dominik Klumpp, Andreas Podelski |
Commutativity Simplifies Proofs of Parameterized Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.02673, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Constantin Enea, Parisa Fathololumi, Eric Koskinen |
The Commutativity Quotients of Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.05740, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Seid Kassaw Muhie, Daniele Ettore Otera, Francesco G. Russo |
Factorization number and subgroup commutativity degree via spectral invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Math. ![In: Comput. Appl. Math. 42(3), April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Danya Lette, Azadeh Farzan |
Commutativity for Concurrent Program Termination Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, pp. 109-131, 2023, Springer, 978-3-031-37705-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Stepan L. Kuznetsov |
On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings, pp. 83-99, 2023, Springer, 978-3-031-47962-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Azadeh Farzan |
Commutativity in Automated Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-7, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen |
Better Predicates and Heuristics for Improved Commutativity Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, pp. 93-113, 2023, Springer, 978-3-031-45331-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters |
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings, pp. 135-154, 2023, Springer, 978-981-99-8310-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Isabelle Boni, Steven T. Piantadosi |
The role of cultural support on commutativity at varying levels of abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society, CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023, 2023, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
19 | Toshikazu Ishida, Shuichi Inokuchi |
Multiplication of Local Formulae and Commutativity of CAs with Essentially 3-Neighborhood Local Functions over Monoid N. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANDARW ![In: Eleventh International Symposium on Computing and Networking, CANDAR 2023 - Workshops, Matsue, Japan, November 27-30, 2023, pp. 93-99, 2023, IEEE, 979-8-3503-0694-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus |
Veracity: declarative multicore programming with commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA2), pp. 1726-1756, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Toshikazu Ishida, Shuichi Inokuchi |
Commutativity of Composition of some n-Dimensional Cellular Automata on Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Comput. ![In: Int. J. Netw. Comput. 12(1), pp. 188-203, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | James M. Foster, Gonçalo Dos Reis, Calum Strange |
High order splitting methods for SDEs satisfying a commutativity condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.17543, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Ji Xin, Raphael Tang, Zhiying Jiang, Yaoliang Yu, Jimmy Lin |
Building an Efficiency Pipeline: Commutativity and Cumulativeness of Efficiency Operators for Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.00483, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Frank Qiu |
Commutativity and Disentanglement from the Manifold Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.07857, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Marco Eilers, Thibault Dardinier, Peter Müller 0001 |
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.08459, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus |
Veracity: Declarative Multicore Programming with Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.06229, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Sisi Li, Ao Zhou 0001, Xiao Ma 0009, Mengwei Xu, Shangguang Wang |
Commutativity-guaranteed Docker Image Reconstruction towards Effective Layer Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25 - 29, 2022, pp. 3358-3366, 2022, ACM, 978-1-4503-9096-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Frédéric Blanqui |
Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel., pp. 24:1-24:14, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-233-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Isabelle Boni, Steven T. Piantadosi |
Culture and Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 44th Annual Meeting of the Cognitive Science Society, CogSci 2022, Toronto, ON, Canada, July 27-30, 2022, 2022, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 442 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|