Joost

Results: 433



#Item
31

Concept-Verslag Gezamenlijke OPLEIDINGSCOMMISSIES 17 december 2014 Aanwezig: Lotte van den Berg, Tim Kluwen, Margriet Jansen, Jurian Lock, Willemijn van Waas, Joost Luiten, Maxime Mullink, Sam Pauwels, Kyra Wigard, Marie

Add to Reading List

Source URL: media.leidenuniv.nl

- Date: 2015-03-13 09:48:52
    32

    Probabilistic Model Checking Part 1: Discrete-Time Markov Chains Joost-Pieter Katoen RWTH Aachen University Software Modeling and Verification Group Course on Probabilistic Model Checking, IMT Lucca, Italy, 2014

    Add to Reading List

    Source URL: dl.dropboxusercontent.com

      33

      Program chairs Kim G. Larsen, Aalborg, Denmark Joost-Pieter Katoen, Aachen, Germany Organizers Andrzej Wąsowski, Copenhagen, Denmark Uli Fahrenberg, Aalborg, Denmark

      Add to Reading List

      Source URL: qmc.cs.aau.dk

      - Date: 2011-10-28 09:59:01
        34

        A Quick Tour on LTL Model Checking Lecture #1 of Advanced Model Checking Joost-Pieter Katoen Lehrstuhl 2: Software Modeling & Verification E-mail: October 22, 2006

        Add to Reading List

        Source URL: www-i2.informatik.rwth-aachen.de

        - Date: 2006-10-23 09:28:13
          35

          GAMES AS A SERVICE Lessons learned from 4+ years of Awesomenauts on Steam Ronimo Games Robin Meijer & Joost van Dongen

          Add to Reading List

          Source URL: cdn.akamai.steamstatic.com

          - Date: 2016-11-03 18:53:23
            36

            Program chairs Kim G. Larsen, Aalborg, Denmark Joost-Pieter Katoen, Aachen, Germany Organizers Andrzej Wąsowski, Copenhagen, Denmark Uli Fahrenberg, Aalborg, Denmark

            Add to Reading List

            Source URL: qmc.cs.aau.dk

            - Date: 2011-10-28 09:59:03
              37

              Efficient compression of SIDH public keys Craig Costello1 , David Jao2? , Patrick Longa1 , Michael Naehrig1 , Joost Renes3?? , and David Urbanik2? 1 2

              Add to Reading List

              Source URL: eprint.iacr.org

              - Date: 2016-10-04 21:24:23
                38

                A Modal Logic for Abstract Delta Modeling ∗ Michiel Helvensteijn Joost Winter

                Add to Reading List

                Source URL: www.mhelvens.net

                - Date: 2012-11-25 10:40:43
                  39

                  Comprehensive Psychiatry – 185 www.elsevier.com/locate/comppsych Dissociation and fantasy proneness in psychiatric patients: a preliminary study Harald Merckelbach*, Joost a` Campo, Solange Hardy, Timo Gi

                  Add to Reading List

                  Source URL: www.haraldmerckelbach.nl

                  - Date: 2014-04-24 05:32:32
                    40

                    Credit cards, computationele complexiteit en consistentie uitspraken* Joost J. Joosten 2 maart 2007 Joost Joosten is postdoc in Tsjechië. Tussen de momenten door dat hij zijn hoofd brak over computationele complexiteits

                    Add to Reading List

                    Source URL: www.deconnectie.com

                    - Date: 2008-10-16 19:46:33
                      UPDATE