Zum Inhalt springen

  1. Baldan, Paolo [VerfasserIn] ; Gorla, Daniele [HerausgeberIn]

    CONCUR 2014 – Concurrency Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. 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, 2014

    Erschienen in: Lecture notes in computer science ; 8704

  2. Baldan, Paolo [VerfasserIn]; Raffaetà, Alessandra [VerfasserIn] ; Paolo Baldan and Alessandra Raffaetà [MitwirkendeR]

    Minimisation of Event Structures

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

  3. Baldan, Paolo [HerausgeberIn]; Paiva, Valeria de [HerausgeberIn] ; CALCO 10. 2023 Bloomington, Ind

    10th Conference on Algebra and Coalgebra in Computer Science : CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA

    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.

    Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, September, 2023

    Erschienen in: Leibniz international proceedings in informatics ; 270

  7. Baldan, Paolo [VerfasserIn]; Ranzato, Francesco [VerfasserIn]; Zhang, Linpeng [VerfasserIn] ; Paolo Baldan and Francesco Ranzato and Linpeng Zhang [MitwirkendeR]

    A Rice’s Theorem for Abstract Semantics

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

  11. Baldan, Paolo [VerfasserIn]; Eggert, Richard [VerfasserIn]; König, Barbara [VerfasserIn]; Padoan, Tommaso [VerfasserIn] ; Paolo Baldan and Richard Eggert and Barbara König and Tommaso Padoan [MitwirkendeR]

    A Lattice-Theoretical View of Strategy Iteration

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

  12. Baldan, Paolo [VerfasserIn]; Bonchi, Filippo [VerfasserIn]; Kerstan, Henning [VerfasserIn]; König, Barbara [VerfasserIn] ; Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara König [MitwirkendeR]

    Towards Trace Metrics via Functor Lifting

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

  13. Baldan, Paolo [VerfasserIn]; Bonchi, Filippo [VerfasserIn]; Kerstan, Henning [VerfasserIn]; König, Barbara [VerfasserIn] ; Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara König [MitwirkendeR]

    Behavioral Metrics via Functor Lifting

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