1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.NI2024★ 1 cited
Internet Sanctions on Russian Media: Actions and Effects
John Kristoff, Moritz Müller, Arturo Filastò +3
As a response to the Russian aggression against Ukraine, the European Union (EU), through the notion of "digital sovereignty", imposed sanctions on organizations and individuals af…
cs.LO2023
Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561
Moritz Müller, Joost J. Joosten
We discuss model-checking problems as formal models of algorithmic law. Specifically, we ask for an algorithmically tractable general purpose model-checking problem that naturally…