Vincenza Carchiolo

Marco Grassia

Víctor Rodríguez-Fernández

Proceedings of the Complex Networks & Their Applications X - Volume 1, Proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021, Madrid, Spain, November 30, 2021

Food Recommendation in a Worksite Canteen.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Complexity, 2021

2020

A network-based analysis to understand food-habits of a multi-company canteen's customers.

[BibT_eX]

[DOI]

Proceedings of the iiWAS '20: The 22nd International Conference on Information Integration and Web-based Applications & Services, Virtual Event / Chiang Mai, Thailand, November 30, 2020

ICs Manufacturing Workflow Assessment via Multiple Logs Analysis.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020

Wind Farms Maintenance Optimization Using a Pickup and Delivery VRP Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Information Technology for Management: Towards Business Excellence, 2020

Pick-up & Deliver in Maintenance Management of Renewable Energy Power Plants.

[BibT_eX]

[DOI]

Proceedings of the 2020 Federated Conference on Computer Science and Information Systems, 2020

Fake News Detection Using Time Series and User Features Classification.

[BibT_eX]

[DOI]

Maria Laura Previti

David Camacho

Proceedings of the Applications of Evolutionary Computation - 23rd European Conference, 2020

Credibility-based Model for News Spreading on Online Social Networks.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Complexity, 2020

Data Collection via Wearable Medical Devices for Mobile Health.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020), 2020

2019

Cloud in Mobile Platforms: Managing Authentication/Authorization.

[BibT_eX]

[DOI]

Proceedings of the New Knowledge in Information Systems and Technologies, 2019

Power Plants Failure Reports Analysis for Predictive Maintenance.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Web Information Systems and Technologies, 2019

Managing Privacy in a Social Broker Internet of Thing.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2019

A PageRank Inspired Approach to Measure Network Cohesiveness.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2019

Smart Topic Sharing in IoT Platform Based on a Social Inspired Broker.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing XIII, 2019

Strategies Comparison in Link Building Problem.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing XIII, 2019

Integration of Monitoring and Alarm Management in Power Plants.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Enterprise Information Systems, 2019

Medical prescription classification: a NLP-based approach.

[BibT_eX]

[DOI]

Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, 2019

Modelling and Optimization of Wind Farms' Processes Using BPM.

[BibT_eX]

[DOI]

Proceedings of the Information Technology for Management: Current Research and Future Directions, 2019

BPM Tools for Asset Management in Renewable Energy Power Plants.

[BibT_eX]

[DOI]

Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, 2019

A Social Inspired Broker for M2M Protocols.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Complexity, 2019

Authentication and Authorization Issues in Mobile Cloud Computing: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Cloud Computing and Services Science, 2019

2018

Black hole metric: Overcoming the pagerank normalization problem.

[BibT_eX]

[DOI]

Inf. Sci., 2018

An Efficient Real-Time Monitoring to Manage Home-Based Oxygen Therapy.

[BibT_eX]

[DOI]

Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

Exploiting Long Distance Connections to Strengthen Network Robustness.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2018

Climbing Ranking Position via Long-Distance Backlinks.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2018

Terrorism and War: Twitter Cascade Analysis.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing XII, 2018

Long Distance In-Links for Ranking Enhancement.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing XII, 2018

Immersive Virtual Reality for Earth Sciences.

[BibT_eX]

[DOI]

Ilario Gabriele Gerloni

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

A Geofencing Algorithm Fit for Supply Chain Management.

[BibT_eX]

[DOI]

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

Real Time Risk Monitoring in Fine-art with IoT Technology.

[BibT_eX]

[DOI]

Proceedings of the Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, 2018

An Adaptive Algorithm for Geofencing.

[BibT_eX]

[DOI]

Proceedings of the Information Technology for Management: Emerging Research and Applications, 2018

2017

Direct trust assignment using social reputation and aging.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2017

Network size and topology impact on trust-based ranking.

[BibT_eX]

[DOI]

Int. J. Bio Inspired Comput., 2017

Post Sharing-Based Credibility Network for Social Network.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing XI - Proceedings of the 11th International Symposium on Intelligent Distributed Computing, 2017

An efficient real-time architecture for collecting IoT data.

[BibT_eX]

[DOI]

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

Introducing Credibility to Model News Spreading.

[BibT_eX]

[DOI]

Proceedings of the Complex Networks & Their Applications VI, 2017

2016

Monitoring students activities in CS courses.

[BibT_eX]

[DOI]

Proceedings of the 2016 15th RoEduNet Conference: Networking in Education and Research, 2016

Dealing with the Best Attachment Problem via Heuristics.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing X - Proceedings of the 10th International Symposium on Intelligent Distributed Computing, 2016

