POLITECNICO DI BARI - Catalogo dei prodotti della Ricerca

Mongiello, Marina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.934
EU - Europa 3.190
AS - Asia 1.711
SA - Sud America 51
OC - Oceania 22
AF - Africa 14
Continente sconosciuto - Info sul continente non disponibili 12
Totale 8.934
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.839
CN - Cina 870
IE - Irlanda 583
UA - Ucraina 520
PL - Polonia 443
IT - Italia 377
SE - Svezia 293
DE - Germania 258
HK - Hong Kong 237
TR - Turchia 230
SG - Singapore 229
BG - Bulgaria 224
FI - Finlandia 161
GB - Regno Unito 98
CA - Canada 92
FR - Francia 71
MY - Malesia 70
NL - Olanda 60
BR - Brasile 40
BE - Belgio 23
RO - Romania 23
IR - Iran 18
AU - Australia 15
VN - Vietnam 13
AT - Austria 12
EU - Europa 12
RU - Federazione Russa 8
IN - India 7
NZ - Nuova Zelanda 7
AR - Argentina 6
EG - Egitto 6
IQ - Iraq 5
LT - Lituania 5
CZ - Repubblica Ceca 4
DK - Danimarca 4
HU - Ungheria 4
IL - Israele 4
SA - Arabia Saudita 4
CH - Svizzera 3
ES - Italia 3
JP - Giappone 3
AZ - Azerbaigian 2
CL - Cile 2
EC - Ecuador 2
EE - Estonia 2
GH - Ghana 2
GR - Grecia 2
JM - Giamaica 2
KH - Cambogia 2
KZ - Kazakistan 2
LU - Lussemburgo 2
MA - Marocco 2
NO - Norvegia 2
PK - Pakistan 2
TH - Thailandia 2
TN - Tunisia 2
TW - Taiwan 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
DZ - Algeria 1
GE - Georgia 1
IM - Isola di Man 1
KG - Kirghizistan 1
KR - Corea 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
PE - Perù 1
PH - Filippine 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
UZ - Uzbekistan 1
Totale 8.934
Salva come PNG Salva come JPEG
Città #
Chandler 780
Jacksonville 667
Dublin 581
Warsaw 440
Ann Arbor 370
Nanjing 281
Hong Kong 233
Izmir 224
Sofia 224
Malden 187
Bari 164
Boardman 160
Singapore 138
Santa Clara 125
San Mateo 111
Wilmington 104
Nanchang 103
Lawrence 102
Bremen 101
Ashburn 96
New York 88
Helsinki 80
Ogden 69
Shenyang 57
Ottawa 55
Woodbridge 47
Brooklyn 46
Tianjin 44
Brielle 43
Hebei 42
Jiaxing 41
Kunming 40
Changsha 37
Houston 31
Milan 30
Strasbourg 29
Toronto 27
Washington 26
Brussels 23
Shanghai 20
Bucharest 19
Guangzhou 18
Verona 18
Beijing 17
Dearborn 15
Monmouth Junction 15
San Francisco 15
Hangzhou 14
Los Angeles 14
Zhengzhou 14
Changchun 12
Hanoi 12
Lanzhou 12
Vienna 12
Fairfield 11
Jinan 11
Zanjan 11
Seattle 10
Leawood 9
Amsterdam 8
Jinhua 8
Wuhan 8
Mountain View 7
Ningbo 7
Altamura 6
Augusta 6
Edinburgh 6
Frankfurt am Main 6
Orange 6
Potenza 6
Rome 6
Sydney 6
Trani 6
Auburn Hills 5
Berlin 5
Lappeenranta 5
London 5
Melbourne 5
Noicattaro 5
Pioltello 5
São Paulo 5
Winnipeg 5
Arezzo 4
Barletta 4
Brescia 4
Des Moines 4
Haikou 4
Qingdao 4
Redwood City 4
Shenzhen 4
Andover 3
Bologna 3
Budapest 3
Buenos Aires 3
Cairo 3
Chicago 3
Foggia 3
Lecce 3
Maiori 3
Markham 3
Totale 6.524
Salva come PNG Salva come JPEG
Nome #
Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking 188
WAVer: A Model Checking-based Tool to Verify Web Application Design 169
A Model Checking-based Method for Verifying Web Application Design 161
PrOnto: An Ontology Driven Business Process Mining Tool 156
A smart iot-aware system for crisis scenario management 153
Structured Knowledge representation for image retrieval 151
Run-time architectural modeling for future internet applications 144
A knowledge-based system for person-to-person e-commerce 130
A computational model for Mapreduce job flow 120
Multicast distribution for multimedia on demand services 117
A formal approach to ontology-based semantic match of skills descriptions 113
AnWeb: a System for Automatic Support to Web Application Verification 113
A Knowledge Based System for Content-based Retrieval of Scalable Vector Graphics Documents 110
Context-aware design of reflective middleware in the Internet of Everything 109
A description logic for image retrieval 107
Resource matchmaking based on negotiable and strict constraints in the semantic web 107
A system for principled Matchmaking in an electronic marketplace 106
Ontology-based reflective Iot middleware-enabled agriculture Decision Support System 106
A Fuzzy Ontology-based Approach for Tool-supported Decision Making in Architectural Design 104
A uniform tableaux-based method for concept abduction and contraction in description logics 103
Concept Abduction and Contraction in Description Logics 102
Spatial Layout Representation for Query by Sketch Content Based Image Retrieval 102
A system for principled Matchmaking in an electronic marketplace 102
An agency for semantic-based automatic discovery of web-services 100
Content-Based Image Retrieval over the Web using Query by Sketch and Relevance Feedback 99
Concept Abduction and Contraction for Semantic-based Discovery of Matches and Negotiation Spaces in an E-Marketplace 98
A Complex Event Processing based smart aid system for fire and danger management 98
Color fragmentation-weighted histogram for sketch based image queries 97
I-Search: a system for intelligent information search on the web 96
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN 96
Description Logics Approach to Semantic Matching of Web Services 96
Abductive Matchmaking using Description Logics 95
Semantic-based Approach to Task Assignment of Individual Profiles 95
A Logic for SVG Documents Query and Retrieval 94
Query by sketch and relevance feedback for content-based image retrieval over the web 94
Semantic indexing for image retrieval using description logics 94
Automatic support for verification of secure transactions in distributed environment using symbolic model checking 94
Reflective internet of things middleware-enabled a predictive real-time waste monitoring system 94
A Microservices-based IoT Monitoring System to Improve the Safety in Public Building 94
Analytical Tool for Designing a Video on Demand Server 93
Persistence on different databases via reflective IoT Middleware 92
Guest Editorial: Software Architecture for the Web of Things (SAWoT) 91
Linking data in digital libraries: the case of Puglia Digital Library 90
Performance of batching schemes for multimedia-on-demand services 90
Semantic IoT Middleware-enabled Mobile Complex Event Processing for Integrated Pest Management 90
A logic for SVG documents query and retrieval 89
Mining the user profile from a smartphone: a multimodal agent framework 88
Drawsearch: a tool for interactive content-based image retrieval over the Net 88
Retrieval by spatial similarity: an algorithm and a comparative evaluation 87
Finding skills through Ranked Semantic Match of Descriptions 87
Using Computation Tree Logic for Intelligent Information Search on the Web 87
Description Logic-Based Resource Retrieval 87
A logical framework and an application for matchmaking in e-commerce 87
Model checking based query and retrieval in OpenStreetMap 87
A system for content-based semantic indexing of images using description logics 86
LiquiDADE: a liquid-based distributed agile and adaptive development environment (DADE) multi-device tool 86
Automatic Ontology Mapping for Agent Communication in an e-Commerce Environment 85
Concept Abduction and Contraction for Semantic-based Discovery of Matches and Negotiation Spaces in an E-Marketplace 85
Description logics approach to semantic matching of web services 85
EbXML verification using model checking 85
Semantic matchmaking in a P-2-P electronic marketplace 84
Model Checking-based Method for Verifying Web Application Design 84
MoSAIC: A middleware-induced software architecture design decision support system 84
Semantic indexing in image retrieval using description logic 83
Formal model for user-centred adaptive mobile devices 83
Ontology-Driven Pattern Selection and Matching in Software Design 81
Logic Based Approach to Web Services Discovery and Matchmaking 81
Case-based reasoning and knowledge-graph based metamodel for runtime adaptive architectural modeling 81
A semantic-based framework for non-functional requirements and design patterns classification 80
Architecting the web of things for the fog computing era 80
Waver: a model checking-based tool to verify web application design 79
Knowledge representation for matchmaking in p2p e-commerce 76
Meeting in the agora: a description logic approach to peer-to-peer e-commerce 75
Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach 74
Finite-state verification of the ebXML protocol 72
Using contextual conditional preferences for recommendation tasks: a case study in the movie domain 72
A pre-process clustering methods for the waste collection problem 71
Description Logic-Based Resource Retrieval 70
Knowledge Based Systems Technology and Applications in Image Retrieval 69
Web Applications Design and Maintenance using Symbolic Model Checking 65
Towards a goal-oriented approach to adaptable re-deployment of cloud-based applications 64
Special track on software architecture: Theory, technology, and applications (SA-TTA) 64
Pushing the role of information in ICN 61
Design and Implementation of a Web-Search Engine based on Computation Tree Logic 60
A Temporal Logic-based approach to query Open Street Map 60
Navigation-aware and personalized prefetching of network requests in android apps 60
Design verification of web applications using symbolic model checking 59
A model for Reflective Middleware based on fuzzy rule for context-Awareness injection in ubiquitous computing environments 58
Introduction to the 2nd workshop on "formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018) 57
ReIOS: Reflective architecting in the internet of objects 52
EnSEmble 2019 : Proceedings of the 2nd ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering for Modern Computing Platforms, co-located with ESEC/FSE 2019 51
Finite-state verification of ebXML protocol 50
Fuzzy Description Logics for component selection in software design 50
An Innovative Smart System based on IoT Technologies for Fire and Danger Situations 50
AC-Contract: Run-Time Verification of Context-Aware Applications 49
Modelling and verification of BPEL business processes 43
Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems 36
Digital Age of Consent and Age Verification: Can They Protect Children? 36
IOT data-driven experimental process optimisation for kevlar fiberglass components for aeronautic 34
Challenges to be addressed to realize Internet of Things solutions for smart environments 33
Totale 8.823
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.972
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 42.972
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020617 0 0 0 0 0 126 108 126 21 51 119 66
2020/2021983 118 17 115 72 18 132 24 121 62 187 14 103
2021/20221.445 77 13 3 201 128 13 13 67 117 291 127 395
2022/20232.111 209 149 51 254 210 176 7 117 785 55 75 23
2023/20241.013 86 39 29 38 308 132 39 31 97 30 4 180
2024/2025659 71 35 259 27 209 58 0 0 0 0 0 0
Totale 9.191