LATELLA, DIEGO
 Distribuzione geografica
Continente #
EU - Europa 30
NA - Nord America 4
AS - Asia 3
Totale 37
Nazione #
IT - Italia 24
US - Stati Uniti d'America 4
DE - Germania 3
CN - Cina 2
FI - Finlandia 1
FR - Francia 1
JP - Giappone 1
NL - Olanda 1
Totale 37
Città #
Pisa 5
Cecina 4
Lucca 4
Boardman 2
Montenero 2
Nuremberg 2
Rome 2
Forest City 1
Groningen 1
Helsinki 1
Tokyo 1
Totale 25
Nome #
Weak simplicial bisimilarity for polyhedral models and SLCSη 11
A refined mean field approximation of synchronous discrete-time population models 3
VoxLogicA: a spatial model checker for declarative image analysis 3
On binding in the spatial logics for closure spaces 3
Towards model checking video streams using VoxLogicA on GPUs 2
A spatio-temporal model-checker 2
Using UPPAAL for the specification and verification of a lip-sync protocol-full version 2
The SCEL language: design, implementation, verification 2
Towards a GUI for declarative medical image analysis: cognitive and memory load issues 2
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis 1
Testing UML statecharts 1
On bisimilarity for polyhedral models and SLCS 1
On testing and conformance relations for UML statechart diagrams behaviours 1
A hands-on introduction to spatial model checking using VoxLogicA 1
A case study on the automated verification of groupware protocols 1
Third ERCIM FMICS international workshop 1
Spatio-temporal model-checking for collective adaptive systems 1
Dependability analysis in the early phases of UML based system design. 1
An attribute-based front-end for FlyFast 1
Towards a formal oprational semantics for UML statechert diagrams 1
Totale 41
Categoria #
all - tutte 2.407
article - articoli 356
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 264
Totale 3.027


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202439 0 0 0 0 0 0 0 1 4 5 8 21
2024/20252 2 0 0 0 0 0 0 0 0 0 0 0
Totale 41