Evaluating the community partition quality of a network with a genetic programming approach.

[BibT_eX]

[DOI]

Proceedings of the Complex Networks & Their Applications V - Proceedings of the 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016), Milan, Italy, November 30, 2016

2015

Searching for experts in a context-aware recommendation network.

[BibT_eX]

[DOI]

Comput. Hum. Behav., 2015

The Cost of Trust in the Dynamics of Best Attachment.

[BibT_eX]

[DOI]

Comput. Informatics, 2015

Medical Data Integration with SNOMED-CT and HL7.

[BibT_eX]

[DOI]

Proceedings of the New Contributions in Information Systems and Technologies, 2015

Using Twitter Data and Sentiment Analysis to Study Diseases Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Information Technology in Bio- and Medical Informatics, 2015

Social-Based Arcs Weight Assignment in Trust Networks.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015

Multisource agent-based healthcare data gathering.

[BibT_eX]

[DOI]

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

Personal Health Record feeding via Medical Forums.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

2014

Virtualization for Effective Risk-Free Network Security Assessment.

[BibT_eX]

[DOI]

Int. J. Online Eng., 2014

A Carpooling Open Application with Social Oriented Reward Mechanism.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2014

The Effect of Topology on the Attachment Process in Trust Networks.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing VIII, 2014

2013

Users' attachment in trust networks: reputation vs. effort.

[BibT_eX]

[DOI]

Int. J. Bio Inspired Comput., 2013

Connecting relatives in virtual worlds: The kinship networks.

[BibT_eX]

[DOI]

Concurr. Eng. Res. Appl., 2013

A Heuristic to Explore Trust Networks Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing VII, 2013

2012

An Intelligent and Pervasive Surveillance System for Home Security.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2012

Trust assessment: a personalized, distributed, and secure approach.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2012

Crafting Kinship Networks by Exploring Acquaintances Relationships.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012

The Effects of Pre-trusted Peers Misbehaviour on EigenTrust.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012

2011

The Relevance of Context in Trust Networks.

[BibT_eX]

[DOI]

Proceedings of the Information Systems, E-learning, and Knowledge Management Research, 2011

Gain the Best Reputation in Trust Networks.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing V - Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, The Netherlands, 2011

2010

An adaptive overlay network inspired by social behaviour.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2010

Object-oriented re-engineering of manufacturing models: A case study.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2010

Reliable peers and useful resources: Searching for the best personalised learning path in a trust- and recommendation-aware environment.

[BibT_eX]

[DOI]

Inf. Sci., 2010

Context-based Global Expertise in Recommendation Systems.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2010

Pervasive Home Security: An Intelligent Domotics Application.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing, 2010

A Distributed Algorithm for Personalized Trust Evaluation in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing, 2010

Communities Unfolding in Multislice Networks.

[BibT_eX]

[DOI]

Proceedings of the Complex Networks - Second International Workshop, 2010

2009

Search for overlapped communities by parallel genetic algorithms

[BibT_eX]

[DOI]

CoRR, 2009

Resource advertising in PROSA P2P network.

[BibT_eX]

[DOI]

Antonio Lima

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

The effect of malicious peers in a gossip-based reputation system.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, 2009

The Assessment of Expertise in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing, 2009

Advertising and Discovering Trusted Resources within a P2P-Based Architecture.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Advanced Learning Technologies, 2009

2008

The Dilemma of Trust: a Social Network Based Approach.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2008

Emerging structures of P2P networks induced by social relationships.

[BibT_eX]

[DOI]

Comput. Commun., 2008

Reliable Personalized Learning Paths: The Contribution of Trust to E-Learning.

[BibT_eX]

[DOI]

Proceedings of the Open Knowlege Society. A Computer Science and Information Systems Manifesto, 2008

Adaptive E-Learning: An Architecture Based on PROSAP2P Network.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

Trusting Evaluation by Social Reputation.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing, 2008

2007

Fast Information Retrieval in a Self-Organising P2P Network.

[BibT_eX]

[DOI]

J. Comput., 2007

A model for a web-based learning system.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2007

Social Behaviours Applied to P2P Systems: An efficient Algorithm for Resource Organisation

[BibT_eX]

[DOI]

CoRR, 2007

An Approach to Trust Based on Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering, 2007

Applying Social Behaviours to Model Trusting.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent and Distributed Computing, 2007

2006

Social Behaviours in P2P Systems: An Efficient Algorithm for Resource Organisation.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 2006

Self-Organisation of Resources in PROSA P2P Network.

[BibT_eX]

[DOI]

Proceedings of the Self-Managed Networks, 2006

