A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. - Ozan Kahramanogullari; Michael Thielscher (KI, 2003)

System BV without the Equalities for Unit. - Ozan Kahramanogullari (ISCIS, 2004)

Towards Planning as Concurrency. - Ozan Kahramanogullari (Artificial Intelligence and Applications, 2005)

System BV is NP-complete. - Ozan Kahramanogullari (WoLLIC, 2005)

Reducing Nondeterminism in the Calculus of Structures. - Ozan Kahramanogullari (LPAR, 2006)

A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. - Luca Cardelli; Philippa Gardner; Ozan Kahramanogullari (FBTC@CONCUR, 2007)

Maude as a Platform for Designing and Implementing Deep Inference Systems. - Ozan Kahramanogullari (RULE@RDP, 2007)

Nondeterminism and language design in deep inference. - Ozan Kahramanogullari (2007)

A Process Model of Actin Polymerisation. - Luca Cardelli; Emmanuelle Caron; Philippa Gardner; Ozan Kahramanogullari; Andrew Phillips (FBTC@ICALP, 2008)

An Intuitive Automated Modelling Interface for Systems Biology - Ozan Kahramanogullari; Luca Cardelli; Emmanuelle Caron (DCM, 2009)

On linear logic planning and concurrency. - Ozan Kahramanogullari (Inf. Comput., 2009)

A process model of Rho GTP-binding proteins. - Luca Cardelli; Emmanuelle Caron; Philippa Gardner; Ozan Kahramanogullari; Andrew Phillips (Theor. Comput. Sci., 2009)

Composability: Perspectives in Ecological Modeling. - Ozan Kahramanogullari; Ferenc Jordán; Corrado Priami (ANB, 2010)

Flux Analysis in Process Models via Causality - Ozan Kahramanogullari (FBTC, 2010)

Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX. - Paola Lecca; Ozan Kahramanogullari; Daniele Morpurgo; Corrado Priami; Ross A. Soo (ICCABS, 2011)

Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer. - Paola Lecca; Ozan Kahramanogullari; Daniele Morpurgo; Corrado Priami; Ross A. Soo (UKSim, 2011)

CoSBiLab LIME: A language interface for stochastic dynamical modelling in ecology. - Ozan Kahramanogullari; Ferenc Jordán; James F. Lynch (Environ. Model. Softw., 2011)

Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches. - Ozan Kahramanogullari; James F. Lynch; Corrado Priami (SEFM Satellite Events, 2012)

Stochastic flux analysis of chemical reaction networks. - Ozan Kahramanogullari; James F. Lynch (BMC Syst. Biol., 2013)

An Intuitive Modelling Interface for Systems Biology. - Ozan Kahramanogullari; Luca Cardelli (Int. J. Softw. Informatics, 2013)

Interaction and Depth against Nondeterminism in Proof Search. - Ozan Kahramanogullari (Log. Methods Comput. Sci., 2014)

ℓ: An Imperative DSL to Stochastically Simulate Biological Systems. - Roberto Zunino; Durica Nikolic; Corrado Priami; Ozan Kahramanogullari; Tommaso Schiavinotto (Programming Languages with Applications to Biology and Security, 2015)

Gener: a minimal programming module for chemical controllers based on DNA strand displacement. - Ozan Kahramanogullari; Luca Cardelli (Bioinform., 2015)

Simulating Stochastic Dynamic Interactions with Spatial Information and Flux. - Ozan Kahramanogullari (TPNC, 2016)

True Concurrency of Deep Inference Proofs. - Ozan Kahramanogullari (WoLLIC, 2016)

Quantifying Information Flow in Chemical Reaction Networks. - Ozan Kahramanogullari (AlCoB, 2017)

A dynamic model of the phosphate response system with synthetic promoters in Escherichia coli. - Cansu Uluseker; Jesus Torres; José Luis García lópez; Martin M. Hanczyc; Juan Nogales; Ozan Kahramanogullari (ECAL, 2017)

Deep Proof Search in MELL. - Ozan Kahramanogullari (LPAR, 2017)

Mechanisms of Switching Response to External Phosphate Levels in Escheria coli. - Cansu Uluseker; Martin M. Hanczyc; Ozan Kahramanogullari (ALIFE, 2018)

Enumerating Dominant Pathways in Biological Networks by Information Flow Analysis. - Ozan Kahramanogullari (AlCoB, 2019)

Stochastic Mechanisms of Information Flow in Phosphate Economy of Escherichia coli. - Ozan Kahramanogullari; Cansu Uluseker; Martin M. Hanczyc (NUMTA(1), 2019)

Stochastic Mechanisms of Growth and Branching in Mediterranean Coral Colonies. - Ozan Kahramanogullari; Lorenzo Bramanti; Maria Carla Benedetti (TPNC, 2019)

On Quantitative Comparison of Chemical Reaction Network Models. - Ozan Kahramanogullari (HCVS/PERR@ETAPS, 2019)

Deep Inference in Proof Search: The Need for Shallow Inference. - Ozan Kahramanogullari (LPAR, 2024)

How network properties and epidemic parameters influence stochastic SIR dynamics on scale-free random networks. - Sara Sottile; Ozan Kahramanogullari; Mattia Sensi (J. Simulation, 2024)