Riccardo

Results: 632



#Item
31On Higher-Order Description Logics Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Dipartimento di Informatica e Sistemistica S APIENZA Universit`a di Roma www.dis.uniroma1.it/∼lastname

On Higher-Order Description Logics Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Dipartimento di Informatica e Sistemistica S APIENZA Universit`a di Roma www.dis.uniroma1.it/∼lastname

Add to Reading List

Source URL: ceur-ws.org

- Date: 2009-07-07 04:46:34
    32Ontologies and Databases: The DL-Lite Approach Diego Calvanese1 , Giuseppe De Giacomo2 , Domenico Lembo2 , Maurizio Lenzerini2 , Antonella Poggi2 , Mariano Rodriguez-Muro1, and Riccardo Rosati2 1

    Ontologies and Databases: The DL-Lite Approach Diego Calvanese1 , Giuseppe De Giacomo2 , Domenico Lembo2 , Maurizio Lenzerini2 , Antonella Poggi2 , Mariano Rodriguez-Muro1, and Riccardo Rosati2 1

    Add to Reading List

    Source URL: www.dis.uniroma1.it

    - Date: 2010-04-29 06:15:00
      33Automatic and Robust Client-Side Protection for Cookie-Based Sessions Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, and Wilayat Khan Universit` a Ca’ Foscari Venezia {michele,calzavara,focardi,khan}@dais.unive

      Automatic and Robust Client-Side Protection for Cookie-Based Sessions Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, and Wilayat Khan Universit` a Ca’ Foscari Venezia {michele,calzavara,focardi,khan}@dais.unive

      Add to Reading List

      Source URL: www.dais.unive.it

      - Date: 2015-10-21 08:22:43
        34Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy

        Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy

        Add to Reading List

        Source URL: www.dais.unive.it

        - Date: 2015-10-21 08:22:44
          35Mignis: a tool for declarative firewall configuration Riccardo Focardi joint work with Pedro Ad˜ ao, Claudio Bozzato, Gian-Luca Dei Rossi and Flaminia L. Luccio

          Mignis: a tool for declarative firewall configuration Riccardo Focardi joint work with Pedro Ad˜ ao, Claudio Bozzato, Gian-Luca Dei Rossi and Flaminia L. Luccio

          Add to Reading List

          Source URL: secgroup.dais.unive.it

          - Date: 2016-04-06 05:09:51
            36Probabilistic Constraint Logic Theories Marco Alberti1 , Elena Bellodi2 , Giuseppe Cota2 , Evelina Lamma2 , Fabrizio Riguzzi1 , and Riccardo Zese2 1 Dipartimento di Matematica e Informatica – University of Ferrara

            Probabilistic Constraint Logic Theories Marco Alberti1 , Elena Bellodi2 , Giuseppe Cota2 , Evelina Lamma2 , Fabrizio Riguzzi1 , and Riccardo Zese2 1 Dipartimento di Matematica e Informatica – University of Ferrara

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2016-08-12 03:27:47
              37Attacking and Fixing PKCS#11 Security Tokens Matteo Bortolozzo, Matteo Centenaro Riccardo Focardi and Graham Steel Universita` Ca’ Foscari, Venezia and LSV, INRIA & CNRS & ENS-Cachan

              Attacking and Fixing PKCS#11 Security Tokens Matteo Bortolozzo, Matteo Centenaro Riccardo Focardi and Graham Steel Universita` Ca’ Foscari, Venezia and LSV, INRIA & CNRS & ENS-Cachan

              Add to Reading List

              Source URL: www.lsv.ens-cachan.fr

              - Date: 2010-10-06 15:10:24
                38Approaching OBDA Evolution through Mapping Repairs? Domenico Lembo1 , Riccardo Rosati1 , Valerio Santarelli1 , Domenico Fabio Savo1 , Evgenij Thorstensen2 1 Sapienza Universit`a di Roma

                Approaching OBDA Evolution through Mapping Repairs? Domenico Lembo1 , Riccardo Rosati1 , Valerio Santarelli1 , Domenico Fabio Savo1 , Evgenij Thorstensen2 1 Sapienza Universit`a di Roma

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2016-04-09 08:12:00
                  39An Introduction to Security API Analysis ? Riccardo Focardi1 , Flaminia L. Luccio1 and Graham Steel2 1

                  An Introduction to Security API Analysis ? Riccardo Focardi1 , Flaminia L. Luccio1 and Graham Steel2 1

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  - Date: 2011-09-12 03:35:59
                    40Ontologies and Databases: The DL-Lite Approach Diego Calvanese1 , Giuseppe De Giacomo2 , Domenico Lembo2 , Maurizio Lenzerini2 , Antonella Poggi2 , Mariano Rodriguez-Muro1, and Riccardo Rosati2 1

                    Ontologies and Databases: The DL-Lite Approach Diego Calvanese1 , Giuseppe De Giacomo2 , Domenico Lembo2 , Maurizio Lenzerini2 , Antonella Poggi2 , Mariano Rodriguez-Muro1, and Riccardo Rosati2 1

                    Add to Reading List

                    Source URL: www.inf.unibz.it

                    - Date: 2009-07-06 12:03:35