Vincenzo Manca

109 papers A 1B 9Misc 1Journal 52Unranked 40
YearRankTypeTitle / Venue / Authors
2024 J jnl
Agile Logical Semantics for Natural Languages.
Inf.
Vincenzo Manca
2024 J jnl
Artificial Neural Network Learning, Attention, and Memory.
Inf.
Vincenzo Manca
2024 J jnl
On the Functional Nature of Cognitive Systems.
Inf.
Vincenzo Manca
2024 J jnl
The Archimedean Origin of Modern Positional Number Systems.
Algorithms
Vincenzo Manca
2023 — book
Infogenomics - The Informational Analysis of Genomes
Vincenzo Manca, Vincenzo Bonnici
2021 J jnl
Emergence of random selections in evolution of biological populations.
Theor. Comput. Sci.
Giuditta Franco, Vincenzo Manca, Marco Andreolli, Silvia Lampis
2021 J jnl
Explaining DNA structure.
Theor. Comput. Sci.
Vincenzo Manca, Giuseppe Scollo
2021 J jnl
Spectral concepts in genome informational analysis.
CoRR
Vincenzo Bonnici, Giuditta Franco, Vincenzo Manca
2021 J jnl
Spectral concepts in genome informational analysis.
Theor. Comput. Sci.
Vincenzo Bonnici, Giuditta Franco, Vincenzo Manca
2020 J jnl
A word recurrence based algorithm to extract genomic dictionaries.
CoRR
Vincenzo Bonnici, Giuditta Franco, Vincenzo Manca
2019 J jnl
From biopolymer duplication to membrane duplication and beyond.
J. Membr. Comput.
Vincenzo Manca
2019 J jnl
Metabolic computing.
J. Membr. Comput.
Vincenzo Manca
2018 — conf
A Note on the Entropy of Computation.
Enjoying Natural Computing
Vincenzo Manca
2018 J jnl
An Informational Test for Random Finite Strings.
Entropy
Vincenzo Bonnici, Vincenzo Manca
2018 — ch.
Decoding Genomic Information.
Computational Matter
Giuditta Franco, Vincenzo Manca
2017 J jnl
The principles of informational genomics.
Theor. Comput. Sci.
Vincenzo Manca
2016 — ch.
Grammars for Discrete Dynamics.
Machine Learning for Health Informatics
Vincenzo Manca
2015 — conf
A Brief Philosophical Note on Information.
BIRS-IMLKE
Vincenzo Manca
2015 J jnl
An evolutionary procedure for inferring MP systems regulation functions of biological networks.
Nat. Comput.
Alberto Castellini, Vincenzo Manca, Mauro Zucchelli
2015 — conf
Automatic Translation of MP ^+ V Systems to Register Machines.
Int. Conf. on Membrane Computing
Ricardo Henrique Gracini Guiraldelli, Vincenzo Manca
2015 — conf
Information Theory in Genome Analysis.
Int. Conf. on Membrane Computing
Vincenzo Manca
2015 J jnl
MP-GeneticSynth: inferring biological network regulations from time series.
Bioinform.
Alberto Castellini, Daniele Paltrinieri, Vincenzo Manca
2015 J jnl
MpTheory Java library: a multi-platform Java library for systems biology based on the Metabolic P theory.
Bioinform.
Luca Marchetti, Vincenzo Manca
2015 J jnl
The Computational Universality of Metabolic Computing.
CoRR
Ricardo Henrique Gracini Guiraldelli, Vincenzo Manca
2014 J jnl
Modeling time-dependent transcription effects of HER2 oncogene and discovery of a role for E2F2 in breast cancer cell-matrix adhesion.
Bioinform.
Aliccia Bollig-Fischer, Luca Marchetti, Cristina Mitrea, Jiusheng Wu, Adéle Kruger, Vincenzo Manca, Sorin Draghici
2014 J jnl
Morphogenesis through moving membranes.
Nat. Comput.
Vincenzo Manca, Giovanni Pardini
2014 B conf
On the inference of deterministic chaos: Evolutionary algorithm and metabolic P system approaches.
IEEE Congress on Evolutionary Computation
Luca Marchetti, Vincenzo Manca, Ivan Zelinka
2014 — conf
Towards an MP Model for B Lymphocytes Maturation.
UCNC
Alberto Castellini, Giuditta Franco, Vincenzo Manca, Riccardo Ortolani, Antonio Vella
2013 J jnl
An algebraic formulation of inverse problems in MP dynamics.
Int. J. Comput. Math.
Vincenzo Manca, Luca Marchetti
2012 — conf
A genetic approach for synthesizing metabolic models from time series.
GECCO (Companion)
Alberto Castellini, Vincenzo Manca, Mauro Zucchelli, Mirko Busato
2012 — conf
An Analysis of Correlative and Static Causality in P Systems.
Int. Conf. on Membrane Computing
Roberto Pagliarini, Oana Agrigoroaiei, Gabriel Ciobanu, Vincenzo Manca
2012 — conf
An Outline of MP Modeling Framework.
Int. Conf. on Membrane Computing
Vincenzo Manca
2012 — conf
Application of the MP Theory to Systems Biology.
BIOSIGNALS
Vincenzo Manca, Luca Marchetti
2012 J jnl
Solving dynamical inverse problems by means of Metabolic P systems.
Biosyst.
Vincenzo Manca, Luca Marchetti
2012 — conf
Towards an Evolutionary Procedure for Reverse-Engineering Biological Networks.
ICARIS
Alberto Castellini, Vincenzo Manca, Mauro Zucchelli
2011 — conf
A Methodology Based on MP Theory for Gene Expression Analysis.
Int. Conf. on Membrane Computing
Luca Marchetti, Vincenzo Manca
2011 — conf
A Recurrent Enumeration of Free Hypermultisets.
Computation, Cooperation, and Life
Vincenzo Manca
2011 J jnl
Algorithmic Models of Biochemical Dynamics: MP Grammars Synthetizing Complex Oscillators.
Int. J. Nanotechnol. Mol. Comput.
Vincenzo Manca
2011 J jnl
Algorithmic applications of XPCR.
Nat. Comput.
Giuditta Franco, Vincenzo Manca
2011 — conf
Arithmetical Metabolic P Systems.
IWINAC (1)
Rosario Lombardo, Vincenzo Manca
2011 — conf
Computing with Multi-membranes.
Int. Conf. on Membrane Computing
Vincenzo Manca, Rosario Lombardo
2011 J jnl
Log-Gain stoichiometric Stepwise Regression for MP Systems.
Int. J. Found. Comput. Sci.
Vincenzo Manca, Luca Marchetti
2011 J jnl
MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test.
Int. J. Nat. Comput. Res.
Vincenzo Manca, Luca Marchetti, Roberto Pagliarini
2011 J jnl
On Synthesizing Replicating Metabolic Systems.
ERCIM News
Giuditta Franco, Vincenzo Manca
2010 J jnl
Deterministic and stochastic P systems for modelling cellular processes.
Nat. Comput.
Marian Gheorghe, Vincenzo Manca, Francisco José Romero-Campero
2010 — conf
Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems.
Int. Conf. on Membrane Computing
Vincenzo Manca, Luca Marchetti
2010 J jnl
Hybrid Functional Petri Nets as MP systems.
Nat. Comput.
Alberto Castellini, Giuditta Franco, Vincenzo Manca
2010 J jnl
Metabolic P systems.
Scholarpedia
Vincenzo Manca
2010 J jnl
Metabolic approximation of real periodical functions.
J. Log. Algebraic Methods Program.
Vincenzo Manca, Luca Marchetti
2009 J jnl
A photosynthetic process modelled by a metabolic P system.
Nat. Comput.
Vincenzo Manca, Roberto Pagliarini, Simone Zorzan
2009 J jnl
An Algorithm for Initial Fluxes of Metabolic P Systems.
Int. J. Comput. Commun. Control
Roberto Pagliarini, Giuditta Franco, Vincenzo Manca
2009 — conf
From P to MP Systems.
Workshop on Membrane Computing
Vincenzo Manca
2009 A conf
Learning regulation functions of metabolic systems by artificial neural networks.
GECCO
Alberto Castellini, Vincenzo Manca
2009 — conf
Log-gain Principles for Metabolic P Systems.
Algorithmic Bioprocesses
Vincenzo Manca
2009 — conf
Metabolic P System Flux Regulation by Artificial Neural Networks.
Workshop on Membrane Computing
Alberto Castellini, Vincenzo Manca, Yasuhiro Suzuki
2009 — conf
Recombination Patterns for Natural Syntax.
IWINAC (1)
Vincenzo Manca, María Dolores Jiménez-López
2009 — conf
Regulation and Covering Problems in MP Systems.
Workshop on Membrane Computing
Giuditta Franco, Vincenzo Manca, Roberto Pagliarini
2009 B conf
XML Representation of Metabolic P Systems.
IEEE Congress on Evolutionary Computation
Vincenzo Manca, Luca Marchetti
2008 J jnl
Biological networks in metabolic P systems.
Biosyst.
Vincenzo Manca, Luca Bianco
2008 — conf
Enumerating Membrane Structures.
Workshop on Membrane Computing
Vincenzo Manca
2008 — conf
MetaPlab: A Computational Framework for Metabolic P Systems.
Workshop on Membrane Computing
Alberto Castellini, Vincenzo Manca
2008 J jnl
Predator-prey dynamics in P systems ruled by metabolic algorithm.
Biosyst.
Federico Fontana, Vincenzo Manca
2008 J jnl
Relational state transition dynamics.
J. Log. Algebraic Methods Program.
Giuseppe Scollo, Giuditta Franco, Vincenzo Manca
2008 J jnl
The metabolic algorithm for P systems: Principles and applications.
Theor. Comput. Sci.
Vincenzo Manca
2008 — conf
Toward an MP Model of Non-Photochemical Quenching.
Workshop on Membrane Computing
Vincenzo Manca, Roberto Pagliarini, Simone Zorzan
2007 B conf
Discrete Simulations of Biochemical Dynamics.
DNA
Vincenzo Manca
2007 J jnl
Discrete solutions to differential equations by metabolic P systems.
Theor. Comput. Sci.
Federico Fontana, Vincenzo Manca
2007 — ch.
MP Systems and Hybrid Petri Nets.
NICSO
Alberto Castellini, Vincenzo Manca, Luca Marchetti
2007 B conf
Psim: a simulator for biomolecular dynamics based on P systems.
IEEE Congress on Evolutionary Computation
Luca Bianco, Vincenzo Manca, Luca Marchetti, Michele Petterlini
2007 — conf
Toward a Representation of Hybrid Functional Petri Nets by MP Systems.
IWNC
Alberto Castellini, Giuditta Franco, Vincenzo Manca
2006 — conf
A Relational View of Recurrence and Attractors in State Transition Dynamics.
RelMiCS
Giuseppe Scollo, Giuditta Franco, Vincenzo Manca
2006 J jnl
Iterated sequential transducers as language generating devices.
Theor. Comput. Sci.
Henning Bordihn, Henning Fernau, Markus Holzer, Vincenzo Manca, Carlos Martín-Vide
2006 — conf
MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations.
Workshop on Membrane Computing
Vincenzo Manca
2006 — conf
Mitotic Oscillators as MP Graphs.
Workshop on Membrane Computing
Giuditta Franco, Pietro Hiram Guzzi, Vincenzo Manca, Tommaso Mazza
2006 — ch.
P Systems for Biological Dynamics.
Applications of Membrane Computing
Luca Bianco, Federico Fontana, Giuditta Franco, Vincenzo Manca
2006 J jnl
P systems with reaction maps.
Int. J. Found. Comput. Sci.
Luca Bianco, Federico Fontana, Vincenzo Manca
2006 J jnl
Superposition Based on Watson-Crick-Like Complementarity.
Theory Comput. Syst.
Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana
2006 J jnl
Symbolic generation and representation of complex oscillations.
Int. J. Comput. Math.
Luca Bianco, Vincenzo Manca
2005 — conf
A symbolic approach to the simulation of biochemical models: application to circadian rhythms.
CSB Workshops
Federico Fontana, Luca Bianco, Vincenzo Manca
2005 J jnl
An algorithmic analysis of DNA structure.
Soft Comput.
Giuditta Franco, Vincenzo Manca
2005 B conf
DNA Recombination by XPCR.
DNA
Giuditta Franco, Vincenzo Manca, Cinzia Giagulli, Carlo Laudanna
2005 — conf
Encoding-Decoding Transitional Systems for Classes of P Systems.
Workshop on Membrane Computing
Luca Bianco, Vincenzo Manca
2005 J jnl
On P Systems and Almost Periodicity.
Fundam. Informaticae
Francesco Bernardini, Marian Gheorghe, Vincenzo Manca
2005 J jnl
On the Logic and Geometry of Bilinear Forms.
Fundam. Informaticae
Vincenzo Manca
2005 — conf
P Systems and the Modeling of Biochemical Oscillations.
Workshop on Membrane Computing
Federico Fontana, Luca Bianco, Vincenzo Manca
2005 — conf
Reaction-Driven Membrane Systems.
ICNC (2)
Luca Bianco, Federico Fontana, Vincenzo Manca
2005 Misc conf
Symbolic Representations of Biological Oscillations.
SYNASC
Luca Bianco, Vincenzo Manca, Simone Zorzan
2004 — conf
A Proof of Regularity for Finite Splicing.
Aspects of Molecular Computing
Vincenzo Manca
2004 B conf
DNA Extraction by XPCR.
DNA
Giuditta Franco, Cinzia Giagulli, Carlo Laudanna, Vincenzo Manca
2004 — conf
Evolution and Oscillation in P Systems: Applications to Biological Phenomena.
Workshop on Membrane Computing
Vincenzo Manca, Luca Bianco, Federico Fontana
2003 — conf
A Membrane System for the Leukocyte Selective Recruitment.
Workshop on Membrane Computing
Giuditta Franco, Vincenzo Manca
2002 J jnl
DNA and Membrane Algorithms for SAT.
Fundam. Informaticae
Vincenzo Manca
2002 — conf
P Systems with Boundary Rules.
WMC-CdeA
Francesco Bernardini, Vincenzo Manca
2001 B conf
A Clause String DNA Algorithm for SAT.
DNA
Vincenzo Manca, Claudio Zandron
2001 J jnl
Logical string rewriting.
Theor. Comput. Sci.
Vincenzo Manca
2001 — conf
On some forms of splicing.
Where Mathematics, Computer Science, Linguistics and Biology Meet
Vincenzo Manca
2001 — conf
On the Generative Power of Iterated Transductions.
Words, Semigroups, and Transductions
Vincenzo Manca
2001 J jnl
On the Power of P Systems with Replicated Rewriting.
J. Autom. Lang. Comb.
Vincenzo Manca, Carlos Martín-Vide, Gheorghe Paun
2000 — ch.
Splicing Normalization and Regularity.
Finite Versus Infinite
Vincenzo Manca
1999 — conf
From String Rewriting to Logical Metabolic Systems.
Grammatical Models of Multi-Agent Systems
Vincenzo Manca, Domenico Marco Martina
1999 — conf
Iterated GSM Mappings: A Collapsing Hierarchy.
Jewels are Forever
Vincenzo Manca, Carlos Martín-Vide, Gheorghe Paun
1998 J jnl
Arithmetically Controlled H Systems.
Comput. Sci. J. Moldova
Vincenzo Manca, Gheorghe Paun
1992 J jnl
Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets.
Theor. Comput. Sci.
Vincenzo Manca, Antonino Salibra
1990 B conf
Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets.
MFCS
Vincenzo Manca, Antonino Salibra
1990 J jnl
Equational Type Logic.
Theor. Comput. Sci.
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
1989 B conf
On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification).
MFCS
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
1986 — conf
Specification of Abstract Data Types with Experiments.
ADT
Vincenzo Manca
1984 J jnl
First-order theories as many-sorted algebras.
Notre Dame J. Formal Log.
Vincenzo Manca, Antonino Salibra
1981 J jnl
Computational formalism: abstract combinatory view-point and related first order logical framework.
Fundam. Informaticae
Vincenzo Manca