Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Dmitry Tishkovsky
Map detail
Dmitry Tishkovsky4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipDmitry TishkovskyADmitry TishkovskyResearcherRefinement in the Tableau Synthesis FrameworkWRefinement in the Table...preprint / 2013Automated Synthesis of Tableau CalculiWAutomated Synthesis of ...preprint / 2012Using Tableau to Decide Description Logics with Full Role Negation and IdentityWUsing Tableau to Decide...preprint / 2016
Person3 links

Dmitry Tishkovsky

Researcher