Andrea

Results: 6699



#Item
351

A Subatomic Proof System Alessio Guglielmi (joint work with Andrea Aler Tubella) University of Bath 29th September 2014

Add to Reading List

Source URL: cs.bath.ac.uk

- Date: 2014-10-09 07:24:37
    352

    Generalising Cut-Elimination through Subatomic Proof Systems or The Math Stuff That I Do Andrea Aler Tubella University of Bath

    Add to Reading List

    Source URL: aalertubelladotcom.files.wordpress.com

    - Date: 2016-08-08 13:39:19
      353

      Übersicht zum Biologischen Kolloquium im WintersemesterOrt: Hörsaal 002, Hörsaalgebäude Albert-Einstein-Straße 3 Zeit: jeweils donnerstags, Uhr Koordination: Andrea Mellin (institut.biowiss

      Add to Reading List

      Source URL: webcms.uni-rostock.de

      - Date: 2016-11-02 10:58:52
        354

        Forte, Andrea, Nazanin Andalibi, Rachel GreenstadtPrivacy, Anonymity, and Perceived Risk in Open Collaboration: A Study of Tor Users and Wikipedians. Proceedings of Computer-Supported Cooperative Work and Social

        Add to Reading List

        Source URL: andreaforte.net

        - Date: 2016-12-20 12:59:15
          355

          A Subatomic Proof System Andrea Aler Tubella (joint work with Alessio Guglielmi) University of Bath 23rd May 2015

          Add to Reading List

          Source URL: aalertubelladotcom.files.wordpress.com

          - Date: 2016-04-04 17:57:14
            356

            Differential Bisimulation for a Markovian Process Algebra ? Giulio Iacobelli1 , Mirco Tribastone2 , and Andrea Vandin3 1 Computing and Systems Engineering, Federal University of Rio de Janeiro, Brazil

            Add to Reading List

            Source URL: dl.dropboxusercontent.com

              357

              Evaluating Presence Strategies of Temporarily Required Virtual Assistants Andrea B¨ onsch, Tom Vierjahn, and Torsten W. Kuhlen Visual Computing Institute, RWTH Aachen University JARA – High-Performance Computing

              Add to Reading List

              Source URL: vr.rwth-aachen.de

              - Date: 2016-08-01 02:04:40
                358

                MADAM: A Multi Level Anomaly Detector for Android Malware Fabio Martinelli National Research Council of Italy (CNR) Joint work with Andrea Saracino, Daniele Sgandurra et al.

                Add to Reading List

                Source URL: comsec.spb.ru

                - Date: 2015-12-03 06:47:11
                  359

                  Heuristic Cube Pruning in Linear Time Andrea Gesmundo Department of Computer Science University of Geneva

                  Add to Reading List

                  Source URL: aclweb.org

                  - Date: 2012-06-21 10:18:58
                    360

                    A Latent Variable Model of Synchronous Syntactic-Semantic Parsing for Multiple Languages Andrea Gesmundo Univ Geneva Dept Computer Sci

                    Add to Reading List

                    Source URL: aclweb.org

                    - Date: 2010-06-15 09:04:09
                      UPDATE