Graph explorer

Benjamin Aminof

Benjamin Aminof contributes to research discovery and scholarly infrastructure.

6 nodes5 linksoverview mapBenjamin Aminof
6 nodes5 links
Benjamin Aminof6 visible / 6 total nodes / 5 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipABenjamin AminofResearcherWParameterized Model Che...preprint / 2013WFirst Cycle Gamespreprint / 2014WSatisfiability and Mode...preprint / 2014WExtended Graded Modalit...preprint / 2016WLiveness of Parameteriz...preprint / 2016
PersonSignal 105 links

Benjamin Aminof

Researcher

Open