1 - 128 of 128
Title Published in Access level OA Policy Year Views Downloads
Evaluating GenAI for automated EU AI Act compliance against human expertsDiscover Artificial Intelligence
2026 11 56
An Architecture for Interactive Storytelling in the Domain of Care TrainingInteractive Storytelling. ICIDS 2025
2026 14 0
Leveraging Large Language Models for Efficient Ontology Development: Extended Version. Technical Scientific Report
2025 85 1,132
Gossip Coordination Mechanism for Decentralised LearningEnergies
2025 18 18
AI-Powered User Experience and Interactions with Galleries, Libraries, Archives and Museum (GLAM)RESSI
2025 17 499
Semantic-driven Conversational Agent for “SOS Rentrée” University Service
2025 152 689
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 14 110
Social Media and Digital Services - Business, Innovation, Sustainability
2025 400 457
Ontology-Based Customisation Management System for Driver-Vehicle Interfaces: A Preventive Approach to Incident Reduction and Legal Accountability in Highly Automated VehiclesApplied sciences
2025 100 71
Methodological Exploration of Ontology Generation with a Dedicated Large Language ModelElectronics
2025 44 35
The Semantic Approach to Recognise the Components of the Underground Cadastre - Relevé Automatique des réseaux (RAR) Project
2024 422 277
Streamlining Tax and Administrative Document Management with AI-Powered Intelligent Document Management SystemInformation
2024 203 219
State of Agricultural E-Government Services to Farmers in Tanzania: Toward the Participatory Design of a Farmers Digital Information System (FDIS)Agriculture
2024 94 728
A Farmers’ Digital Information System (FDIS) for Sustainable Agriculture Among Smallholder Farmers in TanzaniaInformation
2024 133 122
Towards Automated Regulatory Compliance Using Semantic KGs and SHACLThe Knowledge Graph Conference
2024 93 640
A DPSIR-Driven Agent-Based Model for Residential Choices and Mobility in an Urban SettingSustainability
2024 92 90
Designing a farmers digital information system for sustainable agriculture: The perspective of Tanzanian agricultural stakeholdersThe Electronic journal on information systems in developing countries
2024 137 105
A semi-automated software model to support AI ethics compliance assessment of an AI system guided by ethical principles of AIAI and ethics
2024 85 629
Autonomous Generation of a Public Transportation Network by an Agent-Based Model: Mutual Enrichment with Knowledge Graphs for Sustainable Urban MobilitySustainability
2024 38 1,795
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 8 106
Coordination model and digital twins for managing energy consumption and production in a smart gridDigital Science Day 2023
2023 118 1,811
Rapport d'activité Cellule R&D
2023 248 4
Coordination Model and Digital Twins for Managing Energy Consumption and Production in a Smart GridEnergies
2023 133 1,194
RecOnCiling Companies and AI Regulations InitiAtives (ROCCIA)
2023 563 260
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 99 47
Explainable e-Coaches Via Rules Extraction and Symbolic Knowledge SharingDigital Science Day.
2023 86 50
A Framework for Regulatory Compliance using Knowledge GraphsDigital Sciences Day
2023 134 3
Data management system for sustainable agriculture among smallholder farmers in Tanzania: research-in-progressInformation technology for development
2023 112 74
Agent-based modelling of commuting patterns in Geneva, Switzerland, towards portraying urban expansion and land cover changes
2023 9 263
Enriching RDF-based Document Management System with Semantic-based ReasoningThe 29th International DMS Conference on Visualization and Visual Languages, DMSVIVA 2023
2023 57 82
Enriching RDF-based Document Management System with Semantic-based ReasoningDMSVIVA 2023. Proceedings of the 29th International DMS Conference on Visualization and Visual Languages
2023 250 126
TRACES poster: Agent-based model for prescriptive analysis of the link between land cover change and public transport developmentDigital Sciences Day 2023
2023 106 1,090
Cultura, contextual chatbotUNIGE Data Science Day 2022
2022 170 3
Lasagne –implementation of smartgrid in the form of a coordination system of digital twinsUNIGE Data Science Day 2022
2022 151 4
Digital Technology and Services for Sustainable Agriculture in Tanzania: A Literature ReviewSustainability
2022 265 1,031
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 722 129
TRACES - Agent-based model for prescriptive analysis of the link between land cover change and public transport developmentUNIGE Data Science Day 2022
2022 145 2
Addmin: Private computing for consumers’ online documents access: Scientific Technical Report
2022 549 492
Rapport de recherche MILBOT: Livrable 3
2022 394 143
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 900 349
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,051 331
Developing an agent-based model for canopy growth simulation and tree-related cooling effect estimation over the canton of Geneva
2021 260 230
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 392 430
CERTIFY : Leveraging fact-checkers and crowdsourcing to provide informed opinions on unreliable or misleading information
2020 885 242
First-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm roboticsArtificial Life and Robotics
2020 307 105
Engineering semantic self-composition of services through tuple-based coordinationLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
2020 247 3
Learning-based coordination model for spontaneous self-composition of reliable services in a distributed systemInternational journal on software tools for technology transfer
2020 1 0
Second-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm roboticsArtificial Life and Robotics
2020 280 113
Agent-based models for first- and second-order emergent collective behaviours of social amoeba Dictyostelium discoideum aggregation and migration phasesArtificial Life and Robotics
2018 281 0
Paraconsistent Rule-based Reasoning with Graded Truth ValuesJournal of Applied Logic
2018 285 0
Cooperative Multiagent System for Parking Availability Prediction Based on Time Varying Dynamic Markov ChainsJournal of Advanced Transportation
2017 600 857
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation PhaseSwarm 2017
2017 419 317
SmartContent—Self-Protected Context-Aware Active Documents for Mobile EnvironmentsElectronics
2017 251 329
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 446 229
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation PhaseDicty 2017
2017 441 63
Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values
2017 472 298
Spatial awareness in pervasive ecosystemsKnowledge Engineering Review
2016 552 436
Logic fragments: coordinating entities with logic programsLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016 560 1
Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance IssuesLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016 622 544
Visualisation de la dynamique et des enjeux toponymiques: Prototype pour la ville suisse de CarougeConcours de Géomatique, Festival international de Géographie,
2016 578 133
Towards a logic and chemical based coordination model
2015 914 453
First Year Ph.D Report: Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm Robotics
2015 579 225
Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm RoboticsSASO 2015
2015 512 321
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 640 535
Towards a spatial language for run-time assessments in self-organizing systemsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems
2015 551 448
Tuple MapReduce and Pangool: An Associated ImplementationKnowledge and Information Systems Journal
2014 752 0
Injecting self-organisation into pervasive service ecosystemsJournal on special topics in mobile networks and applications
2013 913 962
Self-healing and self-repairing technologiesInternational journal, advanced manufacturing technology
2013 929 1,472
Models and Concepts for Socio-Technical Complex Systems: Towards Fractal Social OrganisationsSystems Research and Behavioural Science
2013 602 2
Self-composition of services with chemical reactions
2013 926 579
Description and composition of bio-inspired design patterns: a complete overviewNatural Computing
2013 529 860
Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm RoboticsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2015)
2013 554 640
A decentralized approach for detecting dynamically changing diffuse event sources in noisy WSN environmentsApplied artificial intelligence
2012 817 875
The future of complexity engineeringCentral European Journal of Engineering
2012 746 1,134
Self-organising Pervasive Ecosystems: A Crowd Evacuation ExampleSoftware Engineering for Resilient Systems
2011 720 610
Self-aware Pervasive Service EcosystemsProcedia Computer Science
2011 797 353
Modeling Self-* Systems Using Chemically-Inspired Composable Patterns2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
2011 736 1,200
Self-Organizing Software: From Natural to Artificial Adaptation
2011 724 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 734 614
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 758 378
User Defined Geo-referenced InformationSoftware and Data Technologies: 3rd International Conference - ICSOFT 2008
2009 562 2
Software Engineering for Self-Adaptive Systems: A Research RoadmapSoftware Engineering for Self-Adaptive Systems
2009 555 1
Hovering Information - Self-Organising Information that Finds its Own StorageAutonomic Communication
2009 688 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 818 958
Hovering Information : Infrastructure-Free Self-Organising Location-Aware Information Dissemination ServiceProceedings of the Second ERCIM Workshop on eMobility
2008 621 287
Activity-based computingIEEE pervasive computing
2008 550 1
MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems
2008 722 342
Designing Self-Organization for Evolvable Assembly Systems2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO '08
2008 767 1,040
Dependability Requirements for Hovering InformationSupplementary Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN'07
2007 580 122
Dependability Requirements for Hovering InformationMobile trust
2007 155 277
Dependable Self-organising Software Architectures- An Approach for Self-Managing Systems
2006 712 98
Self-organization in multi-agent systemsKnowledge Engineering Review
2005 1,686 1,685
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 659 285
Specification-Carrying Code for Self-Managed SystemsProceedings of the IFIP/IEEE International Workshop on Self-Managed Systems & Services - SelfMan 2005
2005 687 137
Self-Organisation: Paradigms and ApplicationsEngineering Self-Organising Systems: Nature-Inspired Approaches to Software Engineering
2004 548 2
Trust as an Interaction Mechanism for Self-Organising Engineered SystemsProceedings of the 5th International Conference on Complex Systems - ICCS2004
2004 618 106
"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 688 325
Enhancing Java Grid Computing Security with Resource ControlProceedings of the 1st International Conference: Grid Services Engineering and Management - GSEM 2004
2004 558 0
Semantic Service Oriented Architecture
2004 697 557
Self-Organizing Architecture for Intrusion Detection and Response SystemsProceedings of the 10th HP OpenView University Association Plenary Workshop - HPOVUA 2003
2003 588 114
Designing Fault-Tolerant Mobile SystemsInternational Workshop: Scientific Engineering for Distributed Java Applications - FIDJI 2002
2003 585 0
Engineering Emergent Behaviour: A Vision4th International Workshop: Multi-Agent-Based Simulation III - MABS 2003
2003 557 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 704 245
Real-Time Synchronised Petri NetsProceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002
2002 782 524
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 692 340
Adding Real-Time Constraints to Synchronised Petri Nets
2000 695 1,040
Specification and simulation of ALICE DAQ systemProceedings of the 6th Workshop on Electronics for LHC Experiments
2000 735 303
Formal development and validation of Java dependable distributed systemsProceedings of the 5th IEEE International Conference on Engineering of Complex Computer Systems - ICECCS'99
1999 743 350
A Formal Developement and Validation Methodology for System DesignProceedings of the 5th International Conference on Information Systems Analysis and Synthesis - ISAS 1999
1999 666 1,242
Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs
1999 920 223
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 734 482
A survey of theories for mobile agentsWorld wide web
1998 714 394
CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions
1998 724 110
Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions
1998 555 171
COALA - A Formal Language for Coordinated Atomic ActionsDesign for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072 - Deliverables: Part 2 (Papers)
1998 704 125
Formal development of Java based Web parallel applicationsProceedings of the 31st Hawaii International Conference on System Sciences - HICCS'98
1998 680 358
Communication Messengers as a Basis for Distributed AlgorithmsProceedings of the 2nd European Research Seminars in Advanced Distributed Systems - ERSADS'97
1997 645 125
Access Consistency Memory Model for Messengers
1996 738 94
Distributed Services in a Messenger Environment
1996 603 141
Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory
1996 739 119
A Distributed Micro–Kernel for Communications Messengers
1995 671 135
The Messenger paradigm and its implications on distributed systemsProceedings of ICC'95 workshop on Intelligent Computer Communication
1995 975 325
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools
1995 789 98
Distributed Semaphore In A Messenger EnvironmentProceedings of the First International Workshop: Decentralized Multi-Agent Systems DIMAS'95
1995 769 308
Mathematical Formalization of the Messenger Paradigm
1995 745 86
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 679 287
ACCESS - Algebraic Concurrent Events for System Specification
1994 780 129
Messenger-Based Operating Systems
1994 676 176
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack