Treffer 1 - 20 von 114 für Suche 'SAN PIETRO, Pierluigi', Suchdauer: 0,82s Treffer weiter einschränken
  1. 1
    From words to pictures: Row-column combinations and Chomsky-Schützenberger theorem

    From words to pictures: Row-column combinations and Chomsky-Schützenberger theorem von Crespi Reghizzi, Stefano, Restivo, Antonio, San Pietro, Pierluigi

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Bounded satisfiability checking of metric temporal logic specifications

    Bounded satisfiability checking of metric temporal logic specifications von Pradella, Matteo, Morzenti, Angelo, Pietro, Pierluigi San


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Model Checking MITL Formulae on Timed Automata: A Logic-based Approach

    Model Checking MITL Formulae on Timed Automata: A Logic-based Approach von Menghi, Claudio, Bersani, Marcello M., Rossi, Matteo, Pietro, Pierluigi San


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    From Regular to Strictly Locally Testable Languages

    From Regular to Strictly Locally Testable Languages von Crespi Reghizzi, Stefano, San Pietro, Pierluigi


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A scalable formal method for design and automatic checking of user interfaces

    A scalable formal method for design and automatic checking of user interfaces von Berstel, Jean, Reghizzi, Stefano Crespi, Roussel, Gilles, Pietro, Pierluigi San


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Formal Methods Teaching: 5th International Workshop, FMTea 2023, lübeck, Germany, March 6, 2023, Proceedings

    Formal Methods Teaching: 5th International Workshop, FMTea 2023, lübeck, Germany, March 6, 2023, Proceedings von Dubois, Catherine, San Pietro, Pierluigi

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Dense-choice Counter Machines revisited

    Dense-choice Counter Machines revisited von Bouchy, Florent, Finkel, Alain, San Pietro, Pierluigi


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Commutative Languages and their Composition by Consensual Methods

    Commutative Languages and their Composition by Consensual Methods von Crespi Reghizzi, Stefano, San Pietro, Pierluigi


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Regular languages as images of local functions over small alphabets

    Regular languages as images of local functions over small alphabets von Crespi Reghizzi, Stefano, San Pietro, Pierluigi

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Regular languages and associative language descriptions

    Regular languages and associative language descriptions von Anselmo, Marcella, Cherubini, Alessandra, San Pietro, Pierluigi


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Deciding the Satisfiability of MITL Specifications

    Deciding the Satisfiability of MITL Specifications von Bersani, Marcello Maria, Rossi, Matteo, San Pietro, Pierluigi


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Consensual languages and matching finite-state computations

    Consensual languages and matching finite-state computations von Crespi Reghizzi, Stefano, San Pietro, Pierluigi


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Deque automata, languages, and planar graph representations

    Deque automata, languages, and planar graph representations von Crespi Reghizzi, Stefano, San Pietro, Pierluigi

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Reducing the local alphabet size in tiling systems by means of 2D comma-free codes

    Reducing the local alphabet size in tiling systems by means of 2D comma-free codes von Crespi Reghizzi, Stefano, Restivo, Antonio, San Pietro, Pierluigi

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Picture languages: Tiling systems versus tile rewriting grammars

    Picture languages: Tiling systems versus tile rewriting grammars von Cherubini, Alessandra, Crespi Reghizzi, Stefano, Pradella, Matteo, San Pietro, Pierluigi

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    On the initialization of clocks in timed formalisms

    On the initialization of clocks in timed formalisms von Bersani, Marcello M., Rossi, Matteo, San Pietro, Pierluigi

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    The Missing Case in Chomsky-Schützenberger Theorem

    The Missing Case in Chomsky-Schützenberger Theorem von Crespi Reghizzi, Stefano, San Pietro, Pierluigi


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Non-erasing Chomsky-Schützenberger theorem with grammar-independent alphabet

    Non-erasing Chomsky-Schützenberger theorem with grammar-independent alphabet von Crespi Reghizzi, Stefano, San Pietro, Pierluigi

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Preface

    Preface von Murano, Aniello, Bouyer, Patricia, San Pietro, Pierluigi, Orlandini, Andrea

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    An SMT-based approach to satisfiability checking of MITL

    An SMT-based approach to satisfiability checking of MITL von Bersani, Marcello M., Rossi, Matteo, San Pietro, Pierluigi

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: