Ahman

Results: 47



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

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
    22Update 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@

    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
      23Embracing 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

      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
        24Directed Containers as Categories Danel Ahman LFCS, School of Informatics, University of Edinburgh, United Kingdom Tarmo Uustalu

        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
          25Directed Containers as Categories Danel Ahman LFCS, School of Informatics, University of Edinburgh, United Kingdom Tarmo Uustalu

          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 ...........

            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
              27Verksamhetsberä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

              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
                28FYS-FONDEN 2014 Namn Eva Rasmussen -Barr Malin Åhman Hanna Granström Conny Blaauwendraat

                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
                  29Genetic 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.

                  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
                    30fakta 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

                    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