Computational formalism: abstract combinatory view-point and related first order logical framework. - Vincenzo Manca (Fundam. Informaticae, 1981)

First-order theories as many-sorted algebras. - Vincenzo Manca; Antonino Salibra (Notre Dame J. Formal Log., 1984)

Specification of Abstract Data Types with Experiments. - Vincenzo Manca (ADT, 1986)

On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). - Vincenzo Manca; Antonino Salibra; Giuseppe Scollo (MFCS, 1989)

Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets. - Vincenzo Manca; Antonino Salibra (MFCS, 1990)

Equational Type Logic. - Vincenzo Manca; Antonino Salibra; Giuseppe Scollo (Theor. Comput. Sci., 1990)

Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets. - Vincenzo Manca; Antonino Salibra (Theor. Comput. Sci., 1992)

Arithmetically Controlled H Systems. - Vincenzo Manca; Gheorghe Paun (Comput. Sci. J. Moldova, 1998)

Iterated GSM Mappings: A Collapsing Hierarchy. - Vincenzo Manca; Carlos Martín-Vide; Gheorghe Paun (Jewels are Forever, 1999)

From String Rewriting to Logical Metabolic Systems. - Vincenzo Manca; Domenico Marco Martina (Grammatical Models of Multi-Agent Systems, 1999)

Splicing Normalization and Regularity. - Vincenzo Manca (Finite Versus Infinite, 2000)

On the Generative Power of Iterated Transductions. - Vincenzo Manca (Words, Semigroups, and Transductions, 2001)

On some forms of splicing. - Vincenzo Manca (Where Mathematics, Computer Science, Linguistics and Biology Meet, 2001)

A Clause String DNA Algorithm for SAT. - Vincenzo Manca; Claudio Zandron (DNA, 2001)

On the Power of P Systems with Replicated Rewriting. - Vincenzo Manca; Carlos Martín-Vide; Gheorghe Paun (J. Autom. Lang. Comb., 2001)

Logical string rewriting. - Vincenzo Manca (Theor. Comput. Sci., 2001)

P Systems with Boundary Rules. - Francesco Bernardini; Vincenzo Manca (WMC-CdeA, 2002)

DNA and Membrane Algorithms for SAT. - Vincenzo Manca (Fundam. Informaticae, 2002)

A Membrane System for the Leukocyte Selective Recruitment. - Giuditta Franco; Vincenzo Manca (Workshop on Membrane Computing, 2003)

A Proof of Regularity for Finite Splicing. - Vincenzo Manca (Aspects of Molecular Computing, 2004)

DNA Extraction by XPCR. - Giuditta Franco; Cinzia Giagulli; Carlo Laudanna; Vincenzo Manca (DNA, 2004)

Evolution and Oscillation in P Systems: Applications to Biological Phenomena. - Vincenzo Manca; Luca Bianco; Federico Fontana (Workshop on Membrane Computing, 2004)

A symbolic approach to the simulation of biochemical models: application to circadian rhythms. - Federico Fontana; Luca Bianco; Vincenzo Manca (CSB Workshops, 2005)

DNA Recombination by XPCR. - Giuditta Franco; Vincenzo Manca; Cinzia Giagulli; Carlo Laudanna (DNA, 2005)

Reaction-Driven Membrane Systems. - Luca Bianco; Federico Fontana; Vincenzo Manca (ICNC (2), 2005)

Encoding-Decoding Transitional Systems for Classes of P Systems. - Luca Bianco; Vincenzo Manca (Workshop on Membrane Computing, 2005)

P Systems and the Modeling of Biochemical Oscillations. - Federico Fontana; Luca Bianco; Vincenzo Manca (Workshop on Membrane Computing, 2005)

Symbolic Representations of Biological Oscillations. - Luca Bianco; Vincenzo Manca; Simone Zorzan (SYNASC, 2005)

On P Systems and Almost Periodicity. - Francesco Bernardini; Marian Gheorghe 001; Vincenzo Manca (Fundam. Informaticae, 2005)

On the Logic and Geometry of Bilinear Forms. - Vincenzo Manca (Fundam. Informaticae, 2005)

An algorithmic analysis of DNA structure. - Giuditta Franco; Vincenzo Manca (Soft Comput., 2005)

A Relational View of Recurrence and Attractors in State Transition Dynamics. - Giuseppe Scollo; Giuditta Franco; Vincenzo Manca (RelMiCS, 2006)

Mitotic Oscillators as MP Graphs. - Giuditta Franco; Pietro Hiram Guzzi; Vincenzo Manca; Tommaso Mazza (Workshop on Membrane Computing, 2006)

MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations. - Vincenzo Manca (Workshop on Membrane Computing, 2006)

P Systems for Biological Dynamics. - Luca Bianco; Federico Fontana; Giuditta Franco; Vincenzo Manca (Applications of Membrane Computing, 2006)

Symbolic generation and representation of complex oscillations. - Luca Bianco; Vincenzo Manca (Int. J. Comput. Math., 2006)

P systems with reaction maps. - Luca Bianco; Federico Fontana; Vincenzo Manca (Int. J. Found. Comput. Sci., 2006)

Superposition Based on Watson-Crick-Like Complementarity. - Paolo Bottoni; Anna Labella; Vincenzo Manca; Victor Mitrana (Theory Comput. Syst., 2006)

Iterated sequential transducers as language generating devices. - Henning Bordihn; Henning Fernau; Markus Holzer 001; Vincenzo Manca; Carlos Martín-Vide (Theor. Comput. Sci., 2006)

Psim: a simulator for biomolecular dynamics based on P systems. - Luca Bianco; Vincenzo Manca; Luca Marchetti; Michele Petterlini (IEEE Congress on Evolutionary Computation, 2007)

Discrete Simulations of Biochemical Dynamics. - Vincenzo Manca (DNA, 2007)

Toward a Representation of Hybrid Functional Petri Nets by MP Systems. - Alberto Castellini; Giuditta Franco; Vincenzo Manca (IWNC, 2007)

Discrete solutions to differential equations by metabolic P systems. - Federico Fontana; Vincenzo Manca (Theor. Comput. Sci., 2007)

MP Systems and Hybrid Petri Nets. - Alberto Castellini; Vincenzo Manca; Luca Marchetti (NICSO, 2007)

MetaPlab: A Computational Framework for Metabolic P Systems. - Alberto Castellini; Vincenzo Manca (Workshop on Membrane Computing, 2008)

Enumerating Membrane Structures. - Vincenzo Manca (Workshop on Membrane Computing, 2008)

Toward an MP Model of Non-Photochemical Quenching. - Vincenzo Manca; Roberto Pagliarini; Simone Zorzan (Workshop on Membrane Computing, 2008)

Predator-prey dynamics in P systems ruled by metabolic algorithm. - Federico Fontana; Vincenzo Manca (Biosyst., 2008)

Biological networks in metabolic P systems. - Vincenzo Manca; Luca Bianco (Biosyst., 2008)

Relational state transition dynamics. - Giuseppe Scollo; Giuditta Franco; Vincenzo Manca (J. Log. Algebraic Methods Program., 2008)

The metabolic algorithm for P systems: Principles and applications. - Vincenzo Manca (Theor. Comput. Sci., 2008)

Log-gain Principles for Metabolic P Systems. - Vincenzo Manca (Algorithmic Bioprocesses, 2009)

XML Representation of Metabolic P Systems. - Vincenzo Manca; Luca Marchetti (IEEE Congress on Evolutionary Computation, 2009)

Learning regulation functions of metabolic systems by artificial neural networks. - Alberto Castellini; Vincenzo Manca (GECCO, 2009)

Recombination Patterns for Natural Syntax. - Vincenzo Manca; María Dolores Jiménez-López (IWINAC (1), 2009)

Metabolic P System Flux Regulation by Artificial Neural Networks. - Alberto Castellini; Vincenzo Manca; Yasuhiro Suzuki (Workshop on Membrane Computing, 2009)

Regulation and Covering Problems in MP Systems. - Giuditta Franco; Vincenzo Manca; Roberto Pagliarini (Workshop on Membrane Computing, 2009)

From P to MP Systems. - Vincenzo Manca (Workshop on Membrane Computing, 2009)

An Algorithm for Initial Fluxes of Metabolic P Systems. - Roberto Pagliarini; Giuditta Franco; Vincenzo Manca (Int. J. Comput. Commun. Control, 2009)

A photosynthetic process modelled by a metabolic P system. - Vincenzo Manca; Roberto Pagliarini; Simone Zorzan (Nat. Comput., 2009)

Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems. - Vincenzo Manca; Luca Marchetti (Int. Conf. on Membrane Computing, 2010)

Metabolic approximation of real periodical functions. - Vincenzo Manca; Luca Marchetti (J. Log. Algebraic Methods Program., 2010)

Hybrid Functional Petri Nets as MP systems. - Alberto Castellini; Giuditta Franco; Vincenzo Manca (Nat. Comput., 2010)

Deterministic and stochastic P systems for modelling cellular processes. - Marian Gheorghe 001; Vincenzo Manca; Francisco José Romero-Campero (Nat. Comput., 2010)

Metabolic P systems. - Vincenzo Manca (Scholarpedia, 2010)

A Recurrent Enumeration of Free Hypermultisets. - Vincenzo Manca (Computation, Cooperation, and Life, 2011)

Arithmetical Metabolic P Systems. - Rosario Lombardo; Vincenzo Manca (IWINAC (1), 2011)

Computing with Multi-membranes. - Vincenzo Manca; Rosario Lombardo (Int. Conf. on Membrane Computing, 2011)

A Methodology Based on MP Theory for Gene Expression Analysis. - Luca Marchetti; Vincenzo Manca (Int. Conf. on Membrane Computing, 2011)

On Synthesizing Replicating Metabolic Systems. - Giuditta Franco; Vincenzo Manca (ERCIM News, 2011)

Log-Gain stoichiometric Stepwise Regression for MP Systems. - Vincenzo Manca; Luca Marchetti (Int. J. Found. Comput. Sci., 2011)

MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test. - Vincenzo Manca; Luca Marchetti; Roberto Pagliarini (Int. J. Nat. Comput. Res., 2011)

Algorithmic Models of Biochemical Dynamics: MP Grammars Synthetizing Complex Oscillators. - Vincenzo Manca (Int. J. Nanotechnol. Mol. Comput., 2011)

Algorithmic applications of XPCR. - Giuditta Franco; Vincenzo Manca (Nat. Comput., 2011)

Application of the MP Theory to Systems Biology. - Vincenzo Manca; Luca Marchetti (BIOSIGNALS, 2012)

A genetic approach for synthesizing metabolic models from time series. - Alberto Castellini; Vincenzo Manca; Mauro Zucchelli; Mirko Busato (GECCO (Companion), 2012)

Towards an Evolutionary Procedure for Reverse-Engineering Biological Networks. - Alberto Castellini; Vincenzo Manca; Mauro Zucchelli (ICARIS, 2012)

An Outline of MP Modeling Framework. - Vincenzo Manca (Int. Conf. on Membrane Computing, 2012)

An Analysis of Correlative and Static Causality in P Systems. - Roberto Pagliarini; Oana Agrigoroaiei; Gabriel Ciobanu; Vincenzo Manca (Int. Conf. on Membrane Computing, 2012)

Solving dynamical inverse problems by means of Metabolic P systems. - Vincenzo Manca; Luca Marchetti (Biosyst., 2012)

