Gabriel Ciobanu

	2012
133		Gabriel Ciobanu, G. Michele Pinna: Catalytic Petri Nets Are Turing Complete. LATA 2012: 192-203
132		Gabriel Ciobanu, Calin Juravle: Flexible software architecture and language for mobile agents. Concurrency and Computation: Practice and Experience 24(6): 559-571 (2012)
131		Bogdan Aman, Gabriel Ciobanu: Properties of enhanced mobile membranes via coloured Petri nets. Inf. Process. Lett. 112(6): 243-248 (2012)
	2011
130		Bogdan Aman, Gabriel Ciobanu: Mobility in Process Calculi and Natural Computing Springer 2011: 1-194
129		Shankara Narayanan Krishna, Gabriel Ciobanu: Computability Power of Mobility in Enhanced Mobile Membranes. CiE 2011: 160-170
128		Bogdan Aman, Gabriel Ciobanu: A Temporal Logic for Mutual Mobile Membranes with Objects on Surface. Computation, Cooperation, and Life 2011: 138-150
127		Shankara Narayanan Krishna, Gabriel Ciobanu: A S2P ÈP2P\Sigma_2^P \cup \Pi_2^P Lower Bound Using Mobile Membranes. DCFS 2011: 275-288
126		Gabriel Ciobanu, Maciej Koutny: Timed Migration and Interaction with Access Permissions. FM 2011: 293-307
125		Oana Agrigoroaiei, Gabriel Ciobanu: Quantitative Causality in Membrane Systems. Int. Conf. on Membrane Computing 2011: 62-72
124		Bogdan Aman, Gabriel Ciobanu: Time Delays in Membrane Systems and Petri Nets QAPL 2011: 47-60
123		Gabriel Ciobanu, Eneia Nicolae Todoran: Metric Denotational Semantics for Parallel Rewriting of Multisets. SYNASC 2011: 276-283
122		Andrei Alexandru, Gabriel Ciobanu: Nominal Semantics of the pi I-calculus. SYNASC 2011: 331-338
121		Bogdan Aman, Gabriel Ciobanu: Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. Acta Inf. 48(7-8): 409-415 (2011)
120		Gabriel Ciobanu: Biologically Inspired Process Calculi, Petri Nets and Membrane Computing CoRR abs/1108.3418: (2011)
119		Gabriel Ciobanu: Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011) CoRR abs/1108.3558: (2011)
118		Oana Agrigoroaiei, Bogdan Aman, Gabriel Ciobanu: Semantics, Causality and Mobility in Membrane Computing. ERCIM News 2011(85): 22 (2011)
117		Gabriel Ciobanu, Maciej Koutny: Timed Mobility in process algebra and Petri nets. J. Log. Algebr. Program. 80(7): 377-391 (2011)
116		Bogdan Aman, Gabriel Ciobanu: Mutual mobile membranes with objects on surface. Natural Computing 10(2): 777-793 (2011)
115		Gabriel Ciobanu, Shankara Narayanan Krishna: Enhanced Mobile Membranes: Computability Results. Theory Comput. Syst. 48(3): 715-729 (2011)
	2010
114		Gabriel Ciobanu, Maciej Koutny: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010 MeCBIC 2010
113		Gabriel Ciobanu, Calin Juravle: Mobile Agents with Timers, and Their Implementation. IDC 2010: 229-239
112		Gabriel Ciobanu: Finding Network Resources by Using Mobile Agents. IDC 2010: 305-313
111		Oana Agrigoroaiei, Gabriel Ciobanu: Flattening the Transition P Systems with Dissolution. Int. Conf. on Membrane Computing 2010: 53-64
110		Gabriel Ciobanu: Mobility in Computer Science and in Membrane Systems. Int. Conf. on Membrane Computing 2010: 7-17
109		Gabriel Ciobanu, Eneia Nicolae Todoran: Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. SYNASC 2010: 387-391
108		Bogdan Aman, Gabriel Ciobanu: Formalizing the Behavior of Biological Processes with Mobility. UC 2010: 187
107		Oana Agrigoroaiei, Gabriel Ciobanu: Reversing computation in membrane systems. J. Log. Algebr. Program. 79(3-5): 278-288 (2010)
106		Oana Agrigoroaiei, Gabriel Ciobanu: Rule-based and object-based event structures for membrane systems. J. Log. Algebr. Program. 79(6): 295-303 (2010)
105		Bogdan Aman, Gabriel Ciobanu: Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. Scholarpedia 5(7): 9420 (2010)
	2009
104		Gabriel Ciobanu: Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009 MeCBIC 2009
103		Bogdan Aman, Gabriel Ciobanu: Mutual Mobile Membranes with Timers COMPMOD 2009: 1-15
102		Gabriel Ciobanu, Calin Juravle: A Software Platform for Timed Mobility and Timed Interaction. FMOODS/FORTE 2009: 106-121
101		Gabriel Ciobanu, Eneia Nicolae Todoran: A Methodology for Concurrent Languages Development Based on Denotational Semantics. SYNASC 2009: 290-298
100		Bogdan Aman, Gabriel Ciobanu: Turing Completeness Using Three Mobile Membranes. UC 2009: 42-55
99		Oana Agrigoroaiei, Gabriel Ciobanu, Andreas Resios: Evolving by Maximizing the Number of Rules: Complexity Study. Workshop on Membrane Computing 2009: 149-157
98		Bogdan Aman, Gabriel Ciobanu: Typed Membrane Systems. Workshop on Membrane Computing 2009: 169-181
97		Gabriel Ciobanu, Sergiu Rudeanu: Final and sequential behaviours of M-automata. Acta Inf. 46(5): 361-374 (2009)
96		Gabriel Ciobanu, Dorel Lucanu: Model-based Testing and Analysis of Coordinated Components. ECEASST 20: (2009)
95		Hugh Anderson, Gabriel Ciobanu: Markov Abstractions for Probabilistic Pi-Calculus. ECEASST 22: (2009)
94		Gabriel Ciobanu: Preface. Electr. Notes Theor. Comput. Sci. 227: 1-2 (2009)
93		Oana Agrigoroaiei, Gabriel Ciobanu: Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. Electr. Notes Theor. Comput. Sci. 238(3): 5-22 (2009)
92		Gabriel Ciobanu, Viorel Mihai Gontineac: Encodings of Multisets. Int. J. Found. Comput. Sci. 20(3): 381-393 (2009)
91		Gabriel Ciobanu, Andreas Resios: Complexity of evolution in maximum cooperative P systems. Natural Computing 8(4): 807-816 (2009)
90		Bogdan Aman, Gabriel Ciobanu: Simple, Enhanced and Mutual Mobile Membranes. T. Comp. Sys. Biology 11: 26-44 (2009)
	2008
89		Shankara Narayanan Krishna, Gabriel Ciobanu: On the Computational Power of Enhanced Mobile Membranes. CiE 2008: 326-335
88		Gabriel Ciobanu, Maciej Koutny: Modelling and Verification of Timed Interaction and Migration. FASE 2008: 215-229
87		Bogdan Aman, Gabriel Ciobanu: Timed Mobile Ambients for Network Protocols. FORTE 2008: 234-250
86		Oana Agrigoroaiei, Gabriel Ciobanu: Non-interleaving Semantics with Causality for Nondeterministic Dataflow. ICTAC 2008: 66-80
85		Bogdan Aman, Gabriel Ciobanu: Resource Competition and Synchronization in Membranes. SYNASC 2008: 145-151
84		Cosmin Bonchis, Gabriel Ciobanu, Graiela Ghergu, Cornel Izbasa: Data Compression on Multisets. Submultiset-Free Codes. SYNASC 2008: 152-157
83		Gabriel Ciobanu: From Gene Regulation to Stochastic Fusion. UC 2008: 51-63
82		Hugh Anderson, Gabriel Ciobanu, Leo Freitas: UTP and Temporal Logic Model Checking. UTP 2008: 22-41
81		Oana Agrigoroaiei, Gabriel Ciobanu: Dual P Systems. Workshop on Membrane Computing 2008: 95-107
80		Gabriel Ciobanu: Behaviour Equivalences in Timed Distributed pi-Calculus. Software-Intensive Systems and New Computing Paradigms 2008: 190-208
79		Gabriel Ciobanu, Bogdan Aman: On the relationship between membranes and ambients. Biosystems 91(3): 515-530 (2008)
78		Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu: Information Theory over Multisets. Computing and Informatics 27(3+): 441-451 (2008)
77		Bogdan Aman, Gabriel Ciobanu: Describing the Immune System Using Enhanced Mobile Membranes. Electr. Notes Theor. Comput. Sci. 194(3): 5-18 (2008)
76		Gabriel Ciobanu, Danut Rusu: Supermetrics over Apartness Lattice-Ordered Semigroup. Electr. Notes Theor. Comput. Sci. 202: 191-200 (2008)
75		Gabriel Ciobanu: Interaction in Time and Space. Electr. Notes Theor. Comput. Sci. 203(3): 5-18 (2008)
74		Gabriel Ciobanu, Andreas Resios: Computational Complexity of Simple P Systems. Fundam. Inform. 87(1): 49-59 (2008)
	2007
73		Bogdan Aman, Gabriel Ciobanu: Timers and Proximities for Mobile Ambients. CSR 2007: 33-43
72		Bogdan Aman, Gabriel Ciobanu: Mobile Ambients with Timers and Types. ICTAC 2007: 50-63
71		Gabriel Ciobanu: Time and Space Coordination of Mobile Agents. IDC 2007: 9-23
70		Bogdan Aman, Gabriel Ciobanu: Structural Properties and Observability in Membrane Systems. SYNASC 2007: 74-81
69		Bogdan Aman, Gabriel Ciobanu: On the Reachability Problem in P Systems with Mobile Membranes. Workshop on Membrane Computing 2007: 113-123
68		Gabriel Ciobanu, Dorel Lucanu: Events, Causality, and Concurrency in Membrane Systems. Workshop on Membrane Computing 2007: 209-227
67		Bogdan Aman, Gabriel Ciobanu: Translating Mobile Ambients into P Systems. Electr. Notes Theor. Comput. Sci. 171(2): 11-23 (2007)
66		Gabriel Ciobanu, Cristian Prisacariu: Coordination by Timers for Channel-Based Anonymous Communications. Electr. Notes Theor. Comput. Sci. 175(2): 3-17 (2007)
65		Gabriel Ciobanu, Sergiu Rudeanu: Equivalent Transformations of Automata by Using Behavioural Automata. J. UCS 13(11): 1540-1549 (2007)
64		Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: A rewriting logic framework for operational semantics of membrane systems. Theor. Comput. Sci. 373(3): 163-181 (2007)
63		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
62		Gabriel Ciobanu, Mario J. Pérez-Jiménez, Gheorghe Paun: Applications of Membrane Computing Springer 2006
61		Gabriel Ciobanu, Vladimir A. Zakharov: Encoding Mobile Ambients into the pi -Calculus. Ershov Memorial Conference 2006: 148-165
60		Gabriel Ciobanu, Danut Rusu: A Topological Approach of the Web Classification. ICTAC 2006: 80-92
59		Gabriel Ciobanu: Coordination and Self-Organization in MultiAgent Systems. ISDA (1) 2006
58		Gabriel Ciobanu: Collaborative Agents Interaction Using Message Passing Interface. SYNASC 2006: 244-250
57		Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu: Number Encodings and Arithmetics over Multisets. SYNASC 2006: 354-364
56		Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa: Encodings and Arithmetic Operations in Membrane Computing. TAMC 2006: 621-630
55		Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: Expressing Control Mechanisms of Membranes by Rewriting Strategies. Workshop on Membrane Computing 2006: 154-169
54		Gabriel Ciobanu, Viorel Mihai Gontineac: P Machines: An Automata Approach to Membrane Computing. Workshop on Membrane Computing 2006: 314-329
53		Daniela Zaharie, Gabriel Ciobanu: Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems. Workshop on Membrane Computing 2006: 536-553
52		Gabriel Ciobanu: Modeling Cell-Mediated Immunity by Means of P Systems. Applications of Membrane Computing 2006: 159-180
51		Gabriel Ciobanu, Dorel Lucanu: A specification language for coordinated objects. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
50		Oana Andrei, Dorel Lucanu, Gabriel Ciobanu: Operational Semantics and Rewriting Logic in Membrane Computing. Electr. Notes Theor. Comput. Sci. 156(1): 57-78 (2006)
49		Gabriel Ciobanu, Cristian Prisacariu: Timers for Distributed Systems. Electr. Notes Theor. Comput. Sci. 164(3): 81-99 (2006)
48		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)
47		Gabriel Ciobanu: Theory and applications of P systems. Int. J. Comput. Math. 83(7): 525-527 (2006)
46		Gabriel Ciobanu, Viorel Mihai Gontineac: Mealy multiset automata. Int. J. Found. Comput. Sci. 17(1): 111-126 (2006)
45		Gabriel Ciobanu: New Editorial Team. Sci. Ann. Cuza Univ. 16: 3-4 (2006)
	2005
44		Daniela Zaharie, Dana Petcu, Viorel Negru, Tudor Jebelean, Gabriel Ciobanu, Alexandru Cicortas, Ajith Abraham, Marcin Paprzycki: Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania IEEE Computer Society 2005
43		Gabriel Ciobanu, Danut Rusu: Self-organizing Distribution of Agents over Hosts. ISCIS 2005: 462-471
42		Gabriel Ciobanu: Theory and Practice of Programming Applied to Membrane Systems. SYNASC 2005: 19-25
41		Gabriel Ciobanu, K. N. Sridhar: Specifications and Verification of Network Protocols by Process Algebra. SYNASC 2005: 250-258
40		Mihai Danes, Dorel Lucanu, Gabriel Ciobanu: Specification of Coordinated Objects and Verification of Their Temporal Properties. SYNASC 2005: 259-266
39		Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu: A Web-Based P Systems Simulator and Its Parallelization. UC 2005: 58-69
38		Gabriel Ciobanu, Danut Rusu: Topological spaces of the web. WWW (Special interest tracks and posters) 2005: 1112-1113
37		Gabriel Ciobanu, Viorel Mihai Gontineac: Algebraic and Coalgebraic Aspects of Membrane Computing. Workshop on Membrane Computing 2005: 181-198
36		Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: Structural Operational Semantics of P Systems. Workshop on Membrane Computing 2005: 31-48
35		Gabriel Ciobanu, Dorel Lucanu: Communicating Concurrent Objects in HiddenCCS. Electr. Notes Theor. Comput. Sci. 117: 353-373 (2005)
34		Gabriel Ciobanu, Viorel Mihai Gontineac: An Automata Description of the Genetic Message Translation. Fundam. Inform. 64(1-4): 93-107 (2005)
33		Gabriel Ciobanu, Gheorghe Paun, Gheorghe Stefanescu: P Transducers. New Generation Comput. 24(1): 1-28 (2005)
32		Gabriel Ciobanu, Janardan Misra: Performance Analysis and Name Passing Errors in Probabilistic Fusion. Sci. Ann. Cuza Univ. 15: 57-76 (2005)
	2004
31		Gabriel Ciobanu, Grzegorz Rozenberg: Modelling in Molecular Biology Springer 2004
30		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
29		Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu: Relating pi-calculus to Object-Z. ICECCS 2004: 97-106
28		Gabriel Ciobanu, Dorel Lucanu: Specification and Verification of Synchronizing Concurrent Objects. IFM 2004: 307-327
27		Gabriel Ciobanu, Dorel Lucanu: Cellular Meta-programming over Membranes. UPP 2004: 196-206
26		Dorel Lucanu, Gabriel Ciobanu: Model Checking for Object Specifications in Hidden Algebra. VMCAI 2004: 97-109
25		Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: Executable Specifications of P Systems. Workshop on Membrane Computing 2004: 126-145
24		Daniela Besozzi, Gabriel Ciobanu: A P System Description of the Sodium-Potassium Pump. Workshop on Membrane Computing 2004: 210-223
	2003
23		Gabriel Ciobanu, Dorin Huzum: Discrete Event Systems and Client-Server Model for Signaling Mechanisms. CMSB 2003: 175-177
22		Gabriel Ciobanu, Mihai Rotaru: A Formalism for Distributed Systems with an Accurate Graphical Representation. SNPD 2003: 196-202
21		Gabriel Ciobanu, Daniel Dumitriu: Space and Time over the Web. WWW (Posters) 2003
20		Gabriel Ciobanu, Guo Wenyuan: P Systems Running on a Cluster of Computers. Workshop on Membrane Computing 2003: 123-139
	2002
