Nicoletta COCCO

Qualifica
Professoressa in quiescenza
E-mail
cocco@unive.it
SSD
INFORMATICA [INF/01]
Sito web
www.unive.it/persone/cocco (scheda personale)

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
2021 Articolo su rivista Cocco, Nicoletta; Llabrés, Mercè; Reyes-Prieto, Mariana; Simeoni, Marta MetNet: A two-level approach to reconstructing and comparing metabolic networks in PLOS ONE, vol. 16, pp. e0246962 (ISSN 1932-6203)
DOI - Scheda ARCA: 10278/3736249
2018 Articolo su rivista Baldan Paolo, Bocci Martina, Brigolin Daniele, Cocco Nicoletta, Monika Heiner, Marta Simeoni Petri Nets for Modelling and Analysing Trophic Networks in FUNDAMENTA INFORMATICAE, vol. 160, pp. 27-52 (ISSN 0169-2968)
DOI - URL correlato - Scheda ARCA: 10278/3700974
2015 Articolo in Atti di convegno Baldan, Paolo; Bocci, Martina; Brigolin, Daniele; Cocco, Nicoletta; Simeoni, Marta Petri nets for modelling and analysing trophic networks , Biological Processes & Petri Nets 2015, CEUR-WS.org, vol. 1373, pp. 21-36, Convegno: BioPPN15, June 22, 2015 (ISSN 1613-0073)
- URL correlato - Scheda ARCA: 10278/3659813
2013 Articolo su libro P. Baldan; N. Cocco; F. Giummole'; M. Simeoni Comparing Metabolic Pathways through Reactions and Potential Fluxes , Transactions on Petri nets and other models of concurrency VIII, Heidelberg, Springer Berlin / Heidelberg, vol. 8100, pp. 1-23 (ISBN 9783642404641) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/37943
2013 Articolo in Atti di convegno P. Baldan; M. Bocci; N. Cocco; M. Simeoni Comparing Metabolic Pathways through Potential Fluxes: a Selective Opening Approach , CEUR Workshop Proceedings, vol. 988, CEUR-WS, vol. 988, pp. 1-15, Convegno: Biological Processes and Petri nets 2013, 24/06/ 2013 (ISSN 1613-0073)
- URL correlato - Scheda ARCA: 10278/39593
2013 Articolo in Atti di convegno P. Baldan; N. Cocco; M. Simeoni Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta , Proceedings of the Fourth International Workshop on Interactions Between Computer Science and Biology (CS2Bio'13), Elsevier, vol. 299, pp. 5-13, Convegno: 4th International Workshop on Interactions between Computer Science and Biology, 06/06/2013 (ISSN 1571-0661)
DOI - URL correlato - Scheda ARCA: 10278/38121
2012 Articolo in Atti di convegno Paolo Baldan; Nicoletta Cocco; Marta Simeoni Comparison of Metabolic Pathways by Considering Potential Fluxes , Biological Processes & Petri Nets, CEUR Workshop Proceedings, vol. 852, pp. 2-17, Convegno: 3rd International Workshop BioPPN 2012, June 2012 (ISSN 1613-0073)
- Scheda ARCA: 10278/36199
2011 Articolo su rivista A. BOSSI; COCCO N. A Valuable Experience in Computational Logic in INTELLIGENZA ARTIFICIALE, vol. 5, pp. 95-99 (ISSN 1724-8035)
- Scheda ARCA: 10278/22005
2011 Articolo in Atti di convegno Baldan P; Cocco N.; De Nes F.; Llabres Segura M.; Marin A.; Simeoni M. MPath2PN - Translating Metabolic Pathways into Petri Nets , BIOPPN-2011 International Workshop on Biological Processes & Petri Nets, CEUR Workshop Proceedings (CEUR-WS.org), vol. 724, pp. 102-116, Convegno: 2nd International Workshop on Biological Processes & Petri Nets (BioPPN2011) (ISSN 1613-0073)
- URL correlato - Scheda ARCA: 10278/23620
2010 Articolo su rivista Baldan P. ; Cocco N. ; Marin A. ; Simeoni M. Petri nets for modelling metabolic pathways: a survey in NATURAL COMPUTING, vol. 9 (4), pp. 955-989 (ISSN 1567-7818)
DOI - Scheda ARCA: 10278/23014
2004 Articolo su libro BOSSI A.; N. COCCO; S. ETALLE; S. ROSSI Declarative Semantics of Input Consuming Logic Programs , Program Development in Computational Logic, Berlin, Springer Verlag Germany, vol. 3049, pp. 90-114 (ISBN 3540221522) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/31212
2002 Articolo su rivista BOSSI A.; COCCO N; ETALLE S; ROSSI S On Modular Termination Proofs of General Logic Programs in THEORY AND PRACTICE OF LOGIC PROGRAMMING, vol. 2, pp. 263-291 (ISSN 1471-0684)
- Scheda ARCA: 10278/12586
2002 Articolo su libro BOSSI A.; COCCO N; ETALLE S. Transformation Systems and Nondeclarative Properties in KAKAS A.C.; SADRI F., Computational Logic: Logic Programming and Beyond, BERLIN, Springer-Verlag, vol. LNCS 2407, pp. 162-186 (ISBN 3540439595)
DOI - Scheda ARCA: 10278/27358
2001 Articolo in Atti di convegno BOSSI A; COCCO N; ROSSI S. Termination of Well-Typed Logic Programs , Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, NY-USA, ACM, pp. 73-81, Convegno: 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (ISBN 158113388X)
DOI - Scheda ARCA: 10278/16050
2000 Articolo su rivista BOSSI A.; COCCO N.; ETALLE S. Transformation of left terminating programs in LECTURE NOTES IN COMPUTER SCIENCE, vol. 1817, pp. 156-175 (ISSN 0302-9743)
- Scheda ARCA: 10278/12587
1999 Articolo su rivista ETALLE S; BOSSI A; COCCO N. Termination of Well-Moded Programs in JOURNAL OF LOGIC PROGRAMMING, vol. 38(2), pp. 243-257 (ISSN 0743-1066)
- Scheda ARCA: 10278/12241
1999 Articolo in Atti di convegno BOSSI A; COCCO N. Successes in Logic Programs in P. Flener, Proceedings LOPSTR'98, Berlin, Springer-Verlag, vol. LNCS 1559, pp. 219-239, Convegno: LOPSTR'98 (ISBN 3540657657)
DOI - Scheda ARCA: 10278/31956
1998 Articolo in Atti di convegno A. BOSSI; COCCO N. Programs Without Failures in N. Fuchs, Proceedings LOPSTR'97, Berlin, Springer-Verlag, vol. LNCS 1463, pp. 28-48, Convegno: LOPSTR'97 (ISBN 3540650741)
DOI - Scheda ARCA: 10278/31221
1996 Articolo su rivista BOSSI A.; N. COCCO; S. ETALLE Simultaneous Replacement in Normal Programs in JOURNAL OF LOGIC AND COMPUTATION, vol. 6(1), pp. 79-120 (ISSN 0955-792X)
- Scheda ARCA: 10278/12592
1994 Articolo su rivista BOSSI A.; N. COCCO; M. FABRIS Norms on Terms and their use in Proving Universal Termination of a Logic Program in THEORETICAL COMPUTER SCIENCE, vol. 124, pp. 297-328 (ISSN 0304-3975)
- Scheda ARCA: 10278/12588
1994 Articolo in Atti di convegno A. BOSSI; COCCO N. Preserving Universal Termination through Unfold/Fold in G. Levi and M.Rodriguez-Artalejo, Proceedings ALP'94, London - UK, Springer-Verlag, vol. LNCS 850, pp. 269-286, Convegno: ALP'94 (ISBN 3540584315)
- Scheda ARCA: 10278/32475
1993 Articolo su rivista A. BOSSI; COCCO N. Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs in JOURNAL OF LOGIC PROGRAMMING, vol. 16, pp. 47-87 (ISSN 0743-1066)
- Scheda ARCA: 10278/12242
1992 Articolo in Atti di convegno A. BOSSI; COCCO N.; S. ETALLE On Safe Folding in M. Bruynooghe and M. Wirsing, Proceedings PLILP'92, Berlin, Springer verlag, vol. LNCS 631, pp. 172-186, Convegno: PLILP'92 (ISBN 3540558446)
DOI - Scheda ARCA: 10278/31652
1992 Articolo in Atti di convegno A. BOSSI; COCCO N.; S. ETALLE Transforming Normal Programs by Replacement , Proceedings META'92, London - UK, Springer Verlag, vol. LNCS 649, pp. 265-279, Convegno: META'92 (ISBN 3540562826)
DOI - Scheda ARCA: 10278/5412
1991 Articolo in Atti di convegno A. BOSSI; COCCO N.; M. FABRIS Proving Termination of Logic Programs by Exploiting Term Properties in S. Abramsky and T. Maibaum, Proceedings CCPSD-TAPSOFT '91, Berlin, Springer Verlag, vol. LNCS 494, pp. 153-180, Convegno: CCPSD-TAPSOFT '91 (ISBN 3540539816)
DOI - Scheda ARCA: 10278/33073
1990 Articolo su rivista BOSSI A.; COCCO N.; DULLI S. A Method for Specializing Logic Programs in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 12:2, pp. 253-302 (ISSN 0164-0925)
- Scheda ARCA: 10278/12243
1985 Articolo su rivista COCCO N.; MANDRIOLI D.; MILANESE V. The Ada Task System and Real-Time Applications:an Implementation Schema in COMPUTER LANGUAGES, vol. 10:3-4, pp. 189-209 (ISSN 0096-0551)
- Scheda ARCA: 10278/12244
1983 Articolo su rivista A. BOSSI; COCCO N.; L. COLUSSI. A Divide-and-conquer Approach to General Context-free Parsing in INFORMATION PROCESSING LETTERS, vol. 16:4, pp. 203-208 (ISSN 0020-0190)
- Scheda ARCA: 10278/12245
1982 Articolo su rivista COCCO N.; S. DULLI A Mechanism for Exception Handlingand its Verification Rules in COMPUTER LANGUAGES, vol. 7, pp. 89-102 (ISSN 0096-0551)
- Scheda ARCA: 10278/12246