An algebraic formulation of inverse problems in MP dynamics. - Vincenzo Manca; Luca Marchetti (Int. J. Comput. Math., 2013)

On the inference of deterministic chaos: Evolutionary algorithm and metabolic P system approaches. - Luca Marchetti; Vincenzo Manca; Ivan Zelinka (IEEE Congress on Evolutionary Computation, 2014)

Towards an MP Model for B Lymphocytes Maturation. - Alberto Castellini; Giuditta Franco; Vincenzo Manca; Riccardo Ortolani; Antonio Vella (UCNC, 2014)

Modeling time-dependent transcription effects of HER2 oncogene and discovery of a role for E2F2 in breast cancer cell-matrix adhesion. - Aliccia Bollig-Fischer; Luca Marchetti; Cristina Mitrea; Jiusheng Wu; Adéle Kruger; Vincenzo Manca; Sorin Draghici (Bioinform., 2014)

Morphogenesis through moving membranes. - Vincenzo Manca; Giovanni Pardini (Nat. Comput., 2014)

A Brief Philosophical Note on Information. - Vincenzo Manca (BIRS-IMLKE, 2015)

Automatic Translation of MP ^+ V Systems to Register Machines. - Ricardo Henrique Gracini Guiraldelli; Vincenzo Manca (Int. Conf. on Membrane Computing, 2015)

Information Theory in Genome Analysis. - Vincenzo Manca (Int. Conf. on Membrane Computing, 2015)

MP-GeneticSynth: inferring biological network regulations from time series. - Alberto Castellini; Daniele Paltrinieri; Vincenzo Manca (Bioinform., 2015)

MpTheory Java library: a multi-platform Java library for systems biology based on the Metabolic P theory. - Luca Marchetti; Vincenzo Manca (Bioinform., 2015)

The Computational Universality of Metabolic Computing. - Ricardo Henrique Gracini Guiraldelli; Vincenzo Manca (CoRR, 2015)

An evolutionary procedure for inferring MP systems regulation functions of biological networks. - Alberto Castellini; Vincenzo Manca; Mauro Zucchelli (Nat. Comput., 2015)

Grammars for Discrete Dynamics. - Vincenzo Manca (Machine Learning for Health Informatics, 2016)

The principles of informational genomics. - Vincenzo Manca (Theor. Comput. Sci., 2017)

A Note on the Entropy of Computation. - Vincenzo Manca (Enjoying Natural Computing, 2018)

An Informational Test for Random Finite Strings. - Vincenzo Bonnici; Vincenzo Manca (Entropy, 2018)

Decoding Genomic Information. - Giuditta Franco; Vincenzo Manca (Computational Matter, 2018)

Metabolic computing. - Vincenzo Manca (J. Membr. Comput., 2019)

From biopolymer duplication to membrane duplication and beyond. - Vincenzo Manca (J. Membr. Comput., 2019)

A word recurrence based algorithm to extract genomic dictionaries. - Vincenzo Bonnici; Giuditta Franco; Vincenzo Manca (CoRR, 2020)

Spectral concepts in genome informational analysis. - Vincenzo Bonnici; Giuditta Franco; Vincenzo Manca (Theor. Comput. Sci., 2021)

Emergence of random selections in evolution of biological populations. - Giuditta Franco; Vincenzo Manca; Marco Andreolli; Silvia Lampis (Theor. Comput. Sci., 2021)

Explaining DNA structure. - Vincenzo Manca; Giuseppe Scollo (Theor. Comput. Sci., 2021)

Infogenomics - The Informational Analysis of Genomes - Vincenzo Manca; Vincenzo Bonnici (Springer, 2023)

The Archimedean Origin of Modern Positional Number Systems. - Vincenzo Manca (Algorithms, 2024)

Agile Logical Semantics for Natural Languages. - Vincenzo Manca (Inf., 2024)

Artificial Neural Network Learning, Attention, and Memory. - Vincenzo Manca (Inf., 2024)