Vincenzo Manca

Orcid: 0000-0002-1304-0277

According to our database1, Vincenzo Manca authored at least 106 papers between 1981 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Agile Logical Semantics for Natural Languages.
Inf., 2024

The Archimedean Origin of Modern Positional Number Systems.
Algorithms, 2024

2023
Infogenomics - The Informational Analysis of Genomes
48, Springer, ISBN: 978-3-031-44500-2, 2023

2021
Explaining DNA structure.
Theor. Comput. Sci., 2021

Emergence of random selections in evolution of biological populations.
Theor. Comput. Sci., 2021

Spectral concepts in genome informational analysis.
Theor. Comput. Sci., 2021

2020
A word recurrence based algorithm to extract genomic dictionaries.
CoRR, 2020

2019
From biopolymer duplication to membrane duplication and beyond.
J. Membr. Comput., 2019

Metabolic computing.
J. Membr. Comput., 2019

2018
Decoding Genomic Information.
Proceedings of the Computational Matter, 2018

An Informational Test for Random Finite Strings.
Entropy, 2018

A Note on the Entropy of Computation.
Proceedings of the Enjoying Natural Computing, 2018

2017
The principles of informational genomics.
Theor. Comput. Sci., 2017

2016
Grammars for Discrete Dynamics.
Proceedings of the Machine Learning for Health Informatics, 2016

2015
An evolutionary procedure for inferring MP systems regulation functions of biological networks.
Nat. Comput., 2015

The Computational Universality of Metabolic Computing.
CoRR, 2015

MpTheory Java library: a multi-platform Java library for systems biology based on the Metabolic P theory.
Bioinform., 2015

MP-GeneticSynth: inferring biological network regulations from time series.
Bioinform., 2015

Information Theory in Genome Analysis.
Proceedings of the Membrane Computing, 2015

Automatic Translation of MP ^+ V Systems to Register Machines.
Proceedings of the Membrane Computing, 2015

A Brief Philosophical Note on Information.
Proceedings of the Towards Integrative Machine Learning and Knowledge Extraction, 2015

2014
Morphogenesis through moving membranes.
Nat. Comput., 2014

Modeling time-dependent transcription effects of HER2 oncogene and discovery of a role for E2F2 in breast cancer cell-matrix adhesion.
Bioinform., 2014

Towards an MP Model for B Lymphocytes Maturation.
Proceedings of the Unconventional Computation and Natural Computation, 2014

On the inference of deterministic chaos: Evolutionary algorithm and metabolic P system approaches.
Proceedings of the IEEE Congress on Evolutionary Computation, 2014

2013
An algebraic formulation of inverse problems in MP dynamics.
Int. J. Comput. Math., 2013

2012
Solving dynamical inverse problems by means of Metabolic P systems.
Biosyst., 2012

An Analysis of Correlative and Static Causality in P Systems.
Proceedings of the Membrane Computing, 2012

An Outline of MP Modeling Framework.
Proceedings of the Membrane Computing, 2012

Towards an Evolutionary Procedure for Reverse-Engineering Biological Networks.
Proceedings of the Artificial Immune Systems - 11th International Conference, 2012

A genetic approach for synthesizing metabolic models from time series.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Application of the MP Theory to Systems Biology.
Proceedings of the BIOSIGNALS 2012, 2012

2011
Algorithmic applications of XPCR.
Nat. Comput., 2011

Algorithmic Models of Biochemical Dynamics: MP Grammars Synthetizing Complex Oscillators.
Int. J. Nanotechnol. Mol. Comput., 2011

MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test.
Int. J. Nat. Comput. Res., 2011

Log-Gain stoichiometric Stepwise Regression for MP Systems.
Int. J. Found. Comput. Sci., 2011

On Synthesizing Replicating Metabolic Systems.
ERCIM News, 2011

A Methodology Based on MP Theory for Gene Expression Analysis.
Proceedings of the Membrane Computing, 2011

Computing with Multi-membranes.
Proceedings of the Membrane Computing, 2011

Arithmetical Metabolic P Systems.
Proceedings of the Foundations on Natural and Artificial Computation, 2011

A Recurrent Enumeration of Free Hypermultisets.
Proceedings of the Computation, 2011

2010
Metabolic P systems.
Scholarpedia, 2010

Deterministic and stochastic P systems for modelling cellular processes.
Nat. Comput., 2010

Hybrid Functional Petri Nets as MP systems.
Nat. Comput., 2010

Metabolic approximation of real periodical functions.
J. Log. Algebraic Methods Program., 2010

Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems.
Proceedings of the Membrane Computing, 2010

2009
A photosynthetic process modelled by a metabolic P system.
Nat. Comput., 2009

