Vincenzo Manca

According to our database1, Vincenzo Manca authored at least 91 papers between 1981 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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.
Natural Computing, 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.
Bioinformatics, 2015

MP-GeneticSynth: inferring biological network regulations from time series.
Bioinformatics, 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.
Natural Computing, 2014

Modeling time-dependent transcription effects of HER2 oncogene and discovery of a role for E2F2 in breast cancer cell-matrix adhesion.
Bioinformatics, 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.
Biosystems, 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.
Natural Computing, 2011

Algorithmic Models of Biochemical Dynamics: MP Grammars Synthetizing Complex Oscillators.
IJNMC, 2011

MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test.
IJNCR, 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.
Natural Computing, 2010

Hybrid Functional Petri Nets as MP systems.
Natural Computing, 2010

Metabolic approximation of real periodical functions.
J. Log. Algebr. 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.
Natural Computing, 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

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

Relational state transition dynamics.
J. Log. Algebr. Program., 2008

Biological networks in metabolic P systems.
Biosystems, 2008

Predator-prey dynamics in P systems ruled by metabolic algorithm.
Biosystems, 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. Inform., 2005

On P Systems and Almost Periodicity.
Fundam. Inform., 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. Inform., 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.
Journal of Automata, Languages and Combinatorics, 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

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.
The Computer Science Journal of 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.
ADT, 1986

1984
First-order theories as many-sorted algebras.
Notre Dame Journal of Formal Logic, 1984

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


  Loading...