Graph explorer

Research map

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

Ahmet Kara
Map detail
Ahmet Kara7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAhmet KaraAAhmet KaraResearcherMaintaining Triangle Queries under UpdatesWMaintaining Triangle Qu...preprint / 2020Temporal Logics on Words with Multiple Data ValuesWTemporal Logics on Word...preprint / 2010Extending Büchi Automata with Constraints on Data ValuesWExtending Büchi Automat...preprint / 2012Feasible Automata for Two-Variable Logic with Successor on Data WordsWFeasible Automata for T...preprint / 2011On the Hybrid Extension of CTL and CTL+WOn the Hybrid Extension...preprint / 2009F-IVM: Learning over Fast-Evolving Relational DataWF-IVM: Learning over Fa...preprint / 2020
Person6 links

Ahmet Kara

Researcher