The following pages link to Ozan Kahramanoğulları (Q1041041):
Displayed 19 items.
- On linear logic planning and concurrency (Q1041042) (← links)
- The inverse correlation between robustness and sensitivity to autoregulation in two-component systems (Q2066460) (← links)
- Stochastic diffusion characterises early colony formation in Mediterranean coral \textit{Corallium rubrum} (Q2095370) (← links)
- Stochastic mechanisms of information flow in phosphate economy of Escherichia coli (Q2200332) (← links)
- A process model of Rho GTP-binding proteins (Q2271454) (← links)
- Enumerating dominant pathways in biological networks by information flow analysis (Q2315496) (← links)
- System BV is NP-complete (Q2478549) (← links)
- True Concurrency of Deep Inference Proofs (Q2820698) (← links)
- A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis (Q2870299) (← links)
- Composability: Perspectives in Ecological Modeling (Q2889707) (← links)
- On Linear Logic Planning and Concurrency (Q3540118) (← links)
- Deep Proof Search in MELL (Q4645729) (← links)
- (Q5016381) (← links)
- (Q5146655) (← links)
- Reducing Nondeterminism in the Calculus of Structures (Q5387898) (← links)
- A Process Model of Actin Polymerisation (Q5404079) (← links)
- Maude as a Platform for Designing and Implementing Deep Inference Systems (Q5415654) (← links)
- Interaction and Depth against Nondeterminism in Proof Search (Q5419489) (← links)
- KI 2003: Advances in Artificial Intelligence (Q5897302) (← links)