output
20152026
most citedFairSR: Fairness-aware Sequential Recommendation through Multi-Task Learning with Preference Graph Embeddings

49 citations

researchers with a paper here
collaborating institutions
Showing 2017 · cs.LOShow all

1 paper · 2 filters

cs.LO2017★ 24 cited

Verifying Security Policies in Multi-agent Workflows with Loops

Bernd Finkbeiner, Christian Müller, Helmut Seidl +1

We consider the automatic verification of information flow security policies of web-based workflows, such as conference submission systems like EasyChair. Our workflow description…