Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Laura Kovacs
Researcher
PaperFormalizing Graph Trail Properties in Isabelle/HOLAuthorship / preprint / 2021PaperProceedings 7th International Workshop on Automated Specification and Verification of Web SystemsAuthorship / preprint / 2011PaperComing to Terms with Quantified ReasoningAuthorship / preprint / 2016PaperAlgebra-based Synthesis of Loops and their Invariants (Invited Paper)Authorship / preprint / 2021PaperMORA -- Automatic Generation of Moment-Based InvariantsAuthorship / preprint / 2021PaperSubsumption Demodulation in First-Order Theorem ProvingAuthorship / preprint / 2020PaperInteractive Visualization of Saturation Attempts in VampireAuthorship / preprint / 2020