Emanuele

Results: 530



#Item
41Transforming Constrained Horn Clauses for Program Verification Maurizio Proietti (IASI-CNR, Rome, Italy) Joint work with Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi Eindhoven, April 3rd, 2016

Transforming Constrained Horn Clauses for Program Verification Maurizio Proietti (IASI-CNR, Rome, Italy) Joint work with Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi Eindhoven, April 3rd, 2016

Add to Reading List

Source URL: hcvs2016.it.uu.se

- Date: 2016-04-08 07:01:11
    42Chapter 19 Imaging of Isolated Extracellular Vesicles Using Fluorescence Microscopy Dmitry Ter-Ovanesyan, Emma J. K. Kowal, Aviv Regev, George M. Church, and Emanuele Cocucci Abstract

    Chapter 19 Imaging of Isolated Extracellular Vesicles Using Fluorescence Microscopy Dmitry Ter-Ovanesyan, Emma J. K. Kowal, Aviv Regev, George M. Church, and Emanuele Cocucci Abstract

    Add to Reading List

    Source URL: arep.med.harvard.edu

    - Date: 2018-02-25 19:39:22
      43Down-stream effects of tree-to-dependency conversions Jakob Elming, Anders Johannsen, Sigrid Klerke, Emanuele Lapponi† , Hector Martinez, Anders Søgaard Center for Language Technology, University of Copenhagen †

      Down-stream effects of tree-to-dependency conversions Jakob Elming, Anders Johannsen, Sigrid Klerke, Emanuele Lapponi† , Hector Martinez, Anders Søgaard Center for Language Technology, University of Copenhagen †

      Add to Reading List

      Source URL: aclweb.org

      - Date: 2013-05-18 12:41:37
        44Journal of Machine Learning Research747 Submitted 10/12; Revised 6/13; Published 2/14 Clustering Hidden Markov Models with Variational HEM Emanuele Coviello

        Journal of Machine Learning Research747 Submitted 10/12; Revised 6/13; Published 2/14 Clustering Hidden Markov Models with Variational HEM Emanuele Coviello

        Add to Reading List

        Source URL: jmlr.org

        - Date: 2014-03-10 21:42:35
          45The Compass of Transparency Department for Public Administration Corso Vittorio Emanuele II, Rome

          The Compass of Transparency Department for Public Administration Corso Vittorio Emanuele II, Rome

          Add to Reading List

          Source URL: www.epsa2013.eu

          - Date: 2013-11-27 09:25:07
            46CSG399: Gems of Theoretical Computer Science. Instructor: Emanuele Viola Lecture 10. Feb. 13, 2009. Scribe: Fangfei Zhou

            CSG399: Gems of Theoretical Computer Science. Instructor: Emanuele Viola Lecture 10. Feb. 13, 2009. Scribe: Fangfei Zhou

            Add to Reading List

            Source URL: www.ccs.neu.edu

            - Date: 2009-03-13 10:03:22
              47Fundamenta Informaticae XX–24 IOS Press Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis

              Fundamenta Informaticae XX–24 IOS Press Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis

              Add to Reading List

              Source URL: www.iasi.cnr.it

              - Date: 2012-09-01 07:08:06
                48VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

                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

                - Date: 2014-01-22 12:57:06
                  49Verification of Imperative Programs through Transformation of Constraint Logic Programs Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 and Maurizio Proietti3 1

                  Verification of Imperative Programs through Transformation of Constraint Logic Programs Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 and Maurizio Proietti3 1

                  Add to Reading List

                  Source URL: www.iasi.cnr.it

                  - Date: 2013-07-17 08:16:13
                    50Emanuele D’Osualdo  Am LandgrabenKaiserslautern, DE  +

                    Emanuele D’Osualdo  Am LandgrabenKaiserslautern, DE  +

                    Add to Reading List

                    Source URL: www.emanueledosualdo.com

                    - Date: 2016-11-02 14:52:28