Zum Inhalt springen

  1. Berardi, Stefano [Herausgeber:in]; Damiani, Ferruccio [Sonstige Person, Familie und Körperschaft]; deL̉iguoro, Ugo [Sonstige Person, Familie und Körperschaft] ; TYPES 2008 Turin

    Types for proofs and programs : international conference, TYPES 2008 Torino, Italy, March 26-29, 2008 ; revised selected papers

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

    Erschienen in: Lecture notes in computer science ; 5497

  2. Damiani, Ferruccio [Herausgeber:in]; Dardha, Ornela [Herausgeber:in]

    Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings - [1st ed. 2021.]

    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.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Programming and Software Engineering ; 12717

  3. Beckert, Bernhard [Verfasser:in] ; Damiani, Ferruccio [Sonstige Person, Familie und Körperschaft]; Gurov, Dilian [Sonstige Person, Familie und Körperschaft]

    Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

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

    Erschienen in: Lecture notes in computer science ; 7421

  4. Berardi, Stefano [Verfasser:in] ; Coppo, Mario [Sonstige Person, Familie und Körperschaft]; Damiani, Ferruccio [Sonstige Person, Familie und Körperschaft]

    Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

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

    Erschienen in: Lecture notes in computer science ; 3085

  5. Berardi, Stefano [Verfasser:in] ; Coppo, Mario [Sonstige Person, Familie und Körperschaft]; Damiani, Ferruccio [Sonstige Person, Familie und Körperschaft]

    Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

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

    Erschienen in: Lecture notes in computer science ; 308500

  7. Audrito, Giorgio [Verfasser:in]; Casadei, Roberto [Verfasser:in]; Damiani, Ferruccio [Verfasser:in]; Salvaneschi, Guido [Verfasser:in]; Viroli, Mirko [Verfasser:in] ; Giorgio Audrito and Roberto Casadei and Ferruccio Damiani and Guido Salvaneschi and Mirko Viroli [Mitwirkende:r]

    Functional Programming for Distributed Systems with XC

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

  8. Audrito, Giorgio [Verfasser:in]; Casadei, Roberto [Verfasser:in]; Damiani, Ferruccio [Verfasser:in]; Salvaneschi, Guido [Verfasser:in]; Viroli, Mirko [Verfasser:in] ; Giorgio Audrito and Roberto Casadei and Ferruccio Damiani and Guido Salvaneschi and Mirko Viroli [Mitwirkende:r]

    Functional Programming for Distributed Systems with XC (Artifact)

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

  9. Beckert, Bernhard [Verfasser:in] ; Damiani, Ferruccio [Sonstige Person, Familie und Körperschaft]; Boer, Frank S. [Sonstige Person, Familie und Körperschaft]; Bonsangue, Marcello M. [Sonstige Person, Familie und Körperschaft]

    Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

    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 ; 7542

  10. Bernardo, Marco [Verfasser:in] ; Damiani, Ferruccio [Herausgeber:in]; Hähnle, Reiner [Herausgeber:in]; Johnsen, Einar Broch [Herausgeber:in]; Schaefer, Ina [Herausgeber:in]

    Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

    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.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8483

  11. de Boer, Frank [Herausgeber:in]; Damiani, Ferruccio [Herausgeber:in]; Hähnle, Reiner [Herausgeber:in]; Broch Johnsen, Einar [Herausgeber:in]; Kamburjan, Eduard [Herausgeber:in]

    Active Object Languages: Current Research Trends - [1st ed. 2024.]

    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.

    Cham: Springer Nature Switzerland, 2024. ; Cham: Imprint: Springer, 2024.

    Erschienen in: Lecture Notes in Computer Science ; 14360

  12. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [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]; Berardi, Stefano [Sonstige Person, Familie und Körperschaft]; Damiani, Ferruccio [Sonstige Person, Familie und Körperschaft]; de’Liguoro, Ugo [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]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]

    Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

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

    Erschienen in: Lecture notes in computer science ; 5497

  19. Damiani, Ferruccio; Lienhardt, Michael

    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking

    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.

    Springer International Publishing, 2016

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (2016), Seite 579-596