Treffer 1 - 20 von 761 für Suche 'SAN PIETRO, Pierluigi', Suchdauer: 1,65s 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
    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:
  5. 5
    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:
  6. 6
    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:
  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
    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:
  9. 9
    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:
  10. 10
    Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification

    Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification von Bouyer, Patricia, Orlandini, Andrea, Pierluigi San Pietro

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Object-oriented logical specification of time-critical systems

    Object-oriented logical specification of time-critical systems von Morzenti, Angelo, San Pietro, Pierluigi


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    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:
  13. 13
    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:
  14. 14
    Commutative Languages and their Composition by Consensual Methods

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

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

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    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:
  17. 17
    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:
  18. 18
    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:
  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
    Dense-choice Counter Machines revisited

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: