2 papers
cs.DS2025
A Fast Algorithm for Finding Minimum Weight Cycles in Mining Cyclic Graph Topologies
Heman Shakeri, Torben Amtoft, Behnaz Moradi-Jamei +2
Cyclic structures are fundamental topological features in graphs, playing critical roles in network robustness, information flow, community structure, and various dynamic processes…
cs.PL2024
A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
Torben Amtoft, Anindya Banerjee
When proving the correctness of a method for slicing probabilistic programs, it was previously discovered by the authors that for a fixed point iteration to work one needs a non-st…