Zum Inhalt springen

  1. Fribourg, Laurent [Herausgeber:in] ; European Association for Computer Science Logic, CSL 15 2001 Paris

    Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10 - 13, 2001 ; 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 [u.a.]: Springer, 2001

    Erschienen in: Lecture notes in computer science ; 2142

  3. Fribourg, Laurent [Herausgeber:in]; Turini, Franco [Sonstige Person, Familie und Körperschaft] ; International Workshop on Logic Program Synthesis and Transformation (4th :1994 :Pisa, Italy), LOPSTR 4 1994 Pisa, META 4 1994 Pisa

    Logic program synthesis and transformation, meta-programming in logic : 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; New York; London; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1994

    Erschienen in: Lecture notes in computer science ; 883

  5. Fribourg, Laurent [Verfasser:in]

    Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, 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-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 2142

  6. Fribourg, Laurent [Verfasser:in] ; Turini, Franco [Sonstige Person, Familie und Körperschaft]

    Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. 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, 1994

    Erschienen in: Lecture notes in computer science ; 883

  7. Braberman, Víctor [Verfasser:in] ; Fribourg, Laurent [Herausgeber:in]

    Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. 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, 2013

    Erschienen in: Lecture notes in computer science ; 8053

  8. Fribourg, Laurent [Sonstige Person, Familie und Körperschaft] ; LOPSTR 4 1994 Pisa, META 4 1994 Pisa

    Logic program synthesis and transformation - meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994 ; 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 [u.a.]: Springer, 1994 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 88300

  9. Fribourg, Laurent [Herausgeber:in]; Pettorossi, Alberto [Gefeierte:r] ; International Workshop on Verification and Program Transformation 8. 2020 Dublin, Open Publishing Association, Workshop on Horn Clauses for Verification and Synthesis 7. 2020 Dublin

    Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis : Dublin, Ireland, 25-26th April 2020

    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.

    [Waterloo, NSW]: [Open Publishing Association], 7th August 2020

    Erschienen in: Electronic proceedings in theoretical computer science ; 320

  10. Fribourg, Laurent [Verfasser:in]; Kühne, Ulrich [Verfasser:in]; Markey, Nicolas [Verfasser:in] ; Laurent Fribourg and Ulrich Kühne and Nicolas Markey [Mitwirkende:r]

    Game-based Synthesis of Distributed Controllers for Sampled Switched Systems

    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, 2015

  12. Mohamed, Sameh [Verfasser:in] ; Université Paris-Saclay (ComUE) [Mitwirkende:r]; Fribourg, Laurent [Mitwirkende:r]

    Une méthode topologique pour la recherche d'ensembles invariants de systèmes continus et à communtation ; A topological method for finding invariant sets of continuous and switched systems

    Hochschulschriften
    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.

    theses.fr, 2016-10-17

  14. Aazan, Georges [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Girard, Antoine [Mitwirkende:r]; Fribourg, Laurent [Mitwirkende:r]; Greco, Luca [Mitwirkende:r]

    Stability of constrained switched systems driven by ω-regular languages ; Stabilité des systèmes commutés contraints par des langages ω-réguliers

    Hochschulschriften
    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.

    theses.fr, 2023-10-27

  15. Saoud, Adnane [Verfasser:in] ; Université Paris-Saclay (ComUE) [Mitwirkende:r]; Girard, Antoine [Mitwirkende:r]; Fribourg, Laurent [Mitwirkende:r]

    Compositional and Efficient Controller Synthesis for Cyber-Physical Systems ; Synthèse Compositionnelle et Efficace de Contrôleurs pour les Systèmes Cyber-Physiques

    Hochschulschriften
    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.

    theses.fr, 2019-10-07

  16. Le Coënt, Adrien [Verfasser:in]; de Vuyst, Florian [Verfasser:in]; Rey, Christian [Verfasser:in]; Chamoin, Ludovic [Verfasser:in]; Fribourg, Laurent [Verfasser:in] ; Adrien Le Coënt and Florian de Vuyst and Christian Rey and Ludovic Chamoin and Laurent Fribourg [Mitwirkende:r]

    Guaranteed control of switched control systems using model order reduction and state-space bisection

    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, 2015

  17. Le Coënt, Adrien [Verfasser:in] ; Université Paris-Saclay (ComUE) [Mitwirkende:r]; Vuyst, Florian de [Mitwirkende:r]; Chamoin, Ludovic [Mitwirkende:r]; Fribourg, Laurent [Mitwirkende:r]

    Guaranteed control synthesis for switched space-time dynamical systems ; Synthèse de contrôle garanti pour des systèmes dynamiques spatio-temporels à commutation

    Hochschulschriften
    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.

    theses.fr, 2017-10-02

  18. Beierle, Christoph [Mitwirkende:r]; Bergstra, J.A [Mitwirkende:r]; Bockmayr, Alexander [Mitwirkende:r]; Bousdira, Wadoud [Mitwirkende:r]; Comon, Hubert [Mitwirkende:r]; Dahn, Bernd I. [Mitwirkende:r]; Dayantis, George [Mitwirkende:r]; Drosten, K. [Mitwirkende:r]; Ffllop, Z. [Mitwirkende:r]; Foret, Annie [Mitwirkende:r]; Fribourg, Laurent [Mitwirkende:r]; Giovannetti, Elio [Mitwirkende:r]; Goltz, Hans-Joachim [Mitwirkende:r]; Grabowski, Jan [Herausgeber:in]; Hansen, Horst [Mitwirkende:r]; Hofbauer, Dieter [Mitwirkende:r]; Hoffmann, Berthold [Mitwirkende:r]; Hussmarm, Heinrich [Mitwirkende:r]; Jouannaud, Jean-Pierre [Mitwirkende:r]; Kirchner, Claude [Mitwirkende:r]; Kirchner, Hélène [Mitwirkende:r]; Kucherov, G.A [Mitwirkende:r]; Kutsche, Ralf-Detlef [Mitwirkende:r]; Lescanne, Pierre [Herausgeber:in]; [...]

    Algebraic and Logic Programming : Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 - [Reprint 2022]

    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; Boston: De Gruyter, [2022]

    Erschienen in: Mathematical Research ; 49 ; Mathematische Forschung