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
Books and Theses
- 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- 2016
- [b2]Andrei Alexandru, Gabriel Ciobanu:
Finitely Supported Mathematics - An Introduction. Springer 2016, ISBN 978-3-319-42281-7, pp. 1-185 - 2011
- [b1]Bogdan Aman, Gabriel Ciobanu:
Mobility in Process Calculi and Natural Computing. Natural Computing Series, Springer 2011, ISBN 978-3-642-24866-5, pp. 1-194
Journal Articles
- 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, Eneia Nicolae Todoran:
Spiking neural P systems and their semantics in Haskell. Nat. Comput. 22(1): 41-54 (2023) - [j108]Bogdan Aman, Gabriel Ciobanu:
Relating randomized right-hand sides to communicating rewriting rules. Theor. Comput. Sci. 971: 114062 (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) - 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) - 2020
- [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) - 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) - 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) - 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) - 2016
- [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) - 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) - 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) - 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) - 2012
- [j46]Gabriel Ciobanu, Calin Juravle:
Flexible software architecture and language for mobile agents. Concurr. Comput. Pract. Exp. 24(6): 559-571 (2012) - [j45]Bogdan Aman, Gabriel Ciobanu:
Properties of enhanced mobile membranes via coloured Petri nets. Inf. Process. Lett. 112(6): 243-248 (2012) - [j44]Gabriel Ciobanu, Maciej Koutny:
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) - 2011
- [j43]Bogdan Aman, Gabriel Ciobanu:
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, Maciej Koutny:
Timed Mobility in process algebra and Petri nets. J. Log. Algebraic Methods Program. 80(7): 377-391 (2011) - [j41]Gabriel Ciobanu, Shankara Narayanan Krishna:
Enhanced Mobile Membranes: Computability Results. Theory Comput. Syst. 48(3): 715-729 (2011) - [j40]Bogdan Aman, Gabriel Ciobanu:
Mutual mobile membranes with objects on surface. Nat. Comput. 10(2): 777-793 (2011) - 2010
- [j39]Bogdan Aman, Gabriel Ciobanu:
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, Gabriel Ciobanu:
Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. Scholarpedia 5(7): 9420 (2010) - 2009
- [j34]Gabriel Ciobanu, Sergiu Rudeanu:
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, Viorel Mihai Gontineac:
Encodings of Multisets. Int. J. Found. Comput. Sci. 20(3): 381-393 (2009) - [j30]Gabriel Ciobanu, Andreas Resios:
Complexity of evolution in maximum cooperative P systems. Nat. Comput. 8(4): 807-816 (2009) - [j29]Bogdan Aman, Gabriel Ciobanu:
Simple, Enhanced and Mutual Mobile Membranes. Trans. Comp. Sys. Biology 11: 26-44 (2009) - 2008
- [j28]Gabriel Ciobanu, Bogdan Aman:
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) - 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, Gabriel Ciobanu, Dorel Lucanu:
A rewriting logic framework for operational semantics of membrane systems. Theor. Comput. Sci. 373(3): 163-181 (2007) - [j23]Gabriel Ciobanu, Linqiang Pan, Gheorghe Paun, Mario J. Pérez-Jiménez:
P systems with minimal parallelism. Theor. Comput. Sci. 378(1): 117-130 (2007) - 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, Viorel Mihai Gontineac:
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) - 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, Gheorghe Paun, Gheorghe Stefanescu:
P Transducers. New Gener. Comput. 24(1): 1-28 (2005) - 2004
- [j11]Gabriel Ciobanu, Viorel Mihai Gontineac:
Communication Equivalence Classes in Networks. Comput. Sci. J. Moldova 12(3): 359-363 (2004) - 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, Mihai Rotaru:
Molecular interaction. Theor. Comput. Sci. 289(1): 801-827 (2002) - 2000
- [j6]Gabriel Ciobanu, Mihai Rotaru:
A Pi-calculus Machine. J. Univers. Comput. Sci. 6(1): 39-59 (2000) - 1998
- [j5]Gabriel Ciobanu, Emanuel Florentin Olariu:
Interaction Structures for Communicating Processes. Sci. Ann. Cuza Univ. 8: 36-43 (1998) - 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)
Conference and Workshop Papers
- 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
- [c147]Bogdan Aman, Gabriel Ciobanu:
Computation with cells enhanced by costs. SAC 2021: 1278-1280 - 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 - 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
- [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
- [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
- [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 - 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
- [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 - 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]Gabriel Ciobanu:
TiMo: Timed Mobility in Distributed Systems. SYNASC 2013: 5-10 - [c97]Andrei Alexandru, Gabriel Ciobanu:
Algebraic Properties of Generalized Multisets. SYNASC 2013: 367-374 - [c96]Gabriel Ciobanu, Ross Horne:
Non-interleaving Operational Semantics for Geographically Replicated Databases. SYNASC 2013: 440-447 - [c95]Bogdan Aman, Gabriel Ciobanu:
Computational Power of Protein Interaction Networks. UCNC 2013: 248-249 - [c94]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
Local Type Checking for Linked Data Consumers. WWV 2013: 19-33 - 2012
- [c93]Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu:
On the Computability Power of Membrane Systems with Controlled Mobility. CiE 2012: 626-635 - [c92]Bogdan Aman, Gabriel Ciobanu:
Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. COORDINATION 2012: 122-136 - [c91]Bogdan Aman, Gabriel Ciobanu, Maciej Koutny:
Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE 2012: 52-66 - [c90]Gabriel Ciobanu, G. Michele Pinna:
Catalytic Petri Nets Are Turing Complete. LATA 2012: 192-203 - [c89]Bogdan Aman, Gabriel Ciobanu:
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, Vincenzo Manca:
An Analysis of Correlative and Static Causality in P Systems. Int. Conf. on Membrane Computing 2012: 323-341 - [c87]Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles:
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, Gabriel Ciobanu, G. Michele Pinna:
Timed Catalytic Petri Nets. SYNASC 2012: 319-326 - [c84]Andrei Alexandru, Gabriel Ciobanu:
Nominal Fusion Calculus. SYNASC 2012: 376-383 - [c83]Gabriel Ciobanu, Ross Horne:
A Provenance Tracking Model for Data Updates. FOCLASA 2012: 31-44 - 2011
- [c82]Bogdan Aman, Gabriel Ciobanu:
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, Maciej Koutny:
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, Eneia Nicolae Todoran:
Metric Denotational Semantics for Parallel Rewriting of Multisets. SYNASC 2011: 276-283 - [c76]Andrei Alexandru, Gabriel Ciobanu:
Nominal Semantics of the pi I-calculus. SYNASC 2011: 331-338 - [c75]Bogdan Aman, Gabriel Ciobanu:
Time Delays in Membrane Systems and Petri Nets. QAPL 2011: 47-60 - 2010
- [c74]Gabriel Ciobanu, Calin Juravle:
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, Eneia Nicolae Todoran:
Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. SYNASC 2010: 387-391 - [c69]Bogdan Aman, Gabriel Ciobanu:
Formalizing the Behavior of Biological Processes with Mobility. UC 2010: 187 - 2009
- [c68]Gabriel Ciobanu, Calin Juravle:
A Software Platform for Timed Mobility and Timed Interaction. FMOODS/FORTE 2009: 106-121 - [c67]Oana Agrigoroaiei, Gabriel Ciobanu, Andreas Resios:
Evolving by Maximizing the Number of Rules: Complexity Study. Workshop on Membrane Computing 2009: 149-157 - [c66]Bogdan Aman, Gabriel Ciobanu:
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, Gabriel Ciobanu:
Turing Completeness Using Three Mobile Membranes. UC 2009: 42-55 - [c63]Bogdan Aman, Gabriel Ciobanu:
Mutual Mobile Membranes with Timers. COMPMOD 2009: 1-15 - 2008
- [c62]Shankara Narayanan Krishna, Gabriel Ciobanu:
On the Computational Power of Enhanced Mobile Membranes. CiE 2008: 326-335 - [c61]Gabriel Ciobanu, Maciej Koutny:
Modelling and Verification of Timed Interaction and Migration. FASE 2008: 215-229 - [c60]Bogdan Aman, Gabriel Ciobanu:
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, Gabriel Ciobanu:
Resource Competition and Synchronization in Membranes. SYNASC 2008: 145-151 - [c56]Cosmin Bonchis, Gabriel Ciobanu, Graiela Ghergu, Cornel Izbasa:
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, Leo Freitas:
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 - 2007
- [c51]Bogdan Aman, Gabriel Ciobanu:
Timers and Proximities for Mobile Ambients. CSR 2007: 33-43 - [c50]Bogdan Aman, Gabriel Ciobanu:
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, Gabriel Ciobanu:
On the Reachability Problem in P Systems with Mobile Membranes. Workshop on Membrane Computing 2007: 113-123 - [c47]Gabriel Ciobanu, Dorel Lucanu:
Events, Causality, and Concurrency in Membrane Systems. Workshop on Membrane Computing 2007: 209-227 - [c46]Bogdan Aman, Gabriel Ciobanu:
Structural Properties and Observability in Membrane Systems. SYNASC 2007: 74-81 - [c45]Bogdan Aman, Gabriel Ciobanu:
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, Danut Rusu:
Supermetrics over Apartness Lattice-Ordered Semigroup. CCA 2007: 191-200 - 2006
- [c42]Gabriel Ciobanu, Vladimir A. Zakharov:
Encoding Mobile Ambients into the pi -Calculus. Ershov Memorial Conference 2006: 148-165 - [c41]Gabriel Ciobanu, Danut Rusu:
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, Gabriel Ciobanu, Dorel Lucanu:
Expressing Control Mechanisms of Membranes by Rewriting Strategies. Workshop on Membrane Computing 2006: 154-169 - [c38]Gabriel Ciobanu, Viorel Mihai Gontineac:
P Machines: An Automata Approach to Membrane Computing. Workshop on Membrane Computing 2006: 314-329 - [c37]Daniela Zaharie, Gabriel Ciobanu:
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, Cornel Izbasa:
Encodings and Arithmetic Operations in Membrane Computing. TAMC 2006: 621-630 - [c33]Gabriel Ciobanu, Cristian Prisacariu:
Coordination by Timers for Channel-Based Anonymous Communications. FOCLASA 2006: 3-17 - [c32]Bogdan Aman, Gabriel Ciobanu:
Translating Mobile Ambients into P Systems. MeCBIC@ICALP 2006: 11-23 - [c31]Gabriel Ciobanu, Cristian Prisacariu:
Timers for Distributed Systems. QAPL 2006: 81-99 - 2005
- [c30]Gabriel Ciobanu, Danut Rusu:
Self-organizing Distribution of Agents over Hosts. ISCIS 2005: 462-471 - [c29]Oana Andrei, Gabriel Ciobanu, Dorel Lucanu:
Structural Operational Semantics of P Systems. Workshop on Membrane Computing 2005: 31-48 - [c28]Gabriel Ciobanu, Viorel Mihai Gontineac:
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, K. N. Sridhar:
Specifications and Verification of Network Protocols by Process Algebra. SYNASC 2005: 250-258 - [c24]Mihai Danes, Dorel Lucanu, Gabriel Ciobanu:
Specification of Coordinated Objects and Verification of Their Temporal Properties. SYNASC 2005: 259-266 - [c23]Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu:
A Web-Based P Systems Simulator and Its Parallelization. UC 2005: 58-69 - [c22]Gabriel Ciobanu, Danut Rusu:
Topological spaces of the web. WWW (Special interest tracks and posters) 2005: 1112-1113 - [c21]Oana Andrei, Dorel Lucanu, Gabriel Ciobanu:
Operational Semantics and Rewriting Logic in Membrane Computing. SOS@ICALP 2005: 57-78 - 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, Dorel Lucanu:
Specification and Verification of Synchronizing Concurrent Objects. IFM 2004: 307-327 - [c17]Oana Andrei, Gabriel Ciobanu, Dorel Lucanu:
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, Dorel Lucanu:
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, Dorel Lucanu:
Communicating Concurrent Objects in HiddenCCS. WRLA 2004: 353-373 - 2003
- [c12]Gabriel Ciobanu, Dorin Huzum:
Discrete Event Systems and Client-Server Model for Signaling Mechanisms. CMSB 2003: 175-177 - [c11]Gabriel Ciobanu, Guo Wenyuan:
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
- [c8]Sabin C. Buraga, Gabriel Ciobanu:
A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites. WISE 2002: 355-361 - [c7]Gabriel Ciobanu, Rahul Desai, Akash Kumar:
Membrane Systems and Distributed Computing. WMC-CdeA 2002: 187-202 - [c6]Gabriel Ciobanu, Daniel Dumitriu, Dorin Huzum, Gabriel Moruz, Bogdan Tanasa:
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
- [c3]Gabriel Ciobanu:
On a Formal Description of the Molecular Processes. Recent Topics in Mathematical and Computational Linguistics 2000: 82-96 - 1999
- [c2]Gabriel Ciobanu, Emanuel Florentin Olariu:
Abstract Structures for Communication between Processes. Ershov Memorial Conference 1999: 221-227 - 1998
- [c1]Gabriel Ciobanu, Mihai Rotaru:
Faithful pi-nets - A graphical representation of the asynchronous pi-calculus . MFCS Workshop on Concurrency 1998: 24-45
Parts in Books or Collections
- 2020
- [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 - 2008
- [p2]Gabriel Ciobanu:
Behaviour Equivalences in Timed Distributed pi-Calculus. Software-Intensive Systems and New Computing Paradigms 2008: 190-208 - 2006
- [p1]Gabriel Ciobanu:
Modeling Cell-Mediated Immunity by Means of P Systems. Applications of Membrane Computing 2006: 159-180
Editorship
- 2014
- [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] - 2012
- [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] - 2010
- [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] - 2009
- [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] - 2006
- [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
- [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
- [e2]Gabriel Ciobanu, Grzegorz Rozenberg:
Modelling in Molecular Biology. Natural Computing Series, Springer 2004, ISBN 3-540-40799-5 - 1999
- [e1]Gabriel Ciobanu, Gheorghe Paun:
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]
Informal and Other Publications
- 2020
- [i5]Bogdan Aman, Gabriel Ciobanu:
Imprecise Probability for Multiparty Session Types in Process Algebra. CoRR abs/2002.08175 (2020) - 2016
- [i4]Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu:
Private Names in Non-Commutative Logic. CoRR abs/1602.06043 (2016) - 2011
- [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)
Coauthor Index
[b1] [j108] [j104] [j103] [j102] [j100] [j98] [j97] [j94] [j90] [j89] [j88] [j86] [j85] [j83] [j79] [j78] [j76] [j75] [j74] [j66] [j65] [j62] [j57] [j56] [j45] [j43] [j40] [j39] [j35] [j29] [j28] [c149] [c148] [c147] [c146] [c144] [c143] [c141] [c140] [c139] [c135] [c133] [c132] [c131] [c128] [c126] [c123] [c121] [c120] [c116] [c115] [c114] [c105] [c103] [c101] [c100] [c99] [c95] [c93] [c92] [c91] [c89] [c85] [c82] [c75] [c69] [c66] [c64] [c63] [c60] [c57] [c51] [c50] [c48] [c46] [c45] [c32] [p4] [p3] [i5] [i4] [i1]
Eneia Todoran
aka: Eneia Nicolae Todoran
aka: Eneia Nicolae Todoran
a service of 
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 2023-10-23 23:25 CEST 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:
