1 - 126 of 126
Title Published in Access level OA Policy Year Views Downloads
An Architecture for Interactive Storytelling in the Domain of Care TrainingInteractive Storytelling. ICIDS 2025
2026 7 0
Leveraging Large Language Models for Efficient Ontology Development: Extended Version. Technical Scientific Report
2025 78 537
Gossip Coordination Mechanism for Decentralised LearningEnergies
2025 16 13
AI-Powered User Experience and Interactions with Galleries, Libraries, Archives and Museum (GLAM)RESSI
2025 14 136
Semantic-driven Conversational Agent for “SOS Rentrée” University Service
2025 147 291
The use of Artificial Intelligence in Open Science. Opportunities, limitations, and ethical considerationsThe ReproducibiliTea Journal Club session: "Who holds the power? AI, Ethics, and Open Science."
2025 7 15
Social Media and Digital Services - Business, Innovation, Sustainability
2025 368 429
Ontology-Based Customisation Management System for Driver-Vehicle Interfaces: A Preventive Approach to Incident Reduction and Legal Accountability in Highly Automated VehiclesApplied sciences
2025 99 61
Methodological Exploration of Ontology Generation with a Dedicated Large Language ModelElectronics
2025 41 31
The Semantic Approach to Recognise the Components of the Underground Cadastre - Relevé Automatique des réseaux (RAR) Project
2024 413 205
Streamlining Tax and Administrative Document Management with AI-Powered Intelligent Document Management SystemInformation
2024 195 204
State of Agricultural E-Government Services to Farmers in Tanzania: Toward the Participatory Design of a Farmers Digital Information System (FDIS)Agriculture
2024 93 402
A Farmers’ Digital Information System (FDIS) for Sustainable Agriculture Among Smallholder Farmers in TanzaniaInformation
2024 129 94
Towards Automated Regulatory Compliance Using Semantic KGs and SHACLThe Knowledge Graph Conference
2024 89 210
A DPSIR-Driven Agent-Based Model for Residential Choices and Mobility in an Urban SettingSustainability
2024 91 85
Designing a farmers digital information system for sustainable agriculture: The perspective of Tanzanian agricultural stakeholdersThe Electronic journal on information systems in developing countries
2024 130 91
A semi-automated software model to support AI ethics compliance assessment of an AI system guided by ethical principles of AIAI and ethics
2024 83 264
Autonomous Generation of a Public Transportation Network by an Agent-Based Model: Mutual Enrichment with Knowledge Graphs for Sustainable Urban MobilitySustainability
2024 35 458
Agent-based modelling of urban expansion and land cover change: a prototype for the analysis of commuting patterns in Geneva, SwitzerlandFrench Regional Conference on Complex Systems, Le Havre, 2023, May 2023, Le Havre, France
2023 6 40
Coordination model and digital twins for managing energy consumption and production in a smart gridDigital Science Day 2023
2023 115 280
Rapport d'activité Cellule R&D
2023 246 4
Coordination Model and Digital Twins for Managing Energy Consumption and Production in a Smart GridEnergies
2023 129 268
RecOnCiling Companies and AI Regulations InitiAtives (ROCCIA)
2023 557 163
Presentation of the scientific article: Enriching RDF-based Document Management System with Semantic-based ReasoningLarkspur Landing South San Francisco Hotel, USA and KSIR Virtual Conference Center, USA, 29 June 2023
2023 94 36
Explainable e-Coaches Via Rules Extraction and Symbolic Knowledge SharingDigital Science Day.
2023 82 31
A Framework for Regulatory Compliance using Knowledge GraphsDigital Sciences Day
2023 128 3
Data management system for sustainable agriculture among smallholder farmers in Tanzania: research-in-progressInformation technology for development
2023 110 67
Agent-based modelling of commuting patterns in Geneva, Switzerland, towards portraying urban expansion and land cover changes
2023 8 55
Enriching RDF-based Document Management System with Semantic-based ReasoningThe 29th International DMS Conference on Visualization and Visual Languages, DMSVIVA 2023
2023 53 54
Enriching RDF-based Document Management System with Semantic-based ReasoningDMSVIVA 2023. Proceedings of the 29th International DMS Conference on Visualization and Visual Languages
2023 245 109
TRACES poster: Agent-based model for prescriptive analysis of the link between land cover change and public transport developmentDigital Sciences Day 2023
2023 102 186
Cultura, contextual chatbotUNIGE Data Science Day 2022
2022 161 2
Lasagne –implementation of smartgrid in the form of a coordination system of digital twinsUNIGE Data Science Day 2022
2022 147 4
Digital Technology and Services for Sustainable Agriculture in Tanzania: A Literature ReviewSustainability
2022 263 691
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 717 127
TRACES - Agent-based model for prescriptive analysis of the link between land cover change and public transport developmentUNIGE Data Science Day 2022
2022 142 2
Addmin: Private computing for consumers’ online documents access: Scientific Technical Report
2022 546 421
Rapport de recherche MILBOT: Livrable 3
2022 390 130
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 896 326
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,049 287
Developing an agent-based model for canopy growth simulation and tree-related cooling effect estimation over the canton of Geneva
2021 256 184
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 385 393
CERTIFY : Leveraging fact-checkers and crowdsourcing to provide informed opinions on unreliable or misleading information
2020 877 226
First-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm roboticsArtificial Life and Robotics
2020 299 101
Engineering semantic self-composition of services through tuple-based coordinationLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
2020 240 3
Second-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm roboticsArtificial Life and Robotics
2020 278 107
Agent-based models for first- and second-order emergent collective behaviours of social amoeba Dictyostelium discoideum aggregation and migration phasesArtificial Life and Robotics
2018 280 0
Paraconsistent Rule-based Reasoning with Graded Truth ValuesJournal of Applied Logic
2018 283 0
Cooperative Multiagent System for Parking Availability Prediction Based on Time Varying Dynamic Markov ChainsJournal of Advanced Transportation
2017 591 411
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation PhaseSwarm 2017
2017 416 101
SmartContent—Self-Protected Context-Aware Active Documents for Mobile EnvironmentsElectronics
2017 249 101
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation PhaseSWARM 2017: The 2nd International Symposium on Swarm Behavior and Bio-Inspired Robotics
2017 443 177
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation PhaseDicty 2017
2017 437 56
Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values
2017 465 119
Spatial awareness in pervasive ecosystemsKnowledge Engineering Review
2016 543 400
Logic fragments: coordinating entities with logic programsLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016 556 1
Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance IssuesLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016 618 491
Visualisation de la dynamique et des enjeux toponymiques: Prototype pour la ville suisse de CarougeConcours de Géomatique, Festival international de Géographie,
2016 572 126
Towards a logic and chemical based coordination model
2015 910 258
First Year Ph.D Report: Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm Robotics
2015 575 212
Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm RoboticsSASO 2015
2015 507 277
A logic language for run time assessment of spatial properties in self-organizing systemsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops
2015 637 476
Towards a spatial language for run-time assessments in self-organizing systemsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems
2015 547 361
Tuple MapReduce and Pangool: An Associated ImplementationKnowledge and Information Systems Journal
2014 750 0
Injecting self-organisation into pervasive service ecosystemsJournal on special topics in mobile networks and applications
2013 909 949
Self-healing and self-repairing technologiesInternational journal, advanced manufacturing technology
2013 924 1,257
Models and Concepts for Socio-Technical Complex Systems: Towards Fractal Social OrganisationsSystems Research and Behavioural Science
2013 599 2
Self-composition of services with chemical reactions
2013 923 558
Description and composition of bio-inspired design patterns: a complete overviewNatural Computing
2013 526 773
Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm RoboticsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2015)
2013 552 386
A decentralized approach for detecting dynamically changing diffuse event sources in noisy WSN environmentsApplied artificial intelligence
2012 811 532
The future of complexity engineeringCentral European Journal of Engineering
2012 742 775
Self-organising Pervasive Ecosystems: A Crowd Evacuation ExampleSoftware Engineering for Resilient Systems
2011 716 592
Self-aware Pervasive Service EcosystemsProcedia Computer Science
2011 786 334
Modeling Self-* Systems Using Chemically-Inspired Composable Patterns2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
2011 732 544
Self-Organizing Software: From Natural to Artificial Adaptation
2011 721 0
Experience Report in Developing and Applying a Method for Self-Organisation to Agile ManufacturingProceedings of the 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2010
2010 731 441
Hovering Information: A Self-Organising Infrastructure-Free Information Storage and Retrieval ServiceProceedings of the 4th International Workshop on Enterprise Systems and Technology - I-WEST 2010
2010 755 229
User Defined Geo-referenced InformationSoftware and Data Technologies: 3rd International Conference - ICSOFT 2008
2009 560 2
Software Engineering for Self-Adaptive Systems: A Research RoadmapSoftware Engineering for Self-Adaptive Systems
2009 553 1
Hovering Information - Self-Organising Information that Finds its Own StorageAutonomic Communication
2009 683 0
Methodologies for Self-Organising Systems: A SPEM Approach2009 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technologies - WI-IAT'09 Workshops (Vol. 2)
2009 812 463
Hovering Information : Infrastructure-Free Self-Organising Location-Aware Information Dissemination ServiceProceedings of the Second ERCIM Workshop on eMobility
2008 618 151
Activity-based computingIEEE pervasive computing
2008 548 1
MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems
2008 717 276
Designing Self-Organization for Evolvable Assembly Systems2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO '08
2008 763 682
Dependability Requirements for Hovering InformationSupplementary Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN'07
2007 577 98
Dependability Requirements for Hovering InformationMobile trust
2007 153 75
Dependable Self-organising Software Architectures- An Approach for Self-Managing Systems
2006 708 93
Self-organization in multi-agent systemsKnowledge Engineering Review
2005 1,680 1,074
A Social Semantic Infrastructure for Decentralised Systems Based on Specification-Carrying Code and TrustProceedings of the Joint Symposium on Socially Inspired Computing: Social Intelligence and Interaction in Animals, Robots and Agents - AISB'05
2005 656 278
Specification-Carrying Code for Self-Managed SystemsProceedings of the IFIP/IEEE International Workshop on Self-Managed Systems & Services - SelfMan 2005
2005 683 117
Self-Organisation: Paradigms and ApplicationsEngineering Self-Organising Systems: Nature-Inspired Approaches to Software Engineering
2004 543 2
Trust as an Interaction Mechanism for Self-Organising Engineered SystemsProceedings of the 5th International Conference on Complex Systems - ICCS2004
2004 616 89
"Using Exception Handling for Fault-Tolerance in Mobile Coordination-Based Environments", Exception Handling in Object Oriented Systems: towards Emerging Application Areas and New Programming ParadigmsObject-Oriented Technology - ECOOP 2003 Workshop Reader. Final Reports
2004 681 312
Enhancing Java Grid Computing Security with Resource ControlProceedings of the 1st International Conference: Grid Services Engineering and Management - GSEM 2004
2004 556 0
Semantic Service Oriented Architecture
2004 694 541
Self-Organizing Architecture for Intrusion Detection and Response SystemsProceedings of the 10th HP OpenView University Association Plenary Workshop - HPOVUA 2003
2003 585 112
Designing Fault-Tolerant Mobile SystemsInternational Workshop: Scientific Engineering for Distributed Java Applications - FIDJI 2002
2003 582 0
Engineering Emergent Behaviour: A Vision4th International Workshop: Multi-Agent-Based Simulation III - MABS 2003
2003 555 0
Towards a Secure and Efficient Model for Grid Computing using Mobile Code8th ECOOP Workshop on Mobile Object Systems: Agent Applications and New Frontiers - MOS 2002 in Object-Oriented Technology ECOOP 2002 Workshop Reader
2002 702 236
Real-Time Synchronised Petri NetsProceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002
2002 773 493
A Formal Development and Validation Methodology Applied to Agent-Based SystemsInternational Workshop on Infrastructure for Scalable Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
2001 687 332
Adding Real-Time Constraints to Synchronised Petri Nets
2000 691 1,010
Specification and simulation of ALICE DAQ systemProceedings of the 6th Workshop on Electronics for LHC Experiments
2000 730 300
Formal development and validation of Java dependable distributed systemsProceedings of the 5th IEEE International Conference on Engineering of Complex Computer Systems - ICECCS'99
1999 740 323
A Formal Developement and Validation Methodology for System DesignProceedings of the 5th International Conference on Information Systems Analysis and Synthesis - ISAS 1999
1999 662 1,231
Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs
1999 896 219
Using object-oriented algebraic nets for the reverse engineering of Java programs: a case studyProceedings of the 1998 International Conference on Application of Concurrency to System Design
1998 731 384
A survey of theories for mobile agentsWorld wide web
1998 712 376
CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions
1998 720 102
Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions
1998 551 160
COALA - A Formal Language for Coordinated Atomic ActionsDesign for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072 - Deliverables: Part 2 (Papers)
1998 698 121
Formal development of Java based Web parallel applicationsProceedings of the 31st Hawaii International Conference on System Sciences - HICCS'98
1998 678 349
Communication Messengers as a Basis for Distributed AlgorithmsProceedings of the 2nd European Research Seminars in Advanced Distributed Systems - ERSADS'97
1997 642 115
Access Consistency Memory Model for Messengers
1996 734 90
Distributed Services in a Messenger Environment
1996 599 137
Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory
1996 733 108
A Distributed Micro–Kernel for Communications Messengers
1995 666 112
The Messenger paradigm and its implications on distributed systemsProceedings of ICC'95 workshop on Intelligent Computer Communication
1995 973 202
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools
1995 780 94
Distributed Semaphore In A Messenger EnvironmentProceedings of the First International Workshop: Decentralized Multi-Agent Systems DIMAS'95
1995 766 289
Mathematical Formalization of the Messenger Paradigm
1995 740 83
COMSCRIPT: An Environment for the Implementation of Protocol Stacks and their Dynamic ReconfigurationProceedings of the 2nd International Symposium on Applied Corporate Computing - ISACC'94
1994 676 209
ACCESS - Algebraic Concurrent Events for System Specification
1994 777 120
Messenger-Based Operating Systems
1994 670 160
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack