| 2008 |
|---|
| 44 | EE | Alberto Castellini,
Vincenzo Manca:
MetaPlab: A Computational Framework for Metabolic P Systems.
Workshop on Membrane Computing 2008: 157-168 |
| 43 | EE | Vincenzo Manca:
Enumerating Membrane Structures.
Workshop on Membrane Computing 2008: 292-298 |
| 42 | EE | Vincenzo Manca,
Roberto Pagliarini,
Simone Zorzan:
Toward an MP Model of Non-Photochemical Quenching.
Workshop on Membrane Computing 2008: 299-310 |
| 41 | EE | Giuseppe Scollo,
Giuditta Franco,
Vincenzo Manca:
Relational state transition dynamics.
J. Log. Algebr. Program. 76(1): 130-144 (2008) |
| 40 | EE | Vincenzo Manca:
The metabolic algorithm for P systems: Principles and applications.
Theor. Comput. Sci. 404(1-2): 142-155 (2008) |
| 2007 |
|---|
| 39 | EE | Vincenzo Manca:
Discrete Simulations of Biochemical Dynamics.
DNA 2007: 231-235 |
| 38 | EE | 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 |
| 37 | EE | Alberto Castellini,
Vincenzo Manca,
Luca Marchetti:
MP Systems and Hybrid Petri Nets.
NICSO 2007: 53-62 |
| 36 | EE | Federico Fontana,
Vincenzo Manca:
Discrete solutions to differential equations by metabolic P systems.
Theor. Comput. Sci. 372(2-3): 165-182 (2007) |
| 2006 |
|---|
| 35 | EE | Giuseppe Scollo,
Giuditta Franco,
Vincenzo Manca:
A Relational View of Recurrence and Attractors in State Transition Dynamics.
RelMiCS 2006: 358-372 |
| 34 | EE | Giuditta Franco,
Pietro Hiram Guzzi,
Vincenzo Manca,
Tommaso Mazza:
Mitotic Oscillators as MP Graphs.
Workshop on Membrane Computing 2006: 382-394 |
| 33 | EE | Vincenzo Manca:
MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations.
Workshop on Membrane Computing 2006: 86-99 |
| 32 | EE | Luca Bianco,
Federico Fontana,
Giuditta Franco,
Vincenzo Manca:
P Systems for Biological Dynamics.
Applications of Membrane Computing 2006: 83-128 |
| 31 | EE | Luca Bianco,
Vincenzo Manca:
Symbolic generation and representation of complex oscillations.
Int. J. Comput. Math. 83(7): 549-568 (2006) |
| 30 | EE | Luca Bianco,
Federico Fontana,
Vincenzo Manca:
P systems with reaction maps.
Int. J. Found. Comput. Sci. 17(1): 27-48 (2006) |
| 29 | EE | 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) |
| 28 | EE | Paolo Bottoni,
Anna Labella,
Vincenzo Manca,
Victor Mitrana:
Superposition Based on Watson-Crick-Like Complementarity.
Theory Comput. Syst. 39(4): 503-524 (2006) |
| 2005 |
|---|
| 27 | EE | Federico Fontana,
Luca Bianco,
Vincenzo Manca:
A symbolic approach to the simulation of biochemical models: application to circadian rhythms.
CSB Workshops 2005: 168-169 |
| 26 | EE | Giuditta Franco,
Vincenzo Manca,
Cinzia Giagulli,
Carlo Laudanna:
DNA Recombination by XPCR.
DNA 2005: 55-66 |
| 25 | EE | Luca Bianco,
Federico Fontana,
Vincenzo Manca:
Reaction-Driven Membrane Systems.
ICNC (2) 2005: 1155-1158 |
| 24 | EE | Luca Bianco,
Vincenzo Manca,
Simone Zorzan:
Symbolic Representations of Biological Oscillations.
SYNASC 2005: 407-414 |
| 23 | EE | Luca Bianco,
Vincenzo Manca:
Encoding-Decoding Transitional Systems for Classes of P Systems.
Workshop on Membrane Computing 2005: 134-143 |
| 22 | EE | Federico Fontana,
Luca Bianco,
Vincenzo Manca:
P Systems and the Modeling of Biochemical Oscillations.
Workshop on Membrane Computing 2005: 199-208 |
| 21 | EE | Vincenzo Manca:
On the Logic and Geometry of Bilinear Forms.
Fundam. Inform. 64(1-4): 261-273 (2005) |
| 20 | EE | Francesco Bernardini,
Marian Gheorghe,
Vincenzo Manca:
On P Systems and Almost Periodicity.
Fundam. Inform. 64(1-4): 29-42 (2005) |
| 19 | EE | Giuditta Franco,
Vincenzo Manca:
An algorithmic analysis of DNA structure.
Soft Comput. 9(10): 761-768 (2005) |
| 2004 |
|---|
| 18 | EE | Vincenzo Manca:
A Proof of Regularity for Finite Splicing.
Aspects of Molecular Computing 2004: 309-317 |
| 17 | EE | Giuditta Franco,
Cinzia Giagulli,
Carlo Laudanna,
Vincenzo Manca:
DNA Extraction by XPCR.
DNA 2004: 104-112 |
| 16 | EE | Vincenzo Manca,
Luca Bianco,
Federico Fontana:
Evolution and Oscillation in P Systems: Applications to Biological Phenomena.
Workshop on Membrane Computing 2004: 63-84 |
| 2003 |
|---|
| 15 | EE | Giuditta Franco,
Vincenzo Manca:
A Membrane System for the Leukocyte Selective Recruitment.
Workshop on Membrane Computing 2003: 181-190 |
| 2002 |
|---|
| 14 | EE | Francesco Bernardini,
Vincenzo Manca:
P Systems with Boundary Rules.
WMC-CdeA 2002: 107-118 |
| 13 | | Vincenzo Manca:
DNA and Membrane Algorithms for SAT.
Fundam. Inform. 49(1-3): 205-221 (2002) |
| 2001 |
|---|
| 12 | EE | Vincenzo Manca,
Claudio Zandron:
A Clause String DNA Algorithm for SAT.
DNA 2001: 172-181 |
| 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 | EE | 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) |
