PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Storari, Sergio"

Author of the publication

copydeleteadd this publication to your clipboard
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.

, , , , , and . Trans. Petri Nets and Other Models of Concurrency, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sergio Gutierrez Sanchez University of Stuttgart

Sergio Ivan Caceres Castro University of Stuttgart

 

Other publications of authors with the same name

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