Contact

All Stories

  1. Kinematics of Mechanical Systems by Dynamic Geometry

    Article • Mathematics, November 2022, MDPI AG

    Prof Gabriel Ciobanu

  2. Modelling the Mutually Exclusive Oncogenic Mechanism

    Article • November 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Bogdan Aman, Prof Gabriel Ciobanu

  3. Spiking neural P systems and their semantics in Haskell

    Article • Natural Computing, August 2022, Springer Science + Business Media

    Prof Gabriel Ciobanu

  4. A process calculus for spiking neural P systems

    Article • Information Sciences, August 2022, Elsevier

    Prof Gabriel Ciobanu

  5. Soft Sets with Atoms

    Article • Mathematics, June 2022, MDPI AG

    Prof Gabriel Ciobanu

  6. The power of synchronizing rules in membrane computing

    Article • Information Sciences, May 2022, Elsevier

    Bogdan Aman, Prof Gabriel Ciobanu

  7. Synchronization operator for communication privacy

    Article • April 2022, ACM (Association for Computing Machinery)

    Bogdan Aman, Prof Gabriel Ciobanu

  8. Dynamics of reputation in mobile agents systems and weighted timed automata

    Article • Information and Computation, January 2022, Elsevier

    Bogdan Aman, Prof Gabriel Ciobanu

  9. Interval Probability for Sessions Types

    Article • January 2022, Springer Science + Business Media

    Bogdan Aman, Prof Gabriel Ciobanu

  10. Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems

    Article • Mathematics, November 2021, MDPI AG

    Prof Gabriel Ciobanu, Bogdan Aman

  11. Type inference for hierarchical multiset structures in rule-based systems

    Article • Information Sciences, November 2021, Elsevier

    Bogdan Aman, Prof Gabriel Ciobanu

  12. Finitely Supported Binary Relations between Infinite Atomic Sets

    Article • Symmetry, October 2021, MDPI AG

    Prof Gabriel Ciobanu

  13. Interior Operators Generated by Ideals in Complete Domains

    Article • Mathematics, August 2021, MDPI AG

    Prof Gabriel Ciobanu

  14. Fuzzy Results for Finitely Supported Structures

    Article • Mathematics, July 2021, MDPI AG

    Prof Gabriel Ciobanu

  15. Various forms of infinity for finitely supported structures

    Article • Archive for Mathematical Logic, July 2021, Springer Science + Business Media

    Prof Gabriel Ciobanu

  16. Travelling salesman problem in tissue P systems with costs

    Article • Journal of Membrane Computing, May 2021, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  17. Memory associated with membranes systems

    Article • Journal of Membrane Computing, March 2021, Springer Science + Business Media

    Prof Gabriel Ciobanu

  18. Computation with cells enhanced by costs

    Article • March 2021, ACM (Association for Computing Machinery)

    Prof Gabriel Ciobanu, Bogdan Aman

  19. Spiking Neural P Systems with Astrocytes Producing Calcium

    Article • International Journal of Neural Systems, November 2020, World Scientific Pub Co Pte Lt

    Prof Gabriel Ciobanu, Bogdan Aman

  20. Arithmetic Abilities of the Living Cell Pumps

    Article • October 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  21. Reversible computation in nature inspired rule-based systems

    Article • Journal of Membrane Computing, October 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  22. Mutual exclusion and reversibility in reaction systems

    Article • Journal of Membrane Computing, October 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  23. Local time membrane systems and time Petri nets

    Article • Theoretical Computer Science, January 2020, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  24. Foundations of Finitely Supported Structures

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu

  25. Foundations of Reversible Computation

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  26. Mobile Membranes

    Article • IEEE Access, January 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  27. Reversibility in Chemical Reactions

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  28. Employing Costs in Multiagent Systems with Timed Migration and Timed Communication

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  29. How the Formal Description of the Transmembrane Proteins can Reduce the Bio-Medical Experiments

    Article • November 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  30. A logic featuring new nominal quantifiers designed to provide a semantics for processes

    Article • ACM Transactions on Computational Logic, October 2019, ACM (Association for Computing Machinery)

    Prof Gabriel Ciobanu, Ross Horne, Bogdan Aman

  31. Finitely Supported Sets Containing Infinite Uniformly Supported Subsets

    Article • Electronic Proceedings in Theoretical Computer Science, September 2019, Open Publishing Association

    Prof Gabriel Ciobanu

  32. Probabilities in Session Types

    Article • Electronic Proceedings in Theoretical Computer Science, September 2019, Open Publishing Association

    Prof Gabriel Ciobanu, Bogdan Aman

  33. Fixed point results for finitely supported algebraic structures

    Article • Fuzzy Sets and Systems, September 2019, Elsevier

    Prof Gabriel Ciobanu

  34. Properties of the atoms in finitely supported structures

    Article • Archive for Mathematical Logic, July 2019, Springer Science + Business Media

    Prof Gabriel Ciobanu

  35. Adaptive P Systems

    Article • January 2019, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  36. A Semantic Investigation of Spiking Neural P Systems

    Article • January 2019, Springer Science + Business Media

    Prof Gabriel Ciobanu

  37. Verification of Multi-agent Systems with Timeouts for Migration and Communication

    Article • January 2019, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  38. High-Level Koutny Net

    Article • Scientific Annals of Computer Science, September 2018, Scientific Annals of Computer Science

    Prof Gabriel Ciobanu

  39. Bonding calculus

    Article • Natural Computing, September 2018, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  40. Analyzing the Shared Information in Social Networks

    Article • September 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  41. A note on similarity relations between fuzzy attribute-oriented concept lattices

    Article • Information Sciences, September 2018, Elsevier

    Prof Gabriel Ciobanu

  42. Order Relations Over Finitely Supported Structures

    Article • September 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  43. On the Abstractness of Continuation Semantics

    Article • September 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  44. Solving the N-Queens Puzzle by Using Few Membranes

    Article • January 2018, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  45. Controlled Reversibility in Reaction Systems

    Article • December 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  46. Denotational semantics of membrane systems by using complete metric spaces

    Article • Theoretical Computer Science, November 2017, Elsevier

    Prof Gabriel Ciobanu

  47. Fuzzy sets within Finitely Supported Mathematics

    Article • Fuzzy Sets and Systems, September 2017, Elsevier

    Prof Gabriel Ciobanu

  48. Abstract Continuation Semantics for Asynchronous Concurrency

    Article • September 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  49. An efficient method to factorize fuzzy attribute-oriented concept lattices

    Article • Fuzzy Sets and Systems, June 2017, Elsevier

    Prof Gabriel Ciobanu

  50. Computational Power of Protein Networks

    Article • January 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  51. Continuation Passing Semantics for Membrane Systems

    Article • January 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu

  52. Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude

    Article • January 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  53. A universality theorem for the sequential behaviour of minimal $F$-automata

    Article • Publicationes Mathematicae Debrecen, January 2017, University of Debrecen/ Debreceni Egyetem

    Prof Gabriel Ciobanu

  54. Verification of distributed systems involving bounded-time migration

    Article • International Journal of Critical Computer-Based Systems, January 2017, Inderscience Publishers

    Prof Gabriel Ciobanu, Bogdan Aman

  55. Verification of distributed systems involving bounded-time migration

    Article • International Journal of Critical Computer-Based Systems, January 2017, Inderscience Publishers

    Prof Gabriel Ciobanu

  56. Verification of critical systems described in real-time TiMo 

    Article • International Journal on Software Tools for Technology Transfer, November 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  57. Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions

    Article • September 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  58. Essential and density topologies of continuous domains

    Article • Annals of Pure and Applied Logic, September 2016, Elsevier

    Prof Gabriel Ciobanu

  59. Simulating P systems with membrane dissolution in a chemical calculus

    Article • Natural Computing, July 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  60. Modelling and verification of weighted spiking neural systems

    Article • Theoretical Computer Science, April 2016, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  61. Efficiently solving the Bin Packing problem through bio-inspired mobility

    Article • Acta Informatica, March 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  62. Abstract Interpretations in the Framework of Invariant Sets

    Article • Fundamenta Informaticae, March 2016, IOS Press

    Prof Gabriel Ciobanu

  63. A descriptive type foundation for RDF Schema

    Article • Journal of Logical and Algebraic Methods in Programming, March 2016, Elsevier

    Prof Gabriel Ciobanu

  64. Verifying vehicle control systems by using process calculi

    Article • International Journal of Ad Hoc and Ubiquitous Computing, January 2016, Inderscience Publishers

    Prof Gabriel Ciobanu

  65. Main Steps in Defining Finitely Supported Mathematics

    Article • January 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu

  66. Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model

    Article • January 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  67. Behavioural Analysis of Sessions Using the Calculus of Structures

    Article • January 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu

  68. Finitely Supported Mathematics

    Article • January 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu

  69. Extended Fraenkel-Mostowski Set Theory

    Article • January 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu

  70. Fraenkel-Mostowski Set Theory: A Framework for Finitely Supported Mathematics

    Article • January 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu

  71. Algebraic Structures in Finitely Supported Mathematics

    Article • January 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu

  72. Process Calculi in Finitely Supported Mathematics

    Article • January 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu

  73. Scalable distributed implementation of a biologically inspired parallel model

    Article • Complex & Intelligent Systems, December 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu

  74. Behavioural observations of cell movements with timing aspects

    Article • Nano Communication Networks, September 2015, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  75. Static Analysis in Finitely Supported Mathematics

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  76. Continuation Semantics for Dynamic Hierarchical Systems

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  77. Verification of membrane systems with delays via Petri nets with delays

    Article • Theoretical Computer Science, September 2015, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  78. Similarity relations in fuzzy attribute-oriented concept lattices

    Article • Fuzzy Sets and Systems, September 2015, Elsevier

    Prof Gabriel Ciobanu

  79. Correct metric semantics for a language inspired by DNA computing

    Article • Concurrency and Computation Practice and Experience, July 2015, Wiley

    Prof Gabriel Ciobanu

  80. Minimal type inference for Linked Data consumers

    Article • Journal of Logical and Algebraic Methods in Programming, July 2015, Elsevier

    Prof Gabriel Ciobanu

  81. Permutative Renamings in the Extended Fraenkel-Mostowski Set Theory

    Article • Annals of the Alexandru Ioan Cuza University - Mathematics, January 2015, De Gruyter

    Prof Gabriel Ciobanu

  82. Computational Power of Chemical Kinetics in Living Cells

    Article • January 2015, Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (ICST)

    Prof Gabriel Ciobanu

  83. Timed Mobility and Timed Communication for Critical Systems

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  84. Automated Verification of Stochastic Spiking Neural P Systems

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  85. Descriptive Types for Linked Data Resources

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu

  86. Continuation Semantics for Concurrency with Multiple Channels Communication

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu

  87. Phase-Type Approximations for Non-Markovian Systems: A Case Study

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu

  88. Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes

    Article • January 2015, Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (ICST)

    Prof Gabriel Ciobanu

  89. Visible and Invisible Structures in Renaissance Paintings

    Article • Materials Today Proceedings, January 2015, Elsevier

    Dr Cristian Ungureanu, Prof Gabriel Ciobanu

  90. Mobility Types for Cloud Computing

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  91. Strategy based semantics for mobility with time and access permissions

    Article • Formal Aspects of Computing, December 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu

  92. Catalytic and communicating Petri nets are Turing complete

    Article • Information and Computation, December 2014, Elsevier

    Prof Gabriel Ciobanu

  93. Correct Metric Semantics for a Biologically-Inspired Formalism

    Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  94. Expressing BBUFs Lookup Using the π-Calculus

    Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  95. From TiMo to Event-B: Event-Driven Timed Mobility

    Article • August 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  96. PerTiMo: A Model of Spatial Migration with Safe Access Permissions

    Article • The Computer Journal, February 2014, Oxford University Press (OUP)

    Prof Gabriel Ciobanu

  97. A Topological Approach in the Extended Fraenkel-Mostowski Model of Set Theory

    Article • Annals of the Alexandru Ioan Cuza University - Mathematics, January 2014, De Gruyter

    Prof Gabriel Ciobanu

  98. Theoretical Aspects of Computing – ICTAC 2014

    Article • January 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu

  99. Theoretical Aspects of Computing

    Article • Scientific Annals of Computer Science, January 2014, Scientific Annals of Computer Science

    Prof Gabriel Ciobanu

  100. A Formal Topology of Web Classification

    Article • January 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu

  101. Extracting Threshold Conceptual Structures from Web Documents

    Article • January 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu

  102. Behavioural Types Inspired by Cellular Thresholds

    Article • January 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  103. PHASE: A Stochastic Formalism for Phase-Type Distributions

    Article • January 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu

  104. Behavioural Equivalences in Real-Time P Systems

    Article • January 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  105. Continuation Semantics for Asynchronous Concurrency

    Article • Fundamenta Informaticae, January 2014, IOS Press

    Prof Gabriel Ciobanu

  106. Monitoring Changes in Dynamic Multiset Systems

    Article • Fundamenta Informaticae, January 2014, IOS Press

    Prof Gabriel Ciobanu

  107. Nominal Groups and Their Homomorphism Theorems

    Article • Fundamenta Informaticae, January 2014, IOS Press

    Prof Gabriel Ciobanu

  108. Algebraic Properties of Generalized Multisets

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  109. Non-interleaving Operational Semantics for Geographically Replicated Databases

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  110. TiMo: Timed Mobility in Distributed Systems

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  111. RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS

    Article • International Journal of Foundations of Computer Science, August 2013, World Scientific Pub Co Pte Lt

    Prof Gabriel Ciobanu, Artiom Alhazov, Bogdan Aman

  112. Local Type Checking for Linked Data Consumers

    Article • Electronic Proceedings in Theoretical Computer Science, July 2013, Open Publishing Association

    Prof Gabriel Ciobanu

  113. Automatic Analysis of TiMo Systems in PAT

    Article • July 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  114. Rewriting Systems Over Indexed Multisets

    Article • The Computer Journal, February 2013, Oxford University Press (OUP)

    Prof Gabriel Ciobanu

  115. Computational Power of Protein Interaction Networks

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  116. Mobile Membranes with Objects on Surface as Colored Petri Nets

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  117. A Probabilistic Logic for pTiMo

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu

  118. Mobile Membranes: Computability and Complexity

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu

  119. Real-Time Migration Properties of rTiMo Verified in Uppaal

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  120. Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu

  121. An Analysis of Correlative and Static Causality in P Systems

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu

  122. Biologically Inspired Formalisms

    Article • Electronic Proceedings in Theoretical Computer Science, November 2012, Open Publishing Association

    Prof Gabriel Ciobanu

  123. Article • Electronic Proceedings in Theoretical Computer Science, November 2012, Open Publishing Association

    Prof Gabriel Ciobanu

  124. General patterns of interaction in stochastic fusion

    Article • Natural Computing, October 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu

  125. Nominal Fusion Calculus

    Article • September 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  126. Timed Catalytic Petri Nets

    Article • September 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  127. Relating Two Metric Semantics for Parallel Rewriting of Multisets

    Article • September 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  128. A Provenance Tracking Model for Data Updates

    Article • Electronic Proceedings in Theoretical Computer Science, August 2012, Open Publishing Association

    Prof Gabriel Ciobanu

  129. Modelling and analysis of biological systems

    Article • Theoretical Computer Science, May 2012, Elsevier

    Prof Gabriel Ciobanu

  130. Properties of enhanced mobile membranes via coloured Petri nets

    Article • Information Processing Letters, March 2012, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  131. Quantitative Causality in Membrane Systems

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu

  132. Catalytic Petri Nets Are Turing Complete

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu

  133. Behavioural Equivalences over Migrating Processes with Timers

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  134. A Timed Mobility Semantics Based on Rewriting Strategies

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu

  135. An Extension of a Permutative Model of Set Theory

    Article • Annals of the Alexandru Ioan Cuza University - Mathematics, January 2012, De Gruyter

    Prof Gabriel Ciobanu

  136. On the Computability Power of Membrane Systems with Controlled Mobility

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  137. Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  138. Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems

    Article • Acta Informatica, November 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  139. Flexible software architecture and language for mobile agents

    Article • Concurrency and Computation Practice and Experience, October 2011, Wiley

    Prof Gabriel Ciobanu

  140. Timed Mobility in process algebra and Petri nets

    Article • The Journal of Logic and Algebraic Programming, October 2011, Elsevier

    Prof Gabriel Ciobanu

  141. Nominal Semantics of the pi I-calculus

    Article • September 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  142. Metric Denotational Semantics for Parallel Rewriting of Multisets

    Article • September 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  143. Time Delays in Membrane Systems and Petri Nets

    Article • Electronic Proceedings in Theoretical Computer Science, July 2011, Open Publishing Association

    Prof Gabriel Ciobanu, Bogdan Aman

  144. Mutual mobile membranes with objects on surface

    Article • Natural Computing, February 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  145. Mobility in Process Calculi and Natural Computing

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  146. Encodings

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  147. Computing by Endocytosis and Exocytosis

    Article • Annals of the Alexandru Ioan Cuza University - Mathematics, January 2011, De Gruyter

    Prof Gabriel Ciobanu, Bogdan Aman

  148. Computability Power of Mobility in Enhanced Mobile Membranes

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu

  149. Mobility in Process Calculi

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  150. Mobility in Membrane Computing

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  151. Timed Migration and Interaction with Access Permissions

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu

  152. A Temporal Logic for Mutual Mobile Membranes with Objects on Surface

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  153. A $\Sigma_2^P \cup \Pi_2^P$ Lower Bound Using Mobile Membranes

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu

  154. Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010

    Article • Electronic Proceedings in Theoretical Computer Science, October 2010, Open Publishing Association

    Prof Gabriel Ciobanu

  155. Adding Lifetime to Objects and Membranes in P Systems

    Article • International Journal of Computers Communications & Control, September 2010, Agora University in Oradea

    Prof Gabriel Ciobanu, Bogdan Aman

  156. Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets

    Article • September 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  157. Rule-based and object-based event structures for membrane systems

    Article • The Journal of Logic and Algebraic Programming, August 2010, Elsevier

    Prof Gabriel Ciobanu

  158. Reversing computation in membrane systems

    Article • The Journal of Logic and Algebraic Programming, April 2010, Elsevier

    Prof Gabriel Ciobanu

  159. Enhanced Mobile Membranes: Computability Results

    Article • Theory of Computing Systems, February 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu

  160. Typed Membrane Systems

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  161. Finding Network Resources by Using Mobile Agents

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu

  162. Mobile Agents with Timers, and Their Implementation

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu

  163. UTP and Temporal Logic Model Checking

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu

  164. Formalizing the Behavior of Biological Processes with Mobility

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  165. Evolving by Maximizing the Number of Rules: Complexity Study

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu

  166. Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients

    Article • Scholarpedia, January 2010, Scholarpedia

    Prof Gabriel Ciobanu, Bogdan Aman

  167. Mobility in Computer Science and in Membrane Systems

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu

  168. Flattening the Transition P Systems with Dissolution

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu

  169. Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009

    Article • Electronic Proceedings in Theoretical Computer Science, November 2009, Open Publishing Association

    Prof Gabriel Ciobanu

  170. Article • Electronic Proceedings in Theoretical Computer Science, November 2009, Open Publishing Association

    Prof Gabriel Ciobanu

  171. Mutual Mobile Membranes with Timers

    Article • Electronic Proceedings in Theoretical Computer Science, October 2009, Open Publishing Association

    Prof Gabriel Ciobanu, Bogdan Aman

  172. A Methodology for Concurrent Languages Development Based on Denotational Semantics

    Article • September 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  173. Final and sequential behaviours of M-automata

    Article • Acta Informatica, July 2009, Springer Science + Business Media

    Prof Gabriel Ciobanu

  174. ENCODINGS OF MULTISETS

    Article • International Journal of Foundations of Computer Science, June 2009, World Scientific Pub Co Pte Lt

    Prof Gabriel Ciobanu

  175. Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors

    Article • Electronic Notes in Theoretical Computer Science, June 2009, Elsevier

    Prof Gabriel Ciobanu

  176. Complexity of evolution in maximum cooperative P systems

    Article • Natural Computing, January 2009, Springer Science + Business Media

    Prof Gabriel Ciobanu

  177. Dual P Systems

    Article • January 2009, Springer Science + Business Media

    Prof Gabriel Ciobanu

  178. A Software Platform for Timed Mobility and Timed Interaction

    Article • January 2009, Springer Science + Business Media

    Prof Gabriel Ciobanu

  179. Turing Completeness Using Three Mobile Membranes

    Article • January 2009, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  180. Simple, Enhanced and Mutual Mobile Membranes

    Article • January 2009, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  181. On the power of endocytosis and exocytosis

    Article • September 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  182. Interaction in Time and Space

    Article • Electronic Notes in Theoretical Computer Science, May 2008, Elsevier

    Prof Gabriel Ciobanu

  183. On the relationship between membranes and ambients

    Article • Biosystems, March 2008, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  184. Supermetrics over Apartness Lattice-Ordered Semigroup

    Article • Electronic Notes in Theoretical Computer Science, March 2008, Elsevier

    Prof Gabriel Ciobanu

  185. Timed Mobile Ambients for Network Protocols

    Article • January 2008, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  186. Time and Space Coordination of Mobile Agents

    Article • January 2008, Springer Science + Business Media

    Prof Gabriel Ciobanu

  187. Behaviour Equivalences in Timed Distributed π-Calculus

    Article • January 2008, Springer Science + Business Media

    Prof Gabriel Ciobanu

  188. Data Compression on Multisets. Submultiset-Free Codes

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  189. Resource Competition and Synchronization in Membranes

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  190. Verifying Adaptive Cruise Control by Using Pi-Calculus and Mobility Workbench

    Article • January 2008, Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (ICST)

    Prof Gabriel Ciobanu

  191. Describing the Immune System Using Enhanced Mobile Membranes

    Article • Electronic Notes in Theoretical Computer Science, January 2008, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  192. Structural Properties and Observability in Membrane Systems

    Article • September 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  193. Pythagoras: An Interactive Environment for Plane Geometry

    Article • September 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  194. Translating Mobile Ambients into P Systems

    Article • Electronic Notes in Theoretical Computer Science, July 2007, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  195. P systems with minimal parallelism

    Article • Theoretical Computer Science, June 2007, Elsevier

    Professor Linqiang Pan, Prof Gabriel Ciobanu

  196. Coordination by Timers for Channel-Based Anonymous Communications

    Article • Electronic Notes in Theoretical Computer Science, June 2007, Elsevier

    Prof Gabriel Ciobanu

  197. Probabilistic transitions for P systems

    Article • Progress in Natural Science Materials International, April 2007, Taylor & Francis

    Prof Gabriel Ciobanu

  198. Compositional asynchronous membrane systems

    Article • Progress in Natural Science Materials International, April 2007, Taylor & Francis

    Prof Gabriel Ciobanu

  199. A rewriting logic framework for operational semantics of membrane systems

    Article • Theoretical Computer Science, April 2007, Elsevier

    Prof Gabriel Ciobanu

  200. Cellular modelling using P systems and process algebra

    Article • Progress in Natural Science Materials International, April 2007, Taylor & Francis

    Prof Gabriel Ciobanu

  201. Fundamentals of Computation Theory

    Article • January 2007, Springer Science + Business Media

    Prof Gabriel Ciobanu

  202. Coordination and Self-Organization in MultiAgent Systems

    Article • October 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  203. Timers for Distributed Systems

    Article • Electronic Notes in Theoretical Computer Science, October 2006, Elsevier

    Prof Gabriel Ciobanu

  204. Number Encodings and Arithmetics over Multisets

    Article • September 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  205. Collaborative Agents Interaction Using Message Passing Interface

    Article • September 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  206. Theory and applications of P systems

    Article • International Journal of Computer Mathematics, July 2006, Taylor & Francis

    Prof Gabriel Ciobanu

  207. A Programming Perspective of the Membrane Systems

    Article • International Journal of Computers Communications & Control, July 2006, Agora University in Oradea

    Prof Gabriel Ciobanu

  208. Operational Semantics and Rewriting Logic in Membrane Computing

    Article • Electronic Notes in Theoretical Computer Science, May 2006, Elsevier

    Prof Gabriel Ciobanu

  209. P transducers

    Article • New Generation Computing, March 2006, Springer Science + Business Media

    Prof Gabriel Ciobanu

  210. A specification language for coordinated objects

    Article • ACM SIGSOFT Software Engineering Notes, March 2006, ACM (Association for Computing Machinery)

    Prof Gabriel Ciobanu

  211. MEALY MULTISET AUTOMATA

    Article • International Journal of Foundations of Computer Science, February 2006, World Scientific Pub Co Pte Lt

    Prof Gabriel Ciobanu

  212. Expressing Control Mechanisms of Membranes by Rewriting Strategies

    Article • January 2006, Springer Science + Business Media

    Prof Gabriel Ciobanu

  213. Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems

    Article • January 2006, Springer Science + Business Media

    Prof Gabriel Ciobanu

  214. P Machines: An Automata Approach to Membrane Computing

    Article • January 2006, Springer Science + Business Media

    Prof Gabriel Ciobanu

  215. A Topological Approach of the Web Classification

    Article • January 2006, Springer Science + Business Media

    Prof Gabriel Ciobanu

  216. Algebraic and Coalgebraic Aspects of Membrane Computing

    Article • January 2006, Springer Science + Business Media

    Prof Gabriel Ciobanu

  217. Structural Operational Semantics of P Systems

    Article • January 2006, Springer Science + Business Media

    Prof Gabriel Ciobanu

  218. "Logic will never be the same again" - Kurt Gödel Centenary

    Article • International Journal of Computers Communications & Control, January 2006, Agora University in Oradea

    Prof Gabriel Ciobanu

  219. Encodings and Arithmetic Operations in Membrane Computing

    Article • January 2006, Springer Science + Business Media

    Prof Gabriel Ciobanu

  220. Applications of Membrane Computing

    Article • January 2005, Springer Science + Business Media

    Prof Gabriel Ciobanu

  221. A specification language for coordinated objects

    Article • January 2005, ACM (Association for Computing Machinery)

    Prof Gabriel Ciobanu

  222. Executable Specifications of P Systems

    Article • January 2005, Springer Science + Business Media

    Prof Gabriel Ciobanu

  223. A P System Description of the Sodium-Potassium Pump

    Article • January 2005, Springer Science + Business Media

    Prof Gabriel Ciobanu

  224. Communicating Concurrent Objects in HiddenCCS

    Article • Electronic Notes in Theoretical Computer Science, January 2005, Elsevier

    Prof Gabriel Ciobanu

  225. A Web-Based P Systems Simulator and Its Parallelization

    Article • January 2005, Springer Science + Business Media

    Prof Gabriel Ciobanu

  226. Cellular Meta-programming over Membranes

    Article • January 2005, Springer Science + Business Media

    Prof Gabriel Ciobanu

  227. Specifications and verification of network protocols by process algebra

    Article • January 2005, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  228. Topological spaces of the web

    Article • January 2005, ACM (Association for Computing Machinery)

    Prof Gabriel Ciobanu

  229. Self-organizing Distribution of Agents over Hosts

    Article • January 2005, Springer Science + Business Media

    Prof Gabriel Ciobanu

  230. Modelling in Molecular Biology

    Article • January 2004, Springer Science + Business Media

    Prof Gabriel Ciobanu

  231. Software Verification of Biomolecular Systems

    Article • January 2004, Springer Science + Business Media

    Prof Gabriel Ciobanu

  232. Model Checking for Object Specifications in Hidden Algebra

    Article • January 2004, Springer Science + Business Media

    Prof Gabriel Ciobanu

  233. P Systems Running on a Cluster of Computers

    Article • January 2004, Springer Science + Business Media

    Prof Gabriel Ciobanu

  234. Specification and Verification of Synchronizing Concurrent Objects

    Article • January 2004, Springer Science + Business Media

    Prof Gabriel Ciobanu

  235. Describing IEEE 802.11 Wireless Mechanisms by Using the π-Calculus and Performance Evaluation Process Algebra

    Article • January 2004, Springer Science + Business Media

    Prof Gabriel Ciobanu

  236. Distributed algorithms over communicating membrane systems

    Article • Biosystems, July 2003, Elsevier

    Prof Gabriel Ciobanu

  237. Conformon-driven biopolymer shape changes in cell modeling

    Article • Biosystems, July 2003, Elsevier

    Prof Gabriel Ciobanu

  238. Membrane Systems and Distributed Computing

    Article • January 2003, Springer Science + Business Media

    Prof Gabriel Ciobanu

  239. Discrete Event Systems and Client-Server Model for Signaling Mechanisms

    Article • January 2003, Springer Science + Business Media

    Prof Gabriel Ciobanu

  240. Client–Server P Systems in Modeling Molecular Interaction

    Article • January 2003, Springer Science + Business Media

    Prof Gabriel Ciobanu

  241. Molecular interaction

    Article • Theoretical Computer Science, October 2002, Elsevier

    Prof Gabriel Ciobanu

  242. Molecular Structures

    Article • January 2001, Springer Science + Business Media

    Prof Gabriel Ciobanu

  243. JC-Nets

    Article • January 2001, Springer Science + Business Media

    Prof Gabriel Ciobanu

  244. Abstract Structures for Communication between Processes

    Article • January 2000, Springer Science + Business Media

    Prof Gabriel Ciobanu

  245. Fundamentals of Computation Theory

    Article • January 1999, Springer Science + Business Media

    Prof Gabriel Ciobanu

  246. Faithful π-nets.

    Article • Electronic Notes in Theoretical Computer Science, January 1998, Elsevier

    Prof Gabriel Ciobanu

  247. On certain lattice—Ordered semigroups

    Article • Semigroup Forum, December 1985, Springer Science + Business Media

    Prof Gabriel Ciobanu

  248. Events, Causality, and Concurrency in Membrane Systems

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu

  249. Modeling Cell-Mediated Immunity by Means of P Systems

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu

  250. From Gene Regulation to Stochastic Fusion

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu

  251. On a Formal Model of the T Cell and Its Biological Feedback

    Article • IGI Global

    Prof Gabriel Ciobanu

  252. Timers and Proximities for Mobile Ambients

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  253. On the Reachability Problem in P Systems with Mobile Membranes

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  254. Encoding Mobile Ambients into the π-Calculus

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu

  255. On the Computational Power of Enhanced Mobile Membranes

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu

  256. Modelling and Verification of Timed Interaction and Migration

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu

  257. Non-interleaving Semantics with Causality for Nondeterministic Dataflow

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu

  258. Mobile Ambients with Timers and Types

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  259. Relating π-calculus to Object-Z

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu

  260. On a Formal Model of the T Cell and Its Biological Feedback

    Article • IGI Global

    Prof Gabriel Ciobanu

  261. A RDF-based model for expressing spatio-temporal relations between Web sites

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu