Marieke

Results: 262



#Item
51Quantitative Security Analysis for Programs with Low Input and Noisy Output Tri Minh Ngo and Marieke Huisman University of Twente, Netherlands

Quantitative Security Analysis for Programs with Low Input and Noisy Output Tri Minh Ngo and Marieke Huisman University of Twente, Netherlands

Add to Reading List

Source URL: wwwhome.ewi.utwente.nl

Language: English - Date: 2013-12-05 10:06:04
    52Verification of Concurrent Systems with VerCors Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, and Marina Zaharieva-Stojanovski University of Twente, the Netherlands Abstract. This paper

    Verification of Concurrent Systems with VerCors Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, and Marina Zaharieva-Stojanovski University of Twente, the Netherlands Abstract. This paper

    Add to Reading List

    Source URL: wwwhome.ewi.utwente.nl

    Language: English - Date: 2014-06-17 06:20:11
      53Formal Specifications for Java’s Synchronisation Classes Afshin Amighi and Stefan Blom and Marieke Huisman and Wojciech Mostowski and Marina Zaharieva-Stojanovski Formal Methods and Tools, University of Twente, The Net

      Formal Specifications for Java’s Synchronisation Classes Afshin Amighi and Stefan Blom and Marieke Huisman and Wojciech Mostowski and Marina Zaharieva-Stojanovski Formal Methods and Tools, University of Twente, The Net

      Add to Reading List

      Source URL: wwwhome.ewi.utwente.nl

      Language: English - Date: 2014-03-03 10:52:53
        54Carrie the Cartoonist Steven te Brinke (s0093122), Marieke Franssen (s0022047), Henk Erik van der Hoek (s0098396), Brend Wanders (s0088897) Begeleiders:

        Carrie the Cartoonist Steven te Brinke (s0093122), Marieke Franssen (s0022047), Henk Erik van der Hoek (s0098396), Brend Wanders (s0088897) Begeleiders:

        Add to Reading List

        Source URL: wwwhome.cs.utwente.nl

        Language: Dutch - Date: 2008-03-05 13:11:50
          55Quantitative Security Analysis for Multi-threaded Programs Tri Minh Ngo Marieke Huisman University of Twente, Netherlands

          Quantitative Security Analysis for Multi-threaded Programs Tri Minh Ngo Marieke Huisman University of Twente, Netherlands

          Add to Reading List

          Source URL: wwwhome.ewi.utwente.nl

          Language: English - Date: 2013-12-16 11:11:42
            56Effective Verification of Confidentiality for Multi-Threaded Programs Tri Minh Ngo, Mari¨elle Stoelinga, and Marieke Huisman University of Twente, Netherlands

            Effective Verification of Confidentiality for Multi-Threaded Programs Tri Minh Ngo, Mari¨elle Stoelinga, and Marieke Huisman University of Twente, Netherlands

            Add to Reading List

            Source URL: wwwhome.ewi.utwente.nl

            Language: English - Date: 2013-12-16 10:55:47
              57Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification Marieke Huisman and Tri Minh Ngo University of Twente, Netherlands

              Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification Marieke Huisman and Tri Minh Ngo University of Twente, Netherlands

              Add to Reading List

              Source URL: wwwhome.ewi.utwente.nl

              Language: English - Date: 2012-04-03 15:01:49
                58Production and perception of the Dutch /ɑ/-/a/ continuum: variation within and between speakers Marieke Ebeling-van den Heuvel University of Amsterdam Thesis for the Research Master’s in Linguistics

                Production and perception of the Dutch /ɑ/-/a/ continuum: variation within and between speakers Marieke Ebeling-van den Heuvel University of Amsterdam Thesis for the Research Master’s in Linguistics

                Add to Reading List

                Source URL: www.fon.hum.uva.nl

                Language: English - Date: 2014-07-17 04:03:14
                  59Thesis Anne-Marieke Samson

                  Thesis Anne-Marieke Samson

                  Add to Reading List

                  Source URL: www.fon.hum.uva.nl

                  Language: English - Date: 2011-12-05 19:09:00
                    60STSM-Report: October 11, 2010 to October 15, 2010 Marieke Wottawa In the past years several hints for PHD isoform specific roles in cell adhesion and tumor metastasis have been found. However, the impact of PHD2 for tum

                    STSM-Report: October 11, 2010 to October 15, 2010 Marieke Wottawa In the past years several hints for PHD isoform specific roles in cell adhesion and tumor metastasis have been found. However, the impact of PHD2 for tum

                    Add to Reading List

                    Source URL: hypoxianet.com

                    Language: English - Date: 2011-04-20 04:31:49