Chalmers

Results: 1415



#Item
81

SVERIGES BYGGUNIVERSITET Chalmers, KTH, LTH,LTU i samverkan

Add to Reading List

Source URL: www.bekon.lth.se

Language: Swedish - Date: 2017-09-18 08:57:30
    82

    Unifying Facets of Information Integrity Arnar Birgisson, Alejandro Russo, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Information integrity is a vital security property in

    Add to Reading List

    Source URL: www.cse.chalmers.se

    Language: English - Date: 2010-10-13 07:38:57
      83

      SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology

      Add to Reading List

      Source URL: www.cse.chalmers.se

      Language: English - Date: 2013-12-12 08:42:01
        84

        SVERIGES BYGGUNIVERSITET Chalmers, KTH, LTH,LTU i samverkan

        Add to Reading List

        Source URL: www.bekon.lth.se

        Language: Swedish - Date: 2017-10-03 03:20:09
          85

          The Nature of Epistemic Space David J. Chalmers Ways things might be1 1

          Add to Reading List

          Source URL: consc.net

          Language: English - Date: 2013-08-10 14:26:31
            86

            Supervisory Control of Discrete-Event Systems via IC3 Mohammad Reza Shoaei1,⋆ , Laura Kov´acs2,⋆⋆ , and Bengt Lennartson1 1 Department of Signals and Systems

            Add to Reading List

            Source URL: www.cse.chalmers.se

            Language: English - Date: 2015-11-06 06:11:44
              87

              Drew McDermott Response to “The Singularity: A Philosophical Analysis” I agree with David Chalmers about one thing: it is useful to see the arguments for the singularity written down using the philosophers’ signatu

              Add to Reading List

              Source URL: cs-www.cs.yale.edu

              Language: English - Date: 2012-02-25 13:33:18
                88

                Introduction ` a la th´ eorie homotopique des types Thierry Coquand GDR Informatique Math´ematique, Journ´ees nationales, 29 Janvier 2014

                Add to Reading List

                Source URL: www.cse.chalmers.se

                Language: French - Date: 2014-02-04 09:19:45
                  89

                  Verifying Object-Oriented Programs with KeY: A Tutorial Wolfgang Ahrendt1 , Bernhard Beckert2 , Reiner H¨ ahnle1 , Philipp R¨ ummer1 , 3

                  Add to Reading List

                  Source URL: www.cse.chalmers.se

                  Language: English - Date: 2009-08-28 10:31:35
                    90

                    Flexible Manipulation of Labeled Values for Information-Flow Control Libraries Extended Version Marco Vassena1 , Pablo Buiras1 , Lucas Waye2 , and Alejandro Russo1 1

                    Add to Reading List

                    Source URL: www.cse.chalmers.se

                    Language: English - Date: 2016-07-14 13:55:20
                      UPDATE