Ozan Kahramanogullari

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 12

Top Venues

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Sara Sottile, Ozan Kahramanogullari, Mattia Sensi
How network properties and epidemic parameters influence stochastic SIR dynamics on scale-free random networks. J. Simulation 18 (2) (2024)
Ozan Kahramanogullari
Deep Inference in Proof Search: The Need for Shallow Inference. LPAR (2024)
Ozan Kahramanogullari
Enumerating Dominant Pathways in Biological Networks by Information Flow Analysis. AlCoB (2019)
Ozan Kahramanogullari
On Quantitative Comparison of Chemical Reaction Network Models. HCVS/PERR@ETAPS (2019)
Ozan Kahramanogullari, Cansu Uluseker, Martin M. Hanczyc
Stochastic Mechanisms of Information Flow in Phosphate Economy of Escherichia coli. NUMTA(1) (2019)
Ozan Kahramanogullari, Lorenzo Bramanti, Maria Carla Benedetti
Stochastic Mechanisms of Growth and Branching in Mediterranean Coral Colonies. TPNC (2019)
Cansu Uluseker, Martin M. Hanczyc, Ozan Kahramanogullari
Mechanisms of Switching Response to External Phosphate Levels in Escheria coli. ALIFE (2018)
Ozan Kahramanogullari
Deep Proof Search in MELL. LPAR (2017)
Cansu Uluseker, Jesus Torres, José Luis García lópez, Martin M. Hanczyc, Juan Nogales, Ozan Kahramanogullari
A dynamic model of the phosphate response system with synthetic promoters in Escherichia coli. ECAL (2017)
Ozan Kahramanogullari
Quantifying Information Flow in Chemical Reaction Networks. AlCoB (2017)
Ozan Kahramanogullari
Simulating Stochastic Dynamic Interactions with Spatial Information and Flux. TPNC (2016)
Ozan Kahramanogullari
True Concurrency of Deep Inference Proofs. WoLLIC (2016)
Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto
ℓ: An Imperative DSL to Stochastically Simulate Biological Systems. Programming Languages with Applications to Biology and Security (2015)
Ozan Kahramanogullari, Luca Cardelli
Gener: a minimal programming module for chemical controllers based on DNA strand displacement. Bioinform. 31 (17) (2015)
Ozan Kahramanogullari
Interaction and Depth against Nondeterminism in Proof Search. Log. Methods Comput. Sci. 10 (2) (2014)
Ozan Kahramanogullari, James F. Lynch
Stochastic flux analysis of chemical reaction networks. BMC Syst. Biol. 7 (2013)
Ozan Kahramanogullari, Luca Cardelli
An Intuitive Modelling Interface for Systems Biology. Int. J. Softw. Informatics 7 (4) (2013)
Ozan Kahramanogullari, James F. Lynch, Corrado Priami
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches. SEFM Satellite Events (2012)
Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo
Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX. ICCABS (2011)
Ozan Kahramanogullari, Ferenc Jordán, James F. Lynch
CoSBiLab LIME: A language interface for stochastic dynamical modelling in ecology. Environ. Model. Softw. 26 (5) (2011)
Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo
Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer. UKSim (2011)
Ozan Kahramanogullari
Flux Analysis in Process Models via Causality FBTC (2010)
Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami
Composability: Perspectives in Ecological Modeling. ANB (2010)
Ozan Kahramanogullari
On linear logic planning and concurrency. Inf. Comput. 207 (11) (2009)
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
A process model of Rho GTP-binding proteins. Theor. Comput. Sci. 410 (33-34) (2009)
Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron
An Intuitive Automated Modelling Interface for Systems Biology DCM (2009)
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
A Process Model of Actin Polymerisation. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Ozan Kahramanogullari
On Linear Logic Planning and Concurrency. LATA (2008)
Ozan Kahramanogullari
System BV is NP-complete. Ann. Pure Appl. Log. 152 (1-3) (2008)
Ozan Kahramanogullari
Maude as a Platform for Designing and Implementing Deep Inference Systems. Electron. Notes Theor. Comput. Sci. 219 (2008)
Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. Electron. Notes Theor. Comput. Sci. 194 (3) (2008)
Ozan Kahramanogullari
Reducing Nondeterminism in the Calculus of Structures. LPAR (2006)
Ozan Kahramanogullari
System BV is NP-complete. Electron. Notes Theor. Comput. Sci. 143 (2006)
Ozan Kahramanogullari
Towards Planning as Concurrency. Artificial Intelligence and Applications (2005)
Ozan Kahramanogullari
System BV without the Equalities for Unit. ISCIS (2004)
Ozan Kahramanogullari, Michael Thielscher
. KI (2003)

Ozan Kahramanogullari.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ozan Kahramanogullari