PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ciampolini, Anna"

Author of the publication

copydeleteadd this publication to your clipboard
Protocol Specification and Verification by Using Computational Logic.

, , , , , , and . WOA, page 184-192. Pitagora Editrice Bologna, (2005)

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.

Anna Grabowski University of Stuttgart

Anna Fritzsche University of Stuttgart

Anna Logioti University of Stuttgart

Anna Harman University of Stuttgart

Anna Mack University of Stuttgart

 

Other publications of authors with the same name

Extending PVM to a massively parallel architecture., and . Future Generation Comp. Syst., 12 (1): 13-23 (1996)An Abductive Multi-Agent System for Medical Services Coordination., , and . IFIP AI, volume 276 of IFIP, page 421-425. Springer, (2008)The Benefits Of Migration In A Parallel Objects Programming Environment., , , and . PDP, page 291-298. IEEE, (1994)Multi-level Copying For Unification In Parallel Architectures., , , and . PDP, page 518-525. IEEE, (1994)LAILA: a language for coordinating abductive reasoning among logic agents., , , and . Comput. Lang., 27 (4): 137-161 (2001)A distributed approach to compliance monitoring of business process event streams., , , and . Future Generation Comp. Syst., (2018)Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture., , , and . ELP, volume 798 of Lecture Notes in Computer Science, page 62-76. Springer, (1993)Coordinating the safe execution of tasks in a constrained multi-agent system., , , and . AAMAS, page 940-941. ACM, (2002)Blackboard- and Object-Based Systems via Multi-Head Clauses., , , and . Comput. Artif. Intell., 16 (4): 401-423 (1997)An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios., , and . PervasiveHealth, page 93-96. IEEE, (2008)