Treffer 1 - 20 von 13.634

1

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach
Grandury, Marcos ; Nanevski, Aleksandar ; Gryzlov, Alexander
Proceedings of the ACM on Programming Languages. 9(ICFP):160-189

Fachzeitschrift
2

Formalising Graph Algorithms with Coinduction
Kidney, Donnacha Oisín ; Wu, Nicolas
Proceedings of the ACM on Programming Languages. 9(POPL):1657-1686

Fachzeitschrift
3

Optimal Algebraic Breadth-First Search for Sparse Graphs
Burkhardt, Paul
ACM Transactions on Knowledge Discovery from Data (TKDD). 15(5):1-19

Fachzeitschrift
4

Dieses Ergebnis kann Gästen nicht angezeigt werden.

5

An algebraic approach to the longest path problem
Al - Khazali, Omar
In Theoretical Computer Science 22 December 2025 1058

Fachzeitschrift
6

Fuzzy 𝓕-index of fuzzy zero divisor graphs with MATLAB based algebraic applications
Eryaşar, Elif ; Sözen, Esra Öztürk
Filomat, 2025 Jan 01. 39(14), 4873-4886.

Fachzeitschrift
7

Efficient Algorithms for the Disjoint Shortest Paths Problem and Its Extensions
Choudhary, Keerti ; Kumar, Amit ; Saggi, Lakshay ; et al.

Disjoint paths Disjoint shortest paths Algebraic graph algorith...
Fachzeitschrift
8

Development and Evaluation of a Multi-Robot Path Planning Graph Algorithm.
Alwafi, Fatma A. S. ; Xu, Xu ; Saatchi, Reza ; et al.
Information. Jun2025, Vol. 16 Issue 6, p431. 28p.

Robotic path planning Graph algorithms Graph theory Graph connectivity Eigenvalues Potential field method (...
Fachzeitschrift
9

Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Chatterjee, Krishnendu ; Ibsen-Jensen, Rasmus ; Goharshady, Amir Kafshdar ; et al.
ACM Transactions on Programming Languages and Systems (TOPLAS). 40(3):1-43

Fachzeitschrift
10

Efficient Algebraic Multigrid Methods for Multilevel Overlapping Coclustering of User-Item Relationships.
Xu, Haifeng ; Kashef, Rasha F. ; De Sterck, Hans ; et al.
INFORMS Journal on Computing. May/Jun2022, Vol. 34 Issue 3, p1587-1605. 19p.

Big data Algebraic multigrid meth... Graph algorithms Bipartite graphs Weighted graphs Heuristic algorithms
Fachzeitschrift
11

Algorithms for algebraic path properties in concurrent systems of constant treewidth components
Chatterjee, Krishnendu ; Goharshady, Amir Kafshdar ; Ibsen-Jensen, Rasmus ; et al.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. :733-747

Konferenz
12

Shortest Paths, Pigeonholes and Finite Sets : A Constructive Proof in Agda
Youssef, Michael
Proceedings of the 36th Symposium on Implementation and Application of Functional Languages. :1-12

Konferenz
13

Automating Vectorized Distributed Graph Computation
Zhao, Wenyue ; Cao, Yang ; Buneman, Peter ; et al.
Proceedings of the ACM on Management of Data - SIGMOD. 2(6):1-27

Fachzeitschrift
15

A space improved algorithm for chromatic number
Wu, Pu ; Gu, Huanyu ; Jiang, Huiqin ; et al.
In Theoretical Computer Science 4 January 2026 1059

Fachzeitschrift
16

Linear algebraic depth-first search
Spampinato, Daniele G. ; Sridhar, Upasana ; Low, Tze Meng
Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. :93-104

Konferenz
17

A Recursive Algebraic Coloring Technique for Hardware-efficient Symmetric Sparse Matrix-vector Multiplication
Alappat, Christie ; Basermann, Achim ; Bishop, Alan R. ; et al.
ACM Transactions on Parallel Computing (TOPC) - Special Issue on PPoPP 2017 (Part 2) and Regular Papers. 7(3):1-37

Fachzeitschrift
18

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
Grohe, Martin ; Lichter, Moritz ; Neuen, Daniel ; et al.
Journal of the ACM. 72(3):1-27

Fachzeitschrift
19

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter