Zum Inhalt springen

  1. Lomuscio, Alessio R. [VerfasserIn] ; Nepal, Surya [HerausgeberIn]; Patrizi, Fabio [HerausgeberIn]; Benatallah, Boualem [HerausgeberIn]; Brandić, Ivona [HerausgeberIn]

    Service-Oriented Computing – ICSOC 2013 Workshops : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. 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.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8377

  2. Lomuscio, Alessio R. [VerfasserIn]; Pinchinat, Sophie [VerfasserIn]; Schlingloff, Holger [VerfasserIn] ; Alessio R. Lomuscio and Sophie Pinchinat and Holger Schlingloff [MitwirkendeR]

    VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)

    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.

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

  3. Lomuscio, Alessio R.

    Advances in symbolic model checking for multi-agent systems : Invited Presentation at the Fifth International Symposium on Games, Automata, Logics and Formal Verification : Invited Presentation at the Fifth International Symposium on Games, Automata, Logics and Formal Verification

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

    Erschienen in: Electronic Proceedings in Theoretical Computer Science

  4. Lomuscio, Alessio R.

    Model Checking Systems Against Epistemic Specifications : Invited Presentation at the 2nd International Workshop on Strategic Reasoning : Invited Presentation at the 2nd International Workshop on Strategic Reasoning

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

    Erschienen in: Electronic Proceedings in Theoretical Computer Science

  5. Lomuscio, Alessio R.

    Model Checking Systems against Epistemic Specifications : Invited Presentation at the 1st International Workshop on Strategic Reasoning : Invited Presentation at the 1st International Workshop on Strategic Reasoning

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

    Erschienen in: Electronic Proceedings in Theoretical Computer Science

  7. Lomuscio, Alessio R.; Wooldridge, Michael; Jennings, Nicholas R.

    Lecture Notes in Computer Science: A Classification Scheme for Negotiation in Electronic Commerce

    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.

    Springer Berlin Heidelberg, 2001

    Erschienen in: Lecture Notes in Computer Science