Search the dblp DataBase

Publications of Author

1. Ozan Kahramanogullari
   Towards Planning as Concurrency. [Citation Graph (0, 0)][DBLP]
   Artificial Intelligence and Applications, 2005, pp:387-393 [Conf]
   
2. Ozan Kahramanogullari
   System BV without the Equalities for Unit. [Citation Graph (0, 0)][DBLP]
   ISCIS, 2004, pp:986-995 [Conf]
   
3. Ozan Kahramanogullari, Michael Thielscher
   A Formal Assessment Result for Fluent Calculus Using the Action Description Language A_k. [Citation Graph (0, 0)][DBLP]
   KI, 2003, pp:209-223 [Conf]
   
4. Ozan Kahramanogullari
   Reducing Nondeterminism in the Calculus of Structures. [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:272-286 [Conf]
   
5. Ozan Kahramanogullari
   System BV is NP-complete. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:143, n:, pp:87-99 [Journal]
   
6. 
   On Linear Logic Planning and Concurrency. [Citation Graph (, )][DBLP]
   
   
7. 
   System BV is NP-complete. [Citation Graph (, )][DBLP]
   
   
8. 
   An Intuitive Automated Modelling Interface for Systems Biology [Citation Graph (, )][DBLP]
   
   
9. 
   Flux Analysis in Process Models via Causality [Citation Graph (, )][DBLP]
   
   
10. 
    A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. [Citation Graph (, )][DBLP]
    
    
11. 
    Maude as a Platform for Designing and Implementing Deep Inference Systems. [Citation Graph (, )][DBLP]
    
    
12. 
    A Process Model of Actin Polymerisation. [Citation Graph (, )][DBLP]