IRIS
RAIMONDI, FRANCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 192
AS - Asia 173
EU - Europa 101
Totale 466
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 191
SG - Singapore 88
CN - Cina 84
IT - Italia 58
DE - Germania 22
CZ - Repubblica Ceca 8
FR - Francia 6
FI - Finlandia 3
AT - Austria 2
CA - Canada 1
GB - Regno Unito 1
HK - Hong Kong 1
LU - Lussemburgo 1
Totale 466
Salva come PNG Salva come JPEG
Città #
Boardman 143
Singapore 68
Milan 54
Shanghai 15
Santa Clara 14
Shenzhen 13
Munich 11
Brno 8
Chicago 8
Guangzhou 8
Taizhou 4
Helsinki 3
Zhuji 3
Jiaxing 2
North Charleston 2
Nuremberg 2
Subiaco 2
Xi'an 2
Beijing 1
Cologne 1
Fuzhou 1
Haining 1
Hong Kong 1
Jiujiang 1
Luxembourg 1
Montreal 1
Quanzhou 1
Seattle 1
Stockton-on-Tees 1
Vienna 1
Weitang 1
Totale 375
Salva come PNG Salva come JPEG
Nome #
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints 20
Model-checking for Resource-Bounded ATL with production and consumption of resources 18
Analysis and verification of ECA rules in intelligent environments 18
Application of verification techniques to security: Model checking insider attacks 18
The anonymous subgraph problem 17
The packing chromatic number of the infinite square lattice is between 13 and 15 16
vIRONy: A tool for analysis and verification of ECA rules in intelligent environments 13
Contradictory information flow in networks with trust and distrust 13
Taking Arduino to the Internet of Things: The ASIP programming model 13
Towards Cyber-physical Systems as Services: The ASIP Protocol 12
Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers 12
Aviation safety: Modeling and analyzing complex interactions between humans and automated systems 11
Slrtool: A tool to support collaborative systematic literature reviews 11
A model for trustworthy orchestration in the internet of things 11
A typed natural deduction calculus to reason about secure trust 11
Differential cost analysis with simultaneous potentials and anti-potentials 11
Comparing approaches for model-checking strategies under imperfect information and fairness constraints 11
Combinatorial optimization based recommender systems 11
A synergistic and extensible framework for multi-agent system verification 10
Software theory change for resilient near-complete specifications 10
Automatic Annotation of~Confidential Data in~Java Code 10
Domain types: Abstract-domain selection based on variable usage 10
Decidable model-checking for a resource logic with production of resources 10
CoSMed: A confidentiality-verified social media platform 10
MCMAS: an open-source model checker for the verification of multi-agent systems 10
CoSMed: A Confidentiality-Verified Social Media Platform 10
Implementing adaptation and reconfiguration strategies in heterogeneous WSN 9
A Constrained ECA Language Supporting Formal Verification of WSNs 9
A proof-theoretic trust and reputation model for VANET 9
A Computationally Grounded, Weighted Doxastic Logic 9
A novel symbolic approach to verifying epistemic properties of programs 9
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees 9
MIRTO: An open-source robotic platform for education 9
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper) 9
The anonymous subgraph problem 9
Symbolic verification of event?condition?action rules in intelligent environments 8
Improving the model checking of strategies under partial observability and fairness constraints 8
Programming the MIRTO robot with neurons 8
A theory of change for prioritised resilient and evolvable software systems 8
Symbolic model checking for one-resource RB?ATL 8
Teaching functional patterns through robotic applications 8
Multi-agent based simulations of block-free distributed ledgers 8
Trust and distrust in contradictory information transmission 7
Lifting On-Demand Analysis to Higher-Order Languages 7
On-the-fly image classification to help blind people 7
An approach to quantify workload in a system of agents 7
Symbolic model-checking for resource-bounded ATL 7
On the Role of Value Sensitive Concerns in Software Engineering Practice 6
Minimizing transitive trust threats in software management systems 6
Modeling complex Air Traffic Management Systems 5
Totale 516
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.659
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 3.659
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202499 0 0 0 0 0 0 0 0 0 0 52 47
2024/2025417 43 140 234 0 0 0 0 0 0 0 0 0
Totale 516