default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVincenzo Manca
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j47]Vincenzo Manca
:
The Archimedean Origin of Modern Positional Number Systems. Algorithms 17(1): 11 (2024)- [j46]Vincenzo Manca:
Agile Logical Semantics for Natural Languages. Inf. 15(1): 64 (2024) - [j45]Vincenzo Manca:
Artificial Neural Network Learning, Attention, and Memory. Inf. 15(7): 387 (2024) - 2023
- [b1]Vincenzo Manca, Vincenzo Bonnici:
Infogenomics - The Informational Analysis of Genomes. Springer 2023, ISBN 978-3-031-44500-2, pp. 1-281 - 2021
- [j44]Giuditta Franco, Vincenzo Manca, Marco Andreolli, Silvia Lampis:
Emergence of random selections in evolution of biological populations. Theor. Comput. Sci. 862: 130-143 (2021) - [j43]Vincenzo Bonnici, Giuditta Franco, Vincenzo Manca:
Spectral concepts in genome informational analysis. Theor. Comput. Sci. 894: 23-30 (2021) - [j42]Vincenzo Manca, Giuseppe Scollo:
Explaining DNA structure. Theor. Comput. Sci. 894: 152-171 (2021) - [i4]Vincenzo Bonnici, Giuditta Franco, Vincenzo Manca:
Spectral concepts in genome informational analysis. CoRR abs/2106.15351 (2021) - 2020
- [i3]Vincenzo Bonnici, Giuditta Franco, Vincenzo Manca:
A word recurrence based algorithm to extract genomic dictionaries. CoRR abs/2009.10449 (2020)
2010 – 2019
- 2019
- [j41]Vincenzo Manca:
Metabolic computing. J. Membr. Comput. 1(3): 223-232 (2019) - [j40]Vincenzo Manca:
From biopolymer duplication to membrane duplication and beyond. J. Membr. Comput. 1(4): 292-303 (2019) - 2018
- [j39]Vincenzo Bonnici, Vincenzo Manca:
An Informational Test for Random Finite Strings. Entropy 20(12): 934 (2018) - [c51]Vincenzo Manca:
A Note on the Entropy of Computation. Enjoying Natural Computing 2018: 192-203 - [p5]Giuditta Franco, Vincenzo Manca:
Decoding Genomic Information. Computational Matter 2018: 129-149 - 2017
- [j38]Vincenzo Manca:
The principles of informational genomics. Theor. Comput. Sci. 701: 190-202 (2017) - 2016
- [p4]Vincenzo Manca:
Grammars for Discrete Dynamics. Machine Learning for Health Informatics 2016: 37-58 - 2015
- [j37]Alberto Castellini, Daniele Paltrinieri, Vincenzo Manca:
MP-GeneticSynth: inferring biological network regulations from time series. Bioinform. 31(5): 785-787 (2015) - [j36]Luca Marchetti, Vincenzo Manca:
MpTheory Java library: a multi-platform Java library for systems biology based on the Metabolic P theory. Bioinform. 31(8): 1328-1330 (2015) - [j35]Alberto Castellini, Vincenzo Manca, Mauro Zucchelli:
An evolutionary procedure for inferring MP systems regulation functions of biological networks. Nat. Comput. 14(3): 375-391 (2015) - [c50]Vincenzo Manca:
A Brief Philosophical Note on Information. BIRS-IMLKE 2015: 146-149 - [c49]Vincenzo Manca:
Information Theory in Genome Analysis. Int. Conf. on Membrane Computing 2015: 3-18 - [c48]Ricardo Henrique Gracini Guiraldelli, Vincenzo Manca:
Automatic Translation of MP ^+ V Systems to Register Machines. Int. Conf. on Membrane Computing 2015: 185-199 - [i2]Ricardo Henrique Gracini Guiraldelli, Vincenzo Manca:
The Computational Universality of Metabolic Computing. CoRR abs/1505.02420 (2015) - 2014
- [j34]Aliccia Bollig-Fischer, Luca Marchetti, Cristina Mitrea, Jiusheng Wu, Adéle Kruger, Vincenzo Manca, Sorin Draghici:
Modeling time-dependent transcription effects of HER2 oncogene and discovery of a role for E2F2 in breast cancer cell-matrix adhesion. Bioinform. 30(21): 3036-3043 (2014) - [j33]Vincenzo Manca, Giovanni Pardini:
Morphogenesis through moving membranes. Nat. Comput. 13(3): 403-419 (2014) - [c47]Luca Marchetti, Vincenzo Manca, Ivan Zelinka:
On the inference of deterministic chaos: Evolutionary algorithm and metabolic P system approaches. IEEE Congress on Evolutionary Computation 2014: 1483-1489 - [c46]Alberto Castellini, Giuditta Franco, Vincenzo Manca, Riccardo Ortolani, Antonio Vella:
Towards an MP Model for B Lymphocytes Maturation. UCNC 2014: 80-92 - 2013
- [j32]Vincenzo Manca, Luca Marchetti:
An algebraic formulation of inverse problems in MP dynamics. Int. J. Comput. Math. 90(4): 845-856 (2013) - 2012
- [j31]Vincenzo Manca, Luca Marchetti:
Solving dynamical inverse problems by means of Metabolic P systems. Biosyst. 109(1): 78-86 (2012) - [c45]Vincenzo Manca, Luca Marchetti:
Application of the MP Theory to Systems Biology. BIOSIGNALS 2012: 303-308 - [c44]Alberto Castellini, Vincenzo Manca, Mauro Zucchelli, Mirko Busato:
A genetic approach for synthesizing metabolic models from time series. GECCO (Companion) 2012: 1415-1416 - [c43]Alberto Castellini, Vincenzo Manca, Mauro Zucchelli:
Towards an Evolutionary Procedure for Reverse-Engineering Biological Networks. ICARIS 2012: 271-285 - [c42]Vincenzo Manca:
An Outline of MP Modeling Framework. Int. Conf. on Membrane Computing 2012: 47-55 - [c41]Roberto Pagliarini, Oana Agrigoroaiei, Gabriel Ciobanu, Vincenzo Manca:
An Analysis of Correlative and Static Causality in P Systems. Int. Conf. on Membrane Computing 2012: 323-341 - 2011
- [j30]Vincenzo Manca, Luca Marchetti:
Log-Gain stoichiometric Stepwise Regression for MP Systems. Int. J. Found. Comput. Sci. 22(1): 97-106 (2011) - [j29]Vincenzo Manca, Luca Marchetti, Roberto Pagliarini:
MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test. Int. J. Nat. Comput. Res. 2(3): 13-24 (2011) - [j28]Vincenzo Manca:
Algorithmic Models of Biochemical Dynamics: MP Grammars Synthetizing Complex Oscillators. Int. J. Nanotechnol. Mol. Comput. 3(4): 24-37 (2011) - [j27]Giuditta Franco, Vincenzo Manca:
Algorithmic applications of XPCR. Nat. Comput. 10(2): 805-819 (2011) - [c40]Vincenzo Manca:
A Recurrent Enumeration of Free Hypermultisets. Computation, Cooperation, and Life 2011: 16-23 - [c39]Rosario Lombardo, Vincenzo Manca:
Arithmetical Metabolic P Systems. IWINAC (1) 2011: 284-294 - [c38]Vincenzo Manca, Rosario Lombardo:
Computing with Multi-membranes. Int. Conf. on Membrane Computing 2011: 282-299 - [c37]Luca Marchetti, Vincenzo Manca:
A Methodology Based on MP Theory for Gene Expression Analysis. Int. Conf. on Membrane Computing 2011: 300-313 - [i1]Giuditta Franco, Vincenzo Manca:
On Synthesizing Replicating Metabolic Systems. ERCIM News 2011(85): 21 (2011) - 2010
- [j26]Vincenzo Manca, Luca Marchetti:
Metabolic approximation of real periodical functions. J. Log. Algebraic Methods Program. 79(6): 363-373 (2010) - [j25]Alberto Castellini, Giuditta Franco, Vincenzo Manca:
Hybrid Functional Petri Nets as MP systems. Nat. Comput. 9(1): 61-81 (2010) - [j24]Marian Gheorghe, Vincenzo Manca, Francisco José Romero-Campero:
Deterministic and stochastic P systems for modelling cellular processes. Nat. Comput. 9(2): 457-473 (2010) - [j23]Vincenzo Manca:
Metabolic P systems. Scholarpedia 5(3): 9273 (2010) - [c36]Vincenzo Manca, Luca Marchetti:
Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems. Int. Conf. on Membrane Computing 2010: 273-284
2000 – 2009
- 2009
- [j22]Roberto Pagliarini, Giuditta Franco, Vincenzo Manca:
An Algorithm for Initial Fluxes of Metabolic P Systems. Int. J. Comput. Commun. Control 4(3): 263-272 (2009) - [j21]Vincenzo Manca, Roberto Pagliarini, Simone Zorzan:
A photosynthetic process modelled by a metabolic P system. Nat. Comput. 8(4): 847-864 (2009) - [c35]Vincenzo Manca:
Log-gain Principles for Metabolic P Systems. Algorithmic Bioprocesses 2009: 585-605 - [c34]Vincenzo Manca, Luca Marchetti:
XML Representation of Metabolic P Systems. IEEE Congress on Evolutionary Computation 2009: 3103-3110 - [c33]Alberto Castellini, Vincenzo Manca:
Learning regulation functions of metabolic systems by artificial neural networks. GECCO 2009: 193-200 - [c32]Vincenzo Manca, María Dolores Jiménez-López:
Recombination Patterns for Natural Syntax. IWINAC (1) 2009: 315-324 - [c31]Vincenzo Manca:
From P to MP Systems. Workshop on Membrane Computing 2009: 74-94 - [c30]Alberto Castellini, Vincenzo Manca, Yasuhiro Suzuki:
Metabolic P System Flux Regulation by Artificial Neural Networks. Workshop on Membrane Computing 2009: 196-209 - [c29]Giuditta Franco, Vincenzo Manca, Roberto Pagliarini:
Regulation and Covering Problems in MP Systems. Workshop on Membrane Computing 2009: 242-251 - 2008
- [j20]Vincenzo Manca, Luca Bianco:
Biological networks in metabolic P systems. Biosyst. 91(3): 489-498 (2008) - [j19]Federico Fontana, Vincenzo Manca:
Predator-prey dynamics in P systems ruled by metabolic algorithm. Biosyst. 91(3): 545-557 (2008) - [j18]Giuseppe Scollo, Giuditta Franco, Vincenzo Manca:
Relational state transition dynamics. J. Log. Algebraic Methods Program. 76(1): 130-144 (2008) - [j17]Vincenzo Manca:
The metabolic algorithm for P systems: Principles and applications. Theor. Comput. Sci. 404(1-2): 142-155 (2008) - [c28]Alberto Castellini, Vincenzo Manca:
MetaPlab: A Computational Framework for Metabolic P Systems. Workshop on Membrane Computing 2008: 157-168 - [c27]Vincenzo Manca:
Enumerating Membrane Structures. Workshop on Membrane Computing 2008: 292-298 - [c26]Vincenzo Manca, Roberto Pagliarini, Simone Zorzan:
Toward an MP Model of Non-Photochemical Quenching. Workshop on Membrane Computing 2008: 299-310 - 2007
- [j16]Federico Fontana, Vincenzo Manca:
Discrete solutions to differential equations by metabolic P systems. Theor. Comput. Sci. 372(2-3): 165-182 (2007) - [c25]Luca Bianco, Vincenzo Manca, Luca Marchetti, Michele Petterlini:
Psim: a simulator for biomolecular dynamics based on P systems. IEEE Congress on Evolutionary Computation 2007: 883-887 - [c24]Vincenzo Manca:
Discrete Simulations of Biochemical Dynamics. DNA 2007: 231-235 - [c23]Alberto Castellini, Giuditta Franco, Vincenzo Manca:
Toward a Representation of Hybrid Functional Petri Nets by MP Systems. IWNC 2007: 28-37 - [p3]Alberto Castellini, Vincenzo Manca, Luca Marchetti:
MP Systems and Hybrid Petri Nets. NICSO 2007: 53-62 - 2006
- [j15]Luca Bianco, Vincenzo Manca:
Symbolic generation and representation of complex oscillations. Int. J. Comput. Math. 83(7): 549-568 (2006) - [j14]Luca Bianco, Federico Fontana, Vincenzo Manca:
P systems with reaction maps. Int. J. Found. Comput. Sci. 17(1): 27-48 (2006) - [j13]Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana:
Superposition Based on Watson-Crick-Like Complementarity. Theory Comput. Syst. 39(4): 503-524 (2006) - [j12]Henning Bordihn, Henning Fernau, Markus Holzer, Vincenzo Manca, Carlos Martín-Vide:
Iterated sequential transducers as language generating devices. Theor. Comput. Sci. 369(1-3): 67-81 (2006) - [c22]Giuseppe Scollo, Giuditta Franco, Vincenzo Manca:
A Relational View of Recurrence and Attractors in State Transition Dynamics. RelMiCS 2006: 358-372 - [c21]Vincenzo Manca:
MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations. Workshop on Membrane Computing 2006: 86-99 - [c20]Giuditta Franco, Pietro Hiram Guzzi, Vincenzo Manca, Tommaso Mazza:
Mitotic Oscillators as MP Graphs. Workshop on Membrane Computing 2006: 382-394 - [p2]Luca Bianco, Federico Fontana, Giuditta Franco, Vincenzo Manca:
P Systems for Biological Dynamics. Applications of Membrane Computing 2006: 83-128 - 2005
- [j11]Francesco Bernardini, Marian Gheorghe, Vincenzo Manca:
On P Systems and Almost Periodicity. Fundam. Informaticae 64(1-4): 29-42 (2005) - [j10]Vincenzo Manca:
On the Logic and Geometry of Bilinear Forms. Fundam. Informaticae 64(1-4): 261-273 (2005) - [j9]Giuditta Franco, Vincenzo Manca:
An algorithmic analysis of DNA structure. Soft Comput. 9(10): 761-768 (2005) - [c19]Federico Fontana, Luca Bianco, Vincenzo Manca:
A symbolic approach to the simulation of biochemical models: application to circadian rhythms. CSB Workshops 2005: 168-169 - [c18]Giuditta Franco, Vincenzo Manca, Cinzia Giagulli, Carlo Laudanna:
DNA Recombination by XPCR. DNA 2005: 55-66 - [c17]Luca Bianco, Federico Fontana, Vincenzo Manca:
Reaction-Driven Membrane Systems. ICNC (2) 2005: 1155-1158 - [c16]Luca Bianco, Vincenzo Manca:
Encoding-Decoding Transitional Systems for Classes of P Systems. Workshop on Membrane Computing 2005: 134-143 - [c15]Federico Fontana, Luca Bianco, Vincenzo Manca:
P Systems and the Modeling of Biochemical Oscillations. Workshop on Membrane Computing 2005: 199-208 - [c14]Luca Bianco, Vincenzo Manca, Simone Zorzan:
Symbolic Representations of Biological Oscillations. SYNASC 2005: 407-414 - 2004
- [c13]Vincenzo Manca:
A Proof of Regularity for Finite Splicing. Aspects of Molecular Computing 2004: 309-317 - [c12]Giuditta Franco, Cinzia Giagulli, Carlo Laudanna, Vincenzo Manca:
DNA Extraction by XPCR. DNA 2004: 104-112 - [c11]Vincenzo Manca, Luca Bianco, Federico Fontana:
Evolution and Oscillation in P Systems: Applications to Biological Phenomena. Workshop on Membrane Computing 2004: 63-84 - 2003
- [c10]Giuditta Franco, Vincenzo Manca:
A Membrane System for the Leukocyte Selective Recruitment. Workshop on Membrane Computing 2003: 181-190 - 2002
- [j8]Vincenzo Manca:
DNA and Membrane Algorithms for SAT. Fundam. Informaticae 49(1-3): 205-221 (2002) - [c9]Francesco Bernardini, Vincenzo Manca:
P Systems with Boundary Rules. WMC-CdeA 2002: 107-118 - 2001
- [j7]Vincenzo Manca, Carlos Martín-Vide, Gheorghe Paun:
On the Power of P Systems with Replicated Rewriting. J. Autom. Lang. Comb. 6(3): 359-374 (2001) - [j6]Vincenzo Manca:
Logical string rewriting. Theor. Comput. Sci. 264(1): 25-51 (2001) - [c8]Vincenzo Manca:
On the Generative Power of Iterated Transductions. Words, Semigroups, and Transductions 2001: 315-327 - [c7]Vincenzo Manca:
On some forms of splicing. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 387-398 - [c6]Vincenzo Manca, Claudio Zandron:
A Clause String DNA Algorithm for SAT. DNA 2001: 172-181 - 2000
- [p1]Vincenzo Manca:
Splicing Normalization and Regularity. Finite Versus Infinite 2000: 199-215
1990 – 1999
- 1999
- [c5]Vincenzo Manca, Carlos Martín-Vide, Gheorghe Paun:
Iterated GSM Mappings: A Collapsing Hierarchy. Jewels are Forever 1999: 182-193 - [c4]Vincenzo Manca, Domenico Marco Martina:
From String Rewriting to Logical Metabolic Systems. Grammatical Models of Multi-Agent Systems 1999: 297-315 - 1998
- [j5]Vincenzo Manca, Gheorghe Paun:
Arithmetically Controlled H Systems. Comput. Sci. J. Moldova 6(2): 106-118 (1998) - 1992
- [j4]Vincenzo Manca, Antonino Salibra:
Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets. Theor. Comput. Sci. 94(1): 101-124 (1992) - 1990
- [j3]Vincenzo Manca, Antonino Salibra, Giuseppe Scollo:
Equational Type Logic. Theor. Comput. Sci. 77(1&2): 131-159 (1990) - [c3]Vincenzo Manca, Antonino Salibra:
Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets. MFCS 1990: 423-429
1980 – 1989
- 1989
- [c2]Vincenzo Manca, Antonino Salibra, Giuseppe Scollo:
On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). MFCS 1989: 338-349 - 1986
- [c1]Vincenzo Manca:
Specification of Abstract Data Types with Experiments. ADT 1986 - 1984
- [j2]Vincenzo Manca, Antonino Salibra:
First-order theories as many-sorted algebras. Notre Dame J. Formal Log. 25(1): 86-94 (1984) - 1981
- [j1]Vincenzo Manca:
Computational formalism: abstract combinatory view-point and related first order logical framework. Fundam. Informaticae 4(1): 3-18 (1981)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
