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 17 360
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 87 1,164
Gossip Coordination Mechanism for Decentralised LearningEnergies
2025 19 19
AI-Powered User Experience and Interactions with Galleries, Libraries, Archives and Museum (GLAM)RESSI
2025 17 508
Semantic-driven Conversational Agent for “SOS Rentrée” University Service
2025 153 775
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 17 126
Social Media and Digital Services - Business, Innovation, Sustainability
2025 409 473
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 79
Methodological Exploration of Ontology Generation with a Dedicated Large Language ModelElectronics
2025 44 43
The Semantic Approach to Recognise the Components of the Underground Cadastre - Relevé Automatique des réseaux (RAR) Project
2024 431 284
Streamlining Tax and Administrative Document Management with AI-Powered Intelligent Document Management SystemInformation
2024 208 227
State of Agricultural E-Government Services to Farmers in Tanzania: Toward the Participatory Design of a Farmers Digital Information System (FDIS)Agriculture
2024 95 854
A Farmers’ Digital Information System (FDIS) for Sustainable Agriculture Among Smallholder Farmers in TanzaniaInformation
2024 133 133
Towards Automated Regulatory Compliance Using Semantic KGs and SHACLThe Knowledge Graph Conference
2024 93 656
A DPSIR-Driven Agent-Based Model for Residential Choices and Mobility in an Urban SettingSustainability
2024 92 92
Designing a farmers digital information system for sustainable agriculture: The perspective of Tanzanian agricultural stakeholdersThe Electronic journal on information systems in developing countries
2024 141 117
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 748
Autonomous Generation of a Public Transportation Network by an Agent-Based Model: Mutual Enrichment with Knowledge Graphs for Sustainable Urban MobilitySustainability
2024 39 1,974
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 111
Coordination model and digital twins for managing energy consumption and production in a smart gridDigital Science Day 2023
2023 119 2,018
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,338
RecOnCiling Companies and AI Regulations InitiAtives (ROCCIA)
2023 563 447
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 49
Explainable e-Coaches Via Rules Extraction and Symbolic Knowledge SharingDigital Science Day.
2023 86 56
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 80
Agent-based modelling of commuting patterns in Geneva, Switzerland, towards portraying urban expansion and land cover changes
2023 9 308
Enriching RDF-based Document Management System with Semantic-based ReasoningThe 29th International DMS Conference on Visualization and Visual Languages, DMSVIVA 2023
2023 57 99
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 131
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,140
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,162
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 130
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 538
Rapport de recherche MILBOT: Livrable 3
2022 394 144
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 361
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 343
Developing an agent-based model for canopy growth simulation and tree-related cooling effect estimation over the canton of Geneva
2021 260 245
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 393 436
CERTIFY : Leveraging fact-checkers and crowdsourcing to provide informed opinions on unreliable or misleading information
2020 886 245
First-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm roboticsArtificial Life and Robotics
2020 307 108
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 114
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 957
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation PhaseSwarm 2017
2017 419 320
SmartContent—Self-Protected Context-Aware Active Documents for Mobile EnvironmentsElectronics
2017 251 330
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 268
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation PhaseDicty 2017
2017 442 66
Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values
2017 472 303
Spatial awareness in pervasive ecosystemsKnowledge Engineering Review
2016 552 450
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 626 554
Visualisation de la dynamique et des enjeux toponymiques: Prototype pour la ville suisse de CarougeConcours de Géomatique, Festival international de Géographie,
2016 579 146
Towards a logic and chemical based coordination model
2015 914 485
First Year Ph.D Report: Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm Robotics
2015 579 230
Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm RoboticsSASO 2015
2015 512 337
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 547
Towards a spatial language for run-time assessments in self-organizing systemsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems
2015 551 454
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 995
Self-healing and self-repairing technologiesInternational journal, advanced manufacturing technology
2013 929 1,508
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 592
Description and composition of bio-inspired design patterns: a complete overviewNatural Computing
2013 529 886
Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm RoboticsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2015)
2013 554 648
A decentralized approach for detecting dynamically changing diffuse event sources in noisy WSN environmentsApplied artificial intelligence
2012 817 900
The future of complexity engineeringCentral European Journal of Engineering
2012 746 1,149
Self-organising Pervasive Ecosystems: A Crowd Evacuation ExampleSoftware Engineering for Resilient Systems
2011 720 615
Self-aware Pervasive Service EcosystemsProcedia Computer Science
2011 797 359
Modeling Self-* Systems Using Chemically-Inspired Composable Patterns2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
2011 736 1,274
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 666
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 463
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 977
Hovering Information : Infrastructure-Free Self-Organising Location-Aware Information Dissemination ServiceProceedings of the Second ERCIM Workshop on eMobility
2008 626 291
Activity-based computingIEEE pervasive computing
2008 550 1
MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems
2008 722 352
Designing Self-Organization for Evolvable Assembly Systems2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO '08
2008 767 1,059
Dependability Requirements for Hovering InformationSupplementary Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN'07
2007 580 142
Dependability Requirements for Hovering InformationMobile trust
2007 155 285
Dependable Self-organising Software Architectures- An Approach for Self-Managing Systems
2006 712 106
Self-organization in multi-agent systemsKnowledge Engineering Review
2005 1,686 1,764
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 292
Specification-Carrying Code for Self-Managed SystemsProceedings of the IFIP/IEEE International Workshop on Self-Managed Systems & Services - SelfMan 2005
2005 687 145
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 109
"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 335
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 559
Self-Organizing Architecture for Intrusion Detection and Response SystemsProceedings of the 10th HP OpenView University Association Plenary Workshop - HPOVUA 2003
2003 588 115
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 252
Real-Time Synchronised Petri NetsProceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002
2002 782 531
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 345
Adding Real-Time Constraints to Synchronised Petri Nets
2000 695 1,043
Specification and simulation of ALICE DAQ systemProceedings of the 6th Workshop on Electronics for LHC Experiments
2000 736 305
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 359
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,245
Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs
1999 931 226
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 510
A survey of theories for mobile agentsWorld wide web
1998 714 405
CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions
1998 724 112
Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions
1998 555 174
COALA - A Formal Language for Coordinated Atomic ActionsDesign for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072 - Deliverables: Part 2 (Papers)
1998 704 126
Formal development of Java based Web parallel applicationsProceedings of the 31st Hawaii International Conference on System Sciences - HICCS'98
1998 680 369
Communication Messengers as a Basis for Distributed AlgorithmsProceedings of the 2nd European Research Seminars in Advanced Distributed Systems - ERSADS'97
1997 645 127
Access Consistency Memory Model for Messengers
1996 738 96
Distributed Services in a Messenger Environment
1996 603 143
Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory
1996 739 128
A Distributed Micro–Kernel for Communications Messengers
1995 671 147
The Messenger paradigm and its implications on distributed systemsProceedings of ICC'95 workshop on Intelligent Computer Communication
1995 975 355
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools
1995 789 99
Distributed Semaphore In A Messenger EnvironmentProceedings of the First International Workshop: Decentralized Multi-Agent Systems DIMAS'95
1995 769 313
Mathematical Formalization of the Messenger Paradigm
1995 745 89
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 299
ACCESS - Algebraic Concurrent Events for System Specification
1994 780 134
Messenger-Based Operating Systems
1994 676 186
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack