5 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 5 cited
Interaction and Depth against Nondeterminism in Proof Search
Ozan Kahramanogullari
Deep inference is a proof theoretic methodology that generalizes the standard notion of inference of the sequent calculus, whereby inference rules become applicable at any depth in…
cs.CE2010★ 2 cited
Flux Analysis in Process Models via Causality
Ozan Kahramanoğullari
We present an approach for flux analysis in process algebra models of biological systems. We perceive flux as the flow of resources in stochastic simulations. We resort to an estab…