Vincenzo Manca

	2012
68		Vincenzo Manca, Luca Marchetti: Application of the MP Theory to Systems Biology. BIOSIGNALS 2012: 303-308
	2011
67		Vincenzo Manca: A Recurrent Enumeration of Free Hypermultisets. Computation, Cooperation, and Life 2011: 16-23
66		Rosario Lombardo, Vincenzo Manca: Arithmetical Metabolic P Systems. IWINAC (1) 2011: 284-294
65		Vincenzo Manca, Rosario Lombardo: Computing with Multi-membranes. Int. Conf. on Membrane Computing 2011: 282-299
64		Luca Marchetti, Vincenzo Manca: A Methodology Based on MP Theory for Gene Expression Analysis. Int. Conf. on Membrane Computing 2011: 300-313
63		Giuditta Franco, Vincenzo Manca: On Synthesizing Replicating Metabolic Systems. ERCIM News 2011(85): 21 (2011)
62		Vincenzo Manca, Luca Marchetti, Roberto Pagliarini: MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test. IJNCR 2(3): 13-24 (2011)
61		Vincenzo Manca, Luca Marchetti: Log-Gain stoichiometric Stepwise Regression for MP Systems. Int. J. Found. Comput. Sci. 22(1): 97-106 (2011)
60		Giuditta Franco, Vincenzo Manca: Algorithmic applications of XPCR. Natural Computing 10(2): 805-819 (2011)
	2010
59		Vincenzo Manca, Luca Marchetti: Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems. Int. Conf. on Membrane Computing 2010: 273-284
58		Vincenzo Manca, Luca Marchetti: Metabolic approximation of real periodical functions. J. Log. Algebr. Program. 79(6): 363-373 (2010)
57		Alberto Castellini, Giuditta Franco, Vincenzo Manca: Hybrid Functional Petri Nets as MP systems. Natural Computing 9(1): 61-81 (2010)
56		Marian Gheorghe, Vincenzo Manca, Francisco José Romero-Campero: Deterministic and stochastic P systems for modelling cellular processes. Natural Computing 9(2): 457-473 (2010)
55		Vincenzo Manca: Metabolic P systems. Scholarpedia 5(3): 9273 (2010)
	2009
54		Alberto Castellini, Vincenzo Manca: Learning regulation functions of metabolic systems by artificial neural networks. GECCO 2009: 193-200
53		Vincenzo Manca, Luca Marchetti: XML Representation of Metabolic P Systems. IEEE Congress on Evolutionary Computation 2009: 3103-3110
52		Vincenzo Manca, Maria Dolores Jiménez-López: Recombination Patterns for Natural Syntax. IWINAC (1) 2009: 315-324
51		Alberto Castellini, Vincenzo Manca, Yasuhiro Suzuki: Metabolic P System Flux Regulation by Artificial Neural Networks. Workshop on Membrane Computing 2009: 196-209
50		Giuditta Franco, Vincenzo Manca, Roberto Pagliarini: Regulation and Covering Problems in MP Systems. Workshop on Membrane Computing 2009: 242-251
49		Vincenzo Manca: From P to MP Systems. Workshop on Membrane Computing 2009: 74-94
48		Vincenzo Manca, Roberto Pagliarini, Simone Zorzan: A photosynthetic process modelled by a metabolic P system. Natural Computing 8(4): 847-864 (2009)
	2008
47		Alberto Castellini, Vincenzo Manca: MetaPlab: A Computational Framework for Metabolic P Systems. Workshop on Membrane Computing 2008: 157-168
46		Vincenzo Manca: Enumerating Membrane Structures. Workshop on Membrane Computing 2008: 292-298
45		Vincenzo Manca, Roberto Pagliarini, Simone Zorzan: Toward an MP Model of Non-Photochemical Quenching. Workshop on Membrane Computing 2008: 299-310
44		Vincenzo Manca, Luca Bianco: Biological networks in metabolic P systems. Biosystems 91(3): 489-498 (2008)
43		Federico Fontana, Vincenzo Manca: Predator-prey dynamics in P systems ruled by metabolic algorithm. Biosystems 91(3): 545-557 (2008)
42		Giuseppe Scollo, Giuditta Franco, Vincenzo Manca: Relational state transition dynamics. J. Log. Algebr. Program. 76(1): 130-144 (2008)
41		Vincenzo Manca: The metabolic algorithm for P systems: Principles and applications. Theor. Comput. Sci. 404(1-2): 142-155 (2008)
	2007
40		Vincenzo Manca: Discrete Simulations of Biochemical Dynamics. DNA 2007: 231-235
39		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
38		Alberto Castellini, Vincenzo Manca, Luca Marchetti: MP Systems and Hybrid Petri Nets. NICSO 2007: 53-62
37		Federico Fontana, Vincenzo Manca: Discrete solutions to differential equations by metabolic P systems. Theor. Comput. Sci. 372(2-3): 165-182 (2007)
	2006
36		Giuseppe Scollo, Giuditta Franco, Vincenzo Manca: A Relational View of Recurrence and Attractors in State Transition Dynamics. RelMiCS 2006: 358-372
35		Giuditta Franco, Pietro Hiram Guzzi, Vincenzo Manca, Tommaso Mazza: Mitotic Oscillators as MP Graphs. Workshop on Membrane Computing 2006: 382-394
34		Vincenzo Manca: MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations. Workshop on Membrane Computing 2006: 86-99
33		Luca Bianco, Federico Fontana, Giuditta Franco, Vincenzo Manca: P Systems for Biological Dynamics. Applications of Membrane Computing 2006: 83-128
32		Luca Bianco, Vincenzo Manca: Symbolic generation and representation of complex oscillations. Int. J. Comput. Math. 83(7): 549-568 (2006)
31		Luca Bianco, Federico Fontana, Vincenzo Manca: P systems with reaction maps. Int. J. Found. Comput. Sci. 17(1): 27-48 (2006)
30		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)
29		Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana: Superposition Based on Watson-Crick-Like Complementarity. Theory Comput. Syst. 39(4): 503-524 (2006)
	2005
28		Federico Fontana, Luca Bianco, Vincenzo Manca: A symbolic approach to the simulation of biochemical models: application to circadian rhythms. CSB Workshops 2005: 168-169
27		Giuditta Franco, Vincenzo Manca, Cinzia Giagulli, Carlo Laudanna: DNA Recombination by XPCR. DNA 2005: 55-66
26		Luca Bianco, Federico Fontana, Vincenzo Manca: Reaction-Driven Membrane Systems. ICNC (2) 2005: 1155-1158
25		Luca Bianco, Vincenzo Manca, Simone Zorzan: Symbolic Representations of Biological Oscillations. SYNASC 2005: 407-414
24		Luca Bianco, Vincenzo Manca: Encoding-Decoding Transitional Systems for Classes of P Systems. Workshop on Membrane Computing 2005: 134-143
23		Federico Fontana, Luca Bianco, Vincenzo Manca: P Systems and the Modeling of Biochemical Oscillations. Workshop on Membrane Computing 2005: 199-208
22		Vincenzo Manca: On the Logic and Geometry of Bilinear Forms. Fundam. Inform. 64(1-4): 261-273 (2005)
21		Francesco Bernardini, Marian Gheorghe, Vincenzo Manca: On P Systems and Almost Periodicity. Fundam. Inform. 64(1-4): 29-42 (2005)
20		Giuditta Franco, Vincenzo Manca: An algorithmic analysis of DNA structure. Soft Comput. 9(10): 761-768 (2005)
	2004
