The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vincenzo Manca: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Giuseppe Scollo, Giuditta Franco, Vincenzo Manca
    A Relational View of Recurrence and Attractors in State Transition Dynamics. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:358-372 [Conf]
  2. Vincenzo Manca
    Specification of Abstract Data Types with Experiments. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  3. Vincenzo Manca
    On the Generative Power of Iterated Transductions. [Citation Graph (0, 0)][DBLP]
    Words, Semigroups, and Transductions, 2001, pp:315-327 [Conf]
  4. Vincenzo Manca
    A Proof of Regularity for Finite Splicing. [Citation Graph (0, 0)][DBLP]
    Aspects of Molecular Computing, 2004, pp:309-317 [Conf]
  5. Vincenzo Manca, Carlos Martín-Vide, Gheorghe Paun
    Iterated GSM Mappings: A Collapsing Hierarchy. [Citation Graph (0, 0)][DBLP]
    Jewels are Forever, 1999, pp:182-193 [Conf]
  6. Federico Fontana, Luca Bianco, Vincenzo Manca
    A symbolic approach to the simulation of biochemical models: application to circadian rhythms. [Citation Graph (0, 0)][DBLP]
    CSB Workshops, 2005, pp:168-169 [Conf]
  7. Vincenzo Manca, Claudio Zandron
    A Clause String DNA Algorithm for SAT. [Citation Graph (0, 0)][DBLP]
    DNA, 2001, pp:172-181 [Conf]
  8. Giuditta Franco, Cinzia Giagulli, Carlo Laudanna, Vincenzo Manca
    DNA Extraction by XPCR. [Citation Graph (0, 0)][DBLP]
    DNA, 2004, pp:104-112 [Conf]
  9. Giuditta Franco, Vincenzo Manca, Cinzia Giagulli, Carlo Laudanna
    DNA Recombination by XPCR. [Citation Graph (0, 0)][DBLP]
    DNA, 2005, pp:55-66 [Conf]
  10. Vincenzo Manca, Domenico Marco Martina
    From String Rewriting to Logical Metabolic Systems. [Citation Graph (0, 0)][DBLP]
    Grammatical Models of Multi-Agent Systems, 1999, pp:297-315 [Conf]
  11. Luca Bianco, Federico Fontana, Vincenzo Manca
    Reaction-Driven Membrane Systems. [Citation Graph (0, 0)][DBLP]
    ICNC (2), 2005, pp:1155-1158 [Conf]
  12. Giuditta Franco, Pietro Hiram Guzzi, Vincenzo Manca, Tommaso Mazza
    Mitotic Oscillators as MP Graphs. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2006, pp:382-394 [Conf]
  13. Vincenzo Manca, Luca Bianco, Federico Fontana
    Evolution and Oscillation in P Systems: Applications to Biological Phenomena. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2004, pp:63-84 [Conf]
  14. Luca Bianco, Vincenzo Manca
    Encoding-Decoding Transitional Systems for Classes of P Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2005, pp:134-143 [Conf]
  15. Vincenzo Manca
    MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2006, pp:86-99 [Conf]
  16. Federico Fontana, Luca Bianco, Vincenzo Manca
    P Systems and the Modeling of Biochemical Oscillations. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2005, pp:199-208 [Conf]
  17. Giuditta Franco, Vincenzo Manca
    A Membrane System for the Leukocyte Selective Recruitment. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2003, pp:181-190 [Conf]
  18. Vincenzo Manca, Antonino Salibra
    Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1990, pp:423-429 [Conf]
  19. Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
    On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:338-349 [Conf]
  20. Francesco Bernardini, Vincenzo Manca
    P Systems with Boundary Rules. [Citation Graph (0, 0)][DBLP]
    WMC-CdeA, 2002, pp:107-118 [Conf]
  21. Luca Bianco, Vincenzo Manca, Simone Zorzan
    Symbolic Representations of Biological Oscillations. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2005, pp:407-414 [Conf]
  22. Francesco Bernardini, Marian Gheorghe, Vincenzo Manca
    On P Systems and Almost Periodicity. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:64, n:1-4, pp:29-42 [Journal]
  23. Vincenzo Manca
    DNA and Membrane Algorithms for SAT. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:49, n:1-3, pp:205-221 [Journal]
  24. Vincenzo Manca
    On the Logic and Geometry of Bilinear Forms. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:64, n:1-4, pp:261-273 [Journal]
  25. Vincenzo Manca
    Computational formalism: abstract combinatory view-point and related first order logical framework. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1981, v:4, n:1, pp:3-18 [Journal]
  26. Luca Bianco, Federico Fontana, Vincenzo Manca
    P systems with reaction maps. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:1, pp:27-48 [Journal]
  27. Vincenzo Manca, Carlos Martín-Vide, Gheorghe Paun
    On the Power of P Systems with Replicated Rewriting. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 2001, v:6, n:3, pp:359-374 [Journal]
  28. Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana
    Superposition Based on Watson-Crick-Like Complementarity. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2006, v:39, n:4, pp:503-524 [Journal]
  29. Giuditta Franco, Vincenzo Manca
    An algorithmic analysis of DNA structure. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 2005, v:9, n:10, pp:761-768 [Journal]
  30. Vincenzo Manca
    Logical string rewriting. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:264, n:1, pp:25-51 [Journal]
  31. Vincenzo Manca, Antonino Salibra
    Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:94, n:1, pp:101-124 [Journal]
  32. Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
    Equational Type Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:77, n:1&2, pp:131-159 [Journal]
  33. Henning Bordihn, Henning Fernau, Markus Holzer, Vincenzo Manca, Carlos Martín-Vide
    Iterated sequential transducers as language generating devices. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:369, n:1-3, pp:67-81 [Journal]
  34. Federico Fontana, Vincenzo Manca
    Discrete solutions to differential equations by metabolic P systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:372, n:2-3, pp:165-182 [Journal]

  35. Discrete Simulations of Biochemical Dynamics. [Citation Graph (, )][DBLP]


  36. Learning regulation functions of metabolic systems by artificial neural networks. [Citation Graph (, )][DBLP]


  37. Recombination Patterns for Natural Syntax. [Citation Graph (, )][DBLP]


  38. MetaPlab: A Computational Framework for Metabolic P Systems. [Citation Graph (, )][DBLP]


  39. Enumerating Membrane Structures. [Citation Graph (, )][DBLP]


  40. Toward an MP Model of Non-Photochemical Quenching. [Citation Graph (, )][DBLP]


  41. Metabolic P System Flux Regulation by Artificial Neural Networks. [Citation Graph (, )][DBLP]


  42. From P to MP Systems. [Citation Graph (, )][DBLP]


  43. Regulation and Covering Problems in MP Systems. [Citation Graph (, )][DBLP]


  44. Psim: a simulator for biomolecular dynamics based on P systems. [Citation Graph (, )][DBLP]


  45. XML Representation of Metabolic P Systems. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002