Author of the publication

Specification and Verification of an Agent-Based Auction Service.

, and . ISD, page 239-248. Springer, (2008)

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.

 

Other publications of authors with the same name

Using Logic Wrappers to Extract Hierarchical Data from HTML., , and . AWIC, volume 43 of Advances in Soft Computing, page 35-40. Springer, (2007)Specification and Verification of an Agent-Based Auction Service., and . ISD, page 239-248. Springer, (2008)Tuples Extraction from HTML Using Logic Wrappers and Inductive Logic Programming., , and . AWIC, volume 3528 of Lecture Notes in Computer Science, page 44-50. Springer, (2005)Distributed Agent-Based Online Auction System., , , , , , , and . Comput. Informatics, 33 (3): 518-552 (2014)Block structured scheduling using constraint logic programming., , and . AI Commun., 33 (1): 41-57 (2020)Optimal Knockout Tournaments: Definition and Computation., , , , and . LSSC, volume 13127 of Lecture Notes in Computer Science, page 217-225. Springer, (2021)Agent-Based System for Brokering of Logistics Services - Initial Report., , and . ACIIDS (2), volume 8398 of Lecture Notes in Computer Science, page 485-494. Springer, (2014)On Software Complexity of Agent-Oriented Logic Programs: an Empirical Analysis., , , , , and . SQAMIA, volume 2217 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Collective Profitability and Welfare in Selling-Buying Intermediation Processes., , , and . ICCCI (2), volume 9876 of Lecture Notes in Computer Science, page 14-24. Springer, (2016)Formal Modeling of Agent-Based English Auctions Using Finite State Process Algebra., and . KES-AMSTA, volume 4496 of Lecture Notes in Computer Science, page 248-257. Springer, (2007)