Ahmet Kara

Available identifiers

zbMath Open kara.ahmetMaRDI QIDQ871413

List of research outcomes

Publication	Date of Publication	Type
Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries	2023-08-26	Paper
Counting Triangles under Updates in Worst-Case Optimal Time	2022-07-21	Paper
Covers of Query Results	2020-08-06	Paper
Verification of Dynamic Register Automata	2017-04-25	Paper
Expressiveness of Hybrid Temporal Logic on Data Words	2016-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q5407362	2014-04-07	Paper
Dynamic Communicating Automata and Branching High-Level MSCs	2013-03-18	Paper
Temporal Logics on Words with Multiple Data Values.	2012-08-29	Paper
Feasible Automata for Two-Variable Logic with Successor on Data Words	2012-06-08	Paper
On the Hybrid Extension of CTL and CTL +	2009-10-16	Paper
Discrete stochastic dynamics of income inequality in education: An applied stochastic model and a case study	2008-03-28	Paper
Moving equilibria in the public health care sector: a low-quality trap and a resolution	2007-03-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ahmet Kara