19		Vincenzo Manca: A Proof of Regularity for Finite Splicing. Aspects of Molecular Computing 2004: 309-317
18		Giuditta Franco, Cinzia Giagulli, Carlo Laudanna, Vincenzo Manca: DNA Extraction by XPCR. DNA 2004: 104-112
17		Vincenzo Manca, Luca Bianco, Federico Fontana: Evolution and Oscillation in P Systems: Applications to Biological Phenomena. Workshop on Membrane Computing 2004: 63-84
	2003
16		Giuditta Franco, Vincenzo Manca: A Membrane System for the Leukocyte Selective Recruitment. Workshop on Membrane Computing 2003: 181-190
	2002
15		Francesco Bernardini, Vincenzo Manca: P Systems with Boundary Rules. WMC-CdeA 2002: 107-118
14		Vincenzo Manca: DNA and Membrane Algorithms for SAT. Fundam. Inform. 49(1-3): 205-221 (2002)
	2001
13		Vincenzo Manca, Claudio Zandron: A Clause String DNA Algorithm for SAT. DNA 2001: 172-181
12		Vincenzo Manca: On some forms of splicing. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 387-398
11		Vincenzo Manca: On the Generative Power of Iterated Transductions. Words, Semigroups, and Transductions 2001: 315-327
10		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)
9		Vincenzo Manca: Logical string rewriting. Theor. Comput. Sci. 264(1): 25-51 (2001)
	1999
8		Vincenzo Manca, Domenico Marco Martina: From String Rewriting to Logical Metabolic Systems. Grammatical Models of Multi-Agent Systems 1999: 297-315
7		Vincenzo Manca, Carlos Martín-Vide, Gheorghe Paun: Iterated GSM Mappings: A Collapsing Hierarchy. Jewels are Forever 1999: 182-193
	1992
6		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
5		Vincenzo Manca, Antonino Salibra: Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets. MFCS 1990: 423-429
4		Vincenzo Manca, Antonino Salibra, Giuseppe Scollo: Equational Type Logic. Theor. Comput. Sci. 77(1&2): 131-159 (1990)
	1989
3		Vincenzo Manca, Antonino Salibra, Giuseppe Scollo: On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). MFCS 1989: 338-349
	1986
2		Vincenzo Manca: Specification of Abstract Data Types with Experiments. ADT 1986
	1981
1		Vincenzo Manca: Computational formalism: abstract combinatory view-point and related first order logical framework. Fundam. Inform. 4(1): 3-18 (1981)

Coauthor Index

1	Francesco Bernardini	[15] [21]
2	Luca Bianco	[17] [23] [24] [25] [26] [28] [31] [32] [33] [39] [44]
3	Henning Bordihn	[30]
4	Paolo Bottoni	[29]
5	Alberto Castellini	[38] [47] [51] [54] [57]
6	Henning Fernau	[30]
7	Federico Fontana	[17] [23] [26] [28] [31] [33] [37] [43]
8	Giuditta Franco	[16] [18] [20] [27] [33] [35] [36] [42] [50] [57] [60] [63]
9	Marian Gheorghe	[21] [56]
10	Cinzia Giagulli	[18] [27]
11	Pietro Hiram Guzzi	[35]
12	Markus Holzer	[30]
13	Maria Dolores Jiménez-López	[52]
14	Anna Labella	[29]
15	Carlo Laudanna	[18] [27]
16	Rosario Lombardo	[65] [66]
17	Luca Marchetti	[38] [39] [53] [58] [59] [61] [62] [64] [68]
18	Carlos Martín-Vide	[7] [10] [30]
19	Domenico Marco Martina	[8]
20	Tommaso Mazza	[35]
21	Victor Mitrana	[29]
22	Roberto Pagliarini	[45] [48] [50] [62]
23	Gheorghe Paun	[7] [10]
24	Michele Petterlini	[39]
25	Francisco José Romero-Campero	[56]
26	Antonino Salibra	[3] [4] [5] [6]
27	Giuseppe Scollo	[3] [4] [36] [42]
28	Yasuhiro Suzuki	[51]
29	Claudio Zandron	[13]
30	Simone Zorzan	[25] [45] [48]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page