Ozan Kahramanogullari

According to our database, Ozan Kahramanogullari authored at least 35 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

How network properties and epidemic parameters influence stochastic SIR dynamics on scale-free random networks.

Sara Sottile, Ozan Kahramanogullari, Mattia Sensi

J. Simulation, March, 2024

Deep Inference in Proof Search: The Need for Shallow Inference.

Ozan Kahramanogullari

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2019

On Quantitative Comparison of Chemical Reaction Network Models.

Ozan Kahramanogullari

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019

Stochastic Mechanisms of Growth and Branching in Mediterranean Coral Colonies.

Ozan Kahramanogullari, Lorenzo Bramanti, Maria Carla Benedetti

Proceedings of the Theory and Practice of Natural Computing - 8th International Conference, 2019

Stochastic Mechanisms of Information Flow in Phosphate Economy of Escherichia coli.

Ozan Kahramanogullari, Cansu Uluseker, Martin M. Hanczyc

Proceedings of the Numerical Computations: Theory and Algorithms, 2019

Enumerating Dominant Pathways in Biological Networks by Information Flow Analysis.

Ozan Kahramanogullari

Proceedings of the Algorithms for Computational Biology - 6th International Conference, 2019

2018

Mechanisms of Switching Response to External Phosphate Levels in Escheria coli.

Cansu Uluseker, Martin M. Hanczyc, Ozan Kahramanogullari

Proceedings of the 2018 Conference on Artificial Life, 2018

2017

Deep Proof Search in MELL.

Ozan Kahramanogullari

Proceedings of the LPAR-21, 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

Proceedings of the Fourteenth European Conference Artificial Life, 2017

Quantifying Information Flow in Chemical Reaction Networks.

Ozan Kahramanogullari

Proceedings of the Algorithms for Computational Biology, 2017

2016

True Concurrency of Deep Inference Proofs.

Ozan Kahramanogullari

Proceedings of the Logic, Language, Information, and Computation, 2016

Simulating Stochastic Dynamic Interactions with Spatial Information and Flux.

Ozan Kahramanogullari

Proceedings of the Theory and Practice of Natural Computing - 5th International Conference, 2016

2015

Gener: a minimal programming module for chemical controllers based on DNA strand displacement.

Ozan Kahramanogullari, Luca Cardelli

Bioinform., 2015

ℓ: An Imperative DSL to Stochastically Simulate Biological Systems.

Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

Interaction and Depth against Nondeterminism in Proof Search.

Ozan Kahramanogullari

Log. Methods Comput. Sci., 2014

2013

An Intuitive Modelling Interface for Systems Biology.

Ozan Kahramanogullari, Luca Cardelli

Int. J. Softw. Informatics, 2013

Stochastic flux analysis of chemical reaction networks.

Ozan Kahramanogullari, James F. Lynch

BMC Syst. Biol., 2013

2012

Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches.

Ozan Kahramanogullari, James F. Lynch, Corrado Priami

Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

2011

CoSBiLab LIME: A language interface for stochastic dynamical modelling in ecology.

Ozan Kahramanogullari, Ferenc Jordán, James F. Lynch

Environ. Model. Softw., 2011

Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer.

Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo

Proceedings of the 13th UKSim-AMSS International Conference on Computer Modelling and Simulation, Cambridge University, Emmanuel College, Cambridge, UK, 30 March, 2011

Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX.

Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo

Proceedings of the IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, 2011

2010

Flux Analysis in Process Models via Causality

Ozan Kahramanogullari

Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

Composability: Perspectives in Ecological Modeling.

Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami

Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

2009

A process model of Rho GTP-binding proteins.

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips

Theor. Comput. Sci., 2009

On linear logic planning and concurrency.

Ozan Kahramanogullari

Inf. Comput., 2009

An Intuitive Automated Modelling Interface for Systems Biology

Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron

Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009

2008

A Process Model of Actin Polymerisation.

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

2007

Nondeterminism and language design in deep inference.

Ozan Kahramanogullari

PhD thesis, 2007

Maude as a Platform for Designing and Implementing Deep Inference Systems.

Ozan Kahramanogullari

Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis.

Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

2006

Reducing Nondeterminism in the Calculus of Structures.

Ozan Kahramanogullari

Proceedings of the Logic for Programming, 2006

2005

System BV is NP-complete.

Ozan Kahramanogullari

Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

Towards Planning as Concurrency.

Ozan Kahramanogullari

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005

2004

System BV without the Equalities for Unit.

Ozan Kahramanogullari

Proceedings of the Computer and Information Sciences, 2004

2003

A Formal Assessment Result for Fluent Calculus Using the Action Description Language A_k.

Ozan Kahramanogullari, Michael Thielscher

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003