Graph explorer

Constantin Enea

Constantin Enea contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapConstantin Enea
13 nodes12 links
Constantin Enea13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAConstantin EneaResearcherWOn Automated Lemma Gene...preprint / 2015WBlunting an Adversary A...preprint / 2022WModel-Checking an Alter...preprint / 2010WOn Verifying Causal Con...preprint / 2016WAutomated Synthesis of ...preprint / 2022WChecking Robustness Bet...preprint / 2021WModel-checking an Epist...preprint / 2012WModel Checking an Epist...preprint / 2013WOn Reducing Linearizabi...preprint / 2015WA Generic Framework for...preprint / 2009WMonkeyDB: Effectively T...preprint / 2021WChecking Causal Consist...preprint / 2021
PersonSignal 1012 links

Constantin Enea

Researcher

Open