Zum Inhalt springen

  1. Lucanu, Dorel [VerfasserIn]; Goriac, Eugen-Ioan [VerfasserIn]; Caltais, Georgiana [VerfasserIn]; Roşu, Grigore [VerfasserIn]

    CIRC : A Behavioral Verification Tool Based on Circular Coinduction

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Konstanz: KOPS Universität Konstanz, 2009

  2. Finkbeiner, Bernd [VerfasserIn]; Havelund, Klaus [VerfasserIn]; Rosu, Grigore [VerfasserIn]; Sokolsky, Oleg [VerfasserIn] ; Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky [MitwirkendeR]

    07011 Abstracts Collection – Runtime Verification

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  3. Finkbeiner, Bernd [VerfasserIn]; Havelund, Klaus [VerfasserIn]; Rosu, Grigore [VerfasserIn]; Sokolsky, Oleg [VerfasserIn] ; Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky [MitwirkendeR]

    07011 Executive Summary – Runtime Verification

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  4. Barringer, Howard [VerfasserIn] ; Falcone, Ylies [Sonstige Person, Familie und Körperschaft]; Finkbeiner, Bernd [Sonstige Person, Familie und Körperschaft]; Havelund, Klaus [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Pace, Gordon J. [Sonstige Person, Familie und Körperschaft]; Rosu, Grigore [Sonstige Person, Familie und Körperschaft]; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft]; Tillmann, Nikolai [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6418

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 5140

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen 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

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Open Publishing Association, 2018

    Erschienen in: Electronic Proceedings in Theoretical Computer Science

  9. Grigore Rosu

    Matching Logic

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2017

    Erschienen in: Logical Methods in Computer Science

  14. Roşu, Grigore

    Preface

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier BV, 2009

    Erschienen in: Electronic Notes in Theoretical Computer Science