IRIS
RAIMONDI, FRANCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 257
NA - Nord America 193
EU - Europa 112
Totale 562
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 192
CN - Cina 122
SG - Singapore 96
IT - Italia 58
TR - Turchia 38
DE - Germania 22
NL - Olanda 11
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 562
Salva come PNG Salva come JPEG
Città #
Boardman 143
Singapore 76
Milan 54
Istanbul 38
Shanghai 22
Shenzhen 19
Santa Clara 14
Guangzhou 12
Amsterdam 11
Munich 11
Brno 8
Chicago 8
Taizhou 4
Helsinki 3
Jiaxing 3
Zhuji 3
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
Nantong 1
Quanzhou 1
Seattle 1
Stockton-on-Tees 1
Vienna 1
Weitang 1
Wuxi 1
Totale 452
Salva come PNG Salva come JPEG
Nome #
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints 24
Model-checking for Resource-Bounded ATL with production and consumption of resources 20
Analysis and verification of ECA rules in intelligent environments 20
The packing chromatic number of the infinite square lattice is between 13 and 15 19
The anonymous subgraph problem 19
Application of verification techniques to security: Model checking insider attacks 18
Taking Arduino to the Internet of Things: The ASIP programming model 15
vIRONy: A tool for analysis and verification of ECA rules in intelligent environments 14
Contradictory information flow in networks with trust and distrust 14
Aviation safety: Modeling and analyzing complex interactions between humans and automated systems 14
Differential cost analysis with simultaneous potentials and anti-potentials 14
Software theory change for resilient near-complete specifications 13
Decidable model-checking for a resource logic with production of resources 13
Towards Cyber-physical Systems as Services: The ASIP Protocol 13
A model for trustworthy orchestration in the internet of things 13
A typed natural deduction calculus to reason about secure trust 13
Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers 13
Implementing adaptation and reconfiguration strategies in heterogeneous WSN 12
Automatic Annotation of~Confidential Data in~Java Code 12
Domain types: Abstract-domain selection based on variable usage 12
A theory of change for prioritised resilient and evolvable software systems 12
CoSMed: A confidentiality-verified social media platform 12
Comparing approaches for model-checking strategies under imperfect information and fairness constraints 12
Combinatorial optimization based recommender systems 12
CoSMed: A Confidentiality-Verified Social Media Platform 12
Trust and distrust in contradictory information transmission 11
A Constrained ECA Language Supporting Formal Verification of WSNs 11
A Computationally Grounded, Weighted Doxastic Logic 11
A novel symbolic approach to verifying epistemic properties of programs 11
Slrtool: A tool to support collaborative systematic literature reviews 11
MIRTO: An open-source robotic platform for education 11
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper) 11
Symbolic model checking for one-resource RB?ATL 11
MCMAS: an open-source model checker for the verification of multi-agent systems 11
Lifting On-Demand Analysis to Higher-Order Languages 10
A synergistic and extensible framework for multi-agent system verification 10
A proof-theoretic trust and reputation model for VANET 10
Symbolic model-checking for resource-bounded ATL 10
Symbolic verification of event?condition?action rules in intelligent environments 10
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees 10
Teaching functional patterns through robotic applications 10
The anonymous subgraph problem 10
An approach to quantify workload in a system of agents 9
On the Role of Value Sensitive Concerns in Software Engineering Practice 9
Improving the model checking of strategies under partial observability and fairness constraints 9
Programming the MIRTO robot with neurons 9
Multi-agent based simulations of block-free distributed ledgers 9
Modeling complex Air Traffic Management Systems 8
Minimizing transitive trust threats in software management systems 8
On-the-fly image classification to help blind people 7
Totale 612
Salva come PNG Salva come JPEG
Categoria #
all - tutte 4.715
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 4.715
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/2025513 43 140 234 50 46 0 0 0 0 0 0 0
Totale 612