Automata

Results: 1989



#Item
101

Automata-based Model Counting for String Constraints Abdulbaki Aydin, Lucas Bang, Tevfik Bultan University of California, Santa Barbara Abstract. Most common vulnerabilities in Web applications are due to string manipula

Add to Reading List

Source URL: www.cs.ucsb.edu

- Date: 2015-04-07 04:55:15
    102

    Goal-Oriented Reduction of Automata Networks Lo¨ıc Paulev´e To cite this version: Lo¨ıc Paulev´e. Goal-Oriented Reduction of Automata Networks.

    Add to Reading List

    Source URL: hal.archives-ouvertes.fr

    - Date: 2016-12-25 18:11:28
      103

      THE COMPLEXITY OF INTERSECTING FINITE AUTOMATA HAVING FEW FINAL STATES Michael Blondin, Andreas Krebs, and Pierre McKenzie

      Add to Reading List

      Source URL: www-etud.iro.umontreal.ca

      - Date: 2014-09-08 14:53:13
        104

        Radboud University Nijmegen Master Thesis Computer Science Applying Automata Learning to Complex Industrial Software by

        Add to Reading List

        Source URL: www.mbsd.cs.ru.nl

        - Date: 2012-09-18 09:31:56
          105

          Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Automata-Based Abduction for Tractable Diagnosis Thomas M. Hubauer1,2 , Steffen Lamparter2 , and Michael Pirker2 1

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2010-04-20 14:40:19
            106

            Anonymized Reachability of Hybrid Automata Networks Taylor T. Johnson1 and Sayan Mitra2 1 2

            Add to Reading List

            Source URL: www.taylortjohnson.com

            - Date: 2014-06-24 09:47:42
              107

              40 SF LEÍRÁS Amikor a mentımellény fel van fújva a sisak nem csúszik rá az arcra. Az automata felfújó SECUMATIC 3001S szélsıséges körülményekben is mőködik pl: ha a mentımellény 600 °C feletti magas

              Add to Reading List

              Source URL: secumar.hu

              - Date: 2012-07-25 05:33:09
                108

                Linear Time Logic and Deterministic omega-Automata Joachim Klein January 2005

                Add to Reading List

                Source URL: www.ltl2dstar.de

                - Date: 2012-06-22 08:41:11
                  109

                  On the complexity of membership and counting in height-deterministic pushdown automata Nutan Limaye1 , Meena Mahajan1 , and Antoine Meyer2 1 2

                  Add to Reading List

                  Source URL: www.imsc.res.in

                  - Date: 2008-02-29 07:33:09
                    UPDATE