|
|
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. |
IPPS |
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. |
WORDS |
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. |
DOOD |
1995 |
DBLP DOI BibTeX RDF |
|
78 | Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson 0001 |
Automating commutativity analysis at the design level. |
ISSTA |
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. |
IFSA |
2003 |
DBLP DOI BibTeX RDF |
Fuzzy modeling, commutativity, prior knowledge |
67 | Paul Wu, Alan D. Fekete |
An Empirical Study of Commutativity in Application Code. |
IDEAS |
2003 |
DBLP DOI BibTeX RDF |
|
67 | Martin C. Rinard, Pedro C. Diniz |
Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
parallel computing |
67 | Martin C. Rinard, Pedro C. Diniz |
Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
66 | Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon |
Commutativity analysis for XML updates. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
optimization, XML, XQuery, updates, commutativity |
66 | Krzysztof R. Apt |
The role of commutativity in constraint propagation algorithms. |
ACM Trans. Program. Lang. Syst. |
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. |
IEEE Trans. Knowl. Data Eng. |
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. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
43 | Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon |
Commutativity Analysis in XML Update Languages. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Rui Li 0018, Du Li |
Commutativity-based concurrency control in groupware. |
CollaborateCom |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Jean-Pierre Jouannaud, Claude Marché |
Completion modulo Associativity, Commutativity and Identity (AC1). |
DISCO |
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. |
CADE |
1984 |
DBLP DOI BibTeX RDF |
|
43 | James R. Slagle |
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity. |
J. ACM |
1974 |
DBLP DOI BibTeX RDF |
|
42 | William E. Weihl |
Commutativity-Based Concurrency Control for Abstract Data Types. |
IEEE Trans. Computers |
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. |
AGERE!@SPLASH |
2021 |
DBLP DOI BibTeX RDF |
|
38 | Sebastian Fortin, Manuel Gadella, Federico Hernan Holik, Marcelo Losada |
Evolution of quantum observables: from non-commutativity to commutativity. |
Soft Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
38 | Maxime Amblard |
Encoding Phases using Commutativity and Non-commutativity in a Logical Framework |
CoRR |
2011 |
DBLP BibTeX RDF |
|
38 | Maxime Amblard |
Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
38 | Robert L. Probert |
Commutativity, Non-Commutativity, and Bilinearity. |
Inf. Process. Lett. |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Eric Koskinen, Maurice Herlihy |
Brief announcement: concurrent non-commutative boosted transactions. |
PODC |
2009 |
DBLP DOI BibTeX RDF |
cyclic dependency, lazy recovery, transactional boosting, transactional memory, commutativity |
35 | Anatolij Dvurecenskij |
On pseudo MV-algebras. |
Soft Comput. |
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. |
IEEE Trans. Software Eng. |
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. |
CRYPTO |
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. |
IWANN (1) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Rachel Pottinger, Philip A. Bernstein |
Associativity and Commutativity in Generic Merge. |
Conceptual Modeling: Foundations and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
31 | Frédéric Magniez, Ashwin Nayak 0001 |
Quantum Complexity of Testing Group Commutativity. |
Algorithmica |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled |
On Commutativity Based Edge Lean Search. |
ICALP |
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. |
OTM Workshops (2) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Dorel Lucanu |
Proving Behavioral Commutativity with CIRC. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Gianfranco L. Cariolaro, Peter Kraniauskas, Lorenzo Vangelista |
A novel general formulation of up/downsampling commutativity. |
IEEE Trans. Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Frédéric Magniez, Ashwin Nayak 0001 |
Quantum Complexity of Testing Group Commutativity. |
ICALP |
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. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
31 | Guangyuan Guo, Ryszard Janicki |
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
31 | István Faragó, Ágnes Havasi |
The Mathemathical Background of Operator Splitting and the Effect of Non-commutativity. |
LSSC |
2001 |
DBLP DOI BibTeX RDF |
|
31 | B. R. Badrinath, Krithi Ramamritham |
Semantics-Based Concurrency Control: Beyond Commutativity. |
ACM Trans. Database Syst. |
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. |
RTA |
1989 |
DBLP DOI BibTeX RDF |
|
31 | C. Mohan 0001, Donald S. Fussell, Abraham Silberschatz |
Compatibility and Commutativity in Non-two-phase Locking Protocols. |
PODS |
1982 |
DBLP DOI BibTeX RDF |
|
31 | Adi Shamir |
On the Power of Commutativity in Cryptography. |
ICALP |
1980 |
DBLP DOI BibTeX RDF |
|
24 | Francisco Durán 0001, Salvador Lucas, José Meseguer 0001 |
Termination Modulo Combinations of Equational Theories. |
FroCoS |
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. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Joe Hendrix, José Meseguer 0001, Hitoshi Ohsaki |
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
24 | 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 |
24 | Neil Thapen, Michael Soltys |
Weak theories of linear algebra. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Liqiang Wang, Scott D. Stoller |
Static analysis of atomicity for programs with non-blocking synchronization. |
PPoPP |
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. |
Soft Comput. |
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. |
ICLP |
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. |
RTA |
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). |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
The Correctness of Set-Sharing. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
occur-check, rational trees, set-sharing, logic programming, abstract interpretation |
24 | Dexter Kozen |
Kleene Algebra with Tests. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
specification, dynamic logic, Kleene algebra |
24 | Yatin P. Saraiya |
Hard Problems for Simple Logic Programs. |
SIGMOD Conference |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
24 | B. R. Badrinath, Krithi Ramamritham |
Performance Evaluation of Semantics-based Multilevel Concurrency Control Protocols. |
SIGMOD Conference |
1990 |
DBLP DOI BibTeX RDF |
|
24 | C. Faure |
A Meta Simplifier. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Raghu Ramakrishnan 0001, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi |
Proof-Tree Transformation Theorems and Their Applications. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Ashok K. Chandra |
On the Decision Problems of Program Schemas with Commutative and Invertable Functions. |
POPL |
1973 |
DBLP DOI BibTeX RDF |
|
23 | Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy |
Coarse-grained transactions. |
POPL |
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. |
Towards Intelligent Engineering and Information Technology |
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. |
OOPSLA |
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. |
GPCE |
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. |
PPoPP |
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. |
ACM Trans. Program. Lang. Syst. |
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. |
ACM Trans. Comput. Syst. |
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". |
IEEE Trans. Computers |
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. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Madeleine Al-Tahan, Bijan Davvaz, P. Harikrishnan, Pallavi Pallavi |
Subpolygroup commutativity degree of finite extension polygroup. |
Int. J. Algebra Comput. |
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. |
SIAM J. Numer. Anal. |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Abhra Chaudhuri, Serban Georgescu, Anjan Dutta 0001 |
Learning Conditional Invariances through Non-Commutativity. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
19 | G. S. Venkatesh |
On Structural Non-commutativity in Affine Feedback of SISO Nonlinear Systems. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Randy Kuang |
QPP and HPPK: Unifying Non-Commutativity for Quantum-Secure Cryptography with Galois Permutation Group. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Randy Kuang |
QPP and HPPK: Unifying Non-Commutativity for Quantum-Secure Cryptography with Galois Permutation Group. |
IACR Cryptol. ePrint Arch. |
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. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Azadeh Farzan, Dominik Klumpp, Andreas Podelski |
Stratified Commutativity in Verification Algorithms for Concurrent Programs. |
Proc. ACM Program. Lang. |
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. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Feidan Huang, Zexi Deng, Fasheng Cao |
Generalized commutativity of intuitionistic fuzzy finite state machine. |
J. Intell. Fuzzy Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Azadeh Farzan, Dominik Klumpp, Andreas Podelski |
Commutativity Simplifies Proofs of Parameterized Programs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Constantin Enea, Parisa Fathololumi, Eric Koskinen |
The Commutativity Quotients of Concurrent Objects. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Seid Kassaw Muhie, Daniele Ettore Otera, Francesco G. Russo |
Factorization number and subgroup commutativity degree via spectral invariants. |
Comput. Appl. Math. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Danya Lette, Azadeh Farzan |
Commutativity for Concurrent Program Termination Proofs. |
CAV (1) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Stepan L. Kuznetsov |
On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Azadeh Farzan |
Commutativity in Automated Verification. |
LICS |
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. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters |
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Isabelle Boni, Steven T. Piantadosi |
The role of cultural support on commutativity at varying levels of abstraction. |
CogSci |
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. |
CANDARW |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus |
Veracity: declarative multicore programming with commutativity. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Toshikazu Ishida, Shuichi Inokuchi |
Commutativity of Composition of some n-Dimensional Cellular Automata on Monoids. |
Int. J. Netw. Comput. |
2022 |
DBLP BibTeX RDF |
|
19 | James M. Foster, Gonçalo Dos Reis, Calum Strange |
High order splitting methods for SDEs satisfying a commutativity condition. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Frank Qiu |
Commutativity and Disentanglement from the Manifold Perspective. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus |
Veracity: Declarative Multicore Programming with Commutativity. |
CoRR |
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. |
WWW |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Frédéric Blanqui |
Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Isabelle Boni, Steven T. Piantadosi |
Culture and Commutativity. |
CogSci |
2022 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 442 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|