Ozan Kahramanogullari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2003–2024
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | LPAR | Deep Inference in Proof Search: The Need for Shallow Inference. | Ozan Kahramanogullari |
| 2017 | LPAR | Deep Proof Search in MELL. | Ozan Kahramanogullari |
| 2016 | WoLLIC | True Concurrency of Deep Inference Proofs. | Ozan Kahramanogullari |
| 2012 | SEFM | Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches. | Ozan Kahramanogullari, James F. Lynch, Corrado Priami |
| 2008 | LATA | On Linear Logic Planning and Concurrency. | Ozan Kahramanogullari |
| 2006 | LPAR | Reducing Nondeterminism in the Calculus of Structures. | Ozan Kahramanogullari |
| 2003 | KI | A Formal Assessment Result for Fluent Calculus Using the Action Description Language A | Ozan Kahramanogullari, Michael Thielscher |