Paolo

Results: 2705



#Item
141

Efficient Optimally Lazy Algorithms for Minimal-Interval Semantics∗ Paolo Boldi Sebastiano Vigna Dipartimento di Informatica, Università degli Studi di Milano

Add to Reading List

Source URL: vigna.di.unimi.it

- Date: 2016-08-11 04:53:10
    142

    An ontology based visual tool for query formulation support Tiziana Catarci1 and Paolo Dongilli2 and Tania Di Mascio3 and Enrico Franconi2 and Giuseppe Santucci1 and Sergio Tessaris2 Abstract. In this paper we describe t

    Add to Reading List

    Source URL: www.inf.unibz.it

    - Date: 2017-01-27 04:48:10
      143

      Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes Paolo Ballarini1 , Nathalie Bertrand2 , Andr´as Horv´ath3 , Marco Paolieri4 , and Enrico Vicario4 ´ Ecole

      Add to Reading List

      Source URL: www-bcf.usc.edu

      - Date: 2013-09-25 11:27:02
        144

        Monday June 26th 8:30-10:15 AM : « Cell & tissues mechanics and dynamics I » Chair : Simon Mochrie (Yale University, USA) Paolo Pierobon, Institut Curie, Paris, France : Mechanics and force patterning in antigen extrac

        Add to Reading List

        Source URL: gdripols.files.wordpress.com

        - Date: 2017-06-11 16:16:48
          145

          1 Verifying A-Priori the Composition of Declarative Specified Services. Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2009-08-13 03:06:16
            146

            Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) A Model Advisor for NuSMV Specifications Paolo Arcaini · Angelo Gargantini · Elvinia Riccobene

            Add to Reading List

            Source URL: cs.unibg.it

            - Date: 2010-09-13 06:54:26
              147

              NuSeen: an eclipse-based environment for the NuSMV model checker Paolo Arcaini Angelo Gargantini

              Add to Reading List

              Source URL: cs.unibg.it

              - Date: 2013-09-18 13:49:22
                148

                Relazione Presidente Carlo Paolo Beltrami Assemblea Annuale di venerdì 9 ottobre – oreGentili ospiti Signore e Signori, Autorità e colleghi Costruttori, vi ringrazio della vostra presenza oggi alla nostra Ass

                Add to Reading List

                Source URL: ancecremona.it

                - Date: 2015-10-27 11:00:41
                  149

                  Captatori Informatici AKA Virus Informatici, AKA Agenti Attivi, AKA Intrusori @fpmicozzi Avv. Francesco Paolo Micozzi

                  Add to Reading List

                  Source URL: urna.winstonsmith.org

                  - Date: 2016-06-26 15:40:27
                    150

                    Title: [Ca2+]i is involved in the in vitro migration of chick CG cells Authors: Paolo Ariano, Jessica Erriquez, Alessandra Gilardino, Mario Ferraro, Davide Lovisolo, Carla Distasi a

                    Add to Reading List

                    Source URL: www.hexec.it

                    - Date: 2011-02-26 09:15:17
                      UPDATE