Fabio

Results: 1279



#Item
261

Generation of Test Data Structures Using Constraint Logic Programming Valerio Senni1 , Fabio Fioravanti2 1 Department

Add to Reading List

Source URL: www.sci.unich.it

Language: English - Date: 2013-09-28 05:09:03
    262

    Fundamenta InformaticaeRevised June 19, –300 IOS Press Improving Reachability Analysis of Infinite State Systems by Specialization Fabio Fioravanti

    Add to Reading List

    Source URL: www.sci.unich.it

    Language: English - Date: 2013-07-17 03:25:09
      263

      Formulario di Statistica con http://cran.r-project.org/other-docs.html http://www.r-project.org/ Fabio Frascati1 R version22)

      Add to Reading List

      Source URL: cran.us.r-project.org

      Language: Italian - Date: 2008-10-17 05:23:46
        264

        Software Model Checking by Program Specialization 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-07-17 03:25:20
          265

          Program Verification using Constraint Handling Rules and Array Constraint Generalizations⋆ Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

          Add to Reading List

          Source URL: www.sci.unich.it

          Language: English - Date: 2014-07-10 04:18:43
            266

            Generation of test data structures using Constraint Logic Programming? Valerio Senni1 and Fabio Fioravanti2 1 2

            Add to Reading List

            Source URL: www.sci.unich.it

            Language: English - Date: 2013-07-17 03:25:30
              267

              VeriMAP: A Tool for Verifying Programs through Transformations 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-16 13:38:07
                268

                Using Walk-SAT and Rel-SAT for Cryptographic Key Search Fabio Massacci* Dip. di Informatica e Sistemistica Univ. di Roma I "La Sapienza" via Salaria 113,Roma, Italy email: m a s s a c c i @ d i s . u n i r o m a

                Add to Reading List

                Source URL: ijcai.org

                Language: English - Date: 2016-03-06 12:40:01
                  269

                  Evolution of Controllability in Interbank Networks Danilo Delpini1,2 , Stefano Battiston3 , Massimo Riccaboni2,4 , Giampaolo Gabbi5,6 , Fabio Pammolli2,7 , and Guido Caldarelli∗2,8,9 1

                  Add to Reading List

                  Source URL: www.guidocaldarelli.com

                  Language: English - Date: 2013-04-10 04:47:48
                    270

                    Abstract Submission Template Example Predictors of Decision Making Across the Adult Life-Span: An Individual-Differences Study. FABIO DEL MISSIER, University of Trieste, TIMO MÄNTYLÄ, Stockholm University, PATRIK HANSS

                    Add to Reading List

                    Source URL: www.ps2016.org

                    Language: English - Date: 2015-06-09 17:06:02
                      UPDATE