Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGabriel Ciobanu
Person information
- affiliation: Romanian Academy, Institute of Computer Science, Iaşi, Romania
- affiliation: A.I. Cuza University, Faculty of Mathematics, Iaşi, Romania
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j109]Andrei Alexandru, Gabriel Ciobanu:
Fixed Point Results for Infinite Fuzzy Sets with Atoms. J. Multiple Valued Log. Soft Comput. 40(1-2): 75-120 (2023)- [j108]Gabriel Ciobanu
, Eneia Nicolae Todoran:
Spiking neural P systems and their semantics in Haskell. Nat. Comput. 22(1): 41-54 (2023) - 2022
- [j107]Andrei Alexandru, Gabriel Ciobanu:
Various forms of infinity for finitely supported structures. Arch. Math. Log. 61(1-2): 173-222 (2022) - [j106]Gabriel Ciobanu:
A Hypergraph Model for Communication Patterns. Axioms 11(1): 8 (2022) - [j105]Gabriel Ciobanu:
Reflections on a Scientific Journal. Sci. Ann. Comput. Sci. 32(1): 1-4 (2022) - [j104]Bogdan Aman, Gabriel Ciobanu:
New Editorial Team for SACS after 16 Years. Sci. Ann. Comput. Sci. 32(2): 181-182 (2022) - [j103]Bogdan Aman, Gabriel Ciobanu:
Dynamics of reputation in mobile agents systems and weighted timed automata. Inf. Comput. 282: 104653 (2022) - [j102]Bogdan Aman, Gabriel Ciobanu:
The power of synchronizing rules in membrane computing. Inf. Sci. 594: 360-370 (2022) - [j101]Gabriel Ciobanu, Eneia Nicolae Todoran:
A process calculus for spiking neural P systems. Inf. Sci. 604: 298-319 (2022) - [j100]Bogdan Aman, Gabriel Ciobanu:
Stochastic sharing calculus for reasoning about social networks. J. Log. Comput. 32(6): 1048-1066 (2022) - [c149]Bogdan Aman, Gabriel Ciobanu:
Synchronization operator for communication privacy. SAC 2022: 1284-1290 - [c148]Bogdan Aman, Gabriel Ciobanu:
Interval Probability for Sessions Types. WoLLIC 2022: 123-140 - 2021
- [j99]Andrei Alexandru, Gabriel Ciobanu:
Essentials of Finitely Supported Structures. Bull. EATCS 133 (2021) - [j98]Bogdan Aman, Gabriel Ciobanu:
Type inference for hierarchical multiset structures in rule-based systems. Inf. Sci. 580: 673-683 (2021) - [j97]Bogdan Aman, Gabriel Ciobanu:
Travelling salesman problem in tissue P systems with costs. J. Membr. Comput. 3(2): 97-104 (2021) - [j96]Gabriel Ciobanu, G. Michele Pinna:
Memory associated with membranes systems. J. Membr. Comput. 3(2): 116-132 (2021) - [j95]Andrei Alexandru, Gabriel Ciobanu:
Finitely Supported Binary Relations between Infinite Atomic Sets. Symmetry 13(11): 2028 (2021) - [c147]Bogdan Aman, Gabriel Ciobanu:
Computation with cells enhanced by costs. SAC 2021: 1278-1280 - 2020
- [b3]Andrei Alexandru, Gabriel Ciobanu:
Foundations of Finitely Supported Structures - A Set Theoretical Viewpoint. Springer 2020, ISBN 978-3-030-52961-1, pp. 1-204 - [j94]Bogdan Aman, Gabriel Ciobanu:
Mobile Membranes. IEEE Access 8: 147439-147450 (2020) - [j93]Andrei Alexandru, Gabriel Ciobanu:
Properties of the atoms in finitely supported structures. Arch. Math. Log. 59(1-2): 229-256 (2020) - [j92]Andrei Alexandru, Gabriel Ciobanu:
Fixed point results for finitely supported algebraic structures. Fuzzy Sets Syst. 397: 1-27 (2020) - [j91]Gabriel Ciobanu:
What does P mean in Natural Computing? Int. J. Comput. Commun. Control 15(6) (2020) - [j90]Bogdan Aman, Gabriel Ciobanu:
Spiking Neural P Systems with Astrocytes Producing Calcium. Int. J. Neural Syst. 30(12): 2050066:1-2050066:16 (2020) - [j89]Bogdan Aman, Gabriel Ciobanu:
Mutual exclusion and reversibility in reaction systems. J. Membr. Comput. 2(3): 171-178 (2020) - [j88]Bogdan Aman, Gabriel Ciobanu:
Reversible computation in nature inspired rule-based systems. J. Membr. Comput. 2(4): 246-254 (2020) - [j87]Andrei Alexandru, Gabriel Ciobanu:
Relaxing the Fraenkel-Mostowski Set Theory. J. Multiple Valued Log. Soft Comput. 34(5-6): 499-526 (2020) - [j86]Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil:
Local time membrane systems and time Petri nets. Theor. Comput. Sci. 805: 175-192 (2020) - [c146]Bogdan Aman, Gabriel Ciobanu:
Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. SOFSEM 2020: 441-453 - [c145]Gabriel Ciobanu, Eneia Nicolae Todoran:
A Study of Multiparty Interactions in Continuation Semantics. SYNASC 2020: 117-124 - [p4]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, Luca Prigioniero, Irek Ulidowski, Germán Vidal:
Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40 - [p3]Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski:
Reversibility in Chemical Reactions. Selected Results of the COST Action IC1405 2020: 151-176 - [i5]Bogdan Aman, Gabriel Ciobanu:
Imprecise Probability for Multiparty Session Types in Process Algebra. CoRR abs/2002.08175 (2020)
2010 – 2019
- 2019
- [j85]Bogdan Aman, Gabriel Ciobanu:
Synchronization of rules in membrane computing. J. Membr. Comput. 1(4): 233-240 (2019) - [j84]Andrei Alexandru, Gabriel Ciobanu:
On the Foundations of Finitely Supported Sets. J. Multiple Valued Log. Soft Comput. 32(5-6): 541-564 (2019) - [j83]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): 22:1-22:44 (2019) - [c144]Bogdan Aman, Gabriel Ciobanu:
Verification of Multi-agent Systems with Timeouts for Migration and Communication. ICTAC 2019: 134-151 - [c143]Bogdan Aman, Gabriel Ciobanu:
Probabilities in Session Types. FROM 2019: 92-106 - [c142]Andrei Alexandru, Gabriel Ciobanu:
Finitely Supported Sets Containing Infinite Uniformly Supported Subsets. FROM 2019: 120-134 - 2018
- [j82]Gabriel Ciobanu:
High-Level Koutny Net. Sci. Ann. Comput. Sci. 28(2): 157-159 (2018) - [j81]Andrei Alexandru, Gabriel Ciobanu:
Fuzzy sets within Finitely Supported Mathematics. Fuzzy Sets Syst. 339: 119-133 (2018) - [j80]Gabriel Ciobanu, Cristian Vaideanu:
A note on similarity relations between fuzzy attribute-oriented concept lattices. Inf. Sci. 460-461: 254-263 (2018) - [j79]Bogdan Aman, Gabriel Ciobanu:
Bonding calculus. Nat. Comput. 17(4): 823-832 (2018) - [c141]Bogdan Aman, Gabriel Ciobanu:
Solving the N-Queens Puzzle by Using Few Membranes. Enjoying Natural Computing 2018: 21-32 - [c140]Bogdan Aman, Gabriel Ciobanu:
Analyzing the Shared Information in Social Networks. EDCC 2018: 195-202 - [c139]Bogdan Aman, Gabriel Ciobanu:
Adaptive P Systems. Int. Conf. on Membrane Computing 2018: 57-72 - [c138]Gabriel Ciobanu, Eneia Nicolae Todoran:
A Semantic Investigation of Spiking Neural P Systems. Int. Conf. on Membrane Computing 2018: 108-130 - [c137]Andrei Alexandru, Gabriel Ciobanu:
Order Relations Over Finitely Supported Structures. SYNASC 2018: 117-124 - [c136]Gabriel Ciobanu, Eneia Nicolae Todoran:
On the Abstractness of Continuation Semantics. SYNASC 2018: 167-174 - 2017
- [j78]Bogdan Aman, Gabriel Ciobanu:
Efficiently solving the Bin Packing problem through bio-inspired mobility. Acta Informatica 54(4): 435-445 (2017) - [j77]Gabriel Ciobanu, Cristian Vaideanu:
An efficient method to factorize fuzzy attribute-oriented concept lattices. Fuzzy Sets Syst. 317: 121-132 (2017) - [j76]Bogdan Aman, Gabriel Ciobanu:
Verification of distributed systems involving bounded-time migration. Int. J. Crit. Comput. Based Syst. 7(3): 279-301 (2017) - [j75]Bogdan Aman, Gabriel Ciobanu:
Reversibility in Parallel Rewriting Systems. J. Univers. Comput. Sci. 23(7): 692-703 (2017) - [j74]Bogdan Aman, Gabriel Ciobanu:
Verification of critical systems described in real-time TiMo. Int. J. Softw. Tools Technol. Transf. 19(4): 395-408 (2017) - [j73]Gabriel Ciobanu, Eneia Nicolae Todoran:
Denotational semantics of membrane systems by using complete metric spaces. Theor. Comput. Sci. 701: 85-108 (2017) - [c135]Bogdan Aman, Gabriel Ciobanu:
Controlled Reversibility in Reaction Systems. Int. Conf. on Membrane Computing 2017: 40-53 - [c134]Gabriel Ciobanu, Eneia Nicolae Todoran:
Abstract Continuation Semantics for Asynchronous Concurrency. SYNASC 2017: 296-303 - [c133]Bogdan Aman, Gabriel Ciobanu:
Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. VECoS 2017: 155-170 - 2016
- [b2]Andrei Alexandru, Gabriel Ciobanu:
Finitely Supported Mathematics - An Introduction. Springer 2016, ISBN 978-3-319-42281-7, pp. 1-185 - [j72]Danut Rusu, Gabriel Ciobanu:
Essential and density topologies of continuous domains. Ann. Pure Appl. Log. 167(9): 726-736 (2016) - [j71]Gabriel Ciobanu, Eneia Nicolae Todoran:
Correct metric semantics for a language inspired by DNA computing. Concurr. Comput. Pract. Exp. 28(11): 3042-3060 (2016) - [j70]Andrei Alexandru, Gabriel Ciobanu:
Abstract Interpretations in the Framework of Invariant Sets. Fundam. Informaticae 144(1): 1-22 (2016) - [j69]Gabriel Ciobanu, Armand Stefan Rotaru:
Verifying vehicle control systems by using process calculi. Int. J. Ad Hoc Ubiquitous Comput. 21(1): 41-49 (2016) - [j68]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
A descriptive type foundation for RDF Schema. J. Log. Algebraic Methods Program. 85(5): 681-706 (2016) - [j67]Andrei Alexandru, Gabriel Ciobanu:
Pawlak Approximations in the Framework of Nominal Sets. J. Multiple Valued Log. Soft Comput. 26(3-5): 439-466 (2016) - [j66]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): 521-532 (2016) - [j65]Bogdan Aman, Gabriel Ciobanu:
Modelling and verification of weighted spiking neural systems. Theor. Comput. Sci. 623: 92-102 (2016) - [c132]Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu:
Private Names in Non-Commutative Logic. CONCUR 2016: 31:1-31:16 - [c131]Bogdan Aman, Gabriel Ciobanu:
Computational Power of Protein Networks. Int. Conf. on Membrane Computing 2016: 103-118 - [c130]Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Passing Semantics for Membrane Systems. Int. Conf. on Membrane Computing 2016: 165-176 - [c129]Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. SYNASC 2016: 335-342 - [i4]Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu:
Private Names in Non-Commutative Logic. CoRR abs/1602.06043 (2016) - 2015
- [j64]Andrei Alexandru, Gabriel Ciobanu:
Generalized Multisets: From ZF to FSM. Comput. Informatics 34(5): 1133-1150 (2015) - [j63]Gabriel Ciobanu, Maciej Koutny:
PerTiMo: A Model of Spatial Migration with Safe Access Permissions. Comput. J. 58(5): 1041-1060 (2015) - [j62]Bogdan Aman, Gabriel Ciobanu:
BioMaxP: A Formal Approach for Cellular Ion Pumps. Comput. Sci. J. Moldova 23(2): 123-134 (2015) - [j61]Gabriel Ciobanu:
A Grand Master of Discrete Mathematics. Sci. Ann. Comput. Sci. 25(1): 1-2 (2015) - [j60]Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles:
Strategy based semantics for mobility with time and access permissions. Formal Aspects Comput. 27(3): 525-549 (2015) - [j59]Gabriel Ciobanu, Cristian Vaideanu:
Similarity relations in fuzzy attribute-oriented concept lattices. Fuzzy Sets Syst. 275: 88-109 (2015) - [j58]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
Minimal type inference for Linked Data consumers. J. Log. Algebraic Methods Program. 84(4): 485-504 (2015) - [j57]Bogdan Aman, Gabriel Ciobanu:
Behavioural observations of cell movements with timing aspects. Nano Commun. Networks 6(3): 96-102 (2015) - [j56]Bogdan Aman, Gabriel Ciobanu:
Verification of membrane systems with delays via Petri nets with delays. Theor. Comput. Sci. 598: 87-101 (2015) - [c128]Bogdan Aman, Gabriel Ciobanu:
Mobility Types for Cloud Computing. EGC 2015: 43-53 - [c127]Gabriel Ciobanu, Ross Horne:
Behavioural Analysis of Sessions Using the Calculus of Structures. Ershov Memorial Conference 2015: 91-106 - [c126]Bogdan Aman, Gabriel Ciobanu:
Timed Mobility and Timed Communication for Critical Systems. FMICS 2015: 146-161 - [c125]Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Semantics for Concurrency with Multiple Channels Communication. ICFEM 2015: 400-416 - [c124]Andrei Alexandru, Gabriel Ciobanu:
Main Steps in Defining Finitely Supported Mathematics. ICTERI (Revised Selected Papers) 2015: 73-90 - [c123]Bogdan Aman, Gabriel Ciobanu:
Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model. ICTERI (Revised Selected Papers) 2015: 91-108 - [c122]Andrei Alexandru, Gabriel Ciobanu:
Dening Finitely Supported Mathematics over Sets with Atoms. ICTERI 2015: 382-395 - [c121]Bogdan Aman, Gabriel Ciobanu:
Natural Computing Modelling of the Polynomial Space Turing Machines. ICTERI 2015: 408-418 - [c120]Bogdan Aman, Gabriel Ciobanu:
Automated Verification of Stochastic Spiking Neural P Systems. Int. Conf. on Membrane Computing 2015: 77-91 - [c119]Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Semantics for Dynamic Hierarchical Systems. SYNASC 2015: 281-288 - [c118]Andrei Alexandru, Gabriel Ciobanu:
Static Analysis in Finitely Supported Mathematics. SYNASC 2015: 312-319 - [c117]Gabriel Ciobanu:
Timeout Interaction and Migration in Distributed Systems. VECoS 2015: 79-80 - [c116]Bogdan Aman, Gabriel Ciobanu:
Verification of Bounded Real-Time Distributed Systems With Mobility. VECoS 2015: 109-120 - 2014
- [j55]Oana Agrigoroaiei, Gabriel Ciobanu:
Rewriting Systems Over Indexed Multisets. Comput. J. 57(1): 165-179 (2014) - [j54]Gabriel Ciobanu:
Theoretical Aspects of Computing. Sci. Ann. Comput. Sci. 24(2): 173-176 (2014) - [j53]Andrei Alexandru, Gabriel Ciobanu:
Nominal Groups and Their Homomorphism Theorems. Fundam. Informaticae 131(3-4): 279-298 (2014) - [j52]Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Semantics for Asynchronous Concurrency. Fundam. Informaticae 131(3-4): 373-388 (2014) - [j51]Gabriel Ciobanu, Dragos Sburlan:
Monitoring Changes in Dynamic Multiset Systems. Fundam. Informaticae 134(1-2): 67-82 (2014) - [j50]Gabriel Ciobanu, G. Michele Pinna:
Catalytic and communicating Petri nets are Turing complete. Inf. Comput. 239: 55-70 (2014) - [j49]Gabriel Ciobanu, G. Michele Pinna, Dragos Sburlan:
Power of Causal Dependencies in Rule-Based Systems. J. Autom. Lang. Comb. 19(1-4): 45-56 (2014) - [c115]Bogdan Aman, Gabriel Ciobanu:
Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes. BICT 2014 - [c114]Gabriel Ciobanu, Bogdan Aman:
Computational Power of Chemical Kinetics in Living Cells. BICT 2014 - [c113]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
Descriptive Types for Linked Data Resources. Ershov Memorial Conference 2014: 1-25 - [c112]Gabriel Ciobanu, Ross Horne, Cristian Vaideanu:
Extracting Threshold Conceptual Structures from Web Documents. ICCS 2014: 130-144 - [c111]Gabriel Ciobanu, Danut Rusu:
A Formal Topology of Web Classification. ICCS 2014: 145-158 - [c110]Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu:
From TiMo to Event-B: Event-Driven Timed Mobility. ICECCS 2014: 1-10 - [c109]Gabriel Ciobanu, Armand Stefan Rotaru:
PHASE: A Stochastic Formalism for Phase-Type Distributions. ICFEM 2014: 91-106 - [c108]Gabriel Ciobanu, Armand Stefan Rotaru:
Phase-Type Approximations for Non-Markovian Systems: A Case Study. SEFM Workshops 2014: 323-334 - [c107]Gabriel Ciobanu, Eneia Nicolae Todoran:
Correct Metric Semantics for a Biologically-Inspired Formalism. SYNASC 2014: 317-324 - [c106]Gabriel Ciobanu, Dan Cojocar:
Expressing BBUFs Lookup Using the π-Calculus. SYNASC 2014: 511-518 - [e9]Gabriel Ciobanu, Dominique Méry:
Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Lecture Notes in Computer Science 8687, Springer 2014, ISBN 978-3-319-10881-0 [contents] - 2013
- [j48]Gabriel Ciobanu, Dragos Sburlan:
Scenario Based P Systems. Int. J. Unconv. Comput. 9(5-6): 351-366 (2013) - [j47]Gabriel Ciobanu:
General patterns of interaction in stochastic fusion. Nat. Comput. 12(3): 429-439 (2013) - [c105]Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna:
Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. ICDCIT 2013: 432-443 - [c104]Gabriel Ciobanu, Manchun Zheng:
Automatic Analysis of TiMo Systems in PAT. ICECCS 2013: 121-124 - [c103]Bogdan Aman, Gabriel Ciobanu:
Mobile Membranes: Computability and Complexity. ICTAC 2013: 59-75 - [c102]Gabriel Ciobanu, Armand Stefan Rotaru:
A Probabilistic Logic for pTiMo. ICTAC 2013: 141-158 - [c101]Bogdan Aman, Gabriel Ciobanu:
Behavioural Equivalences in Real-Time P Systems. Int. Conf. on Membrane Computing 2013: 88-100 - [c100]Bogdan Aman, Gabriel Ciobanu:
Behavioural Types Inspired by Cellular Thresholds. SEFM Workshops 2013: 29-43 - [c99]Bogdan Aman, Gabriel Ciobanu:
Real-Time Migration Properties of rTiMo Verified in Uppaal. SEFM 2013: 31-45 - [c98]