Matthias Volk

Available identifiers

Publication	Date of Publication	Type
Parameter synthesis for Markov models: covering the parameter space	2024-06-28	Paper
Formal Verification of Rewriting Rules for Dynamic Fault Trees	2024-03-14	Paper
B-type anomaly coefficients for the D3-D5 domain wall	2024-02-02	Paper
Sampling-Based Verification of CTMCs with Uncertain Rates	2022-05-17	Paper
Synthesizing optimal bias in randomized self-stabilization	2022-04-01	Paper
Direct Integration for Multi-Leg Amplitudes: Tips, Tricks, and When They Fail	2022-01-18	Paper
Cuts and isogenies	2021-08-04	Paper
Wilson lines in AdS/dCFT	2021-04-19	Paper
Traintrack Calabi-Yaus from twistor geometry	2020-12-11	Paper
A quantum framework for AdS/dCFT through fuzzy spherical harmonics on \(S^4\)	2020-07-15	Paper
Rooting out letters: octagonal symbol alphabets and algebraic number theory	2020-06-11	Paper
Conformally-regulated direct integration of the two-loop heptagon remainder	2020-06-11	Paper
Embedding Feynman integral (Calabi-Yau) geometries in weighted projective space	2020-06-04	Paper
One net fits all. A unifying semantics of dynamic fault trees using GSPNs	2019-12-18	Paper
A quantum check of non-supersymmetric AdS/dCFT	2019-03-12	Paper

This page was built for person: Matthias Volk