Items per page
1 - 116 of 116
Title Published in Access level OA Policy Year Views Downloads
Ontology-Based Customisation Management System for Driver-Vehicle Interfaces: A Preventive Approach to Incident Reduction and Legal Accountability in Highly Automated VehiclesApplied sciences
accessLevelPublic
2025 55 17
The Semantic Approach to Recognise the Components of the Underground Cadastre - Relevé Automatique des réseaux (RAR) Project
accessLevelPublic
2024 317 103
Streamlining Tax and Administrative Document Management with AI-Powered Intelligent Document Management SystemInformation
accessLevelPublic
2024 113 82
State of Agricultural E-Government Services to Farmers in Tanzania: Toward the Participatory Design of a Farmers Digital Information System (FDIS)Agriculture
accessLevelPublic
2024 53 54
A Farmers’ Digital Information System (FDIS) for Sustainable Agriculture Among Smallholder Farmers in TanzaniaInformation
accessLevelPublic
2024 43 18
Towards Automated Regulatory Compliance Using Semantic KGs and SHACLThe Knowledge Graph Conference
accessLevelPublic
2024 41 43
A DPSIR-Driven Agent-Based Model for Residential Choices and Mobility in an Urban SettingSustainability
accessLevelPublic
2024 36 19
Designing a farmers digital information system for sustainable agriculture: The perspective of Tanzanian agricultural stakeholdersThe Electronic journal on information systems in developing countries
accessLevelPublic
2024 41 25
A semi-automated software model to support AI ethics compliance assessment of an AI system guided by ethical principles of AIAI and ethics
accessLevelPublic
2024 31 17
Autonomous Generation of a Public Transportation Network by an Agent-Based Model: Mutual Enrichment with Knowledge Graphs for Sustainable Urban MobilitySustainability
accessLevelPublic
2024 12 16
Coordination model and digital twins for managing energy consumption and production in a smart gridDigital Science Day 2023
accessLevelPublic
2023 72 33
Rapport d'activité Cellule R&D
accessLevelRestricted
2023 199 4
Coordination Model and Digital Twins for Managing Energy Consumption and Production in a Smart GridEnergies
accessLevelPublic
2023 73 48
RecOnCiling Companies and AI Regulations InitiAtives (ROCCIA)
accessLevelPublic
2023 478 76
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
accessLevelPublic
2023 65 15
Explainable e-Coaches Via Rules Extraction and Symbolic Knowledge SharingDigital Science Day.
accessLevelPublic
2023 56 13
A Framework for Regulatory Compliance using Knowledge GraphsDigital Sciences Day
accessLevelRestricted
2023 85 3
Data management system for sustainable agriculture among smallholder farmers in Tanzania: research-in-progressInformation technology for development
accessLevelPublic
2023 76 34
Enriching RDF-based Document Management System with Semantic-based ReasoningThe 29th International DMS Conference on Visualization and Visual Languages, DMSVIVA 2023
accessLevelPublic
2023 28 17
Enriching RDF-based Document Management System with Semantic-based ReasoningDMSVIVA 2023. Proceedings of the 29th International DMS Conference on Visualization and Visual Languages
accessLevelPublic
2023 198 44
TRACES poster: Agent-based model for prescriptive analysis of the link between land cover change and public transport developmentDigital Sciences Day 2023
accessLevelPublic
2023 63 22
Cultura, contextual chatbotUNIGE Data Science Day 2022
accessLevelRestricted
2022 115 2
Lasagne –implementation of smartgrid in the form of a coordination system of digital twinsUNIGE Data Science Day 2022
accessLevelRestricted
2022 118 4
Digital Technology and Services for Sustainable Agriculture in Tanzania: A Literature ReviewSustainability
accessLevelPublic
2022 213 297
A complex-systems paradigm for modeling and solving finite large-scale discrete resources allocation problems – Part 1: a mathematical formalization of resources allocations problems
accessLevelPublic
2022 638 107
TRACES - Agent-based model for prescriptive analysis of the link between land cover change and public transport developmentUNIGE Data Science Day 2022
accessLevelRestricted
2022 97 2
Addmin: Private computing for consumers’ online documents access: Scientific Technical Report
accessLevelPublic
2022 450 197
Rapport de recherche MILBOT: Livrable 3
accessLevelPublic
2022 305 67
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
accessLevelPublic
2021 852 220
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
accessLevelPublic
2021 966 229
Developing an agent-based model for canopy growth simulation and tree-related cooling effect estimation over the canton of Geneva
accessLevelPublic
2021 214 121
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
accessLevelPublic
2021 324 302
CERTIFY : Leveraging fact-checkers and crowdsourcing to provide informed opinions on unreliable or misleading information
accessLevelPublic
2020 752 160
First-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm roboticsArtificial Life and Robotics
accessLevelPublic
2020 258 89
Engineering semantic self-composition of services through tuple-based coordinationLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
accessLevelRestricted
2020 203 3
Second-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm roboticsArtificial Life and Robotics
accessLevelPublic
2020 245 61
Agent-based models for first- and second-order emergent collective behaviours of social amoeba Dictyostelium discoideum aggregation and migration phasesArtificial Life and Robotics
accessLevelRestricted
2018 251 0
Paraconsistent Rule-based Reasoning with Graded Truth ValuesJournal of Applied Logic
accessLevelRestricted
2018 252 0
Cooperative Multiagent System for Parking Availability Prediction Based on Time Varying Dynamic Markov ChainsJournal of Advanced Transportation
accessLevelPublic
2017 533 252
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation PhaseSwarm 2017
accessLevelPublic
2017 377 88
SmartContent—Self-Protected Context-Aware Active Documents for Mobile EnvironmentsElectronics
accessLevelPublic
2017 224 75
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
accessLevelPublic
2017 396 109
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation PhaseDicty 2017
accessLevelPublic
2017 389 46
Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values
accessLevelPublic
2017 436 91
Spatial awareness in pervasive ecosystemsKnowledge Engineering Review
accessLevelPublic
2016 504 328
Logic fragments: coordinating entities with logic programsLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
accessLevelRestricted
2016 519 1
Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance IssuesLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
accessLevelPublic
2016 566 427
Visualisation de la dynamique et des enjeux toponymiques: Prototype pour la ville suisse de CarougeConcours de Géomatique, Festival international de Géographie,
accessLevelPublic
2016 535 88
Towards a logic and chemical based coordination model
accessLevelPublic
2015 853 200
First Year Ph.D Report: Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm Robotics
accessLevelPublic
2015 532 163
Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm RoboticsSASO 2015
accessLevelPublic
2015 428 227
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
accessLevelPublic
2015 601 362
Towards a spatial language for run-time assessments in self-organizing systemsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems
accessLevelPublic
2015 514 308
Tuple MapReduce and Pangool: An Associated ImplementationKnowledge and Information Systems Journal
accessLevelRestricted
2014 664 0
Injecting self-organisation into pervasive service ecosystemsJournal on special topics in mobile networks and applications
accessLevelPublic
2013 825 882
Self-healing and self-repairing technologiesInternational journal, advanced manufacturing technology
accessLevelPublic
2013 869 1,093
Models and Concepts for Socio-Technical Complex Systems: Towards Fractal Social OrganisationsSystems Research and Behavioural Science
accessLevelRestricted
2013 553 2
Self-composition of services with chemical reactions
accessLevelPublic
2013 883 490
Description and composition of bio-inspired design patterns: a complete overviewNatural Computing
accessLevelPublic
2013 462 687
Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm RoboticsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2015)
accessLevelPublic
2013 523 288
A decentralized approach for detecting dynamically changing diffuse event sources in noisy WSN environmentsApplied artificial intelligence
accessLevelPublic
2012 775 418
The future of complexity engineeringCentral European Journal of Engineering
accessLevelPublic
2012 709 722
Self-organising Pervasive Ecosystems: A Crowd Evacuation ExampleSoftware Engineering for Resilient Systems
accessLevelPublic
2011 661 515
Self-aware Pervasive Service EcosystemsProcedia Computer Science
accessLevelPublic
2011 724 306
Modeling Self-* Systems Using Chemically-Inspired Composable Patterns2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
accessLevelPublic
2011 669 397
Self-Organizing Software: From Natural to Artificial Adaptation
2011 666 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
accessLevelPublic
2010 689 356
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
accessLevelPublic
2010 718 180
User Defined Geo-referenced InformationSoftware and Data Technologies: 3rd International Conference - ICSOFT 2008
accessLevelRestricted
2009 516 2
Software Engineering for Self-Adaptive Systems: A Research RoadmapSoftware Engineering for Self-Adaptive Systems
accessLevelRestricted
2009 513 1
Hovering Information - Self-Organising Information that Finds its Own StorageAutonomic Communication
accessLevelRestricted
2009 647 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)
accessLevelPublic
2009 725 395
Hovering Information : Infrastructure-Free Self-Organising Location-Aware Information Dissemination ServiceProceedings of the Second ERCIM Workshop on eMobility
accessLevelPublic
2008 571 69
Activity-based computingIEEE pervasive computing
accessLevelRestricted
2008 512 1
MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems
accessLevelPublic
2008 659 141
Designing Self-Organization for Evolvable Assembly Systems2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO '08
accessLevelPublic
2008 715 587
Dependability Requirements for Hovering InformationSupplementary Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN'07
accessLevelPublic
2007 527 75
Dependability Requirements for Hovering InformationMobile trust
accessLevelPublic
2007 113 32
Dependable Self-organising Software Architectures- An Approach for Self-Managing Systems
accessLevelPublic
2006 677 67
Self-organization in multi-agent systemsKnowledge Engineering Review
accessLevelPublic
2005 1,481 792
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
accessLevelPublic
2005 623 238
Specification-Carrying Code for Self-Managed SystemsProceedings of the IFIP/IEEE International Workshop on Self-Managed Systems & Services - SelfMan 2005
accessLevelPublic
2005 654 78
Self-Organisation: Paradigms and ApplicationsEngineering Self-Organising Systems: Nature-Inspired Approaches to Software Engineering
accessLevelRestricted
2004 499 2
Trust as an Interaction Mechanism for Self-Organising Engineered SystemsProceedings of the 5th International Conference on Complex Systems - ICCS2004
accessLevelPublic
2004 563 70
"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
accessLevelPublic
2004 613 249
Enhancing Java Grid Computing Security with Resource ControlProceedings of the 1st International Conference: Grid Services Engineering and Management - GSEM 2004
accessLevelRestricted
2004 517 0
Semantic Service Oriented Architecture
accessLevelPublic
2004 658 510
Self-Organizing Architecture for Intrusion Detection and Response SystemsProceedings of the 10th HP OpenView University Association Plenary Workshop - HPOVUA 2003
accessLevelPublic
2003 561 75
Designing Fault-Tolerant Mobile SystemsInternational Workshop: Scientific Engineering for Distributed Java Applications - FIDJI 2002
accessLevelRestricted
2003 531 0
Engineering Emergent Behaviour: A Vision4th International Workshop: Multi-Agent-Based Simulation III - MABS 2003
accessLevelRestricted
2003 513 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
accessLevelPublic
2002 657 186
Real-Time Synchronised Petri NetsProceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002
accessLevelPublic
2002 720 459
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
accessLevelPublic
2001 638 274
Adding Real-Time Constraints to Synchronised Petri Nets
accessLevelPublic
2000 626 997
Specification and simulation of ALICE DAQ systemProceedings of the 6th Workshop on Electronics for LHC Experiments
accessLevelPublic
2000 643 289
Formal development and validation of Java dependable distributed systemsProceedings of the 5th IEEE International Conference on Engineering of Complex Computer Systems - ICECCS'99
accessLevelPublic
1999 677 286
A Formal Developement and Validation Methodology for System DesignProceedings of the 5th International Conference on Information Systems Analysis and Synthesis - ISAS 1999
accessLevelPublic
1999 629 1,204
Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs. Swiss Federal Institute of Technology, EPFL, Lausanne
accessLevelPublic
1999 755 201
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
accessLevelPublic
1998 684 295
A survey of theories for mobile agentsWorld wide web
accessLevelPublic
1998 654 284
CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions
accessLevelPublic
1998 680 87
Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions
accessLevelPublic
1998 514 140
COALA - A Formal Language for Coordinated Atomic ActionsDesign for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072 - Deliverables: Part 2 (Papers)
accessLevelPublic
1998 656 97
Formal development of Java based Web parallel applicationsProceedings of the 31st Hawaii International Conference on System Sciences - HICCS'98
accessLevelPublic
1998 640 306
Communication Messengers as a Basis for Distributed AlgorithmsProceedings of the 2nd European Research Seminars in Advanced Distributed Systems - ERSADS'97
accessLevelPublic
1997 601 92
Access Consistency Memory Model for Messengers
accessLevelPublic
1996 685 71
Distributed Services in a Messenger Environment
accessLevelPublic
1996 561 106
Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory
accessLevelPublic
1996 663 94
A Distributed Micro–Kernel for Communications Messengers
accessLevelPublic
1995 628 75
The Messenger paradigm and its implications on distributed systemsProceedings of ICC'95 workshop on Intelligent Computer Communication
accessLevelPublic
1995 932 137
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools
accessLevelPublic
1995 717 80
Distributed Semaphore In A Messenger EnvironmentProceedings of the First International Workshop: Decentralized Multi-Agent Systems DIMAS'95
accessLevelPublic
1995 727 236
Mathematical Formalization of the Messenger Paradigm
accessLevelPublic
1995 705 75
COMSCRIPT: An Environment for the Implementation of Protocol Stacks and their Dynamic ReconfigurationProceedings of the 2nd International Symposium on Applied Corporate Computing - ISACC'94
accessLevelPublic
1994 632 129
ACCESS - Algebraic Concurrent Events for System Specification
accessLevelPublic
1994 683 90
Messenger-Based Operating Systems
accessLevelPublic
1994 636 121
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack