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 48 14
The Semantic Approach to Recognise the Components of the Underground Cadastre - Relevé Automatique des réseaux (RAR) Project
accessLevelPublic
2024 306 90
Streamlining Tax and Administrative Document Management with AI-Powered Intelligent Document Management SystemInformation
accessLevelPublic
2024 101 72
State of Agricultural E-Government Services to Farmers in Tanzania: Toward the Participatory Design of a Farmers Digital Information System (FDIS)Agriculture
accessLevelPublic
2024 47 41
A Farmers’ Digital Information System (FDIS) for Sustainable Agriculture Among Smallholder Farmers in TanzaniaInformation
accessLevelPublic
2024 35 16
Towards Automated Regulatory Compliance Using Semantic KGs and SHACLThe Knowledge Graph Conference
accessLevelPublic
2024 29 34
A DPSIR-Driven Agent-Based Model for Residential Choices and Mobility in an Urban SettingSustainability
accessLevelPublic
2024 29 14
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 31 22
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 28 12
Autonomous Generation of a Public Transportation Network by an Agent-Based Model: Mutual Enrichment with Knowledge Graphs for Sustainable Urban MobilitySustainability
accessLevelPublic
2024 7 10
Coordination model and digital twins for managing energy consumption and production in a smart gridDigital Science Day 2023
accessLevelPublic
2023 67 29
Rapport d'activité Cellule R&D
accessLevelRestricted
2023 195 4
Coordination Model and Digital Twins for Managing Energy Consumption and Production in a Smart GridEnergies
accessLevelPublic
2023 65 38
RecOnCiling Companies and AI Regulations InitiAtives (ROCCIA)
accessLevelPublic
2023 470 67
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 63 14
Explainable e-Coaches Via Rules Extraction and Symbolic Knowledge SharingDigital Science Day.
accessLevelPublic
2023 52 13
A Framework for Regulatory Compliance using Knowledge GraphsDigital Sciences Day
accessLevelRestricted
2023 80 3
Data management system for sustainable agriculture among smallholder farmers in Tanzania: research-in-progressInformation technology for development
accessLevelPublic
2023 72 33
Enriching RDF-based Document Management System with Semantic-based ReasoningThe 29th International DMS Conference on Visualization and Visual Languages, DMSVIVA 2023
accessLevelPublic
2023 24 14
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 192 38
TRACES poster: Agent-based model for prescriptive analysis of the link between land cover change and public transport developmentDigital Sciences Day 2023
accessLevelPublic
2023 60 20
Cultura, contextual chatbotUNIGE Data Science Day 2022
accessLevelRestricted
2022 113 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 207 288
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 628 106
TRACES - Agent-based model for prescriptive analysis of the link between land cover change and public transport developmentUNIGE Data Science Day 2022
accessLevelRestricted
2022 96 2
Addmin: Private computing for consumers’ online documents access: Scientific Technical Report
accessLevelPublic
2022 421 193
Rapport de recherche MILBOT: Livrable 3
accessLevelPublic
2022 282 63
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 844 219
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 959 222
Developing an agent-based model for canopy growth simulation and tree-related cooling effect estimation over the canton of Geneva
accessLevelPublic
2021 208 110
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 317 297
CERTIFY : Leveraging fact-checkers and crowdsourcing to provide informed opinions on unreliable or misleading information
accessLevelPublic
2020 734 158
First-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm roboticsArtificial Life and Robotics
accessLevelPublic
2020 255 88
Engineering semantic self-composition of services through tuple-based coordinationLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
accessLevelRestricted
2020 201 3
Second-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm roboticsArtificial Life and Robotics
accessLevelPublic
2020 244 60
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 249 0
Paraconsistent Rule-based Reasoning with Graded Truth ValuesJournal of Applied Logic
accessLevelRestricted
2018 251 0
Cooperative Multiagent System for Parking Availability Prediction Based on Time Varying Dynamic Markov ChainsJournal of Advanced Transportation
accessLevelPublic
2017 528 238
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation PhaseSwarm 2017
accessLevelPublic
2017 375 88
SmartContent—Self-Protected Context-Aware Active Documents for Mobile EnvironmentsElectronics
accessLevelPublic
2017 223 74
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 393 109
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation PhaseDicty 2017
accessLevelPublic
2017 386 43
Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values
accessLevelPublic
2017 434 90
Spatial awareness in pervasive ecosystemsKnowledge Engineering Review
accessLevelPublic
2016 503 326
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 544 402
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 529 86
Towards a logic and chemical based coordination model
accessLevelPublic
2015 845 190
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 427 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 600 345
Towards a spatial language for run-time assessments in self-organizing systemsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems
accessLevelPublic
2015 511 299
Tuple MapReduce and Pangool: An Associated ImplementationKnowledge and Information Systems Journal
accessLevelRestricted
2014 659 0
Injecting self-organisation into pervasive service ecosystemsJournal on special topics in mobile networks and applications
accessLevelPublic
2013 815 876
Self-healing and self-repairing technologiesInternational journal, advanced manufacturing technology
accessLevelPublic
2013 862 1,089
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 878 487
Description and composition of bio-inspired design patterns: a complete overviewNatural Computing
accessLevelPublic
2013 457 680
Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm RoboticsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2015)
accessLevelPublic
2013 523 287
A decentralized approach for detecting dynamically changing diffuse event sources in noisy WSN environmentsApplied artificial intelligence
accessLevelPublic
2012 769 412
The future of complexity engineeringCentral European Journal of Engineering
accessLevelPublic
2012 703 720
Self-organising Pervasive Ecosystems: A Crowd Evacuation ExampleSoftware Engineering for Resilient Systems
accessLevelPublic
2011 660 514
Self-aware Pervasive Service EcosystemsProcedia Computer Science
accessLevelPublic
2011 720 302
Modeling Self-* Systems Using Chemically-Inspired Composable Patterns2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
accessLevelPublic
2011 667 392
Self-Organizing Software: From Natural to Artificial Adaptation
2011 662 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 687 351
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 713 180
User Defined Geo-referenced InformationSoftware and Data Technologies: 3rd International Conference - ICSOFT 2008
accessLevelRestricted
2009 514 2
Software Engineering for Self-Adaptive Systems: A Research RoadmapSoftware Engineering for Self-Adaptive Systems
accessLevelRestricted
2009 512 1
Hovering Information - Self-Organising Information that Finds its Own StorageAutonomic Communication
accessLevelRestricted
2009 644 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 720 390
Hovering Information : Infrastructure-Free Self-Organising Location-Aware Information Dissemination ServiceProceedings of the Second ERCIM Workshop on eMobility
accessLevelPublic
2008 562 67
Activity-based computingIEEE pervasive computing
accessLevelRestricted
2008 510 1
MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems
accessLevelPublic
2008 655 139
Designing Self-Organization for Evolvable Assembly Systems2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO '08
accessLevelPublic
2008 710 584
Dependability Requirements for Hovering InformationSupplementary Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN'07
accessLevelPublic
2007 522 72
Dependability Requirements for Hovering InformationMobile trust
accessLevelPublic
2007 112 28
Dependable Self-organising Software Architectures- An Approach for Self-Managing Systems
accessLevelPublic
2006 673 66
Self-organization in multi-agent systemsKnowledge Engineering Review
accessLevelPublic
2005 1,456 777
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 621 236
Specification-Carrying Code for Self-Managed SystemsProceedings of the IFIP/IEEE International Workshop on Self-Managed Systems & Services - SelfMan 2005
accessLevelPublic
2005 648 76
Self-Organisation: Paradigms and ApplicationsEngineering Self-Organising Systems: Nature-Inspired Approaches to Software Engineering
accessLevelRestricted
2004 496 2
Trust as an Interaction Mechanism for Self-Organising Engineered SystemsProceedings of the 5th International Conference on Complex Systems - ICCS2004
accessLevelPublic
2004 559 69
"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 609 247
Enhancing Java Grid Computing Security with Resource ControlProceedings of the 1st International Conference: Grid Services Engineering and Management - GSEM 2004
accessLevelRestricted
2004 516 0
Semantic Service Oriented Architecture
accessLevelPublic
2004 656 509
Self-Organizing Architecture for Intrusion Detection and Response SystemsProceedings of the 10th HP OpenView University Association Plenary Workshop - HPOVUA 2003
accessLevelPublic
2003 557 68
Designing Fault-Tolerant Mobile SystemsInternational Workshop: Scientific Engineering for Distributed Java Applications - FIDJI 2002
accessLevelRestricted
2003 528 0
Engineering Emergent Behaviour: A Vision4th International Workshop: Multi-Agent-Based Simulation III - MABS 2003
accessLevelRestricted
2003 510 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 648 185
Real-Time Synchronised Petri NetsProceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002
accessLevelPublic
2002 717 458
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 634 272
Adding Real-Time Constraints to Synchronised Petri Nets
accessLevelPublic
2000 623 996
Specification and simulation of ALICE DAQ systemProceedings of the 6th Workshop on Electronics for LHC Experiments
accessLevelPublic
2000 639 287
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 671 283
A Formal Developement and Validation Methodology for System DesignProceedings of the 5th International Conference on Information Systems Analysis and Synthesis - ISAS 1999
accessLevelPublic
1999 628 1,203
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 743 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 678 291
A survey of theories for mobile agentsWorld wide web
accessLevelPublic
1998 651 279
CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions
accessLevelPublic
1998 677 86
Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions
accessLevelPublic
1998 511 138
COALA - A Formal Language for Coordinated Atomic ActionsDesign for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072 - Deliverables: Part 2 (Papers)
accessLevelPublic
1998 650 96
Formal development of Java based Web parallel applicationsProceedings of the 31st Hawaii International Conference on System Sciences - HICCS'98
accessLevelPublic
1998 638 299
Communication Messengers as a Basis for Distributed AlgorithmsProceedings of the 2nd European Research Seminars in Advanced Distributed Systems - ERSADS'97
accessLevelPublic
1997 597 89
Access Consistency Memory Model for Messengers
accessLevelPublic
1996 678 69
Distributed Services in a Messenger Environment
accessLevelPublic
1996 558 105
Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory
accessLevelPublic
1996 658 93
A Distributed Micro–Kernel for Communications Messengers
accessLevelPublic
1995 624 75
The Messenger paradigm and its implications on distributed systemsProceedings of ICC'95 workshop on Intelligent Computer Communication
accessLevelPublic
1995 927 136
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools
accessLevelPublic
1995 715 80
Distributed Semaphore In A Messenger EnvironmentProceedings of the First International Workshop: Decentralized Multi-Agent Systems DIMAS'95
accessLevelPublic
1995 718 232
Mathematical Formalization of the Messenger Paradigm
accessLevelPublic
1995 702 74
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 627 125
ACCESS - Algebraic Concurrent Events for System Specification
accessLevelPublic
1994 679 89
Messenger-Based Operating Systems
accessLevelPublic
1994 631 118
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack