![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Ozan Kahramanogullari
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]Sara Sottile
, Ozan Kahramanogullari
, Mattia Sensi
:
How network properties and epidemic parameters influence stochastic SIR dynamics on scale-free random networks. J. Simulation 18(2): 206-219 (2024) - [c27]Ozan Kahramanogullari:
Deep Inference in Proof Search: The Need for Shallow Inference. LPAR 2024: 370-389
2010 – 2019
- 2019
- [c26]Ozan Kahramanogullari
:
Enumerating Dominant Pathways in Biological Networks by Information Flow Analysis. AlCoB 2019: 39-51 - [c25]Ozan Kahramanogullari
, Cansu Uluseker
, Martin M. Hanczyc
:
Stochastic Mechanisms of Information Flow in Phosphate Economy of Escherichia coli. NUMTA(1) 2019: 131-145 - [c24]Ozan Kahramanogullari
, Lorenzo Bramanti
, Maria Carla Benedetti
:
Stochastic Mechanisms of Growth and Branching in Mediterranean Coral Colonies. TPNC 2019: 57-69 - [c23]Ozan Kahramanogullari:
On Quantitative Comparison of Chemical Reaction Network Models. HCVS/PERR@ETAPS 2019: 14-27 - 2018
- [c22]Cansu Uluseker
, Martin M. Hanczyc, Ozan Kahramanogullari:
Mechanisms of Switching Response to External Phosphate Levels in Escheria coli. ALIFE 2018: 633-640 - 2017
- [c21]Ozan Kahramanogullari:
Quantifying Information Flow in Chemical Reaction Networks. AlCoB 2017: 155-166 - [c20]Cansu Uluseker
, Jesus Torres, José Luis García lópez, Martin M. Hanczyc, Juan Nogales, Ozan Kahramanogullari:
A dynamic model of the phosphate response system with synthetic promoters in Escherichia coli. ECAL 2017: 412-419 - [c19]Ozan Kahramanogullari:
Deep Proof Search in MELL. LPAR 2017: 106-124 - 2016
- [c18]Ozan Kahramanogullari:
Simulating Stochastic Dynamic Interactions with Spatial Information and Flux. TPNC 2016: 149-160 - [c17]Ozan Kahramanogullari:
True Concurrency of Deep Inference Proofs. WoLLIC 2016: 249-264 - 2015
- [j8]Ozan Kahramanogullari, Luca Cardelli
:
Gener: a minimal programming module for chemical controllers based on DNA strand displacement. Bioinform. 31(17): 2906-2908 (2015) - [c16]Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto:
ℓ: An Imperative DSL to Stochastically Simulate Biological Systems. Programming Languages with Applications to Biology and Security 2015: 354-374 - 2014
- [j7]Ozan Kahramanogullari:
Interaction and Depth against Nondeterminism in Proof Search. Log. Methods Comput. Sci. 10(2) (2014) - 2013
- [j6]Ozan Kahramanogullari, James F. Lynch:
Stochastic flux analysis of chemical reaction networks. BMC Syst. Biol. 7: 133 (2013) - [j5]Ozan Kahramanogullari, Luca Cardelli:
An Intuitive Modelling Interface for Systems Biology. Int. J. Softw. Informatics 7(4): 655-674 (2013) - 2012
- [c15]Ozan Kahramanogullari, James F. Lynch, Corrado Priami:
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches. SEFM Satellite Events 2012: 154-171 - 2011
- [j4]Ozan Kahramanogullari, Ferenc Jordán, James F. Lynch:
CoSBiLab LIME: A language interface for stochastic dynamical modelling in ecology. Environ. Model. Softw. 26(5): 685-687 (2011) - [c14]Paola Lecca
, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo:
Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX. ICCABS 2011: 251 - [c13]Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo:
Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer. UKSim 2011: 75-80 - 2010
- [c12]Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami:
Composability: Perspectives in Ecological Modeling. ANB 2010: 136-148 - [c11]Ozan Kahramanogullari:
Flux Analysis in Process Models via Causality. FBTC 2010: 20-39
2000 – 2009
- 2009
- [j3]Ozan Kahramanogullari:
On linear logic planning and concurrency. Inf. Comput. 207(11): 1229-1258 (2009) - [j2]Luca Cardelli
, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips:
A process model of Rho GTP-binding proteins. Theor. Comput. Sci. 410(33-34): 3166-3185 (2009) - [c10]Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron:
An Intuitive Automated Modelling Interface for Systems Biology. DCM 2009: 73-86 - 2008
- [j1]Ozan Kahramanogullari:
System BV is NP-complete. Ann. Pure Appl. Log. 152(1-3): 107-121 (2008) - [c9]Ozan Kahramanogullari:
On Linear Logic Planning and Concurrency. LATA 2008: 250-262 - [c8]Luca Cardelli
, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips:
A Process Model of Actin Polymerisation. FBTC@ICALP 2008: 127-144 - 2007
- [b1]Ozan Kahramanogullari:
Nondeterminism and language design in deep inference. Dresden University of Technology, Germany, 2007, pp. 1-231 - [c7]Ozan Kahramanogullari:
Maude as a Platform for Designing and Implementing Deep Inference Systems. RULE@RDP 2007: 35-50 - [c6]Luca Cardelli
, Philippa Gardner, Ozan Kahramanogullari:
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. FBTC@CONCUR 2007: 87-102 - 2006
- [c5]Ozan Kahramanogullari:
Reducing Nondeterminism in the Calculus of Structures. LPAR 2006: 272-286 - 2005
- [c4]Ozan Kahramanogullari:
Towards Planning as Concurrency. Artificial Intelligence and Applications 2005: 387-393 - [c3]Ozan Kahramanogullari:
System BV is NP-complete. WoLLIC 2005: 87-99 - 2004
- [c2]Ozan Kahramanogullari:
System BV without the Equalities for Unit. ISCIS 2004: 986-995 - 2003
- [c1]Ozan Kahramanogullari, Michael Thielscher:
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. KI 2003: 209-223
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-26 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint