PATRIZI, FABIO
 Distribuzione geografica
Continente #
NA - Nord America 390
EU - Europa 341
AS - Asia 40
AF - Africa 7
OC - Oceania 7
SA - Sud America 3
Totale 788
Nazione #
US - Stati Uniti d'America 382
IT - Italia 144
FR - Francia 64
FI - Finlandia 32
DE - Germania 22
GB - Regno Unito 19
NL - Olanda 12
CN - Cina 11
BG - Bulgaria 7
CA - Canada 7
IR - Iran 7
AU - Australia 6
IN - India 6
SE - Svezia 6
UA - Ucraina 6
BE - Belgio 5
DK - Danimarca 5
ID - Indonesia 5
SG - Singapore 5
ZA - Sudafrica 5
CZ - Repubblica Ceca 4
RU - Federazione Russa 4
HK - Hong Kong 3
RO - Romania 3
AT - Austria 2
BR - Brasile 2
NO - Norvegia 2
TH - Thailandia 2
CH - Svizzera 1
CL - Cile 1
EG - Egitto 1
IE - Irlanda 1
LV - Lettonia 1
MX - Messico 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PT - Portogallo 1
TN - Tunisia 1
Totale 788
Città #
Rome 83
Houston 41
Santa Cruz 38
Ashburn 31
Lappeenranta 24
Buffalo 23
Fairfield 19
Ann Arbor 13
Seattle 13
Woodbridge 13
Halifax 9
Paris 9
San Diego 9
Helsinki 8
Milan 7
Wilmington 7
Los Angeles 6
Melbourne 6
Naples 6
Sofia 6
Tehran 6
Brussels 5
Cambridge 5
Chicago 5
Council Bluffs 5
Des Moines 5
Reggio Calabria 5
Dallas 4
Las Vegas 4
New York 4
Stockholm 4
Toronto 4
Arlington 3
Banda Aceh 3
Bhopal 3
Columbus 3
Copenhagen 3
Henderson 3
Muizenberg 3
Nuremberg 3
Oldham 3
Rende 3
Velletri 3
Aachen 2
Andover 2
Anguillara Sabazia 2
Bangkok 2
Bengaluru 2
Boardman 2
Bucharest 2
Cedar Knolls 2
Clearwater 2
Fabrica Di Roma 2
Grassobbio 2
Hangzhou 2
Herpen 2
Kongens Lyngby 2
Lanciano 2
London 2
Monza 2
Munich 2
Münster 2
New Orleans 2
North Bergen 2
Padova 2
Palembang 2
Pasadena 2
Phoenix 2
Recife 2
Santa Clara 2
Southend 2
Sunnyvale 2
Trieste 2
Utrecht 2
Vienna 2
Évian-les-Bains 2
Amsterdam 1
Atlanta 1
Bari 1
Barmstedt 1
Bolzano 1
Boulder 1
Bradford 1
Central District 1
Chattanooga 1
Chennai 1
Cheyenne 1
Cloppenburg 1
College Park 1
Craiova 1
Davao City 1
Delft 1
Dublin 1
Elk Grove Village 1
Figueira da Foz Municipality 1
Fleming Island 1
Frankfurt am Main 1
Fremont 1
Frogner 1
Giza 1
Totale 550
Nome #
Agent planning programs, file e3835313-e7eb-15e8-e053-a505fe0a3de9 99
Progression and Verification of Situation Calculus Agents with Bounded Beliefs, file e3835313-e1d2-15e8-e053-a505fe0a3de9 93
Bounded situation calculus action theories, file e3835315-1ea9-15e8-e053-a505fe0a3de9 93
null, file e383532e-b590-15e8-e053-a505fe0a3de9 84
Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis, file 2e718752-17dc-4ad9-84ce-95634141724a 56
Temporal logic monitoring rewards via transducers, file e3835329-00ef-15e8-e053-a505fe0a3de9 53
Restraining bolts for reinforcement learning agents, file e3835327-e357-15e8-e053-a505fe0a3de9 39
A formalization of multi-agent planning with explicit agent representation, file 1646069d-2422-4140-91d3-0d3e25991494 27
Imitation learning over heterogeneous agents with restraining bolts, file e3835327-e0bd-15e8-e053-a505fe0a3de9 26
Data-Aware Declarative Process Mining with SAT, file 756eb02d-4adf-447d-a38d-1902025c4b17 20
Discovering declarative process model behavior from event logs via model learning, file e383532d-a5ef-15e8-e053-a505fe0a3de9 18
High-level programming via generalized planning and LTL synthesis, file e383532e-ae78-15e8-e053-a505fe0a3de9 18
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach, file 8402e11a-733b-454e-9ada-cf503ad87cd4 17
Verifying congolog programs on bounded situation calculus theories, file e3835316-fbef-15e8-e053-a505fe0a3de9 16
LTLf/LDLf Non-Markovian Rewards, file e383531d-54df-15e8-e053-a505fe0a3de9 16
A tool for compiling Declarative Process Mining problems in ASP, file 5234626e-cb70-497e-9b53-a18be6e7252d 13
Plan Synthesis for Knowledge and Action Bases, file e3835316-2915-15e8-e053-a505fe0a3de9 12
Verification and monitoring for first-order LTL with persistence-preserving quantification over finite and infinite traces, file 99113c5f-0efb-468d-9ad2-1e01aa438a91 10
Synthesizing and executing plans in Knowledge and Action Bases, file e3835321-c42e-15e8-e053-a505fe0a3de9 10
Timed trace alignment with metric temporal logic over finite traces, file e383532d-6fb3-15e8-e053-a505fe0a3de9 7
Situation calculus for controller synthesis in manufacturing systems with first-order state representation (extended abstract), file d079ef22-f347-4539-9063-b1d1a79bd5b0 6
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment, file e3835318-a2b0-15e8-e053-a505fe0a3de9 6
Mimicking Behaviors in Separated Domains, file a313a16e-4c8c-4357-8d8c-8b4561ff4257 5
A tool for declarative Trace Alignment via automated planning, file c53dea6d-81f3-4dd3-997f-ad593572578b 5
Verification and synthesis in description logic based dynamic systems, file e3835312-2e5d-15e8-e053-a505fe0a3de9 5
On First-Order μ-Calculus over Situation Calculus Action Theories, file e3835315-d76f-15e8-e053-a505fe0a3de9 5
Progression and Verification of Situation Calculus Agents with Bounded Beliefs, file e3835312-293e-15e8-e053-a505fe0a3de9 4
Automatic behavior composition synthesis, file e3835312-3f69-15e8-e053-a505fe0a3de9 4
Verification of agent-based artifact systems, file e3835316-1cbd-15e8-e053-a505fe0a3de9 4
Implementing data-centric dynamic systems over a relational DBMS, file e3835322-059b-15e8-e053-a505fe0a3de9 4
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications, file e3835325-f835-15e8-e053-a505fe0a3de9 4
ASP-based declarative process mining, file 32da65dc-1bb1-4486-b89d-1c2bd898c0f7 3
ASP-Based Declarative Process Mining (Extended Abstract), file 9ef8f227-7806-42be-ad5d-e694e41d4e73 3
Multi-model monitoring framework for hybrid process specifications, file 6d353ce4-7d63-4453-8095-07294c124c93 2
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments, file e3835311-e928-15e8-e053-a505fe0a3de9 2
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis, file e3835313-e9ba-15e8-e053-a505fe0a3de9 2
Leveraging relational technology for data-centric dynamic systems, file e3835321-eb64-15e8-e053-a505fe0a3de9 2
Leveraging relational technology for data-centric dynamic systems, file e3835322-2e6c-15e8-e053-a505fe0a3de9 2
Situation calculus for controller synthesis in manufacturing systems with first-order state representation, file 40d4d652-8d36-4a25-92e0-627008a05473 1
Verification of GSM-based artifact-centric systems through finite abstraction, file e3835311-ff4b-15e8-e053-a505fe0a3de9 1
First-order μ-calculus over generic transition systems and applications to the situation calculus, file e383531a-6752-15e8-e053-a505fe0a3de9 1
Guest editorial: special issue on data and artifact-centric business processes, file e383531b-7079-15e8-e053-a505fe0a3de9 1
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment, file e3835321-5e67-15e8-e053-a505fe0a3de9 1
On First-Order μ-Calculus over Situation Calculus Action Theories, file e3835322-f8ac-15e8-e053-a505fe0a3de9 1
Totale 801
Categoria #
all - tutte 2.179
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.179


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201920 0 0 0 0 0 0 0 0 0 0 12 8
2019/202035 2 6 1 1 5 1 4 2 4 2 6 1
2020/202147 2 1 2 0 3 0 5 0 6 17 6 5
2021/2022175 6 6 8 29 20 5 6 11 3 7 52 22
2022/2023185 18 10 38 19 10 23 18 12 4 14 12 7
2023/2024321 15 9 24 27 65 32 43 23 6 70 7 0
Totale 801