Fabio

Results: 1279



#Item
341

Journal of Universal Computer Science, vol. 10, no), submitted: , accepted: , appeared: © J.UCS LuaInterface: Scripting the .NET CLR with Lua Fabio Mascarenhas (Pontifical Catholi

Add to Reading List

Source URL: www.jucs.org

Language: English - Date: 2006-11-02 05:56:48
    342

    VeriMAP A Tool for Verifying Programs through Transformations Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti University of Chieti – Pescara ‘G. d’Annunzio’,

    Add to Reading List

    Source URL: www.sci.unich.it

    Language: English - Date: 2015-01-15 17:01:04
      343

      NOTA STAMPA CONSORZIO ROMA RICERCHE: ASSEMBLEA SOCI APPROVA IL BILANCIO 2014 Roma, 30 AprileSi è riunita oggi, sotto la presidenza di Fabio De Furia, l’Assemblea ordinaria dei Soci del Consorzio Roma Ricerche S

      Add to Reading List

      Source URL: www.romaricerche.it

      Language: Italian - Date: 2015-05-04 09:23:34
        344

        Verifying Array Programs by Transforming Verification Conditions Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

        Add to Reading List

        Source URL: www.sci.unich.it

        Language: English - Date: 2013-11-28 03:44:27
          345

          Verification of Programs by Combining Iterated Specialization with Interpolation Emanuele De Angelis1,3 , Fabio Fioravanti1 , Jorge A. Navas2 , and Maurizio Proietti3 1 University 2 NASA

          Add to Reading List

          Source URL: www.sci.unich.it

          Language: English - Date: 2015-01-15 16:54:25
            346

            A First Comparison of Abstract Argumentation Systems: A Computational Perspective Stefano Bistarelli1,2 , Fabio Rossi1 , and Francesco Santini3 1 Department of Mathematics and Computer Science, University of Perugia, It

            Add to Reading List

            Source URL: www.dmi.unict.it

            Language: English - Date: 2013-09-18 04:53:03
              347

              WEIS 2015 – Paper submission Author: Fabio Bisogni Affiliations: Delft University of Technology - Faculty of Technology, Policy and Management / Formit Foundation Key words: data breach notification laws, data breach

              Add to Reading List

              Source URL: weis2015.econinfosec.org

              Language: English
                348

                Verifying Array Programs by Transforming Verification Conditions Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

                Add to Reading List

                Source URL: www.sci.unich.it

                Language: English - Date: 2014-01-22 12:57:47
                  349

                  Under consideration for publication in Math. Struct. in Comp. Science Concurrency Can’t Be Observed, Asynchronously† Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale Dipartimento di Matematic

                  Add to Reading List

                  Source URL: www.math.unipd.it

                  Language: English - Date: 2012-06-19 09:44:34
                    350

                    Minutes of the College of Agriculture Food and Natural Resources Policy Committee Friday, September 14, 2012 Members present: Bruce Barrett (Plt Sci), Julie Bellemare (Hsp Mgmt), Chris Boessen (Ag Ec), Fabio Chaddad (

                    Add to Reading List

                    Source URL: mycafnr.missouri.edu

                    Language: English
                      UPDATE