Vincenzo Manca

ORCID

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 13

Top Venues

Publications

Vincenzo Manca
Agile Logical Semantics for Natural Languages. Inf. 15 (1) (2024)
Vincenzo Manca
Artificial Neural Network Learning, Attention, and Memory. Inf. 15 (7) (2024)
Vincenzo Manca
The Archimedean Origin of Modern Positional Number Systems. Algorithms 17 (1) (2024)
Giuditta Franco, Vincenzo Manca, Marco Andreolli, Silvia Lampis
Emergence of random selections in evolution of biological populations. Theor. Comput. Sci. 862 (2021)
Vincenzo Bonnici, Giuditta Franco, Vincenzo Manca
Spectral concepts in genome informational analysis. CoRR (2021)
Vincenzo Manca, Giuseppe Scollo
Explaining DNA structure. Theor. Comput. Sci. 894 (2021)
Vincenzo Bonnici, Giuditta Franco, Vincenzo Manca
Spectral concepts in genome informational analysis. Theor. Comput. Sci. 894 (2021)
Vincenzo Bonnici, Giuditta Franco, Vincenzo Manca
A word recurrence based algorithm to extract genomic dictionaries. CoRR (2020)
Vincenzo Manca
Metabolic computing. J. Membr. Comput. 1 (3) (2019)
Vincenzo Manca
From biopolymer duplication to membrane duplication and beyond. J. Membr. Comput. 1 (4) (2019)
Vincenzo Manca
A Note on the Entropy of Computation. Enjoying Natural Computing (2018)
Vincenzo Bonnici, Vincenzo Manca
An Informational Test for Random Finite Strings. Entropy 20 (12) (2018)
Vincenzo Manca
The principles of informational genomics. Theor. Comput. Sci. 701 (2017)
Alberto Castellini, Daniele Paltrinieri, Vincenzo Manca
MP-GeneticSynth: inferring biological network regulations from time series. Bioinform. 31 (5) (2015)
Ricardo Henrique Gracini Guiraldelli, Vincenzo Manca
Automatic Translation of MP ^+ V Systems to Register Machines. Int. Conf. on Membrane Computing (2015)
Luca Marchetti, Vincenzo Manca
MpTheory Java library: a multi-platform Java library for systems biology based on the Metabolic P theory. Bioinform. 31 (8) (2015)
Alberto Castellini, Vincenzo Manca, Mauro Zucchelli
An evolutionary procedure for inferring MP systems regulation functions of biological networks. Nat. Comput. 14 (3) (2015)
Ricardo Henrique Gracini Guiraldelli, Vincenzo Manca
The Computational Universality of Metabolic Computing. CoRR (2015)
Vincenzo Manca
Information Theory in Genome Analysis. Int. Conf. on Membrane Computing (2015)
Vincenzo Manca
A Brief Philosophical Note on Information. BIRS-IMLKE (2015)
Vincenzo Manca, Giovanni Pardini
Morphogenesis through moving membranes. Nat. Comput. 13 (3) (2014)
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) (2014)
Alberto Castellini, Giuditta Franco, Vincenzo Manca, Riccardo Ortolani, Antonio Vella
Towards an MP Model for B Lymphocytes Maturation. UCNC (2014)
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)
Vincenzo Manca, Luca Marchetti
An algebraic formulation of inverse problems in MP dynamics. Int. J. Comput. Math. 90 (4) (2013)
Alberto Castellini, Vincenzo Manca, Mauro Zucchelli, Mirko Busato
A genetic approach for synthesizing metabolic models from time series. GECCO (Companion) (2012)
Vincenzo Manca
An Outline of MP Modeling Framework. Int. Conf. on Membrane Computing (2012)
Alberto Castellini, Vincenzo Manca, Mauro Zucchelli
Towards an Evolutionary Procedure for Reverse-Engineering Biological Networks. ICARIS (2012)
Roberto Pagliarini, Oana Agrigoroaiei, Gabriel Ciobanu, Vincenzo Manca
An Analysis of Correlative and Static Causality in P Systems. Int. Conf. on Membrane Computing (2012)
Vincenzo Manca, Luca Marchetti
Application of the MP Theory to Systems Biology. BIOSIGNALS (2012)
Vincenzo Manca, Luca Marchetti
Solving dynamical inverse problems by means of Metabolic P systems. Biosyst. 109 (1) (2012)
Luca Marchetti, Vincenzo Manca
A Methodology Based on MP Theory for Gene Expression Analysis. Int. Conf. on Membrane Computing (2011)
Giuditta Franco, Vincenzo Manca
Algorithmic applications of XPCR. Nat. Comput. 10 (2) (2011)
Vincenzo Manca, Rosario Lombardo
Computing with Multi-membranes. Int. Conf. on Membrane Computing (2011)
Vincenzo Manca, Luca Marchetti
Log-Gain stoichiometric Stepwise Regression for MP Systems. Int. J. Found. Comput. Sci. 22 (1) (2011)
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) (2011)
Vincenzo Manca
A Recurrent Enumeration of Free Hypermultisets. Computation, Cooperation, and Life (2011)
Vincenzo Manca
Algorithmic Models of Biochemical Dynamics: MP Grammars Synthetizing Complex Oscillators. Int. J. Nanotechnol. Mol. Comput. 3 (4) (2011)
Rosario Lombardo, Vincenzo Manca
Arithmetical Metabolic P Systems. IWINAC (1) (2011)
Giuditta Franco, Vincenzo Manca
On Synthesizing Replicating Metabolic Systems. ERCIM News 2011 (85) (2011)
Alberto Castellini, Giuditta Franco, Vincenzo Manca
Hybrid Functional Petri Nets as MP systems. Nat. Comput. 9 (1) (2010)
Vincenzo Manca
Metabolic P systems. Scholarpedia 5 (3) (2010)
Vincenzo Manca, Luca Marchetti
Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems. Int. Conf. on Membrane Computing (2010)
Vincenzo Manca, Luca Marchetti
Metabolic approximation of real periodical functions. J. Log. Algebraic Methods Program. 79 (6) (2010)
Marian Gheorghe, Vincenzo Manca, Francisco José Romero-Campero
Deterministic and stochastic P systems for modelling cellular processes. Nat. Comput. 9 (2) (2010)
Alberto Castellini, Vincenzo Manca
Learning regulation functions of metabolic systems by artificial neural networks. GECCO (2009)
Vincenzo Manca, Maria Dolores Jiménez-López
Recombination Patterns for Natural Syntax. IWINAC (1) (2009)
Vincenzo Manca
Log-gain Principles for Metabolic P Systems. Algorithmic Bioprocesses (2009)
Vincenzo Manca, Roberto Pagliarini, Simone Zorzan
A photosynthetic process modelled by a metabolic P system. Nat. Comput. 8 (4) (2009)
Vincenzo Manca, Luca Marchetti
XML Representation of Metabolic P Systems. IEEE Congress on Evolutionary Computation (2009)
Roberto Pagliarini, Giuditta Franco, Vincenzo Manca
An Algorithm for Initial Fluxes of Metabolic P Systems. Int. J. Comput. Commun. Control 4 (3) (2009)
Giuditta Franco, Vincenzo Manca, Roberto Pagliarini
Regulation and Covering Problems in MP Systems. Workshop on Membrane Computing (2009)
Alberto Castellini, Vincenzo Manca, Yasuhiro Suzuki
Metabolic P System Flux Regulation by Artificial Neural Networks. Workshop on Membrane Computing (2009)
Vincenzo Manca
From P to MP Systems. Workshop on Membrane Computing (2009)
Vincenzo Manca
Enumerating Membrane Structures. Workshop on Membrane Computing (2008)
Giuseppe Scollo, Giuditta Franco, Vincenzo Manca
Relational state transition dynamics. J. Log. Algebraic Methods Program. 76 (1) (2008)
Vincenzo Manca, Luca Bianco
Biological networks in metabolic P systems. Biosyst. 91 (3) (2008)
Vincenzo Manca, Roberto Pagliarini, Simone Zorzan
Toward an MP Model of Non-Photochemical Quenching. Workshop on Membrane Computing (2008)
Federico Fontana, Vincenzo Manca
Predator-prey dynamics in P systems ruled by metabolic algorithm. Biosyst. 91 (3) (2008)
Vincenzo Manca
The metabolic algorithm for P systems: Principles and applications. Theor. Comput. Sci. 404 (1-2) (2008)
Alberto Castellini, Vincenzo Manca
MetaPlab: A Computational Framework for Metabolic P Systems. Workshop on Membrane Computing (2008)
Vincenzo Manca
Discrete Simulations of Biochemical Dynamics. DNA (2007)
Alberto Castellini, Giuditta Franco, Vincenzo Manca
Toward a Representation of Hybrid Functional Petri Nets by MP Systems. IWNC (2007)
Luca Bianco, Vincenzo Manca, Luca Marchetti, Michele Petterlini
Psim: a simulator for biomolecular dynamics based on P systems. IEEE Congress on Evolutionary Computation (2007)
Federico Fontana, Vincenzo Manca
Discrete solutions to differential equations by metabolic P systems. Theor. Comput. Sci. 372 (2-3) (2007)
Giuditta Franco, Pietro Hiram Guzzi, Vincenzo Manca, Tommaso Mazza
Mitotic Oscillators as MP Graphs. Workshop on Membrane Computing (2006)
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) (2006)
Giuseppe Scollo, Giuditta Franco, Vincenzo Manca
A Relational View of Recurrence and Attractors in State Transition Dynamics. RelMiCS (2006)
Luca Bianco, Federico Fontana, Vincenzo Manca
P systems with reaction maps. Int. J. Found. Comput. Sci. 17 (1) (2006)
Vincenzo Manca
MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations. Workshop on Membrane Computing (2006)
Luca Bianco, Vincenzo Manca
Symbolic generation and representation of complex oscillations. Int. J. Comput. Math. 83 (7) (2006)
Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana
Superposition Based on Watson-Crick-Like Complementarity. Theory Comput. Syst. 39 (4) (2006)
Vincenzo Manca
On the Logic and Geometry of Bilinear Forms. Fundam. Informaticae 64 (1-4) (2005)
Federico Fontana, Luca Bianco, Vincenzo Manca
P Systems and the Modeling of Biochemical Oscillations. Workshop on Membrane Computing (2005)
Giuditta Franco, Vincenzo Manca
An algorithmic analysis of DNA structure. Soft Comput. 9 (10) (2005)
Francesco Bernardini, Marian Gheorghe, Vincenzo Manca
On P Systems and Almost Periodicity. Fundam. Informaticae 64 (1-4) (2005)
Luca Bianco, Vincenzo Manca
Encoding-Decoding Transitional Systems for Classes of P Systems. Workshop on Membrane Computing (2005)
Federico Fontana, Luca Bianco, Vincenzo Manca
A symbolic approach to the simulation of biochemical models: application to circadian rhythms. CSB Workshops (2005)
Giuditta Franco, Vincenzo Manca, Cinzia Giagulli, Carlo Laudanna
DNA Recombination by XPCR. DNA (2005)
Luca Bianco, Vincenzo Manca, Simone Zorzan
Symbolic Representations of Biological Oscillations. SYNASC (2005)
Luca Bianco, Federico Fontana, Vincenzo Manca
Reaction-Driven Membrane Systems. ICNC (2) (2005)
Vincenzo Manca, Luca Bianco, Federico Fontana
Evolution and Oscillation in P Systems: Applications to Biological Phenomena. Workshop on Membrane Computing (2004)
Vincenzo Manca
A Proof of Regularity for Finite Splicing. Aspects of Molecular Computing (2004)
Giuditta Franco, Cinzia Giagulli, Carlo Laudanna, Vincenzo Manca
DNA Extraction by XPCR. DNA (2004)
Giuditta Franco, Vincenzo Manca
A Membrane System for the Leukocyte Selective Recruitment. Workshop on Membrane Computing (2003)
Francesco Bernardini, Vincenzo Manca
P Systems with Boundary Rules. WMC-CdeA (2002)
Vincenzo Manca
DNA and Membrane Algorithms for SAT. Fundam. Informaticae 49 (1-3) (2002)
Vincenzo Manca, Carlos Martín-Vide, Gheorghe Paun
On the Power of P Systems with Replicated Rewriting. J. Autom. Lang. Comb. 6 (3) (2001)
Vincenzo Manca
On some forms of splicing. Where Mathematics, Computer Science, Linguistics and Biology Meet (2001)
Vincenzo Manca, Claudio Zandron
A Clause String DNA Algorithm for SAT. DNA (2001)
Vincenzo Manca
On the Generative Power of Iterated Transductions. Words, Semigroups, and Transductions (2001)
Vincenzo Manca
Logical string rewriting. Theor. Comput. Sci. 264 (1) (2001)
Vincenzo Manca, Domenico Marco Martina
From String Rewriting to Logical Metabolic Systems. Grammatical Models of Multi-Agent Systems (1999)
Vincenzo Manca, Carlos Martín-Vide, Gheorghe Paun
Iterated GSM Mappings: A Collapsing Hierarchy. Jewels are Forever (1999)
Vincenzo Manca, Gheorghe Paun
Arithmetically Controlled H Systems. Comput. Sci. J. Moldova 6 (2) (1998)
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) (1992)
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
Equational Type Logic. Theor. Comput. Sci. 77 (1&2) (1990)
Vincenzo Manca, Antonino Salibra
Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets. MFCS (1990)
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). MFCS (1989)
Vincenzo Manca
Specification of Abstract Data Types with Experiments. ADT (1986)

Vincenzo Manca.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vincenzo Manca