GD
Di Marzo Serugendo, Giovanna
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| Leveraging Large Language Models for Efficient Ontology Development: Extended Version. Technical Scientific Report |  | 2025 | 55 | 121 | |||
| Gossip Coordination Mechanism for Decentralised Learning | Energies | | 2025 | 5 | 3 | ||
| AI-Powered User Experience and Interactions with Galleries, Libraries, Archives and Museum (GLAM) | RESSI | | 2025 | 9 | 20 | ||
| Semantic-driven Conversational Agent for “SOS Rentrée” University Service | | 2025 | 105 | 201 | |||
| Social Media and Digital Services - Business, Innovation, Sustainability | | 2025 | 265 | 353 | |||
| Ontology-Based Customisation Management System for Driver-Vehicle Interfaces: A Preventive Approach to Incident Reduction and Legal Accountability in Highly Automated Vehicles | Applied sciences | | 2025 | 92 | 42 | ||
| Methodological Exploration of Ontology Generation with a Dedicated Large Language Model | Electronics | | 2025 | 31 | 25 | ||
| The Semantic Approach to Recognise the Components of the Underground Cadastre - Relevé Automatique des réseaux (RAR) Project | | 2024 | 391 | 150 | |||
| Streamlining Tax and Administrative Document Management with AI-Powered Intelligent Document Management System | Information | | 2024 | 177 | 164 | ||
| State of Agricultural E-Government Services to Farmers in Tanzania: Toward the Participatory Design of a Farmers Digital Information System (FDIS) | Agriculture | | 2024 | 87 | 226 | ||
| A Farmers’ Digital Information System (FDIS) for Sustainable Agriculture Among Smallholder Farmers in Tanzania | Information | | 2024 | 122 | 62 | ||
| Towards Automated Regulatory Compliance Using Semantic KGs and SHACL | The Knowledge Graph Conference | | 2024 | 82 | 69 | ||
| A DPSIR-Driven Agent-Based Model for Residential Choices and Mobility in an Urban Setting | Sustainability | | 2024 | 85 | 73 | ||
| Designing a farmers digital information system for sustainable agriculture: The perspective of Tanzanian agricultural stakeholders | The Electronic journal on information systems in developing countries | | 2024 | 120 | 73 | ||
| A semi-automated software model to support AI ethics compliance assessment of an AI system guided by ethical principles of AI | AI and ethics | | 2024 | 75 | 106 | ||
| Autonomous Generation of a Public Transportation Network by an Agent-Based Model: Mutual Enrichment with Knowledge Graphs for Sustainable Urban Mobility | Sustainability | | 2024 | 30 | 146 | ||
| Coordination model and digital twins for managing energy consumption and production in a smart grid | Digital Science Day 2023 | | 2023 | 109 | 73 | ||
| Rapport d'activité Cellule R&D |  | 2023 | 242 | 4 | |||
| Coordination Model and Digital Twins for Managing Energy Consumption and Production in a Smart Grid | Energies | | 2023 | 125 | 105 | ||
| RecOnCiling Companies and AI Regulations InitiAtives (ROCCIA) | | 2023 | 547 | 148 | |||
| Presentation of the scientific article: Enriching RDF-based Document Management System with Semantic-based Reasoning | Larkspur Landing South San Francisco Hotel, USA and KSIR Virtual Conference Center, USA, 29 June 2023 | | 2023 | 87 | 24 | ||
| Explainable e-Coaches Via Rules Extraction and Symbolic Knowledge Sharing | Digital Science Day. | | 2023 | 78 | 21 | ||
| A Framework for Regulatory Compliance using Knowledge Graphs | Digital Sciences Day | | 2023 | 122 | 3 | ||
| Data management system for sustainable agriculture among smallholder farmers in Tanzania: research-in-progress | Information technology for development | | 2023 | 106 | 61 | ||
| Enriching RDF-based Document Management System with Semantic-based Reasoning | The 29th International DMS Conference on Visualization and Visual Languages, DMSVIVA 2023 | | 2023 | 46 | 34 | ||
| Enriching RDF-based Document Management System with Semantic-based Reasoning | DMSVIVA 2023. Proceedings of the 29th International DMS Conference on Visualization and Visual Languages | | 2023 | 240 | 82 | ||
| TRACES poster: Agent-based model for prescriptive analysis of the link between land cover change and public transport development | Digital Sciences Day 2023 | | 2023 | 90 | 62 | ||
| Cultura, contextual chatbot | UNIGE Data Science Day 2022 | | 2022 | 156 | 2 | ||
| Lasagne –implementation of smartgrid in the form of a coordination system of digital twins | UNIGE Data Science Day 2022 | | 2022 | 141 | 4 | ||
| Digital Technology and Services for Sustainable Agriculture in Tanzania: A Literature Review | Sustainability | | 2022 | 256 | 399 | ||
| A complex-systems paradigm for modeling and solving finite large-scale discrete resources allocation problems – Part 1: a mathematical formalization of resources allocations problems | | 2022 | 709 | 114 | |||
| TRACES - Agent-based model for prescriptive analysis of the link between land cover change and public transport development | UNIGE Data Science Day 2022 | | 2022 | 127 | 2 | ||
| Addmin: Private computing for consumers’ online documents access: Scientific Technical Report | | 2022 | 539 | 245 | |||
| Rapport de recherche MILBOT: Livrable 3 | | 2022 | 384 | 104 | |||
| Plateforme de coordination et collaboration pour échanger l'énergie, réguler et prédire la production/consommation dans le cadre d'un réseau électrique intelligent | | 2021 | 889 | 293 | |||
| A semantic-based AI reasoning tool to analyse the link between cybersecurity and safety for Internet of Vehicle (IoV) and Autonomous Vehicles (AVs) | CARS 2021 Workshop | | 2021 | 1,039 | 259 | ||
| Developing an agent-based model for canopy growth simulation and tree-related cooling effect estimation over the canton of Geneva | | 2021 | 244 | 155 | |||
| A semantic-based approach to analyze the link between security and safety for Internet of Vehicle (IoV) and Autonomous Vehicles (AVs) | CARS 2021 6th International Workshop on Critical Automotive Applications: Robustness & Safety | | 2021 | 375 | 344 | ||
| CERTIFY : Leveraging fact-checkers and crowdsourcing to provide informed opinions on unreliable or misleading information | | 2020 | 857 | 195 | |||
| First-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm robotics | Artificial Life and Robotics | | 2020 | 294 | 94 | ||
| Engineering semantic self-composition of services through tuple-based coordination | Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles | | 2020 | 235 | 3 | ||
| Second-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm robotics | Artificial Life and Robotics | | 2020 | 273 | 75 | ||
| Agent-based models for first- and second-order emergent collective behaviours of social amoeba Dictyostelium discoideum aggregation and migration phases | Artificial Life and Robotics | | 2018 | 277 | 0 | ||
| Paraconsistent Rule-based Reasoning with Graded Truth Values | Journal of Applied Logic | | 2018 | 280 | 0 | ||
| Cooperative Multiagent System for Parking Availability Prediction Based on Time Varying Dynamic Markov Chains | Journal of Advanced Transportation | | 2017 | 581 | 304 | ||
| An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation Phase | Swarm 2017 | | 2017 | 411 | 91 | ||
| SmartContent—Self-Protected Context-Aware Active Documents for Mobile Environments | Electronics | | 2017 | 244 | 82 | ||
| An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation Phase | SWARM 2017: The 2nd International Symposium on Swarm Behavior and Bio-Inspired Robotics | | 2017 | 440 | 120 | ||
| An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation Phase | Dicty 2017 | | 2017 | 432 | 49 | ||
| Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values | | 2017 | 460 | 96 | |||
| Spatial awareness in pervasive ecosystems | Knowledge Engineering Review | | 2016 | 537 | 379 | ||
| Logic fragments: coordinating entities with logic programs | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques | | 2016 | 548 | 1 | ||
| Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance Issues | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques | | 2016 | 608 | 450 | ||
| Visualisation de la dynamique et des enjeux toponymiques: Prototype pour la ville suisse de Carouge | Concours de Géomatique, Festival international de Géographie, | | 2016 | 564 | 109 | ||
| Towards a logic and chemical based coordination model | | 2015 | 902 | 221 | |||
| First Year Ph.D Report: Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm Robotics | | 2015 | 569 | 183 | |||
| Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm Robotics | SASO 2015 | | 2015 | 503 | 244 | ||
| A logic language for run time assessment of spatial properties in self-organizing systems | Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops | | 2015 | 629 | 439 | ||
| Towards a spatial language for run-time assessments in self-organizing systems | Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems | | 2015 | 541 | 343 | ||
| Tuple MapReduce and Pangool: An Associated Implementation | Knowledge and Information Systems Journal | | 2014 | 742 | 0 | ||
| Injecting self-organisation into pervasive service ecosystems | Journal on special topics in mobile networks and applications | | 2013 | 899 | 919 | ||
| Self-healing and self-repairing technologies | International journal, advanced manufacturing technology | | 2013 | 919 | 1,195 | ||
| Models and Concepts for Socio-Technical Complex Systems: Towards Fractal Social Organisations | Systems Research and Behavioural Science | | 2013 | 589 | 2 | ||
| Self-composition of services with chemical reactions | | 2013 | 916 | 523 | |||
| Description and composition of bio-inspired design patterns: a complete overview | Natural Computing | | 2013 | 508 | 727 | ||
| Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm Robotics | Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2015) | | 2013 | 545 | 333 | ||
| A decentralized approach for detecting dynamically changing diffuse event sources in noisy WSN environments | Applied artificial intelligence | | 2012 | 804 | 455 | ||
| The future of complexity engineering | Central European Journal of Engineering | | 2012 | 737 | 759 | ||
| Self-organising Pervasive Ecosystems: A Crowd Evacuation Example | Software Engineering for Resilient Systems | | 2011 | 694 | 555 | ||
| Self-aware Pervasive Service Ecosystems | Procedia Computer Science | | 2011 | 777 | 316 | ||
| Modeling Self-* Systems Using Chemically-Inspired Composable Patterns | 2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) | | 2011 | 721 | 457 | ||
| Self-Organizing Software: From Natural to Artificial Adaptation | 2011 | 713 | 0 | ||||
| Experience Report in Developing and Applying a Method for Self-Organisation to Agile Manufacturing | Proceedings of the 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2010 | | 2010 | 729 | 389 | ||
| Hovering Information: A Self-Organising Infrastructure-Free Information Storage and Retrieval Service | Proceedings of the 4th International Workshop on Enterprise Systems and Technology - I-WEST 2010 | | 2010 | 750 | 193 | ||
| User Defined Geo-referenced Information | Software and Data Technologies: 3rd International Conference - ICSOFT 2008 | | 2009 | 557 | 2 | ||
| Software Engineering for Self-Adaptive Systems: A Research Roadmap | Software Engineering for Self-Adaptive Systems | | 2009 | 548 | 1 | ||
| Hovering Information - Self-Organising Information that Finds its Own Storage | Autonomic Communication | | 2009 | 677 | 0 | ||
| Methodologies for Self-Organising Systems: A SPEM Approach | 2009 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technologies - WI-IAT'09 Workshops (Vol. 2) | | 2009 | 802 | 416 | ||
| Hovering Information : Infrastructure-Free Self-Organising Location-Aware Information Dissemination Service | Proceedings of the Second ERCIM Workshop on eMobility | | 2008 | 612 | 92 | ||
| Activity-based computing | IEEE pervasive computing | | 2008 | 543 | 1 | ||
| MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems | | 2008 | 709 | 176 | |||
| Designing Self-Organization for Evolvable Assembly Systems | 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO '08 | | 2008 | 757 | 631 | ||
| Dependability Requirements for Hovering Information | Supplementary Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN'07 | | 2007 | 571 | 83 | ||
| Dependability Requirements for Hovering Information | Mobile trust | | 2007 | 149 | 55 | ||
| Dependable Self-organising Software Architectures- An Approach for Self-Managing Systems | | 2006 | 704 | 72 | |||
| Self-organization in multi-agent systems | Knowledge Engineering Review | | 2005 | 1,665 | 901 | ||
| A Social Semantic Infrastructure for Decentralised Systems Based on Specification-Carrying Code and Trust | Proceedings of the Joint Symposium on Socially Inspired Computing: Social Intelligence and Interaction in Animals, Robots and Agents - AISB'05 | | 2005 | 649 | 242 | ||
| Specification-Carrying Code for Self-Managed Systems | Proceedings of the IFIP/IEEE International Workshop on Self-Managed Systems & Services - SelfMan 2005 | | 2005 | 679 | 91 | ||
| Self-Organisation: Paradigms and Applications | Engineering Self-Organising Systems: Nature-Inspired Approaches to Software Engineering | | 2004 | 538 | 2 | ||
| Trust as an Interaction Mechanism for Self-Organising Engineered Systems | Proceedings of the 5th International Conference on Complex Systems - ICCS2004 | | 2004 | 612 | 76 | ||
| "Using Exception Handling for Fault-Tolerance in Mobile Coordination-Based Environments", Exception Handling in Object Oriented Systems: towards Emerging Application Areas and New Programming Paradigms | Object-Oriented Technology - ECOOP 2003 Workshop Reader. Final Reports | | 2004 | 669 | 281 | ||
| Enhancing Java Grid Computing Security with Resource Control | Proceedings of the 1st International Conference: Grid Services Engineering and Management - GSEM 2004 | | 2004 | 550 | 0 | ||
| Semantic Service Oriented Architecture | | 2004 | 690 | 519 | |||
| Self-Organizing Architecture for Intrusion Detection and Response Systems | Proceedings of the 10th HP OpenView University Association Plenary Workshop - HPOVUA 2003 | | 2003 | 581 | 107 | ||
| Designing Fault-Tolerant Mobile Systems | International Workshop: Scientific Engineering for Distributed Java Applications - FIDJI 2002 | | 2003 | 573 | 0 | ||
| Engineering Emergent Behaviour: A Vision | 4th International Workshop: Multi-Agent-Based Simulation III - MABS 2003 | | 2003 | 549 | 0 | ||
| Towards a Secure and Efficient Model for Grid Computing using Mobile Code | 8th ECOOP Workshop on Mobile Object Systems: Agent Applications and New Frontiers - MOS 2002 in Object-Oriented Technology ECOOP 2002 Workshop Reader | | 2002 | 695 | 208 | ||
| Real-Time Synchronised Petri Nets | Proceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002 | | 2002 | 756 | 476 | ||
| A Formal Development and Validation Methodology Applied to Agent-Based Systems | International Workshop on Infrastructure for Scalable Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems | | 2001 | 680 | 309 | ||
| Adding Real-Time Constraints to Synchronised Petri Nets | | 2000 | 686 | 1,001 | |||
| Specification and simulation of ALICE DAQ system | Proceedings of the 6th Workshop on Electronics for LHC Experiments | | 2000 | 721 | 290 | ||
| Formal development and validation of Java dependable distributed systems | Proceedings of the 5th IEEE International Conference on Engineering of Complex Computer Systems - ICECCS'99 | | 1999 | 736 | 308 | ||
| A Formal Developement and Validation Methodology for System Design | Proceedings of the 5th International Conference on Information Systems Analysis and Synthesis - ISAS 1999 | | 1999 | 657 | 1,207 | ||
| Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs | | 1999 | 834 | 210 | |||
| Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study | Proceedings of the 1998 International Conference on Application of Concurrency to System Design | | 1998 | 724 | 353 | ||
| A survey of theories for mobile agents | World wide web | | 1998 | 706 | 327 | ||
| CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions | | 1998 | 714 | 92 | |||
| Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions | | 1998 | 546 | 147 | |||
| COALA - A Formal Language for Coordinated Atomic Actions | Design for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072 - Deliverables: Part 2 (Papers) | | 1998 | 690 | 101 | ||
| Formal development of Java based Web parallel applications | Proceedings of the 31st Hawaii International Conference on System Sciences - HICCS'98 | | 1998 | 671 | 334 | ||
| Communication Messengers as a Basis for Distributed Algorithms | Proceedings of the 2nd European Research Seminars in Advanced Distributed Systems - ERSADS'97 | | 1997 | 637 | 101 | ||
| Access Consistency Memory Model for Messengers | | 1996 | 729 | 80 | |||
| Distributed Services in a Messenger Environment | | 1996 | 595 | 117 | |||
| Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory | | 1996 | 725 | 98 | |||
| A Distributed Micro–Kernel for Communications Messengers | | 1995 | 659 | 91 | |||
| The Messenger paradigm and its implications on distributed systems | Proceedings of ICC'95 workshop on Intelligent Computer Communication | | 1995 | 967 | 159 | ||
| SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools | | 1995 | 773 | 84 | |||
| Distributed Semaphore In A Messenger Environment | Proceedings of the First International Workshop: Decentralized Multi-Agent Systems DIMAS'95 | | 1995 | 760 | 262 | ||
| Mathematical Formalization of the Messenger Paradigm | | 1995 | 736 | 77 | |||
| COMSCRIPT: An Environment for the Implementation of Protocol Stacks and their Dynamic Reconfiguration | Proceedings of the 2nd International Symposium on Applied Corporate Computing - ISACC'94 | | 1994 | 671 | 175 | ||
| ACCESS - Algebraic Concurrent Events for System Specification | | 1994 | 768 | 102 | |||
| Messenger-Based Operating Systems | | 1994 | 666 | 139 |
