Ozan Kahramanoğulları

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Stochastic diffusion characterises early colony formation in Mediterranean coral \textit{Corallium rubrum} Journal of Theoretical Biology	2022-11-09	Paper
The inverse correlation between robustness and sensitivity to autoregulation in two-component systems Mathematical Biosciences	2022-01-14	Paper
On quantitative comparison of chemical reaction network models	2021-12-13	Paper
On quantitative comparison of chemical reaction network models (available as arXiv preprint)	2021-12-13	Paper
An intuitive automated modelling interface for systems biology	2021-01-26	Paper
Stochastic mechanisms of information flow in phosphate economy of Escherichia coli	2020-09-21	Paper
Enumerating dominant pathways in biological networks by information flow analysis	2019-07-25	Paper
Deep Proof Search in MELL EPiC Series in Computing	2019-01-10	Paper
True concurrency of deep inference proofs Logic, Language, Information, and Computation	2016-09-09	Paper
Interaction and depth against nondeterminism in proof search Logical Methods in Computer Science	2014-06-10	Paper
Maude as a platform for designing and implementing deep inference systems Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
A process model of actin polymerisation Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
A process model of rho GTP-binding proteins in the context of phagocytosis Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Composability: Perspectives in ecological modeling Algebraic and Numeric Biology	2012-06-08	Paper
KI 2003: Advances in Artificial Intelligence Lecture Notes in Computer Science	2010-03-03	Paper
On linear logic planning and concurrency Information and Computation	2009-11-27	Paper
A process model of Rho GTP-binding proteins Theoretical Computer Science	2009-08-07	Paper
On Linear Logic Planning and Concurrency Language and Automata Theory and Applications	2008-11-20	Paper
Reducing Nondeterminism in the Calculus of Structures Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
System BV is NP-complete Annals of Pure and Applied Logic	2008-03-28	Paper

Research outcomes over time

This page was built for person: Ozan Kahramanoğulları