Login / Signup
Lea Salome Brugger
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Educational Systems
Pure Nash Equilibrium
Semantic Web
Semantically Annotated
Top Venues
CCS
DaMaLOS
</>
Publications
</>
Lea Salome Brugger
,
Laura Kovács
,
Anja Petkovic Komel
,
Sophie Rain
,
Michael Rawson
CheckMate: Automated Game-Theoretic Security Reasoning.
CCS
(2023)
Raffael Foidl
,
Lea Salome Brugger
,
Tomasz Miksa
Automating Evaluation of Machine-Actionable Data Management Plans with Semantic Web Technologies.
DaMaLOS
(2021)