19		Sabin C. Buraga, Gabriel Ciobanu: A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites. WISE 2002: 355-361
18		Gabriel Ciobanu, Rahul Desai, Akash Kumar: Membrane Systems and Distributed Computing. WMC-CdeA 2002: 187-202
17		Gabriel Ciobanu, Daniel Dumitriu, Dorin Huzum, Gabriel Moruz, Bogdan Tanasa: Client-Server P Systems in Modeling Molecular Interaction. WMC-CdeA 2002: 203-218
16		Gabriel Ciobanu, Dorin Paraschiv: P System Software Simulator. Fundam. Inform. 49(1-3): 61-66 (2002)
15		Gabriel Ciobanu, Bogdan Tanasa: Gene Expression by Software Mechanisms. Fundam. Inform. 49(1-3): 67-80 (2002)
14		Sinica Alboaie, Gabriel Ciobanu: Designing and Developing Multi-Agent Systems. Sci. Ann. Cuza Univ. 11: 142-153 (2002)
13		Gabriel Ciobanu, Mihai Rotaru: Molecular interaction. Theor. Comput. Sci. 289(1): 801-827 (2002)
	2001
12		Gabriel Ciobanu, Mihai Rotaru: JC-Nets. MCU 2001: 190-201
11		Gabriel Ciobanu: Molecular structures. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 299-317
	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: 24-45 (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)

Coauthor Index

1	Ajith Abraham	[44]
2	Oana Agrigoroaiei	[81] [86] [93] [99] [106] [107] [111] [118] [125]
3	Sinica Alboaie	[14]
4	Andrei Alexandru	[122]
5	Bogdan Aman	[67] [69] [70] [72] [73] [77] [79] [85] [87] [90] [98] [100] [103] [105] [108] [116] [118] [121] [124] [128] [130] [131]
6	Hugh Anderson	[82] [95]
7	Oana Andrei	[25] [36] [50] [55] [64]
8	Daniela Besozzi	[24]
9	Cosmin Bonchis	[39] [56] [57] [78] [84]
10	Sabin C. Buraga	[19]
11	Alexandru Cicortas	[44]
12	Mihai Danes	[40]
13	Rahul Desai	[18]
14	Jin Song Dong	[29]
15	Daniel Dumitriu	[17] [21]
16	Leo Freitas (Leonardo Freitas)	[82]
17	Graiela Ghergu	[84]
18	Viorel Mihai Gontineac	[34] [37] [46] [54] [92]
19	Dorin Huzum	[17] [23]
20	Cornel Izbasa	[39] [56] [57] [78] [84]
21	Tudor Jebelean	[44]
22	Calin Juravle	[102] [113] [132]
23	Maciej Koutny	[88] [114] [117] [126]
24	Shankara Narayanan Krishna	[89] [115] [127] [129]
25	Akash Kumar	[18]
26	Dorel Lucanu	[25] [26] [27] [28] [35] [36] [40] [50] [51] [55] [64] [68] [96]
27	Janardan Misra	[32]
28	Gabriel Moruz	[17]
29	Viorel Negru	[44]
30	Emanuel Florentin Olariu	[5] [7]
31	Linqiang Pan	[63]
32	Marcin Paprzycki	[44]
33	Dorin Paraschiv	[16]
34	Gheorghe Paun	[8] [33] [48] [62] [63]
35	Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez)	[48] [62] [63]
36	Dana Petcu	[39] [44]
37	G. Michele Pinna	[133]
38	Cristian Prisacariu	[49] [66]
39	Andreas Resios	[74] [91] [99]
40	Mihai Rotaru	[2] [6] [9] [12] [13] [22]
41	Grzegorz Rozenberg	[31]
42	Sergiu Rudeanu	[65] [97]
43	Danut Rusu	[38] [43] [60] [76]
44	K. N. Sridhar	[30] [41]
45	Gheorghe Stefanescu	[33]
46	Kenji Taguchi	[29]
47	Bogdan Tanasa	[15] [17]
48	Eneia Todoran (Eneia Nicolae Todoran)	[101] [109] [123]
49	Guo Wenyuan	[20]
50	Daniela Zaharie	[44] [53]
51	Vladimir A. Zakharov	[61]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page