Grigore Roșu

Roșu in 2020 Grigore Roșu (born December 12, 1971) is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in runtime verification, the K framework, matching logic, and automated coinduction. Provided by Wikipedia
Showing 1 - 6 results of 6 for search 'Rosu, Grigore', query time: 0.03s Refine Results
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I /

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2022
    Other Authors:
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II /

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2022
    Other Authors:
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2022
    Other Authors:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  4. 4
    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2022
    Other Authors:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  5. 5
    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2022
    Other Authors:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  6. 6
    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2022
    Other Authors:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:

Search Tools: