Matthias Volk

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Parameter synthesis for Markov models: covering the parameter space Formal Methods in System Design	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 Physics Letters B	2024-02-02	Paper
Sampling-Based Verification of CTMCs with Uncertain Rates	2022-05-17	Paper
Synthesizing optimal bias in randomized self-stabilization Distributed Computing	2022-04-01	Paper
Direct integration for multi-leg amplitudes: tips, tricks, and when they fail Texts & Monographs in Symbolic Computation	2022-01-18	Paper
Cuts and isogenies Journal of High Energy Physics	2021-08-04	Paper
Wilson lines in AdS/dCFT Physics Letters B	2021-04-19	Paper
Traintrack Calabi-Yaus from twistor geometry Journal of High Energy Physics	2020-12-11	Paper
A quantum framework for AdS/dCFT through fuzzy spherical harmonics on \(S^4\) Journal of High Energy Physics	2020-07-15	Paper
Rooting out letters: octagonal symbol alphabets and algebraic number theory Journal of High Energy Physics	2020-06-11	Paper
Conformally-regulated direct integration of the two-loop heptagon remainder Journal of High Energy Physics	2020-06-11	Paper
Embedding Feynman integral (Calabi-Yau) geometries in weighted projective space Journal of High Energy Physics	2020-06-04	Paper
One net fits all. A unifying semantics of dynamic fault trees using GSPNs (available as arXiv preprint)	2019-12-18	Paper
A quantum check of non-supersymmetric AdS/dCFT Journal of High Energy Physics	2019-03-12	Paper

Research outcomes over time

This page was built for person: Matthias Volk