Automata

Results: 1989



#Item
41Formal Methods in System Design manuscript No. (will be inserted by the editor) A Game Approach to Determinize Timed Automata Nathalie Bertrand · Am´ elie Stainer ·

Formal Methods in System Design manuscript No. (will be inserted by the editor) A Game Approach to Determinize Timed Automata Nathalie Bertrand · Am´ elie Stainer ·

Add to Reading List

Source URL: people.rennes.inria.fr

Language: English - Date: 2015-10-26 09:37:06
    42Math. Appl), 105–122 DOI: maTWO-DIMENSIONAL JUMPING FINITE AUTOMATA S. JAMES IMMANUEL and D. G. THOMAS Abstract. In this paper, we extend a newly introduced concept called the jumping

    Math. Appl), 105–122 DOI: maTWO-DIMENSIONAL JUMPING FINITE AUTOMATA S. JAMES IMMANUEL and D. G. THOMAS Abstract. In this paper, we extend a newly introduced concept called the jumping

    Add to Reading List

    Source URL: ma.fme.vutbr.cz

    Language: English - Date: 2017-01-12 07:11:34
      43Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs Yuma Matsumoto1 , Naoki Kobayashi1 , and Hiroshi Unno2 1 2

      Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs Yuma Matsumoto1 , Naoki Kobayashi1 , and Hiroshi Unno2 1 2

      Add to Reading List

      Source URL: www.cs.tsukuba.ac.jp

      Language: English - Date: 2017-11-23 00:06:54
        44Two-Way Automata Characterizations of L/poly versus NL Christos A. Kapoutsis1 1 LIAFA, 2 DI,

        Two-Way Automata Characterizations of L/poly versus NL Christos A. Kapoutsis1 1 LIAFA, 2 DI,

        Add to Reading List

        Source URL: pighizzini.di.unimi.it

        Language: English - Date: 2012-07-06 05:34:32
          45Descriptional complexity of automata and languages Giovanni Pighizzini Dipartimento di Informatica e Comunicazione Università degli Studi di Milano ITALY

          Descriptional complexity of automata and languages Giovanni Pighizzini Dipartimento di Informatica e Comunicazione Università degli Studi di Milano ITALY

          Add to Reading List

          Source URL: pighizzini.di.unimi.it

          Language: English - Date: 2008-12-10 12:17:48
            46Simulating Unary Context-Free Grammars and Pushdown Automata with Finite Automata Giovanni Pighizzini Dipartimento di Informatica e Comunicazione Università degli Studi di Milano ITALY

            Simulating Unary Context-Free Grammars and Pushdown Automata with Finite Automata Giovanni Pighizzini Dipartimento di Informatica e Comunicazione Università degli Studi di Milano ITALY

            Add to Reading List

            Source URL: pighizzini.di.unimi.it

            Language: English - Date: 2008-11-12 17:28:53
              47Forest fires spread modeling using cellular automata approach Ljiljana Bodrožić, Darko Stipaničev,Marijo Šerić Department for Modelling and Intelligent Systems FESB - Faculty of Electrical Engineering, Machine Engin

              Forest fires spread modeling using cellular automata approach Ljiljana Bodrožić, Darko Stipaničev,Marijo Šerić Department for Modelling and Intelligent Systems FESB - Faculty of Electrical Engineering, Machine Engin

              Add to Reading List

              Source URL: laris.fesb.hr

              Language: English - Date: 2012-02-14 04:56:05
                48Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

                Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

                Add to Reading List

                Source URL: pighizzini.di.unimi.it

                Language: English - Date: 2012-09-04 12:11:30
                  49LNCSTransient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes

                  LNCSTransient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes

                  Add to Reading List

                  Source URL: people.rennes.inria.fr

                  Language: English - Date: 2013-09-13 09:23:19
                    50Informatique Fondamentale IMA S8 Cours 2 - Stack automata + Grammars Laure Gonnord http://laure.gonnord.org/pro/teaching/ Université Lille 1 - Polytech Lille

                    Informatique Fondamentale IMA S8 Cours 2 - Stack automata + Grammars Laure Gonnord http://laure.gonnord.org/pro/teaching/ Université Lille 1 - Polytech Lille

                    Add to Reading List

                    Source URL: laure.gonnord.org

                    Language: English - Date: 2012-03-20 04:32:48