 | 2009 |
|---|
| 94 |       | Gabriel Ciobanu,
Calin Juravle:
A Software Platform for Timed Mobility and Timed Interaction.
FMOODS/FORTE 2009: 106-121 |
| 93 | | Bogdan Aman,
Gabriel Ciobanu:
Turing Completeness Using Three Mobile Membranes.
UC 2009: 42-55 |
| 92 | | Oana Agrigoroaiei,
Gabriel Ciobanu,
Andreas Resios:
Evolving by Maximizing the Number of Rules: Complexity Study.
Workshop on Membrane Computing 2009: 149-157 |
| 91 | | Bogdan Aman,
Gabriel Ciobanu:
Typed Membrane Systems.
Workshop on Membrane Computing 2009: 169-181 |
| 90 | | Gabriel Ciobanu,
Sergiu Rudeanu:
Final and sequential behaviours of M-automata.
Acta Inf. 46(5): 361-374 (2009) |
| 89 | | Bogdan Aman,
Gabriel Ciobanu:
Mutual Mobile Membranes with Timers
CoRR abs/0910.1217: (2009) |
| 88 | | Gabriel Ciobanu:
Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009
CoRR abs/0912.0034: (2009) |
| 87 | | Gabriel Ciobanu:
Preface.
Electr. Notes Theor. Comput. Sci. 227: 1-2 (2009) |
| 86 | | Oana Agrigoroaiei,
Gabriel Ciobanu:
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors.
Electr. Notes Theor. Comput. Sci. 238(3): 5-22 (2009) |
| 85 | | Gabriel Ciobanu,
Viorel Mihai Gontineac:
Encodings of Multisets.
Int. J. Found. Comput. Sci. 20(3): 381-393 (2009) |
| 84 | | Bogdan Aman,
Gabriel Ciobanu:
Simple, Enhanced and Mutual Mobile Membranes.
T. Comp. Sys. Biology 11: 26-44 (2009) |
| 2008 |
|---|
| 83 | | Shankara Narayanan Krishna,
Gabriel Ciobanu:
On the Computational Power of Enhanced Mobile Membranes.
CiE 2008: 326-335 |
| 82 | | Gabriel Ciobanu,
Maciej Koutny:
Modelling and Verification of Timed Interaction and Migration.
FASE 2008: 215-229 |
| 81 | | Bogdan Aman,
Gabriel Ciobanu:
Timed Mobile Ambients for Network Protocols.
FORTE 2008: 234-250 |
| 80 | | Oana Agrigoroaiei,
Gabriel Ciobanu:
Non-interleaving Semantics with Causality for Nondeterministic Dataflow.
ICTAC 2008: 66-80 |
| 79 | | Bogdan Aman,
Gabriel Ciobanu:
Resource Competition and Synchronization in Membranes.
SYNASC 2008: 145-151 |
| 78 | | Cosmin Bonchis,
Gabriel Ciobanu,
Graiela Ghergu,
Cornel Izbasa:
Data Compression on Multisets. Submultiset-Free Codes.
SYNASC 2008: 152-157 |
| 77 | | Gabriel Ciobanu:
From Gene Regulation to Stochastic Fusion.
UC 2008: 51-63 |
| 76 | | Oana Agrigoroaiei,
Gabriel Ciobanu:
Dual P Systems.
Workshop on Membrane Computing 2008: 95-107 |
| 75 | | Gabriel Ciobanu:
Behaviour Equivalences in Timed Distributed pi-Calculus.
Software-Intensive Systems and New Computing Paradigms 2008: 190-208 |
| 74 | | Bogdan Aman,
Gabriel Ciobanu:
Describing the Immune System Using Enhanced Mobile Membranes.
Electr. Notes Theor. Comput. Sci. 194(3): 5-18 (2008) |
| 73 | | Gabriel Ciobanu,
Danut Rusu:
Supermetrics over Apartness Lattice-Ordered Semigroup.
Electr. Notes Theor. Comput. Sci. 202: 191-200 (2008) |
| 72 | | Gabriel Ciobanu:
Interaction in Time and Space.
Electr. Notes Theor. Comput. Sci. 203(3): 5-18 (2008) |
| 71 | | Gabriel Ciobanu,
Andreas Resios:
Computational Complexity of Simple P Systems.
Fundam. Inform. 87(1): 49-59 (2008) |
| 2007 |
|---|
| 70 | | Bogdan Aman,
Gabriel Ciobanu:
Timers and Proximities for Mobile Ambients.
CSR 2007: 33-43 |
| 69 | | Bogdan Aman,
Gabriel Ciobanu:
Mobile Ambients with Timers and Types.
ICTAC 2007: 50-63 |
| 68 | | Bogdan Aman,
Gabriel Ciobanu:
Structural Properties and Observability in Membrane Systems.
SYNASC 2007: 74-81 |
| 67 | | Bogdan Aman,
Gabriel Ciobanu:
On the Reachability Problem in P Systems with Mobile Membranes.
Workshop on Membrane Computing 2007: 113-123 |
| 66 | | Gabriel Ciobanu,
Dorel Lucanu:
Events, Causality, and Concurrency in Membrane Systems.
Workshop on Membrane Computing 2007: 209-227 |
| 65 | | Bogdan Aman,
Gabriel Ciobanu:
Translating Mobile Ambients into P Systems.
Electr. Notes Theor. Comput. Sci. 171(2): 11-23 (2007) |
| 64 | | Gabriel Ciobanu,
Cristian Prisacariu:
Coordination by Timers for Channel-Based Anonymous Communications.
Electr. Notes Theor. Comput. Sci. 175(2): 3-17 (2007) |
| 63 | | Gabriel Ciobanu,
Sergiu Rudeanu:
Equivalent Transformations of Automata by Using Behavioural Automata.
J. UCS 13(11): 1540-1549 (2007) |
| 62 | | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
A rewriting logic framework for operational semantics of membrane systems.
Theor. Comput. Sci. 373(3): 163-181 (2007) |
| 61 | | Gabriel Ciobanu,
Linqiang Pan,
Gheorghe Paun,
Mario J. Pérez-Jiménez:
P systems with minimal parallelism.
Theor. Comput. Sci. 378(1): 117-130 (2007) |
| 2006 |
|---|
| 60 |  | Gabriel Ciobanu,
Mario J. Pérez-Jiménez,
Gheorghe Paun:
Applications of Membrane Computing
Springer 2006 |
| 59 | | Gabriel Ciobanu,
Vladimir A. Zakharov:
Encoding Mobile Ambients into the pi -Calculus.
Ershov Memorial Conference 2006: 148-165 |
| 58 | | Gabriel Ciobanu,
Danut Rusu:
A Topological Approach of the Web Classification.
ICTAC 2006: 80-92 |
| 57 | | Gabriel Ciobanu:
Coordination and Self-Organization in MultiAgent Systems.
ISDA (1) 2006 |
| 56 | | Gabriel Ciobanu:
Collaborative Agents Interaction Using Message Passing Interface.
SYNASC 2006: 244-250 |
| 55 | | Cosmin Bonchis,
Cornel Izbasa,
Gabriel Ciobanu:
Number Encodings and Arithmetics over Multisets.
SYNASC 2006: 354-364 |
| 54 | | Cosmin Bonchis,
Gabriel Ciobanu,
Cornel Izbasa:
Encodings and Arithmetic Operations in Membrane Computing.
TAMC 2006: 621-630 |
| 53 | | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Expressing Control Mechanisms of Membranes by Rewriting Strategies.
Workshop on Membrane Computing 2006: 154-169 |
| 52 | | Gabriel Ciobanu,
Viorel Mihai Gontineac:
P Machines: An Automata Approach to Membrane Computing.
Workshop on Membrane Computing 2006: 314-329 |
| 51 | | Daniela Zaharie,
Gabriel Ciobanu:
Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems.
Workshop on Membrane Computing 2006: 536-553 |
| 50 | | Gabriel Ciobanu:
Modeling Cell-Mediated Immunity by Means of P Systems.
Applications of Membrane Computing 2006: 159-180 |
| 49 | | Gabriel Ciobanu,
Dorel Lucanu:
A specification language for coordinated objects.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 48 | | Oana Andrei,
Dorel Lucanu,
Gabriel Ciobanu:
Operational Semantics and Rewriting Logic in Membrane Computing.
Electr. Notes Theor. Comput. Sci. 156(1): 57-78 (2006) |
| 47 | | Gabriel Ciobanu,
Cristian Prisacariu:
Timers for Distributed Systems.
Electr. Notes Theor. Comput. Sci. 164(3): 81-99 (2006) |
| 46 | | Gabriel Ciobanu,
Gheorghe Paun,
Mario J. Pérez-Jiménez:
On the Branching Complexity of P Systems.
Fundam. Inform. 73(1-2): 27-36 (2006) |
| 45 | | Gabriel Ciobanu:
Theory and applications of P systems.
Int. J. Comput. Math. 83(7): 525-527 (2006) |
| 44 | | Gabriel Ciobanu,
Viorel Mihai Gontineac:
Mealy multiset automata.
Int. J. Found. Comput. Sci. 17(1): 111-126 (2006) |
| 43 | | Gabriel Ciobanu:
New Editorial Team.
Sci. Ann. Cuza Univ. 16: 3-4 (2006) |
| 2005 |
|---|
| 42 | | Gabriel Ciobanu,
Danut Rusu:
Self-organizing Distribution of Agents over Hosts.
ISCIS 2005: 462-471 |
| 41 | | Gabriel Ciobanu:
Theory and Practice of Programming Applied to Membrane Systems.
SYNASC 2005: 19-25 |
| 40 | | Gabriel Ciobanu,
K. N. Sridhar:
Specifications and Verification of Network Protocols by Process Algebra.
SYNASC 2005: 250-258 |
| 39 | | Mihai Danes,
Dorel Lucanu,
Gabriel Ciobanu:
Specification of Coordinated Objects and Verification of Their Temporal Properties.
SYNASC 2005: 259-266 |
| 38 | | Cosmin Bonchis,
Gabriel Ciobanu,
Cornel Izbasa,
Dana Petcu:
A Web-Based P Systems Simulator and Its Parallelization.
UC 2005: 58-69 |
| 37 | | Gabriel Ciobanu,
Danut Rusu:
Topological spaces of the web.
WWW (Special interest tracks and posters) 2005: 1112-1113 |
| 36 | | Gabriel Ciobanu,
Viorel Mihai Gontineac:
Algebraic and Coalgebraic Aspects of Membrane Computing.
Workshop on Membrane Computing 2005: 181-198 |
| 35 | | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Structural Operational Semantics of P Systems.
Workshop on Membrane Computing 2005: 31-48 |
| 34 | | Gabriel Ciobanu,
Dorel Lucanu:
Communicating Concurrent Objects in HiddenCCS.
Electr. Notes Theor. Comput. Sci. 117: 353-373 (2005) |
| 33 | | Gabriel Ciobanu,
Viorel Mihai Gontineac:
An Automata Description of the Genetic Message Translation.
Fundam. Inform. 64(1-4): 93-107 (2005) |
| 32 | | Gabriel Ciobanu,
Gheorghe Paun,
Gheorghe Stefanescu:
P Transducers.
New Generation Comput. 24(1): (2005) |
| 31 | | Gabriel Ciobanu,
Janardan Misra:
Performance Analysis and Name Passing Errors in Probabilistic Fusion.
Sci. Ann. Cuza Univ. 15: 57-76 (2005) |
| 2004 |
|---|
| 30 | | Gabriel Ciobanu,
Grzegorz Rozenberg:
Modelling in Molecular Biology
Springer 2004 |
| 29 | | K. N. Sridhar,
Gabriel Ciobanu:
Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra.
FORTE Workshops 2004: 233-247 |
| 28 | | Kenji Taguchi,
Jin Song Dong,
Gabriel Ciobanu:
Relating pi-calculus to Object-Z.
ICECCS 2004: 97-106 |
| 27 | | Gabriel Ciobanu,
Dorel Lucanu:
Specification and Verification of Synchronizing Concurrent Objects.
IFM 2004: 307-327 |
| 26 | | Gabriel Ciobanu,
Dorel Lucanu:
Cellular Meta-programming over Membranes.
UPP 2004: 196-206 |
| 25 | | Dorel Lucanu,
Gabriel Ciobanu:
Model Checking for Object Specifications in Hidden Algebra.
VMCAI 2004: 97-109 |
| 24 | | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Executable Specifications of P Systems.
Workshop on Membrane Computing 2004: 126-145 |
| 23 | | Daniela Besozzi,
Gabriel Ciobanu:
A P System Description of the Sodium-Potassium Pump.
Workshop on Membrane Computing 2004: 210-223 |
| 2003 |
|---|
| 22 | | Gabriel Ciobanu,
Dorin Huzum:
Discrete Event Systems and Client-Server Model for Signaling Mechanisms.
CMSB 2003: 175-177 |
| 21 | | Gabriel Ciobanu,
Mihai Rotaru:
A Formalism for Distributed Systems with an Accurate Graphical Representation.
SNPD 2003: 196-202 |
| 20 | | Gabriel Ciobanu,
Daniel Dumitriu:
Space and Time over the Web.
WWW (Posters) 2003 |
| 19 | | Gabriel Ciobanu,
Guo Wenyuan:
P Systems Running on a Cluster of Computers.
Workshop on Membrane Computing 2003: 123-139 |
| 2002 |
|---|
| 18 | | Sabin C. Buraga,
Gabriel Ciobanu:
A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites.
WISE 2002: 355-361 |
| 17 | | Gabriel Ciobanu,
Rahul Desai,
Akash Kumar:
Membrane Systems and Distributed Computing.
WMC-CdeA 2002: 187-202 |
| 16 | | Gabriel Ciobanu,
Daniel Dumitriu,
Dorin Huzum,
Gabriel Moruz,
Bogdan Tanasa:
Client-Server P Systems in Modeling Molecular Interaction.
WMC-CdeA 2002: 203-218 |
| 15 | | Gabriel Ciobanu,
Dorin Paraschiv:
P System Software Simulator.
Fundam. Inform. 49(1-3): 61-66 (2002) |
| 14 | | Gabriel Ciobanu,
Bogdan Tanasa:
Gene Expression by Software Mechanisms.
Fundam. Inform. 49(1-3): 67-80 (2002) |
| 13 | | Sinica Alboaie,
Gabriel Ciobanu:
Designing and Developing Multi-Agent Systems.
Sci. Ann. Cuza Univ. 11: 142-153 (2002) |
| 12 | | Gabriel Ciobanu,
Mihai Rotaru:
Molecular interaction.
Theor. Comput. Sci. 289(1): 801-827 (2002) |
| 2001 |
|---|
| 11 | | Gabriel Ciobanu,
Mihai Rotaru:
JC-Nets.
MCU 2001: 190-201 |
| 2000 |
|---|
| 10 | | Gabriel Ciobanu:
On a Formal Description of the Molecular Processes.
Recent Topics in Mathematical and Computational Linguistics 2000: 82-96 |
| 9 | | Gabriel Ciobanu,
Mihai Rotaru:
A Pi-calculus Machine.
J. UCS 6(1): 39-59 (2000) |
| 1999 |
|---|
| 8 | | Gabriel Ciobanu,
Gheorghe Paun:
Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings
Springer 1999 |
| 7 | | Gabriel Ciobanu,
Emanuel Florentin Olariu:
Abstract Structures for Communication between Processes.
Ershov Memorial Conference 1999: 221-227 |
| 1998 |
|---|
| 6 | | Gabriel Ciobanu,
Mihai Rotaru:
Faithful pi-nets - A graphical representation of the asynchronous pi-calculus .
Electr. Notes Theor. Comput. Sci. 18: (1998) |
| 5 | | Gabriel Ciobanu,
Emanuel Florentin Olariu:
Interaction Structures for Communicating Processes.
Sci. Ann. Cuza Univ. 8: 36-43 (1998) |
| 1996 |
|---|
| 4 | | Gabriel Ciobanu:
The Reflexive Domain of CPO's Ideals.
Acta Cybern. 12(3): 249-260 (1996) |
| 1995 |
|---|
| 3 | | Gabriel Ciobanu:
Dataflow lambda-calculus.
Sci. Ann. Cuza Univ. 4: 13-28 (1995) |
| 2 | | Mihai Rotaru,
Gabriel Ciobanu:
On the "rep" construction into pi-nets.
Sci. Ann. Cuza Univ. 4: 73-84 (1995) |
| 1992 |
|---|
| 1 | | Gabriel Ciobanu:
A Model for a lambda-calculus Extended for Dataflow Computation.
Sci. Ann. Cuza Univ. 1: 57-68 (1992) |
