Treffer 1 - 20 von 1.232 für Suche 'Lin, Anthony W.', Suchdauer: 1,20s Treffer weiter einschränken
  1. 1
    Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings

    Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings von Lin, Anthony W, Zetzsche, Georg, Potapov, Igor


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

    Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility von Lin, Anthony W., Majumdar, Rupak


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Expressive Languages for Path Queries over Graph-Structured Data

    Expressive Languages for Path Queries over Graph-Structured Data von BARCELO, Pablo, LIBKIN, Leonid, LIN, Anthony W, WOOD, Peter T


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata

    Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata von Yamakami, Tomoyuki


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    CSS Minification via Constraint Solving

    CSS Minification via Constraint Solving von Hague, Matthew, Lin, Anthony W., Hong, Chih-Duo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Decision Procedures for Sequence Theories

    Decision Procedures for Sequence Theories von Jez, Artur, Lin, Anthony W., Markgraf, Oliver, Rümmer, Philipp

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A linear-time algorithm for the orbit problem over cyclic groups

    A linear-time algorithm for the orbit problem over cyclic groups von Lin, Anthony W., Zhou, Sanming

    Veröffentlicht in Acta informatica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    History-Deterministic Timed Automata Are Not Determinizable

    History-Deterministic Timed Automata Are Not Determinizable von Bose, Sougata, Henzinger, Thomas A., Lehtinen, Karoliina, Schewe, Sven, Totzke, Patrick


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Subsequences in Bounded Ranges: Matching and Analysis Problems

    Subsequences in Bounded Ranges: Matching and Analysis Problems von Kosche, Maria, Koß, Tore, Manea, Florin, Pak, Viktoriya


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    The Stochastic Arrival Problem

    The Stochastic Arrival Problem von Webster, Thomas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Post's Correspondence Problem: From Computer Science to Algebra

    Post's Correspondence Problem: From Computer Science to Algebra von Ciobanu, Laura


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    On Higher-Order Reachability Games Vs May Reachability

    On Higher-Order Reachability Games Vs May Reachability von Asada, Kazuyuki, Katsura, Hiroyuki, Kobayashi, Naoki


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Canonization of Reconfigurable PT Nets in Maude

    Canonization of Reconfigurable PT Nets in Maude von Capra, Lorenzo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    SAT-Based Invariant Inference and Its Relation to Concept Learning

    SAT-Based Invariant Inference and Its Relation to Concept Learning von Feldman, Yotam M. Y., Shoham, Sharon


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Coefficient Synthesis for Threshold Automata

    Coefficient Synthesis for Threshold Automata von Balasubramanian, A. R.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Linearization, Model Reduction and Reachability in Nonlinear odes

    Linearization, Model Reduction and Reachability in Nonlinear odes von Boreale, Michele, Collodi, Luisa


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    The Past and Future of Embedded Finite Model Theory

    The Past and Future of Embedded Finite Model Theory von Benedikt, Michael


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Regular Model Checking Revisited

    Regular Model Checking Revisited von Lin, Anthony W., Rümmer, Philipp


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Decidable models of integer-manipulating programs with recursive parallelism

    Decidable models of integer-manipulating programs with recursive parallelism von Hague, Matthew, Lin, Anthony W.

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Regular Abstractions for Array Systems

    Regular Abstractions for Array Systems von Hong, Chih-Duo, Lin, Anthony W.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: