Vincenzo Manca Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Luca Marchetti: Solving dynamical inverse problems by means of Metabolic P systems. Biosystems 109(1): 78-86 (2012)
c43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Luca Marchetti: Application of the MP Theory to Systems Biology. BIOSIGNALS 2012: 303-308
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Castellini, Vincenzo Manca, Mauro Zucchelli, Mirko Busato: A genetic approach for synthesizing metabolic models from time series. GECCO (Companion) 2012: 1415-1416
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Castellini, Vincenzo Manca, Mauro Zucchelli: Towards an Evolutionary Procedure for Reverse-Engineering Biological Networks. ICARIS 2012: 271-285
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: An Outline of MP Modeling Framework. Int. Conf. on Membrane Computing 2012: 47-55
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Pagliarini, Oana Agrigoroaiei, Gabriel Ciobanu, Vincenzo Manca: An Analysis of Correlative and Static Causality in P Systems. Int. Conf. on Membrane Computing 2012: 323-341
2011
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuditta Franco, Vincenzo Manca: On Synthesizing Replicating Metabolic Systems. ERCIM News 2011(85): 21 (2011)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Luca Marchetti: Log-Gain stoichiometric Stepwise Regression for MP Systems. Int. J. Found. Comput. Sci. 22(1): 97-106 (2011)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Luca Marchetti, Roberto Pagliarini: MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test. IJNCR 2(3): 13-24 (2011)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuditta Franco, Vincenzo Manca: Algorithmic applications of XPCR. Natural Computing 10(2): 805-819 (2011)
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: A Recurrent Enumeration of Free Hypermultisets. Computation, Cooperation, and Life 2011: 16-23
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rosario Lombardo, Vincenzo Manca: Arithmetical Metabolic P Systems. IWINAC (1) 2011: 284-294
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Rosario Lombardo: Computing with Multi-membranes. Int. Conf. on Membrane Computing 2011: 282-299
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Marchetti, Vincenzo Manca: A Methodology Based on MP Theory for Gene Expression Analysis. Int. Conf. on Membrane Computing 2011: 300-313
2010
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Luca Marchetti: Metabolic approximation of real periodical functions. J. Log. Algebr. Program. 79(6): 363-373 (2010)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Castellini, Giuditta Franco, Vincenzo Manca: Hybrid Functional Petri Nets as MP systems. Natural Computing 9(1): 61-81 (2010)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marian Gheorghe, Vincenzo Manca, Francisco José Romero-Campero: Deterministic and stochastic P systems for modelling cellular processes. Natural Computing 9(2): 457-473 (2010)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: Metabolic P systems. Scholarpedia 5(3): 9273 (2010)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Luca Marchetti: Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems. Int. Conf. on Membrane Computing 2010: 273-284
2009
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Roberto Pagliarini, Simone Zorzan: A photosynthetic process modelled by a metabolic P system. Natural Computing 8(4): 847-864 (2009)
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Luca Marchetti: XML Representation of Metabolic P Systems. IEEE Congress on Evolutionary Computation 2009: 3103-3110
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Castellini, Vincenzo Manca: Learning regulation functions of metabolic systems by artificial neural networks. GECCO 2009: 193-200
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Maria Dolores Jiménez-López: Recombination Patterns for Natural Syntax. IWINAC (1) 2009: 315-324
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: From P to MP Systems. Workshop on Membrane Computing 2009: 74-94
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Castellini, Vincenzo Manca, Yasuhiro Suzuki: Metabolic P System Flux Regulation by Artificial Neural Networks. Workshop on Membrane Computing 2009: 196-209
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuditta Franco, Vincenzo Manca, Roberto Pagliarini: Regulation and Covering Problems in MP Systems. Workshop on Membrane Computing 2009: 242-251
2008
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Luca Bianco: Biological networks in metabolic P systems. Biosystems 91(3): 489-498 (2008)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Federico Fontana, Vincenzo Manca: Predator-prey dynamics in P systems ruled by metabolic algorithm. Biosystems 91(3): 545-557 (2008)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe Scollo, Giuditta Franco, Vincenzo Manca: Relational state transition dynamics. J. Log. Algebr. Program. 76(1): 130-144 (2008)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: The metabolic algorithm for P systems: Principles and applications. Theor. Comput. Sci. 404(1-2): 142-155 (2008)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Castellini, Vincenzo Manca: MetaPlab: A Computational Framework for Metabolic P Systems. Workshop on Membrane Computing 2008: 157-168
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: Enumerating Membrane Structures. Workshop on Membrane Computing 2008: 292-298
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Roberto Pagliarini, Simone Zorzan: Toward an MP Model of Non-Photochemical Quenching. Workshop on Membrane Computing 2008: 299-310
2007
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Federico Fontana, Vincenzo Manca: Discrete solutions to differential equations by metabolic P systems. Theor. Comput. Sci. 372(2-3): 165-182 (2007)
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Bianco, Vincenzo Manca, Luca Marchetti, Michele Petterlini: Psim: a simulator for biomolecular dynamics based on P systems. IEEE Congress on Evolutionary Computation 2007: 883-887
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: Discrete Simulations of Biochemical Dynamics. DNA 2007: 231-235
p2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Castellini, Vincenzo Manca, Luca Marchetti: MP Systems and Hybrid Petri Nets. NICSO 2007: 53-62
2006
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Bianco, Vincenzo Manca: Symbolic generation and representation of complex oscillations. Int. J. Comput. Math. 83(7): 549-568 (2006)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Bianco, Federico Fontana, Vincenzo Manca: P systems with reaction maps. Int. J. Found. Comput. Sci. 17(1): 27-48 (2006)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana: Superposition Based on Watson-Crick-Like Complementarity. Theory Comput. Syst. 39(4): 503-524 (2006)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henning Bordihn, Henning Fernau, Markus Holzer, Vincenzo Manca, Carlos Martín-Vide: Iterated sequential transducers as language generating devices. Theor. Comput. Sci. 369(1-3): 67-81 (2006)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe Scollo, Giuditta Franco, Vincenzo Manca: A Relational View of Recurrence and Attractors in State Transition Dynamics. RelMiCS 2006: 358-372
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations. Workshop on Membrane Computing 2006: 86-99
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuditta Franco, Pietro Hiram Guzzi, Vincenzo Manca, Tommaso Mazza: Mitotic Oscillators as MP Graphs. Workshop on Membrane Computing 2006: 382-394
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Bianco, Federico Fontana, Giuditta Franco, Vincenzo Manca: P Systems for Biological Dynamics. Applications of Membrane Computing 2006: 83-128
2005
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco Bernardini, Marian Gheorghe, Vincenzo Manca: On P Systems and Almost Periodicity. Fundam. Inform. 64(1-4): 29-42 (2005)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: On the Logic and Geometry of Bilinear Forms. Fundam. Inform. 64(1-4): 261-273 (2005)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuditta Franco, Vincenzo Manca: An algorithmic analysis of DNA structure. Soft Comput. 9(10): 761-768 (2005)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Federico Fontana, Luca Bianco, Vincenzo Manca: A symbolic approach to the simulation of biochemical models: application to circadian rhythms. CSB Workshops 2005: 168-169
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuditta Franco, Vincenzo Manca, Cinzia Giagulli, Carlo Laudanna: DNA Recombination by XPCR. DNA 2005: 55-66
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Bianco, Federico Fontana, Vincenzo Manca: Reaction-Driven Membrane Systems. ICNC (2) 2005: 1155-1158
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Bianco, Vincenzo Manca: Encoding-Decoding Transitional Systems for Classes of P Systems. Workshop on Membrane Computing 2005: 134-143
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Federico Fontana, Luca Bianco, Vincenzo Manca: P Systems and the Modeling of Biochemical Oscillations. Workshop on Membrane Computing 2005: 199-208
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Bianco, Vincenzo Manca, Simone Zorzan: Symbolic Representations of Biological Oscillations. SYNASC 2005: 407-414
2004
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: A Proof of Regularity for Finite Splicing. Aspects of Molecular Computing 2004: 309-317
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuditta Franco, Cinzia Giagulli, Carlo Laudanna, Vincenzo Manca: DNA Extraction by XPCR. DNA 2004: 104-112
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Luca Bianco, Federico Fontana: Evolution and Oscillation in P Systems: Applications to Biological Phenomena. Workshop on Membrane Computing 2004: 63-84
2003
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuditta Franco, Vincenzo Manca: A Membrane System for the Leukocyte Selective Recruitment. Workshop on Membrane Computing 2003: 181-190
2002
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: DNA and Membrane Algorithms for SAT. Fundam. Inform. 49(1-3): 205-221 (2002)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco Bernardini, Vincenzo Manca: P Systems with Boundary Rules. WMC-CdeA 2002: 107-118
2001
j5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Carlos Martín-Vide, Gheorghe Paun: On the Power of P Systems with Replicated Rewriting. Journal of Automata, Languages and Combinatorics 6(3): 359-374 (2001)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: Logical string rewriting. Theor. Comput. Sci. 264(1): 25-51 (2001)
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: On the Generative Power of Iterated Transductions. Words, Semigroups, and Transductions 2001: 315-327
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: On some forms of splicing. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 387-398
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Claudio Zandron: A Clause String DNA Algorithm for SAT. DNA 2001: 172-181
1999
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Carlos Martín-Vide, Gheorghe Paun: Iterated GSM Mappings: A Collapsing Hierarchy. Jewels are Forever 1999: 182-193
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Domenico Marco Martina: From String Rewriting to Logical Metabolic Systems. Grammatical Models of Multi-Agent Systems 1999: 297-315
1992
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Antonino Salibra: Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets. Theor. Comput. Sci. 94(1): 101-124 (1992)
1990
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo: Equational Type Logic. Theor. Comput. Sci. 77(1&2): 131-159 (1990)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Antonino Salibra: Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets. MFCS 1990: 423-429
1989
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo: On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). MFCS 1989: 338-349
1986
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: Specification of Abstract Data Types with Experiments. ADT 1986
1981
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Manca: Computational formalism: abstract combinatory view-point and related first order logical framework. Fundam. Inform. 4(1): 3-18 (1981)

Coauthor Index

1Oana Agrigoroaiei
[c39]
2Francesco Bernardini
[j9] [c9]
3Luca Bianco
[j18] [c24] [j13] [j12] [p1] [c19] [c17] [c16] [c15] [c14] [c11]
4Henning Bordihn
[j10]
5Paolo Bottoni
[j11]
6Mirko Busato
[c42]
7Alberto Castellini
[c42] [c41] [j22] [c32] [c29] [c27] [p2]
8Gabriel Ciobanu
[c39]
9Henning Fernau
[j10]
10Federico Fontana
[j17] [j14] [j12] [p1] [c19] [c17] [c15] [c11]
11Giuditta Franco
[j27] [j24] [j22] [c28] [j16] [c22] [c20] [p1] [j7] [c18] [c12] [c10]
12Marian Gheorghe
[j21] [j9]
13Cinzia Giagulli
[c18] [c12]
14Pietro Hiram Guzzi
[c20]
15Markus Holzer
[j10]
16Maria Dolores Jiménez-López
[c31]
17Anna Labella
[j11]
18Carlo Laudanna
[c18] [c12]
19Rosario Lombardo
[c37] [c36]
20Luca Marchetti
[j28] [c43] [j26] [j25] [c35] [j23] [c34] [c33] [c24] [p2]
21Domenico Marco Martina
[c4]
22Carlos Martín-Vide
[j10] [j5] [c5]
23Tommaso Mazza
[c20]
24Victor Mitrana
[j11]
25Roberto Pagliarini
[c39] [j25] [j19] [c28] [c25]
26Gheorghe Paun
[j5] [c5]
27Michele Petterlini
[c24]
28Francisco José Romero-Campero
[j21]
29Antonino Salibra
[j3] [j2] [c3] [c2]
30Giuseppe Scollo
[j16] [c22] [j2] [c2]
31Yasuhiro Suzuki
[c29]
32Claudio Zandron
[c6]
33Simone Zorzan
[j19] [c25] [c14]
34Mauro Zucchelli
[c42] [c41]
Last update Sun May 19 14:06:31 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page