@conference(Bai2013APC, author = "Wei Bai and Emmanuel M. Tadjouddine and Terry Payne and Steven Guan", year = "2013", title = "A Proof-Carrying Code Approach to Certificate Auction Mechanisms", booktitle = "The 10th International Symposium on Formal Aspects of Component Software", ) @incollection(bellifemine2005jade, author = "Fabio Bellifemine and Federico Bergenti and Giovanni Caire and Agostino Poggi", year = "2005", title = "JADE -- A Java Agent DEvelopment Framework", booktitle = "Multi-Agent Programming", publisher = "Springer", pages = "125--147", doi = "10.1007/0-387-26350-0\_5", ) @article(Caminati2013proving, author = "Marco B Caminati and Manfred Kerber and Christoph Lange and Colin Rowat", year = "2013", title = "Proving soundness of combinatorial Vickrey auctions and generating verified executable code", journal = "arXiv preprint arXiv:1308.1779", ) @article(Clarke1971, author = "Edward H Clarke", year = "1971", title = "Multipart pricing of public goods", journal = "Public choice", volume = "11", number = "1", pages = "17--33", doi = "10.1007/BF01726210", ) @article(Cousot2004, author = "P. Cousot and R. Cousot", year = "2004", title = "Basic concepts of abstract interpretation", journal = "Building the Information Society", pages = "359--366", doi = "10.1007/978-1-4020-8157-6\_27", ) @article(Cramton06PAT, author = "Peter Cramton and Yoav Shoham and Richard Steinberg", year = "2006", title = "Combinatorial auctions", isbn = "9780262033428", ) @article(dadzie2009applying, author = "A-S Dadzie and R Bhagdev and A Chakravarthy and S Chapman and J Iria and V Lanfranchi and J Magalh{\~a}es and D Petrelli and F Ciravegna", year = "2009", title = "Applying semantic web technologies to knowledge sharing in aerospace engineering", journal = "Journal of Intelligent Manufacturing", volume = "20", number = "5", pages = "611--623", doi = "10.1007/s10845-008-0141-1", ) @article(Gonthier2008, author = "G. Gonthier", year = "2008", title = "The four colour theorem: Engineering of a formal proof", journal = "Computer Mathematics", pages = "333--333", doi = "10.1007/978-3-540-87827-8\_28", ) @incollection(gulavani2006counterexample, author = "Bhargav S Gulavani and Sriram K Rajamani", year = "2006", title = "Counterexample driven refinement for abstract interpretation", booktitle = "Tools and Algorithms for the Construction and Analysis of Systems", publisher = "Springer", pages = "474--488", doi = "10.1007/11691372\_34", ) @article(horrocks2004swrl, author = "Ian Horrocks and Peter F Patel-Schneider and Harold Boley and Said Tabet and Benjamin Grosof and Mike Dean", year = "2004", title = "SWRL: A semantic web rule language combining OWL and RuleML", journal = "W3C Member submission", volume = "21", ) @article(Leroy2009, author = "X. Leroy", year = "2009", title = "Formal verification of a realistic compiler", journal = "Communications of the ACM", volume = "52", number = "7", pages = "107--115", doi = "10.1145/1538788.1538814", ) @inproceedings(lucanu2005institution, author = "Dorel Lucanu and Yuan-Fang Li and Jin Song Dong", year = "2005", title = "Institution Morphisms for Relating OWL and Z.", booktitle = "SEKE", pages = "286--291", ) @article(martin2004owl, author = "David Martin and Mark Burstein and Jerry Hobbs and Ora Lassila and Drew McDermott and Sheila McIlraith and Srini Narayanan and Massimo Paolucci and Bijan Parsia and Terry Payne", year = "2004", title = "OWL-S: Semantic markup for web services", journal = "W3C member submission", volume = "22", ) @techreport(mcandrews2008effect, author = "James McAndrews and Asani Sarkar and Zhenyu Wang", year = "2008", title = "The effect of the term auction facility on the london inter-bank offered rate", type = "Technical Report", institution = "Staff Report, Federal Reserve Bank of New York", doi = "10.2139/ssrn.1183671", ) @incollection(miao2009formal, author = "Huaikou Miao and Tao He and Liping Li", year = "2009", title = "Formal semantics of OWL-S with F-logic", booktitle = "Computer and Information Science 2009", publisher = "Springer", pages = "105--117", doi = "10.1007/978-3-642-01209-9\_10", ) @article(Rothkopf1998CMC, author = "Michael H Rothkopf and Aleksandar Peke{\v {c}} and Ronald M Harstad", year = "1998", title = "Computationally manageable combinational auctions", journal = "Management science", volume = "44", number = "8", pages = "1131--1147", doi = "10.1287/mnsc.44.8.1131", ) @incollection(subercaze2011programming, author = "Julien Subercaze and Pierre Maret", year = "2011", title = "Programming Semantic Agent for Distributed Knowledge Management", booktitle = "Semantic Agent Systems", publisher = "Springer", pages = "47--65", doi = "10.1007/978-3-642-18308-9\_3", ) @article(Tadjouddine11CCo, author = "Emmanuel M. Tadjouddine", year = "2011", title = "Computational Complexity of Some Intelligent Computing Systems", journal = "International Journal of Intelligent Computing and Cyberneticsl", volume = "4", number = "2", pages = "144 -- 159", doi = "10.1108/17563781111136676", ) @incollection(Tadjouddine08AfM, author = "Emmanuel M Tadjouddine and Frank Guerin and Wamberto Vasconcelos", year = "2009", title = "Abstracting and Verifying Strategy-Proofness for Auction Mechanisms", booktitle = "Declarative Agent Languages and Technologies VI", publisher = "Springer", pages = "197--214", doi = "10.1007/978-3-540-93920-7\_13", ) @incollection(tamma2002ontology, author = "Valentina Tamma and Michael Wooldridge and Ian Blacoe and Ian Dickinson", year = "2002", title = "An ontology based approach to automated negotiation", booktitle = "Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems", publisher = "Springer", pages = "219--237", doi = "10.1007/3-540-36378-5\_14", ) @inproceedings(Tennenholtz2000STC, author = "Moshe Tennenholtz", year = "2000", title = "Some tractable combinatorial auctions", booktitle = "AAAI/IAAI", pages = "98--103", ) @misc(TheCoqDevelopmentTeam2012, author = "{The Coq Development Team}", year = "2012", title = "The Coq proof assistant reference manual: Version 8.4", howpublished = "\url {http://coq.inria.fr}", ) @article(Vestergaard2006, author = "R. Vestergaard", year = "2006", title = "A constructive approach to sequential Nash equilibria", journal = "Information Processing Letters", volume = "97", number = "2", pages = "46--51", doi = "10.1016/j.ipl.2005.09.010", ) @article(zaremski1997specification, author = "Amy Moormann Zaremski and Jeannette M Wing", year = "1997", title = "Specification matching of software components", journal = "ACM Transactions on Software Engineering and Methodology (TOSEM)", volume = "6", number = "4", pages = "333--369", doi = "10.1145/261640.261641", ) @inproceedings(zou2003using, author = "Youyong Zou and Tim Finin and Li Ding and Harry Chen and Rong Pan", year = "2003", title = "Using semantic web technology in multi-agent systems: a case study in the TAGA trading agent environment", booktitle = "Proceedings of the 5th international conference on Electronic commerce", organization = "ACM", pages = "95--101", doi = "10.1145/948005.948018", )