Vincenzo Manca

Inf., July, 2024

Agile Logical Semantics for Natural Languages.

[BibT_eX]

[DOI]

Inf., 2024

The Archimedean Origin of Modern Positional Number Systems.

[BibT_eX]

[DOI]

Algorithms, 2024

2023

Infogenomics - The Informational Analysis of Genomes

[BibT_eX]

[DOI]

48, Springer, ISBN: 978-3-031-44500-2, 2023

2021

Explaining DNA structure.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

Emergence of random selections in evolution of biological populations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

Spectral concepts in genome informational analysis.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

2020

A word recurrence based algorithm to extract genomic dictionaries.

[BibT_eX]

[DOI]

CoRR, 2020

2019

From biopolymer duplication to membrane duplication and beyond.

[BibT_eX]

[DOI]

J. Membr. Comput., 2019

Metabolic computing.

[BibT_eX]

[DOI]

J. Membr. Comput., 2019

2018

Decoding Genomic Information.

[BibT_eX]

[DOI]

Proceedings of the Computational Matter, 2018

An Informational Test for Random Finite Strings.

[BibT_eX]

[DOI]

Entropy, 2018

A Note on the Entropy of Computation.

[BibT_eX]

[DOI]

Proceedings of the Enjoying Natural Computing, 2018

2017

The principles of informational genomics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

2016

Grammars for Discrete Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning for Health Informatics, 2016

2015

An evolutionary procedure for inferring MP systems regulation functions of biological networks.

[BibT_eX]

[DOI]

Ricardo Henrique Gracini Guiraldelli

Mauro Zucchelli

Nat. Comput., 2015

The Computational Universality of Metabolic Computing.

[BibT_eX]

[DOI]

CoRR, 2015

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

[BibT_eX]

[DOI]

Bioinform., 2015

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

[BibT_eX]

[DOI]

Daniele Paltrinieri

Bioinform., 2015

Information Theory in Genome Analysis.

[BibT_eX]

[DOI]

Ricardo Henrique Gracini Guiraldelli

Proceedings of the Membrane Computing, 2015

Automatic Translation of MP ^+ V Systems to Register Machines.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2015

A Brief Philosophical Note on Information.

[BibT_eX]

[DOI]

Proceedings of the Towards Integrative Machine Learning and Knowledge Extraction, 2015

2014

Morphogenesis through moving membranes.

[BibT_eX]

[DOI]

Giovanni Pardini

Nat. Comput., 2014

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

[BibT_eX]

[DOI]

Aliccia Bollig-Fischer

Bioinform., 2014

Towards an MP Model for B Lymphocytes Maturation.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2014

On the inference of deterministic chaos: Evolutionary algorithm and metabolic P system approaches.

[BibT_eX]

[DOI]

Ivan Zelinka

Proceedings of the IEEE Congress on Evolutionary Computation, 2014

2013

An algebraic formulation of inverse problems in MP dynamics.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2013

2012

Solving dynamical inverse problems by means of Metabolic P systems.

[BibT_eX]

[DOI]

Biosyst., 2012

An Analysis of Correlative and Static Causality in P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2012

An Outline of MP Modeling Framework.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2012

Towards an Evolutionary Procedure for Reverse-Engineering Biological Networks.

[BibT_eX]

[DOI]

Mauro Zucchelli

Proceedings of the Artificial Immune Systems - 11th International Conference, 2012

A genetic approach for synthesizing metabolic models from time series.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Application of the MP Theory to Systems Biology.

[BibT_eX]

Proceedings of the BIOSIGNALS 2012, 2012

2011

Algorithmic applications of XPCR.

[BibT_eX]

[DOI]

Nat. Comput., 2011

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

[BibT_eX]

[DOI]

Int. J. Nanotechnol. Mol. Comput., 2011

MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test.

[BibT_eX]

[DOI]

Int. J. Nat. Comput. Res., 2011

Log-Gain stoichiometric Stepwise Regression for MP Systems.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2011

On Synthesizing Replicating Metabolic Systems.

[BibT_eX]

[DOI]

ERCIM News, 2011

A Methodology Based on MP Theory for Gene Expression Analysis.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2011

Computing with Multi-membranes.

[BibT_eX]

[DOI]

Rosario Lombardo

Proceedings of the Membrane Computing, 2011

Arithmetical Metabolic P Systems.

[BibT_eX]

[DOI]

Rosario Lombardo

Proceedings of the Foundations on Natural and Artificial Computation, 2011

A Recurrent Enumeration of Free Hypermultisets.

[BibT_eX]

[DOI]

Proceedings of the Computation, 2011

2010

Metabolic P systems.

[BibT_eX]

[DOI]

Scholarpedia, 2010

Deterministic and stochastic P systems for modelling cellular processes.

[BibT_eX]

[DOI]

Marian Gheorghe

Francisco José Romero-Campero

Nat. Comput., 2010

Hybrid Functional Petri Nets as MP systems.

[BibT_eX]

[DOI]

Nat. Comput., 2010

Metabolic approximation of real periodical functions.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

2009

A photosynthetic process modelled by a metabolic P system.

[BibT_eX]

[DOI]

Simone Zorzan

Nat. Comput., 2009

An Algorithm for Initial Fluxes of Metabolic P Systems.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2009

From P to MP Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 10th International Workshop, 2009

Regulation and Covering Problems in MP Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 10th International Workshop, 2009

Metabolic P System Flux Regulation by Artificial Neural Networks.

[BibT_eX]

[DOI]

Yasuhiro Suzuki

Proceedings of the Membrane Computing, 10th International Workshop, 2009

Recombination Patterns for Natural Syntax.

[BibT_eX]

[DOI]

María Dolores Jiménez-López

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.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

XML Representation of Metabolic P Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Log-gain Principles for Metabolic P Systems.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Bioprocesses, 2009

2008

The metabolic algorithm for P systems: Principles and applications.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Relational state transition dynamics.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2008

Biological networks in metabolic P systems.

[BibT_eX]

[DOI]

Biosyst., 2008

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

[BibT_eX]

[DOI]

Biosyst., 2008

Toward an MP Model of Non-Photochemical Quenching.

[BibT_eX]

[DOI]

Simone Zorzan

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

Enumerating Membrane Structures.

[BibT_eX]

[DOI]

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

MetaPlab: A Computational Framework for Metabolic P Systems.

[BibT_eX]

[DOI]

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

2007

MP Systems and Hybrid Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Nature Inspired Cooperative Strategies for Optimization (NICSO 2007), 2007

Discrete solutions to differential equations by metabolic P systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Toward a Representation of Hybrid Functional Petri Nets by MP Systems.

[BibT_eX]

[DOI]

Proceedings of the Natural Computing, 2007

Discrete Simulations of Biochemical Dynamics.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 13th International Meeting on DNA Computing, 2007

Psim: a simulator for biomolecular dynamics based on P systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006

Iterated sequential transducers as language generating devices.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Superposition Based on Watson-Crick-Like Complementarity.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2006

P systems with reaction maps.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2006

Symbolic generation and representation of complex oscillations.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2006

P Systems for Biological Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Applications of Membrane Computing, 2006

MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 7th International Workshop, 2006

Mitotic Oscillators as MP Graphs.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 7th International Workshop, 2006

A Relational View of Recurrence and Attractors in State Transition Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

An algorithmic analysis of DNA structure.

[BibT_eX]

[DOI]

Soft Comput., 2005

On the Logic and Geometry of Bilinear Forms.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

On P Systems and Almost Periodicity.

[BibT_eX]

[DOI]

Francesco Bernardini

Marian Gheorghe

Fundam. Informaticae, 2005

Symbolic Representations of Biological Oscillations.

[BibT_eX]

[DOI]

Simone Zorzan

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.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 6th International Workshop, 2005

Encoding-Decoding Transitional Systems for Classes of P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 6th International Workshop, 2005

Reaction-Driven Membrane Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Natural Computation, First International Conference, 2005

DNA Recombination by XPCR.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 5th International Workshop, 2004

DNA Extraction by XPCR.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

A Proof of Regularity for Finite Splicing.

[BibT_eX]

[DOI]

Proceedings of the Aspects of Molecular Computing, 2004

2003

A Membrane System for the Leukocyte Selective Recruitment.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, International Workshop, 2003

2002

DNA and Membrane Algorithms for SAT.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

P Systems with Boundary Rules.

[BibT_eX]

[DOI]

Francesco Bernardini

Proceedings of the Membrane Computing, International Workshop, 2002

2001

Logical string rewriting.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

On the Power of P Systems with Replicated Rewriting.

[BibT_eX]

[DOI]

Carlos Martín-Vide

Gheorghe Paun

J. Autom. Lang. Comb., 2001

A Clause String DNA Algorithm for SAT.

[BibT_eX]

[DOI]

Claudio Zandron

Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

On some forms of splicing.

[BibT_eX]

Proceedings of the Where Mathematics, 2001

On the Generative Power of Iterated Transductions.

[BibT_eX]

Proceedings of the Words, Semigroups, and Transductions, 2001

2000

Splicing Normalization and Regularity.

[BibT_eX]

[DOI]

Proceedings of the Finite Versus Infinite, 2000

1999

From String Rewriting to Logical Metabolic Systems.

[BibT_eX]

Domenico Marco Martina

Proceedings of the Grammatical Models of Multi-Agent Systems, 1999

Iterated GSM Mappings: A Collapsing Hierarchy.

[BibT_eX]

Carlos Martín-Vide

Gheorghe Paun

Proceedings of the Jewels are Forever, 1999

1998

Arithmetically Controlled H Systems.

[BibT_eX]

[DOI]

Gheorghe Paun

Comput. Sci. J. Moldova, 1998

1992

Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

1990

Equational Type Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

1989

On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification).

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1986

Specification of Abstract Data Types with Experiments.

[BibT_eX]

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1984

First-order theories as many-sorted algebras.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1984

1981

Computational formalism: abstract combinatory view-point and related first order logical framework.

[BibT_eX]