Evaluating the Dynamic Behaviour of <i>PROSA</i> P2P Network.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Processing and Applications, 2006

Exploiting Social Networks Dynamics for P2P Resource Organisation.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2006

Efficient Searching and Retrieval of Documents in PROSA.

[BibT_eX]

[DOI]

Proceedings of the Databases, 2006

PROSA: P2P Resource Organisation by Social Acquaintances.

[BibT_eX]

[DOI]

Proceedings of the Agents and Peer-to-Peer Computing - 5th International Workshop, 2006

2005

Information categorization in web pages and sites.

[BibT_eX]

[DOI]

Web Intell. Agent Syst., 2005

Production workflows: a model for reuse.

[BibT_eX]

[DOI]

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2004

Using Web-Based Personalized Learning System in Academic Context.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

2003

A Tool for Performance Evaluation in a Formal Codesign Framework.

[BibT_eX]

[DOI]

Simul., 2003

TTL: a modular language for hardware/software systems design.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2003

Extracting Logical Schema from the Web.

[BibT_eX]

[DOI]

Appl. Intell., 2003

Improving WEB Usability by Categorizing Information.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003

Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

Courses Modeling in E-learning Context.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2003

From Specification to Hardware Device: A Synthesis Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2003

Using Lotos in Workflow Specification.

[BibT_eX]

Proceedings of the ICEIS 2003, 2003

Automatic generation of learning paths.

[BibT_eX]

[DOI]

Proceedings of the 2003 10th IEEE International Conference on Electronics, 2003

Courses Personalization in an E-Learning Environment.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003

Hidden Schema Extraction in Web Documents.

[BibT_eX]

[DOI]

Proceedings of the Databases in Networked Information Systems, 2003

2002

Object-Oriented Approach in Re-Engineering: the STMicroelectronics manufacturing Model.

[BibT_eX]

[DOI]

Trans. SDPS, 2002

Adaptive Formative Paths in a Web-based Learning Environment.

[BibT_eX]

[DOI]

J. Educ. Technol. Soc., 2002

Schema and Data Integration for Relational and Object-Oriented Data Sources.

[BibT_eX]

Proceedings of the 6th Joint Conference on Information Science, 2002

Extraction of Hidden Semantics from Web Pages.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Data Engineering and Automated Learning, 2002

Structuring the Web: a Logical Schema for Web pages and Sites.

[BibT_eX]

Proceedings of the Second International Workshop on Data Integration over the Web, 2002

2001

An Object-Oriented Workflow Metamodel.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001

Learning through Ad-hoc Formative Paths.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Conference on Advanced Learning Technology: Issues, 2001

2000

Hardware/software synthesis of formal specifications in codesign of embedded systems.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2000

Implementing a Distributed Server Using Mobile Agent Technology.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 2000

Using a Formal Framework for Agent System Design.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Structuring the Web.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 2000

Re-Engineering the STMicroelectronics Manufacturing Model.

[BibT_eX]

[DOI]

Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

Issues in object orienting the ST Microelectronics manufacturing model.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1998

Formal Codesign Methodology with Multistep Partitioning.

[BibT_eX]

[DOI]

VLSI Design, 1998

1997

An algorithm for direct synthesis of formal specifications.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, 1997

An Adaptive Scheduler for Multimedia Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Approach to the Synthesis of HW and SW in Codesign.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997

1995

A fuzzy approach to co-design system partitioning.

[BibT_eX]

[DOI]

Proceedings of the 1995 ACM symposium on applied computing, 1995

1993

Using Parallel Programming Language For The Performance Analysis Of Concurrent Systems.

[BibT_eX]

[DOI]

Maurizio Papale

Proceedings of the Proceedings 26th Annual Simulation Symposium, ANSS 1993, 1993

1992

Formal description techniques and automated protocol synthesis.

[BibT_eX]

[DOI]

Daniela Giordano

Inf. Softw. Technol., 1992

1990

Case study in protocol verification.

[BibT_eX]

Comput. Syst. Sci. Eng., 1990

1989

ECCS and LIPS: Two Languages for OSI Systems Specification and Verification.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1989

1988

Behavioural approach to OSI system design.

[BibT_eX]

[DOI]

Comput. Commun., 1988

BIP system: A tool for protocol verification.

[BibT_eX]

Proceedings of the Computer Communication Technologies for the 90's, Proceedings of the Ninth International Conference on Computer Communication, Tel Aviv, Israel, October 30, 1988

A Tool for the Performance Analysis of Concurrent Systems.

[BibT_eX]

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1986

A LOTOS Specification of the PROWAY Highway Service.

[BibT_eX]

[DOI]