Follow
Ozan Kahramanogullari
Ozan Kahramanogullari
Free University of Bozen-Bolzano, Faculty of Computer Science
Verified email at unibz.it - Homepage
Title
Cited by
Cited by
Year
Mechanistic interplay between ceramide and insulin resistance
F Reali, MJ Morine, O Kahramanoğulları, S Raichur, HC Schneider, ...
Scientific reports 7 (1), 41231, 2017
572017
Biophysical mechanism for ras-nanocluster formation and signaling in plasma membrane
T Gurry, O Kahramanoğulları, RG Endres
PLoS One 4 (7), e6148, 2009
462009
System BV is NP-complete
O Kahramanoğulları
Annals of Pure and Applied Logic 152 (1-3), 107-121, 2008
412008
A process model of Rho GTP-binding proteins
L Cardelli, E Caron, P Gardner, O Kahramanoğulları, A Phillips
Theoretical Computer Science 410 (33-34), 3166-3185, 2009
38*2009
A process model of actin polymerisation
L Cardelli, E Caron, P Gardner, O Kahramanoğulları, A Phillips
Electronic Notes in Theoretical Computer Science 229 (1), 127-144, 2009
382009
Reducing nondeterminism in the calculus of structures
O Kahramanoğulları
International Conference on Logic for Programming Artificial Intelligence …, 2006
332006
System BV without the equalities for unit
O Kahramanoğulları
Computer and Information Sciences-ISCIS 2004: 19th International Symposium …, 2004
282004
On linear logic planning and concurrency
O Kahramanogullari
Information and Computation 207 (11), 1229–1258, 2009
252009
Quantifying dynamic mechanisms of auto-regulation in Escherichia coli with synthetic promoter in response to varying external phosphate levels
C Uluşeker, J Torres-Bacete, JL García, MM Hanczyc, J Nogales, ...
Scientific reports 9 (1), 2076, 2019
232019
Towards planning as concurrency
O Kahramanogulları
The IASTED International Conference on Artificial Intelligence and …, 2005
232005
Implementing system BV of the calculus of structures in Maude
O Kahramanogulları
Proceedings of the ESSLLI-2004 Student Session, 117-127, 2004
222004
An intuitive modelling interface for systems biology
O Kahramanoğullari, L Cardelli
International Journal of Software and Informatics, 7 (4), arXiv preprint …, 2009
20*2009
Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy
O Kahramanoğullari, G Fantaccini, P Lecca, D Morpurgo, C Priami
PLoS One 7 (12), e50176, 2012
192012
Nondeterminism and language design in deep inference
O Kahramanogullari
172007
Implementing deep inference in TOM
O Kahramanogullari, PE Moreau, A Reilles
ICALP Workshop on Structures and Deduction, 158--172, 2005
152005
Maude as a platform for designing and implementing deep inference systems
O Kahramanoğulları
Electronic Notes in Theoretical Computer Science 219, 35-50, 2008
142008
Interaction and depth against nondeterminism in proof search
O Kahramanogullari
Logical Methods in Computer Science 10 (2:5), arXiv preprint arXiv:1403.2628, 2014
132014
Stochastic flux analysis of chemical reaction networks
O Kahramanoğulları, JF Lynch
BMC Systems Biology 7 (1), 133, 2013
112013
On linear logic planning and concurrency
O Kahramanoğulları
International Conference on Language and Automata Theory and Applications …, 2008
82008
From the calculus of structures to term rewriting systems
S Hölldobler, O Kahramanogulları
Technical Report WV-04-03, TU Dresden, 2004
82004
The system can't perform the operation now. Try again later.
Articles 1–20