POLITECNICO DI BARI - Catalogo dei prodotti della Ricerca

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019381 0 0 0 0 0 0 0 0 0 38 29 314
2019/20201.340 432 111 33 129 18 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/2024825 86 39 29 38 308 132 39 31 97 26 0 0
Totale 8.344