Ozan Kahramanogullari

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