Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gabriel Ciobanu
@article{DBLP:journals/cuza/Ciobanu23,
author = {Gabriel Ciobanu},
title = {A Teacher of Great Strengths},
journal = {Sci. Ann. Comput. Sci.},
volume = {33},
number = {1},
pages = {1--4},
year = {2023},
url = {https://doi.org/10.7561/SACS.2023.1.1},
doi = {10.7561/SACS.2023.1.1},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmemcom/CiobanuT23,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
title = {Variants of spiking neural {P} systems and their operational semantics
in Haskell},
journal = {J. Membr. Comput.},
volume = {5},
number = {2},
pages = {81--99},
year = {2023},
url = {https://doi.org/10.1007/s41965-023-00122-z},
doi = {10.1007/S41965-023-00122-Z},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmemcom/CiobanuT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/AlexandruC23,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Fixed Point Results for Infinite Fuzzy Sets with Atoms},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {40},
number = {1-2},
pages = {75--120},
year = {2023},
url = {https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-40-number-1-2023/mvlsc-40-1-p-75-120/},
timestamp = {Fri, 06 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mvl/AlexandruC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/CiobanuT23,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
title = {Spiking neural {P} systems and their semantics in Haskell},
journal = {Nat. Comput.},
volume = {22},
number = {1},
pages = {41--54},
year = {2023},
url = {https://doi.org/10.1007/s11047-022-09897-z},
doi = {10.1007/S11047-022-09897-Z},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/CiobanuT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AmanC23,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Relating randomized right-hand sides to communicating rewriting rules},
journal = {Theor. Comput. Sci.},
volume = {971},
pages = {114062},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114062},
doi = {10.1016/J.TCS.2023.114062},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AmanC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/AlexandruC22,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Various forms of infinity for finitely supported structures},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {173--222},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00787-2},
doi = {10.1007/S00153-021-00787-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AlexandruC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/axioms/Ciobanu22,
author = {Gabriel Ciobanu},
title = {A Hypergraph Model for Communication Patterns},
journal = {Axioms},
volume = {11},
number = {1},
pages = {8},
year = {2022},
url = {https://doi.org/10.3390/axioms11010008},
doi = {10.3390/AXIOMS11010008},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/axioms/Ciobanu22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu22,
author = {Gabriel Ciobanu},
title = {Reflections on a Scientific Journal},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {1},
pages = {1--4},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.1.1},
doi = {10.7561/SACS.2022.1.1},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AmanC22,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {New Editorial Team for {SACS} after 16 Years},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {2},
pages = {181--182},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.2.181},
doi = {10.7561/SACS.2022.2.181},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AmanC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AmanC22,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Dynamics of reputation in mobile agents systems and weighted timed
automata},
journal = {Inf. Comput.},
volume = {282},
pages = {104653},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2020.104653},
doi = {10.1016/J.IC.2020.104653},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AmanC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/AmanC22,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {The power of synchronizing rules in membrane computing},
journal = {Inf. Sci.},
volume = {594},
pages = {360--370},
year = {2022},
url = {https://doi.org/10.1016/j.ins.2022.02.014},
doi = {10.1016/J.INS.2022.02.014},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/AmanC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/CiobanuT22,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
title = {A process calculus for spiking neural {P} systems},
journal = {Inf. Sci.},
volume = {604},
pages = {298--319},
year = {2022},
url = {https://doi.org/10.1016/j.ins.2022.03.096},
doi = {10.1016/J.INS.2022.03.096},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/CiobanuT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AmanC22,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Stochastic sharing calculus for reasoning about social networks},
journal = {J. Log. Comput.},
volume = {32},
number = {6},
pages = {1048--1066},
year = {2022},
url = {https://doi.org/10.1093/logcom/exac017},
doi = {10.1093/LOGCOM/EXAC017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AmanC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AmanC22,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {Synchronization operator for communication privacy},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {1284--1290},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507349},
doi = {10.1145/3477314.3507349},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/AmanC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/AmanC22,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Agata Ciabattoni and
Elaine Pimentel and
Ruy J. G. B. de Queiroz},
title = {Interval Probability for Sessions Types},
booktitle = {Logic, Language, Information, and Computation - 28th International
Workshop, WoLLIC 2022, Ia{\c{s}}i, Romania, September 20-23, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13468},
pages = {123--140},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15298-6\_8},
doi = {10.1007/978-3-031-15298-6\_8},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/AmanC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AlexandruC21,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Essentials of Finitely Supported Structures},
journal = {Bull. {EATCS}},
volume = {133},
year = {2021},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/651},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/AlexandruC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/AmanC21,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Type inference for hierarchical multiset structures in rule-based
systems},
journal = {Inf. Sci.},
volume = {580},
pages = {673--683},
year = {2021},
url = {https://doi.org/10.1016/j.ins.2021.08.079},
doi = {10.1016/J.INS.2021.08.079},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/AmanC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmemcom/AmanC21,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Travelling salesman problem in tissue {P} systems with costs},
journal = {J. Membr. Comput.},
volume = {3},
number = {2},
pages = {97--104},
year = {2021},
url = {https://doi.org/10.1007/s41965-021-00077-z},
doi = {10.1007/S41965-021-00077-Z},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmemcom/AmanC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmemcom/CiobanuP21,
author = {Gabriel Ciobanu and
G. Michele Pinna},
title = {Memory associated with membranes systems},
journal = {J. Membr. Comput.},
volume = {3},
number = {2},
pages = {116--132},
year = {2021},
url = {https://doi.org/10.1007/s41965-020-00066-8},
doi = {10.1007/S41965-020-00066-8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmemcom/CiobanuP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/AlexandruC21,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Finitely Supported Binary Relations between Infinite Atomic Sets},
journal = {Symmetry},
volume = {13},
number = {11},
pages = {2028},
year = {2021},
url = {https://doi.org/10.3390/sym13112028},
doi = {10.3390/SYM13112028},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/AlexandruC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AmanC21,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Chih{-}Cheng Hung and
Jiman Hong and
Alessio Bechini and
Eunjee Song},
title = {Computation with cells enhanced by costs},
booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, Republic of Korea, March 22-26, 2021},
pages = {1278--1280},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3412841.3442117},
doi = {10.1145/3412841.3442117},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/AmanC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/AlexandruC20,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Foundations of Finitely Supported Structures - {A} Set Theoretical
Viewpoint},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-52962-8},
doi = {10.1007/978-3-030-52962-8},
isbn = {978-3-030-52961-1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/AlexandruC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AmanC20,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Mobile Membranes},
journal = {{IEEE} Access},
volume = {8},
pages = {147439--147450},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3011803},
doi = {10.1109/ACCESS.2020.3011803},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/AmanC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/AlexandruC20,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Properties of the atoms in finitely supported structures},
journal = {Arch. Math. Log.},
volume = {59},
number = {1-2},
pages = {229--256},
year = {2020},
url = {https://doi.org/10.1007/s00153-019-00684-9},
doi = {10.1007/S00153-019-00684-9},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AlexandruC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/AlexandruC20,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Fixed point results for finitely supported algebraic structures},
journal = {Fuzzy Sets Syst.},
volume = {397},
pages = {1--27},
year = {2020},
url = {https://doi.org/10.1016/j.fss.2019.09.014},
doi = {10.1016/J.FSS.2019.09.014},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/AlexandruC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccc/Ciobanu20,
author = {Gabriel Ciobanu},
title = {What does {P} mean in Natural Computing?},
journal = {Int. J. Comput. Commun. Control},
volume = {15},
number = {6},
year = {2020},
url = {https://doi.org/10.15837/ijccc.2020.6.4088},
doi = {10.15837/IJCCC.2020.6.4088},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccc/Ciobanu20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijns/AmanC20,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Spiking Neural {P} Systems with Astrocytes Producing Calcium},
journal = {Int. J. Neural Syst.},
volume = {30},
number = {12},
pages = {2050066:1--2050066:16},
year = {2020},
url = {https://doi.org/10.1142/S0129065720500665},
doi = {10.1142/S0129065720500665},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijns/AmanC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmemcom/AmanC20,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Mutual exclusion and reversibility in reaction systems},
journal = {J. Membr. Comput.},
volume = {2},
number = {3},
pages = {171--178},
year = {2020},
url = {https://doi.org/10.1007/s41965-020-00043-1},
doi = {10.1007/S41965-020-00043-1},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmemcom/AmanC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmemcom/AmanC20a,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Reversible computation in nature inspired rule-based systems},
journal = {J. Membr. Comput.},
volume = {2},
number = {4},
pages = {246--254},
year = {2020},
url = {https://doi.org/10.1007/s41965-020-00053-z},
doi = {10.1007/S41965-020-00053-Z},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmemcom/AmanC20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/AlexandruC20,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Relaxing the Fraenkel-Mostowski Set Theory},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {34},
number = {5-6},
pages = {499--526},
year = {2020},
url = {https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-34-number-5-6-2020/mvlsc-34-5-6-p-499-526/},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/AlexandruC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AmanBCV20,
author = {Bogdan Aman and
P{\'{e}}ter Batty{\'{a}}nyi and
Gabriel Ciobanu and
Gy{\"{o}}rgy Vaszil},
title = {Local time membrane systems and time Petri nets},
journal = {Theor. Comput. Sci.},
volume = {805},
pages = {175--192},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2018.06.013},
doi = {10.1016/J.TCS.2018.06.013},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AmanBCV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AmanC20,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Alexander Chatzigeorgiou and
Riccardo Dondi and
Herodotos Herodotou and
Christos A. Kapoutsis and
Yannis Manolopoulos and
George A. Papadopoulos and
Florian Sikora},
title = {Employing Costs in Multiagent Systems with Timed Migration and Timed
Communication},
booktitle = {{SOFSEM} 2020: Theory and Practice of Computer Science - 46th International
Conference on Current Trends in Theory and Practice of Informatics,
{SOFSEM} 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12011},
pages = {441--453},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-38919-2\_36},
doi = {10.1007/978-3-030-38919-2\_36},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/AmanC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuT20,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
title = {A Study of Multiparty Interactions in Continuation Semantics},
booktitle = {22nd International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2020, Timisoara, Romania, September
1-4, 2020},
pages = {117--124},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SYNASC51798.2020.00029},
doi = {10.1109/SYNASC51798.2020.00029},
timestamp = {Wed, 03 Mar 2021 12:18:46 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AmanCGKKKLMMNPPPUV20,
author = {Bogdan Aman and
Gabriel Ciobanu and
Robert Gl{\"{u}}ck and
Robin Kaarsgaard and
Jarkko Kari and
Martin Kutrib and
Ivan Lanese and
Claudio Antares Mezzina and
Lukasz Mikulski and
Rajagopal Nagarajan and
Iain C. C. Phillips and
G. Michele Pinna and
Luca Prigioniero and
Irek Ulidowski and
Germ{\'{a}}n Vidal},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Foundations of Reversible Computation},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {1--40},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_1},
doi = {10.1007/978-3-030-47361-7\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/AmanCGKKKLMMNPPPUV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/0001ACPPU20,
author = {Stefan Kuhn and
Bogdan Aman and
Gabriel Ciobanu and
Anna Philippou and
Kyriaki Psara and
Irek Ulidowski},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Reversibility in Chemical Reactions},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {151--176},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_7},
doi = {10.1007/978-3-030-47361-7\_7},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/0001ACPPU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-08175,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Imprecise Probability for Multiparty Session Types in Process Algebra},
journal = {CoRR},
volume = {abs/2002.08175},
year = {2020},
url = {https://arxiv.org/abs/2002.08175},
eprinttype = {arXiv},
eprint = {2002.08175},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-08175.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmemcom/AmanC19,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Synchronization of rules in membrane computing},
journal = {J. Membr. Comput.},
volume = {1},
number = {4},
pages = {233--240},
year = {2019},
url = {https://doi.org/10.1007/s41965-019-00022-1},
doi = {10.1007/S41965-019-00022-1},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmemcom/AmanC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/AlexandruC19,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {On the Foundations of Finitely Supported Sets},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {32},
number = {5-6},
pages = {541--564},
year = {2019},
url = {https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-32-number-5-6-2019/mvlsc-32-5-6-p-541-564/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/AlexandruC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HorneTAC19,
author = {Ross Horne and
Alwen Tiu and
Bogdan Aman and
Gabriel Ciobanu},
title = {De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative
Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {4},
pages = {22:1--22:44},
year = {2019},
url = {https://doi.org/10.1145/3325821},
doi = {10.1145/3325821},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/HorneTAC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AmanC19,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Verification of Multi-agent Systems with Timeouts for Migration and
Communication},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {134--151},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_9},
doi = {10.1007/978-3-030-32505-3\_9},
timestamp = {Tue, 11 Oct 2022 14:59:07 +0200},
biburl = {https://dblp.org/rec/conf/ictac/AmanC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-01748,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Mircea Marin and
Adrian Craciun},
title = {Probabilities in Session Types},
booktitle = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
Timi{\c{s}}oara, Romania, 3-5 September 2019},
series = {{EPTCS}},
volume = {303},
pages = {92--106},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.303.7},
doi = {10.4204/EPTCS.303.7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-01748.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-01751,
author = {Andrei Alexandru and
Gabriel Ciobanu},
editor = {Mircea Marin and
Adrian Craciun},
title = {Finitely Supported Sets Containing Infinite Uniformly Supported Subsets},
booktitle = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
Timi{\c{s}}oara, Romania, 3-5 September 2019},
series = {{EPTCS}},
volume = {303},
pages = {120--134},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.303.9},
doi = {10.4204/EPTCS.303.9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-01751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu18,
author = {Gabriel Ciobanu},
title = {High-Level Koutny Net},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {2},
pages = {157--159},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2\&\#38;a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/AlexandruC18,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Fuzzy sets within Finitely Supported Mathematics},
journal = {Fuzzy Sets Syst.},
volume = {339},
pages = {119--133},
year = {2018},
url = {https://doi.org/10.1016/j.fss.2017.08.011},
doi = {10.1016/J.FSS.2017.08.011},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/AlexandruC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/CiobanuV18,
author = {Gabriel Ciobanu and
Cristian Vaideanu},
title = {A note on similarity relations between fuzzy attribute-oriented concept
lattices},
journal = {Inf. Sci.},
volume = {460-461},
pages = {254--263},
year = {2018},
url = {https://doi.org/10.1016/j.ins.2018.05.034},
doi = {10.1016/J.INS.2018.05.034},
timestamp = {Sat, 11 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/CiobanuV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/AmanC18,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Bonding calculus},
journal = {Nat. Comput.},
volume = {17},
number = {4},
pages = {823--832},
year = {2018},
url = {https://doi.org/10.1007/s11047-018-9709-7},
doi = {10.1007/S11047-018-9709-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/AmanC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AmanC18,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Carmen Graciani D{\'{\i}}az and
Agust{\'{\i}}n Riscos{-}N{\'{u}}{\~{n}}ez and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Solving the N-Queens Puzzle by Using Few Membranes},
booktitle = {Enjoying Natural Computing - Essays Dedicated to Mario de Jes{\'{u}}s
P{\'{e}}rez-Jim{\'{e}}nez on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11270},
pages = {21--32},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00265-7\_2},
doi = {10.1007/978-3-030-00265-7\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AmanC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/AmanC18,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Analyzing the Shared Information in Social Networks},
booktitle = {14th European Dependable Computing Conference, {EDCC} 2018, Ia{\c{s}}i,
Romania, September 10-14, 2018},
pages = {195--202},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/EDCC.2018.00042},
doi = {10.1109/EDCC.2018.00042},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/AmanC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AmanC18,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Thomas Hinze and
Grzegorz Rozenberg and
Arto Salomaa and
Claudio Zandron},
title = {Adaptive {P} Systems},
booktitle = {Membrane Computing - 19th International Conference, {CMC} 2018, Dresden,
Germany, September 4-7, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11399},
pages = {57--72},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-12797-8\_5},
doi = {10.1007/978-3-030-12797-8\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AmanC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/CiobanuT18,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
editor = {Thomas Hinze and
Grzegorz Rozenberg and
Arto Salomaa and
Claudio Zandron},
title = {A Semantic Investigation of Spiking Neural {P} Systems},
booktitle = {Membrane Computing - 19th International Conference, {CMC} 2018, Dresden,
Germany, September 4-7, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11399},
pages = {108--130},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-12797-8\_9},
doi = {10.1007/978-3-030-12797-8\_9},
timestamp = {Mon, 04 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/CiobanuT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AlexandruC18,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Order Relations Over Finitely Supported Structures},
booktitle = {20th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2018, Timisoara, Romania, September
20-23, 2018},
pages = {117--124},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SYNASC.2018.00030},
doi = {10.1109/SYNASC.2018.00030},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/AlexandruC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuT18,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
title = {On the Abstractness of Continuation Semantics},
booktitle = {20th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2018, Timisoara, Romania, September
20-23, 2018},
pages = {167--174},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SYNASC.2018.00036},
doi = {10.1109/SYNASC.2018.00036},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AmanC17,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Efficiently solving the Bin Packing problem through bio-inspired mobility},
journal = {Acta Informatica},
volume = {54},
number = {4},
pages = {435--445},
year = {2017},
url = {https://doi.org/10.1007/s00236-016-0264-3},
doi = {10.1007/S00236-016-0264-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AmanC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/CiobanuV17,
author = {Gabriel Ciobanu and
Cristian Vaideanu},
title = {An efficient method to factorize fuzzy attribute-oriented concept
lattices},
journal = {Fuzzy Sets Syst.},
volume = {317},
pages = {121--132},
year = {2017},
url = {https://doi.org/10.1016/j.fss.2016.07.004},
doi = {10.1016/J.FSS.2016.07.004},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/CiobanuV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/AmanC17,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Verification of distributed systems involving bounded-time migration},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {7},
number = {3},
pages = {279--301},
year = {2017},
url = {https://doi.org/10.1504/IJCCBS.2017.10009410},
doi = {10.1504/IJCCBS.2017.10009410},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/AmanC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AmanC17,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Reversibility in Parallel Rewriting Systems},
journal = {J. Univers. Comput. Sci.},
volume = {23},
number = {7},
pages = {692--703},
year = {2017},
url = {http://www.jucs.org/jucs\_23\_7/reversibility\_in\_parallel\_rewriting},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/AmanC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AmanC17,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Verification of critical systems described in real-time TiMo},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {4},
pages = {395--408},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0439-9},
doi = {10.1007/S10009-016-0439-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AmanC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CiobanuT17,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
title = {Denotational semantics of membrane systems by using complete metric
spaces},
journal = {Theor. Comput. Sci.},
volume = {701},
pages = {85--108},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.08.022},
doi = {10.1016/J.TCS.2017.08.022},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CiobanuT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AmanC17,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Marian Gheorghe and
Grzegorz Rozenberg and
Arto Salomaa and
Claudio Zandron},
title = {Controlled Reversibility in Reaction Systems},
booktitle = {Membrane Computing - 18th International Conference, {CMC} 2017, Bradford,
UK, July 25-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10725},
pages = {40--53},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73359-3\_3},
doi = {10.1007/978-3-319-73359-3\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AmanC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuT17,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
editor = {Tudor Jebelean and
Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Tetsuo Ida and
Stephen M. Watt},
title = {Abstract Continuation Semantics for Asynchronous Concurrency},
booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
21-24, 2017},
pages = {296--303},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SYNASC.2017.00056},
doi = {10.1109/SYNASC.2017.00056},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AmanC17,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Kamel Barkaoui and
Hanifa Boucheneb and
Ali Mili and
Sofi{\`{e}}ne Tahar},
title = {Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine
Maude},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 11th International Conference, VECoS 2017, Montreal, QC, Canada,
August 24-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10466},
pages = {155--170},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66176-6\_11},
doi = {10.1007/978-3-319-66176-6\_11},
timestamp = {Wed, 31 Jan 2024 20:36:03 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AmanC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/AlexandruC16,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Finitely Supported Mathematics - An Introduction},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42282-4},
doi = {10.1007/978-3-319-42282-4},
isbn = {978-3-319-42281-7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/AlexandruC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/RusuC16,
author = {Danut Rusu and
Gabriel Ciobanu},
title = {Essential and density topologies of continuous domains},
journal = {Ann. Pure Appl. Log.},
volume = {167},
number = {9},
pages = {726--736},
year = {2016},
url = {https://doi.org/10.1016/j.apal.2016.04.014},
doi = {10.1016/J.APAL.2016.04.014},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/RusuC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/CiobanuT16,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
title = {Correct metric semantics for a language inspired by {DNA} computing},
journal = {Concurr. Comput. Pract. Exp.},
volume = {28},
number = {11},
pages = {3042--3060},
year = {2016},
url = {https://doi.org/10.1002/cpe.3585},
doi = {10.1002/CPE.3585},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/CiobanuT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlexandruC16,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Abstract Interpretations in the Framework of Invariant Sets},
journal = {Fundam. Informaticae},
volume = {144},
number = {1},
pages = {1--22},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1321},
doi = {10.3233/FI-2016-1321},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AlexandruC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijahuc/CiobanuR16,
author = {Gabriel Ciobanu and
Armand Stefan Rotaru},
title = {Verifying vehicle control systems by using process calculi},
journal = {Int. J. Ad Hoc Ubiquitous Comput.},
volume = {21},
number = {1},
pages = {41--49},
year = {2016},
url = {https://doi.org/10.1504/IJAHUC.2016.074388},
doi = {10.1504/IJAHUC.2016.074388},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijahuc/CiobanuR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CiobanuHS16,
author = {Gabriel Ciobanu and
Ross Horne and
Vladimiro Sassone},
title = {A descriptive type foundation for {RDF} Schema},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {681--706},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.02.006},
doi = {10.1016/J.JLAMP.2016.02.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CiobanuHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/AlexandruC16,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Pawlak Approximations in the Framework of Nominal Sets},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {26},
number = {3-5},
pages = {439--466},
year = {2016},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-26-number-3-5-2016/mvlsc-26-3-5-p-439-466/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/AlexandruC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/AmanBCV16,
author = {Bogdan Aman and
P{\'{e}}ter Batty{\'{a}}nyi and
Gabriel Ciobanu and
Gy{\"{o}}rgy Vaszil},
title = {Simulating {P} systems with membrane dissolution in a chemical calculus},
journal = {Nat. Comput.},
volume = {15},
number = {4},
pages = {521--532},
year = {2016},
url = {https://doi.org/10.1007/s11047-016-9570-5},
doi = {10.1007/S11047-016-9570-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/AmanBCV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AmanC16,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Modelling and verification of weighted spiking neural systems},
journal = {Theor. Comput. Sci.},
volume = {623},
pages = {92--102},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.11.005},
doi = {10.1016/J.TCS.2015.11.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AmanC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HorneTAC16,
author = {Ross Horne and
Alwen Tiu and
Bogdan Aman and
Gabriel Ciobanu},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Private Names in Non-Commutative Logic},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {31:1--31:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.31},
doi = {10.4230/LIPICS.CONCUR.2016.31},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HorneTAC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AmanC16,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Alberto Leporati and
Grzegorz Rozenberg and
Arto Salomaa and
Claudio Zandron},
title = {Computational Power of Protein Networks},
booktitle = {Membrane Computing - 17th International Conference, {CMC} 2016, Milan,
Italy, July 25-29, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10105},
pages = {103--118},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-54072-6\_7},
doi = {10.1007/978-3-319-54072-6\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AmanC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/CiobanuT16,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
editor = {Alberto Leporati and
Grzegorz Rozenberg and
Arto Salomaa and
Claudio Zandron},
title = {Continuation Passing Semantics for Membrane Systems},
booktitle = {Membrane Computing - 17th International Conference, {CMC} 2016, Milan,
Italy, July 25-29, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10105},
pages = {165--176},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-54072-6\_11},
doi = {10.1007/978-3-319-54072-6\_11},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/CiobanuT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuT16,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Continuation Semantics of a Language Inspired by Membrane Computing
with Symport/Antiport Interactions},
booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
24-27, 2016},
pages = {335--342},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SYNASC.2016.060},
doi = {10.1109/SYNASC.2016.060},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HorneTAC16,
author = {Ross Horne and
Alwen Tiu and
Bogdan Aman and
Gabriel Ciobanu},
title = {Private Names in Non-Commutative Logic},
journal = {CoRR},
volume = {abs/1602.06043},
year = {2016},
url = {http://arxiv.org/abs/1602.06043},
eprinttype = {arXiv},
eprint = {1602.06043},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HorneTAC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/AlexandruC15,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Generalized Multisets: From {ZF} to {FSM}},
journal = {Comput. Informatics},
volume = {34},
number = {5},
pages = {1133--1150},
year = {2015},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/539},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/AlexandruC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CiobanuK15,
author = {Gabriel Ciobanu and
Maciej Koutny},
title = {PerTiMo: {A} Model of Spatial Migration with Safe Access Permissions},
journal = {Comput. J.},
volume = {58},
number = {5},
pages = {1041--1060},
year = {2015},
url = {https://doi.org/10.1093/comjnl/bxu006},
doi = {10.1093/COMJNL/BXU006},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/CiobanuK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csjm/AmanC15,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {BioMaxP: {A} Formal Approach for Cellular Ion Pumps},
journal = {Comput. Sci. J. Moldova},
volume = {23},
number = {2},
pages = {123--134},
year = {2015},
url = {http://www.math.md/publications/csjm/issues/v23-n2/11952/},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csjm/AmanC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu15,
author = {Gabriel Ciobanu},
title = {A Grand Master of Discrete Mathematics},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {1},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.1.1},
doi = {10.7561/SACS.2015.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CiobanuKS15,
author = {Gabriel Ciobanu and
Maciej Koutny and
L. Jason Steggles},
title = {Strategy based semantics for mobility with time and access permissions},
journal = {Formal Aspects Comput.},
volume = {27},
number = {3},
pages = {525--549},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0324-9},
doi = {10.1007/S00165-014-0324-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CiobanuKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/CiobanuV15,
author = {Gabriel Ciobanu and
Cristian Vaideanu},
title = {Similarity relations in fuzzy attribute-oriented concept lattices},
journal = {Fuzzy Sets Syst.},
volume = {275},
pages = {88--109},
year = {2015},
url = {https://doi.org/10.1016/j.fss.2014.12.011},
doi = {10.1016/J.FSS.2014.12.011},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/CiobanuV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CiobanuHS15,
author = {Gabriel Ciobanu and
Ross Horne and
Vladimiro Sassone},
title = {Minimal type inference for Linked Data consumers},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {4},
pages = {485--504},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.12.005},
doi = {10.1016/J.JLAMP.2014.12.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CiobanuHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ncn/AmanC15,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Behavioural observations of cell movements with timing aspects},
journal = {Nano Commun. Networks},
volume = {6},
number = {3},
pages = {96--102},
year = {2015},
url = {https://doi.org/10.1016/j.nancom.2015.04.004},
doi = {10.1016/J.NANCOM.2015.04.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ncn/AmanC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AmanC15,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Verification of membrane systems with delays via Petri nets with delays},
journal = {Theor. Comput. Sci.},
volume = {598},
pages = {87--101},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.03.051},
doi = {10.1016/J.TCS.2015.03.051},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AmanC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egcee/AmanC15,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Ross Horne},
title = {Mobility Types for Cloud Computing},
booktitle = {Embracing Global Computing in Emerging Economies - First Workshop,
{EGC} 2015, Almaty, Kazakhstan, February 26-28, 2015. Proceedings},
series = {Communications in Computer and Information Science},
volume = {514},
pages = {43--53},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25043-4\_5},
doi = {10.1007/978-3-319-25043-4\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/egcee/AmanC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CiobanuH15,
author = {Gabriel Ciobanu and
Ross Horne},
editor = {Manuel Mazzara and
Andrei Voronkov},
title = {Behavioural Analysis of Sessions Using the Calculus of Structures},
booktitle = {Perspectives of System Informatics - 10th International Andrei Ershov
Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan
and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9609},
pages = {91--106},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-41579-6\_8},
doi = {10.1007/978-3-319-41579-6\_8},
timestamp = {Sun, 02 Jun 2019 21:19:59 +0200},
biburl = {https://dblp.org/rec/conf/ershov/CiobanuH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/AmanC15,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Matthias G{\"{u}}demann},
title = {Timed Mobility and Timed Communication for Critical Systems},
booktitle = {Formal Methods for Industrial Critical Systems - 20th International
Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9128},
pages = {146--161},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19458-5\_10},
doi = {10.1007/978-3-319-19458-5\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/AmanC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CiobanuT15,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {Continuation Semantics for Concurrency with Multiple Channels Communication},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {400--416},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_26},
doi = {10.1007/978-3-319-25423-4\_26},
timestamp = {Sun, 02 Jun 2019 21:19:43 +0200},
biburl = {https://dblp.org/rec/conf/icfem/CiobanuT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/AlexandruC15a,
author = {Andrei Alexandru and
Gabriel Ciobanu},
editor = {Vitaliy Yakovyna and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Grygoriy Zholtkevych and
Aleksander Spivakovsky and
Sotiris Batsakis},
title = {Main Steps in Defining Finitely Supported Mathematics},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 11th International Conference, {ICTERI}
2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {594},
pages = {73--90},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-30246-1\_5},
doi = {10.1007/978-3-319-30246-1\_5},
timestamp = {Tue, 16 Aug 2022 23:04:36 +0200},
biburl = {https://dblp.org/rec/conf/icteri/AlexandruC15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/AmanC15a,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Vitaliy Yakovyna and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Grygoriy Zholtkevych and
Aleksander Spivakovsky and
Sotiris Batsakis},
title = {Solving NP-complete Problems in Polynomial Time by Using a Natural
Computing Model},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 11th International Conference, {ICTERI}
2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {594},
pages = {91--108},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-30246-1\_6},
doi = {10.1007/978-3-319-30246-1\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/AmanC15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/AlexandruC15,
author = {Andrei Alexandru and
Gabriel Ciobanu},
editor = {Sotiris Batsakis and
Heinrich C. Mayr and
Vitaliy Yakovyna and
Mykola S. Nikitchenko and
Grygoriy Zholtkevych and
Vyacheslav S. Kharchenko and
Hennadiy Kravtsov and
Vitaliy Kobets and
Vladimir S. Peschanenko and
Vadim Ermolayev and
Yuriy Bobalo and
Aleksander Spivakovsky},
title = {Dening Finitely Supported Mathematics over Sets with Atoms},
booktitle = {Proceedings of the 11th International Conference on {ICT} in Education,
Research and Industrial Applications: Integration, Harmonization and
Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1356},
pages = {382--395},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1356/paper\_93.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:15 +0100},
biburl = {https://dblp.org/rec/conf/icteri/AlexandruC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/AmanC15,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Sotiris Batsakis and
Heinrich C. Mayr and
Vitaliy Yakovyna and
Mykola S. Nikitchenko and
Grygoriy Zholtkevych and
Vyacheslav S. Kharchenko and
Hennadiy Kravtsov and
Vitaliy Kobets and
Vladimir S. Peschanenko and
Vadim Ermolayev and
Yuriy Bobalo and
Aleksander Spivakovsky},
title = {Natural Computing Modelling of the Polynomial Space Turing Machines},
booktitle = {Proceedings of the 11th International Conference on {ICT} in Education,
Research and Industrial Applications: Integration, Harmonization and
Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1356},
pages = {408--418},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1356/paper\_63.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icteri/AmanC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AmanC15,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Grzegorz Rozenberg and
Arto Salomaa and
Jos{\'{e}} M. Sempere and
Claudio Zandron},
title = {Automated Verification of Stochastic Spiking Neural {P} Systems},
booktitle = {Membrane Computing - 16th International Conference, {CMC} 2015, Valencia,
Spain, August 17-21, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9504},
pages = {77--91},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28475-0\_6},
doi = {10.1007/978-3-319-28475-0\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AmanC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuT15,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Continuation Semantics for Dynamic Hierarchical Systems},
booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
21-24, 2015},
pages = {281--288},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SYNASC.2015.52},
doi = {10.1109/SYNASC.2015.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AlexandruC15,
author = {Andrei Alexandru and
Gabriel Ciobanu},
editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Static Analysis in Finitely Supported Mathematics},
booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
21-24, 2015},
pages = {312--319},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SYNASC.2015.56},
doi = {10.1109/SYNASC.2015.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AlexandruC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Ciobanu15,
author = {Gabriel Ciobanu},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Timeout Interaction and Migration in Distributed Systems},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {79--80},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Ciobanu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AmanC15,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Verification of Bounded Real-Time Distributed Systems With Mobility},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {109--120},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AmanC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/AgrigoroaieiC14,
author = {Oana Agrigoroaiei and
Gabriel Ciobanu},
title = {Rewriting Systems Over Indexed Multisets},
journal = {Comput. J.},
volume = {57},
number = {1},
pages = {165--179},
year = {2014},
url = {https://doi.org/10.1093/comjnl/bxt007},
doi = {10.1093/COMJNL/BXT007},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/AgrigoroaieiC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu14,
author = {Gabriel Ciobanu},
title = {Theoretical Aspects of Computing},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {2},
pages = {173--176},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.2.173},
doi = {10.7561/SACS.2014.2.173},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlexandruC14,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Nominal Groups and Their Homomorphism Theorems},
journal = {Fundam. Informaticae},
volume = {131},
number = {3-4},
pages = {279--298},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1015},
doi = {10.3233/FI-2014-1015},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AlexandruC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CiobanuT14,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
title = {Continuation Semantics for Asynchronous Concurrency},
journal = {Fundam. Informaticae},
volume = {131},
number = {3-4},
pages = {373--388},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1020},
doi = {10.3233/FI-2014-1020},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CiobanuT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CiobanuS14,
author = {Gabriel Ciobanu and
Dragos Sburlan},
title = {Monitoring Changes in Dynamic Multiset Systems},
journal = {Fundam. Informaticae},
volume = {134},
number = {1-2},
pages = {67--82},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1091},
doi = {10.3233/FI-2014-1091},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CiobanuS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CiobanuP14,
author = {Gabriel Ciobanu and
G. Michele Pinna},
title = {Catalytic and communicating Petri nets are Turing complete},
journal = {Inf. Comput.},
volume = {239},
pages = {55--70},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.08.008},
doi = {10.1016/J.IC.2014.08.008},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CiobanuP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/CiobanuPS14,
author = {Gabriel Ciobanu and
G. Michele Pinna and
Dragos Sburlan},
title = {Power of Causal Dependencies in Rule-Based Systems},
journal = {J. Autom. Lang. Comb.},
volume = {19},
number = {1-4},
pages = {45--56},
year = {2014},
url = {https://doi.org/10.25596/jalc-2014-045},
doi = {10.25596/JALC-2014-045},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/CiobanuPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bionetics/AmanC14,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Junichi Suzuki and
Tadashi Nakano},
title = {Observational Equivalences in a Bio-Inspired Formalism Involving Mobility
and Lifetimes},
booktitle = {8th International Conference on Bio-inspired Information and Communications
Technologies, {BICT} 2014, Boston, MA, USA, December 1-3, 2014},
publisher = {{ICST}},
year = {2014},
url = {https://doi.org/10.4108/icst.bict.2014.257861},
doi = {10.4108/ICST.BICT.2014.257861},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bionetics/AmanC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bionetics/CiobanuA14,
author = {Gabriel Ciobanu and
Bogdan Aman},
editor = {Junichi Suzuki and
Tadashi Nakano},
title = {Computational Power of Chemical Kinetics in Living Cells},
booktitle = {8th International Conference on Bio-inspired Information and Communications
Technologies, {BICT} 2014, Boston, MA, USA, December 1-3, 2014},
publisher = {{ICST}},
year = {2014},
url = {https://doi.org/10.4108/icst.bict.2014.258046},
doi = {10.4108/ICST.BICT.2014.258046},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bionetics/CiobanuA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CiobanuHS14,
author = {Gabriel Ciobanu and
Ross Horne and
Vladimiro Sassone},
editor = {Andrei Voronkov and
Irina B. Virbitskaite},
title = {Descriptive Types for Linked Data Resources},
booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8974},
pages = {1--25},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46823-4\_1},
doi = {10.1007/978-3-662-46823-4\_1},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/CiobanuHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/CiobanuHV14,
author = {Gabriel Ciobanu and
Ross Horne and
Cristian Vaideanu},
editor = {Nathalie Hernandez and
Robert J{\"{a}}schke and
Madalina Croitoru},
title = {Extracting Threshold Conceptual Structures from Web Documents},
booktitle = {Graph-Based Representation and Reasoning - 21st International Conference
on Conceptual Structures, {ICCS} 2014, Ia{\c{s}}i, Romania, July 27-30,
2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8577},
pages = {130--144},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08389-6\_12},
doi = {10.1007/978-3-319-08389-6\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccs/CiobanuHV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/CiobanuR14,
author = {Gabriel Ciobanu and
Danut Rusu},
editor = {Nathalie Hernandez and
Robert J{\"{a}}schke and
Madalina Croitoru},
title = {A Formal Topology of Web Classification},
booktitle = {Graph-Based Representation and Reasoning - 21st International Conference
on Conceptual Structures, {ICCS} 2014, Ia{\c{s}}i, Romania, July 27-30,
2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8577},
pages = {145--158},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08389-6\_13},
doi = {10.1007/978-3-319-08389-6\_13},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccs/CiobanuR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/CiobanuHS14,
author = {Gabriel Ciobanu and
Thai Son Hoang and
Alin Stefanescu},
title = {From TiMo to Event-B: Event-Driven Timed Mobility},
booktitle = {2014 19th International Conference on Engineering of Complex Computer
Systems, Tianjin, China, August 4-7, 2014},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICECCS.2014.10},
doi = {10.1109/ICECCS.2014.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/CiobanuHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CiobanuR14,
author = {Gabriel Ciobanu and
Armand Stefan Rotaru},
editor = {Stephan Merz and
Jun Pang},
title = {{PHASE:} {A} Stochastic Formalism for Phase-Type Distributions},
booktitle = {Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {91--106},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11737-9\_7},
doi = {10.1007/978-3-319-11737-9\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/CiobanuR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CiobanuR14,
author = {Gabriel Ciobanu and
Armand Stefan Rotaru},
editor = {Carlos Canal and
Akram Idani},
title = {Phase-Type Approximations for Non-Markovian Systems: {A} Case Study},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {323--334},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_21},
doi = {10.1007/978-3-319-15201-1\_21},
timestamp = {Sun, 25 Oct 2020 22:54:47 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CiobanuR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuT14,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
editor = {Franz Winkler and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Correct Metric Semantics for a Biologically-Inspired Formalism},
booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September
22-25, 2014},
pages = {317--324},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SYNASC.2014.50},
doi = {10.1109/SYNASC.2014.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuC14,
author = {Gabriel Ciobanu and
Dan Cojocar},
editor = {Franz Winkler and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Expressing BBUFs Lookup Using the {\(\pi\)}-Calculus},
booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September
22-25, 2014},
pages = {511--518},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SYNASC.2014.74},
doi = {10.1109/SYNASC.2014.74},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2014,
editor = {Gabriel Ciobanu and
Dominique M{\'{e}}ry},
title = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8687},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10882-7},
doi = {10.1007/978-3-319-10882-7},
isbn = {978-3-319-10881-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/CiobanuS13,
author = {Gabriel Ciobanu and
Dragos Sburlan},
title = {Scenario Based {P} Systems},
journal = {Int. J. Unconv. Comput.},
volume = {9},
number = {5-6},
pages = {351--366},
year = {2013},
url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-9-number-5-6-2013/ijuc-9-5-6-p-351-366/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/CiobanuS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/Ciobanu13,
author = {Gabriel Ciobanu},
title = {General patterns of interaction in stochastic fusion},
journal = {Nat. Comput.},
volume = {12},
number = {3},
pages = {429--439},
year = {2013},
url = {https://doi.org/10.1007/s11047-012-9346-5},
doi = {10.1007/S11047-012-9346-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/Ciobanu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/AmanCK13,
author = {Bogdan Aman and
Gabriel Ciobanu and
Shankara Narayanan Krishna},
editor = {Chittaranjan Hota and
Pradip K. Srimani},
title = {Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired
Mobility},
booktitle = {Distributed Computing and Internet Technology, 9th International Conference,
{ICDCIT} 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7753},
pages = {432--443},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36071-8\_34},
doi = {10.1007/978-3-642-36071-8\_34},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/AmanCK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/CiobanuZ13,
author = {Gabriel Ciobanu and
Manchun Zheng},
title = {Automatic Analysis of TiMo Systems in {PAT}},
booktitle = {2013 18th International Conference on Engineering of Complex Computer
Systems, Singapore, July 17-19, 2013},
pages = {121--124},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICECCS.2013.25},
doi = {10.1109/ICECCS.2013.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/CiobanuZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AmanC13,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Mobile Membranes: Computability and Complexity},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8049},
pages = {59--75},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39718-9\_4},
doi = {10.1007/978-3-642-39718-9\_4},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/AmanC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CiobanuR13,
author = {Gabriel Ciobanu and
Armand Stefan Rotaru},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {A Probabilistic Logic for pTiMo},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8049},
pages = {141--158},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39718-9\_9},
doi = {10.1007/978-3-642-39718-9\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/CiobanuR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AmanC13,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Artiom Alhazov and
Svetlana Cojocaru and
Marian Gheorghe and
Yurii Rogozhin and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Behavioural Equivalences in Real-Time {P} Systems},
booktitle = {Membrane Computing - 14th International Conference, {CMC} 2013, Chi{\c{s}}in{\u{a}}u,
Republic of Moldova, August 20-23, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8340},
pages = {88--100},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54239-8\_8},
doi = {10.1007/978-3-642-54239-8\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AmanC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AmanC13a,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Steve Counsell and
Manuel N{\'{u}}{\~{n}}ez},
title = {Behavioural Types Inspired by Cellular Thresholds},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8368},
pages = {29--43},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05032-4\_3},
doi = {10.1007/978-3-319-05032-4\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/AmanC13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AmanC13,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Robert M. Hierons and
Mercedes G. Merayo and
Mario Bravetti},
title = {Real-Time Migration Properties of rTiMo Verified in Uppaal},
booktitle = {Software Engineering and Formal Methods - 11th International Conference,
{SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {31--45},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7\_3},
doi = {10.1007/978-3-642-40561-7\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/AmanC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Ciobanu13,
author = {Gabriel Ciobanu},
editor = {Nikolaj S. Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {TiMo: Timed Mobility in Distributed Systems},
booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
23-26, 2013},
pages = {5--10},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SYNASC.2013.8},
doi = {10.1109/SYNASC.2013.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Ciobanu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AlexandruC13,
author = {Andrei Alexandru and
Gabriel Ciobanu},
editor = {Nikolaj S. Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Algebraic Properties of Generalized Multisets},
booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
23-26, 2013},
pages = {367--374},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SYNASC.2013.55},
doi = {10.1109/SYNASC.2013.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AlexandruC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuH13,
author = {Gabriel Ciobanu and
Ross Horne},
editor = {Nikolaj S. Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Non-interleaving Operational Semantics for Geographically Replicated
Databases},
booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
23-26, 2013},
pages = {440--447},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SYNASC.2013.64},
doi = {10.1109/SYNASC.2013.64},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/AmanC13,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Giancarlo Mauri and
Alberto Dennunzio and
Luca Manzoni and
Antonio E. Porreca},
title = {Computational Power of Protein Interaction Networks},
booktitle = {Unconventional Computation and Natural Computation - 12th International
Conference, {UCNC} 2013, Milan, Italy, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7956},
pages = {248--249},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39074-6\_25},
doi = {10.1007/978-3-642-39074-6\_25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uc/AmanC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CiobanuHS13,
author = {Gabriel Ciobanu and
Ross Horne and
Vladimiro Sassone},
editor = {Ant{\'{o}}nio Ravara and
Josep Silva},
title = {Local Type Checking for Linked Data Consumers},
booktitle = {Proceedings 9th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th
June 2013},
series = {{EPTCS}},
volume = {123},
pages = {19--33},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.123.4},
doi = {10.4204/EPTCS.123.4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CiobanuHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/CiobanuJ12,
author = {Gabriel Ciobanu and
Calin Juravle},
title = {Flexible software architecture and language for mobile agents},
journal = {Concurr. Comput. Pract. Exp.},
volume = {24},
number = {6},
pages = {559--571},
year = {2012},
url = {https://doi.org/10.1002/cpe.1854},
doi = {10.1002/CPE.1854},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/CiobanuJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AmanC12,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Properties of enhanced mobile membranes via coloured Petri nets},
journal = {Inf. Process. Lett.},
volume = {112},
number = {6},
pages = {243--248},
year = {2012},
url = {https://doi.org/10.1016/j.ipl.2011.12.003},
doi = {10.1016/J.IPL.2011.12.003},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/AmanC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CiobanuK12,
author = {Gabriel Ciobanu and
Maciej Koutny},
title = {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)},
journal = {Theor. Comput. Sci.},
volume = {431},
pages = {2--3},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.064},
doi = {10.1016/J.TCS.2011.12.064},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CiobanuK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KrishnaAC12,
author = {Shankara Narayanan Krishna and
Bogdan Aman and
Gabriel Ciobanu},
editor = {S. Barry Cooper and
Anuj Dawar and
Benedikt L{\"{o}}we},
title = {On the Computability Power of Membrane Systems with Controlled Mobility},
booktitle = {How the World Computes - Turing Centenary Conference and 8th Conference
on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7318},
pages = {626--635},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30870-3\_63},
doi = {10.1007/978-3-642-30870-3\_63},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/KrishnaAC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AmanC12,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Marjan Sirjani},
title = {Coordinating Parallel Mobile Ambients to Solve {SAT} Problem in Polynomial
Number of Steps},
booktitle = {Coordination Models and Languages - 14th International Conference,
{COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7274},
pages = {122--136},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30829-1\_9},
doi = {10.1007/978-3-642-30829-1\_9},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AmanC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AmanCK12,
author = {Bogdan Aman and
Gabriel Ciobanu and
Maciej Koutny},
editor = {Holger Giese and
Grigore Rosu},
title = {Behavioural Equivalences over Migrating Processes with Timers},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {52--66},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_4},
doi = {10.1007/978-3-642-30793-5\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AmanCK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CiobanuP12,
author = {Gabriel Ciobanu and
G. Michele Pinna},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Catalytic Petri Nets Are Turing Complete},
booktitle = {Language and Automata Theory and Applications - 6th International
Conference, {LATA} 2012, {A} Coru{\~{n}}a, Spain, March 5-9, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7183},
pages = {192--203},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28332-1\_17},
doi = {10.1007/978-3-642-28332-1\_17},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/CiobanuP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AmanC12,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Marian Gheorghe and
Grzegorz Rozenberg and
Arto Salomaa and
Gy{\"{o}}rgy Vaszil},
title = {Mobile Membranes with Objects on Surface as Colored Petri Nets},
booktitle = {Membrane Computing - 13th International Conference, {CMC} 2012, Budapest,
Hungary, August 28-31, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7762},
pages = {128--144},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36751-9\_10},
doi = {10.1007/978-3-642-36751-9\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AmanC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/PagliariniACM12,
author = {Roberto Pagliarini and
Oana Agrigoroaiei and
Gabriel Ciobanu and
Vincenzo Manca},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Marian Gheorghe and
Grzegorz Rozenberg and
Arto Salomaa and
Gy{\"{o}}rgy Vaszil},
title = {An Analysis of Correlative and Static Causality in {P} Systems},
booktitle = {Membrane Computing - 13th International Conference, {CMC} 2012, Budapest,
Hungary, August 28-31, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7762},
pages = {323--341},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36751-9\_22},
doi = {10.1007/978-3-642-36751-9\_22},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/PagliariniACM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CiobanuKS12,
author = {Gabriel Ciobanu and
Maciej Koutny and
L. Jason Steggles},
editor = {George Eleftherakis and
Mike Hinchey and
Mike Holcombe},
title = {A Timed Mobility Semantics Based on Rewriting Strategies},
booktitle = {Software Engineering and Formal Methods - 10th International Conference,
{SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7504},
pages = {141--155},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33826-7\_10},
doi = {10.1007/978-3-642-33826-7\_10},
timestamp = {Sat, 05 Sep 2020 18:01:22 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CiobanuKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuT12,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Relating Two Metric Semantics for Parallel Rewriting of Multisets},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
pages = {273--280},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SYNASC.2012.35},
doi = {10.1109/SYNASC.2012.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AmanCP12,
author = {Bogdan Aman and
Gabriel Ciobanu and
G. Michele Pinna},
editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Timed Catalytic Petri Nets},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
pages = {319--326},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SYNASC.2012.22},
doi = {10.1109/SYNASC.2012.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AmanCP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AlexandruC12,
author = {Andrei Alexandru and
Gabriel Ciobanu},
editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Nominal Fusion Calculus},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
pages = {376--383},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SYNASC.2012.40},
doi = {10.1109/SYNASC.2012.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AlexandruC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-4634,
author = {Gabriel Ciobanu and
Ross Horne},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {A Provenance Tracking Model for Data Updates},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {31--44},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.3},
doi = {10.4204/EPTCS.91.3},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4634.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1211-3476,
editor = {Gabriel Ciobanu},
title = {Proceedings 6th Workshop on Membrane Computing and Biologically Inspired
Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012},
series = {{EPTCS}},
volume = {100},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.100},
doi = {10.4204/EPTCS.100},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-3476.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/ncs/AmanC11,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Mobility in Process Calculi and Natural Computing},
series = {Natural Computing Series},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24867-2},
doi = {10.1007/978-3-642-24867-2},
isbn = {978-3-642-24866-5},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/ncs/AmanC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AmanC11,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Solving a weak NP-complete problem in polynomial time by using mutual
mobile membrane systems},
journal = {Acta Informatica},
volume = {48},
number = {7-8},
pages = {409--415},
year = {2011},
url = {https://doi.org/10.1007/s00236-011-0144-9},
doi = {10.1007/S00236-011-0144-9},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AmanC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CiobanuK11,
author = {Gabriel Ciobanu and
Maciej Koutny},
title = {Timed Mobility in process algebra and Petri nets},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {7},
pages = {377--391},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.05.002},
doi = {10.1016/J.JLAP.2011.05.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CiobanuK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CiobanuK11,
author = {Gabriel Ciobanu and
Shankara Narayanan Krishna},
title = {Enhanced Mobile Membranes: Computability Results},
journal = {Theory Comput. Syst.},
volume = {48},
number = {3},
pages = {715--729},
year = {2011},
url = {https://doi.org/10.1007/s00224-010-9256-9},
doi = {10.1007/S00224-010-9256-9},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/CiobanuK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/AmanC11,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Mutual mobile membranes with objects on surface},
journal = {Nat. Comput.},
volume = {10},
number = {2},
pages = {777--793},
year = {2011},
url = {https://doi.org/10.1007/s11047-011-9249-x},
doi = {10.1007/S11047-011-9249-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/AmanC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AmanC11,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Jozef Kelemen and
Alica Kelemenov{\'{a}}},
title = {A Temporal Logic for Mutual Mobile Membranes with Objects on Surface},
booktitle = {Computation, Cooperation, and Life - Essays Dedicated to Gheorghe
Paun on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6610},
pages = {138--150},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20000-7\_11},
doi = {10.1007/978-3-642-20000-7\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AmanC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KrishnaC11,
author = {Shankara Narayanan Krishna and
Gabriel Ciobanu},
editor = {Benedikt L{\"{o}}we and
Dag Normann and
Ivan N. Soskov and
Alexandra A. Soskova},
title = {Computability Power of Mobility in Enhanced Mobile Membranes},
booktitle = {Models of Computation in Context - 7th Conference on Computability
in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6735},
pages = {160--170},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21875-0\_17},
doi = {10.1007/978-3-642-21875-0\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/KrishnaC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/KrishnaC11,
author = {Shankara Narayanan Krishna and
Gabriel Ciobanu},
editor = {Markus Holzer and
Martin Kutrib and
Giovanni Pighizzini},
title = {A S\({}_{\mbox{2}}\)\({}^{\mbox{\emph{P}}}\) {\`{E}}P\({}_{\mbox{2}}\)\({}^{\mbox{\emph{P}}}\){\textbackslash}Sigma{\_}2{\^{}}P
{\textbackslash}cup {\textbackslash}Pi{\_}2{\^{}}P Lower Bound Using
Mobile Membranes},
booktitle = {Descriptional Complexity of Formal Systems - 13th International Workshop,
{DCFS} 2011, Gie{\ss}en/Limburg, Germany, July 25-27, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6808},
pages = {275--288},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22600-7\_22},
doi = {10.1007/978-3-642-22600-7\_22},
timestamp = {Sun, 25 Oct 2020 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/KrishnaC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CiobanuK11,
author = {Gabriel Ciobanu and
Maciej Koutny},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {Timed Migration and Interaction with Access Permissions},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {293--307},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_23},
doi = {10.1007/978-3-642-21437-0\_23},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/CiobanuK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AgrigoroaieiC11,
author = {Oana Agrigoroaiei and
Gabriel Ciobanu},
editor = {Marian Gheorghe and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa and
Sergey Verlan},
title = {Quantitative Causality in Membrane Systems},
booktitle = {Membrane Computing - 12th International Conference, {CMC} 2011, Fontainebleau,
France, August 23-26, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7184},
pages = {62--72},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-28024-5\_6},
doi = {10.1007/978-3-642-28024-5\_6},
timestamp = {Fri, 28 Feb 2020 19:27:03 +0100},
biburl = {https://dblp.org/rec/conf/membrane/AgrigoroaieiC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuT11,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
editor = {Dongming Wang and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Metric Denotational Semantics for Parallel Rewriting of Multisets},
booktitle = {13th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2011, Timisoara, Romania, September
26-29, 2011},
pages = {276--283},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SYNASC.2011.20},
doi = {10.1109/SYNASC.2011.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AlexandruC11,
author = {Andrei Alexandru and
Gabriel Ciobanu},
editor = {Dongming Wang and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Nominal Semantics of the pi I-calculus},
booktitle = {13th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2011, Timisoara, Romania, September
26-29, 2011},
pages = {331--338},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SYNASC.2011.19},
doi = {10.1109/SYNASC.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AlexandruC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1107-1200,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Mieke Massink and
Gethin Norman},
title = {Time Delays in Membrane Systems and Petri Nets},
booktitle = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
2011},
series = {{EPTCS}},
volume = {57},
pages = {47--60},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.57.4},
doi = {10.4204/EPTCS.57.4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-3418,
author = {Gabriel Ciobanu},
title = {Biologically Inspired Process Calculi, Petri Nets and Membrane Computing},
journal = {CoRR},
volume = {abs/1108.3418},
year = {2011},
url = {http://arxiv.org/abs/1108.3418},
eprinttype = {arXiv},
eprint = {1108.3418},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3418.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-3558,
author = {Gabriel Ciobanu},
title = {Proceedings of the 5th Workshop on Membrane Computing and Biologically
Inspired Process Calculi (MeCBIC 2011)},
journal = {CoRR},
volume = {abs/1108.3558},
year = {2011},
url = {http://arxiv.org/abs/1108.3558},
eprinttype = {arXiv},
eprint = {1108.3558},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3558.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/AgrigoroaieiAC11,
author = {Oana Agrigoroaiei and
Bogdan Aman and
Gabriel Ciobanu},
title = {Semantics, Causality and Mobility in Membrane Computing},
journal = {{ERCIM} News},
volume = {2011},
number = {85},
pages = {22},
year = {2011},
url = {http://ercim-news.ercim.eu/en85/special/semantics-causality-and-mobility-in-membrane-computing},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/AgrigoroaieiAC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccc/AmanC10,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Adding Lifetime to Objects and Membranes in {P} Systems},
journal = {Int. J. Comput. Commun. Control},
volume = {5},
number = {3},
pages = {268--279},
year = {2010},
url = {https://doi.org/10.15837/ijccc.2010.3.2480},
doi = {10.15837/IJCCC.2010.3.2480},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccc/AmanC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccc/Ciobanu10,
author = {Gabriel Ciobanu},
title = {Writing as a Form of Freedom and Happiness Celebrating the 60th birthday
of Gheorghe P{\u{a}}un},
journal = {Int. J. Comput. Commun. Control},
volume = {5},
number = {5},
pages = {613--615},
year = {2010},
url = {https://doi.org/10.15837/ijccc.2010.5.2215},
doi = {10.15837/IJCCC.2010.5.2215},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccc/Ciobanu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AgrigoroaieiC10,
author = {Oana Agrigoroaiei and
Gabriel Ciobanu},
title = {Reversing computation in membrane systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {3-5},
pages = {278--288},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.003},
doi = {10.1016/J.JLAP.2010.03.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AgrigoroaieiC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AgrigoroaieiC10a,
author = {Oana Agrigoroaiei and
Gabriel Ciobanu},
title = {Rule-based and object-based event structures for membrane systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {295--303},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.010},
doi = {10.1016/J.JLAP.2010.03.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AgrigoroaieiC10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scholarpedia/AmanC10,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Computational Aspects of Mobile Membranes, Brane Calculi and Mobile
Ambients},
journal = {Scholarpedia},
volume = {5},
number = {7},
pages = {9420},
year = {2010},
url = {https://doi.org/10.4249/scholarpedia.9420},
doi = {10.4249/SCHOLARPEDIA.9420},
timestamp = {Thu, 23 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scholarpedia/AmanC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/CiobanuJ10,
author = {Gabriel Ciobanu and
Calin Juravle},
editor = {Mohammed Essaaidi and
Michele Malgeri and
Costin Badica},
title = {Mobile Agents with Timers, and Their Implementation},
booktitle = {Intelligent Distributed Computing {IV} - Proceedings of the 4th International
Symposium on Intelligent Distributed Computing - {IDC} 2010, Tangier,
Morocco, September 2010},
volume = {315},
pages = {229--239},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15211-5\_24},
doi = {10.1007/978-3-642-15211-5\_24},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/idc/CiobanuJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/Ciobanu10,
author = {Gabriel Ciobanu},
editor = {Mohammed Essaaidi and
Michele Malgeri and
Costin Badica},
title = {Finding Network Resources by Using Mobile Agents},
booktitle = {Intelligent Distributed Computing {IV} - Proceedings of the 4th International
Symposium on Intelligent Distributed Computing - {IDC} 2010, Tangier,
Morocco, September 2010},
volume = {315},
pages = {305--313},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15211-5\_32},
doi = {10.1007/978-3-642-15211-5\_32},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/idc/Ciobanu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/Ciobanu10,
author = {Gabriel Ciobanu},
editor = {Marian Gheorghe and
Thomas Hinze and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Mobility in Computer Science and in Membrane Systems},
booktitle = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena,
Germany, August 24-27, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6501},
pages = {7--17},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18123-8\_3},
doi = {10.1007/978-3-642-18123-8\_3},
timestamp = {Mon, 03 Jan 2022 22:42:19 +0100},
biburl = {https://dblp.org/rec/conf/membrane/Ciobanu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AgrigoroaieiC10,
author = {Oana Agrigoroaiei and
Gabriel Ciobanu},
editor = {Marian Gheorghe and
Thomas Hinze and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Flattening the Transition {P} Systems with Dissolution},
booktitle = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena,
Germany, August 24-27, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6501},
pages = {53--64},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18123-8\_7},
doi = {10.1007/978-3-642-18123-8\_7},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/AgrigoroaieiC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuT10,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
editor = {Tetsuo Ida and
Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Continuation Semantics for Concurrency Applied to Parallel Rewriting
of Multisets},
booktitle = {12th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2010, Timisoara, Romania, 23-26 September
2010},
pages = {387--391},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SYNASC.2010.36},
doi = {10.1109/SYNASC.2010.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/AmanC10,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Cristian S. Calude and
Masami Hagiya and
Kenichi Morita and
Grzegorz Rozenberg and
Jon Timmis},
title = {Formalizing the Behavior of Biological Processes with Mobility},
booktitle = {Unconventional Computation - 9th International Conference, {UC} 2010,
Tokyo, Japan, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6079},
pages = {187},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13523-1\_20},
doi = {10.1007/978-3-642-13523-1\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uc/AmanC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1011-0051,
editor = {Gabriel Ciobanu and
Maciej Koutny},
title = {Proceedings Fourth Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010},
series = {{EPTCS}},
volume = {40},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.40},
doi = {10.4204/EPTCS.40},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CiobanuR09,
author = {Gabriel Ciobanu and
Sergiu Rudeanu},
title = {Final and sequential behaviours of M-automata},
journal = {Acta Informatica},
volume = {46},
number = {5},
pages = {361--374},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0098-3},
doi = {10.1007/S00236-009-0098-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CiobanuR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/CiobanuL09,
author = {Gabriel Ciobanu and
Dorel Lucanu},
title = {Model-based Testing and Analysis of Coordinated Components},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {20},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.20.281},
doi = {10.14279/TUJ.ECEASST.20.281},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/CiobanuL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AndersonC09,
author = {Hugh Anderson and
Gabriel Ciobanu},
title = {Markov Abstractions for Probabilistic Pi-Calculus},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {22},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.22.317},
doi = {10.14279/TUJ.ECEASST.22.317},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/AndersonC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CiobanuG09,
author = {Gabriel Ciobanu and
Viorel Mihai Gontineac},
title = {Encodings of Multisets},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {381--393},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006632},
doi = {10.1142/S0129054109006632},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/CiobanuG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/CiobanuR09,
author = {Gabriel Ciobanu and
Andreas Resios},
title = {Complexity of evolution in maximum cooperative {P} systems},
journal = {Nat. Comput.},
volume = {8},
number = {4},
pages = {807--816},
year = {2009},
url = {https://doi.org/10.1007/s11047-009-9107-2},
doi = {10.1007/S11047-009-9107-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/CiobanuR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/AmanC09,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {Simple, Enhanced and Mutual Mobile Membranes},
journal = {Trans. Comp. Sys. Biology},
volume = {11},
pages = {26--44},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04186-0\_2},
doi = {10.1007/978-3-642-04186-0\_2},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/AmanC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CiobanuJ09,
author = {Gabriel Ciobanu and
Calin Juravle},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {A Software Platform for Timed Mobility and Timed Interaction},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {106--121},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_7},
doi = {10.1007/978-3-642-02138-1\_7},
timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
biburl = {https://dblp.org/rec/conf/forte/CiobanuJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AgrigoroaieiCR09,
author = {Oana Agrigoroaiei and
Gabriel Ciobanu and
Andreas Resios},
editor = {Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Agustin Riscos{-}N{\'{u}}{\~{n}}ez and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Evolving by Maximizing the Number of Rules: Complexity Study},
booktitle = {Membrane Computing, 10th International Workshop, {WMC} 2009, Curtea
de Arges, Romania, August 24-27, 2009. Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {5957},
pages = {149--157},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11467-0\_11},
doi = {10.1007/978-3-642-11467-0\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AgrigoroaieiCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AmanC09,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Agustin Riscos{-}N{\'{u}}{\~{n}}ez and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Typed Membrane Systems},
booktitle = {Membrane Computing, 10th International Workshop, {WMC} 2009, Curtea
de Arges, Romania, August 24-27, 2009. Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {5957},
pages = {169--181},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11467-0\_13},
doi = {10.1007/978-3-642-11467-0\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AmanC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuT09,
author = {Gabriel Ciobanu and
Eneia Nicolae Todoran},
editor = {Stephen M. Watt and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {A Methodology for Concurrent Languages Development Based on Denotational
Semantics},
booktitle = {11th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2009, Timisoara, Romania, September
26-29, 2009},
pages = {290--298},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SYNASC.2009.31},
doi = {10.1109/SYNASC.2009.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/AmanC09,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa and
Nachum Dershowitz and
Elisabete Freire and
Grzegorz Rozenberg},
title = {Turing Completeness Using Three Mobile Membranes},
booktitle = {Unconventional Computation, 8th International Conference, {UC} 2009,
Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5715},
pages = {42--55},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03745-0\_12},
doi = {10.1007/978-3-642-03745-0\_12},
timestamp = {Sun, 25 Oct 2020 22:48:50 +0100},
biburl = {https://dblp.org/rec/conf/uc/AmanC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0910-1217,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Ralph{-}Johan Back and
Ion Petre and
Erik P. de Vink},
title = {Mutual Mobile Membranes with Timers},
booktitle = {Proceedings Second International Workshop on Computational Models
for Cell Processes, {COMPMOD} 2009, Eindhoven, the Netherlands, November
3, 2009},
series = {{EPTCS}},
volume = {6},
pages = {1--15},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.6.1},
doi = {10.4204/EPTCS.6.1},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-1217.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mecbic/2008,
editor = {Gabriel Ciobanu},
title = {Proceedings of the Second International Meeting on Membrane Computing
and Biologically Inspired Process Calculi, MeCBIC 2008, Ia{\c{s}}i,
Romania, September 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {227},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/227/suppl/C},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mecbic/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0912-0034,
editor = {Gabriel Ciobanu},
title = {Proceedings Third Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September
2009},
series = {{EPTCS}},
volume = {11},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.11},
doi = {10.4204/EPTCS.11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-0034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/CiobanuA08,
author = {Gabriel Ciobanu and
Bogdan Aman},
title = {On the relationship between membranes and ambients},
journal = {Biosyst.},
volume = {91},
number = {3},
pages = {515--530},
year = {2008},
url = {https://doi.org/10.1016/j.biosystems.2007.01.006},
doi = {10.1016/J.BIOSYSTEMS.2007.01.006},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/biosystems/CiobanuA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/BonchisIC08,
author = {Cosmin Bonchis and
Cornel Izbasa and
Gabriel Ciobanu},
title = {Information Theory over Multisets},
journal = {Comput. Informatics},
volume = {27},
number = {3+},
pages = {441--451},
year = {2008},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/242},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/BonchisIC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CiobanuR08,
author = {Gabriel Ciobanu and
Andreas Resios},
title = {Computational Complexity of Simple {P} Systems},
journal = {Fundam. Informaticae},
volume = {87},
number = {1},
pages = {49--59},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi87-1-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CiobanuR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KrishnaC08,
author = {Shankara Narayanan Krishna and
Gabriel Ciobanu},
editor = {Arnold Beckmann and
Costas Dimitracopoulos and
Benedikt L{\"{o}}we},
title = {On the Computational Power of Enhanced Mobile Membranes},
booktitle = {Logic and Theory of Algorithms, 4th Conference on Computability in
Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5028},
pages = {326--335},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69407-6\_36},
doi = {10.1007/978-3-540-69407-6\_36},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/KrishnaC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/CiobanuK08,
author = {Gabriel Ciobanu and
Maciej Koutny},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {Modelling and Verification of Timed Interaction and Migration},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {215--229},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_16},
doi = {10.1007/978-3-540-78743-3\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/CiobanuK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AmanC08,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {Timed Mobile Ambients for Network Protocols},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {234--250},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_15},
doi = {10.1007/978-3-540-68855-6\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AmanC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AgrigoroaieiC08,
author = {Oana Agrigoroaiei and
Gabriel Ciobanu},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Non-interleaving Semantics with Causality for Nondeterministic Dataflow},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {66--80},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_5},
doi = {10.1007/978-3-540-85762-4\_5},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/AgrigoroaieiC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AgrigoroaieiC08,
author = {Oana Agrigoroaiei and
Gabriel Ciobanu},
editor = {David W. Corne and
Pierluigi Frisco and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Dual {P} Systems},
booktitle = {Membrane Computing - 9th International Workshop, {WMC} 2008, Edinburgh,
UK, July 28-31, 2008, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5391},
pages = {95--107},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-95885-7\_7},
doi = {10.1007/978-3-540-95885-7\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AgrigoroaieiC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AmanC08,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Resource Competition and Synchronization in Membranes},
booktitle = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September
2008},
pages = {145--151},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SYNASC.2008.74},
doi = {10.1109/SYNASC.2008.74},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AmanC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/BonchisCGI08,
author = {Cosmin Bonchis and
Gabriel Ciobanu and
Graiela Ghergu and
Cornel Izbasa},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Data Compression on Multisets. Submultiset-Free Codes},
booktitle = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September
2008},
pages = {152--157},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SYNASC.2008.89},
doi = {10.1109/SYNASC.2008.89},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/BonchisCGI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/Ciobanu08,
author = {Gabriel Ciobanu},
editor = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa and
Rudolf Freund and
Marion Oswald and
Grzegorz Rozenberg},
title = {From Gene Regulation to Stochastic Fusion},
booktitle = {Unconventional Computing, 7th International Conference, {UC} 2008,
Vienna, Austria, August 25-28, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5204},
pages = {51--63},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85194-3\_7},
doi = {10.1007/978-3-540-85194-3\_7},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/Ciobanu08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/AndersonCF08,
author = {Hugh Anderson and
Gabriel Ciobanu and
Leo Freitas},
editor = {Andrew Butterfield},
title = {{UTP} and Temporal Logic Model Checking},
booktitle = {Unifying Theories of Programming, Second International Symposium,
{UTP} 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5713},
pages = {22--41},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-14521-6\_3},
doi = {10.1007/978-3-642-14521-6\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/utp/AndersonCF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ciobanu09,
author = {Gabriel Ciobanu},
editor = {Gabriel Ciobanu},
title = {Preface},
booktitle = {Proceedings of the Second International Meeting on Membrane Computing
and Biologically Inspired Process Calculi, MeCBIC 2008, Ia{\c{s}}i,
Romania, September 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {227},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.100},
doi = {10.1016/J.ENTCS.2008.12.100},
timestamp = {Fri, 24 Feb 2023 10:20:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ciobanu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AgrigoroaieiC09,
author = {Oana Agrigoroaiei and
Gabriel Ciobanu},
editor = {Grigore Rosu},
title = {Rewriting Logic Specification of Membrane Systems with Promoters and
Inhibitors},
booktitle = {Proceedings of the Seventh International Workshop on Rewriting Logic
and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {3},
pages = {5--22},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.010},
doi = {10.1016/J.ENTCS.2009.05.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AgrigoroaieiC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Ciobanu08,
author = {Gabriel Ciobanu},
editor = {Martin Wirsing and
Jean{-}Pierre Ban{\^{a}}tre and
Matthias M. H{\"{o}}lzl and
Axel Rauschmayer},
title = {Behaviour Equivalences in Timed Distributed pi-Calculus},
booktitle = {Software-Intensive Systems and New Computing Paradigms - Challenges
and Visions},
series = {Lecture Notes in Computer Science},
volume = {5380},
pages = {190--208},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89437-7\_13},
doi = {10.1007/978-3-540-89437-7\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/Ciobanu08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CiobanuR07,
author = {Gabriel Ciobanu and
Sergiu Rudeanu},
title = {Equivalent Transformations of Automata by Using Behavioural Automata},
journal = {J. Univers. Comput. Sci.},
volume = {13},
number = {11},
pages = {1540--1549},
year = {2007},
url = {https://doi.org/10.3217/jucs-013-11-1540},
doi = {10.3217/JUCS-013-11-1540},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/CiobanuR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AndreiCL07,
author = {Oana Andrei and
Gabriel Ciobanu and
Dorel Lucanu},
title = {A rewriting logic framework for operational semantics of membrane
systems},
journal = {Theor. Comput. Sci.},
volume = {373},
number = {3},
pages = {163--181},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.016},
doi = {10.1016/J.TCS.2006.12.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AndreiCL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CiobanuPPP07,
author = {Gabriel Ciobanu and
Linqiang Pan and
Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez},
title = {P systems with minimal parallelism},
journal = {Theor. Comput. Sci.},
volume = {378},
number = {1},
pages = {117--130},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.03.044},
doi = {10.1016/J.TCS.2007.03.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CiobanuPPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/AmanC07,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Volker Diekert and
Mikhail V. Volkov and
Andrei Voronkov},
title = {Timers and Proximities for Mobile Ambients},
booktitle = {Computer Science - Theory and Applications, Second International Symposium
on Computer Science in Russia, {CSR} 2007, Ekaterinburg, Russia, September
3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4649},
pages = {33--43},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74510-5\_7},
doi = {10.1007/978-3-540-74510-5\_7},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/csr/AmanC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AmanC07,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {Mobile Ambients with Timers and Types},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
Colloquium, Macau, China, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4711},
pages = {50--63},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75292-9\_4},
doi = {10.1007/978-3-540-75292-9\_4},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/AmanC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/Ciobanu07,
author = {Gabriel Ciobanu},
editor = {Costin Badica and
Marcin Paprzycki},
title = {Time and Space Coordination of Mobile Agents},
booktitle = {Advances in Intelligent and Distributed Computing, Proceedings of
the 1st International Symposium on Intelligent and Distributed Computing,
{IDC} 2007, Craiova, Romania, October 2007},
series = {Studies in Computational Intelligence},
volume = {78},
pages = {9--23},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74930-1\_2},
doi = {10.1007/978-3-540-74930-1\_2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/idc/Ciobanu07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AmanC07,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {George Eleftherakis and
Petros Kefalas and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {On the Reachability Problem in {P} Systems with Mobile Membranes},
booktitle = {Membrane Computing, 8th International Workshop, {WMC} 2007, Thessaloniki,
Greece, June 25-28, 2007 Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4860},
pages = {113--123},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77312-2\_7},
doi = {10.1007/978-3-540-77312-2\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AmanC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/CiobanuL07,
author = {Gabriel Ciobanu and
Dorel Lucanu},
editor = {George Eleftherakis and
Petros Kefalas and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Events, Causality, and Concurrency in Membrane Systems},
booktitle = {Membrane Computing, 8th International Workshop, {WMC} 2007, Thessaloniki,
Greece, June 25-28, 2007 Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4860},
pages = {209--227},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77312-2\_13},
doi = {10.1007/978-3-540-77312-2\_13},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/CiobanuL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AmanC07,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Structural Properties and Observability in Membrane Systems},
booktitle = {Proceedings of the Ninth International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, {SYNASC} 2007, Timisoara, Romania,
September 26-29, 2007},
pages = {74--81},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SYNASC.2007.65},
doi = {10.1109/SYNASC.2007.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AmanC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmanC08,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Nicola Cannata and
Emanuela Merelli},
title = {Describing the Immune System Using Enhanced Mobile Membranes},
booktitle = {Proceedings of the First Workshop "From Biology To Concurrency and
back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {3},
pages = {5--18},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.12.003},
doi = {10.1016/J.ENTCS.2007.12.003},
timestamp = {Thu, 09 Feb 2023 10:12:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmanC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ciobanu08,
author = {Gabriel Ciobanu},
editor = {Dina Q. Goldin and
Farhad Arbab},
title = {Interaction in Time and Space},
booktitle = {Proceedings of the Workshop on the Foundations of Interactive Computation,
FInCo@ETAPS 2007, Braga, Portugal, March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {3},
pages = {5--18},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.083},
doi = {10.1016/J.ENTCS.2008.04.083},
timestamp = {Mon, 13 Feb 2023 11:56:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ciobanu08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiobanuR08,
author = {Gabriel Ciobanu and
Danut Rusu},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Supermetrics over Apartness Lattice-Ordered Semigroup},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {191--200},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.015},
doi = {10.1016/J.ENTCS.2008.03.015},
timestamp = {Thu, 09 Feb 2023 12:23:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CiobanuR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu06,
author = {Gabriel Ciobanu},
title = {New Editorial Team},
journal = {Sci. Ann. Cuza Univ.},
volume = {16},
pages = {3--4},
year = {2006},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVI\&\#38;a=0},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CiobanuPP06,
author = {Gabriel Ciobanu and
Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez},
title = {On the Branching Complexity of {P} Systems},
journal = {Fundam. Informaticae},
volume = {73},
number = {1-2},
pages = {27--36},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-1-2-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CiobanuPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccc/Ciobanu06,
author = {Gabriel Ciobanu},
title = {"Logic will never be the same again" - Kurt G{\"{o}}del
Centenary},
journal = {Int. J. Comput. Commun. Control},
volume = {1},
number = {1},
pages = {69--71},
year = {2006},
url = {https://doi.org/10.15837/ijccc.2006.1.2274},
doi = {10.15837/IJCCC.2006.1.2274},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijccc/Ciobanu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccc/Ciobanu06a,
author = {Gabriel Ciobanu},
title = {A Programming Perspective of the Membrane Systems},
journal = {Int. J. Comput. Commun. Control},
volume = {1},
number = {3},
pages = {13--24},
year = {2006},
url = {https://doi.org/10.15837/ijccc.2006.3.2291},
doi = {10.15837/IJCCC.2006.3.2291},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijccc/Ciobanu06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/Ciobanu06,
author = {Gabriel Ciobanu},
title = {Theory and applications of {P} systems},
journal = {Int. J. Comput. Math.},
volume = {83},
number = {7},
pages = {525--527},
year = {2006},
url = {https://doi.org/10.1080/00207160601065272},
doi = {10.1080/00207160601065272},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcm/Ciobanu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CiobanuG06,
author = {Gabriel Ciobanu and
Viorel Mihai Gontineac},
title = {Mealy multiset automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {17},
number = {1},
pages = {111--126},
year = {2006},
url = {https://doi.org/10.1142/S0129054106003723},
doi = {10.1142/S0129054106003723},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/CiobanuG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/CiobanuR06,
author = {Gabriel Ciobanu and
Danut Rusu},
title = {Algebraic and Topological Properties of Apartness Lattice-Ordered
Semigroups},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {12},
number = {3-4},
pages = {249--274},
year = {2006},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-12-number-3-4-2006/mvlsc-12-3-4-p-249-274/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/CiobanuR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/CiobanuL06,
author = {Gabriel Ciobanu and
Dorel Lucanu},
title = {A specification language for coordinated objects},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {31},
number = {2},
year = {2006},
url = {https://doi.org/10.1145/1118537.1123062},
doi = {10.1145/1118537.1123062},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/CiobanuL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CiobanuZ06,
author = {Gabriel Ciobanu and
Vladimir A. Zakharov},
editor = {Irina B. Virbitskaite and
Andrei Voronkov},
title = {Encoding Mobile Ambients into the \emph{pi} -Calculus},
booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov
Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4378},
pages = {148--165},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70881-0\_15},
doi = {10.1007/978-3-540-70881-0\_15},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/CiobanuZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CiobanuR06,
author = {Gabriel Ciobanu and
Danut Rusu},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
title = {A Topological Approach of the Web Classification},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {80--92},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_6},
doi = {10.1007/11921240\_6},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/CiobanuR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/Ciobanu06,
author = {Gabriel Ciobanu},
title = {Coordination and Self-Organization in MultiAgent Systems},
booktitle = {Proceedings of the Sixth International Conference on Intelligent Systems
Design and Applications {(ISDA} 2006), October 16-18, 2006, Jinan,
China},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISDA.2006.127},
doi = {10.1109/ISDA.2006.127},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isda/Ciobanu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AndreiCL06,
author = {Oana Andrei and
Gabriel Ciobanu and
Dorel Lucanu},
editor = {Hendrik Jan Hoogeboom and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Expressing Control Mechanisms of Membranes by Rewriting Strategies},
booktitle = {Membrane Computing, 7th International Workshop, {WMC} 2006, Leiden,
The Netherlands, July 17-21, 2006, Revised, Selected, and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4361},
pages = {154--169},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11963516\_10},
doi = {10.1007/11963516\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AndreiCL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/CiobanuG06,
author = {Gabriel Ciobanu and
Viorel Mihai Gontineac},
editor = {Hendrik Jan Hoogeboom and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {P Machines: An Automata Approach to Membrane Computing},
booktitle = {Membrane Computing, 7th International Workshop, {WMC} 2006, Leiden,
The Netherlands, July 17-21, 2006, Revised, Selected, and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4361},
pages = {314--329},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11963516\_20},
doi = {10.1007/11963516\_20},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/CiobanuG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/ZaharieC06,
author = {Daniela Zaharie and
Gabriel Ciobanu},
editor = {Hendrik Jan Hoogeboom and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Distributed Evolutionary Algorithms Inspired by Membranes in Solving
Continuous Optimization Problems},
booktitle = {Membrane Computing, 7th International Workshop, {WMC} 2006, Leiden,
The Netherlands, July 17-21, 2006, Revised, Selected, and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4361},
pages = {536--553},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11963516\_34},
doi = {10.1007/11963516\_34},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/ZaharieC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Ciobanu06,
author = {Gabriel Ciobanu},
editor = {Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Ajith Abraham and
Bruno Buchberger and
Alexandru Cicortas and
Dorian Gorgan and
Jo{\"{e}}l Quinqueton},
title = {Collaborative Agents Interaction Using Message Passing Interface},
booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing {(SYNASC} 2006), 26-29 September 2006, Timisoara,
Romania},
pages = {244--250},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SYNASC.2006.23},
doi = {10.1109/SYNASC.2006.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Ciobanu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/BonchisIC06,
author = {Cosmin Bonchis and
Cornel Izbasa and
Gabriel Ciobanu},
editor = {Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Ajith Abraham and
Bruno Buchberger and
Alexandru Cicortas and
Dorian Gorgan and
Jo{\"{e}}l Quinqueton},
title = {Number Encodings and Arithmetics over Multisets},
booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing {(SYNASC} 2006), 26-29 September 2006, Timisoara,
Romania},
pages = {354--364},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SYNASC.2006.58},
doi = {10.1109/SYNASC.2006.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/BonchisIC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/BonchisCI06,
author = {Cosmin Bonchis and
Gabriel Ciobanu and
Cornel Izbasa},
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Angsheng Li},
title = {Encodings and Arithmetic Operations in Membrane Computing},
booktitle = {Theory and Applications of Models of Computation, Third International
Conference, {TAMC} 2006, Beijing, China, May 15-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3959},
pages = {621--630},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11750321\_59},
doi = {10.1007/11750321\_59},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tamc/BonchisCI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiobanuP07,
author = {Gabriel Ciobanu and
Cristian Prisacariu},
editor = {Carlos Canal and
Mirko Viroli},
title = {Coordination by Timers for Channel-Based Anonymous Communications},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {3--17},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.002},
doi = {10.1016/J.ENTCS.2007.03.002},
timestamp = {Tue, 06 Dec 2022 11:55:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CiobanuP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmanC07,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Nadia Busi and
Claudio Zandron},
title = {Translating Mobile Ambients into {P} Systems},
booktitle = {Proceedings of the First Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC@ICALP 2006, Venice, Italy, July 9,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {171},
number = {2},
pages = {11--23},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.001},
doi = {10.1016/J.ENTCS.2007.05.001},
timestamp = {Fri, 27 Jan 2023 11:08:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmanC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiobanuP06,
author = {Gabriel Ciobanu and
Cristian Prisacariu},
editor = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {Timers for Distributed Systems},
booktitle = {Proceedings of the 4th International Workshop on Quantitative Aspects
of Programming Languages, {QAPL} 2006, Vienna, Austria, April 1-2,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {3},
pages = {81--99},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.07.013},
doi = {10.1016/J.ENTCS.2006.07.013},
timestamp = {Fri, 20 Jan 2023 13:06:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CiobanuP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/ncs/Ciobanu06,
author = {Gabriel Ciobanu},
editor = {Gabriel Ciobanu and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Gheorghe Paun},
title = {Modeling Cell-Mediated Immunity by Means of {P} Systems},
booktitle = {Applications of Membrane Computing},
series = {Natural Computing Series},
pages = {159--180},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-29937-8\_5},
doi = {10.1007/3-540-29937-8\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ncs/Ciobanu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/ncs/2006membrane,
editor = {Gabriel Ciobanu and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Gheorghe Paun},
title = {Applications of Membrane Computing},
series = {Natural Computing Series},
publisher = {Springer},
year = {2006},
isbn = {978-3-540-25017-3},
timestamp = {Fri, 08 Feb 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ncs/2006membrane.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CiobanuM05,
author = {Gabriel Ciobanu and
Janardan Misra},
title = {Performance Analysis and Name Passing Errors in Probabilistic Fusion},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {57--76},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&\#38;a=5},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CiobanuM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CiobanuG05,
author = {Gabriel Ciobanu and
Viorel Mihai Gontineac},
title = {An Automata Description of the Genetic Message Translation},
journal = {Fundam. Informaticae},
volume = {64},
number = {1-4},
pages = {93--107},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi64-1-4-09},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CiobanuG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/CiobanuPS05,
author = {Gabriel Ciobanu and
Gheorghe Paun and
Gheorghe Stefanescu},
title = {P Transducers},
journal = {New Gener. Comput.},
volume = {24},
number = {1},
pages = {1--28},
year = {2005},
url = {https://doi.org/10.1007/BF03037291},
doi = {10.1007/BF03037291},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/CiobanuPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/CiobanuR05,
author = {Gabriel Ciobanu and
Danut Rusu},
editor = {Pinar Yolum and
Tunga G{\"{u}}ng{\"{o}}r and
Fikret S. G{\"{u}}rgen and
Can C. {\"{O}}zturan},
title = {Self-organizing Distribution of Agents over Hosts},
booktitle = {Computer and Information Sciences - {ISCIS} 2005, 20th International
Symposium, Istanbul, Turkey, October 26-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3733},
pages = {462--471},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11569596\_49},
doi = {10.1007/11569596\_49},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscis/CiobanuR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AndreiCL05,
author = {Oana Andrei and
Gabriel Ciobanu and
Dorel Lucanu},
editor = {Rudolf Freund and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Structural Operational Semantics of {P} Systems},
booktitle = {Membrane Computing, 6th International Workshop, {WMC} 2005, Vienna,
Austria, July 18-21, 2005, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3850},
pages = {31--48},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603047\_2},
doi = {10.1007/11603047\_2},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AndreiCL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/CiobanuG05,
author = {Gabriel Ciobanu and
Viorel Mihai Gontineac},
editor = {Rudolf Freund and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Algebraic and Coalgebraic Aspects of Membrane Computing},
booktitle = {Membrane Computing, 6th International Workshop, {WMC} 2005, Vienna,
Austria, July 18-21, 2005, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3850},
pages = {181--198},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603047\_13},
doi = {10.1007/11603047\_13},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/CiobanuG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CiobanuL05,
author = {Gabriel Ciobanu and
Dorel Lucanu},
editor = {Gary T. Leavens},
title = {A specification language for coordinated objects},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {3},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123062},
doi = {10.1145/1123058.1123062},
timestamp = {Thu, 10 Feb 2022 15:21:21 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/CiobanuL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Ciobanu05,
author = {Gabriel Ciobanu},
editor = {Daniela Zaharie and
Dana Petcu and
Viorel Negru and
Tudor Jebelean and
Gabriel Ciobanu and
Alexandru Cicortas and
Ajith Abraham and
Marcin Paprzycki},
title = {Theory and Practice of Programming Applied to Membrane Systems},
booktitle = {Seventh International Symposium on Symbolic and Numeric Algorithms
for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
Romania},
pages = {19--25},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SYNASC.2005.74},
doi = {10.1109/SYNASC.2005.74},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Ciobanu05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CiobanuS05,
author = {Gabriel Ciobanu and
K. N. Sridhar},
editor = {Daniela Zaharie and
Dana Petcu and
Viorel Negru and
Tudor Jebelean and
Gabriel Ciobanu and
Alexandru Cicortas and
Ajith Abraham and
Marcin Paprzycki},
title = {Specifications and Verification of Network Protocols by Process Algebra},
booktitle = {Seventh International Symposium on Symbolic and Numeric Algorithms
for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
Romania},
pages = {250--258},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SYNASC.2005.68},
doi = {10.1109/SYNASC.2005.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CiobanuS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/DanesLC05,
author = {Mihai Danes and
Dorel Lucanu and
Gabriel Ciobanu},
editor = {Daniela Zaharie and
Dana Petcu and
Viorel Negru and
Tudor Jebelean and
Gabriel Ciobanu and
Alexandru Cicortas and
Ajith Abraham and
Marcin Paprzycki},
title = {Specification of Coordinated Objects and Verification of Their Temporal
Properties},
booktitle = {Seventh International Symposium on Symbolic and Numeric Algorithms
for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
Romania},
pages = {259--266},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SYNASC.2005.67},
doi = {10.1109/SYNASC.2005.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/DanesLC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/BonchisCIP05,
author = {Cosmin Bonchis and
Gabriel Ciobanu and
Cornel Izbasa and
Dana Petcu},
editor = {Cristian Calude and
Michael J. Dinneen and
Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Grzegorz Rozenberg},
title = {A Web-Based {P} Systems Simulator and Its Parallelization},
booktitle = {Unconventional Computation, 4th International Conference, {UC} 2005,
Sevilla, Spain, October 3-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3699},
pages = {58--69},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560319\_7},
doi = {10.1007/11560319\_7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uc/BonchisCIP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/CiobanuR05,
author = {Gabriel Ciobanu and
Danut Rusu},
editor = {Allan Ellis and
Tatsuya Hagino},
title = {Topological spaces of the web},
booktitle = {Proceedings of the 14th international conference on World Wide Web,
{WWW} 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks
and posters},
pages = {1112--1113},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062745.1062894},
doi = {10.1145/1062745.1062894},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/CiobanuR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreiLC06,
author = {Oana Andrei and
Dorel Lucanu and
Gabriel Ciobanu},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Operational Semantics and Rewriting Logic in Membrane Computing},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {57--78},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.028},
doi = {10.1016/J.ENTCS.2005.10.028},
timestamp = {Thu, 15 Dec 2022 16:08:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndreiLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2005,
editor = {Daniela Zaharie and
Dana Petcu and
Viorel Negru and
Tudor Jebelean and
Gabriel Ciobanu and
Alexandru Cicortas and
Ajith Abraham and
Marcin Paprzycki},
title = {Seventh International Symposium on Symbolic and Numeric Algorithms
for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
Romania},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://ieeexplore.ieee.org/xpl/conhome/10639/proceeding},
isbn = {0-7695-2453-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csjm/CiobanuG04,
author = {Gabriel Ciobanu and
Viorel Mihai Gontineac},
title = {Communication Equivalence Classes in Networks},
journal = {Comput. Sci. J. Moldova},
volume = {12},
number = {3},
pages = {359--363},
year = {2004},
url = {http://www.math.md/publications/csjm/issues/v12-n3/7566/},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csjm/CiobanuG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SridharC04,
author = {K. N. Sridhar and
Gabriel Ciobanu},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Zakaria Maamar and
Fernando L. Pelayo and
Key Pousttchi and
Fernando Rubio},
title = {Describing {IEEE} 802.11 Wireless Mechanisms by Using the pi-Calculus
and Performance Evaluation Process Algebra},
booktitle = {Applying Formal Methods: Testing, Performance and M/ECommerce, {FORTE}
2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2,
2004},
series = {Lecture Notes in Computer Science},
volume = {3236},
pages = {233--247},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30233-9\_18},
doi = {10.1007/978-3-540-30233-9\_18},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/SridharC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/TaguchiDC04,
author = {Kenji Taguchi and
Jin Song Dong and
Gabriel Ciobanu},
title = {Relating pi-calculus to Object-Z},
booktitle = {9th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2004), 14-16 April 2004, Florence, Italy},
pages = {97--106},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICECCS.2004.1310908},
doi = {10.1109/ICECCS.2004.1310908},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/TaguchiDC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/CiobanuL04,
author = {Gabriel Ciobanu and
Dorel Lucanu},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Specification and Verification of Synchronizing Concurrent Objects},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {307--327},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_17},
doi = {10.1007/978-3-540-24756-2\_17},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/CiobanuL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AndreiCL04,
author = {Oana Andrei and
Gabriel Ciobanu and
Dorel Lucanu},
editor = {Giancarlo Mauri and
Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Executable Specifications of {P} Systems},
booktitle = {Membrane Computing, 5th International Workshop, {WMC} 2004, Milan,
Italy, June 14-16, 2004, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3365},
pages = {126--145},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31837-8\_7},
doi = {10.1007/978-3-540-31837-8\_7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/AndreiCL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/BesozziC04,
author = {Daniela Besozzi and
Gabriel Ciobanu},
editor = {Giancarlo Mauri and
Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Grzegorz Rozenberg and
Arto Salomaa},
title = {A {P} System Description of the Sodium-Potassium Pump},
booktitle = {Membrane Computing, 5th International Workshop, {WMC} 2004, Milan,
Italy, June 14-16, 2004, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3365},
pages = {210--223},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31837-8\_12},
doi = {10.1007/978-3-540-31837-8\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/BesozziC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/upp/CiobanuL04,
author = {Gabriel Ciobanu and
Dorel Lucanu},
editor = {Jean{-}Pierre Ban{\^{a}}tre and
Pascal Fradet and
Jean{-}Louis Giavitto and
Olivier Michel},
title = {Cellular Meta-programming over Membranes},
booktitle = {Unconventional Programming Paradigms, International Workshop {UPP}
2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised
Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3566},
pages = {196--206},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527800\_16},
doi = {10.1007/11527800\_16},
timestamp = {Thu, 17 Aug 2023 17:06:47 +0200},
biburl = {https://dblp.org/rec/conf/upp/CiobanuL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LucanuC04,
author = {Dorel Lucanu and
Gabriel Ciobanu},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Model Checking for Object Specifications in Hidden Algebra},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {97--109},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_10},
doi = {10.1007/978-3-540-24622-0\_10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/LucanuC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiobanuL05,
author = {Gabriel Ciobanu and
Dorel Lucanu},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Communicating Concurrent Objects in HiddenCCS},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {353--373},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.018},
doi = {10.1016/J.ENTCS.2004.06.018},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CiobanuL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/CiobanuR04,
editor = {Gabriel Ciobanu and
Grzegorz Rozenberg},
title = {Modelling in Molecular Biology},
series = {Natural Computing Series},
publisher = {Springer},
year = {2004},
isbn = {3-540-40799-5},
timestamp = {Mon, 17 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/CiobanuR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CiobanuH03,
author = {Gabriel Ciobanu and
Dorin Huzum},
editor = {Corrado Priami},
title = {Discrete Event Systems and Client-Server Model for Signaling Mechanisms},
booktitle = {Computational Methods in Systems Biology, First International Workshop,
{CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2602},
pages = {175--177},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36481-1\_24},
doi = {10.1007/3-540-36481-1\_24},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/CiobanuH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/CiobanuW03,
author = {Gabriel Ciobanu and
Guo Wenyuan},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Giancarlo Mauri and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {P Systems Running on a Cluster of Computers},
booktitle = {Membrane Computing, International Workshop, {WMC} 2003, Tarragona,
Spain, July 17-22, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2933},
pages = {123--139},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24619-0\_9},
doi = {10.1007/978-3-540-24619-0\_9},
timestamp = {Sat, 09 Apr 2022 12:48:52 +0200},
biburl = {https://dblp.org/rec/conf/membrane/CiobanuW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/CiobanuR03,
author = {Gabriel Ciobanu and
Mihai Rotaru},
editor = {Walter Dosch and
Roger Y. Lee},
title = {A Formalism for Distributed Systems with an Accurate Graphical Representation},
booktitle = {Proceedings of the {ACIS} Fourth International Conference on Software
Engineering, Artificial Intelligence, Networking and Parallel/Distributed
Computing (SNPD'03), October 16-18, 2003, L{\"{u}}beck, Germany},
pages = {196--202},
publisher = {{ACIS}},
year = {2003},
timestamp = {Wed, 26 Nov 2003 12:28:17 +0100},
biburl = {https://dblp.org/rec/conf/snpd/CiobanuR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/CiobanuD03,
author = {Gabriel Ciobanu and
Daniel Dumitriu},
editor = {Irwin King and
Tam{\'{a}}s M{\'{a}}ray},
title = {Space and Time over the Web},
booktitle = {Proceedings of the Twelfth International World Wide Web Conference
- Posters, {WWW} 2003, Budapest, Hungary, May 20-24, 2003},
year = {2003},
url = {http://www2003.org/cdrom/papers/poster/p247/p247-ciobanu.html},
timestamp = {Wed, 17 Jul 2013 16:59:51 +0200},
biburl = {https://dblp.org/rec/conf/www/CiobanuD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AlboaieC02,
author = {Sinica Alboaie and
Gabriel Ciobanu},
title = {Designing and Developing Multi-Agent Systems},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {142--153},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&\#38;a=9},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AlboaieC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CiobanuP02,
author = {Gabriel Ciobanu and
Dorin Paraschiv},
title = {P System Software Simulator},
journal = {Fundam. Informaticae},
volume = {49},
number = {1-3},
pages = {61--66},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi49-1-3-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CiobanuP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CiobanuT02,
author = {Gabriel Ciobanu and
Bogdan Tanasa},
title = {Gene Expression by Software Mechanisms},
journal = {Fundam. Informaticae},
volume = {49},
number = {1-3},
pages = {67--80},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi49-1-3-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CiobanuT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CiobanuR02,
author = {Gabriel Ciobanu and
Mihai Rotaru},
title = {Molecular interaction},
journal = {Theor. Comput. Sci.},
volume = {289},
number = {1},
pages = {801--827},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(02)00030-0},
doi = {10.1016/S0304-3975(02)00030-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CiobanuR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/BuragaC02,
author = {Sabin C. Buraga and
Gabriel Ciobanu},
editor = {Tok Wang Ling and
Umeshwar Dayal and
Elisa Bertino and
Wee Keong Ng and
Angela Goh},
title = {A RDF-based Model for Expressing Spatio-Temporal Relations Between
Web Sites},
booktitle = {3rd International Conference on Web Information Systems Engineering,
{WISE} 2002, Singapore, December 12-14, 2002, Proceedings},
pages = {355--361},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/WISE.2002.1181671},
doi = {10.1109/WISE.2002.1181671},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wise/BuragaC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmp/CiobanuDK02,
author = {Gabriel Ciobanu and
Rahul Desai and
Akash Kumar},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa and
Claudio Zandron},
title = {Membrane Systems and Distributed Computing},
booktitle = {Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea
de Arges, Romania, August 19-23, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2597},
pages = {187--202},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36490-0\_12},
doi = {10.1007/3-540-36490-0\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wmp/CiobanuDK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmp/CiobanuDHMT02,
author = {Gabriel Ciobanu and
Daniel Dumitriu and
Dorin Huzum and
Gabriel Moruz and
Bogdan Tanasa},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa and
Claudio Zandron},
title = {Client-Server {P} Systems in Modeling Molecular Interaction},
booktitle = {Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea
de Arges, Romania, August 19-23, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2597},
pages = {203--218},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36490-0\_13},
doi = {10.1007/3-540-36490-0\_13},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wmp/CiobanuDHMT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Ciobanu01,
author = {Gabriel Ciobanu},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
title = {Molecular structures},
booktitle = {Where Mathematics, Computer Science, Linguistics and Biology Meet:
Essays in Honour of Gheorghe Paun},
pages = {299--317},
publisher = {Kluwer Academic Publishers},
year = {2001},
timestamp = {Fri, 09 Dec 2011 11:05:54 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Ciobanu01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcu/CiobanuR01,
author = {Gabriel Ciobanu and
Mihai Rotaru},
editor = {Maurice Margenstern and
Yurii Rogozhin},
title = {JC-Nets},
booktitle = {Machines, Computations, and Universality, Third International Conference,
{MCU} 2001, Chisinau, Moldova, May 23-27, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2055},
pages = {190--201},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45132-3\_12},
doi = {10.1007/3-540-45132-3\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mcu/CiobanuR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CiobanuR00,
author = {Gabriel Ciobanu and
Mihai Rotaru},
title = {A Pi-calculus Machine},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {1},
pages = {39--59},
year = {2000},
url = {https://doi.org/10.3217/jucs-006-01-0039},
doi = {10.3217/JUCS-006-01-0039},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/CiobanuR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Ciobanu00,
author = {Gabriel Ciobanu},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Gheorghe Paun},
title = {On a Formal Description of the Molecular Processes},
booktitle = {Recent Topics in Mathematical and Computational Linguistics, Papers
in Honor of Solomon Marcus on the Occasion of his 75th Birthday},
pages = {82--96},
publisher = {Editura Academiei Rom{\^{a}}ne, Bucuresti},
year = {2000},
timestamp = {Wed, 20 Feb 2013 13:00:37 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Ciobanu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CiobanuO99,
author = {Gabriel Ciobanu and
Emanuel Florentin Olariu},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Abstract Structures for Communication between Processes},
booktitle = {Perspectives of System Informatics, Third International Andrei Ershov
Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July
6-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1755},
pages = {221--227},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46562-6\_19},
doi = {10.1007/3-540-46562-6\_19},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ershov/CiobanuO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fct/1999,
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7},
doi = {10.1007/3-540-48321-7},
isbn = {3-540-66412-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CiobanuO98,
author = {Gabriel Ciobanu and
Emanuel Florentin Olariu},
title = {Interaction Structures for Communicating Processes},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {36--43},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CiobanuO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiobanuR98,
author = {Gabriel Ciobanu and
Mihai Rotaru},
editor = {Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
title = {Faithful pi-nets - {A} graphical representation of the asynchronous
pi-calculus},
booktitle = {Proceedings of the {MFCS} '98 Workshop on Concurrency, Brno, Czech
Republic, August 27-29, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {18},
pages = {24--45},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80248-8},
doi = {10.1016/S1571-0661(05)80248-8},
timestamp = {Fri, 11 Nov 2022 14:46:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CiobanuR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Ciobanu96,
author = {Gabriel Ciobanu},
title = {The Reflexive Domain of CPO's Ideals},
journal = {Acta Cybern.},
volume = {12},
number = {3},
pages = {249--260},
year = {1996},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3460},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Ciobanu96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu95,
author = {Gabriel Ciobanu},
title = {Dataflow lambda-calculus},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {13--28},
year = {1995},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Rotaru95,
author = {Mihai Rotaru and
Gabriel Ciobanu},
title = {On the "rep" construction into pi-nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {73--84},
year = {1995},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Rotaru95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu92,
author = {Gabriel Ciobanu},
title = {A Model for a lambda-calculus Extended for Dataflow Computation},
journal = {Sci. Ann. Cuza Univ.},
volume = {1},
pages = {57--68},
year = {1992},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-25 01:43 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:
