A Model for a lambda-calculus Extended for Dataflow Computation. - Gabriel Ciobanu (Sci. Ann. Cuza Univ., 1992)

Dataflow lambda-calculus. - Gabriel Ciobanu (Sci. Ann. Cuza Univ., 1995)

On the "rep" construction into pi-nets. - Mihai Rotaru; Gabriel Ciobanu (Sci. Ann. Cuza Univ., 1995)

The Reflexive Domain of CPO's Ideals. - Gabriel Ciobanu (Acta Cybern., 1996)

Interaction Structures for Communicating Processes. - Gabriel Ciobanu; Emanuel Florentin Olariu (Sci. Ann. Cuza Univ., 1998)

Faithful pi-nets - A graphical representation of the asynchronous pi-calculus . - Gabriel Ciobanu; Mihai Rotaru (MFCS Workshop on Concurrency, 1998)

Abstract Structures for Communication between Processes. - Gabriel Ciobanu; Emanuel Florentin Olariu (Ershov Memorial Conference, 1999)

On a Formal Description of the Molecular Processes. - Gabriel Ciobanu (Recent Topics in Mathematical and Computational Linguistics, 2000)

A Pi-calculus Machine. - Gabriel Ciobanu; Mihai Rotaru (J. Univers. Comput. Sci., 2000)

Molecular structures. - Gabriel Ciobanu (Where Mathematics, Computer Science, Linguistics and Biology Meet, 2001)

JC-Nets. - Gabriel Ciobanu; Mihai Rotaru (MCU, 2001)

A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites. - Sabin C. Buraga; Gabriel Ciobanu (WISE, 2002)

Client-Server P Systems in Modeling Molecular Interaction. - Gabriel Ciobanu; Daniel Dumitriu; Dorin Huzum; Gabriel Moruz; Bogdan Tanasa (WMC-CdeA, 2002)

Membrane Systems and Distributed Computing. - Gabriel Ciobanu; Rahul Desai; Akash Kumar 001 (WMC-CdeA, 2002)

Designing and Developing Multi-Agent Systems. - Sinica Alboaie; Gabriel Ciobanu (Sci. Ann. Cuza Univ., 2002)

P System Software Simulator. - Gabriel Ciobanu; Dorin Paraschiv (Fundam. Informaticae, 2002)

Gene Expression by Software Mechanisms. - Gabriel Ciobanu; Bogdan Tanasa (Fundam. Informaticae, 2002)

Molecular interaction. - Gabriel Ciobanu; Mihai Rotaru (Theor. Comput. Sci., 2002)

Discrete Event Systems and Client-Server Model for Signaling Mechanisms. - Gabriel Ciobanu; Dorin Huzum (CMSB, 2003)

P Systems Running on a Cluster of Computers. - Gabriel Ciobanu; Guo Wenyuan (Workshop on Membrane Computing, 2003)

A Formalism for Distributed Systems with an Accurate Graphical Representation. - Gabriel Ciobanu; Mihai Rotaru (SNPD, 2003)

Space and Time over the Web. - Gabriel Ciobanu; Daniel Dumitriu (WWW (Posters), 2003)

Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra. - K. N. Sridhar; Gabriel Ciobanu (FORTE Workshops, 2004)

Relating pi-calculus to Object-Z. - Kenji Taguchi 001; Jin Song Dong; Gabriel Ciobanu (ICECCS, 2004)

Specification and Verification of Synchronizing Concurrent Objects. - Gabriel Ciobanu; Dorel Lucanu (IFM, 2004)

Executable Specifications of P Systems. - Oana Andrei; Gabriel Ciobanu; Dorel Lucanu (Workshop on Membrane Computing, 2004)

A P System Description of the Sodium-Potassium Pump. - Daniela Besozzi; Gabriel Ciobanu (Workshop on Membrane Computing, 2004)

Cellular Meta-programming over Membranes. - Gabriel Ciobanu; Dorel Lucanu (UPP, 2004)

Model Checking for Object Specifications in Hidden Algebra. - Dorel Lucanu; Gabriel Ciobanu (VMCAI, 2004)

Communication Equivalence Classes in Networks. - Gabriel Ciobanu; Viorel Mihai Gontineac (Comput. Sci. J. Moldova, 2004)

Communicating Concurrent Objects in HiddenCCS. - Gabriel Ciobanu; Dorel Lucanu (WRLA, 2004)

Self-organizing Distribution of Agents over Hosts. - Gabriel Ciobanu; Danut Rusu (ISCIS, 2005)

Structural Operational Semantics of P Systems. - Oana Andrei; Gabriel Ciobanu; Dorel Lucanu (Workshop on Membrane Computing, 2005)

Algebraic and Coalgebraic Aspects of Membrane Computing. - Gabriel Ciobanu; Viorel Mihai Gontineac (Workshop on Membrane Computing, 2005)

Theory and Practice of Programming Applied to Membrane Systems. - Gabriel Ciobanu (SYNASC, 2005)

Specifications and Verification of Network Protocols by Process Algebra. - Gabriel Ciobanu; K. N. Sridhar (SYNASC, 2005)

Specification of Coordinated Objects and Verification of Their Temporal Properties. - Mihai Danes; Dorel Lucanu; Gabriel Ciobanu (SYNASC, 2005)

A Web-Based P Systems Simulator and Its Parallelization. - Cosmin Bonchis; Gabriel Ciobanu; Cornel Izbasa; Dana Petcu (UC, 2005)

Topological spaces of the web. - Gabriel Ciobanu; Danut Rusu (WWW (Special interest tracks and posters), 2005)

Performance Analysis and Name Passing Errors in Probabilistic Fusion. - Gabriel Ciobanu; Janardan Misra (Sci. Ann. Cuza Univ., 2005)

Operational Semantics and Rewriting Logic in Membrane Computing. - Oana Andrei; Dorel Lucanu; Gabriel Ciobanu (SOS@ICALP, 2005)

An Automata Description of the Genetic Message Translation. - Gabriel Ciobanu; Viorel Mihai Gontineac (Fundam. Informaticae, 2005)

P Transducers. - Gabriel Ciobanu; Gheorghe Paun; Gheorghe Stefanescu (New Gener. Comput., 2005)

Encoding Mobile Ambients into the pi -Calculus. - Gabriel Ciobanu; Vladimir A. Zakharov (Ershov Memorial Conference, 2006)

A Topological Approach of the Web Classification. - Gabriel Ciobanu; Danut Rusu (ICTAC, 2006)

Coordination and Self-Organization in MultiAgent Systems. - Gabriel Ciobanu (ISDA (1), 2006)

Expressing Control Mechanisms of Membranes by Rewriting Strategies. - Oana Andrei; Gabriel Ciobanu; Dorel Lucanu (Workshop on Membrane Computing, 2006)

P Machines: An Automata Approach to Membrane Computing. - Gabriel Ciobanu; Viorel Mihai Gontineac (Workshop on Membrane Computing, 2006)

Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems. - Daniela Zaharie; Gabriel Ciobanu (Workshop on Membrane Computing, 2006)

Modeling Cell-Mediated Immunity by Means of P Systems. - Gabriel Ciobanu (Applications of Membrane Computing, 2006)

Number Encodings and Arithmetics over Multisets. - Cosmin Bonchis; Cornel Izbasa; Gabriel Ciobanu (SYNASC, 2006)

Collaborative Agents Interaction Using Message Passing Interface. - Gabriel Ciobanu (SYNASC, 2006)

Encodings and Arithmetic Operations in Membrane Computing. - Cosmin Bonchis; Gabriel Ciobanu; Cornel Izbasa (TAMC, 2006)

New Editorial Team. - Gabriel Ciobanu (Sci. Ann. Cuza Univ., 2006)

Translating Mobile Ambients into P Systems. - Bogdan Aman; Gabriel Ciobanu (MeCBIC@ICALP, 2006)

Timers for Distributed Systems. - Gabriel Ciobanu; Cristian Prisacariu (QAPL, 2006)

Coordination by Timers for Channel-Based Anonymous Communications. - Gabriel Ciobanu; Cristian Prisacariu (FOCLASA, 2006)

On the Branching Complexity of P Systems. - Gabriel Ciobanu; Gheorghe Paun; Mario J. Pérez-Jiménez (Fundam. Informaticae, 2006)

"Logic will never be the same again" - Kurt Gödel Centenary. - Gabriel Ciobanu (Int. J. Comput. Commun. Control, 2006)

A Programming Perspective of the Membrane Systems. - Gabriel Ciobanu (Int. J. Comput. Commun. Control, 2006)

Theory and applications of P systems. - Gabriel Ciobanu (Int. J. Comput. Math., 2006)

Mealy multiset automata. - Gabriel Ciobanu; Viorel Mihai Gontineac (Int. J. Found. Comput. Sci., 2006)

Algebraic and Topological Properties of Apartness Lattice-Ordered Semigroups. - Gabriel Ciobanu; Danut Rusu (J. Multiple Valued Log. Soft Comput., 2006)

A specification language for coordinated objects. - Gabriel Ciobanu; Dorel Lucanu (ACM SIGSOFT Softw. Eng. Notes, 2006)

Timers and Proximities for Mobile Ambients. - Bogdan Aman; Gabriel Ciobanu (CSR, 2007)

Mobile Ambients with Timers and Types. - Bogdan Aman; Gabriel Ciobanu (ICTAC, 2007)

Time and Space Coordination of Mobile Agents. - Gabriel Ciobanu (IDC, 2007)

On the Reachability Problem in P Systems with Mobile Membranes. - Bogdan Aman; Gabriel Ciobanu (Workshop on Membrane Computing, 2007)

Events, Causality, and Concurrency in Membrane Systems. - Gabriel Ciobanu; Dorel Lucanu (Workshop on Membrane Computing, 2007)

Structural Properties and Observability in Membrane Systems. - Bogdan Aman; Gabriel Ciobanu (SYNASC, 2007)

Describing the Immune System Using Enhanced Mobile Membranes. - Bogdan Aman; Gabriel Ciobanu (FBTC@CONCUR, 2007)

Interaction in Time and Space. - Gabriel Ciobanu (FInCo@ETAPS, 2007)

Supermetrics over Apartness Lattice-Ordered Semigroup. - Gabriel Ciobanu; Danut Rusu (CCA, 2007)

Equivalent Transformations of Automata by Using Behavioural Automata. - Gabriel Ciobanu; Sergiu Rudeanu (J. Univers. Comput. Sci., 2007)

A rewriting logic framework for operational semantics of membrane systems. - Oana Andrei; Gabriel Ciobanu; Dorel Lucanu (Theor. Comput. Sci., 2007)

P systems with minimal parallelism. - Gabriel Ciobanu; Linqiang Pan; Gheorghe Paun; Mario J. Pérez-Jiménez (Theor. Comput. Sci., 2007)

On the Computational Power of Enhanced Mobile Membranes. - Shankara Narayanan Krishna; Gabriel Ciobanu (CiE, 2008)

Modelling and Verification of Timed Interaction and Migration. - Gabriel Ciobanu; Maciej Koutny (FASE, 2008)

Timed Mobile Ambients for Network Protocols. - Bogdan Aman; Gabriel Ciobanu (FORTE, 2008)

Non-interleaving Semantics with Causality for Nondeterministic Dataflow. - Oana Agrigoroaiei; Gabriel Ciobanu (ICTAC, 2008)

Dual P Systems. - Oana Agrigoroaiei; Gabriel Ciobanu (Workshop on Membrane Computing, 2008)

Resource Competition and Synchronization in Membranes. - Bogdan Aman; Gabriel Ciobanu (SYNASC, 2008)

Data Compression on Multisets. Submultiset-Free Codes. - Cosmin Bonchis; Gabriel Ciobanu; Graiela Ghergu; Cornel Izbasa (SYNASC, 2008)

From Gene Regulation to Stochastic Fusion. - Gabriel Ciobanu (UC, 2008)

UTP and Temporal Logic Model Checking. - Hugh Anderson; Gabriel Ciobanu; Leo Freitas (UTP, 2008)

On the relationship between membranes and ambients. - Gabriel Ciobanu; Bogdan Aman (Biosyst., 2008)

Information Theory over Multisets. - Cosmin Bonchis; Cornel Izbasa; Gabriel Ciobanu (Comput. Informatics, 2008)

Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. - Oana Agrigoroaiei; Gabriel Ciobanu (WRLA, 2008)

Preface. - Gabriel Ciobanu (MeCBIC, 2008)

Computational Complexity of Simple P Systems. - Gabriel Ciobanu; Andreas Resios (Fundam. Informaticae, 2008)

Behaviour Equivalences in Timed Distributed pi-Calculus. - Gabriel Ciobanu (Software-Intensive Systems and New Computing Paradigms, 2008)

A Software Platform for Timed Mobility and Timed Interaction. - Gabriel Ciobanu; Calin Juravle (FMOODS/FORTE, 2009)

Evolving by Maximizing the Number of Rules: Complexity Study. - Oana Agrigoroaiei; Gabriel Ciobanu; Andreas Resios (Workshop on Membrane Computing, 2009)

Typed Membrane Systems. - Bogdan Aman; Gabriel Ciobanu (Workshop on Membrane Computing, 2009)

A Methodology for Concurrent Languages Development Based on Denotational Semantics. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2009)

Turing Completeness Using Three Mobile Membranes. - Bogdan Aman; Gabriel Ciobanu (UC, 2009)

Final and sequential behaviours of M-automata. - Gabriel Ciobanu; Sergiu Rudeanu (Acta Informatica, 2009)

Mutual Mobile Membranes with Timers - Bogdan Aman; Gabriel Ciobanu (COMPMOD, 2009)

Markov Abstractions for Probabilistic Pi-Calculus. - Hugh Anderson; Gabriel Ciobanu (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Model-based Testing and Analysis of Coordinated Components. - Gabriel Ciobanu; Dorel Lucanu (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Encodings of Multisets. - Gabriel Ciobanu; Viorel Mihai Gontineac (Int. J. Found. Comput. Sci., 2009)

Complexity of evolution in maximum cooperative P systems. - Gabriel Ciobanu; Andreas Resios (Nat. Comput., 2009)

Simple, Enhanced and Mutual Mobile Membranes. - Bogdan Aman; Gabriel Ciobanu (Trans. Comp. Sys. Biology, 2009)

Finding Network Resources by Using Mobile Agents. - Gabriel Ciobanu (IDC, 2010)

Mobile Agents with Timers, and Their Implementation. - Gabriel Ciobanu; Calin Juravle (IDC, 2010)

Flattening the Transition P Systems with Dissolution. - Oana Agrigoroaiei; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2010)

Mobility in Computer Science and in Membrane Systems. - Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2010)

Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2010)

Formalizing the Behavior of Biological Processes with Mobility. - Bogdan Aman; Gabriel Ciobanu (UC, 2010)

Adding Lifetime to Objects and Membranes in P Systems. - Bogdan Aman; Gabriel Ciobanu (Int. J. Comput. Commun. Control, 2010)

Writing as a Form of Freedom and Happiness Celebrating the 60th birthday of Gheorghe Păun. - Gabriel Ciobanu (Int. J. Comput. Commun. Control, 2010)

Reversing computation in membrane systems. - Oana Agrigoroaiei; Gabriel Ciobanu (J. Log. Algebraic Methods Program., 2010)

Rule-based and object-based event structures for membrane systems. - Oana Agrigoroaiei; Gabriel Ciobanu (J. Log. Algebraic Methods Program., 2010)

Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. - Bogdan Aman; Gabriel Ciobanu (Scholarpedia, 2010)

A Temporal Logic for Mutual Mobile Membranes with Objects on Surface. - Bogdan Aman; Gabriel Ciobanu (Computation, Cooperation, and Life, 2011)

Computability Power of Mobility in Enhanced Mobile Membranes. - Shankara Narayanan Krishna; Gabriel Ciobanu (CiE, 2011)

A S2P ÈP2P Sigma_2^P cup Pi_2^P Lower Bound Using Mobile Membranes. - Shankara Narayanan Krishna; Gabriel Ciobanu (DCFS, 2011)

Timed Migration and Interaction with Access Permissions. - Gabriel Ciobanu; Maciej Koutny (FM, 2011)

Quantitative Causality in Membrane Systems. - Oana Agrigoroaiei; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2011)

Nominal Semantics of the pi I-calculus. - Andrei Alexandru; Gabriel Ciobanu (SYNASC, 2011)

Metric Denotational Semantics for Parallel Rewriting of Multisets. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2011)

Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. - Bogdan Aman; Gabriel Ciobanu (Acta Informatica, 2011)

Time Delays in Membrane Systems and Petri Nets - Bogdan Aman; Gabriel Ciobanu (QAPL, 2011)

Biologically Inspired Process Calculi, Petri Nets and Membrane Computing - Gabriel Ciobanu (CoRR, 2011)

Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011) - Gabriel Ciobanu (CoRR, 2011)

Semantics, Causality and Mobility in Membrane Computing. - Oana Agrigoroaiei; Bogdan Aman; Gabriel Ciobanu (ERCIM News, 2011)

Timed Mobility in process algebra and Petri nets. - Gabriel Ciobanu; Maciej Koutny (J. Log. Algebraic Methods Program., 2011)

Enhanced Mobile Membranes: Computability Results. - Gabriel Ciobanu; Shankara Narayanan Krishna (Theory Comput. Syst., 2011)

Mutual mobile membranes with objects on surface. - Bogdan Aman; Gabriel Ciobanu (Nat. Comput., 2011)

Mobility in Process Calculi and Natural Computing - Bogdan Aman; Gabriel Ciobanu (Springer, 2011)

On the Computability Power of Membrane Systems with Controlled Mobility. - Shankara Narayanan Krishna; Bogdan Aman; Gabriel Ciobanu (CiE, 2012)

Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. - Bogdan Aman; Gabriel Ciobanu (COORDINATION, 2012)

Behavioural Equivalences over Migrating Processes with Timers. - Bogdan Aman; Gabriel Ciobanu; Maciej Koutny (FMOODS/FORTE, 2012)

Catalytic Petri Nets Are Turing Complete. - Gabriel Ciobanu; G. Michele Pinna (LATA, 2012)

Mobile Membranes with Objects on Surface as Colored Petri Nets. - Bogdan Aman; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2012)

An Analysis of Correlative and Static Causality in P Systems. - Roberto Pagliarini; Oana Agrigoroaiei; Gabriel Ciobanu; Vincenzo Manca (Int. Conf. on Membrane Computing, 2012)

A Timed Mobility Semantics Based on Rewriting Strategies. - Gabriel Ciobanu; Maciej Koutny; L. Jason Steggles (SEFM, 2012)

Nominal Fusion Calculus. - Andrei Alexandru; Gabriel Ciobanu (SYNASC, 2012)

Timed Catalytic Petri Nets. - Bogdan Aman; Gabriel Ciobanu; G. Michele Pinna (SYNASC, 2012)

Relating Two Metric Semantics for Parallel Rewriting of Multisets. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2012)

Flexible software architecture and language for mobile agents. - Gabriel Ciobanu; Calin Juravle (Concurr. Comput. Pract. Exp., 2012)

A Provenance Tracking Model for Data Updates - Gabriel Ciobanu; Ross Horne (FOCLASA, 2012)

Properties of enhanced mobile membranes via coloured Petri nets. - Bogdan Aman; Gabriel Ciobanu (Inf. Process. Lett., 2012)

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). - Gabriel Ciobanu; Maciej Koutny (Theor. Comput. Sci., 2012)

Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. - Bogdan Aman; Gabriel Ciobanu; Shankara Narayanan Krishna (ICDCIT, 2013)

Automatic Analysis of TiMo Systems in PAT. - Gabriel Ciobanu; Manchun Zheng (ICECCS, 2013)

Mobile Membranes: Computability and Complexity. - Bogdan Aman; Gabriel Ciobanu (ICTAC, 2013)

A Probabilistic Logic for pTiMo. - Gabriel Ciobanu; Armand Stefan Rotaru (ICTAC, 2013)

Behavioural Equivalences in Real-Time P Systems. - Bogdan Aman; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2013)

Real-Time Migration Properties of rTiMo Verified in Uppaal. - Bogdan Aman; Gabriel Ciobanu (SEFM, 2013)

Behavioural Types Inspired by Cellular Thresholds. - Bogdan Aman; Gabriel Ciobanu (SEFM Workshops, 2013)

Algebraic Properties of Generalized Multisets. - Andrei Alexandru; Gabriel Ciobanu (SYNASC, 2013)

TiMo: Timed Mobility in Distributed Systems. - Gabriel Ciobanu (SYNASC, 2013)

Non-interleaving Operational Semantics for Geographically Replicated Databases. - Gabriel Ciobanu; Ross Horne (SYNASC, 2013)

Computational Power of Protein Interaction Networks. - Bogdan Aman; Gabriel Ciobanu (UCNC, 2013)

Local Type Checking for Linked Data Consumers. - Gabriel Ciobanu; Ross Horne; Vladimiro Sassone (WWV, 2013)

Scenario Based P Systems. - Gabriel Ciobanu; Dragos Sburlan (Int. J. Unconv. Comput., 2013)

General patterns of interaction in stochastic fusion. - Gabriel Ciobanu (Nat. Comput., 2013)

Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes. - Bogdan Aman; Gabriel Ciobanu (BICT, 2014)

Computational Power of Chemical Kinetics in Living Cells. - Gabriel Ciobanu; Bogdan Aman (BICT, 2014)

Descriptive Types for Linked Data Resources. - Gabriel Ciobanu; Ross Horne; Vladimiro Sassone (Ershov Memorial Conference, 2014)

Extracting Threshold Conceptual Structures from Web Documents. - Gabriel Ciobanu; Ross Horne; Cristian Vaideanu (ICCS, 2014)

A Formal Topology of Web Classification. - Gabriel Ciobanu; Danut Rusu (ICCS, 2014)

From TiMo to Event-B: Event-Driven Timed Mobility. - Gabriel Ciobanu; Thai Son Hoang; Alin Stefanescu (ICECCS, 2014)

PHASE: A Stochastic Formalism for Phase-Type Distributions. - Gabriel Ciobanu; Armand Stefan Rotaru (ICFEM, 2014)

Phase-Type Approximations for Non-Markovian Systems: A Case Study. - Gabriel Ciobanu; Armand Stefan Rotaru (SEFM Workshops, 2014)

Expressing BBUFs Lookup Using the π-Calculus. - Gabriel Ciobanu; Dan Cojocar (SYNASC, 2014)

Correct Metric Semantics for a Biologically-Inspired Formalism. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2014)

Rewriting Systems Over Indexed Multisets. - Oana Agrigoroaiei; Gabriel Ciobanu (Comput. J., 2014)

Theoretical Aspects of Computing. - Gabriel Ciobanu (Sci. Ann. Comput. Sci., 2014)

Nominal Groups and Their Homomorphism Theorems. - Andrei Alexandru; Gabriel Ciobanu (Fundam. Informaticae, 2014)

Monitoring Changes in Dynamic Multiset Systems. - Gabriel Ciobanu; Dragos Sburlan (Fundam. Informaticae, 2014)

Continuation Semantics for Asynchronous Concurrency. - Gabriel Ciobanu; Eneia Nicolae Todoran (Fundam. Informaticae, 2014)

Catalytic and communicating Petri nets are Turing complete. - Gabriel Ciobanu; G. Michele Pinna (Inf. Comput., 2014)

Power of Causal Dependencies in Rule-Based Systems. - Gabriel Ciobanu; G. Michele Pinna; Dragos Sburlan (J. Autom. Lang. Comb., 2014)

Mobility Types for Cloud Computing. - Bogdan Aman; Gabriel Ciobanu (EGC, 2015)

Behavioural Analysis of Sessions Using the Calculus of Structures. - Gabriel Ciobanu; Ross Horne (Ershov Memorial Conference, 2015)

Timed Mobility and Timed Communication for Critical Systems. - Bogdan Aman; Gabriel Ciobanu (FMICS, 2015)

Continuation Semantics for Concurrency with Multiple Channels Communication. - Gabriel Ciobanu; Eneia Nicolae Todoran (ICFEM, 2015)

Dening Finitely Supported Mathematics over Sets with Atoms. - Andrei Alexandru; Gabriel Ciobanu (ICTERI, 2015)

Main Steps in Defining Finitely Supported Mathematics. - Andrei Alexandru; Gabriel Ciobanu (ICTERI (Revised Selected Papers), 2015)

Natural Computing Modelling of the Polynomial Space Turing Machines. - Bogdan Aman; Gabriel Ciobanu (ICTERI, 2015)

Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model. - Bogdan Aman; Gabriel Ciobanu (ICTERI (Revised Selected Papers), 2015)

Automated Verification of Stochastic Spiking Neural P Systems. - Bogdan Aman; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2015)

Static Analysis in Finitely Supported Mathematics. - Andrei Alexandru; Gabriel Ciobanu (SYNASC, 2015)

Continuation Semantics for Dynamic Hierarchical Systems. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2015)

Verification of Bounded Real-Time Distributed Systems With Mobility. - Bogdan Aman; Gabriel Ciobanu (VECoS, 2015)

Timeout Interaction and Migration in Distributed Systems. - Gabriel Ciobanu (VECoS, 2015)

Generalized Multisets: From ZF to FSM. - Andrei Alexandru; Gabriel Ciobanu (Comput. Informatics, 2015)

PerTiMo: A Model of Spatial Migration with Safe Access Permissions. - Gabriel Ciobanu; Maciej Koutny (Comput. J., 2015)

BioMaxP: A Formal Approach for Cellular Ion Pumps. - Bogdan Aman; Gabriel Ciobanu (Comput. Sci. J. Moldova, 2015)

A Grand Master of Discrete Mathematics. - Gabriel Ciobanu (Sci. Ann. Comput. Sci., 2015)

Strategy based semantics for mobility with time and access permissions. - Gabriel Ciobanu; Maciej Koutny; L. Jason Steggles (Formal Aspects Comput., 2015)

Similarity relations in fuzzy attribute-oriented concept lattices. - Gabriel Ciobanu; Cristian Vaideanu (Fuzzy Sets Syst., 2015)

Minimal type inference for Linked Data consumers. - Gabriel Ciobanu; Ross Horne; Vladimiro Sassone (J. Log. Algebraic Methods Program., 2015)

Behavioural observations of cell movements with timing aspects. - Bogdan Aman; Gabriel Ciobanu (Nano Commun. Networks, 2015)

Verification of membrane systems with delays via Petri nets with delays. - Bogdan Aman; Gabriel Ciobanu (Theor. Comput. Sci., 2015)

Finitely Supported Mathematics - An Introduction - Andrei Alexandru; Gabriel Ciobanu (Springer, 2016)

Private Names in Non-Commutative Logic. - Ross Horne; Alwen Tiu; Bogdan Aman; Gabriel Ciobanu (CONCUR, 2016)

Computational Power of Protein Networks. - Bogdan Aman; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2016)

Continuation Passing Semantics for Membrane Systems. - Gabriel Ciobanu; Eneia Nicolae Todoran (Int. Conf. on Membrane Computing, 2016)

Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2016)

Essential and density topologies of continuous domains. - Danut Rusu; Gabriel Ciobanu (Ann. Pure Appl. Log., 2016)

Correct metric semantics for a language inspired by DNA computing. - Gabriel Ciobanu; Eneia Nicolae Todoran (Concurr. Comput. Pract. Exp., 2016)

Abstract Interpretations in the Framework of Invariant Sets. - Andrei Alexandru; Gabriel Ciobanu (Fundam. Informaticae, 2016)

Verifying vehicle control systems by using process calculi. - Gabriel Ciobanu; Armand Stefan Rotaru (Int. J. Ad Hoc Ubiquitous Comput., 2016)

A descriptive type foundation for RDF Schema. - Gabriel Ciobanu; Ross Horne; Vladimiro Sassone (J. Log. Algebraic Methods Program., 2016)

Pawlak Approximations in the Framework of Nominal Sets. - Andrei Alexandru; Gabriel Ciobanu (J. Multiple Valued Log. Soft Comput., 2016)

Simulating P systems with membrane dissolution in a chemical calculus. - Bogdan Aman; Péter Battyányi; Gabriel Ciobanu; György Vaszil (Nat. Comput., 2016)

