Gabriel Ciobanu

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 74

Top Venues

SYNASC

Sci. Ann. Comput. Sci.

J. Membr. Comput.

Int. Conf. on Membrane Computing

Publications

Bogdan Aman, Gabriel Ciobanu
Solving subset sum and SAT problems by reaction systems. Nat. Comput. 23 (2) (2024)
Andrei Alexandru, Gabriel Ciobanu
Finite Sets - What Kind of Finite? Symmetry 16 (6) (2024)
Bogdan Aman, Gabriel Ciobanu
Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing. Comput. Sci. J. Moldova 32 (1) (2024)
Gabriel Ciobanu, Eneia Nicolae Todoran
Spiking neural P systems and their semantics in Haskell. Nat. Comput. 22 (1) (2023)
Bogdan Aman, Gabriel Ciobanu
Relating randomized right-hand sides to communicating rewriting rules. Theor. Comput. Sci. 971 (2023)
Gabriel Ciobanu
A Teacher of Great Strengths. Sci. Ann. Comput. Sci. 33 (1) (2023)
Andrei Alexandru, Gabriel Ciobanu
Fixed Point Results for Infinite Fuzzy Sets with Atoms. J. Multiple Valued Log. Soft Comput. 40 (1-2) (2023)
Gabriel Ciobanu, Eneia Nicolae Todoran
Variants of spiking neural P systems and their operational semantics in Haskell. J. Membr. Comput. 5 (2) (2023)
Bogdan Aman, Gabriel Ciobanu
Stochastic sharing calculus for reasoning about social networks. J. Log. Comput. 32 (6) (2022)
Gabriel Ciobanu, Eneia Nicolae Todoran
A process calculus for spiking neural P systems. Inf. Sci. 604 (2022)
Bogdan Aman, Gabriel Ciobanu
Synchronization operator for communication privacy. SAC (2022)
Bogdan Aman, Gabriel Ciobanu
Interval Probability for Sessions Types. WoLLIC (2022)
Bogdan Aman, Gabriel Ciobanu
The power of synchronizing rules in membrane computing. Inf. Sci. 594 (2022)
Andrei Alexandru, Gabriel Ciobanu
Various forms of infinity for finitely supported structures. Arch. Math. Log. 61 (1) (2022)
Gabriel Ciobanu
Reflections on a Scientific Journal. Sci. Ann. Comput. Sci. 32 (1) (2022)
Bogdan Aman, Gabriel Ciobanu
Dynamics of reputation in mobile agents systems and weighted timed automata. Inf. Comput. 282 (2022)
Bogdan Aman, Gabriel Ciobanu
New Editorial Team for SACS after 16 Years. Sci. Ann. Comput. Sci. 32 (2) (2022)
Gabriel Ciobanu
A Hypergraph Model for Communication Patterns. Axioms 11 (1) (2022)
Bogdan Aman, Gabriel Ciobanu
Computation with cells enhanced by costs. SAC (2021)
Andrei Alexandru, Gabriel Ciobanu
Finitely Supported Binary Relations between Infinite Atomic Sets. Symmetry 13 (11) (2021)
Gabriel Ciobanu, G. Michele Pinna
Memory associated with membranes systems. J. Membr. Comput. 3 (2) (2021)
Bogdan Aman, Gabriel Ciobanu
Travelling salesman problem in tissue P systems with costs. J. Membr. Comput. 3 (2) (2021)
Andrei Alexandru, Gabriel Ciobanu
Essentials of Finitely Supported Structures. Bull. EATCS 133 (2021)
Bogdan Aman, Gabriel Ciobanu
Type inference for hierarchical multiset structures in rule-based systems. Inf. Sci. 580 (2021)
Bogdan Aman, Gabriel Ciobanu
Mutual exclusion and reversibility in reaction systems. J. Membr. Comput. 2 (3) (2020)
Bogdan Aman, Gabriel Ciobanu
Spiking Neural P Systems with Astrocytes Producing Calcium. Int. J. Neural Syst. 30 (12) (2020)
Bogdan Aman, Gabriel Ciobanu
Mobile Membranes. IEEE Access 8 (2020)
Gabriel Ciobanu
What does P mean in Natural Computing? Int. J. Comput. Commun. Control 15 (6) (2020)
Bogdan Aman, Gabriel Ciobanu
Imprecise Probability for Multiparty Session Types in Process Algebra. CoRR (2020)
Andrei Alexandru, Gabriel Ciobanu
Properties of the atoms in finitely supported structures. Arch. Math. Log. 59 (1-2) (2020)
Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
Local time membrane systems and time Petri nets. Theor. Comput. Sci. 805 (2020)
Bogdan Aman, Gabriel Ciobanu
Reversible computation in nature inspired rule-based systems. J. Membr. Comput. 2 (4) (2020)
Andrei Alexandru, Gabriel Ciobanu
Relaxing the Fraenkel-Mostowski Set Theory. J. Multiple Valued Log. Soft Comput. 34 (5-6) (2020)
Andrei Alexandru, Gabriel Ciobanu
Fixed point results for finitely supported algebraic structures. Fuzzy Sets Syst. 397 (2020)
Bogdan Aman, Gabriel Ciobanu
Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. SOFSEM (2020)
Gabriel Ciobanu, Eneia Nicolae Todoran
A Study of Multiparty Interactions in Continuation Semantics. SYNASC (2020)
Bogdan Aman, Gabriel Ciobanu
Synchronization of rules in membrane computing. J. Membr. Comput. 1 (4) (2019)
Bogdan Aman, Gabriel Ciobanu
Verification of Multi-agent Systems with Timeouts for Migration and Communication. ICTAC (2019)
Bogdan Aman, Gabriel Ciobanu
Probabilities in Session Types. FROM (2019)
Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. ACM Trans. Comput. Log. 20 (4) (2019)
Andrei Alexandru, Gabriel Ciobanu
Finitely Supported Sets Containing Infinite Uniformly Supported Subsets. FROM (2019)
Andrei Alexandru, Gabriel Ciobanu
On the Foundations of Finitely Supported Sets. J. Multiple Valued Log. Soft Comput. 32 (5-6) (2019)
Andrei Alexandru, Gabriel Ciobanu
Fuzzy sets within Finitely Supported Mathematics. Fuzzy Sets Syst. 339 (2018)
Bogdan Aman, Gabriel Ciobanu
Bonding calculus. Nat. Comput. 17 (4) (2018)
Bogdan Aman, Gabriel Ciobanu
Solving the N-Queens Puzzle by Using Few Membranes. Enjoying Natural Computing (2018)
Gabriel Ciobanu, Eneia Nicolae Todoran
A Semantic Investigation of Spiking Neural P Systems. Int. Conf. on Membrane Computing (2018)
Gabriel Ciobanu
High-Level Koutny Net. Sci. Ann. Comput. Sci. 28 (2) (2018)
Bogdan Aman, Gabriel Ciobanu
Analyzing the Shared Information in Social Networks. EDCC (2018)
Gabriel Ciobanu, Eneia Nicolae Todoran
On the Abstractness of Continuation Semantics. SYNASC (2018)
Bogdan Aman, Gabriel Ciobanu
Adaptive P Systems. Int. Conf. on Membrane Computing (2018)
Andrei Alexandru, Gabriel Ciobanu
Order Relations Over Finitely Supported Structures. SYNASC (2018)
Gabriel Ciobanu, Cristian Vaideanu
A note on similarity relations between fuzzy attribute-oriented concept lattices. Inf. Sci. (2018)
Bogdan Aman, Gabriel Ciobanu
Controlled Reversibility in Reaction Systems. Int. Conf. on Membrane Computing (2017)
Gabriel Ciobanu, Cristian Vaideanu
An efficient method to factorize fuzzy attribute-oriented concept lattices. Fuzzy Sets Syst. 317 (2017)
Gabriel Ciobanu, Eneia Nicolae Todoran
Denotational semantics of membrane systems by using complete metric spaces. Theor. Comput. Sci. 701 (2017)
Bogdan Aman, Gabriel Ciobanu
Reversibility in Parallel Rewriting Systems. J. Univers. Comput. Sci. 23 (7) (2017)
Bogdan Aman, Gabriel Ciobanu
Verification of critical systems described in real-time TiMo. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Gabriel Ciobanu, Eneia Nicolae Todoran
Abstract Continuation Semantics for Asynchronous Concurrency. SYNASC (2017)
Bogdan Aman, Gabriel Ciobanu
Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. VECoS (2017)
Bogdan Aman, Gabriel Ciobanu
Efficiently solving the Bin Packing problem through bio-inspired mobility. Acta Informatica 54 (4) (2017)
Bogdan Aman, Gabriel Ciobanu
Verification of distributed systems involving bounded-time migration. Int. J. Crit. Comput. Based Syst. 7 (3) (2017)
Bogdan Aman, Gabriel Ciobanu
Modelling and verification of weighted spiking neural systems. Theor. Comput. Sci. 623 (2016)
Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
Private Names in Non-Commutative Logic. CONCUR (2016)
Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
A descriptive type foundation for RDF Schema. J. Log. Algebraic Methods Program. 85 (5) (2016)
Gabriel Ciobanu, Armand Stefan Rotaru
Verifying vehicle control systems by using process calculi. Int. J. Ad Hoc Ubiquitous Comput. 21 (1) (2016)
Danut Rusu, Gabriel Ciobanu
Essential and density topologies of continuous domains. Ann. Pure Appl. Log. 167 (9) (2016)
Gabriel Ciobanu, Eneia Nicolae Todoran
Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. SYNASC (2016)
Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
Simulating P systems with membrane dissolution in a chemical calculus. Nat. Comput. 15 (4) (2016)
Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
Private Names in Non-Commutative Logic. CoRR (2016)
Andrei Alexandru, Gabriel Ciobanu
Pawlak Approximations in the Framework of Nominal Sets. J. Multiple Valued Log. Soft Comput. 26 (3-5) (2016)
Bogdan Aman, Gabriel Ciobanu
Computational Power of Protein Networks. Int. Conf. on Membrane Computing (2016)
Gabriel Ciobanu, Eneia Nicolae Todoran
Continuation Passing Semantics for Membrane Systems. Int. Conf. on Membrane Computing (2016)
Andrei Alexandru, Gabriel Ciobanu
Abstract Interpretations in the Framework of Invariant Sets. Fundam. Informaticae 144 (1) (2016)
Gabriel Ciobanu, Eneia Nicolae Todoran
Correct metric semantics for a language inspired by DNA computing. Concurr. Comput. Pract. Exp. 28 (11) (2016)
Bogdan Aman, Gabriel Ciobanu
Automated Verification of Stochastic Spiking Neural P Systems. Int. Conf. on Membrane Computing (2015)
Gabriel Ciobanu
Timeout Interaction and Migration in Distributed Systems. VECoS (2015)
Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles
Strategy based semantics for mobility with time and access permissions. Formal Aspects Comput. 27 (3) (2015)
Bogdan Aman, Gabriel Ciobanu
Mobility Types for Cloud Computing. EGC (2015)
Bogdan Aman, Gabriel Ciobanu
Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model. ICTERI (Revised Selected Papers) (2015)
Bogdan Aman, Gabriel Ciobanu
Natural Computing Modelling of the Polynomial Space Turing Machines. ICTERI (2015)
Bogdan Aman, Gabriel Ciobanu
Verification of Bounded Real-Time Distributed Systems With Mobility. VECoS (2015)
Gabriel Ciobanu, Eneia Nicolae Todoran
Continuation Semantics for Dynamic Hierarchical Systems. SYNASC (2015)
Andrei Alexandru, Gabriel Ciobanu
Static Analysis in Finitely Supported Mathematics. SYNASC (2015)
Bogdan Aman, Gabriel Ciobanu
Timed Mobility and Timed Communication for Critical Systems. FMICS (2015)
Bogdan Aman, Gabriel Ciobanu
Verification of membrane systems with delays via Petri nets with delays. Theor. Comput. Sci. 598 (2015)
Bogdan Aman, Gabriel Ciobanu
BioMaxP: A Formal Approach for Cellular Ion Pumps. Comput. Sci. J. Moldova 23 (2) (2015)
Gabriel Ciobanu, Eneia Nicolae Todoran
Continuation Semantics for Concurrency with Multiple Channels Communication. ICFEM (2015)
Gabriel Ciobanu, Ross Horne
Behavioural Analysis of Sessions Using the Calculus of Structures. Ershov Memorial Conference (2015)
Andrei Alexandru, Gabriel Ciobanu
Main Steps in Defining Finitely Supported Mathematics. ICTERI (Revised Selected Papers) (2015)
Gabriel Ciobanu, Maciej Koutny
PerTiMo: A Model of Spatial Migration with Safe Access Permissions. Comput. J. 58 (5) (2015)
Gabriel Ciobanu
A Grand Master of Discrete Mathematics. Sci. Ann. Comput. Sci. 25 (1) (2015)
Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
Minimal type inference for Linked Data consumers. J. Log. Algebraic Methods Program. 84 (4) (2015)
Andrei Alexandru, Gabriel Ciobanu
Generalized Multisets: From ZF to FSM. Comput. Informatics 34 (5) (2015)
Gabriel Ciobanu, Cristian Vaideanu
Similarity relations in fuzzy attribute-oriented concept lattices. Fuzzy Sets Syst. 275 (2015)
Bogdan Aman, Gabriel Ciobanu
Behavioural observations of cell movements with timing aspects. Nano Commun. Networks 6 (3) (2015)
Andrei Alexandru, Gabriel Ciobanu
Dening Finitely Supported Mathematics over Sets with Atoms. ICTERI (2015)
Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu
From TiMo to Event-B: Event-Driven Timed Mobility. ICECCS (2014)
Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
Descriptive Types for Linked Data Resources. Ershov Memorial Conference (2014)
Gabriel Ciobanu, Dan Cojocar
Expressing BBUFs Lookup Using the π-Calculus. SYNASC (2014)
Oana Agrigoroaiei, Gabriel Ciobanu
Rewriting Systems Over Indexed Multisets. Comput. J. 57 (1) (2014)

Gabriel Ciobanu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gabriel Ciobanu