Gabriel Ciobanu

293 papers B 14C 28Misc 42Journal 124Unranked 72

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Arithmetic abilities of SNP systems with astrocytes producing calcium. Neural Networks Bogdan Aman, Gabriel Ciobanu
2025	J	`jnl`	Reaction systems with nondeterministic behaviour. Nat. Comput. Bogdan Aman, Gabriel Ciobanu
2025	J	`jnl`	Safety of Uncertain Session Types with Interval Probability. Symmetry Bogdan Aman, Gabriel Ciobanu
2024	—	`conf`	Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS. FROM Eneia Nicolae Todoran, Gabriel Ciobanu
2024	Misc	`conf`	Abstract Continuation Semantics for a Biologically-Inspired Formalism. SYNASC Gabriel Ciobanu, Eneia Nicolae Todoran
2024	B	`conf`	Behavioural Equivalences over Reconfigurable Systems. SEFM Bogdan Aman, Gabriel Ciobanu
2024	J	`jnl`	Finite Sets - What Kind of Finite? Symmetry Andrei Alexandru, Gabriel Ciobanu
2024	J	`jnl`	Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing. Comput. Sci. J. Moldova Bogdan Aman, Gabriel Ciobanu
2024	Misc	`conf`	Generalized Multisets Over Infinite Alphabets with Atoms. SYNASC Andrei Alexandru, Gabriel Ciobanu
2024	J	`jnl`	Group-Valued Multisets. Axioms Andrei Alexandru, Gabriel Ciobanu
2024	J	`jnl`	Solving subset sum and SAT problems by reaction systems. Nat. Comput. Bogdan Aman, Gabriel Ciobanu
2023	J	`jnl`	A Teacher of Great Strengths. Sci. Ann. Comput. Sci. Gabriel Ciobanu
2023	J	`jnl`	Fixed Point Results for Infinite Fuzzy Sets with Atoms. J. Multiple Valued Log. Soft Comput. Andrei Alexandru, Gabriel Ciobanu
2023	J	`jnl`	Relating randomized right-hand sides to communicating rewriting rules. Theor. Comput. Sci. Bogdan Aman, Gabriel Ciobanu
2023	J	`jnl`	Spiking neural P systems and their semantics in Haskell. Nat. Comput. Gabriel Ciobanu, Eneia Nicolae Todoran
2023	J	`jnl`	Variants of spiking neural P systems and their operational semantics in Haskell. J. Membr. Comput. Gabriel Ciobanu, Eneia Nicolae Todoran
2022	J	`jnl`	A Hypergraph Model for Communication Patterns. Axioms Gabriel Ciobanu
2022	J	`jnl`	A process calculus for spiking neural P systems. Inf. Sci. Gabriel Ciobanu, Eneia Nicolae Todoran
2022	J	`jnl`	Dynamics of reputation in mobile agents systems and weighted timed automata. Inf. Comput. Bogdan Aman, Gabriel Ciobanu
2022	C	`conf`	Interval Probability for Sessions Types. WoLLIC Bogdan Aman, Gabriel Ciobanu
2022	J	`jnl`	New Editorial Team for SACS after 16 Years. Sci. Ann. Comput. Sci. Bogdan Aman, Gabriel Ciobanu
2022	J	`jnl`	Reflections on a Scientific Journal. Sci. Ann. Comput. Sci. Gabriel Ciobanu
2022	J	`jnl`	Stochastic sharing calculus for reasoning about social networks. J. Log. Comput. Bogdan Aman, Gabriel Ciobanu
2022	Misc	`conf`	Synchronization operator for communication privacy. SAC Bogdan Aman, Gabriel Ciobanu
2022	J	`jnl`	The power of synchronizing rules in membrane computing. Inf. Sci. Bogdan Aman, Gabriel Ciobanu
2022	J	`jnl`	Various forms of infinity for finitely supported structures. Arch. Math. Log. Andrei Alexandru, Gabriel Ciobanu
2021	Misc	`conf`	Computation with cells enhanced by costs. SAC Bogdan Aman, Gabriel Ciobanu
2021	J	`jnl`	Essentials of Finitely Supported Structures. Bull. EATCS Andrei Alexandru, Gabriel Ciobanu
2021	J	`jnl`	Finitely Supported Binary Relations between Infinite Atomic Sets. Symmetry Andrei Alexandru, Gabriel Ciobanu
2021	J	`jnl`	Memory associated with membranes systems. J. Membr. Comput. Gabriel Ciobanu, G. Michele Pinna
2021	J	`jnl`	Travelling salesman problem in tissue P systems with costs. J. Membr. Comput. Bogdan Aman, Gabriel Ciobanu
2021	J	`jnl`	Type inference for hierarchical multiset structures in rule-based systems. Inf. Sci. Bogdan Aman, Gabriel Ciobanu
2020	Misc	`conf`	A Study of Multiparty Interactions in Continuation Semantics. SYNASC Gabriel Ciobanu, Eneia Nicolae Todoran
2020	B	`conf`	Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. SOFSEM Bogdan Aman, Gabriel Ciobanu
2020	J	`jnl`	Fixed point results for finitely supported algebraic structures. Fuzzy Sets Syst. Andrei Alexandru, Gabriel Ciobanu
2020	—	`book`	Foundations of Finitely Supported Structures - A Set Theoretical Viewpoint Andrei Alexandru, Gabriel Ciobanu
2020	—	`ch.`	Foundations of Reversible Computation. Selected Results of the COST Action IC1405 Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2020	J	`jnl`	Imprecise Probability for Multiparty Session Types in Process Algebra. CoRR Bogdan Aman, Gabriel Ciobanu
2020	J	`jnl`	Local time membrane systems and time Petri nets. Theor. Comput. Sci. Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
2020	J	`jnl`	Mobile Membranes. IEEE Access Bogdan Aman, Gabriel Ciobanu
2020	J	`jnl`	Mutual exclusion and reversibility in reaction systems. J. Membr. Comput. Bogdan Aman, Gabriel Ciobanu
2020	J	`jnl`	Properties of the atoms in finitely supported structures. Arch. Math. Log. Andrei Alexandru, Gabriel Ciobanu
2020	J	`jnl`	Relaxing the Fraenkel-Mostowski Set Theory. J. Multiple Valued Log. Soft Comput. Andrei Alexandru, Gabriel Ciobanu
2020	—	`ch.`	Reversibility in Chemical Reactions. Selected Results of the COST Action IC1405 Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski
2020	J	`jnl`	Reversible computation in nature inspired rule-based systems. J. Membr. Comput. Bogdan Aman, Gabriel Ciobanu
2020	J	`jnl`	Spiking Neural P Systems with Astrocytes Producing Calcium. Int. J. Neural Syst. Bogdan Aman, Gabriel Ciobanu
2020	J	`jnl`	What does P mean in Natural Computing? Int. J. Comput. Commun. Control Gabriel Ciobanu
2019	J	`jnl`	De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. ACM Trans. Comput. Log. Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
2019	—	`conf`	Finitely Supported Sets Containing Infinite Uniformly Supported Subsets. FROM Andrei Alexandru, Gabriel Ciobanu
2019	J	`jnl`	On the Foundations of Finitely Supported Sets. J. Multiple Valued Log. Soft Comput. Andrei Alexandru, Gabriel Ciobanu
2019	—	`conf`	Probabilities in Session Types. FROM Bogdan Aman, Gabriel Ciobanu
2019	J	`jnl`	Synchronization of rules in membrane computing. J. Membr. Comput. Bogdan Aman, Gabriel Ciobanu
2019	C	`conf`	Verification of Multi-agent Systems with Timeouts for Migration and Communication. ICTAC Bogdan Aman, Gabriel Ciobanu
2018	—	`conf`	A Semantic Investigation of Spiking Neural P Systems. Int. Conf. on Membrane Computing Gabriel Ciobanu, Eneia Nicolae Todoran
2018	J	`jnl`	A note on similarity relations between fuzzy attribute-oriented concept lattices. Inf. Sci. Gabriel Ciobanu, Cristian Vaideanu
2018	—	`conf`	Adaptive P Systems. Int. Conf. on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2018	Misc	`conf`	Analyzing the Shared Information in Social Networks. EDCC Bogdan Aman, Gabriel Ciobanu
2018	J	`jnl`	Bonding calculus. Nat. Comput. Bogdan Aman, Gabriel Ciobanu
2018	J	`jnl`	Fuzzy sets within Finitely Supported Mathematics. Fuzzy Sets Syst. Andrei Alexandru, Gabriel Ciobanu
2018	J	`jnl`	High-Level Koutny Net. Sci. Ann. Comput. Sci. Gabriel Ciobanu
2018	Misc	`conf`	On the Abstractness of Continuation Semantics. SYNASC Gabriel Ciobanu, Eneia Nicolae Todoran
2018	Misc	`conf`	Order Relations Over Finitely Supported Structures. SYNASC Andrei Alexandru, Gabriel Ciobanu
2018	—	`conf`	Solving the N-Queens Puzzle by Using Few Membranes. Enjoying Natural Computing Bogdan Aman, Gabriel Ciobanu
2017	Misc	`conf`	Abstract Continuation Semantics for Asynchronous Concurrency. SYNASC Gabriel Ciobanu, Eneia Nicolae Todoran
2017	J	`jnl`	An efficient method to factorize fuzzy attribute-oriented concept lattices. Fuzzy Sets Syst. Gabriel Ciobanu, Cristian Vaideanu
2017	C	`conf`	Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. VECoS Bogdan Aman, Gabriel Ciobanu
2017	—	`conf`	Controlled Reversibility in Reaction Systems. Int. Conf. on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2017	J	`jnl`	Denotational semantics of membrane systems by using complete metric spaces. Theor. Comput. Sci. Gabriel Ciobanu, Eneia Nicolae Todoran
2017	J	`jnl`	Efficiently solving the Bin Packing problem through bio-inspired mobility. Acta Informatica Bogdan Aman, Gabriel Ciobanu
2017	J	`jnl`	Reversibility in Parallel Rewriting Systems. J. Univers. Comput. Sci. Bogdan Aman, Gabriel Ciobanu
2017	J	`jnl`	Verification of critical systems described in real-time TiMo. Int. J. Softw. Tools Technol. Transf. Bogdan Aman, Gabriel Ciobanu
2017	J	`jnl`	Verification of distributed systems involving bounded-time migration. Int. J. Crit. Comput. Based Syst. Bogdan Aman, Gabriel Ciobanu
2016	J	`jnl`	A descriptive type foundation for RDF Schema. J. Log. Algebraic Methods Program. Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2016	J	`jnl`	Abstract Interpretations in the Framework of Invariant Sets. Fundam. Informaticae Andrei Alexandru, Gabriel Ciobanu
2016	—	`conf`	Computational Power of Protein Networks. Int. Conf. on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2016	—	`conf`	Continuation Passing Semantics for Membrane Systems. Int. Conf. on Membrane Computing Gabriel Ciobanu, Eneia Nicolae Todoran
2016	Misc	`conf`	Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. SYNASC Gabriel Ciobanu, Eneia Nicolae Todoran
2016	J	`jnl`	Correct metric semantics for a language inspired by DNA computing. Concurr. Comput. Pract. Exp. Gabriel Ciobanu, Eneia Nicolae Todoran
2016	J	`jnl`	Essential and density topologies of continuous domains. Ann. Pure Appl. Log. Danut Rusu, Gabriel Ciobanu
2016	—	`book`	Finitely Supported Mathematics - An Introduction Andrei Alexandru, Gabriel Ciobanu
2016	J	`jnl`	Modelling and verification of weighted spiking neural systems. Theor. Comput. Sci. Bogdan Aman, Gabriel Ciobanu
2016	J	`jnl`	Pawlak Approximations in the Framework of Nominal Sets. J. Multiple Valued Log. Soft Comput. Andrei Alexandru, Gabriel Ciobanu
2016	B	`conf`	Private Names in Non-Commutative Logic. CONCUR Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
2016	J	`jnl`	Private Names in Non-Commutative Logic. CoRR Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
2016	J	`jnl`	Simulating P systems with membrane dissolution in a chemical calculus. Nat. Comput. Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
2016	J	`jnl`	Verifying vehicle control systems by using process calculi. Int. J. Ad Hoc Ubiquitous Comput. Gabriel Ciobanu, Armand Stefan Rotaru
2015	J	`jnl`	A Grand Master of Discrete Mathematics. Sci. Ann. Comput. Sci. Gabriel Ciobanu
2015	—	`conf`	Automated Verification of Stochastic Spiking Neural P Systems. Int. Conf. on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2015	—	`conf`	Behavioural Analysis of Sessions Using the Calculus of Structures. Ershov Memorial Conference Gabriel Ciobanu, Ross Horne
2015	J	`jnl`	Behavioural observations of cell movements with timing aspects. Nano Commun. Networks Bogdan Aman, Gabriel Ciobanu
2015	J	`jnl`	BioMaxP: A Formal Approach for Cellular Ion Pumps. Comput. Sci. J. Moldova Bogdan Aman, Gabriel Ciobanu
2015	C	`conf`	Continuation Semantics for Concurrency with Multiple Channels Communication. ICFEM Gabriel Ciobanu, Eneia Nicolae Todoran
2015	Misc	`conf`	Continuation Semantics for Dynamic Hierarchical Systems. SYNASC Gabriel Ciobanu, Eneia Nicolae Todoran
2015	Misc	`conf`	Dening Finitely Supported Mathematics over Sets with Atoms. ICTERI Andrei Alexandru, Gabriel Ciobanu
2015	J	`jnl`	Generalized Multisets: From ZF to FSM. Comput. Informatics Andrei Alexandru, Gabriel Ciobanu
2015	—	`conf`	Main Steps in Defining Finitely Supported Mathematics. ICTERI (Revised Selected Papers) Andrei Alexandru, Gabriel Ciobanu
2015	J	`jnl`	Minimal type inference for Linked Data consumers. J. Log. Algebraic Methods Program. Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2015	—	`conf`	Mobility Types for Cloud Computing. EGC Bogdan Aman, Gabriel Ciobanu
2015	Misc	`conf`	Natural Computing Modelling of the Polynomial Space Turing Machines. ICTERI Bogdan Aman, Gabriel Ciobanu
2015	J	`jnl`	PerTiMo: A Model of Spatial Migration with Safe Access Permissions. Comput. J. Gabriel Ciobanu, Maciej Koutny
2015	J	`jnl`	Similarity relations in fuzzy attribute-oriented concept lattices. Fuzzy Sets Syst. Gabriel Ciobanu, Cristian Vaideanu
2015	—	`conf`	Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model. ICTERI (Revised Selected Papers) Bogdan Aman, Gabriel Ciobanu
2015	Misc	`conf`	Static Analysis in Finitely Supported Mathematics. SYNASC Andrei Alexandru, Gabriel Ciobanu
2015	J	`jnl`	Strategy based semantics for mobility with time and access permissions. Formal Aspects Comput. Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles
2015	C	`conf`	Timed Mobility and Timed Communication for Critical Systems. FMICS Bogdan Aman, Gabriel Ciobanu
2015	C	`conf`	Timeout Interaction and Migration in Distributed Systems. VECoS Gabriel Ciobanu
2015	C	`conf`	Verification of Bounded Real-Time Distributed Systems With Mobility. VECoS Bogdan Aman, Gabriel Ciobanu
2015	J	`jnl`	Verification of membrane systems with delays via Petri nets with delays. Theor. Comput. Sci. Bogdan Aman, Gabriel Ciobanu
2014	Misc	`conf`	A Formal Topology of Web Classification. ICCS Gabriel Ciobanu, Danut Rusu
2014	J	`jnl`	Catalytic and communicating Petri nets are Turing complete. Inf. Comput. Gabriel Ciobanu, G. Michele Pinna
2014	—	`conf`	Computational Power of Chemical Kinetics in Living Cells. BICT Gabriel Ciobanu, Bogdan Aman
2014	J	`jnl`	Continuation Semantics for Asynchronous Concurrency. Fundam. Informaticae Gabriel Ciobanu, Eneia Nicolae Todoran
2014	Misc	`conf`	Correct Metric Semantics for a Biologically-Inspired Formalism. SYNASC Gabriel Ciobanu, Eneia Nicolae Todoran
2014	—	`conf`	Descriptive Types for Linked Data Resources. Ershov Memorial Conference Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2014	Misc	`conf`	Expressing BBUFs Lookup Using the π-Calculus. SYNASC Gabriel Ciobanu, Dan Cojocar
2014	Misc	`conf`	Extracting Threshold Conceptual Structures from Web Documents. ICCS Gabriel Ciobanu, Ross Horne, Cristian Vaideanu
2014	B	`conf`	From TiMo to Event-B: Event-Driven Timed Mobility. ICECCS Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu
2014	J	`jnl`	Monitoring Changes in Dynamic Multiset Systems. Fundam. Informaticae Gabriel Ciobanu, Dragos Sburlan
2014	J	`jnl`	Nominal Groups and Their Homomorphism Theorems. Fundam. Informaticae Andrei Alexandru, Gabriel Ciobanu
2014	—	`conf`	Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes. BICT Bogdan Aman, Gabriel Ciobanu
2014	C	`conf`	PHASE: A Stochastic Formalism for Phase-Type Distributions. ICFEM Gabriel Ciobanu, Armand Stefan Rotaru
2014	—	`conf`	Phase-Type Approximations for Non-Markovian Systems: A Case Study. SEFM Workshops Gabriel Ciobanu, Armand Stefan Rotaru
2014	J	`jnl`	Power of Causal Dependencies in Rule-Based Systems. J. Autom. Lang. Comb. Gabriel Ciobanu, G. Michele Pinna, Dragos Sburlan
2014	J	`jnl`	Rewriting Systems Over Indexed Multisets. Comput. J. Oana Agrigoroaiei, Gabriel Ciobanu
2014	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings ICTAC Gabriel Ciobanu, Dominique Méry
2014	J	`jnl`	Theoretical Aspects of Computing. Sci. Ann. Comput. Sci. Gabriel Ciobanu
2013	C	`conf`	A Probabilistic Logic for pTiMo. ICTAC Gabriel Ciobanu, Armand Stefan Rotaru
2013	Misc	`conf`	Algebraic Properties of Generalized Multisets. SYNASC Andrei Alexandru, Gabriel Ciobanu
2013	B	`conf`	Automatic Analysis of TiMo Systems in PAT. ICECCS Gabriel Ciobanu, Manchun Zheng
2013	—	`conf`	Behavioural Equivalences in Real-Time P Systems. Int. Conf. on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2013	—	`conf`	Behavioural Types Inspired by Cellular Thresholds. SEFM Workshops Bogdan Aman, Gabriel Ciobanu
2013	—	`conf`	Computational Power of Protein Interaction Networks. UCNC Bogdan Aman, Gabriel Ciobanu
2013	J	`jnl`	General patterns of interaction in stochastic fusion. Nat. Comput. Gabriel Ciobanu
2013	—	`conf`	Local Type Checking for Linked Data Consumers. WWV Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2013	C	`conf`	Mobile Membranes: Computability and Complexity. ICTAC Bogdan Aman, Gabriel Ciobanu
2013	Misc	`conf`	Non-interleaving Operational Semantics for Geographically Replicated Databases. SYNASC Gabriel Ciobanu, Ross Horne
2013	B	`conf`	Real-Time Migration Properties of rTiMo Verified in Uppaal. SEFM Bogdan Aman, Gabriel Ciobanu
2013	J	`jnl`	Scenario Based P Systems. Int. J. Unconv. Comput. Gabriel Ciobanu, Dragos Sburlan
2013	Misc	`conf`	Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. ICDCIT Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna
2013	Misc	`conf`	TiMo: Timed Mobility in Distributed Systems. SYNASC Gabriel Ciobanu
2012	—	`conf`	A Provenance Tracking Model for Data Updates FOCLASA Gabriel Ciobanu, Ross Horne
2012	B	`conf`	A Timed Mobility Semantics Based on Rewriting Strategies. SEFM Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles
2012	—	`conf`	An Analysis of Correlative and Static Causality in P Systems. Int. Conf. on Membrane Computing Roberto Pagliarini, Oana Agrigoroaiei, Gabriel Ciobanu, Vincenzo Manca
2012	—	`conf`	Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE Bogdan Aman, Gabriel Ciobanu, Maciej Koutny
2012	C	`conf`	Catalytic Petri Nets Are Turing Complete. LATA Gabriel Ciobanu, G. Michele Pinna
2012	C	`conf`	Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. COORDINATION Bogdan Aman, Gabriel Ciobanu
2012	J	`jnl`	Flexible software architecture and language for mobile agents. Concurr. Comput. Pract. Exp. Gabriel Ciobanu, Calin Juravle
2012	—	`conf`	Mobile Membranes with Objects on Surface as Colored Petri Nets. Int. Conf. on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2012	J	`jnl`	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. Gabriel Ciobanu, Maciej Koutny
2012	Misc	`conf`	Nominal Fusion Calculus. SYNASC Andrei Alexandru, Gabriel Ciobanu
2012	C	`conf`	On the Computability Power of Membrane Systems with Controlled Mobility. CiE Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu
2012	—	`ed.`	Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012. MeCBIC Gabriel Ciobanu
2012	J	`jnl`	Properties of enhanced mobile membranes via coloured Petri nets. Inf. Process. Lett. Bogdan Aman, Gabriel Ciobanu
2012	Misc	`conf`	Relating Two Metric Semantics for Parallel Rewriting of Multisets. SYNASC Gabriel Ciobanu, Eneia Nicolae Todoran
2012	Misc	`conf`	Timed Catalytic Petri Nets. SYNASC Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna
2011	—	`conf`	A S DCFS Shankara Narayanan Krishna, Gabriel Ciobanu
2011	—	`conf`	A Temporal Logic for Mutual Mobile Membranes with Objects on Surface. Computation, Cooperation, and Life Bogdan Aman, Gabriel Ciobanu
2011	J	`jnl`	Biologically Inspired Process Calculi, Petri Nets and Membrane Computing CoRR Gabriel Ciobanu
2011	C	`conf`	Computability Power of Mobility in Enhanced Mobile Membranes. CiE Shankara Narayanan Krishna, Gabriel Ciobanu
2011	J	`jnl`	Enhanced Mobile Membranes: Computability Results. Theory Comput. Syst. Gabriel Ciobanu, Shankara Narayanan Krishna
2011	Misc	`conf`	Metric Denotational Semantics for Parallel Rewriting of Multisets. SYNASC Gabriel Ciobanu, Eneia Nicolae Todoran
2011	—	`book`	Mobility in Process Calculi and Natural Computing Bogdan Aman, Gabriel Ciobanu
2011	J	`jnl`	Mutual mobile membranes with objects on surface. Nat. Comput. Bogdan Aman, Gabriel Ciobanu
2011	Misc	`conf`	Nominal Semantics of the pi I-calculus. SYNASC Andrei Alexandru, Gabriel Ciobanu
2011	J	`jnl`	Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011) CoRR Gabriel Ciobanu
2011	—	`conf`	Quantitative Causality in Membrane Systems. Int. Conf. on Membrane Computing Oana Agrigoroaiei, Gabriel Ciobanu
2011	J	`jnl`	Semantics, Causality and Mobility in Membrane Computing. ERCIM News Oana Agrigoroaiei, Bogdan Aman, Gabriel Ciobanu
2011	J	`jnl`	Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. Acta Informatica Bogdan Aman, Gabriel Ciobanu
2011	—	`conf`	Time Delays in Membrane Systems and Petri Nets QAPL Bogdan Aman, Gabriel Ciobanu
2011	B	`conf`	Timed Migration and Interaction with Access Permissions. FM Gabriel Ciobanu, Maciej Koutny
2011	J	`jnl`	Timed Mobility in process algebra and Petri nets. J. Log. Algebraic Methods Program. Gabriel Ciobanu, Maciej Koutny
2010	J	`jnl`	Adding Lifetime to Objects and Membranes in P Systems. Int. J. Comput. Commun. Control Bogdan Aman, Gabriel Ciobanu
2010	J	`jnl`	Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. Scholarpedia Bogdan Aman, Gabriel Ciobanu
2010	Misc	`conf`	Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. SYNASC Gabriel Ciobanu, Eneia Nicolae Todoran
2010	Misc	`conf`	Finding Network Resources by Using Mobile Agents. IDC Gabriel Ciobanu
2010	—	`conf`	Flattening the Transition P Systems with Dissolution. Int. Conf. on Membrane Computing Oana Agrigoroaiei, Gabriel Ciobanu
2010	C	`conf`	Formalizing the Behavior of Biological Processes with Mobility. UC Bogdan Aman, Gabriel Ciobanu
2010	Misc	`conf`	Mobile Agents with Timers, and Their Implementation. IDC Gabriel Ciobanu, Calin Juravle
2010	—	`conf`	Mobility in Computer Science and in Membrane Systems. Int. Conf. on Membrane Computing Gabriel Ciobanu
2010	—	`ed.`	Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010. MeCBIC Gabriel Ciobanu, Maciej Koutny
2010	J	`jnl`	Reversing computation in membrane systems. J. Log. Algebraic Methods Program. Oana Agrigoroaiei, Gabriel Ciobanu
2010	J	`jnl`	Rule-based and object-based event structures for membrane systems. J. Log. Algebraic Methods Program. Oana Agrigoroaiei, Gabriel Ciobanu
2010	J	`jnl`	Writing as a Form of Freedom and Happiness Celebrating the 60th birthday of Gheorghe Păun. Int. J. Comput. Commun. Control Gabriel Ciobanu
2009	Misc	`conf`	A Methodology for Concurrent Languages Development Based on Denotational Semantics. SYNASC Gabriel Ciobanu, Eneia Nicolae Todoran
2009	—	`conf`	A Software Platform for Timed Mobility and Timed Interaction. FMOODS/FORTE Gabriel Ciobanu, Calin Juravle
2009	J	`jnl`	Complexity of evolution in maximum cooperative P systems. Nat. Comput. Gabriel Ciobanu, Andreas Resios
2009	J	`jnl`	Encodings of Multisets. Int. J. Found. Comput. Sci. Gabriel Ciobanu, Viorel Mihai Gontineac
2009	—	`conf`	Evolving by Maximizing the Number of Rules: Complexity Study. Workshop on Membrane Computing Oana Agrigoroaiei, Gabriel Ciobanu, Andreas Resios
2009	J	`jnl`	Final and sequential behaviours of M-automata. Acta Informatica Gabriel Ciobanu, Sergiu Rudeanu
2009	J	`jnl`	Markov Abstractions for Probabilistic Pi-Calculus. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hugh Anderson, Gabriel Ciobanu
2009	J	`jnl`	Model-based Testing and Analysis of Coordinated Components. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Gabriel Ciobanu, Dorel Lucanu
2009	—	`conf`	Mutual Mobile Membranes with Timers COMPMOD Bogdan Aman, Gabriel Ciobanu
2009	—	`ed.`	Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009. MeCBIC Gabriel Ciobanu
2009	—	`ed.`	Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008 MeCBIC Gabriel Ciobanu
2009	J	`jnl`	Simple, Enhanced and Mutual Mobile Membranes. Trans. Comp. Sys. Biology Bogdan Aman, Gabriel Ciobanu
2009	C	`conf`	Turing Completeness Using Three Mobile Membranes. UC Bogdan Aman, Gabriel Ciobanu
2009	—	`conf`	Typed Membrane Systems. Workshop on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2008	—	`ch.`	Behaviour Equivalences in Timed Distributed pi-Calculus. Software-Intensive Systems and New Computing Paradigms Gabriel Ciobanu
2008	J	`jnl`	Computational Complexity of Simple P Systems. Fundam. Informaticae Gabriel Ciobanu, Andreas Resios
2008	Misc	`conf`	Data Compression on Multisets. Submultiset-Free Codes. SYNASC Cosmin Bonchis, Gabriel Ciobanu, Graiela Ghergu, Cornel Izbasa
2008	—	`conf`	Dual P Systems. Workshop on Membrane Computing Oana Agrigoroaiei, Gabriel Ciobanu
2008	C	`conf`	From Gene Regulation to Stochastic Fusion. UC Gabriel Ciobanu
2008	J	`jnl`	Information Theory over Multisets. Comput. Informatics Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu
2008	B	`conf`	Modelling and Verification of Timed Interaction and Migration. FASE Gabriel Ciobanu, Maciej Koutny
2008	C	`conf`	Non-interleaving Semantics with Causality for Nondeterministic Dataflow. ICTAC Oana Agrigoroaiei, Gabriel Ciobanu
2008	C	`conf`	On the Computational Power of Enhanced Mobile Membranes. CiE Shankara Narayanan Krishna, Gabriel Ciobanu
2008	J	`jnl`	On the relationship between membranes and ambients. Biosyst. Gabriel Ciobanu, Bogdan Aman
2008	—	`conf`	Preface. MeCBIC Gabriel Ciobanu
2008	Misc	`conf`	Resource Competition and Synchronization in Membranes. SYNASC Bogdan Aman, Gabriel Ciobanu
2008	—	`conf`	Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. WRLA Oana Agrigoroaiei, Gabriel Ciobanu
2008	C	`conf`	Timed Mobile Ambients for Network Protocols. FORTE Bogdan Aman, Gabriel Ciobanu
2008	—	`conf`	UTP and Temporal Logic Model Checking. UTP Hugh Anderson, Gabriel Ciobanu, Leo Freitas
2007	J	`jnl`	A rewriting logic framework for operational semantics of membrane systems. Theor. Comput. Sci. Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
2007	—	`conf`	Describing the Immune System Using Enhanced Mobile Membranes. FBTC@CONCUR Bogdan Aman, Gabriel Ciobanu
2007	J	`jnl`	Equivalent Transformations of Automata by Using Behavioural Automata. J. Univers. Comput. Sci. Gabriel Ciobanu, Sergiu Rudeanu
2007	—	`conf`	Events, Causality, and Concurrency in Membrane Systems. Workshop on Membrane Computing Gabriel Ciobanu, Dorel Lucanu
2007	—	`conf`	Interaction in Time and Space. FInCo@ETAPS Gabriel Ciobanu
2007	C	`conf`	Mobile Ambients with Timers and Types. ICTAC Bogdan Aman, Gabriel Ciobanu
2007	—	`conf`	On the Reachability Problem in P Systems with Mobile Membranes. Workshop on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2007	J	`jnl`	P systems with minimal parallelism. Theor. Comput. Sci. Gabriel Ciobanu, Linqiang Pan, Gheorghe Paun, Mario J. Pérez-Jiménez
2007	Misc	`conf`	Structural Properties and Observability in Membrane Systems. SYNASC Bogdan Aman, Gabriel Ciobanu
2007	C	`conf`	Supermetrics over Apartness Lattice-Ordered Semigroup. CCA Gabriel Ciobanu, Danut Rusu
2007	Misc	`conf`	Time and Space Coordination of Mobile Agents. IDC Gabriel Ciobanu
2007	Misc	`conf`	Timers and Proximities for Mobile Ambients. CSR Bogdan Aman, Gabriel Ciobanu
2006	J	`jnl`	"Logic will never be the same again" - Kurt Gödel Centenary. Int. J. Comput. Commun. Control Gabriel Ciobanu
2006	J	`jnl`	A Programming Perspective of the Membrane Systems. Int. J. Comput. Commun. Control Gabriel Ciobanu
2006	C	`conf`	A Topological Approach of the Web Classification. ICTAC Gabriel Ciobanu, Danut Rusu
2006	J	`jnl`	A specification language for coordinated objects. ACM SIGSOFT Softw. Eng. Notes Gabriel Ciobanu, Dorel Lucanu
2006	J	`jnl`	Algebraic and Topological Properties of Apartness Lattice-Ordered Semigroups. J. Multiple Valued Log. Soft Comput. Gabriel Ciobanu, Danut Rusu
2006	—	`book`	Applications of Membrane Computing Applications of Membrane Computing Gabriel Ciobanu, Mario J. Pérez-Jiménez, Gheorghe Paun
2006	Misc	`conf`	Collaborative Agents Interaction Using Message Passing Interface. SYNASC Gabriel Ciobanu
2006	—	`conf`	Coordination and Self-Organization in MultiAgent Systems. ISDA (1) Gabriel Ciobanu
2006	—	`conf`	Coordination by Timers for Channel-Based Anonymous Communications. FOCLASA Gabriel Ciobanu, Cristian Prisacariu
2006	—	`conf`	Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems. Workshop on Membrane Computing Daniela Zaharie, Gabriel Ciobanu
2006	—	`conf`	Encoding Mobile Ambients into the Ershov Memorial Conference Gabriel Ciobanu, Vladimir A. Zakharov
2006	C	`conf`	Encodings and Arithmetic Operations in Membrane Computing. TAMC Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa
2006	—	`conf`	Expressing Control Mechanisms of Membranes by Rewriting Strategies. Workshop on Membrane Computing Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
2006	J	`jnl`	Mealy multiset automata. Int. J. Found. Comput. Sci. Gabriel Ciobanu, Viorel Mihai Gontineac
2006	—	`ch.`	Modeling Cell-Mediated Immunity by Means of P Systems. Applications of Membrane Computing Gabriel Ciobanu
2006	J	`jnl`	New Editorial Team. Sci. Ann. Cuza Univ. Gabriel Ciobanu
2006	Misc	`conf`	Number Encodings and Arithmetics over Multisets. SYNASC Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu
2006	J	`jnl`	On the Branching Complexity of P Systems. Fundam. Informaticae Gabriel Ciobanu, Gheorghe Paun, Mario J. Pérez-Jiménez
2006	—	`conf`	P Machines: An Automata Approach to Membrane Computing. Workshop on Membrane Computing Gabriel Ciobanu, Viorel Mihai Gontineac
2006	J	`jnl`	Theory and applications of P systems. Int. J. Comput. Math. Gabriel Ciobanu
2006	—	`conf`	Timers for Distributed Systems. QAPL Gabriel Ciobanu, Cristian Prisacariu
2006	—	`conf`	Translating Mobile Ambients into P Systems. MeCBIC@ICALP Bogdan Aman, Gabriel Ciobanu
2005	C	`conf`	A Web-Based P Systems Simulator and Its Parallelization. UC Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu
2005	—	`conf`	A specification language for coordinated objects. SAVCBS@ESEC/FSE Gabriel Ciobanu, Dorel Lucanu
2005	—	`conf`	Algebraic and Coalgebraic Aspects of Membrane Computing. Workshop on Membrane Computing Gabriel Ciobanu, Viorel Mihai Gontineac
2005	J	`jnl`	An Automata Description of the Genetic Message Translation. Fundam. Informaticae Gabriel Ciobanu, Viorel Mihai Gontineac
2005	—	`conf`	Operational Semantics and Rewriting Logic in Membrane Computing. SOS@ICALP Oana Andrei, Dorel Lucanu, Gabriel Ciobanu
2005	J	`jnl`	P Transducers. New Gener. Comput. Gabriel Ciobanu, Gheorghe Paun, Gheorghe Stefanescu
2005	J	`jnl`	Performance Analysis and Name Passing Errors in Probabilistic Fusion. Sci. Ann. Cuza Univ. Gabriel Ciobanu, Janardan Misra
2005	—	`conf`	Self-organizing Distribution of Agents over Hosts. ISCIS Gabriel Ciobanu, Danut Rusu
2005	Misc	`ed.`	Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania SYNASC Daniela Zaharie, Dana Petcu, Viorel Negru, Tudor Jebelean, Gabriel Ciobanu, Alexandru Cicortas, Ajith Abraham, Marcin Paprzycki
2005	Misc	`conf`	Specification of Coordinated Objects and Verification of Their Temporal Properties. SYNASC Mihai Danes, Dorel Lucanu, Gabriel Ciobanu
2005	Misc	`conf`	Specifications and Verification of Network Protocols by Process Algebra. SYNASC Gabriel Ciobanu, K. N. Sridhar
2005	—	`conf`	Structural Operational Semantics of P Systems. Workshop on Membrane Computing Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
2005	Misc	`conf`	Theory and Practice of Programming Applied to Membrane Systems. SYNASC Gabriel Ciobanu
2005	—	`conf`	Topological spaces of the web. WWW (Special interest tracks and posters) Gabriel Ciobanu, Danut Rusu
2004	—	`conf`	A P System Description of the Sodium-Potassium Pump. Workshop on Membrane Computing Daniela Besozzi, Gabriel Ciobanu
2004	—	`conf`	Cellular Meta-programming over Membranes. UPP Gabriel Ciobanu, Dorel Lucanu
2004	—	`conf`	Communicating Concurrent Objects in HiddenCCS. WRLA Gabriel Ciobanu, Dorel Lucanu
2004	J	`jnl`	Communication Equivalence Classes in Networks. Comput. Sci. J. Moldova Gabriel Ciobanu, Viorel Mihai Gontineac
2004	—	`conf`	Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra. FORTE Workshops K. N. Sridhar, Gabriel Ciobanu
2004	—	`conf`	Executable Specifications of P Systems. Workshop on Membrane Computing Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
2004	B	`conf`	Model Checking for Object Specifications in Hidden Algebra. VMCAI Dorel Lucanu, Gabriel Ciobanu
2004	—	`book`	Modelling in Molecular Biology Gabriel Ciobanu, Grzegorz Rozenberg
2004	B	`conf`	Relating pi-calculus to Object-Z. ICECCS Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu
2004	B	`conf`	Specification and Verification of Synchronizing Concurrent Objects. IFM Gabriel Ciobanu, Dorel Lucanu
2003	C	`conf`	A Formalism for Distributed Systems with an Accurate Graphical Representation. SNPD Gabriel Ciobanu, Mihai Rotaru
2003	—	`conf`	Discrete Event Systems and Client-Server Model for Signaling Mechanisms. CMSB Gabriel Ciobanu, Dorin Huzum
2003	—	`conf`	P Systems Running on a Cluster of Computers. Workshop on Membrane Computing Gabriel Ciobanu, Guo Wenyuan
2003	—	`conf`	Space and Time over the Web. WWW (Posters) Gabriel Ciobanu, Daniel Dumitriu
2002	B	`conf`	A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites. WISE Sabin C. Buraga, Gabriel Ciobanu
2002	—	`conf`	Client-Server P Systems in Modeling Molecular Interaction. WMC-CdeA Gabriel Ciobanu, Daniel Dumitriu, Dorin Huzum, Gabriel Moruz, Bogdan Tanasa
2002	J	`jnl`	Designing and Developing Multi-Agent Systems. Sci. Ann. Cuza Univ. Sinica Alboaie, Gabriel Ciobanu
2002	J	`jnl`	Gene Expression by Software Mechanisms. Fundam. Informaticae Gabriel Ciobanu, Bogdan Tanasa
2002	—	`conf`	Membrane Systems and Distributed Computing. WMC-CdeA Gabriel Ciobanu, Rahul Desai, Akash Kumar
2002	J	`jnl`	Molecular interaction. Theor. Comput. Sci. Gabriel Ciobanu, Mihai Rotaru
2002	J	`jnl`	P System Software Simulator. Fundam. Informaticae Gabriel Ciobanu, Dorin Paraschiv
2001	C	`conf`	JC-Nets. MCU Gabriel Ciobanu, Mihai Rotaru
2001	—	`conf`	Molecular structures. Where Mathematics, Computer Science, Linguistics and Biology Meet Gabriel Ciobanu
2000	J	`jnl`	A Pi-calculus Machine. J. Univers. Comput. Sci. Gabriel Ciobanu, Mihai Rotaru
2000	—	`conf`	On a Formal Description of the Molecular Processes. Recent Topics in Mathematical and Computational Linguistics Gabriel Ciobanu
1999	—	`conf`	Abstract Structures for Communication between Processes. Ershov Memorial Conference Gabriel Ciobanu, Emanuel Florentin Olariu
1999	B	`ed.`	Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings FCT Gabriel Ciobanu, Gheorghe Paun
1998	—	`conf`	Faithful pi-nets - A graphical representation of the asynchronous pi-calculus . MFCS Workshop on Concurrency Gabriel Ciobanu, Mihai Rotaru
1998	J	`jnl`	Interaction Structures for Communicating Processes. Sci. Ann. Cuza Univ. Gabriel Ciobanu, Emanuel Florentin Olariu
1996	J	`jnl`	The Reflexive Domain of CPO's Ideals. Acta Cybern. Gabriel Ciobanu
1995	J	`jnl`	Dataflow lambda-calculus. Sci. Ann. Cuza Univ. Gabriel Ciobanu
1995	J	`jnl`	On the "rep" construction into pi-nets. Sci. Ann. Cuza Univ. Mihai Rotaru, Gabriel Ciobanu
1992	J	`jnl`	A Model for a lambda-calculus Extended for Dataflow Computation. Sci. Ann. Cuza Univ. Gabriel Ciobanu