Special issue: part special issue on graph transformation and visual modeling techniques : [... International Workshop on Graph Transformation and Visual Modeling Techniques ...t...

Veröffentlicht 2013

Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques

von Gadducci, Fabio
Veröffentlicht in JELIA (17. : 2021 : Online) Logics in Artificial Intelligence (2021)

Pisa, 1954-1961: Assessing key stages of a seminal Italian project

von Cignoni, Giovanni A.
Veröffentlicht in IEEE annals of the history of computing / publ. by the IEEE Computer Society (2020)

La CEP prima della CEP : storia dell'informatica ; divulgazione scientifica e didattica sperimentale ; Pisa, 11-12 novembre 2011, atti del convegno

Veröffentlicht 2013

Eccetto Topolino : lo scontro culturale tra fascismo e fumetti

von Gadducci, Fabio
Veröffentlicht 2011

Graph Rewriting Components

von Heckel, Reiko
Veröffentlicht in ICGT (15. : 2022 : Nantes) Graph transformation (2022)

Towards a Spatial Model Checker on GPU

von Bussi, Laura
Veröffentlicht in FORTE (41. : 2021 : Online) Formal Techniques for Distributed Objects, Components, and Systems (2021)

A Spatial Logic with Time and Quantifiers

von Bussi, Laura
Veröffentlicht in DaLí (5. : 2023 : Tiflis) Dynamic logic - new trends and applications (2024)

Special issue on application-oriented aspects of graphs and graph transformation (ICGT 2020)

Veröffentlicht 2022

Graph Transformation : 14th International Conference, ICGT 2021, held as Part of STAF 2021, Virtual Event, June 24–25, 2021, proceedings

Veröffentlicht 2021

History and philosophy of computing : third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 ; revised selected papers

Veröffentlicht 2016

History and philosophy of computing : third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers

Veröffentlicht 2016

Theoretical Topics in Graph Transformation

Veröffentlicht 2021-2022

Implementation Correctness for Replicated Data Types, Categorically

von Gadducci, Fabio
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

Towards Model Checking Video Streams Using VoxLogicA on GPUs

von Bussi, Laura
Veröffentlicht in DataMod (10. : 2021 : Online) From data to models and back (2022)

On Binding in the Spatial Logics for Closure Spaces

von Bussi, Laura
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Graph transformation : 13th international conference, ICGT 2020, held as a part of STAF 2020, Bergen, Norway, June 25-26, 2020 : proceedings

Veröffentlicht 2020

Architecting dependable systems VI

Veröffentlicht 2009