Skip to contents

  1. Finkbeiner, Bernd [Author]; Havelund, Klaus [Author]; Rosu, Grigore [Author]; Sokolsky, Oleg [Author] ; Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky [Contributor]

    07011 Executive Summary – Runtime Verification

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  4. Barringer, Howard [Author] ; Falcone, Ylies [Other]; Finkbeiner, Bernd [Other]; Havelund, Klaus [Other]; Lee, Insup [Other]; Pace, Gordon J. [Other]; Rosu, Grigore [Other]; Sokolsky, Oleg [Other]; Tillmann, Nikolai [Other]

    Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Published in: Lecture notes in computer science ; 6418

  5. Hutchison, David [Other]; Pandu Rangan, C. [Other]; Rosu, Grigore [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Meseguer, José [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

    Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5140

  6. Luminita, Chivu [Author] ; Ciutacu, Constantin [Other]; Ioan-Franc, Valeriu [Other]; Andrei, Jean [Other]; Elena, Zamfir [Other]; Mărginean, Ioan [Other]; Ştefănescu, Maria Livia [Other]; Ştefănescu, Ştefan [Other]; Constantinescu, Dan [Other]; Mariana, Stanciu [Other]; Mihăilescu, Adina [Other]; Delia, Costache [Other]; Cristea, Costache [Other]; Ipate, Iudith [Other]; Moldoveanu, Maria [Other]; Neacsu, Paula [Other]; Mărculescu, Ileana-Andra [Other]; Dimitriu, Mihail [Other]; Frone, Simona [Other]; Ciutacu, Otilia Teodora [Other]; Gaf-Deac, Ioan [Other]; Chervinskaya, Irina [Other]; TOMA, SORIN-GEORGE [Other]; Marinescu, Paul [Other]; Constantin, Ionut [Other]; [...]

    Economic Dynamics and Sustainable Development – Resources Factors, Structures, and Policies, Proceedings ESPERA 2016 – Part 2

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [S.l.]: SSRN, [2019]

    Published in: Proceedings ESPERA 2016 “Economic Dynamics and Sustainable Development – Resources, Factors, Structures and Policies” are edited by: Luminita Chivu, Constantin Ciutacu, Valeriu Ioan-Franc and Jean-Vasile Andrei, and published by Peter Lang Publishing, Germany, ISBN: 9783653065718 The full content of

  8. Rosu, Grigore

    Why and How Does K Work? The Logical Infrastructure Behind It : Invited Talk at the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Invited Talk at the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Open Publishing Association, 2018

    Published in: Electronic Proceedings in Theoretical Computer Science

  9. Grigore Rosu

    Matching Logic

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2017

    Published in: Logical Methods in Computer Science

  14. Roşu, Grigore

    Preface

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Elsevier BV, 2009

    Published in: Electronic Notes in Theoretical Computer Science