dblp.uni-trier.dewww.uni-trier.de

Gabriel Ciobanu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
89EEGabriel Ciobanu, Calin Juravle: A Software Platform for Timed Mobility and Timed Interaction. FMOODS/FORTE 2009: 106-121
88EEBogdan Aman, Gabriel Ciobanu: Turing Completeness Using Three Mobile Membranes. UC 2009: 42-55
87EEGabriel Ciobanu, Sergiu Rudeanu: Final and sequential behaviours of M-automata. Acta Inf. 46(5): 361-374 (2009)
86EEBogdan Aman, Gabriel Ciobanu: Mutual Mobile Membranes with Timers CoRR abs/0910.1217: (2009)
85EEGabriel Ciobanu: Preface. Electr. Notes Theor. Comput. Sci. 227: 1-2 (2009)
84EEOana Agrigoroaiei, Gabriel Ciobanu: Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. Electr. Notes Theor. Comput. Sci. 238(3): 5-22 (2009)
83EEGabriel Ciobanu, Viorel Mihai Gontineac: Encodings of Multisets. Int. J. Found. Comput. Sci. 20(3): 381-393 (2009)
82EEBogdan Aman, Gabriel Ciobanu: Simple, Enhanced and Mutual Mobile Membranes. T. Comp. Sys. Biology 11: 26-44 (2009)
2008
81EEShankara Narayanan Krishna, Gabriel Ciobanu: On the Computational Power of Enhanced Mobile Membranes. CiE 2008: 326-335
80EEGabriel Ciobanu, Maciej Koutny: Modelling and Verification of Timed Interaction and Migration. FASE 2008: 215-229
79EEBogdan Aman, Gabriel Ciobanu: Timed Mobile Ambients for Network Protocols. FORTE 2008: 234-250
78EEOana Agrigoroaiei, Gabriel Ciobanu: Non-interleaving Semantics with Causality for Nondeterministic Dataflow. ICTAC 2008: 66-80
77EEGabriel Ciobanu: From Gene Regulation to Stochastic Fusion. UC 2008: 51-63
76EEOana Agrigoroaiei, Gabriel Ciobanu: Dual P Systems. Workshop on Membrane Computing 2008: 95-107
75EEGabriel Ciobanu: Behaviour Equivalences in Timed Distributed pi-Calculus. Software-Intensive Systems and New Computing Paradigms 2008: 190-208
74EEBogdan Aman, Gabriel Ciobanu: Describing the Immune System Using Enhanced Mobile Membranes. Electr. Notes Theor. Comput. Sci. 194(3): 5-18 (2008)
73EEGabriel Ciobanu, Danut Rusu: Supermetrics over Apartness Lattice-Ordered Semigroup. Electr. Notes Theor. Comput. Sci. 202: 191-200 (2008)
72EEGabriel Ciobanu: Interaction in Time and Space. Electr. Notes Theor. Comput. Sci. 203(3): 5-18 (2008)
71EEGabriel Ciobanu, Andreas Resios: Computational Complexity of Simple P Systems. Fundam. Inform. 87(1): 49-59 (2008)
2007
70EEBogdan Aman, Gabriel Ciobanu: Timers and Proximities for Mobile Ambients. CSR 2007: 33-43
69EEBogdan Aman, Gabriel Ciobanu: Mobile Ambients with Timers and Types. ICTAC 2007: 50-63
68EEBogdan Aman, Gabriel Ciobanu: Structural Properties and Observability in Membrane Systems. SYNASC 2007: 74-81
67EEBogdan Aman, Gabriel Ciobanu: On the Reachability Problem in P Systems with Mobile Membranes. Workshop on Membrane Computing 2007: 113-123
66EEGabriel Ciobanu, Dorel Lucanu: Events, Causality, and Concurrency in Membrane Systems. Workshop on Membrane Computing 2007: 209-227
65EEBogdan Aman, Gabriel Ciobanu: Translating Mobile Ambients into P Systems. Electr. Notes Theor. Comput. Sci. 171(2): 11-23 (2007)
64EEGabriel Ciobanu, Cristian Prisacariu: Coordination by Timers for Channel-Based Anonymous Communications. Electr. Notes Theor. Comput. Sci. 175(2): 3-17 (2007)
63EEGabriel Ciobanu, Sergiu Rudeanu: Equivalent Transformations of Automata by Using Behavioural Automata. J. UCS 13(11): 1540-1549 (2007)
62EEOana Andrei, Gabriel Ciobanu, Dorel Lucanu: A rewriting logic framework for operational semantics of membrane systems. Theor. Comput. Sci. 373(3): 163-181 (2007)
61EEGabriel 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
59EEGabriel Ciobanu, Vladimir A. Zakharov: Encoding Mobile Ambients into the pi -Calculus. Ershov Memorial Conference 2006: 148-165
58EEGabriel Ciobanu, Danut Rusu: A Topological Approach of the Web Classification. ICTAC 2006: 80-92
57EEGabriel Ciobanu: Coordination and Self-Organization in MultiAgent Systems. ISDA (1) 2006
56EEGabriel Ciobanu: Collaborative Agents Interaction Using Message Passing Interface. SYNASC 2006: 244-250
55EECosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu: Number Encodings and Arithmetics over Multisets. SYNASC 2006: 354-364
54EECosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa: Encodings and Arithmetic Operations in Membrane Computing. TAMC 2006: 621-630
53EEOana Andrei, Gabriel Ciobanu, Dorel Lucanu: Expressing Control Mechanisms of Membranes by Rewriting Strategies. Workshop on Membrane Computing 2006: 154-169
52EEGabriel Ciobanu, Viorel Mihai Gontineac: P Machines: An Automata Approach to Membrane Computing. Workshop on Membrane Computing 2006: 314-329
51EEDaniela Zaharie, Gabriel Ciobanu: Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems. Workshop on Membrane Computing 2006: 536-553
50EEGabriel Ciobanu: Modeling Cell-Mediated Immunity by Means of P Systems. Applications of Membrane Computing 2006: 159-180
49EEGabriel Ciobanu, Dorel Lucanu: A specification language for coordinated objects. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
48EEOana Andrei, Dorel Lucanu, Gabriel Ciobanu: Operational Semantics and Rewriting Logic in Membrane Computing. Electr. Notes Theor. Comput. Sci. 156(1): 57-78 (2006)
47EEGabriel Ciobanu, Cristian Prisacariu: Timers for Distributed Systems. Electr. Notes Theor. Comput. Sci. 164(3): 81-99 (2006)
46EEGabriel Ciobanu, Gheorghe Paun, Mario J. Pérez-Jiménez: On the Branching Complexity of P Systems. Fundam. Inform. 73(1-2): 27-36 (2006)
45EEGabriel Ciobanu: Theory and applications of P systems. Int. J. Comput. Math. 83(7): 525-527 (2006)
44EEGabriel 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
42EEGabriel Ciobanu, Danut Rusu: Self-organizing Distribution of Agents over Hosts. ISCIS 2005: 462-471
41EEGabriel Ciobanu: Theory and Practice of Programming Applied to Membrane Systems. SYNASC 2005: 19-25
40EEGabriel Ciobanu, K. N. Sridhar: Specifications and Verification of Network Protocols by Process Algebra. SYNASC 2005: 250-258
39EEMihai Danes, Dorel Lucanu, Gabriel Ciobanu: Specification of Coordinated Objects and Verification of Their Temporal Properties. SYNASC 2005: 259-266
38EECosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu: A Web-Based P Systems Simulator and Its Parallelization. UC 2005: 58-69
37EEGabriel Ciobanu, Danut Rusu: Topological spaces of the web. WWW (Special interest tracks and posters) 2005: 1112-1113
36EEGabriel Ciobanu, Viorel Mihai Gontineac: Algebraic and Coalgebraic Aspects of Membrane Computing. Workshop on Membrane Computing 2005: 181-198
35EEOana Andrei, Gabriel Ciobanu, Dorel Lucanu: Structural Operational Semantics of P Systems. Workshop on Membrane Computing 2005: 31-48
34EEGabriel Ciobanu, Dorel Lucanu: Communicating Concurrent Objects in HiddenCCS. Electr. Notes Theor. Comput. Sci. 117: 353-373 (2005)
33EEGabriel Ciobanu, Viorel Mihai Gontineac: An Automata Description of the Genetic Message Translation. Fundam. Inform. 64(1-4): 93-107 (2005)
32EEGabriel 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
29EEK. 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
28EEKenji Taguchi, Jin Song Dong, Gabriel Ciobanu: Relating pi-calculus to Object-Z. ICECCS 2004: 97-106
27EEGabriel Ciobanu, Dorel Lucanu: Specification and Verification of Synchronizing Concurrent Objects. IFM 2004: 307-327
26EEGabriel Ciobanu, Dorel Lucanu: Cellular Meta-programming over Membranes. UPP 2004: 196-206
25EEDorel Lucanu, Gabriel Ciobanu: Model Checking for Object Specifications in Hidden Algebra. VMCAI 2004: 97-109
24EEOana Andrei, Gabriel Ciobanu, Dorel Lucanu: Executable Specifications of P Systems. Workshop on Membrane Computing 2004: 126-145
23EEDaniela Besozzi, Gabriel Ciobanu: A P System Description of the Sodium-Potassium Pump. Workshop on Membrane Computing 2004: 210-223
2003
22EEGabriel 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
20EEGabriel Ciobanu, Daniel Dumitriu: Space and Time over the Web. WWW (Posters) 2003
19EEGabriel Ciobanu, Guo Wenyuan: P Systems Running on a Cluster of Computers. Workshop on Membrane Computing 2003: 123-139
2002
18EESabin C. Buraga, Gabriel Ciobanu: A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites. WISE 2002: 355-361
17EEGabriel Ciobanu, Rahul Desai, Akash Kumar: Membrane Systems and Distributed Computing. WMC-CdeA 2002: 187-202
16EEGabriel 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
11EEGabriel 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
9EEGabriel 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
7EEGabriel Ciobanu, Emanuel Florentin Olariu: Abstract Structures for Communication between Processes. Ershov Memorial Conference 1999: 221-227
1998
6EEGabriel 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
4EEGabriel 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

1Oana Agrigoroaiei [76] [78] [84]
2Sinica Alboaie [13]
3Bogdan Aman [65] [67] [68] [69] [70] [74] [79] [82] [86] [88]
4Oana Andrei [24] [35] [48] [53] [62]
5Daniela Besozzi [23]
6Cosmin Bonchis [38] [54] [55]
7Sabin C. Buraga [18]
8Mihai Danes [39]
9Rahul Desai [17]
10Jin Song Dong [28]
11Daniel Dumitriu [16] [20]
12Viorel Mihai Gontineac [33] [36] [44] [52] [83]
13Dorin Huzum [16] [22]
14Cornel Izbasa [38] [54] [55]
15Calin Juravle [89]
16Maciej Koutny [80]
17Shankara Narayanan Krishna [81]
18Akash Kumar [17]
19Dorel Lucanu [24] [25] [26] [27] [34] [35] [39] [48] [49] [53] [62] [66]
20Janardan Misra [31]
21Gabriel Moruz [16]
22Emanuel Florentin Olariu [5] [7]
23Linqiang Pan [61]
24Dorin Paraschiv [15]
25Gheorghe Paun [8] [32] [46] [60] [61]
26Mario J. Pérez-Jiménez [46] [60] [61]
27Dana Petcu [38]
28Cristian Prisacariu [47] [64]
29Andreas Resios [71]
30Mihai Rotaru [2] [6] [9] [11] [12] [21]
31Grzegorz Rozenberg [30]
32Sergiu Rudeanu [63] [87]
33Danut Rusu [37] [42] [58] [73]
34K. N. Sridhar [29] [40]
35Gheorghe Stefanescu [32]
36Kenji Taguchi [28]
37Bogdan Tanasa [14] [16]
38Guo Wenyuan [19]
39Daniela Zaharie [51]
40Vladimir A. Zakharov [59]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)