Modelling and verification of weighted spiking neural systems. - Bogdan Aman; Gabriel Ciobanu (Theor. Comput. Sci., 2016)

Controlled Reversibility in Reaction Systems. - Bogdan Aman; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2017)

Abstract Continuation Semantics for Asynchronous Concurrency. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2017)

Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. - Bogdan Aman; Gabriel Ciobanu (VECoS, 2017)

Efficiently solving the Bin Packing problem through bio-inspired mobility. - Bogdan Aman; Gabriel Ciobanu (Acta Informatica, 2017)

An efficient method to factorize fuzzy attribute-oriented concept lattices. - Gabriel Ciobanu; Cristian Vaideanu (Fuzzy Sets Syst., 2017)

Verification of distributed systems involving bounded-time migration. - Bogdan Aman; Gabriel Ciobanu (Int. J. Crit. Comput. Based Syst., 2017)

Reversibility in Parallel Rewriting Systems. - Bogdan Aman; Gabriel Ciobanu (J. Univers. Comput. Sci., 2017)

Verification of critical systems described in real-time TiMo. - Bogdan Aman; Gabriel Ciobanu (Int. J. Softw. Tools Technol. Transf., 2017)

Denotational semantics of membrane systems by using complete metric spaces. - Gabriel Ciobanu; Eneia Nicolae Todoran (Theor. Comput. Sci., 2017)

Solving the N-Queens Puzzle by Using Few Membranes. - Bogdan Aman; Gabriel Ciobanu (Enjoying Natural Computing, 2018)

Analyzing the Shared Information in Social Networks. - Bogdan Aman; Gabriel Ciobanu (EDCC, 2018)

Adaptive P Systems. - Bogdan Aman; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2018)

A Semantic Investigation of Spiking Neural P Systems. - Gabriel Ciobanu; Eneia Nicolae Todoran (Int. Conf. on Membrane Computing, 2018)

Order Relations Over Finitely Supported Structures. - Andrei Alexandru; Gabriel Ciobanu (SYNASC, 2018)

On the Abstractness of Continuation Semantics. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2018)

High-Level Koutny Net. - Gabriel Ciobanu (Sci. Ann. Comput. Sci., 2018)

Fuzzy sets within Finitely Supported Mathematics. - Andrei Alexandru; Gabriel Ciobanu (Fuzzy Sets Syst., 2018)

A note on similarity relations between fuzzy attribute-oriented concept lattices. - Gabriel Ciobanu; Cristian Vaideanu (Inf. Sci., 2018)

Bonding calculus. - Bogdan Aman; Gabriel Ciobanu (Nat. Comput., 2018)

Verification of Multi-agent Systems with Timeouts for Migration and Communication. - Bogdan Aman; Gabriel Ciobanu (ICTAC, 2019)

Probabilities in Session Types. - Bogdan Aman; Gabriel Ciobanu (FROM, 2019)

Finitely Supported Sets Containing Infinite Uniformly Supported Subsets. - Andrei Alexandru; Gabriel Ciobanu (FROM, 2019)

Synchronization of rules in membrane computing. - Bogdan Aman; Gabriel Ciobanu (J. Membr. Comput., 2019)

On the Foundations of Finitely Supported Sets. - Andrei Alexandru; Gabriel Ciobanu (J. Multiple Valued Log. Soft Comput., 2019)

De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. - Ross Horne; Alwen Tiu; Bogdan Aman; Gabriel Ciobanu (ACM Trans. Comput. Log., 2019)

Foundations of Finitely Supported Structures - A Set Theoretical Viewpoint - Andrei Alexandru; Gabriel Ciobanu (Springer, 2020)

Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. - Bogdan Aman; Gabriel Ciobanu (SOFSEM, 2020)

A Study of Multiparty Interactions in Continuation Semantics. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2020)

Mobile Membranes. - Bogdan Aman; Gabriel Ciobanu (IEEE Access, 2020)

Properties of the atoms in finitely supported structures. - Andrei Alexandru; Gabriel Ciobanu (Arch. Math. Log., 2020)

Imprecise Probability for Multiparty Session Types in Process Algebra. - Bogdan Aman; Gabriel Ciobanu (CoRR, 2020)

Fixed point results for finitely supported algebraic structures. - Andrei Alexandru; Gabriel Ciobanu (Fuzzy Sets Syst., 2020)

Spiking Neural P Systems with Astrocytes Producing Calcium. - Bogdan Aman; Gabriel Ciobanu (Int. J. Neural Syst., 2020)

Mutual exclusion and reversibility in reaction systems. - Bogdan Aman; Gabriel Ciobanu (J. Membr. Comput., 2020)

Reversible computation in nature inspired rule-based systems. - Bogdan Aman; Gabriel Ciobanu (J. Membr. Comput., 2020)

