cody.it

" Ella in realtà è più radiosa del sole e supera ogni costellazione, paragonata alla luce risulta più luminosa "

Pietro Codara


DIPARTIMENTO DI INFORMATICA
(former DIPARTIMENTO DI INFORMATICA E COMUNICAZIONE)
UNIVERSITÀ DEGLI STUDI DI MILANO
VIA COMELICO, 39 - 20135 MILANO - ITALY

 

  • RESEARCH INTERESTS

  • Combinatorics, ordered structures, many-valued logics, categorical dualities, probability of non-classical events, reasoning under uncertainty, treatment of vague information, applications of fuzzy logic, rough set theory

     

  • PUBLIC PROFILES

  • [AIR] [Scholar] [ResearcherID] [Orcid] [dblp] [ResearchGate] [MSAc] [ACM]

     

  • RESEARCH PROJECTS

  • 2013-2015 Logical methods of information management, MIUR PRIN 2010-2011, 2010FP79LR [Link]
    Role: Member
    Research unit: Università degli Studi di Milano
    Coordinator: Antonio Di Nola, Università degli Studi di Salerno


    2012-2014 MaToMUVI: Mathematical Tools for Managing Uncertain and Vague Information, FP7-PEOPLE-2009-IRSES [Link]
    Role: Member
    Research unit: Università degli Studi di Milano
    Coordinator: Luca Spada, Università degli Studi di Salerno


    2012-2016 Probability theory of non-classical events, FIRB - Futuro in ricerca 2010, RBFR10DGUA [Link]
    Role: Collaborator
    Research unit: Università degli Studi di Milano
    Coordinator: Vincenzo Marra, Università degli Studi di Milano


    2010-2012 Logic and algebra of uncertain information, MIUR PRIN 2008, 2008JKBJJF [Link]
    Role: Member
    Research unit: Università degli Studi di Milano
    Coordinator: Antonio Di Nola, Università degli Studi di Salerno

     

  • PUBLICATIONS - JOURNAL PAPERS

  • P. Codara, O. M. D'Antona, P. Hell: A simple combinatorial interpretation of certain generalized Bell and Stirling numbers. Discrete Mathematics 318, pp. 53-57, ISSN 0012-365X, DOI 10.1016/j.disc.2013.11.010. Elsevier (2014) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic. Fuzzy Sets and Systems, ISSN 0165-0114, DOI 10.1016/j.fss.2013.11.004. Elsevier (2013). In Press [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona: Independent subsets of powers of paths, and Fibonacci cubes. Electronic Notes in Discrete Mathematics 40, pp. 65-69, ISSN 1571-0653, DOI 10.1016/j.endm.2013.05.013. Elsevier (2013) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: Valuations in Gödel Logic, and the Euler Characteristic. Journal of Multiple-Valued Logic and Soft Computing 19 (1-3), pp. 71-84, ISSN 1542-3980. Old City Publishing (2012) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: An Analysis of Ruspini Partitions in Gödel Logic. International Journal of Approximate Reasoning 50(6), pp. 825-836, ISSN 0888-613X, DOI 10.1016/j.ijar.2009.02.007. Elsevier (2009) [Preprint] [Publisher] [AIR] [Scopus]

     

  • PUBLICATIONS - PAPERS IN COLLECTIONS AND BOOK CHAPTERS

  • P. Codara: Partitions of a Finite Partially Ordered Set. In: From Combinatorics to Philosophy: The Legacy of G.-C. Rota, pp. 45-59, ISBN 9780387887524, DOI 10.1007/978-0-387-88753-1_4. Springer US, New York (2009) [Preprint] [Publisher] [AIR]

     

  • PUBLICATIONS - INTERNATIONAL CONFERENCE PROCEEDINGS

  • P. Codara: On the Structure of Indiscernibility Relations Compatible with a Partially Ordered Set. In: L. Rutkowski et al. (eds.) ICAISC 2012, Part II, Lecture Notes in Computer Science (LNAI), vol. 7268, pp. 47-55, ISSN 0302-9743, ISBN 9783642293498, DOI 10.1007/978-3-642-29350-4_6. Springer, Heidelberg (2012) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara: Indiscernibility Relations on Partially Ordered Sets. IEEE International Conference on Granular Computing (GrC) 2011, pp. 150-155, ISBN 9781457703720, DOI 10.1109/GRC.2011.6122584. (2011) [Preprint] [Publisher] [AIR] [Scopus]


    S. Bova, P. Codara, D. Maccari, V. Marra: A Logical Analysis of Mamdani-type Fuzzy Inference, II. An Experiment on the Technical Analysis of Financial Markets. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) 2010, pp. 262-269, ISSN 1098-7584, ISBN 9781424469192, DOI 10.1109/FUZZY.2010.5584834. (2010) [Preprint] [Publisher] [AIR] [Scopus]


    S. Bova, P. Codara, D. Maccari, V. Marra: A Logical Analysis of Mamdani-type Fuzzy Inference, I. Theoretical Bases. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) 2010, pp. 254-261, ISSN 1098-7584, ISBN 9781424469192, DOI 10.1109/FUZZY.2010.5584830. (2010) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: The Euler Characteristic of a Formula in Gödel Logic. 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL) 2010, pp. 108-112, ISSN 0195-623X, ISBN 9781424467525, DOI 10.1109/ISMVL.2010.28. (2010) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: A Characterisation of Bases of Triangular Fuzzy Sets. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) 2009, pp. 604-609, ISSN 1098-7584, ISBN 9781424435968, DOI 10.1109/FUZZY.2009.5277272. (2009) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: Open Partitions and Probability Assignments in Gödel Logic. In: C. Sossai, G. Chemello (eds.) ECSQARU 2009, Lecture Notes in Computer Science (LNAI), vol. 5590, pp. 911-922, ISSN 0302-9743, ISBN 9783642029059, DOI 10.1007/978-3-642-02906-6_78. Springer, Heidelberg (2009) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: Best Approximation of Ruspini Partitions in Gödel Logic. In: K. Melloudi (ed.) ECSQARU 2007, Lecture Notes in Computer Science (LNAI), vol. 4724, pp. 161-172, ISSN 0302-9743, ISBN 9783540752554, DOI 10.1007/978-3-540-75256-1_17. Springer, Heidelberg (2007) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: Propositional Gödel Logic and Delannoy Paths. IEEE International Fuzzy Systems Conference (FUZZ-IEEE) 2007, pp. 1228-1232, ISSN 1098-7584, ISBN 9781424412099, DOI 10.1109/FUZZY.2007.4295542. (2007) [Preprint] [Publisher] [AIR] [Scopus]

     

  • PUBLICATIONS - NATIONAL CONFERENCE PROCEEDINGS

  • P. Codara, O. M. D'Antona: Investigating indipendent subsets of graphs, with Mathematica. Mathematica Italia User Group Meeting (UGM) 2013, ISBN 9788896810033. (2013) [Preprint] [AIR]


    P. Codara, O. M. D'Antona, F. Marigo, C. Monti: Making simple proofs simpler. Mathematica Italia User Group Meeting (UGM) 2013, ISBN 9788896810033. (2013) [Preprint] [AIR]


    P. Codara, O. M. D'Antona, D. Filaretti: Building bricks with bricks, with Mathematica. Mathematica Italia User Group Meeting (UGM) 2011, ISBN 9788896810026. (2011) [Preprint] [AIR]


    P. Codara: A Mathematica package to cope with partially ordered sets. Mathematica Italia User Group Meeting (UGM) 2010, ISBN 9788896810002. (2010) [Preprint] [AIR]


    P. Codara, O. M. D'Antona, E. Munarini: Mathematica sa fare le somme?. Mathematica Italia User Group Meeting (UGM) 2010, ISBN 9788896810002, Italian. (2010) [Preprint] [AIR]

     

  • THESIS AND OTHER WORKS

  • P. Codara, O. M. D'Antona, V. Marra: The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic. arXiv:1210.8302 [cs.LO], 2012. [Preprint] [Publisher]


    P. Codara, O. M. D'Antona: On the independent subsets of powers of paths and cycles. arXiv:1210.5561 [cs.DM], 2012. [Preprint] [Publisher]


    P. Codara: A theory of partitions of partially ordered sets. Ph.D. Thesis, Università degli Studi di Milano, 2004. [pdf] [AIR]


    P. Codara: Enumerazione di morfismi tra classi di MV insiemi. Internal Report 02-04, Dipartimento di Informatica e Comunicazione, Università degli Studi di Milano, 2004. [pdf]


    P. Codara: Un ambiente di programmazione simbolica per lo studio di MV insiemi. Computer Science Degree Thesis, Università degli Studi di Milano, 2004. [pdf]

     

  • TRANSLATION OF BOOKS

  • A. Silberschatz, P. B. Galvin, G. Gagne: Sistemi Operativi. Concetti ed esempi. 9th Italian edition. Pearson Italia (2014). In press


    A. S. Tanenbaum, T. Austin: Architettura dei calcolatori. Un approccio strutturale. 6th Italian edition, ISBN 9788871929620. Pearson Italia (2013) [Link] [AIR]


    W. Stallings: Architettura e organizzazione dei calcolatori. Progetto e prestazioni. 8th Italian edition, ISBN 9788871925974. Pearson Education Italia (2010) [Link] [AIR]


    A. Silberschatz, P. B. Galvin, G. Gagne: Sistemi Operativi. Concetti ed esempi. 8th Italian edition, ISBN 9788871925691. Pearson Education Italia (2009) [Link] [AIR]

     

  • PUBLICATIONS - IN PREPARATION

  • P. Codara, Rough partially ordered sets.


    P. Codara, Forcing consistency of multicriteria decision tables.


    P. Codara, O. M. D'Antona, et al., A graph-theoretical model for some generalizations of Bell and Stirling numbers.


    P. Codara, O. M. D'Antona, Lattices of stable partitions of some families of graphs.


    P. Codara, O. M. D'Antona, From Sets To Functions: Yet Another Elementary Example.


    P. Codara, D. Valota, et al., Valuations in Nilpotent Minimum Logic.


    P. Codara, et al., Regular Sublattices of a Finite Distributive Lattice.


    P. Codara, et al., Enumeration of Partitions of Partially Ordered Sets.

     

  • TALKS IN CONFERENCES/SEMINARS

  • Investigating indipendent subsets of graphs, with Mathematica, Mathematica UGM 2013, Bologna, Italy, 2013. [Abstract] [Slides] [Link]


    On Valuations in Gödel and Nilpotent Minimum Logics, World Congress and School on Universal Logic (UNILOG) 2013, Rio de Janeiro, Brazil, 2013 [Abstract] [Slides] [Link] [AIR]


    Euler Characteristic in Gödel and Nilpotent Minimum Logics, Seminário Lógica, Conjuntos e Topologia, Instituto de Matemática, Universidade Federal da Bahia, Salvador, Bahia, Brazil, 2013. [Abstract] [Slides]


    The independent subsets of powers of paths and cycles, Combinatorics 2012, Perugia, Italy, 2012. [Abstract] [Slides] [Link] [AIR]


    On the Structure of Indiscernibility Relations Compatible with a Partially Ordered Set, International Conference on Artificial Intelligence and Soft Computing (ICAISC) 2012, Zakopane, Poland, 2012. [Poster] [Example] [Link]


    Indiscernibility Relations on Partially Ordered Sets, IEEE International Conference on Granular Computing (GrC) 2011, Kaohsiung, Taiwan, R.O.C., 2011. [Slides] [Link]


    Building bricks with bricks, with Mathematica, Mathematica UGM 2011, Turin, Italy, 2011. [Abstract] [Link]


    A Mathematica package to cope with partially ordered sets, Mathematica UGM 2010, Milan, Italy, 2010. [Abstract] [Slides] [Link]


    The Euler Characteristic of a formula in many-valued logic, Combinatorics 2010, Verbania, Italy, 2010. [Abstract] [Slides] [Link] [AIR]


    A Characterisation of Bases of Triangular Fuzzy Sets, IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) 2009, Jeju Island, South Korea, 2009. [Slides] [Link]


    Profinite Heyting Algebras, and Partitions of Image-Finite Posets under Open Maps, Topology, Algebra and Categories in Logic (TACL) 09, Amsterdam, Netherlands, 2009. [Abstract] [Slides] [Link] [AIR]


    Examples of Topoi, The Topos Theory Seminar, Università degli Studi di Milano, Italy, 2009. [Link]


    A Combinatorial Expansion arising from Łukasiewicz Logic, International conference on pure and applied combinatorics and its connections with Geometry, Graph Theory and Algebra (Combinatorics 2008), Costermano (VR), Italy, 2008. [Abstract] [Slides] [Link] [AIR]


    Best Approximation of Ruspini Partitions in Gödel Logic, Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), Hammamet, Tunisia, 2007. [Slides] [Link]


    Propositional Gödel Logic and Delannoy Paths, IEEE International Fuzzy Systems Conference (FUZZ-IEEE) 2007, London, UK, 2007. [Slides]


    Propositional Gödel logic, Delannoy paths and ordered partitions, Symposium Ordered Structures in Many-Valued Logic, Massa Lubrense (NA), Italy, 2006. [Abstract] [Link] [AIR]