default search action
Gabriel 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
- 2024
- [j115]Bogdan Aman, Gabriel Ciobanu:
Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing. Comput. Sci. J. Moldova 32(1): 3-18 (2024) - [j114]Bogdan Aman, Gabriel Ciobanu:
Solving subset sum and SAT problems by reaction systems. Nat. Comput. 23(2): 177-187 (2024) - [j113]Andrei Alexandru, Gabriel Ciobanu
:
Finite Sets - What Kind of Finite? Symmetry 16(6): 770 (2024) - [i6]Eneia Nicolae Todoran, Gabriel Ciobanu:
Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS. CoRR abs/2410.23761 (2024) - 2023
- [j112]Gabriel Ciobanu
A Teacher of Great Strengths. Sci. Ann. Comput. Sci. 33(1): 1-4 (2023) - [j111]Gabriel Ciobanu, Eneia Nicolae Todoran:
Variants of spiking neural P systems and their operational semantics in Haskell. J. Membr. Comput. 5(2): 81-99 (2023) - [j110]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) - [j109]Gabriel Ciobanu
Spiking neural P systems and their semantics in Haskell. Nat. Comput. 22(1): 41-54 (2023) - [j108]Bogdan Aman
Relating randomized right-hand sides to communicating rewriting rules. Theor. Comput. Sci. 971: 114062 (2023) - 2022
- [j107]Andrei Alexandru
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
New Editorial Team for SACS after 16 Years. Sci. Ann. Comput. Sci. 32(2): 181-182 (2022) - [j103]Bogdan Aman
Dynamics of reputation in mobile agents systems and weighted timed automata. Inf. Comput. 282: 104653 (2022) - [j102]Bogdan Aman
The power of synchronizing rules in membrane computing. Inf. Sci. 594: 360-370 (2022) - [j101]Gabriel Ciobanu
A process calculus for spiking neural P systems. Inf. Sci. 604: 298-319 (2022) - [j100]Bogdan Aman
Stochastic sharing calculus for reasoning about social networks. J. Log. Comput. 32(6): 1048-1066 (2022) - [c149]Bogdan Aman
Synchronization operator for communication privacy. SAC 2022: 1284-1290 - [c148]Bogdan Aman
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
Type inference for hierarchical multiset structures in rule-based systems. Inf. Sci. 580: 673-683 (2021) - [j97]Bogdan Aman
Travelling salesman problem in tissue P systems with costs. J. Membr. Comput. 3(2): 97-104 (2021) - [j96]Gabriel Ciobanu
Memory associated with membranes systems. J. Membr. Comput. 3(2): 116-132 (2021) - [j95]Andrei Alexandru
Finitely Supported Binary Relations between Infinite Atomic Sets. Symmetry 13(11): 2028 (2021) - [c147]Bogdan Aman
Computation with cells enhanced by costs. SAC 2021: 1278-1280 - 2020
- [b3]Andrei Alexandru
Foundations of Finitely Supported Structures - A Set Theoretical Viewpoint. Springer 2020, ISBN 978-3-030-52961-1, pp. 1-204 - [j94]Bogdan Aman
Mobile Membranes. IEEE Access 8: 147439-147450 (2020) - [j93]Andrei Alexandru
Properties of the atoms in finitely supported structures. Arch. Math. Log. 59(1-2): 229-256 (2020) - [j92]Andrei Alexandru
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
Spiking Neural P Systems with Astrocytes Producing Calcium. Int. J. Neural Syst. 30(12): 2050066:1-2050066:16 (2020) - [j89]Bogdan Aman
Mutual exclusion and reversibility in reaction systems. J. Membr. Comput. 2(3): 171-178 (2020) - [j88]Bogdan Aman
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
Local time membrane systems and time Petri nets. Theor. Comput. Sci. 805: 175-192 (2020) - [c146]Bogdan Aman
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
Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40 - [p3]Stefan Kuhn
Reversibility in Chemical Reactions. Selected Results of the COST Action IC1405 2020: 151-176 - [i5]Bogdan Aman
Imprecise Probability for Multiparty Session Types in Process Algebra. CoRR abs/2002.08175 (2020)
2010 – 2019
- 2019
- [j85]Bogdan Aman
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
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
Verification of Multi-agent Systems with Timeouts for Migration and Communication. ICTAC 2019: 134-151 - [c143]Bogdan Aman
Probabilities in Session Types. FROM 2019: 92-106 - [c142]Andrei Alexandru
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
Fuzzy sets within Finitely Supported Mathematics. Fuzzy Sets Syst. 339: 119-133 (2018) - [j80]Gabriel Ciobanu
A note on similarity relations between fuzzy attribute-oriented concept lattices. Inf. Sci. 460-461: 254-263 (2018) - [j79]Bogdan Aman
Bonding calculus. Nat. Comput. 17(4): 823-832 (2018) - [c141]Bogdan Aman
Solving the N-Queens Puzzle by Using Few Membranes. Enjoying Natural Computing 2018: 21-32 - [c140]Bogdan Aman
Analyzing the Shared Information in Social Networks. EDCC 2018: 195-202 - [c139]Bogdan Aman
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
Order Relations Over Finitely Supported Structures. SYNASC 2018: 117-124 - [c136]Gabriel Ciobanu
On the Abstractness of Continuation Semantics. SYNASC 2018: 167-174 - 2017
- [j78]Bogdan Aman
Efficiently solving the Bin Packing problem through bio-inspired mobility. Acta Informatica 54(4): 435-445 (2017) - [j77]Gabriel Ciobanu
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
Verification of critical systems described in real-time TiMo. Int. J. Softw. Tools Technol. Transf. 19(4): 395-408 (2017) - [j73]Gabriel Ciobanu
Denotational semantics of membrane systems by using complete metric spaces. Theor. Comput. Sci. 701: 85-108 (2017) - [c135]Bogdan Aman
Controlled Reversibility in Reaction Systems. Int. Conf. on Membrane Computing 2017: 40-53 - [c134]Gabriel Ciobanu
Abstract Continuation Semantics for Asynchronous Concurrency. SYNASC 2017: 296-303 - [c133]Bogdan Aman
Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. VECoS 2017: 155-170 - 2016
- [b2]Andrei Alexandru
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
Correct metric semantics for a language inspired by DNA computing. Concurr. Comput. Pract. Exp. 28(11): 3042-3060 (2016) - [j70]Andrei Alexandru
Abstract Interpretations in the Framework of Invariant Sets. Fundam. Informaticae 144(1): 1-22 (2016) - [j69]Gabriel Ciobanu
Verifying vehicle control systems by using process calculi. Int. J. Ad Hoc Ubiquitous Comput. 21(1): 41-49 (2016) - [j68]Gabriel Ciobanu
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
Simulating P systems with membrane dissolution in a chemical calculus. Nat. Comput. 15(4): 521-532 (2016) - [j65]Bogdan Aman
Modelling and verification of weighted spiking neural systems. Theor. Comput. Sci. 623: 92-102 (2016) - [c132]Ross Horne
Private Names in Non-Commutative Logic. CONCUR 2016: 31:1-31:16 - [c131]Bogdan Aman
Computational Power of Protein Networks. Int. Conf. on Membrane Computing 2016: 103-118 - [c130]Gabriel Ciobanu
Continuation Passing Semantics for Membrane Systems. Int. Conf. on Membrane Computing 2016: 165-176 - [c129]Gabriel Ciobanu
Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. SYNASC 2016: 335-342 - [i4]Ross Horne, Alwen Tiu, Bogdan Aman
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
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
Strategy based semantics for mobility with time and access permissions. Formal Aspects Comput. 27(3): 525-549 (2015) - [j59]Gabriel Ciobanu
Similarity relations in fuzzy attribute-oriented concept lattices. Fuzzy Sets Syst. 275: 88-109 (2015) - [j58]Gabriel Ciobanu
Minimal type inference for Linked Data consumers. J. Log. Algebraic Methods Program. 84(4): 485-504 (2015) - [j57]Bogdan Aman
Behavioural observations of cell movements with timing aspects. Nano Commun. Networks 6(3): 96-102 (2015) - [j56]Bogdan Aman
Verification of membrane systems with delays via Petri nets with delays. Theor. Comput. Sci. 598: 87-101 (2015) - [c128]Bogdan Aman
Mobility Types for Cloud Computing. EGC 2015: 43-53 - [c127]Gabriel Ciobanu
Behavioural Analysis of Sessions Using the Calculus of Structures. Ershov Memorial Conference 2015: 91-106 - [c126]Bogdan Aman
Timed Mobility and Timed Communication for Critical Systems. FMICS 2015: 146-161 - [c125]Gabriel Ciobanu
Continuation Semantics for Concurrency with Multiple Channels Communication. ICFEM 2015: 400-416 - [c124]Andrei Alexandru
Main Steps in Defining Finitely Supported Mathematics. ICTERI (Revised Selected Papers) 2015: 73-90 - [c123]Bogdan Aman
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
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
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
Nominal Groups and Their Homomorphism Theorems. Fundam. Informaticae 131(3-4): 279-298 (2014) - [j52]Gabriel Ciobanu
Continuation Semantics for Asynchronous Concurrency. Fundam. Informaticae 131(3-4): 373-388 (2014) - [j51]Gabriel Ciobanu
Monitoring Changes in Dynamic Multiset Systems. Fundam. Informaticae 134(1-2): 67-82 (2014) - [j50]Gabriel Ciobanu
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
Descriptive Types for Linked Data Resources. Ershov Memorial Conference 2014: 1-25 - [c112]Gabriel Ciobanu
Extracting Threshold Conceptual Structures from Web Documents. ICCS 2014: 130-144 - [c111]Gabriel Ciobanu
A Formal Topology of Web Classification. ICCS 2014: 145-158 - [c110]Gabriel Ciobanu
From TiMo to Event-B: Event-Driven Timed Mobility. ICECCS 2014: 1-10 - [c109]Gabriel Ciobanu
PHASE: A Stochastic Formalism for Phase-Type Distributions. ICFEM 2014: 91-106 - [c108]Gabriel Ciobanu
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
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
Behavioural Equivalences in Real-Time P Systems. Int. Conf. on Membrane Computing 2013: 88-100 - [c100]Bogdan Aman
Behavioural Types Inspired by Cellular Thresholds. SEFM Workshops 2013: 29-43 - [c99]Bogdan Aman
Real-Time Migration Properties of rTiMo Verified in Uppaal. SEFM 2013: 31-45 - [c98]Gabriel Ciobanu
TiMo: Timed Mobility in Distributed Systems. SYNASC 2013: 5-10 - [c97]Andrei Alexandru
Algebraic Properties of Generalized Multisets. SYNASC 2013: 367-374 - [c96]Gabriel Ciobanu
Non-interleaving Operational Semantics for Geographically Replicated Databases. SYNASC 2013: 440-447 - [c95]Bogdan Aman
Computational Power of Protein Interaction Networks. UCNC 2013: 248-249 - [c94]Gabriel Ciobanu
Local Type Checking for Linked Data Consumers. WWV 2013: 19-33 - 2012
- [j46]Gabriel Ciobanu
Flexible software architecture and language for mobile agents. Concurr. Comput. Pract. Exp. 24(6): 559-571 (2012) - [j45]Bogdan Aman
Properties of enhanced mobile membranes via coloured Petri nets. Inf. Process. Lett. 112(6): 243-248 (2012) - [j44]Gabriel Ciobanu
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. 431: 2-3 (2012) - [c93]Shankara Narayanan Krishna, Bogdan Aman
On the Computability Power of Membrane Systems with Controlled Mobility. CiE 2012: 626-635 - [c92]Bogdan Aman
Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. COORDINATION 2012: 122-136 - [c91]Bogdan Aman
Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE 2012: 52-66 - [c90]Gabriel Ciobanu
Catalytic Petri Nets Are Turing Complete. LATA 2012: 192-203 - [c89]Bogdan Aman
Mobile Membranes with Objects on Surface as Colored Petri Nets. Int. Conf. on Membrane Computing 2012: 128-144 - [c88]Roberto Pagliarini, Oana Agrigoroaiei, Gabriel Ciobanu
An Analysis of Correlative and Static Causality in P Systems. Int. Conf. on Membrane Computing 2012: 323-341 - [c87]Gabriel Ciobanu
A Timed Mobility Semantics Based on Rewriting Strategies. SEFM 2012: 141-155 - [c86]Gabriel Ciobanu, Eneia Nicolae Todoran:
Relating Two Metric Semantics for Parallel Rewriting of Multisets. SYNASC 2012: 273-280 - [c85]Bogdan Aman
Timed Catalytic Petri Nets. SYNASC 2012: 319-326 - [c84]Andrei Alexandru
Nominal Fusion Calculus. SYNASC 2012: 376-383 - [c83]Gabriel Ciobanu
A Provenance Tracking Model for Data Updates. FOCLASA 2012: 31-44 - [e8]Gabriel Ciobanu
Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012. EPTCS 100, 2012 [contents] - 2011
- [b1]Bogdan Aman
Mobility in Process Calculi and Natural Computing. Natural Computing Series, Springer 2011, ISBN 978-3-642-24866-5, pp. 1-194 - [j43]Bogdan Aman
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. Acta Informatica 48(7-8): 409-415 (2011) - [j42]Gabriel Ciobanu
Timed Mobility in process algebra and Petri nets. J. Log. Algebraic Methods Program. 80(7): 377-391 (2011) - [j41]Gabriel Ciobanu
Enhanced Mobile Membranes: Computability Results. Theory Comput. Syst. 48(3): 715-729 (2011) - [j40]Bogdan Aman
Mutual mobile membranes with objects on surface. Nat. Comput. 10(2): 777-793 (2011) - [c82]Bogdan Aman
A Temporal Logic for Mutual Mobile Membranes with Objects on Surface. Computation, Cooperation, and Life 2011: 138-150 - [c81]Shankara Narayanan Krishna, Gabriel Ciobanu
Computability Power of Mobility in Enhanced Mobile Membranes. CiE 2011: 160-170 - [c80]Shankara Narayanan Krishna, Gabriel Ciobanu
A S2P ÈP2P\Sigma_2^P \cup \Pi_2^P Lower Bound Using Mobile Membranes. DCFS 2011: 275-288 - [c79]Gabriel Ciobanu
Timed Migration and Interaction with Access Permissions. FM 2011: 293-307 - [c78]Oana Agrigoroaiei, Gabriel Ciobanu
Quantitative Causality in Membrane Systems. Int. Conf. on Membrane Computing 2011: 62-72 - [c77]Gabriel Ciobanu
Metric Denotational Semantics for Parallel Rewriting of Multisets. SYNASC 2011: 276-283 - [c76]Andrei Alexandru
Nominal Semantics of the pi I-calculus. SYNASC 2011: 331-338 - [c75]Bogdan Aman
Time Delays in Membrane Systems and Petri Nets. QAPL 2011: 47-60 - [i3]Gabriel Ciobanu:
Biologically Inspired Process Calculi, Petri Nets and Membrane Computing. CoRR abs/1108.3418 (2011) - [i2]Gabriel Ciobanu:
Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011). CoRR abs/1108.3558 (2011) - [i1]Oana Agrigoroaiei, Bogdan Aman, Gabriel Ciobanu:
Semantics, Causality and Mobility in Membrane Computing. ERCIM News 2011(85): 22 (2011) - 2010
- [j39]Bogdan Aman
Adding Lifetime to Objects and Membranes in P Systems. Int. J. Comput. Commun. Control 5(3): 268-279 (2010) - [j38]Gabriel Ciobanu:
Writing as a Form of Freedom and Happiness Celebrating the 60th birthday of Gheorghe Păun. Int. J. Comput. Commun. Control 5(5): 613-615 (2010) - [j37]Oana Agrigoroaiei, Gabriel Ciobanu
Reversing computation in membrane systems. J. Log. Algebraic Methods Program. 79(3-5): 278-288 (2010) - [j36]Oana Agrigoroaiei, Gabriel Ciobanu
Rule-based and object-based event structures for membrane systems. J. Log. Algebraic Methods Program. 79(6): 295-303 (2010) - [j35]Bogdan Aman
Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. Scholarpedia 5(7): 9420 (2010) - [c74]Gabriel Ciobanu
Mobile Agents with Timers, and Their Implementation. IDC 2010: 229-239 - [c73]Gabriel Ciobanu
Finding Network Resources by Using Mobile Agents. IDC 2010: 305-313 - [c72]Gabriel Ciobanu
Mobility in Computer Science and in Membrane Systems. Int. Conf. on Membrane Computing 2010: 7-17 - [c71]Oana Agrigoroaiei, Gabriel Ciobanu
Flattening the Transition P Systems with Dissolution. Int. Conf. on Membrane Computing 2010: 53-64 - [c70]Gabriel Ciobanu
Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. SYNASC 2010: 387-391 - [c69]Bogdan Aman
Formalizing the Behavior of Biological Processes with Mobility. UC 2010: 187 - [e7]Gabriel Ciobanu, Maciej Koutny:
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010. EPTCS 40, 2010 [contents]
2000 – 2009
- 2009
- [j34]Gabriel Ciobanu
Final and sequential behaviours of M-automata. Acta Informatica 46(5): 361-374 (2009) - [j33]Gabriel Ciobanu, Dorel Lucanu:
Model-based Testing and Analysis of Coordinated Components. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 20 (2009) - [j32]Hugh Anderson, Gabriel Ciobanu:
Markov Abstractions for Probabilistic Pi-Calculus. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009) - [j31]Gabriel Ciobanu
Encodings of Multisets. Int. J. Found. Comput. Sci. 20(3): 381-393 (2009) - [j30]Gabriel Ciobanu
Complexity of evolution in maximum cooperative P systems. Nat. Comput. 8(4): 807-816 (2009) - [j29]Bogdan Aman
Simple, Enhanced and Mutual Mobile Membranes. Trans. Comp. Sys. Biology 11: 26-44 (2009) - [c68]Gabriel Ciobanu
A Software Platform for Timed Mobility and Timed Interaction. FMOODS/FORTE 2009: 106-121 - [c67]Oana Agrigoroaiei, Gabriel Ciobanu
Evolving by Maximizing the Number of Rules: Complexity Study. Workshop on Membrane Computing 2009: 149-157 - [c66]Bogdan Aman
Typed Membrane Systems. Workshop on Membrane Computing 2009: 169-181 - [c65]Gabriel Ciobanu, Eneia Nicolae Todoran:
A Methodology for Concurrent Languages Development Based on Denotational Semantics. SYNASC 2009: 290-298 - [c64]Bogdan Aman
Turing Completeness Using Three Mobile Membranes. UC 2009: 42-55 - [c63]Bogdan Aman
Mutual Mobile Membranes with Timers. COMPMOD 2009: 1-15 - [e6]Gabriel Ciobanu:
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008. Electronic Notes in Theoretical Computer Science 227, Elsevier 2009 [contents] - [e5]Gabriel Ciobanu
Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009. EPTCS 11, 2009 [contents] - 2008
- [j28]Gabriel Ciobanu
On the relationship between membranes and ambients. Biosyst. 91(3): 515-530 (2008) - [j27]Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu:
Information Theory over Multisets. Comput. Informatics 27(3+): 441-451 (2008) - [j26]Gabriel Ciobanu, Andreas Resios:
Computational Complexity of Simple P Systems. Fundam. Informaticae 87(1): 49-59 (2008) - [c62]Shankara Narayanan Krishna, Gabriel Ciobanu
On the Computational Power of Enhanced Mobile Membranes. CiE 2008: 326-335 - [c61]Gabriel Ciobanu
Modelling and Verification of Timed Interaction and Migration. FASE 2008: 215-229 - [c60]Bogdan Aman
Timed Mobile Ambients for Network Protocols. FORTE 2008: 234-250 - [c59]Oana Agrigoroaiei, Gabriel Ciobanu
Non-interleaving Semantics with Causality for Nondeterministic Dataflow. ICTAC 2008: 66-80 - [c58]Oana Agrigoroaiei, Gabriel Ciobanu
Dual P Systems. Workshop on Membrane Computing 2008: 95-107 - [c57]Bogdan Aman
Resource Competition and Synchronization in Membranes. SYNASC 2008: 145-151 - [c56]Cosmin Bonchis, Gabriel Ciobanu
Data Compression on Multisets. Submultiset-Free Codes. SYNASC 2008: 152-157 - [c55]Gabriel Ciobanu
From Gene Regulation to Stochastic Fusion. UC 2008: 51-63 - [c54]Hugh Anderson, Gabriel Ciobanu
UTP and Temporal Logic Model Checking. UTP 2008: 22-41 - [c53]Gabriel Ciobanu
Preface. MeCBIC 2008: 1-2 - [c52]Oana Agrigoroaiei, Gabriel Ciobanu
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. WRLA 2008: 5-22 - [p2]Gabriel Ciobanu:
Behaviour Equivalences in Timed Distributed pi-Calculus. Software-Intensive Systems and New Computing Paradigms 2008: 190-208 - 2007
- [j25]Gabriel Ciobanu, Sergiu Rudeanu:
Equivalent Transformations of Automata by Using Behavioural Automata. J. Univers. Comput. Sci. 13(11): 1540-1549 (2007) - [j24]Oana Andrei
A rewriting logic framework for operational semantics of membrane systems. Theor. Comput. Sci. 373(3): 163-181 (2007) - [j23]Gabriel Ciobanu
P systems with minimal parallelism. Theor. Comput. Sci. 378(1): 117-130 (2007) - [c51]Bogdan Aman
Timers and Proximities for Mobile Ambients. CSR 2007: 33-43 - [c50]Bogdan Aman
Mobile Ambients with Timers and Types. ICTAC 2007: 50-63 - [c49]Gabriel Ciobanu
Time and Space Coordination of Mobile Agents. IDC 2007: 9-23 - [c48]Bogdan Aman
On the Reachability Problem in P Systems with Mobile Membranes. Workshop on Membrane Computing 2007: 113-123 - [c47]Gabriel Ciobanu
Events, Causality, and Concurrency in Membrane Systems. Workshop on Membrane Computing 2007: 209-227 - [c46]Bogdan Aman
Structural Properties and Observability in Membrane Systems. SYNASC 2007: 74-81 - [c45]Bogdan Aman
Describing the Immune System Using Enhanced Mobile Membranes. FBTC@CONCUR 2007: 5-18 - [c44]Gabriel Ciobanu
Interaction in Time and Space. FInCo@ETAPS 2007: 5-18 - [c43]Gabriel Ciobanu
Supermetrics over Apartness Lattice-Ordered Semigroup. CCA 2007: 191-200 - 2006
- [j22]Gabriel Ciobanu:
New Editorial Team. Sci. Ann. Cuza Univ. 16: 3-4 (2006) - [j21]Gabriel Ciobanu, Gheorghe Paun, Mario J. Pérez-Jiménez:
On the Branching Complexity of P Systems. Fundam. Informaticae 73(1-2): 27-36 (2006) - [j20]Gabriel Ciobanu:
"Logic will never be the same again" - Kurt Gödel Centenary. Int. J. Comput. Commun. Control 1(1): 69-71 (2006) - [j19]Gabriel Ciobanu
A Programming Perspective of the Membrane Systems. Int. J. Comput. Commun. Control 1(3): 13-24 (2006) - [j18]Gabriel Ciobanu
Theory and applications of P systems. Int. J. Comput. Math. 83(7): 525-527 (2006) - [j17]Gabriel Ciobanu
Mealy multiset automata. Int. J. Found. Comput. Sci. 17(1): 111-126 (2006) - [j16]Gabriel Ciobanu, Danut Rusu:
Algebraic and Topological Properties of Apartness Lattice-Ordered Semigroups. J. Multiple Valued Log. Soft Comput. 12(3-4): 249-274 (2006) - [j15]Gabriel Ciobanu, Dorel Lucanu:
A specification language for coordinated objects. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006) - [c42]Gabriel Ciobanu, Vladimir A. Zakharov:
Encoding Mobile Ambients into the pi -Calculus. Ershov Memorial Conference 2006: 148-165 - [c41]Gabriel Ciobanu
A Topological Approach of the Web Classification. ICTAC 2006: 80-92 - [c40]Gabriel Ciobanu:
Coordination and Self-Organization in MultiAgent Systems. ISDA (1) 2006 - [c39]Oana Andrei
Expressing Control Mechanisms of Membranes by Rewriting Strategies. Workshop on Membrane Computing 2006: 154-169 - [c38]Gabriel Ciobanu
P Machines: An Automata Approach to Membrane Computing. Workshop on Membrane Computing 2006: 314-329 - [c37]Daniela Zaharie
Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems. Workshop on Membrane Computing 2006: 536-553 - [c36]Gabriel Ciobanu:
Collaborative Agents Interaction Using Message Passing Interface. SYNASC 2006: 244-250 - [c35]Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu:
Number Encodings and Arithmetics over Multisets. SYNASC 2006: 354-364 - [c34]Cosmin Bonchis, Gabriel Ciobanu
Encodings and Arithmetic Operations in Membrane Computing. TAMC 2006: 621-630 - [c33]Gabriel Ciobanu
Coordination by Timers for Channel-Based Anonymous Communications. FOCLASA 2006: 3-17 - [c32]Bogdan Aman
Translating Mobile Ambients into P Systems. MeCBIC@ICALP 2006: 11-23 - [c31]Gabriel Ciobanu
Timers for Distributed Systems. QAPL 2006: 81-99 - [p1]Gabriel Ciobanu:
Modeling Cell-Mediated Immunity by Means of P Systems. Applications of Membrane Computing 2006: 159-180 - [e4]Gabriel Ciobanu, Mario J. Pérez-Jiménez, Gheorghe Paun:
Applications of Membrane Computing. Natural Computing Series, Springer 2006, ISBN 978-3-540-25017-3 [contents] - 2005
- [j14]Gabriel Ciobanu, Janardan Misra:
Performance Analysis and Name Passing Errors in Probabilistic Fusion. Sci. Ann. Cuza Univ. 15: 57-76 (2005) - [j13]Gabriel Ciobanu, Viorel Mihai Gontineac:
An Automata Description of the Genetic Message Translation. Fundam. Informaticae 64(1-4): 93-107 (2005) - [j12]Gabriel Ciobanu
P Transducers. New Gener. Comput. 24(1): 1-28 (2005) - [c30]Gabriel Ciobanu
Self-organizing Distribution of Agents over Hosts. ISCIS 2005: 462-471 - [c29]Oana Andrei
Structural Operational Semantics of P Systems. Workshop on Membrane Computing 2005: 31-48 - [c28]Gabriel Ciobanu
Algebraic and Coalgebraic Aspects of Membrane Computing. Workshop on Membrane Computing 2005: 181-198 - [c27]Gabriel Ciobanu, Dorel Lucanu:
A specification language for coordinated objects. SAVCBS@ESEC/FSE 2005: 3 - [c26]Gabriel Ciobanu:
Theory and Practice of Programming Applied to Membrane Systems. SYNASC 2005: 19-25 - [c25]Gabriel Ciobanu
Specifications and Verification of Network Protocols by Process Algebra. SYNASC 2005: 250-258 - [c24]Mihai Danes, Dorel Lucanu
Specification of Coordinated Objects and Verification of Their Temporal Properties. SYNASC 2005: 259-266 - [c23]Cosmin Bonchis, Gabriel Ciobanu
A Web-Based P Systems Simulator and Its Parallelization. UC 2005: 58-69 - [c22]Gabriel Ciobanu
Topological spaces of the web. WWW (Special interest tracks and posters) 2005: 1112-1113 - [c21]Oana Andrei
Operational Semantics and Rewriting Logic in Membrane Computing. SOS@ICALP 2005: 57-78 - [e3]Daniela Zaharie, Dana Petcu, Viorel Negru, Tudor Jebelean, Gabriel Ciobanu, Alexandru Cicortas, Ajith Abraham, Marcin Paprzycki:
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania. IEEE Computer Society 2005, ISBN 0-7695-2453-2 [contents] - 2004
- [j11]Gabriel Ciobanu, Viorel Mihai Gontineac:
Communication Equivalence Classes in Networks. Comput. Sci. J. Moldova 12(3): 359-363 (2004) - [c20]K. N. Sridhar, Gabriel Ciobanu:
Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra. FORTE Workshops 2004: 233-247 - [c19]Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu
Relating pi-calculus to Object-Z. ICECCS 2004: 97-106 - [c18]Gabriel Ciobanu
Specification and Verification of Synchronizing Concurrent Objects. IFM 2004: 307-327 - [c17]Oana Andrei, Gabriel Ciobanu
Executable Specifications of P Systems. Workshop on Membrane Computing 2004: 126-145 - [c16]Daniela Besozzi, Gabriel Ciobanu
A P System Description of the Sodium-Potassium Pump. Workshop on Membrane Computing 2004: 210-223 - [c15]Gabriel Ciobanu
Cellular Meta-programming over Membranes. UPP 2004: 196-206 - [c14]Dorel Lucanu, Gabriel Ciobanu
Model Checking for Object Specifications in Hidden Algebra. VMCAI 2004: 97-109 - [c13]Gabriel Ciobanu
Communicating Concurrent Objects in HiddenCCS. WRLA 2004: 353-373 - [e2]Gabriel Ciobanu, Grzegorz Rozenberg:
Modelling in Molecular Biology. Natural Computing Series, Springer 2004, ISBN 3-540-40799-5 - 2003
- [c12]Gabriel Ciobanu
Discrete Event Systems and Client-Server Model for Signaling Mechanisms. CMSB 2003: 175-177 - [c11]Gabriel Ciobanu
P Systems Running on a Cluster of Computers. Workshop on Membrane Computing 2003: 123-139 - [c10]Gabriel Ciobanu, Mihai Rotaru:
A Formalism for Distributed Systems with an Accurate Graphical Representation. SNPD 2003: 196-202 - [c9]Gabriel Ciobanu, Daniel Dumitriu:
Space and Time over the Web. WWW (Posters) 2003 - 2002
- [j10]Sinica Alboaie, Gabriel Ciobanu:
Designing and Developing Multi-Agent Systems. Sci. Ann. Cuza Univ. 11: 142-153 (2002) - [j9]Gabriel Ciobanu, Dorin Paraschiv:
P System Software Simulator. Fundam. Informaticae 49(1-3): 61-66 (2002) - [j8]Gabriel Ciobanu, Bogdan Tanasa:
Gene Expression by Software Mechanisms. Fundam. Informaticae 49(1-3): 67-80 (2002) - [j7]Gabriel Ciobanu
Molecular interaction. Theor. Comput. Sci. 289(1): 801-827 (2002) - [c8]Sabin C. Buraga
A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites. WISE 2002: 355-361 - [c7]Gabriel Ciobanu
Membrane Systems and Distributed Computing. WMC-CdeA 2002: 187-202 - [c6]Gabriel Ciobanu
Client-Server P Systems in Modeling Molecular Interaction. WMC-CdeA 2002: 203-218 - 2001
- [c5]Gabriel Ciobanu:
Molecular structures. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 299-317 - [c4]Gabriel Ciobanu, Mihai Rotaru:
JC-Nets. MCU 2001: 190-201 - 2000
- [j6]Gabriel Ciobanu, Mihai Rotaru:
A Pi-calculus Machine. J. Univers. Comput. Sci. 6(1): 39-59 (2000) - [c3]Gabriel Ciobanu:
On a Formal Description of the Molecular Processes. Recent Topics in Mathematical and Computational Linguistics 2000: 82-96
1990 – 1999
- 1999
- [c2]Gabriel Ciobanu
Abstract Structures for Communication between Processes. Ershov Memorial Conference 1999: 221-227 - [e1]Gabriel Ciobanu
Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings. Lecture Notes in Computer Science 1684, Springer 1999, ISBN 3-540-66412-2 [contents] - 1998
- [j5]Gabriel Ciobanu, Emanuel Florentin Olariu:
Interaction Structures for Communicating Processes. Sci. Ann. Cuza Univ. 8: 36-43 (1998) - [c1]Gabriel Ciobanu
Faithful pi-nets - A graphical representation of the asynchronous pi-calculus . MFCS Workshop on Concurrency 1998: 24-45 - 1996
- [j4]Gabriel Ciobanu:
The Reflexive Domain of CPO's Ideals. Acta Cybern. 12(3): 249-260 (1996) - 1995
- [j3]Gabriel Ciobanu:
Dataflow lambda-calculus. Sci. Ann. Cuza Univ. 4: 13-28 (1995) - [j2]Mihai Rotaru, Gabriel Ciobanu:
On the "rep" construction into pi-nets. Sci. Ann. Cuza Univ. 4: 73-84 (1995) - 1992
- [j1]Gabriel Ciobanu:
A Model for a lambda-calculus Extended for Dataflow Computation. Sci. Ann. Cuza Univ. 1: 57-68 (1992)
Coauthor Index
[j115] [j114] [j108] [j104] [j103] [j102] [j100] [c149] [c148] [j98] [j97] [c147] [j94] [j90] [j89] [j88] [j86] [c146] [p4] [p3] [i5] [j85] [j83] [c144] [c143] [j79] [c141] [c140] [c139] [j78] [j76] [j75] [j74] [c135] [c133] [j66] [j65] [c132] [c131] [i4] [j62] [j57] [j56] [c128] [c126] [c123] [c121] [c120] [c116] [c115] [c114] [c105] [c103] [c101] [c100] [c99] [c95] [j45] [c93] [c92] [c91] [c89] [c85] [b1] [j43] [j40] [c82] [c75] [i1] [j39] [j35] [c69] [j29] [c66] [c64] [c63] [j28] [c60] [c57] [c51] [c50] [c48] [c46] [c45] [c32]
Eneia Todoran
aka: Eneia Nicolae Todoran
aka: Eneia Nicolae Todoran
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-01 00:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: