40 citations · 44 across the 19 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
hep-ph2021
Rivet, RivetHZTool and HERA -- A validation effort for coding HERA measurements for Rivet
M. I. Abdulhamid, A. Achilleos, A. Bermudez Martinez +33
During the DESY summer student program 2021, young scientists from more than 13 different countries worked together, connecting from remote, to provide computer codes within the Ri…
cs.LO2021
Axiomatizations and Computability of Weighted Monadic Second-Order Logic
Antonis Achilleos, Mathias Ruggaard Pedersen
Weighted monadic second-order logic is a weighted extension of monadic second-order logic that captures exactly the behaviour of weighted automata. Its semantics is parameterized w…