Dietl

Results: 39



#Item
11

PHYSICAL REVIEW B 70, Optical properties of metallic (III, Mn)V ferromagnetic semiconductors in the infrared to visible range E. M. Hankiewicz,1 T. Jungwirth,2,3 T. Dietl,4,5 C. Timm,6 and Jairo Sinova1 1D

Add to Reading List

Source URL: www.physik.tu-dresden.de

Language: English - Date: 2008-06-06 05:57:49
    12

    Building and Using Pluggable Type-Checkers Werner M. Dietl Joint work with: Stephanie Dietzel, Michael D. Ernst, Kıvanç Muşlu, and Todd W. Schiller

    Add to Reading List

    Source URL: homes.cs.washington.edu

    Language: English - Date: 2011-05-31 01:43:44
      13

      JavaUI : Effects for Controlling UI Object Access Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu Abstract. Most graphical user

      Add to Reading List

      Source URL: www.cs.drexel.edu

      Language: English - Date: 2016-03-03 13:09:40
        14

        Collaborative Verification of Information Flow for a High-Assurance App Store Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl*, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoras

        Add to Reading List

        Source URL: homes.cs.washington.edu

        Language: English - Date: 2015-11-15 10:28:43
          15

          JavaUI: Effects for Controlling UI Object Access Colin S. Gordon, Werner M. Dietl, Michael D. Ernst, Dan Grossman University of Washington https://github.com/csgordon/javaui

          Add to Reading List

          Source URL: www.cs.drexel.edu

          Language: English - Date: 2016-03-03 13:09:40
            16Computing / Software engineering / Type theory / Data types / Java / Object-oriented programming / Swing / Type system / Polymorphism

            JavaUI : Effects for Controlling UI Object Access (Extended Version)? Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu

            Add to Reading List

            Source URL: homes.cs.washington.edu

            Language: English - Date: 2013-11-06 23:11:38
            17Eclipse software / Concurrent computing / JFace / Java / Thread / D / Swing

            JavaUI: Effects for Controlling UI Object Access Colin S. Gordon, Werner M. Dietl, Michael D. Ernst, Dan Grossman University of Washington https://github.com/csgordon/javaui

            Add to Reading List

            Source URL: homes.cs.washington.edu

            Language: English - Date: 2013-10-24 14:36:26
            18Computing / Java / Type theory / Swing / Type system

            JavaUI : Effects for Controlling UI Object Access Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu Abstract. Most graphical user

            Add to Reading List

            Source URL: homes.cs.washington.edu

            Language: English - Date: 2013-11-06 23:11:33
            19

            Building and Using Pluggable Type-Checkers Werner Dietl Stephanie Dietzel Michael D. Ernst

            Add to Reading List

            Source URL: homes.cs.washington.edu

            Language: English - Date: 2011-03-20 16:35:12
              20

              JavaUI : Effects for Controlling UI Object Access (Extended Version)? Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu

              Add to Reading List

              Source URL: www.cs.drexel.edu

              Language: English - Date: 2016-03-03 13:09:40
                UPDATE