Ozan Kahramanogullari

Orcid: 0000-0001-5178-7470

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
How network properties and epidemic parameters influence stochastic SIR dynamics on scale-free random networks.
J. Simulation, March, 2024

Deep Inference in Proof Search: The Need for Shallow Inference.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2019
On Quantitative Comparison of Chemical Reaction Network Models.
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.
Proceedings of the Theory and Practice of Natural Computing - 8th International Conference, 2019

Stochastic Mechanisms of Information Flow in Phosphate Economy of Escherichia coli.
Proceedings of the Numerical Computations: Theory and Algorithms, 2019

Enumerating Dominant Pathways in Biological Networks by Information Flow Analysis.
Proceedings of the Algorithms for Computational Biology - 6th International Conference, 2019

2018
Mechanisms of Switching Response to External Phosphate Levels in Escheria coli.
Proceedings of the 2018 Conference on Artificial Life, 2018

2017
Deep Proof Search in MELL.
Proceedings of the LPAR-21, 2017

A dynamic model of the phosphate response system with synthetic promoters in Escherichia coli.
Proceedings of the Fourteenth European Conference Artificial Life, 2017

Quantifying Information Flow in Chemical Reaction Networks.
Proceedings of the Algorithms for Computational Biology, 2017

2016
True Concurrency of Deep Inference Proofs.
Proceedings of the Logic, Language, Information, and Computation, 2016

Simulating Stochastic Dynamic Interactions with Spatial Information and Flux.
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.
Bioinform., 2015

ℓ: An Imperative DSL to Stochastically Simulate Biological Systems.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014
Interaction and Depth against Nondeterminism in Proof Search.
Log. Methods Comput. Sci., 2014

2013
An Intuitive Modelling Interface for Systems Biology.
Int. J. Softw. Informatics, 2013

Stochastic flux analysis of chemical reaction networks.
BMC Syst. Biol., 2013

2012
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches.
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.
Environ. Model. Softw., 2011

Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer.
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.
Proceedings of the IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, 2011

2010
Flux Analysis in Process Models via Causality
Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

Composability: Perspectives in Ecological Modeling.
Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

2009
A process model of Rho GTP-binding proteins.
Theor. Comput. Sci., 2009

On linear logic planning and concurrency.
Inf. Comput., 2009

An Intuitive Automated Modelling Interface for Systems Biology
Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009

2008
A Process Model of Actin Polymerisation.
Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

2007
Nondeterminism and language design in deep inference.
PhD thesis, 2007

Maude as a Platform for Designing and Implementing Deep Inference Systems.
Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis.
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

2006
Reducing Nondeterminism in the Calculus of Structures.
Proceedings of the Logic for Programming, 2006

2005
System BV is NP-complete.
Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

Towards Planning as Concurrency.
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005

2004
System BV without the Equalities for Unit.
Proceedings of the Computer and Information Sciences, 2004

2003
A Formal Assessment Result for Fluent Calculus Using the Action Description Language A<sub>k</sub>.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003


  Loading...