PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Storari, Sergio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios.

, , und . PervasiveHealth, Seite 93-96. IEEE, (2008)

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.

Sergio Gutierrez Sanchez University of Stuttgart

Sergio Ivan Caceres Castro University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols., , , und . CBMS, Seite 503-505. IEEE Computer Society, (2005)Checking Compliance of Execution Traces to Business Rules., , , , , und . Business Process Management Workshops, Volume 17 von Lecture Notes in Business Information Processing, Seite 134-145. Springer, (2008)A System for Monitoring Nosocomial Infections., , , , und . ISMDA, Volume 1933 von Lecture Notes in Computer Science, Seite 282-292. Springer, (2000)Protocol Specification and Verification by Using Computational Logic., , , , , , und . WOA, Seite 184-192. Pitagora Editrice Bologna, (2005)Bayesian Networks Learning for Gene Expression Datasets., , , , und . IDA, Volume 3646 von Lecture Notes in Computer Science, Seite 109-120. Springer, (2005)Discovering Validation Rules from Microbiological Data., , , , und . New Generation Comput., 21 (2): 123-133 (2003)Declarative specification and verification of service choreographiess., , , , , und . TWEB, 4 (1): 3:1-3:62 (2010)Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic., , , und . AIME, Volume 4594 von Lecture Notes in Computer Science, Seite 479-488. Springer, (2007)A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance., , , , , , , , und . AIME, Volume 5651 von Lecture Notes in Computer Science, Seite 91-95. (2009)Learning specifications of interaction protocols and business processes and proving their properties., , , , und . Intelligenza Artificiale, 5 (1): 71-75 (2011)