The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gabriel Ciobanu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gabriel Ciobanu
    On a Formal Description of the Molecular Processes. [Citation Graph (0, 0)][DBLP]
    Recent Topics in Mathematical and Computational Linguistics, 2000, pp:82-96 [Conf]
  2. Gabriel Ciobanu, Dorin Huzum
    Discrete Event Systems and Client-Server Model for Signaling Mechanisms. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:175-177 [Conf]
  3. Gabriel Ciobanu, Emanuel Florentin Olariu
    Abstract Structures for Communication between Processes. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:221-227 [Conf]
  4. K. N. Sridhar, Gabriel Ciobanu
    Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:233-247 [Conf]
  5. Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu
    Relating pi-calculus to Object-Z. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2004, pp:97-106 [Conf]
  6. Gabriel Ciobanu, Danut Rusu
    A Topological Approach of the Web Classification. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:80-92 [Conf]
  7. Gabriel Ciobanu, Dorel Lucanu
    Specification and Verification of Synchronizing Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:307-327 [Conf]
  8. Gabriel Ciobanu, Danut Rusu
    Self-organizing Distribution of Agents over Hosts. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2005, pp:462-471 [Conf]
  9. Gabriel Ciobanu
    Coordination and Self-Organization in MultiAgent Systems. [Citation Graph (0, 0)][DBLP]
    ISDA (1), 2006, pp:- [Conf]
  10. Gabriel Ciobanu, Mihai Rotaru
    JC-Nets. [Citation Graph (0, 0)][DBLP]
    MCU, 2001, pp:190-201 [Conf]
  11. Gabriel Ciobanu, Viorel Mihai Gontineac
    P Machines: An Automata Approach to Membrane Computing. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2006, pp:314-329 [Conf]
  12. Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
    Executable Specifications of P Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2004, pp:126-145 [Conf]
  13. Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
    Structural Operational Semantics of P Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2005, pp:31-48 [Conf]
  14. Daniela Besozzi, Gabriel Ciobanu
    A P System Description of the Sodium-Potassium Pump. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2004, pp:210-223 [Conf]
  15. Gabriel Ciobanu, Viorel Mihai Gontineac
    Algebraic and Coalgebraic Aspects of Membrane Computing. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2005, pp:181-198 [Conf]
  16. Gabriel Ciobanu, Guo Wenyuan
    P Systems Running on a Cluster of Computers. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2003, pp:123-139 [Conf]
  17. Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
    Expressing Control Mechanisms of Membranes by Rewriting Strategies. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2006, pp:154-169 [Conf]
  18. Daniela Zaharie, Gabriel Ciobanu
    Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2006, pp:536-553 [Conf]
  19. Gabriel Ciobanu, Mihai Rotaru
    A Formalism for Distributed Systems with an Accurate Graphical Representation. [Citation Graph (0, 0)][DBLP]
    SNPD, 2003, pp:196-202 [Conf]
  20. Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa
    Encodings and Arithmetic Operations in Membrane Computing. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:621-630 [Conf]
  21. Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu
    A Web-Based P Systems Simulator and Its Parallelization. [Citation Graph (0, 0)][DBLP]
    UC, 2005, pp:58-69 [Conf]
  22. Gabriel Ciobanu, Dorel Lucanu
    Cellular Meta-programming over Membranes. [Citation Graph (0, 0)][DBLP]
    UPP, 2004, pp:196-206 [Conf]
  23. Dorel Lucanu, Gabriel Ciobanu
    Model Checking for Object Specifications in Hidden Algebra. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:97-109 [Conf]
  24. Sabin C. Buraga, Gabriel Ciobanu
    A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites. [Citation Graph (0, 0)][DBLP]
    WISE, 2002, pp:355-361 [Conf]
  25. Gabriel Ciobanu, Daniel Dumitriu, Dorin Huzum, Gabriel Moruz, Bogdan Tanasa
    Client-Server P Systems in Modeling Molecular Interaction. [Citation Graph (0, 0)][DBLP]
    WMC-CdeA, 2002, pp:203-218 [Conf]
  26. Gabriel Ciobanu, Rahul Desai, Akash Kumar
    Membrane Systems and Distributed Computing. [Citation Graph (0, 0)][DBLP]
    WMC-CdeA, 2002, pp:187-202 [Conf]
  27. Gabriel Ciobanu, Daniel Dumitriu
    Space and Time over the Web. [Citation Graph (0, 0)][DBLP]
    WWW (Posters), 2003, pp:- [Conf]
  28. Gabriel Ciobanu, Danut Rusu
    Topological spaces of the web. [Citation Graph (0, 0)][DBLP]
    WWW (Special interest tracks and posters), 2005, pp:1112-1113 [Conf]
  29. Mihai Danes, Dorel Lucanu, Gabriel Ciobanu
    Specification of Coordinated Objects and Verification of Their Temporal Properties. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2005, pp:259-266 [Conf]
  30. Gabriel Ciobanu, K. N. Sridhar
    Specifications and Verification of Network Protocols by Process Algebra. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2005, pp:250-258 [Conf]
  31. Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu
    Number Encodings and Arithmetics over Multisets. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2006, pp:354-364 [Conf]
  32. Gabriel Ciobanu
    Theory and Practice of Programming Applied to Membrane Systems. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2005, pp:19-25 [Conf]
  33. Gabriel Ciobanu
    Collaborative Agents Interaction Using Message Passing Interface. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2006, pp:244-250 [Conf]
  34. Gabriel Ciobanu
    The Reflexive Domain of CPO's Ideals. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1996, v:12, n:3, pp:249-260 [Journal]
  35. Sinica Alboaie, Gabriel Ciobanu
    Designing and Developing Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 2002, v:11, n:, pp:142-153 [Journal]
  36. Gabriel Ciobanu
    A Model for a lambda-calculus Extended for Dataflow Computation. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 1992, v:1, n:, pp:57-68 [Journal]
  37. Gabriel Ciobanu
    Dataflow lambda-calculus. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 1995, v:4, n:, pp:13-28 [Journal]
  38. Gabriel Ciobanu, Emanuel Florentin Olariu
    Interaction Structures for Communicating Processes. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 1998, v:8, n:, pp:36-43 [Journal]
  39. Mihai Rotaru, Gabriel Ciobanu
    On the "rep" construction into pi-nets. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 1995, v:4, n:, pp:73-84 [Journal]
  40. Oana Andrei, Dorel Lucanu, Gabriel Ciobanu
    Operational Semantics and Rewriting Logic in Membrane Computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:57-78 [Journal]
  41. Gabriel Ciobanu, Dorel Lucanu
    Communicating Concurrent Objects in HiddenCCS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:353-373 [Journal]
  42. Gabriel Ciobanu, Mihai Rotaru
    Faithful pi-nets - A graphical representation of the asynchronous pi-calculus . [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
  43. Gabriel Ciobanu, Cristian Prisacariu
    Timers for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:81-99 [Journal]
  44. Gabriel Ciobanu, Viorel Mihai Gontineac
    An Automata Description of the Genetic Message Translation. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:64, n:1-4, pp:93-107 [Journal]
  45. Gabriel Ciobanu, Dorin Paraschiv
    P System Software Simulator. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:49, n:1-3, pp:61-66 [Journal]
  46. Gabriel Ciobanu, Bogdan Tanasa
    Gene Expression by Software Mechanisms. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:49, n:1-3, pp:67-80 [Journal]
  47. Gabriel Ciobanu, Gheorghe Paun, Mario J. Pérez-Jiménez
    On the Branching Complexity of P Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:73, n:1-2, pp:27-36 [Journal]
  48. Gabriel Ciobanu, Viorel Mihai Gontineac
    Mealy multiset automata. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:1, pp:111-126 [Journal]
  49. Gabriel Ciobanu, Mihai Rotaru
    A Pi-calculus Machine. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:1, pp:39-59 [Journal]
  50. Gabriel Ciobanu, Mihai Rotaru
    Molecular interaction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:289, n:1, pp:801-827 [Journal]
  51. Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
    A rewriting logic framework for operational semantics of membrane systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:3, pp:163-181 [Journal]
  52. Bogdan Aman, Gabriel Ciobanu
    Timers and Proximities for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    CSR, 2007, pp:33-43 [Conf]
  53. Gabriel Ciobanu, Vladimir A. Zakharov
    Encoding Mobile Ambients into the pi -Calculus. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:148-165 [Conf]
  54. Bogdan Aman, Gabriel Ciobanu
    Mobile Ambients with Timers and Types. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:50-63 [Conf]
  55. Gabriel Ciobanu, Janardan Mishra
    Performance Analysis and Name Passing Errors in Probabilistic Fusion. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 2005, v:15, n:, pp:57-76 [Journal]
  56. Gabriel Ciobanu
    New Editorial Team. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 2006, v:16, n:, pp:3-4 [Journal]
  57. Bogdan Aman, Gabriel Ciobanu
    Translating Mobile Ambients into P Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:171, n:2, pp:11-23 [Journal]
  58. Gabriel Ciobanu, Cristian Prisacariu
    Coordination by Timers for Channel-Based Anonymous Communications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:3-17 [Journal]
  59. Gabriel Ciobanu, Linqiang Pan, Gheorghe Paun, Mario J. Pérez-Jiménez
    P systems with minimal parallelism. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:378, n:1, pp:117-130 [Journal]

  60. On the Computational Power of Enhanced Mobile Membranes. [Citation Graph (, )][DBLP]


  61. Modelling and Verification of Timed Interaction and Migration. [Citation Graph (, )][DBLP]


  62. A Software Platform for Timed Mobility and Timed Interaction. [Citation Graph (, )][DBLP]


  63. Timed Mobile Ambients for Network Protocols. [Citation Graph (, )][DBLP]


  64. Non-interleaving Semantics with Causality for Nondeterministic Dataflow. [Citation Graph (, )][DBLP]


  65. On the Reachability Problem in P Systems with Mobile Membranes. [Citation Graph (, )][DBLP]


  66. Events, Causality, and Concurrency in Membrane Systems. [Citation Graph (, )][DBLP]


  67. Dual P Systems. [Citation Graph (, )][DBLP]


  68. Typed Membrane Systems. [Citation Graph (, )][DBLP]


  69. Evolving by Maximizing the Number of Rules: Complexity Study. [Citation Graph (, )][DBLP]


  70. Turing Completeness Using Three Mobile Membranes. [Citation Graph (, )][DBLP]


  71. From Gene Regulation to Stochastic Fusion. [Citation Graph (, )][DBLP]


  72. UTP and Temporal Logic Model Checking. [Citation Graph (, )][DBLP]


  73. Structural Properties and Observability in Membrane Systems. [Citation Graph (, )][DBLP]


  74. Resource Competition and Synchronization in Membranes. [Citation Graph (, )][DBLP]


  75. Data Compression on Multisets. Submultiset-Free Codes. [Citation Graph (, )][DBLP]


  76. Final and sequential behaviours of M-automata. [Citation Graph (, )][DBLP]


  77. Mutual Mobile Membranes with Timers [Citation Graph (, )][DBLP]


  78. Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009 [Citation Graph (, )][DBLP]


  79. Supermetrics over Apartness Lattice-Ordered Semigroup. [Citation Graph (, )][DBLP]


  80. Interaction in Time and Space. [Citation Graph (, )][DBLP]


  81. Describing the Immune System Using Enhanced Mobile Membranes. [Citation Graph (, )][DBLP]


  82. Preface. [Citation Graph (, )][DBLP]


  83. Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. [Citation Graph (, )][DBLP]


Search in 0.449secs, Finished in 0.452secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002