Showing 101 - 120 results of 339 for search '"Automata theory"', query time: 0.35s Refine Results
  1. 101
    A decidable characterization of locally testable tree languages

    A decidable characterization of locally testable tree languages by Thomas Place, Luc Segoufin

    Published 2011-11-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  2. 102
    The Complexity of Aggregates over Extractions by Regular Expressions

    The Complexity of Aggregates over Extractions by Regular Expressions by Johannes Doleschal, Benny Kimelfeld, Wim Martens

    Published 2023-08-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  3. 103
    Register Games

    Register Games by Karoliina Lehtinen, Udi Boker

    Published 2020-05-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  4. 104
    Quantifying information flow

    Quantifying information flow by Mestel, D

    Published 2018
    Subjects: “…Automata theory…”
    Thesis
  5. 105
    Inkdots as advice for finite automata

    Inkdots as advice for finite automata by Uğur Küçük, A. C. Cem Say, Abuzer Yakaryılmaz

    Published 2017-09-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  6. 106
    Collaboration vs. choreography conformance in BPMN

    Collaboration vs. choreography conformance in BPMN by Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi

    Published 2020-10-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  7. 107
    Neural architecture search for resource constrained hardware devices: A survey

    Neural architecture search for resource constrained hardware devices: A survey by Yongjia Yang, Jinyu Zhan, Wei Jiang, Yucheng Jiang, Antai Yu

    Published 2023-09-01
    Subjects: “…automata theory…”
    Get full text
    Article
  8. 108
    Solomon Marcus Contributions to Theoretical Computer Science and Applications

    Solomon Marcus Contributions to Theoretical Computer Science and Applications by Cristian S. Calude, Gheorghe Păun

    Published 2021-04-01
    Subjects: “…automata theory…”
    Get full text
    Article
  9. 109
    Weighted Pushdown Systems with Indexed Weight Domains

    Weighted Pushdown Systems with Indexed Weight Domains by Yasuhiko Minamide

    Published 2016-06-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  10. 110
    History-Register Automata

    History-Register Automata by Radu Grigore, Nikos Tzevelekos

    Published 2016-03-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  11. 111
    Permutation complexity of images of Sturmian words by marked morphisms

    Permutation complexity of images of Sturmian words by marked morphisms by Adam Borchert, Narad Rampersad

    Published 2018-06-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  12. 112
    Separators in Continuous Petri Nets

    Separators in Continuous Petri Nets by Michael Blondin, Javier Esparza

    Published 2024-02-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  13. 113
    A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

    A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct by Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

    Published 2024-01-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  14. 114
    <i>n</i>-Ary Cartesian Composition of Multiautomata with Internal Link for Autonomous Control of Lane Shifting

    <i>n</i>-Ary Cartesian Composition of Multiautomata with Internal Link for Autonomous Control of Lane Shifting by Štěpán Křehlík

    Published 2020-05-01
    Subjects:
    Get full text
    Article
  15. 115
    Reversing Place Transition Nets

    Reversing Place Transition Nets by Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski

    Published 2020-10-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  16. 116
    Logical and Algebraic Characterizations of Rational Transductions

    Logical and Algebraic Characterizations of Rational Transductions by Emmanuel Filiot, Olivier Gauwin, Nathan Lhote

    Published 2019-12-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  17. 117
    Infinite and Bi-infinite Words with Decidable Monadic Theories

    Infinite and Bi-infinite Words with Decidable Monadic Theories by Dietrich Kuske, Jiamou Liu, Anastasia Moskvina

    Published 2018-08-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  18. 118
    Bounded Reachability Problems are Decidable in FIFO Machines

    Bounded Reachability Problems are Decidable in FIFO Machines by Benedikt Bollig, Alain Finkel, Amrita Suresh

    Published 2022-01-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  19. 119
    Shortest paths in one-counter systems

    Shortest paths in one-counter systems by Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, Michał Pilipczuk, Michael Wehar

    Published 2019-03-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  20. 120
    Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

    Register Automata with Extrema Constraints, and an Application to Two-Variable Logic by Szymon Toruńczyk, Thomas Zeume

    Published 2022-03-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article

Search Tools: