Automata

Results: 1989



#Item
111

Automated Inference of Excitable Cell Models as Hybrid Automata RASMUS ANSIN, DIDRIK LUNDBERG,

Add to Reading List

Source URL: www.nada.kth.se

- Date: 2013-05-31 06:47:14
    112

    The Hanoi Omega-Automata Format? Tom´ aˇs Babiak1 , Frantiˇsek Blahoudek1 , Alexandre Duret-Lutz2 , Joachim Klein3 , Jan Kˇret´ınsk´ y5 , David M¨ uller3 ,

    Add to Reading List

    Source URL: www.lrde.epita.fr

    - Date: 2015-07-17 05:26:38
      113

      Foundations of XML Types: Tree Automata Pierre Genevès CNRS (slides mostly based on slides by W. Martens and T. Schwentick) University of Grenoble Alpes, 2016–2017

      Add to Reading List

      Source URL: tyrex.inria.fr

      - Date: 2016-12-07 09:55:02
        114

        Shrinktech: A Tool for the Robustness Analysis of Timed Automata Ocan Sankur LSV, ENS Cachan & CNRS, France.

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        - Date: 2013-07-16 08:47:10
          115

          Preserving Ambiguities in Generation via Automata Intersection

          Add to Reading List

          Source URL: www.aaai.org

          - Date: 2006-01-10 22:49:26
            116

            CospanSpan(Graph): an algebra for reconfigurable automata networks N. Sabadini, R.F.C. Walters University of Insubria, Como, Italy Königswinter 7-9 August 2013

            Add to Reading List

            Source URL: www.ips.tu-braunschweig.de

            - Date: 2013-08-13 02:42:34
              117

              A Formalised Lower Bound on Undirected Graph Reachability Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Oettingenstraße 67, DM¨unchen, Germany Abstract. We study the expressivity of Jumping Automata

              Add to Reading List

              Source URL: www2.tcs.ifi.lmu.de

              - Date: 2008-06-17 10:01:28
                118

                Robust Model-Checking of Timed Automata via Pumping in Channel Machines★ Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Timed automata are governed by a mathematical semantics

                Add to Reading List

                Source URL: www.lsv.ens-cachan.fr

                - Date: 2011-08-09 04:16:30
                  119

                  Parametric Interrupt Timed Automata? B. B´erard1 , S. Haddad2 , A. Jovanovi´c3 , and D. Lime3 1 3

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  - Date: 2013-08-27 18:01:12
                    120

                    3D automated lymphoma segmentation in PET images based on cellular automata Paul Desbordes, Caroline Petitjean and Su Ruan Université de Rouen, LITIS EA 4108, 76031 Rouen, France e-mails: , caroli

                    Add to Reading List

                    Source URL: www.litislab.fr

                    - Date: 2015-10-17 10:01:37
                      UPDATE