Relaxing the Fraenkel-Mostowski Set Theory. - Andrei Alexandru; Gabriel Ciobanu (J. Multiple Valued Log. Soft Comput., 2020)

Local time membrane systems and time Petri nets. - Bogdan Aman; Péter Battyányi; Gabriel Ciobanu; György Vaszil (Theor. Comput. Sci., 2020)

Reversibility in Chemical Reactions. - Stefan Kuhn 001; Bogdan Aman; Gabriel Ciobanu; Anna Philippou; Kyriaki Psara; Irek Ulidowski (Selected Results of the COST Action IC1405, 2020)

Foundations of Reversible Computation. - Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Lukasz Mikulski; Rajagopal Nagarajan; Iain C. C. Phillips; G. Michele Pinna; et al. (Selected Results of the COST Action IC1405, 2020)

What does P mean in Natural Computing? - Gabriel Ciobanu (Int. J. Comput. Commun. Control, 2020)

Computation with cells enhanced by costs. - Bogdan Aman; Gabriel Ciobanu (SAC, 2021)

Essentials of Finitely Supported Structures. - Andrei Alexandru; Gabriel Ciobanu (Bull. EATCS, 2021)

Type inference for hierarchical multiset structures in rule-based systems. - Bogdan Aman; Gabriel Ciobanu (Inf. Sci., 2021)

Travelling salesman problem in tissue P systems with costs. - Bogdan Aman; Gabriel Ciobanu (J. Membr. Comput., 2021)

Memory associated with membranes systems. - Gabriel Ciobanu; G. Michele Pinna (J. Membr. Comput., 2021)

Finitely Supported Binary Relations between Infinite Atomic Sets. - Andrei Alexandru; Gabriel Ciobanu (Symmetry, 2021)

Synchronization operator for communication privacy. - Bogdan Aman; Gabriel Ciobanu (SAC, 2022)

Interval Probability for Sessions Types. - Bogdan Aman; Gabriel Ciobanu (WoLLIC, 2022)

Various forms of infinity for finitely supported structures. - Andrei Alexandru; Gabriel Ciobanu (Arch. Math. Log., 2022)

A Hypergraph Model for Communication Patterns. - Gabriel Ciobanu (Axioms, 2022)

New Editorial Team for SACS after 16 Years. - Bogdan Aman; Gabriel Ciobanu (Sci. Ann. Comput. Sci., 2022)

Reflections on a Scientific Journal. - Gabriel Ciobanu (Sci. Ann. Comput. Sci., 2022)

Dynamics of reputation in mobile agents systems and weighted timed automata. - Bogdan Aman; Gabriel Ciobanu (Inf. Comput., 2022)

The power of synchronizing rules in membrane computing. - Bogdan Aman; Gabriel Ciobanu (Inf. Sci., 2022)

A process calculus for spiking neural P systems. - Gabriel Ciobanu; Eneia Nicolae Todoran (Inf. Sci., 2022)

Stochastic sharing calculus for reasoning about social networks. - Bogdan Aman; Gabriel Ciobanu (J. Log. Comput., 2022)

A Teacher of Great Strengths. - Gabriel Ciobanu (Sci. Ann. Comput. Sci., 2023)

Fixed Point Results for Infinite Fuzzy Sets with Atoms. - Andrei Alexandru; Gabriel Ciobanu (J. Multiple Valued Log. Soft Comput., 2023)

Spiking neural P systems and their semantics in Haskell. - Gabriel Ciobanu; Eneia Nicolae Todoran (Nat. Comput., 2023)

Variants of spiking neural P systems and their operational semantics in Haskell. - Gabriel Ciobanu; Eneia Nicolae Todoran (J. Membr. Comput., 2023)

Relating randomized right-hand sides to communicating rewriting rules. - Bogdan Aman; Gabriel Ciobanu (Theor. Comput. Sci., 2023)

Behavioural Equivalences over Reconfigurable Systems. - Bogdan Aman; Gabriel Ciobanu (SEFM, 2024)

Generalized Multisets Over Infinite Alphabets with Atoms. - Andrei Alexandru; Gabriel Ciobanu (SYNASC, 2024)

Abstract Continuation Semantics for a Biologically-Inspired Formalism. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2024)

Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS. - Eneia Nicolae Todoran; Gabriel Ciobanu (FROM, 2024)

Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing. - Bogdan Aman; Gabriel Ciobanu (Comput. Sci. J. Moldova, 2024)

Solving subset sum and SAT problems by reaction systems. - Bogdan Aman; Gabriel Ciobanu (Nat. Comput., 2024)

Finite Sets - What Kind of Finite? - Andrei Alexandru; Gabriel Ciobanu (Symmetry, 2024)

Arithmetic abilities of SNP systems with astrocytes producing calcium. - Bogdan Aman; Gabriel Ciobanu (Neural Networks, 2025)