Ad Astra Awards
Ad Astra Journal
Science library
White book
University rankings
Who's who
Publications
Theses and dissertations
Ad Astra association
 
Press releases
News
Events
Funding opportunities
 
Login
Registration
 
>> Românã
 
   
 

Gabriel Ciobanu

Romanian Academy and A. I. Cuza University, Iasi, Romania

Institution web page: http://www.acad.ro/
Personal web page: http://www.info.uaic.ro/~gabriel
Send email

Born: 1957

Interests: formal methods, process algebra, modelling in biology, agent systems

Details:
Wide-ranging interests in computing including
- Distributed Systems and Concurrency: process algebra, verification.
- Computational Models Inspired by Biology: membrane computing. bioambients,...
- Theory of Programming: semantics, formal methods, logics.
Author of over 100 papers in computer science and mathematics, co-editor of several volumes, author of a book on programming semantics, and co-author of a book on network programming.

ResearcherID: C-4860-2011

Selected publications:
• O. Andrei, G. Ciobanu, D. Lucanu. A rewriting logic framework for operational semantics of membrane systems. Theoretical Computer Science, 373, pp. 163-181, 2007.
• G. Ciobanu, Gh. Paun, M. J. Perez-Jimenez. On the branching complexity of P systems. Fundamenta Informaticae, 73, pp. 27-36, 2006.
• G. Ciobanu, Gh. Paun, Gh. Stefanescu. P Transducers. New Generation Computing, 24(1), pp. 1-28, 2006.
• G. Ciobanu, Gh. Paun, M. J. Perez-Jimenez. Applications of Membrane Computing. Springer, 2006.
• G. Ciobanu, G. Rozenberg (Eds. ). Modelling in Molecular Biology. Springer, 2004.

Publications from the ISI database, indexed between 2002-2011, produced in Romania:
• Ciobanu, G; Rotaru, M, Molecular interaction. THEORETICAL COMPUTER SCIENCE, 289 (1), pp. 801-827, 2002.
• Ciobanu, G; Paraschiv, D, P system software simulator. FUNDAMENTA INFORMATICAE, 49 (1-3), pp. 61-66, 2002.
• Ciobanu, G; Tanasa, B, Gene expression by software mechanisms. FUNDAMENTA INFORMATICAE, 49 (1-3), pp. 67-80, 2002.
• Ciobanu, G; Dumitriu, D; Huzum, D; Moruz, G; Tanasa, B, Client-server P systems in modeling molecular interaction. MEMBRANE COMPUTING. LECTURE NOTES IN COMPUTER SCIENCE, 2597, pp. 203-218, 2003.
• Ciobanu, G; Huzum, D, Discrete event systems and client-server model for signaling mechanisms. COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS. LECTURE NOTES IN COMPUTER SCIENCE, 2602, pp. 175-177, 2003.
• Ciobanu, G; Lucanu, D, Specification and verification of synchronizing concurrent objects. INTEGRATED FORMAL METHODS, PROCEEDINGS. LECTURE NOTES IN COMPUTER SCIENCE, 2999, pp. 307-327, 2004.
• Ciobanu, G; Guo, WY, P systems running on a cluster of computers. MEMBRANE COMPUTING. LECTURE NOTES IN COMPUTER SCIENCE, 2933, pp. 123-139, 2004.
• Lucanu, D; Ciobanu, G, Model checking for object specifications in hidden algebra. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS. LECTURE NOTES IN COMPUTER SCIENCE, 2937, pp. 97-109, 2004.
• Bonchis, C; Ciobanu, G; Izbasa, C; Petcu, D, A web-based P systems simulator and its parallelization. UNCONVENTIONAL COMPUTATION, PROCEEDINGS. LECTURE NOTES IN COMPUTER SCIENCE, 3699, pp. 58-69, 2005.
• Ciobanu, G; Paun, C; Stefanescu, G, P transducers. NEW GENERATION COMPUTING, 24 (1), pp. 1-28, 2006.
• Ciobanu, G; Lucanu, D, Cellular meta-programming over membranes. UNCONVENTIONAL PROGRAMMING PARADIGMS. LECTURE NOTES IN COMPUTER SCIENCE, 3566, pp. 196-206, 2005.
• Andrei, O; Ciobanu, G; Lucanu, D, Executable specifications of P systems. MEMBRANE COMPUTING. LECTURE NOTES IN COMPUTER SCIENCE, 3365, pp. 126-145, 2004.
• Besozzi, D; Ciobanu, G, A P system description of the sodium-potassium pump. MEMBRANE COMPUTING. LECTURE NOTES IN COMPUTER SCIENCE, 3365, pp. 210-223, 2004.
• Ciobanu, G; Paun, G; Perez-Jimenez, MJ, On the branching complexity of P systems. FUNDAMENTA INFORMATICAE, 73 (1-2), pp. 27-36, 2006.
• Bonchis, C; Ciobanu, G; Izbasa, C, Encodings and arithmetic operations in membrane computing. THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS. LECTURE NOTES IN COMPUTER SCIENCE, 3959, pp. 621-630, 2006.
• Andrei, O; Ciobanu, G; Lucanu, D, Structural operational semantics of P systems. MEMBRANE COMPUTING. LECTURE NOTES IN COMPUTER SCIENCE, 3850, pp. 31-48, 2006.
• Ciobanu, G; Gontineac, VM, Algebraic and coalgebraic aspects of membrane computing. MEMBRANE COMPUTING. LECTURE NOTES IN COMPUTER SCIENCE, 3850, pp. 181-198, 2006.
• Ciobanu, G; Gontineac, N, An automata description of the genetic message translation. FUNDAMENTA INFORMATICAE, 64 (1-4), pp. 93-107, 2005.
• Ciobanu, G; Gontineac, M, Mealy multiset automata. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 17 (1), pp. 111-126, 2006.
• Ciobanu, G; Rusu, D, Self-organizing distribution of agents over hosts. COMPUTER AND INFORMATION SCIENCES - ISCIS 2005, PROCEEDINGS. LECTURE NOTES IN COMPUTER SCIENCE, 3733, pp. 462-471, 2005.
• Ciobanu, G, A programming perspective of the membrane systems. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 1, pp. 13-22, 2006.
• Iftene, A; Ciobanu, G, Formalizing peer-to-peer systems based on Content Addressable Network. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 1, pp. 268-273, 2006.
• Ciobanu, G; Pan, LQ; Paun, G; Perez-Jimenez, MJ, P systems with minimal parallelism. THEORETICAL COMPUTER SCIENCE, 378 (1), pp. 117-130, 2007.
• Romero-Campero, FJ; Gheorghe, M; Ciobanu, G; Auld, JM; Perez-Jimenez, MJ, Cellular modelling using P systems and process algebra. PROGRESS IN NATURAL SCIENCE, 17 (4), pp. 375-383, 2007.
• Bonchis, C; Izbasa, C; Ciobanu, G, Compositional asynchronous membrane systems. PROGRESS IN NATURAL SCIENCE, 17 (4), pp. 411-416, 2007.
• Ciobanu, G; Cornacel, L, Probabilistic transitions for P systems. PROGRESS IN NATURAL SCIENCE, 17 (4), pp. 432-441, 2007.
• Andrei, O; Ciobanu, G; Lucanu, D, A rewriting logic framework for operational semantics of membrane systems. THEORETICAL COMPUTER SCIENCE, 373 (3), pp. 163-181, 2007.
• Ciobanu, G, Theory and applications of P systems - Preface. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 83 (7), pp. 525-527, 2006.
• Ciobanu, G; Rusu, D, A topological approach of the Web classification. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006. LECTURE NOTES IN COMPUTER SCIENCE, 4281, pp. 80-92, 2006.
• Ciobanu, G; Rusu, D, Algebraic and topological properties of apartness lattice-ordered semigroups. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 12 (3-4), pp. 249-274, 2006.
• Ciobanu, G; Aman, B, On the relationship between membranes and ambients. BIOSYSTEMS, 91 (3), pp. 515-530, 2008.
• Ciobanu, G; Rudeanu, S, Equivalent transformations of automata by using behavioural automata. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 13 (11), pp. 1540-1549, 2007.
• Ciobanu, G; Resios, A, Computational Complexity of Simple P Systems. FUNDAMENTA INFORMATICAE, 87 (1), pp. 49-59, 2008.
• Ciobanu, G; Rudeanu, S, Final and sequential behaviours of M-automata. ACTA INFORMATICA, 46 (5), pp. 361-374, 2009.
• Ciobanu, G; Gontineac, M, ENCODINGS OF MULTISETS. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 20 (3), pp. 381-393, 2009.
• Ciobanu, G, COORDINATED MOBILE AGENTS. PROCEEDINGS OF THE ROMANIAN ACADEMY SERIES A-MATHEMATICS PHYSICS TECHNICAL SCIENCES INFORMATION SCIENCE, 10 (1), pp. 73-79, 2009.
• Ciobanu, G; Rusu, D, Synchronizing the Shared Resources. ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY, 11 (3), pp. 281-291, 2008.
• Aman, B; Ciobanu, G, Adding Lifetime to Objects and Membranes in P Systems. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 5 (3), pp. 268-279, 2010.
• Agrigoroaiei, O; Ciobanu, G, Rule-based and object-based event structures for membrane systems. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 79 (6), pp. 295-303, 2010.
• Ciobanu, G; Marcus, S; Paun, G, New Strategies of Using the Rules of a P System in a Maximal Way: Power and Complexity. ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY, 12 (2), pp. 157-173, 2009.
• Agrigoroaiei, O; Ciobanu, G, Reversing computation in membrane systems. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 79 (3-5), pp. 278-288, 2010.
More information


Back

   
© Ad Astra 2001-2013