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
Anna Ingolfsdottir
Researcher
PaperOn the Axiomatisation of Branching Bisimulation Congruence over CCSAuthorship / preprint / 2022PaperA Bisimulation-based Method for Proving the Validity of Equations in GSOS LanguagesAuthorship / preprint / 2010PaperModelling and Simulation of Asynchronous Real-Time Systems using Timed RebecaAuthorship / preprint / 2011PaperMeta SOS - A Maude Based SOS Meta-Theory FrameworkAuthorship / preprint / 2013PaperProceedings First Workshop on Pre- and Post-Deployment Verification TechniquesAuthorship / preprint / 2016PaperAxiomatizing recursion-free, regular monitorsAuthorship / preprint / 2022PaperAxiomatizing GSOS with PredicatesAuthorship / preprint / 2011