Treffer 1 - 20 von 35 für Suche 'Cocco, Nicoletta', Suchdauer: 0,82s Treffer weiter einschränken
  1. 1
    MetNet: A two-level approach to reconstructing and comparing metabolic networks

    MetNet: A two-level approach to reconstructing and comparing metabolic networks von Cocco, Nicoletta, Llabrés, Mercè, Reyes-Prieto, Mariana, Simeoni, Marta

    Veröffentlicht in PloS one

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Petri nets for modelling metabolic pathways: a survey

    Petri nets for modelling metabolic pathways: a survey von Baldan, Paolo, Cocco, Nicoletta, Marin, Andrea, Simeoni, Marta

    Veröffentlicht in Natural computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Declarative semantics of input consuming logic programs

    Declarative semantics of input consuming logic programs von BOSSI, Annalisa, COCCO, Nicoletta, ETALLE, Sandro, ROSSI, Sabina


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Preserving universal termination through unfold/fold

    Preserving universal termination through unfold/fold von Bossi, Annalisa, Cocco, Nicoletta


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Comparing Metabolic Pathways through Reactions and Potential Fluxes

    Comparing Metabolic Pathways through Reactions and Potential Fluxes von Baldan, Paolo, Cocco, Nicoletta, Giummolè, Federica, Simeoni, Marta


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta

    Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta von Baldan, Paolo, Cocco, Nicoletta, Simeoni, Marta


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    On safe folding

    On safe folding von Bossi, Annalisa, Cocco, Nicoletta, Etalle, Sandro


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    MetNet: A two-level approach to reconstructing and comparing metabolic networks

    MetNet: A two-level approach to reconstructing and comparing metabolic networks von Cocco, Nicoletta, Llabrés, Mercè, Reyes-Prieto, Mariana, Simeoni, Marta

    Veröffentlicht in PLoS ONE

    Volltext
    Report

    Zu den Favoriten
    Gespeichert in:
  9. 9
    MetNet: A two-level approach to reconstructing and comparing metabolic networks

    MetNet: A two-level approach to reconstructing and comparing metabolic networks von Cocco, Nicoletta, Llabrés, Mercè, Reyes-Prieto, Mariana, Simeoni, Marta

    Veröffentlicht in PLoS ONE

    Volltext
    Report

    Zu den Favoriten
    Gespeichert in:
  10. 10
    MetNet: A two-level approach to reconstructing and comparing metabolic networks

    MetNet: A two-level approach to reconstructing and comparing metabolic networks von Cocco, Nicoletta, Llabrés, Mercè, Reyes-Prieto, Mariana, Simeoni, Marta

    Veröffentlicht in PLoS ONE

    Volltext
    Report

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Declarative Semantics of Input Consuming Logic Programs

    Declarative Semantics of Input Consuming Logic Programs von Bossi, Annalisa, Cocco, Nicoletta, Etalle, Sandro, Rossi, Sabina


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Transformation of left terminating programs: The reordering problem

    Transformation of left terminating programs: The reordering problem von Bossi, Annalisa, Cocco, Nicoletta, Etalle, Sandro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    On modular termination proofs of general logic programs

    On modular termination proofs of general logic programs von BOSSI, ANNALISA, COCCO, NICOLETTA, ROSSI, SABINA, ETALLE, SANDRO


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Successes in Logic Programs

    Successes in Logic Programs von Bossi, Annalisa, Cocco, Nicoletta


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Transforming normal programs by replacement

    Transforming normal programs by replacement von Bossi, Annalisa, Cocco, Nicoletta, Etalle, Sandro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Transformation of Left Terminating Programs

    Transformation of Left Terminating Programs von Bossi, Annalisa, Cocco, Nicoletta, Etalle, Sandro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Programs Without Failures

    Programs Without Failures von Bossi, Annalisa, Cocco, Nicoletta


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Replacement can preserve termination

    Replacement can preserve termination von Bossi, Annalisa, Cocco, Nicoletta


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Transformation Systems and Nondeclarative Properties

    Transformation Systems and Nondeclarative Properties von Bossi, Annalisa, Cocco, Nicoletta, Etalle, Sandro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Simultaneous Replacement in Normal Programs

    Simultaneous Replacement in Normal Programs von BOSSI, ANNALISA, COCCO, NICOLETTA, ETALLE, SANDRO


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: