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
12 links
Constantin Enea
Researcher
PaperOn Automated Lemma Generation for Separation Logic with Inductive DefinitionsAuthorship / preprint / 2015PaperBlunting an Adversary Against Randomized Concurrent Programs with Linearizable ImplementationsAuthorship / preprint / 2022PaperModel-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating CoalitionsAuthorship / preprint / 2010PaperOn Verifying Causal ConsistencyAuthorship / preprint / 2016PaperAutomated Synthesis of AsynchronizationsAuthorship / preprint / 2022PaperChecking Robustness Between Weak Transactional Consistency ModelsAuthorship / preprint / 2021PaperModel-checking an Epistemic μ-calculus with Synchronous and Perfect Recall SemanticsAuthorship / preprint / 2012PaperModel Checking an Epistemic mu-calculus with Synchronous and Perfect Recall SemanticsAuthorship / preprint / 2013