Ahman

Results: 47



#Item
21

Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs∗ Danel Ahman† Marko K¨aa¨ ramees

Add to Reading List

Source URL: danelahman.github.io

- Date: 2018-03-25 20:15:13
    22

    Update Monads: Cointerpreting Directed Containers Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom; d.ahman@

    Add to Reading List

    Source URL: danelahman.github.io

    - Date: 2018-03-25 20:15:13
      23

      Embracing monotonicity in Danel Ahman @ INRIA Paris joint work with C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

      Add to Reading List

      Source URL: danelahman.github.io

      - Date: 2018-03-25 20:15:13
        24

        Directed Containers as Categories Danel Ahman LFCS, School of Informatics, University of Edinburgh, United Kingdom Tarmo Uustalu

        Add to Reading List

        Source URL: danelahman.github.io

        - Date: 2018-03-25 20:15:13
          25

          Directed Containers as Categories Danel Ahman LFCS, School of Informatics, University of Edinburgh, United Kingdom Tarmo Uustalu

          Add to Reading List

          Source URL: cs.ioc.ee

          Language: English - Date: 2016-04-01 16:32:48
            26

            A Ahlgren JohnPeninsula Rd . . Bx 342 ............................. Ahlgren ThomasPeninsula Rd . . Bx 342 ........................ Ahman KenCentral Av . . Bx 641 ...........

            Add to Reading List

            Source URL: fishersisland.net

            Language: English - Date: 2015-05-12 19:22:01
              27

              Verksamhetsberättelse för verksamhetsåretStyrelsen har bestått av: Ordförande: Emma Åhman Vice ordförande: Veronica Green Kassör: Anna Hessel Sekreterare: Vera Kågström (lämnade styrelsen för utbyt

              Add to Reading List

              Source URL: genusforeningenuppsala.files.wordpress.com

              Language: Swedish - Date: 2015-02-22 10:35:34
                28

                FYS-FONDEN 2014 Namn Eva Rasmussen -Barr Malin Åhman Hanna Granström Conny Blaauwendraat

                Add to Reading List

                Source URL: www.fysioterapeuterna.se

                Language: Swedish - Date: 2014-04-11 04:18:34
                  29

                  Genetic resources to exploit for resistance to aphids in wheat Leonardo A. Crespo Herrera and Inger Åhman Department of Plant Breeding, Swedish University of Agricultural Sciences, Alnarp, Sweden.

                  Add to Reading List

                  Source URL: www.nordgen.org

                  Language: English - Date: 2013-06-27 08:05:34
                    30

                    fakta skog 13 •  2014  •  Rön från Sveriges lantbruksuniversitet Anna Skarin • Birgitta Åhman • Per Sandström • Christian Nellemann • Lars Rönnegård Figur 1. Renarnas betesprocesser definieras i

                    Add to Reading List

                    Source URL: www.slu.se

                    Language: Swedish - Date: 2014-12-09 07:44:53
                      UPDATE