Emanuele

Results: 530



#Item
41

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
    42

    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
      43

      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
        44

        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
          45

          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
            46

            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
              47

              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
                48

                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
                  49

                  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
                    50

                    Emanuele D’Osualdo  Am LandgrabenKaiserslautern, DE  +

                    Add to Reading List

                    Source URL: www.emanueledosualdo.com

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