Nicoletta COCCO

Position
Retired/Resigned Professor
E-mail
cocco@unive.it
Scientific sector (SSD)
INFORMATICA [INF/01]
Website
www.unive.it/people/cocco (personal record)

Publications

Year Type Publication
Year Type Publication
2021 Journal Article 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 - ARCA card: 10278/3736249
2018 Journal Article 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 - ARCA card: 10278/3700974
2015 Article in Conference Proceedings 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 - ARCA card: 10278/3659813
2013 Book Article 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 - ARCA card: 10278/37943
2013 Article in Conference Proceedings 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 - ARCA card: 10278/39593
2013 Article in Conference Proceedings 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 - ARCA card: 10278/38121
2012 Article in Conference Proceedings 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)
- ARCA card: 10278/36199
2011 Journal Article A. BOSSI; COCCO N. A Valuable Experience in Computational Logic in INTELLIGENZA ARTIFICIALE, vol. 5, pp. 95-99 (ISSN 1724-8035)
- ARCA card: 10278/22005
2011 Article in Conference Proceedings 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 - ARCA card: 10278/23620
2010 Journal Article 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 - ARCA card: 10278/23014
2004 Book Article 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 - ARCA card: 10278/31212
2002 Journal Article 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)
- ARCA card: 10278/12586
2002 Book Article 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 - ARCA card: 10278/27358
2001 Article in Conference Proceedings 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 - ARCA card: 10278/16050
2000 Journal Article 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)
- ARCA card: 10278/12587
1999 Journal Article 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)
- ARCA card: 10278/12241
1999 Article in Conference Proceedings 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 - ARCA card: 10278/31956
1998 Article in Conference Proceedings 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 - ARCA card: 10278/31221
1996 Journal Article 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)
- ARCA card: 10278/12592
1994 Journal Article 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)
- ARCA card: 10278/12588
1994 Article in Conference Proceedings 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)
- ARCA card: 10278/32475
1993 Journal Article 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)
- ARCA card: 10278/12242
1992 Article in Conference Proceedings 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 - ARCA card: 10278/31652
1992 Article in Conference Proceedings 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 - ARCA card: 10278/5412
1991 Article in Conference Proceedings 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 - ARCA card: 10278/33073
1990 Journal Article 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)
- ARCA card: 10278/12243
1985 Journal Article 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)
- ARCA card: 10278/12244
1983 Journal Article 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)
- ARCA card: 10278/12245
1982 Journal Article COCCO N.; S. DULLI A Mechanism for Exception Handlingand its Verification Rules in COMPUTER LANGUAGES, vol. 7, pp. 89-102 (ISSN 0096-0551)
- ARCA card: 10278/12246

List of selected publications