default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Vincenzo Manca
@article{DBLP:journals/algorithms/Manca24,
author = {Vincenzo Manca},
title = {The Archimedean Origin of Modern Positional Number Systems},
journal = {Algorithms},
volume = {17},
number = {1},
pages = {11},
year = {2024},
url = {https://doi.org/10.3390/a17010011},
doi = {10.3390/A17010011},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithms/Manca24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/Manca24,
author = {Vincenzo Manca},
title = {Agile Logical Semantics for Natural Languages},
journal = {Inf.},
volume = {15},
number = {1},
pages = {64},
year = {2024},
url = {https://doi.org/10.3390/info15010064},
doi = {10.3390/INFO15010064},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/information/Manca24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/Manca24a,
author = {Vincenzo Manca},
title = {Artificial Neural Network Learning, Attention, and Memory},
journal = {Inf.},
volume = {15},
number = {7},
pages = {387},
year = {2024},
url = {https://doi.org/10.3390/info15070387},
doi = {10.3390/INFO15070387},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/information/Manca24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/MancaB23,
author = {Vincenzo Manca and
Vincenzo Bonnici},
title = {Infogenomics - The Informational Analysis of Genomes},
volume = {48},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44501-9},
doi = {10.1007/978-3-031-44501-9},
isbn = {978-3-031-44500-2},
timestamp = {Fri, 24 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/MancaB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FrancoMAL21,
author = {Giuditta Franco and
Vincenzo Manca and
Marco Andreolli and
Silvia Lampis},
title = {Emergence of random selections in evolution of biological populations},
journal = {Theor. Comput. Sci.},
volume = {862},
pages = {130--143},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2020.08.027},
doi = {10.1016/J.TCS.2020.08.027},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FrancoMAL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonniciFM21,
author = {Vincenzo Bonnici and
Giuditta Franco and
Vincenzo Manca},
title = {Spectral concepts in genome informational analysis},
journal = {Theor. Comput. Sci.},
volume = {894},
pages = {23--30},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2021.06.039},
doi = {10.1016/J.TCS.2021.06.039},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BonniciFM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MancaS21,
author = {Vincenzo Manca and
Giuseppe Scollo},
title = {Explaining {DNA} structure},
journal = {Theor. Comput. Sci.},
volume = {894},
pages = {152--171},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2021.06.011},
doi = {10.1016/J.TCS.2021.06.011},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MancaS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-15351,
author = {Vincenzo Bonnici and
Giuditta Franco and
Vincenzo Manca},
title = {Spectral concepts in genome informational analysis},
journal = {CoRR},
volume = {abs/2106.15351},
year = {2021},
url = {https://arxiv.org/abs/2106.15351},
eprinttype = {arXiv},
eprint = {2106.15351},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-15351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-10449,
author = {Vincenzo Bonnici and
Giuditta Franco and
Vincenzo Manca},
title = {A word recurrence based algorithm to extract genomic dictionaries},
journal = {CoRR},
volume = {abs/2009.10449},
year = {2020},
url = {https://arxiv.org/abs/2009.10449},
eprinttype = {arXiv},
eprint = {2009.10449},
timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10449.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmemcom/Manca19,
author = {Vincenzo Manca},
title = {Metabolic computing},
journal = {J. Membr. Comput.},
volume = {1},
number = {3},
pages = {223--232},
year = {2019},
url = {https://doi.org/10.1007/s41965-019-00012-3},
doi = {10.1007/S41965-019-00012-3},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmemcom/Manca19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmemcom/Manca19a,
author = {Vincenzo Manca},
title = {From biopolymer duplication to membrane duplication and beyond},
journal = {J. Membr. Comput.},
volume = {1},
number = {4},
pages = {292--303},
year = {2019},
url = {https://doi.org/10.1007/s41965-019-00018-x},
doi = {10.1007/S41965-019-00018-X},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmemcom/Manca19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/BonniciM18,
author = {Vincenzo Bonnici and
Vincenzo Manca},
title = {An Informational Test for Random Finite Strings},
journal = {Entropy},
volume = {20},
number = {12},
pages = {934},
year = {2018},
url = {https://doi.org/10.3390/e20120934},
doi = {10.3390/E20120934},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entropy/BonniciM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Manca18,
author = {Vincenzo Manca},
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 = {A Note on the Entropy of Computation},
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 = {192--203},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00265-7\_16},
doi = {10.1007/978-3-030-00265-7\_16},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Manca18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ncs/FrancoM18,
author = {Giuditta Franco and
Vincenzo Manca},
editor = {Susan Stepney and
Steen Rasmussen and
Martyn Amos},
title = {Decoding Genomic Information},
booktitle = {Computational Matter},
series = {Natural Computing Series},
pages = {129--149},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-65826-1\_9},
doi = {10.1007/978-3-319-65826-1\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ncs/FrancoM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Manca17,
author = {Vincenzo Manca},
title = {The principles of informational genomics},
journal = {Theor. Comput. Sci.},
volume = {701},
pages = {190--202},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.02.035},
doi = {10.1016/J.TCS.2017.02.035},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Manca17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Manca16,
author = {Vincenzo Manca},
editor = {Andreas Holzinger},
title = {Grammars for Discrete Dynamics},
booktitle = {Machine Learning for Health Informatics - State-of-the-Art and Future
Challenges},
series = {Lecture Notes in Computer Science},
volume = {9605},
pages = {37--58},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50478-0\_3},
doi = {10.1007/978-3-319-50478-0\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/Manca16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/CastelliniPM15,
author = {Alberto Castellini and
Daniele Paltrinieri and
Vincenzo Manca},
title = {MP-GeneticSynth: inferring biological network regulations from time
series},
journal = {Bioinform.},
volume = {31},
number = {5},
pages = {785--787},
year = {2015},
url = {https://doi.org/10.1093/bioinformatics/btu694},
doi = {10.1093/BIOINFORMATICS/BTU694},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/CastelliniPM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MarchettiM15,
author = {Luca Marchetti and
Vincenzo Manca},
title = {MpTheory Java library: a multi-platform Java library for systems biology
based on the Metabolic {P} theory},
journal = {Bioinform.},
volume = {31},
number = {8},
pages = {1328--1330},
year = {2015},
url = {https://doi.org/10.1093/bioinformatics/btu814},
doi = {10.1093/BIOINFORMATICS/BTU814},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/MarchettiM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/CastelliniMZ15,
author = {Alberto Castellini and
Vincenzo Manca and
Mauro Zucchelli},
title = {An evolutionary procedure for inferring {MP} systems regulation functions
of biological networks},
journal = {Nat. Comput.},
volume = {14},
number = {3},
pages = {375--391},
year = {2015},
url = {https://doi.org/10.1007/s11047-014-9421-1},
doi = {10.1007/S11047-014-9421-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/CastelliniMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birs/Manca15,
author = {Vincenzo Manca},
editor = {Andreas Holzinger and
Randy Goebel and
Massimo Ferri and
Vasile Palade},
title = {A Brief Philosophical Note on Information},
booktitle = {Towards Integrative Machine Learning and Knowledge Extraction - {BIRS}
Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10344},
pages = {146--149},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-69775-8\_8},
doi = {10.1007/978-3-319-69775-8\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birs/Manca15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/Manca15,
author = {Vincenzo Manca},
editor = {Grzegorz Rozenberg and
Arto Salomaa and
Jos{\'{e}} M. Sempere and
Claudio Zandron},
title = {Information Theory in Genome Analysis},
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 = {3--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28475-0\_1},
doi = {10.1007/978-3-319-28475-0\_1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/Manca15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/GuiraldelliM15,
author = {Ricardo Henrique Gracini Guiraldelli and
Vincenzo Manca},
editor = {Grzegorz Rozenberg and
Arto Salomaa and
Jos{\'{e}} M. Sempere and
Claudio Zandron},
title = {Automatic Translation of {MP} {\^{}}+ {V} Systems to Register Machines},
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 = {185--199},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28475-0\_13},
doi = {10.1007/978-3-319-28475-0\_13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/GuiraldelliM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuiraldelliM15,
author = {Ricardo Henrique Gracini Guiraldelli and
Vincenzo Manca},
title = {The Computational Universality of Metabolic Computing},
journal = {CoRR},
volume = {abs/1505.02420},
year = {2015},
url = {http://arxiv.org/abs/1505.02420},
eprinttype = {arXiv},
eprint = {1505.02420},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GuiraldelliM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/Bollig-FischerMMWKMD14,
author = {Aliccia Bollig{-}Fischer and
Luca Marchetti and
Cristina Mitrea and
Jiusheng Wu and
Ad{\'{e}}le Kruger and
Vincenzo Manca and
Sorin Draghici},
title = {Modeling time-dependent transcription effects of {HER2} oncogene and
discovery of a role for {E2F2} in breast cancer cell-matrix adhesion},
journal = {Bioinform.},
volume = {30},
number = {21},
pages = {3036--3043},
year = {2014},
url = {https://doi.org/10.1093/bioinformatics/btu400},
doi = {10.1093/BIOINFORMATICS/BTU400},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/Bollig-FischerMMWKMD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/MancaP14,
author = {Vincenzo Manca and
Giovanni Pardini},
title = {Morphogenesis through moving membranes},
journal = {Nat. Comput.},
volume = {13},
number = {3},
pages = {403--419},
year = {2014},
url = {https://doi.org/10.1007/s11047-013-9407-4},
doi = {10.1007/S11047-013-9407-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/MancaP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/MarchettiMZ14,
author = {Luca Marchetti and
Vincenzo Manca and
Ivan Zelinka},
title = {On the inference of deterministic chaos: Evolutionary algorithm and
metabolic {P} system approaches},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2014, Beijing, China, July 6-11, 2014},
pages = {1483--1489},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CEC.2014.6900434},
doi = {10.1109/CEC.2014.6900434},
timestamp = {Thu, 16 Dec 2021 14:03:16 +0100},
biburl = {https://dblp.org/rec/conf/cec/MarchettiMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/CastelliniFMOV14,
author = {Alberto Castellini and
Giuditta Franco and
Vincenzo Manca and
Riccardo Ortolani and
Antonio Vella},
editor = {Oscar H. Ibarra and
Lila Kari and
Steffen Kopecki},
title = {Towards an {MP} Model for {B} Lymphocytes Maturation},
booktitle = {Unconventional Computation and Natural Computation - 13th International
Conference, {UCNC} 2014, London, ON, Canada, July 14-18, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8553},
pages = {80--92},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08123-6\_7},
doi = {10.1007/978-3-319-08123-6\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uc/CastelliniFMOV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/MancaM13,
author = {Vincenzo Manca and
Luca Marchetti},
title = {An algebraic formulation of inverse problems in {MP} dynamics},
journal = {Int. J. Comput. Math.},
volume = {90},
number = {4},
pages = {845--856},
year = {2013},
url = {https://doi.org/10.1080/00207160.2012.735362},
doi = {10.1080/00207160.2012.735362},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/MancaM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/MancaM12,
author = {Vincenzo Manca and
Luca Marchetti},
title = {Solving dynamical inverse problems by means of Metabolic {P} systems},
journal = {Biosyst.},
volume = {109},
number = {1},
pages = {78--86},
year = {2012},
url = {https://doi.org/10.1016/j.biosystems.2011.12.006},
doi = {10.1016/J.BIOSYSTEMS.2011.12.006},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/biosystems/MancaM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/MancaM12,
author = {Vincenzo Manca and
Luca Marchetti},
editor = {Sabine Van Huffel and
Carlos Manuel B. A. Correia and
Ana L. N. Fred and
Hugo Gamboa},
title = {Application of the {MP} Theory to Systems Biology},
booktitle = {{BIOSIGNALS} 2012 - Proceedings of the International Conference on
Bio-inspired Systems and Signal Processing, Vilamoura, Algarve, Portugal,
1-4 February, 2012},
pages = {303--308},
publisher = {SciTePress},
year = {2012},
timestamp = {Fri, 25 May 2012 20:45:54 +0200},
biburl = {https://dblp.org/rec/conf/biostec/MancaM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/CastelliniMZB12,
author = {Alberto Castellini and
Vincenzo Manca and
Mauro Zucchelli and
Mirko Busato},
editor = {Terence Soule and
Jason H. Moore},
title = {A genetic approach for synthesizing metabolic models from time series},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} '12, Philadelphia,
PA, USA, July 7-11, 2012, Companion Material Proceedings},
pages = {1415--1416},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2330784.2330961},
doi = {10.1145/2330784.2330961},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gecco/CastelliniMZB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaris/CastelliniMZ12,
author = {Alberto Castellini and
Vincenzo Manca and
Mauro Zucchelli},
editor = {Carlos A. Coello Coello and
Julie Greensmith and
Natalio Krasnogor and
Pietro Li{\`{o}} and
Giuseppe Nicosia and
Mario Pavone},
title = {Towards an Evolutionary Procedure for Reverse-Engineering Biological
Networks},
booktitle = {Artificial Immune Systems - 11th International Conference, {ICARIS}
2012, Taormina, Italy, August 28-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7597},
pages = {271--285},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33757-4\_21},
doi = {10.1007/978-3-642-33757-4\_21},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icaris/CastelliniMZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/Manca12,
author = {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 Outline of {MP} Modeling Framework},
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 = {47--55},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36751-9\_4},
doi = {10.1007/978-3-642-36751-9\_4},
timestamp = {Fri, 28 Feb 2020 19:27:04 +0100},
biburl = {https://dblp.org/rec/conf/membrane/Manca12.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}
}
@article{DBLP:journals/ijfcs/MancaM11,
author = {Vincenzo Manca and
Luca Marchetti},
title = {Log-Gain stoichiometric Stepwise Regression for {MP} Systems},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {1},
pages = {97--106},
year = {2011},
url = {https://doi.org/10.1142/S0129054111007861},
doi = {10.1142/S0129054111007861},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/MancaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijncr/MancaMP11,
author = {Vincenzo Manca and
Luca Marchetti and
Roberto Pagliarini},
title = {{MP} Modelling of Glucose-Insulin Interactions in the Intravenous
Glucose Tolerance Test},
journal = {Int. J. Nat. Comput. Res.},
volume = {2},
number = {3},
pages = {13--24},
year = {2011},
url = {https://doi.org/10.4018/jncr.2011070102},
doi = {10.4018/JNCR.2011070102},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijncr/MancaMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnmc/Manca11,
author = {Vincenzo Manca},
title = {Algorithmic Models of Biochemical Dynamics: {MP} Grammars Synthetizing
Complex Oscillators},
journal = {Int. J. Nanotechnol. Mol. Comput.},
volume = {3},
number = {4},
pages = {24--37},
year = {2011},
url = {https://doi.org/10.4018/ijnmc.2013100102},
doi = {10.4018/IJNMC.2013100102},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijnmc/Manca11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/FrancoM11,
author = {Giuditta Franco and
Vincenzo Manca},
title = {Algorithmic applications of {XPCR}},
journal = {Nat. Comput.},
volume = {10},
number = {2},
pages = {805--819},
year = {2011},
url = {https://doi.org/10.1007/s11047-010-9199-8},
doi = {10.1007/S11047-010-9199-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/FrancoM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Manca11,
author = {Vincenzo Manca},
editor = {Jozef Kelemen and
Alica Kelemenov{\'{a}}},
title = {A Recurrent Enumeration of Free Hypermultisets},
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 = {16--23},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20000-7\_3},
doi = {10.1007/978-3-642-20000-7\_3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Manca11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwinac/LombardoM11,
author = {Rosario Lombardo and
Vincenzo Manca},
editor = {Jos{\'{e}} Manuel Ferr{\'{a}}ndez and
Jos{\'{e}} Ram{\'{o}}n {\'{A}}lvarez S{\'{a}}nchez and
F{\'{e}}lix de la Paz and
F. Javier Toledo},
title = {Arithmetical Metabolic {P} Systems},
booktitle = {Foundations on Natural and Artificial Computation - 4th International
Work-Conference on the Interplay Between Natural and Artificial Computation,
{IWINAC} 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011.
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6686},
pages = {284--294},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21344-1\_30},
doi = {10.1007/978-3-642-21344-1\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iwinac/LombardoM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/MancaL11,
author = {Vincenzo Manca and
Rosario Lombardo},
editor = {Marian Gheorghe and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa and
Sergey Verlan},
title = {Computing with Multi-membranes},
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 = {282--299},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-28024-5\_19},
doi = {10.1007/978-3-642-28024-5\_19},
timestamp = {Fri, 28 Feb 2020 19:27:03 +0100},
biburl = {https://dblp.org/rec/conf/membrane/MancaL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/MarchettiM11,
author = {Luca Marchetti and
Vincenzo Manca},
editor = {Marian Gheorghe and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa and
Sergey Verlan},
title = {A Methodology Based on {MP} Theory for Gene Expression Analysis},
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 = {300--313},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-28024-5\_20},
doi = {10.1007/978-3-642-28024-5\_20},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/MarchettiM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/FrancoM11,
author = {Giuditta Franco and
Vincenzo Manca},
title = {On Synthesizing Replicating Metabolic Systems},
journal = {{ERCIM} News},
volume = {2011},
number = {85},
pages = {21},
year = {2011},
url = {http://ercim-news.ercim.eu/en85/special/on-synthesizing-replicating-metabolic-systems},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/FrancoM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MancaM10,
author = {Vincenzo Manca and
Luca Marchetti},
title = {Metabolic approximation of real periodical functions},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {363--373},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.005},
doi = {10.1016/J.JLAP.2010.03.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MancaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/CastelliniFM10,
author = {Alberto Castellini and
Giuditta Franco and
Vincenzo Manca},
title = {Hybrid Functional Petri Nets as {MP} systems},
journal = {Nat. Comput.},
volume = {9},
number = {1},
pages = {61--81},
year = {2010},
url = {https://doi.org/10.1007/s11047-009-9121-4},
doi = {10.1007/S11047-009-9121-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/CastelliniFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/GheorgheMR10,
author = {Marian Gheorghe and
Vincenzo Manca and
Francisco Jos{\'{e}} Romero{-}Campero},
title = {Deterministic and stochastic {P} systems for modelling cellular processes},
journal = {Nat. Comput.},
volume = {9},
number = {2},
pages = {457--473},
year = {2010},
url = {https://doi.org/10.1007/s11047-009-9158-4},
doi = {10.1007/S11047-009-9158-4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nc/GheorgheMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scholarpedia/Manca10,
author = {Vincenzo Manca},
title = {Metabolic {P} systems},
journal = {Scholarpedia},
volume = {5},
number = {3},
pages = {9273},
year = {2010},
url = {https://doi.org/10.4249/scholarpedia.9273},
doi = {10.4249/SCHOLARPEDIA.9273},
timestamp = {Thu, 23 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scholarpedia/Manca10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/MancaM10,
author = {Vincenzo Manca and
Luca Marchetti},
editor = {Marian Gheorghe and
Thomas Hinze and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Goldbeter's Mitotic Oscillator Entirely Modeled by {MP} 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 = {273--284},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18123-8\_22},
doi = {10.1007/978-3-642-18123-8\_22},
timestamp = {Mon, 03 Jan 2022 22:42:19 +0100},
biburl = {https://dblp.org/rec/conf/membrane/MancaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccc/PagliariniFM09,
author = {Roberto Pagliarini and
Giuditta Franco and
Vincenzo Manca},
title = {An Algorithm for Initial Fluxes of Metabolic {P} Systems},
journal = {Int. J. Comput. Commun. Control},
volume = {4},
number = {3},
pages = {263--272},
year = {2009},
url = {https://doi.org/10.15837/ijccc.2009.3.2434},
doi = {10.15837/IJCCC.2009.3.2434},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccc/PagliariniFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/MancaPZ09,
author = {Vincenzo Manca and
Roberto Pagliarini and
Simone Zorzan},
title = {A photosynthetic process modelled by a metabolic {P} system},
journal = {Nat. Comput.},
volume = {8},
number = {4},
pages = {847--864},
year = {2009},
url = {https://doi.org/10.1007/s11047-008-9104-x},
doi = {10.1007/S11047-008-9104-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/MancaPZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Manca09,
author = {Vincenzo Manca},
editor = {Anne Condon and
David Harel and
Joost N. Kok and
Arto Salomaa and
Erik Winfree},
title = {Log-gain Principles for Metabolic {P} Systems},
booktitle = {Algorithmic Bioprocesses},
series = {Natural Computing Series},
pages = {585--605},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-88869-7\_28},
doi = {10.1007/978-3-540-88869-7\_28},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Manca09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/MancaM09,
author = {Vincenzo Manca and
Luca Marchetti},
title = {{XML} Representation of Metabolic {P} Systems},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2009, Trondheim, Norway, 18-21 May, 2009},
pages = {3103--3110},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CEC.2009.4983336},
doi = {10.1109/CEC.2009.4983336},
timestamp = {Thu, 16 Dec 2021 14:01:55 +0100},
biburl = {https://dblp.org/rec/conf/cec/MancaM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/CastelliniM09,
author = {Alberto Castellini and
Vincenzo Manca},
editor = {Franz Rothlauf},
title = {Learning regulation functions of metabolic systems by artificial neural
networks},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2009, Proceedings,
Montreal, Qu{\'{e}}bec, Canada, July 8-12, 2009},
pages = {193--200},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1569901.1569929},
doi = {10.1145/1569901.1569929},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gecco/CastelliniM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwinac/MancaJ09,
author = {Vincenzo Manca and
Mar{\'{\i}}a Dolores Jim{\'{e}}nez{-}L{\'{o}}pez},
editor = {Jos{\'{e}} Mira Mira and
Jos{\'{e}} Manuel Ferr{\'{a}}ndez and
Jos{\'{e}} R. {\'{A}}lvarez and
F{\'{e}}lix de la Paz and
F. Javier Toledo},
title = {Recombination Patterns for Natural Syntax},
booktitle = {Methods and Models in Artificial and Natural Computation. {A} Homage
to Professor Mira.s Scientific Legacy, Third International Work-Conference
on the Interplay Between Natural and Artificial Computation, {IWINAC}
2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5601},
pages = {315--324},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02264-7\_33},
doi = {10.1007/978-3-642-02264-7\_33},
timestamp = {Sun, 04 Aug 2024 19:42:20 +0200},
biburl = {https://dblp.org/rec/conf/iwinac/MancaJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/Manca09,
author = {Vincenzo Manca},
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 = {From {P} to {MP} 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 = {74--94},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11467-0\_7},
doi = {10.1007/978-3-642-11467-0\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/membrane/Manca09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/CastelliniMS09,
author = {Alberto Castellini and
Vincenzo Manca and
Yasuhiro Suzuki},
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 = {Metabolic {P} System Flux Regulation by Artificial Neural Networks},
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 = {196--209},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11467-0\_15},
doi = {10.1007/978-3-642-11467-0\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/CastelliniMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/FrancoMP09,
author = {Giuditta Franco and
Vincenzo Manca and
Roberto Pagliarini},
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 = {Regulation and Covering Problems in {MP} 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 = {242--251},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11467-0\_18},
doi = {10.1007/978-3-642-11467-0\_18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/FrancoMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/MancaB08,
author = {Vincenzo Manca and
Luca Bianco},
title = {Biological networks in metabolic {P} systems},
journal = {Biosyst.},
volume = {91},
number = {3},
pages = {489--498},
year = {2008},
url = {https://doi.org/10.1016/j.biosystems.2006.11.009},
doi = {10.1016/J.BIOSYSTEMS.2006.11.009},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/biosystems/MancaB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/FontanaM08,
author = {Federico Fontana and
Vincenzo Manca},
title = {Predator-prey dynamics in {P} systems ruled by metabolic algorithm},
journal = {Biosyst.},
volume = {91},
number = {3},
pages = {545--557},
year = {2008},
url = {https://doi.org/10.1016/j.biosystems.2006.12.010},
doi = {10.1016/J.BIOSYSTEMS.2006.12.010},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biosystems/FontanaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ScolloFM08,
author = {Giuseppe Scollo and
Giuditta Franco and
Vincenzo Manca},
title = {Relational state transition dynamics},
journal = {J. Log. Algebraic Methods Program.},
volume = {76},
number = {1},
pages = {130--144},
year = {2008},
url = {https://doi.org/10.1016/j.jlap.2007.07.003},
doi = {10.1016/J.JLAP.2007.07.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/ScolloFM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Manca08,
author = {Vincenzo Manca},
title = {The metabolic algorithm for {P} systems: Principles and applications},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {142--155},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.015},
doi = {10.1016/J.TCS.2008.04.015},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Manca08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/CastelliniM08,
author = {Alberto Castellini and
Vincenzo Manca},
editor = {David W. Corne and
Pierluigi Frisco and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {MetaPlab: {A} Computational Framework for Metabolic {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 = {157--168},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-95885-7\_12},
doi = {10.1007/978-3-540-95885-7\_12},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/membrane/CastelliniM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/Manca08,
author = {Vincenzo Manca},
editor = {David W. Corne and
Pierluigi Frisco and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Enumerating Membrane Structures},
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 = {292--298},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-95885-7\_21},
doi = {10.1007/978-3-540-95885-7\_21},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/Manca08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/MancaPZ08,
author = {Vincenzo Manca and
Roberto Pagliarini and
Simone Zorzan},
editor = {David W. Corne and
Pierluigi Frisco and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Toward an {MP} Model of Non-Photochemical Quenching},
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 = {299--310},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-95885-7\_22},
doi = {10.1007/978-3-540-95885-7\_22},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/MancaPZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FontanaM07,
author = {Federico Fontana and
Vincenzo Manca},
title = {Discrete solutions to differential equations by metabolic {P} systems},
journal = {Theor. Comput. Sci.},
volume = {372},
number = {2-3},
pages = {165--182},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.11.030},
doi = {10.1016/J.TCS.2006.11.030},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FontanaM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/BiancoMMP07,
author = {Luca Bianco and
Vincenzo Manca and
Luca Marchetti and
Michele Petterlini},
title = {Psim: a simulator for biomolecular dynamics based on {P} systems},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2007, 25-28 September 2007, Singapore},
pages = {883--887},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CEC.2007.4424563},
doi = {10.1109/CEC.2007.4424563},
timestamp = {Thu, 16 Dec 2021 14:01:04 +0100},
biburl = {https://dblp.org/rec/conf/cec/BiancoMMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/Manca07,
author = {Vincenzo Manca},
editor = {Max H. Garzon and
Hao Yan},
title = {Discrete Simulations of Biochemical Dynamics},
booktitle = {{DNA} Computing, 13th International Meeting on {DNA} Computing, DNA13,
Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4848},
pages = {231--235},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77962-9\_24},
doi = {10.1007/978-3-540-77962-9\_24},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/Manca07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwnc/CastelliniFM07,
author = {Alberto Castellini and
Giuditta Franco and
Vincenzo Manca},
editor = {Yasuhiro Suzuki and
Masami Hagiya and
Hiroshi Umeo and
Andrew Adamatzky},
title = {Toward a Representation of Hybrid Functional Petri Nets by {MP} Systems},
booktitle = {Natural Computing - 2nd International Workshop on Natural Computing,
Nagoya, Japan, December 2007, Proceedings},
series = {Proceedings in Information and Communications Technology},
volume = {1},
pages = {28--37},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-4-431-88981-6\_3},
doi = {10.1007/978-4-431-88981-6\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwnc/CastelliniFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/CastelliniMM07,
author = {Alberto Castellini and
Vincenzo Manca and
Luca Marchetti},
editor = {Natalio Krasnogor and
Giuseppe Nicosia and
Mario Pavone and
David A. Pelta},
title = {{MP} Systems and Hybrid Petri Nets},
booktitle = {Nature Inspired Cooperative Strategies for Optimization {(NICSO} 2007)},
series = {Studies in Computational Intelligence},
volume = {129},
pages = {53--62},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78987-1\_5},
doi = {10.1007/978-3-540-78987-1\_5},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/CastelliniMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/BiancoM06,
author = {Luca Bianco and
Vincenzo Manca},
title = {Symbolic generation and representation of complex oscillations},
journal = {Int. J. Comput. Math.},
volume = {83},
number = {7},
pages = {549--568},
year = {2006},
url = {https://doi.org/10.1080/00207160601065355},
doi = {10.1080/00207160601065355},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/BiancoM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BiancoFM06,
author = {Luca Bianco and
Federico Fontana and
Vincenzo Manca},
title = {P systems with reaction maps},
journal = {Int. J. Found. Comput. Sci.},
volume = {17},
number = {1},
pages = {27--48},
year = {2006},
url = {https://doi.org/10.1142/S0129054106003681},
doi = {10.1142/S0129054106003681},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BiancoFM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BottoniLMM06,
author = {Paolo Bottoni and
Anna Labella and
Vincenzo Manca and
Victor Mitrana},
title = {Superposition Based on Watson-Crick-Like Complementarity},
journal = {Theory Comput. Syst.},
volume = {39},
number = {4},
pages = {503--524},
year = {2006},
url = {https://doi.org/10.1007/s00224-004-1175-1},
doi = {10.1007/S00224-004-1175-1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BottoniLMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BordihnFHMM06,
author = {Henning Bordihn and
Henning Fernau and
Markus Holzer and
Vincenzo Manca and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Iterated sequential transducers as language generating devices},
journal = {Theor. Comput. Sci.},
volume = {369},
number = {1-3},
pages = {67--81},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.059},
doi = {10.1016/J.TCS.2006.07.059},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BordihnFHMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/ScolloFM06,
author = {Giuseppe Scollo and
Giuditta Franco and
Vincenzo Manca},
editor = {Renate A. Schmidt},
title = {A Relational View of Recurrence and Attractors in State Transition
Dynamics},
booktitle = {Relations and Kleene Algebra in Computer Science, 9th International
Conference on Relational Methods in Computer Science and 4th International
Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester,
UK, August 29-September 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4136},
pages = {358--372},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11828563\_24},
doi = {10.1007/11828563\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/ScolloFM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/Manca06,
author = {Vincenzo Manca},
editor = {Hendrik Jan Hoogeboom and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {{MP} Systems Approaches to Biochemical Dynamics: Biological Rhythms
and Oscillations},
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 = {86--99},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11963516\_6},
doi = {10.1007/11963516\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/membrane/Manca06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/FrancoGMM06,
author = {Giuditta Franco and
Pietro Hiram Guzzi and
Vincenzo Manca and
Tommaso Mazza},
editor = {Hendrik Jan Hoogeboom and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Mitotic Oscillators as {MP} Graphs},
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 = {382--394},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11963516\_24},
doi = {10.1007/11963516\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/FrancoGMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/ncs/BiancoFFM06,
author = {Luca Bianco and
Federico Fontana and
Giuditta Franco and
Vincenzo Manca},
editor = {Gabriel Ciobanu and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Gheorghe Paun},
title = {P Systems for Biological Dynamics},
booktitle = {Applications of Membrane Computing},
series = {Natural Computing Series},
pages = {83--128},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-29937-8\_3},
doi = {10.1007/3-540-29937-8\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ncs/BiancoFFM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BernardiniGM05,
author = {Francesco Bernardini and
Marian Gheorghe and
Vincenzo Manca},
title = {On {P} Systems and Almost Periodicity},
journal = {Fundam. Informaticae},
volume = {64},
number = {1-4},
pages = {29--42},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi64-1-4-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BernardiniGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Manca05,
author = {Vincenzo Manca},
title = {On the Logic and Geometry of Bilinear Forms},
journal = {Fundam. Informaticae},
volume = {64},
number = {1-4},
pages = {261--273},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi64-1-4-23},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Manca05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/FrancoM05,
author = {Giuditta Franco and
Vincenzo Manca},
title = {An algorithmic analysis of {DNA} structure},
journal = {Soft Comput.},
volume = {9},
number = {10},
pages = {761--768},
year = {2005},
url = {https://doi.org/10.1007/s00500-004-0441-0},
doi = {10.1007/S00500-004-0441-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/FrancoM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csb/FontanaBM05,
author = {Federico Fontana and
Luca Bianco and
Vincenzo Manca},
title = {A symbolic approach to the simulation of biochemical models: application
to circadian rhythms},
booktitle = {Fourth International {IEEE} Computer Society Computational Systems
Bioinformatics Conference Workshops {\&} Poster Abstracts, {CSB}
2005 Workshops, Stanford, CA, USA, August 8-11, 2005},
pages = {168--169},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CSBW.2005.17},
doi = {10.1109/CSBW.2005.17},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csb/FontanaBM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/FrancoMGL05,
author = {Giuditta Franco and
Vincenzo Manca and
Cinzia Giagulli and
Carlo Laudanna},
editor = {Alessandra Carbone and
Niles A. Pierce},
title = {{DNA} Recombination by {XPCR}},
booktitle = {{DNA} Computing, 11th International Workshop on {DNA} Computing, DNA11,
London, ON, Canada, June 6-9, 2005. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3892},
pages = {55--66},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11753681\_5},
doi = {10.1007/11753681\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/FrancoMGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnc/BiancoFM05,
author = {Luca Bianco and
Federico Fontana and
Vincenzo Manca},
editor = {Lipo Wang and
Ke Chen and
Yew{-}Soon Ong},
title = {Reaction-Driven Membrane Systems},
booktitle = {Advances in Natural Computation, First International Conference, {ICNC}
2005, Changsha, China, August 27-29, 2005, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3611},
pages = {1155--1158},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539117\_155},
doi = {10.1007/11539117\_155},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icnc/BiancoFM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/BiancoM05,
author = {Luca Bianco and
Vincenzo Manca},
editor = {Rudolf Freund and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Encoding-Decoding Transitional Systems for Classes 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 = {134--143},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603047\_9},
doi = {10.1007/11603047\_9},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/membrane/BiancoM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/FontanaBM05,
author = {Federico Fontana and
Luca Bianco and
Vincenzo Manca},
editor = {Rudolf Freund and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {P Systems and the Modeling of Biochemical Oscillations},
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 = {199--208},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603047\_14},
doi = {10.1007/11603047\_14},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/FontanaBM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/BiancoMZ05,
author = {Luca Bianco and
Vincenzo Manca and
Simone Zorzan},
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 = {Symbolic Representations of Biological Oscillations},
booktitle = {Seventh International Symposium on Symbolic and Numeric Algorithms
for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
Romania},
pages = {407--414},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SYNASC.2005.71},
doi = {10.1109/SYNASC.2005.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/BiancoMZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Manca04,
author = {Vincenzo Manca},
editor = {Natasa Jonoska and
Gheorghe Paun and
Grzegorz Rozenberg},
title = {A Proof of Regularity for Finite Splicing},
booktitle = {Aspects of Molecular Computing, Essays Dedicated to Tom Head on the
Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2950},
pages = {309--317},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24635-0\_23},
doi = {10.1007/978-3-540-24635-0\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Manca04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/FrancoGLM04,
author = {Giuditta Franco and
Cinzia Giagulli and
Carlo Laudanna and
Vincenzo Manca},
editor = {Claudio Ferretti and
Giancarlo Mauri and
Claudio Zandron},
title = {{DNA} Extraction by {XPCR}},
booktitle = {{DNA} Computing, 10th International Workshop on {DNA} Computing, {DNA}
10, Milan, Italy, June 7-10, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3384},
pages = {104--112},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493785\_9},
doi = {10.1007/11493785\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/FrancoGLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/MancaBF04,
author = {Vincenzo Manca and
Luca Bianco and
Federico Fontana},
editor = {Giancarlo Mauri and
Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Evolution and Oscillation in {P} Systems: Applications to Biological
Phenomena},
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 = {63--84},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31837-8\_4},
doi = {10.1007/978-3-540-31837-8\_4},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/MancaBF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/FrancoM03,
author = {Giuditta Franco and
Vincenzo Manca},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Giancarlo Mauri and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {A Membrane System for the Leukocyte Selective Recruitment},
booktitle = {Membrane Computing, International Workshop, {WMC} 2003, Tarragona,
Spain, July 17-22, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2933},
pages = {181--190},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24619-0\_13},
doi = {10.1007/978-3-540-24619-0\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/FrancoM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Manca02,
author = {Vincenzo Manca},
title = {{DNA} and Membrane Algorithms for {SAT}},
journal = {Fundam. Informaticae},
volume = {49},
number = {1-3},
pages = {205--221},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi49-1-3-15},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Manca02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmp/BernardiniM02,
author = {Francesco Bernardini and
Vincenzo Manca},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa and
Claudio Zandron},
title = {P Systems with Boundary Rules},
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 = {107--118},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36490-0\_8},
doi = {10.1007/3-540-36490-0\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/wmp/BernardiniM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/MancaMP01,
author = {Vincenzo Manca and
Carlos Mart{\'{\i}}n{-}Vide and
Gheorghe Paun},
title = {On the Power of {P} Systems with Replicated Rewriting},
journal = {J. Autom. Lang. Comb.},
volume = {6},
number = {3},
pages = {359--374},
year = {2001},
url = {https://doi.org/10.25596/jalc-2001-359},
doi = {10.25596/JALC-2001-359},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/MancaMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Manca01,
author = {Vincenzo Manca},
title = {Logical string rewriting},
journal = {Theor. Comput. Sci.},
volume = {264},
number = {1},
pages = {25--51},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00212-7},
doi = {10.1016/S0304-3975(00)00212-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Manca01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Manca01,
author = {Vincenzo Manca},
editor = {Masami Ito and
Gheorghe Paun and
Sheng Yu},
title = {On the Generative Power of Iterated Transductions},
booktitle = {Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel
Thierrin},
pages = {315--327},
publisher = {World Scientific},
year = {2001},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Manca01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Manca01a,
author = {Vincenzo Manca},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
title = {On some forms of splicing},
booktitle = {Where Mathematics, Computer Science, Linguistics and Biology Meet:
Essays in Honour of Gheorghe Paun},
pages = {387--398},
publisher = {Kluwer Academic Publishers},
year = {2001},
timestamp = {Fri, 09 Dec 2011 11:05:54 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Manca01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/MancaZ01,
author = {Vincenzo Manca and
Claudio Zandron},
editor = {Natasa Jonoska and
Nadrian C. Seeman},
title = {A Clause String {DNA} Algorithm for {SAT}},
booktitle = {{DNA} Computing, 7th International Workshop on DNA-Based Computers,
DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2340},
pages = {172--181},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48017-X\_16},
doi = {10.1007/3-540-48017-X\_16},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dna/MancaZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/00/Manca00,
author = {Vincenzo Manca},
editor = {Cristian Calude and
Gheorghe Paun},
title = {Splicing Normalization and Regularity},
booktitle = {Finite Versus Infinite},
series = {Discrete mathematics and theoretical computer science},
pages = {199--215},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-1-4471-0751-4\_13},
doi = {10.1007/978-1-4471-0751-4\_13},
timestamp = {Mon, 16 Sep 2019 14:43:17 +0200},
biburl = {https://dblp.org/rec/books/sp/00/Manca00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MancaMP99,
author = {Vincenzo Manca and
Carlos Mart{\'{\i}}n{-}Vide and
Gheorghe Paun},
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Gheorghe Paun and
Grzegorz Rozenberg},
title = {Iterated {GSM} Mappings: {A} Collapsing Hierarchy},
booktitle = {Jewels are Forever, Contributions on Theoretical Computer Science
in Honor of Arto Salomaa},
pages = {182--193},
publisher = {Springer},
year = {1999},
timestamp = {Tue, 24 Jun 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MancaMP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gmmas/MancaM99,
author = {Vincenzo Manca and
Domenico Marco Martina},
editor = {Gheorghe Paun and
Arto Salomaa},
title = {From String Rewriting to Logical Metabolic Systems},
booktitle = {Grammatical Models of Multi-Agent Systems},
series = {Topics in Computer Mathematics},
volume = {8},
pages = {297--315},
publisher = {Gordon and Breach Science Publishers},
year = {1999},
timestamp = {Mon, 01 Mar 2004 15:49:57 +0100},
biburl = {https://dblp.org/rec/conf/gmmas/MancaM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csjm/MancaP98,
author = {Vincenzo Manca and
Gheorghe Paun},
title = {Arithmetically Controlled {H} Systems},
journal = {Comput. Sci. J. Moldova},
volume = {6},
number = {2},
pages = {106--118},
year = {1998},
url = {http://www.math.md/publications/csjm/issues/v6-n2/8099/},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csjm/MancaP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MancaS92,
author = {Vincenzo Manca and
Antonino Salibra},
title = {Soundness and Completeness of the Birkhoff Equational Calculus for
Many-Sorted Algebras with Possibly Empty Carrier Sets},
journal = {Theor. Comput. Sci.},
volume = {94},
number = {1},
pages = {101--124},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90325-A},
doi = {10.1016/0304-3975(92)90325-A},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MancaS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MancaSS90,
author = {Vincenzo Manca and
Antonino Salibra and
Giuseppe Scollo},
title = {Equational Type Logic},
journal = {Theor. Comput. Sci.},
volume = {77},
number = {1{\&}2},
pages = {131--159},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90118-2},
doi = {10.1016/0304-3975(90)90118-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MancaSS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MancaS90,
author = {Vincenzo Manca and
Antonino Salibra},
editor = {Branislav Rovan},
title = {Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets},
booktitle = {Mathematical Foundations of Computer Science 1990, MFCS'90, Bansk{\'{a}}
Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {452},
pages = {423--429},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0029638},
doi = {10.1007/BFB0029638},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/MancaS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MancaSS89,
author = {Vincenzo Manca and
Antonino Salibra and
Giuseppe Scollo},
editor = {Antoni Kreczmar and
Grazyna Mirkowska},
title = {On the Nature of {TELLUS} (a Typed Equational Logic Look over Uniform
Specification)},
booktitle = {Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik,
Poland, August 28 - September 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {379},
pages = {338--349},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51486-4\_81},
doi = {10.1007/3-540-51486-4\_81},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/MancaSS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Manca86,
author = {Vincenzo Manca},
editor = {Klaus Drosten and
Hans{-}Dieter Ehrich and
Martin Gogolla and
Udo W. Lipeck},
title = {Specification of Abstract Data Types with Experiments},
booktitle = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
of Braunschweig, Germany},
year = {1986},
timestamp = {Fri, 19 Jul 2019 16:40:26 +0200},
biburl = {https://dblp.org/rec/conf/adt/Manca86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MancaS84,
author = {Vincenzo Manca and
Antonino Salibra},
title = {First-order theories as many-sorted algebras},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {1},
pages = {86--94},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870521},
doi = {10.1305/NDJFL/1093870521},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/MancaS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Manca81,
author = {Vincenzo Manca},
title = {Computational formalism: abstract combinatory view-point and related
first order logical framework},
journal = {Fundam. Informaticae},
volume = {4},
number = {1},
pages = {3--18},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Manca81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-08-23 19:20 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:
