Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gabriel Ciobanu
2010 – today
- 2013
[j53]Gabriel Ciobanu: General patterns of interaction in stochastic fusion. Natural Computing 12(3): 429-439 (2013)- [c87]Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna: Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. ICDCIT 2013: 432-443
- [c86]
- [c85]
- [c84]
- [c83]Bogdan Aman, Gabriel Ciobanu: Real-Time Migration Properties of rTiMo Verified in Uppaal. SEFM 2013: 31-45
- [c82]Bogdan Aman, Gabriel Ciobanu: Computational Power of Protein Interaction Networks. UCNC 2013: 248-249
- [i3]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone: Local Type Checking for Linked Data Consumers. CoRR abs/1308.0389 (2013)
- 2012
- [j52]Gabriel Ciobanu, Calin Juravle: Flexible software architecture and language for mobile agents. Concurrency and Computation: Practice and Experience 24(6): 559-571 (2012)
- [j51]Bogdan Aman, Gabriel Ciobanu: Properties of enhanced mobile membranes via coloured Petri nets. Inf. Process. Lett. 112(6): 243-248 (2012)
- [j50]Gabriel Ciobanu, Maciej Koutny: Modelling and analysis of biological systems: - Based on papers presented at the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena). Theor. Comput. Sci. 431: 2-3 (2012)
- [c81]Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu: On the Computability Power of Membrane Systems with Controlled Mobility. CiE 2012: 626-635
- [c80]Bogdan Aman, Gabriel Ciobanu: Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. COORDINATION 2012: 122-136
- [c79]Bogdan Aman, Gabriel Ciobanu, Maciej Koutny: Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE 2012: 52-66
- [c78]
- [c77]Bogdan Aman, Gabriel Ciobanu: Mobile Membranes with Objects on Surface as Colored Petri Nets. Int. Conf. on Membrane Computing 2012: 128-144
- [c76]Roberto Pagliarini, Oana Agrigoroaiei, Gabriel Ciobanu, Vincenzo Manca: An Analysis of Correlative and Static Causality in P Systems. Int. Conf. on Membrane Computing 2012: 323-341
- [c75]Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles: A Timed Mobility Semantics Based on Rewriting Strategies. SEFM 2012: 141-155
- [c74]Gabriel Ciobanu, Eneia Nicolae Todoran: Relating Two Metric Semantics for Parallel Rewriting of Multisets. SYNASC 2012: 273-280
- [c73]
- [c72]
- [c71]
- [e7]
- 2011
- [b1]Bogdan Aman, Gabriel Ciobanu: Mobility in Process Calculi and Natural Computing. Natural Computing Series, Springer 2011, ISBN 978-3-642-24866-5, pp. 1-194
- [j49]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)
- [j48]Oana Agrigoroaiei, Bogdan Aman, Gabriel Ciobanu: Semantics, Causality and Mobility in Membrane Computing. ERCIM News 2011(85): 22 (2011)
- [j47]Gabriel Ciobanu, Maciej Koutny: Timed Mobility in process algebra and Petri nets. J. Log. Algebr. Program. 80(7): 377-391 (2011)
- [j46]Gabriel Ciobanu, Shankara Narayanan Krishna: Enhanced Mobile Membranes: Computability Results. Theory Comput. Syst. 48(3): 715-729 (2011)
- [j45]Bogdan Aman, Gabriel Ciobanu: Mutual mobile membranes with objects on surface. Natural Computing 10(2): 777-793 (2011)
- [c70]Bogdan Aman, Gabriel Ciobanu: A Temporal Logic for Mutual Mobile Membranes with Objects on Surface. Computation, Cooperation, and Life 2011: 138-150
- [c69]Shankara Narayanan Krishna, Gabriel Ciobanu: Computability Power of Mobility in Enhanced Mobile Membranes. CiE 2011: 160-170
- [c68]Shankara Narayanan Krishna, Gabriel Ciobanu: A S2P ÈP2P\Sigma_2^P \cup \Pi_2^P Lower Bound Using Mobile Membranes. DCFS 2011: 275-288
- [c67]Gabriel Ciobanu, Maciej Koutny: Timed Migration and Interaction with Access Permissions. FM 2011: 293-307
- [c66]Oana Agrigoroaiei, Gabriel Ciobanu: Quantitative Causality in Membrane Systems. Int. Conf. on Membrane Computing 2011: 62-72
- [c65]Gabriel Ciobanu, Eneia Nicolae Todoran: Metric Denotational Semantics for Parallel Rewriting of Multisets. SYNASC 2011: 276-283
- [c64]
- [c63]
- [i2]Gabriel Ciobanu: Biologically Inspired Process Calculi, Petri Nets and Membrane Computing. CoRR abs/1108.3418 (2011)
- [i1]Gabriel Ciobanu: Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011). CoRR abs/1108.3558 (2011)
- 2010
- [j44]Oana Agrigoroaiei, Gabriel Ciobanu: Reversing computation in membrane systems. J. Log. Algebr. Program. 79(3-5): 278-288 (2010)
- [j43]Oana Agrigoroaiei, Gabriel Ciobanu: Rule-based and object-based event structures for membrane systems. J. Log. Algebr. Program. 79(6): 295-303 (2010)
- [j42]Bogdan Aman, Gabriel Ciobanu: Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. Scholarpedia 5(7): 9420 (2010)
- [c62]Gabriel Ciobanu, Calin Juravle: Mobile Agents with Timers, and Their Implementation. IDC 2010: 229-239
- [c61]
- [c60]Gabriel Ciobanu: Mobility in Computer Science and in Membrane Systems. Int. Conf. on Membrane Computing 2010: 7-17
- [c59]Oana Agrigoroaiei, Gabriel Ciobanu: Flattening the Transition P Systems with Dissolution. Int. Conf. on Membrane Computing 2010: 53-64
- [c58]Gabriel Ciobanu, Eneia Nicolae Todoran: Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. SYNASC 2010: 387-391
- [c57]Bogdan Aman, Gabriel Ciobanu: Formalizing the Behavior of Biological Processes with Mobility. UC 2010: 187
- [e6]Gabriel Ciobanu, Maciej Koutny (Eds.): Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010. EPTCS 40, 2010
2000 – 2009
- 2009
- [j41]Gabriel Ciobanu, Sergiu Rudeanu: Final and sequential behaviours of M-automata. Acta Inf. 46(5): 361-374 (2009)
- [j40]Gabriel Ciobanu, Dorel Lucanu: Model-based Testing and Analysis of Coordinated Components. ECEASST 20 (2009)
- [j39]Hugh Anderson, Gabriel Ciobanu: Markov Abstractions for Probabilistic Pi-Calculus. ECEASST 22 (2009)
- [j38]
- [j37]Oana Agrigoroaiei, Gabriel Ciobanu: Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. Electr. Notes Theor. Comput. Sci. 238(3): 5-22 (2009)
- [j36]Gabriel Ciobanu, Viorel Mihai Gontineac: Encodings of Multisets. Int. J. Found. Comput. Sci. 20(3): 381-393 (2009)
- [j35]Gabriel Ciobanu, Andreas Resios: Complexity of evolution in maximum cooperative P systems. Natural Computing 8(4): 807-816 (2009)
- [j34]Bogdan Aman, Gabriel Ciobanu: Simple, Enhanced and Mutual Mobile Membranes. T. Comp. Sys. Biology 11: 26-44 (2009)
- [c56]Gabriel Ciobanu, Calin Juravle: A Software Platform for Timed Mobility and Timed Interaction. FMOODS/FORTE 2009: 106-121
- [c55]Oana Agrigoroaiei, Gabriel Ciobanu, Andreas Resios: Evolving by Maximizing the Number of Rules: Complexity Study. Workshop on Membrane Computing 2009: 149-157
- [c54]
- [c53]Gabriel Ciobanu, Eneia Nicolae Todoran: A Methodology for Concurrent Languages Development Based on Denotational Semantics. SYNASC 2009: 290-298
- [c52]
- [c51]
- [e5]
- 2008
- [j33]Gabriel Ciobanu, Bogdan Aman: On the relationship between membranes and ambients. Biosystems 91(3): 515-530 (2008)
- [j32]Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu: Information Theory over Multisets. Computing and Informatics 27(3+): 441-451 (2008)
- [j31]Bogdan Aman, Gabriel Ciobanu: Describing the Immune System Using Enhanced Mobile Membranes. Electr. Notes Theor. Comput. Sci. 194(3): 5-18 (2008)
- [j30]Gabriel Ciobanu, Danut Rusu: Supermetrics over Apartness Lattice-Ordered Semigroup. Electr. Notes Theor. Comput. Sci. 202: 191-200 (2008)
- [j29]Gabriel Ciobanu: Interaction in Time and Space. Electr. Notes Theor. Comput. Sci. 203(3): 5-18 (2008)
- [j28]Gabriel Ciobanu, Andreas Resios: Computational Complexity of Simple P Systems. Fundam. Inform. 87(1): 49-59 (2008)
- [c50]Shankara Narayanan Krishna, Gabriel Ciobanu: On the Computational Power of Enhanced Mobile Membranes. CiE 2008: 326-335
- [c49]Gabriel Ciobanu, Maciej Koutny: Modelling and Verification of Timed Interaction and Migration. FASE 2008: 215-229
- [c48]
- [c47]Oana Agrigoroaiei, Gabriel Ciobanu: Non-interleaving Semantics with Causality for Nondeterministic Dataflow. ICTAC 2008: 66-80
- [c46]
- [c45]Bogdan Aman, Gabriel Ciobanu: Resource Competition and Synchronization in Membranes. SYNASC 2008: 145-151
- [c44]Cosmin Bonchis, Gabriel Ciobanu, Graiela Ghergu, Cornel Izbasa: Data Compression on Multisets. Submultiset-Free Codes. SYNASC 2008: 152-157
- [c43]
- [c42]
- [p2]Gabriel Ciobanu: Behaviour Equivalences in Timed Distributed pi-Calculus. Software-Intensive Systems and New Computing Paradigms 2008: 190-208
- 2007
- [j27]Bogdan Aman, Gabriel Ciobanu: Translating Mobile Ambients into P Systems. Electr. Notes Theor. Comput. Sci. 171(2): 11-23 (2007)
- [j26]Gabriel Ciobanu, Cristian Prisacariu: Coordination by Timers for Channel-Based Anonymous Communications. Electr. Notes Theor. Comput. Sci. 175(2): 3-17 (2007)
- [j25]Gabriel Ciobanu, Sergiu Rudeanu: Equivalent Transformations of Automata by Using Behavioural Automata. J. UCS 13(11): 1540-1549 (2007)
- [j24]Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: A rewriting logic framework for operational semantics of membrane systems. Theor. Comput. Sci. 373(3): 163-181 (2007)
- [j23]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)
- [c41]
- [c40]
- [c39]
- [c38]Bogdan Aman, Gabriel Ciobanu: On the Reachability Problem in P Systems with Mobile Membranes. Workshop on Membrane Computing 2007: 113-123
- [c37]Gabriel Ciobanu, Dorel Lucanu: Events, Causality, and Concurrency in Membrane Systems. Workshop on Membrane Computing 2007: 209-227
- [c36]Bogdan Aman, Gabriel Ciobanu: Structural Properties and Observability in Membrane Systems. SYNASC 2007: 74-81
- 2006
- [j22]
- [j21]Oana Andrei, Dorel Lucanu, Gabriel Ciobanu: Operational Semantics and Rewriting Logic in Membrane Computing. Electr. Notes Theor. Comput. Sci. 156(1): 57-78 (2006)
- [j20]Gabriel Ciobanu, Cristian Prisacariu: Timers for Distributed Systems. Electr. Notes Theor. Comput. Sci. 164(3): 81-99 (2006)
- [j19]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)
- [j18]
- [j17]Gabriel Ciobanu, Viorel Mihai Gontineac: Mealy multiset automata. Int. J. Found. Comput. Sci. 17(1): 111-126 (2006)
- [j16]Gabriel Ciobanu, Dorel Lucanu: A specification language for coordinated objects. ACM SIGSOFT Software Engineering Notes 31(2) (2006)
- [c35]Gabriel Ciobanu, Vladimir A. Zakharov: Encoding Mobile Ambients into the pi -Calculus. Ershov Memorial Conference 2006: 148-165
- [c34]
- [c33]
- [c32]Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: Expressing Control Mechanisms of Membranes by Rewriting Strategies. Workshop on Membrane Computing 2006: 154-169
- [c31]Gabriel Ciobanu, Viorel Mihai Gontineac: P Machines: An Automata Approach to Membrane Computing. Workshop on Membrane Computing 2006: 314-329
- [c30]Daniela Zaharie, Gabriel Ciobanu: Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems. Workshop on Membrane Computing 2006: 536-553
- [c29]Gabriel Ciobanu: Collaborative Agents Interaction Using Message Passing Interface. SYNASC 2006: 244-250
- [c28]Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu: Number Encodings and Arithmetics over Multisets. SYNASC 2006: 354-364
- [c27]Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa: Encodings and Arithmetic Operations in Membrane Computing. TAMC 2006: 621-630
- [p1]Gabriel Ciobanu: Modeling Cell-Mediated Immunity by Means of P Systems. Applications of Membrane Computing 2006: 159-180
- [e4]Gabriel Ciobanu, Mario J. Pérez-Jiménez, Gheorghe Paun (Eds.): Applications of Membrane Computing. Natural Computing Series, Springer 2006, ISBN 978-3-540-25017-3
- 2005
- [j15]Gabriel Ciobanu, Janardan Misra: Performance Analysis and Name Passing Errors in Probabilistic Fusion. Sci. Ann. Cuza Univ. 15: 57-76 (2005)
- [j14]Gabriel Ciobanu, Dorel Lucanu: Communicating Concurrent Objects in HiddenCCS. Electr. Notes Theor. Comput. Sci. 117: 353-373 (2005)
- [j13]Gabriel Ciobanu, Viorel Mihai Gontineac: An Automata Description of the Genetic Message Translation. Fundam. Inform. 64(1-4): 93-107 (2005)
- [j12]Gabriel Ciobanu, Gheorghe Paun, Gheorghe Stefanescu: P Transducers. New Generation Comput. 24(1): 1-28 (2005)
- [c26]
- [c25]Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: Structural Operational Semantics of P Systems. Workshop on Membrane Computing 2005: 31-48
- [c24]Gabriel Ciobanu, Viorel Mihai Gontineac: Algebraic and Coalgebraic Aspects of Membrane Computing. Workshop on Membrane Computing 2005: 181-198
- [c23]
- [c22]Gabriel Ciobanu, K. N. Sridhar: Specifications and Verification of Network Protocols by Process Algebra. SYNASC 2005: 250-258
- [c21]Mihai Danes, Dorel Lucanu, Gabriel Ciobanu: Specification of Coordinated Objects and Verification of Their Temporal Properties. SYNASC 2005: 259-266
- [c20]Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu: A Web-Based P Systems Simulator and Its Parallelization. UC 2005: 58-69
- [c19]Gabriel Ciobanu, Danut Rusu: Topological spaces of the web. WWW (Special interest tracks and posters) 2005: 1112-1113
- [e3]Daniela Zaharie, Dana Petcu, Viorel Negru, Tudor Jebelean, Gabriel Ciobanu, Alexandru Cicortas, Ajith Abraham, Marcin Paprzycki (Eds.): Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania. IEEE Computer Society 2005, ISBN 0-7695-2453-2
- 2004
- [c18]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
- [c17]Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu: Relating pi-calculus to Object-Z. ICECCS 2004: 97-106
- [c16]Gabriel Ciobanu, Dorel Lucanu: Specification and Verification of Synchronizing Concurrent Objects. IFM 2004: 307-327
- [c15]Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: Executable Specifications of P Systems. Workshop on Membrane Computing 2004: 126-145
- [c14]Daniela Besozzi, Gabriel Ciobanu: A P System Description of the Sodium-Potassium Pump. Workshop on Membrane Computing 2004: 210-223
- [c13]
- [c12]Dorel Lucanu, Gabriel Ciobanu: Model Checking for Object Specifications in Hidden Algebra. VMCAI 2004: 97-109
- [e2]Gabriel Ciobanu, Grzegorz Rozenberg (Eds.): Modelling in Molecular Biology. Natural Computing Series, Springer 2004, ISBN 3-540-40799-5
- 2003
- [c11]Gabriel Ciobanu, Dorin Huzum: Discrete Event Systems and Client-Server Model for Signaling Mechanisms. CMSB 2003: 175-177
- [c10]Gabriel Ciobanu, Guo Wenyuan: P Systems Running on a Cluster of Computers. Workshop on Membrane Computing 2003: 123-139
- [c9]Gabriel Ciobanu, Mihai Rotaru: A Formalism for Distributed Systems with an Accurate Graphical Representation. SNPD 2003: 196-202
- [c8]
- 2002
- [j11]Sinica Alboaie, Gabriel Ciobanu: Designing and Developing Multi-Agent Systems. Sci. Ann. Cuza Univ. 11: 142-153 (2002)
- [j10]Gabriel Ciobanu, Dorin Paraschiv: P System Software Simulator. Fundam. Inform. 49(1-3): 61-66 (2002)
- [j9]Gabriel Ciobanu, Bogdan Tanasa: Gene Expression by Software Mechanisms. Fundam. Inform. 49(1-3): 67-80 (2002)
- [j8]
- [c7]Sabin C. Buraga, Gabriel Ciobanu: A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites. WISE 2002: 355-361
- [c6]Gabriel Ciobanu, Rahul Desai, Akash Kumar: Membrane Systems and Distributed Computing. WMC-CdeA 2002: 187-202
- [c5]Gabriel Ciobanu, Daniel Dumitriu, Dorin Huzum, Gabriel Moruz, Bogdan Tanasa: Client-Server P Systems in Modeling Molecular Interaction. WMC-CdeA 2002: 203-218
- 2001
- [c4]Gabriel Ciobanu: Molecular structures. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 299-317
- [c3]
- 2000
- [j7]
- [c2]Gabriel Ciobanu: On a Formal Description of the Molecular Processes. Recent Topics in Mathematical and Computational Linguistics 2000: 82-96
1990 – 1999
- 1999
- [c1]Gabriel Ciobanu, Emanuel Florentin Olariu: Abstract Structures for Communication between Processes. Ershov Memorial Conference 1999: 221-227
- [e1]Gabriel Ciobanu, Gheorghe Paun (Eds.): Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings. Lecture Notes in Computer Science 1684, Springer 1999, ISBN 3-540-66412-2
- 1998
- [j6]Gabriel Ciobanu, Emanuel Florentin Olariu: Interaction Structures for Communicating Processes. Sci. Ann. Cuza Univ. 8: 36-43 (1998)
- [j5]Gabriel Ciobanu, Mihai Rotaru: Faithful pi-nets - A graphical representation of the asynchronous pi-calculus . Electr. Notes Theor. Comput. Sci. 18: 24-45 (1998)
- 1996
- [j4]
- 1995
- [j3]
- [j2]Mihai Rotaru, Gabriel Ciobanu: On the "rep" construction into pi-nets. Sci. Ann. Cuza Univ. 4: 73-84 (1995)
- 1992
- [j1]Gabriel Ciobanu: A Model for a lambda-calculus Extended for Dataflow Computation. Sci. Ann. Cuza Univ. 1: 57-68 (1992)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:07 CEST by the dblp team