FELLI, PAOLO
 Distribuzione geografica
Continente #
AS - Asia 121
NA - Nord America 107
EU - Europa 49
AF - Africa 3
OC - Oceania 2
Totale 282
Nazione #
US - Stati Uniti d'America 107
SG - Singapore 83
CN - Cina 34
IT - Italia 30
FI - Finlandia 7
FR - Francia 4
CI - Costa d'Avorio 3
DE - Germania 3
AT - Austria 2
AU - Australia 2
HK - Hong Kong 2
IN - India 1
JP - Giappone 1
NL - Olanda 1
RU - Federazione Russa 1
UA - Ucraina 1
Totale 282
Città #
Singapore 81
Ashburn 21
Santa Clara 20
Florence 14
Bologna 7
Helsinki 6
Abidjan 3
Shanghai 3
Wuhan 3
Foshan 2
Hangzhou 2
Hong Kong 2
Los Angeles 2
Melbourne 2
Reggio Emilia 2
Rome 2
Vedelago 2
Vienna 2
Xi'an 2
Amsterdam 1
Beijing 1
Bentivoglio 1
Bolzano 1
Changsha 1
Changzhou 1
Chengdu 1
Chicago 1
Dongguan 1
Ebisu 1
Gatchina 1
Guangzhou 1
Harbin 1
Huzhou 1
Hyderabad 1
Jiaxing 1
Karlsruhe 1
Lappeenranta 1
Mainz 1
Nanjing 1
Ningbo 1
Shenzhen 1
Wuxi 1
Totale 201
Nome #
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation 33
Integrating BPMN and DMN: Modeling and Analysis 29
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic 26
Data-aware conformance checking with SMT 26
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief 24
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions 20
CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic 20
Monitoring Arithmetic Temporal Properties on Finite Traces 16
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems 12
A Semantic Approach to Decidability in Epistemic Planning 12
Repairing Soundness Properties in Data-Aware Processes 12
Synthesising process controllers from formal models of transformable assembly systems 12
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors 11
SMT-based Safety Checking of Parameterized Multi-Agent Systems 9
A Semantic Approach to Decidability in Epistemic Planning 8
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT 8
Supervisory Control for Behavior Composition 8
Soundness of data-aware processes with arithmetic conditions 8
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs 8
Conformance Checking with Uncertainty via SMT 7
Agent composition synthesis based on ATL 7
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing 6
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) 6
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others 6
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach 6
Two-Player Game Structures for Generalized Planning and Agent Composition 6
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events 5
Goal-based composition of stateful services for smart homes 5
On the Flexibility of Declarative Process Specifications 5
Synthesizing agent protocols from LTL specifications against multiple partially-observable environments 5
Description logic Knowledge and Action Bases 5
Planning for a Single Agent in a Multi-Agent Environment Using FOND 5
Parallel Behavior Composition for Manufacturing 4
Towards team formation via automated planning 4
Synthesis of Orchestrations of Transducers for Manufacturing 4
Synthesising Industry-Standard Manufacturing Process Controllers 4
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases 4
A Holistic Approach for Soundness Verification of Decision-Aware Process Models 4
Composite Capabilities for Cloud Manufacturing 4
Toward Process Control from Formal Models of Transformable Manufacturing Systems 4
Foundations of Relational Artifacts Verification 4
'Knowing Whether' in Proper Epistemic Knowledge Bases 3
Soundness verification of decision-aware process models with variable-to-variable conditions 3
Computing Social Behaviours Using Agent Models 3
Unbounded Orchestrations of Transducers for Manufacturing 3
Verification of Description Logic Knowledge and Action Bases 3
Process Plan Controllers for Non-Deterministic Manufacturing Systems 3
Planning over multi-agent epistemic states: A classical planning approach 2
Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications 2
delphic: Practical DEL Planning via Possibilities 2
Realisability of Production Recipes 2
Totale 438
Categoria #
all - tutte 2.187
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 2.187


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/2023127 0 0 0 0 36 68 0 2 0 0 0 21
2023/202471 4 0 7 5 0 8 4 7 3 14 18 1
2024/2025240 44 129 41 26 0 0 0 0 0 0 0 0
Totale 438