An Algorithm for Initial Fluxes of Metabolic P Systems.
Int. J. Comput. Commun. Control, 2009

From P to MP Systems.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

Regulation and Covering Problems in MP Systems.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

Metabolic P System Flux Regulation by Artificial Neural Networks.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

Recombination Patterns for Natural Syntax.
Proceedings of the Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira.s Scientific Legacy, 2009

Learning regulation functions of metabolic systems by artificial neural networks.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

XML Representation of Metabolic P Systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Log-gain Principles for Metabolic P Systems.
Proceedings of the Algorithmic Bioprocesses, 2009

2008
The metabolic algorithm for P systems: Principles and applications.
Theor. Comput. Sci., 2008

Relational state transition dynamics.
J. Log. Algebraic Methods Program., 2008

Biological networks in metabolic P systems.
Biosyst., 2008

Predator-prey dynamics in P systems ruled by metabolic algorithm.
Biosyst., 2008

Toward an MP Model of Non-Photochemical Quenching.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

Enumerating Membrane Structures.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

MetaPlab: A Computational Framework for Metabolic P Systems.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

2007
MP Systems and Hybrid Petri Nets.
Proceedings of the Nature Inspired Cooperative Strategies for Optimization (NICSO 2007), 2007

Discrete solutions to differential equations by metabolic P systems.
Theor. Comput. Sci., 2007

Toward a Representation of Hybrid Functional Petri Nets by MP Systems.
Proceedings of the Natural Computing, 2007

Discrete Simulations of Biochemical Dynamics.
Proceedings of the DNA Computing, 13th International Meeting on DNA Computing, 2007

Psim: a simulator for biomolecular dynamics based on P systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006
Iterated sequential transducers as language generating devices.
Theor. Comput. Sci., 2006

Superposition Based on Watson-Crick-Like Complementarity.
Theory Comput. Syst., 2006

P systems with reaction maps.
Int. J. Found. Comput. Sci., 2006

Symbolic generation and representation of complex oscillations.
Int. J. Comput. Math., 2006

P Systems for Biological Dynamics.
Proceedings of the Applications of Membrane Computing, 2006

MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

Mitotic Oscillators as MP Graphs.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

A Relational View of Recurrence and Attractors in State Transition Dynamics.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005
An algorithmic analysis of DNA structure.
Soft Comput., 2005

On the Logic and Geometry of Bilinear Forms.
Fundam. Informaticae, 2005

On P Systems and Almost Periodicity.
Fundam. Informaticae, 2005

Symbolic Representations of Biological Oscillations.
Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

P Systems and the Modeling of Biochemical Oscillations.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

Encoding-Decoding Transitional Systems for Classes of P Systems.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

Reaction-Driven Membrane Systems.
Proceedings of the Advances in Natural Computation, First International Conference, 2005

DNA Recombination by XPCR.
Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

A symbolic approach to the simulation of biochemical models: application to circadian rhythms.
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005

2004
Evolution and Oscillation in P Systems: Applications to Biological Phenomena.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

DNA Extraction by XPCR.
Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

A Proof of Regularity for Finite Splicing.
Proceedings of the Aspects of Molecular Computing, 2004

2003
A Membrane System for the Leukocyte Selective Recruitment.
Proceedings of the Membrane Computing, International Workshop, 2003

2002
DNA and Membrane Algorithms for SAT.
Fundam. Informaticae, 2002

P Systems with Boundary Rules.
Proceedings of the Membrane Computing, International Workshop, 2002

2001
Logical string rewriting.
Theor. Comput. Sci., 2001

On the Power of P Systems with Replicated Rewriting.
J. Autom. Lang. Comb., 2001

A Clause String DNA Algorithm for SAT.
Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

On some forms of splicing.
Proceedings of the Where Mathematics, 2001

On the Generative Power of Iterated Transductions.
Proceedings of the Words, Semigroups, and Transductions, 2001

2000
Splicing Normalization and Regularity.
Proceedings of the Finite Versus Infinite, 2000

1999
From String Rewriting to Logical Metabolic Systems.
Proceedings of the Grammatical Models of Multi-Agent Systems, 1999

Iterated GSM Mappings: A Collapsing Hierarchy.
Proceedings of the Jewels are Forever, 1999

1998
Arithmetically Controlled H Systems.
Comput. Sci. J. Moldova, 1998

1992
Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets.
Theor. Comput. Sci., 1992

1990
Equational Type Logic.
Theor. Comput. Sci., 1990

Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets.
Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

1989
On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification).
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1986
Specification of Abstract Data Types with Experiments.
Proceedings of the 4st Workshop on Abstract Data Type, 1986

1984
First-order theories as many-sorted algebras.
Notre Dame J. Formal Log., 1984

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


  Loading...