Autor der Publikation

State-Space Reduction through Preference Modeling.

, , und . ICAISC (2), Volume 7895 von Lecture Notes in Computer Science, Seite 363-374. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Weight matching via pairwise comparison for MaxSAT.. KES, Volume 207 von Procedia Computer Science, Seite 2658-2666. Elsevier, (2022)Modeling Context-Aware and Agent-Ready Systems for the Outdoor Smart Lighting., und . ICAISC (2), Volume 8468 von Lecture Notes in Computer Science, Seite 257-268. Springer, (2014)Mapping Population and Mobile Pervasive Datasets into Individual Behaviours for Urban Ecosystems.. ICAISC (1), Volume 9692 von Lecture Notes in Computer Science, Seite 683-694. Springer, (2016)From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models.. SEFM, Volume 8137 von Lecture Notes in Computer Science, Seite 61-75. Springer, (2013)Ambient-aware continuous aid for mountain rescue activities.. Inf. Sci., (Januar 2024)Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models.. CoRR, (2014)Context-awareness of the IoT through the on-the-fly preference modeling., und . CoRR, (2014)Proposal of a multiagent-based smart environment for the IoT., und . Intelligent Environments (Workshops), Volume 18 von Ambient Intelligence and Smart Environments, Seite 37-44. IOS Press, (2014)Verification of ArchiMate process specifications based on deductive temporal reasoning., und . FedCSIS, Seite 1103-1110. (2013)Police Interventions as a Context-aware System. A Case of a Contextual Data Modelling.. ISD, Risoprint / Association for Information Systems, (2022)