Edit Profile (opens in new tab) Wright, Andrew K. Compute Distance To: Compute Author ID: wright.andrew-k Published as: Wright, Andrew K. External Links: MGP Documents Indexed: 4 Publications since 1994 Co-Authors: 3 Co-Authors with 2 Joint Publications 35 Co-Co-Authors all top 5 Co-Authors 0 single-authored 2 Goldberg, Andrew V. 2 Hartline, Jason D. 1 Felleisen, Matthias 1 Karlin, Anna R. 1 Kinast, John A. 1 McCarty, Joe 1 Saks, Michael E. Serials 1 Information and Computation 1 Games and Economic Behavior Fields 2 Computer science (68-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 81 times in 80 Documents Cited by ▼ Year ▼ A syntactic approach to type soundness. Zbl 0938.68559Wright, Andrew K.; Felleisen, Matthias 81 1994 Competitive auctions. Zbl 1125.91041Goldberg, Andrew V.; Hartline, Jason D.; Karlin, Anna R.; Saks, Michael; Wright, Andrew 39 2006 Competitive auctions and digital goods. Zbl 0988.91024Goldberg, Andrew V.; Hartline, Jason D.; Wright, Andrew 26 2001 Competitive auctions. Zbl 1125.91041Goldberg, Andrew V.; Hartline, Jason D.; Karlin, Anna R.; Saks, Michael; Wright, Andrew 39 2006 Competitive auctions and digital goods. Zbl 0988.91024Goldberg, Andrew V.; Hartline, Jason D.; Wright, Andrew 26 2001 A syntactic approach to type soundness. Zbl 0938.68559Wright, Andrew K.; Felleisen, Matthias 81 1994 all cited Publications top 5 cited Publications all top 5 Cited by 144 Authors 7 Roşu, Grigore 4 Meseguer Guaita, José 4 Şerbănuţă, Traian Florin 4 Viroli, Mirko 3 Gay, Simon J. 3 Igarashi, Atsushi 3 Leroy, Xavier 3 Thiemann, Peter J. 2 Appel, Andrew W. 2 Bettini, Lorenzo 2 Biernacka, Małgorzata 2 Biernacki, Dariusz 2 Capecchi, Sara 2 Dezani-Ciancaglini, Mariangiola 2 Dockins, Robert 2 Drossopoulou, Sophia Chloe 2 Feng, Xinyu 2 Flatt, Matthew 2 Giachino, Elena 2 Giannini, Paola 2 Greenberg, Michael D. 2 Harper, Robert 2 Hovland, Dag 2 Moggi, Eugenio 2 Mosses, Peter D. 2 Padovani, Luca 2 Pierce, Benjamin C. 2 Ricci, Alessandro 2 Saito, Chieri 2 Shao, Zhong 2 Venneri, Betti 1 Abadi, Martín 1 Abel, Andreas M. 1 Almeida Matos, Ana 1 Ariola, Zena M. 1 Asai, Kenichi 1 Bach Poulsen, Casper 1 Balat, Vincent 1 Bañados Schwerter, Felipe 1 Belo, João Filipe 1 Bergel, Alexandre 1 Bezem, Marc 1 Bieniusa, Annette 1 Bierman, Gavin M. 1 Bono, Viviana 1 Boudol, Gérard 1 Brachthäuser, Jonathan Immanuel 1 Cai, Hongxu 1 Caires, Luís 1 Calcagno, Cristiano 1 Cardelli, Luca 1 Cederquist, Jan 1 Cervesato, Iliano 1 Chadwick, Bryan 1 Chambers, Craig 1 Cimadamore, Maurizio 1 Cong, Youyou 1 Coppo, Mario 1 Costa Seco, João 1 Damiani, Ferruccio 1 Danvy, Olivier 1 Donaldson, Alastair F. 1 Dong, Yuan 1 Downen, Paul 1 Dybvig, R. Kent 1 Ellison, Chucky 1 Felleisen, Matthias 1 Ferrão, Lúcio 1 Filliâtre, Jean-Christophe 1 Findler, Robert Bruce 1 Fu, Ming 1 Garcia, Ronald 1 Ghica, Dan R. 1 Gondelman, Léon 1 Gordon, Andrew D. 1 Grall, Hervé 1 Guo, Yu 1 Hasegawa, Masahito 1 Helsen, Simon 1 Hirschowitz, Tom 1 Hobor, Aquinas 1 Honda, Kaho 1 Hriţcu, Cătălin 1 Huang, Xuejing 1 Hutton, Graham 1 Hym, Samuel 1 Ishio, Chiaki 1 Johannsen, Jacob 1 Johansen, Christian 1 Johnsen, Einar Broch 1 Johnson-Freyd, Philip 1 Ke, Wei 1 Langworthy, David E. 1 Lapadula, Alessandro 1 Lenglet, Sergueï 1 Lepigre, Rodolphe 1 Li, Yong 1 Lieberherr, Karl J. 1 Liu, Zhiming 1 Lochbihler, Andreas ...and 44 more Authors all top 5 Cited in 18 Serials 12 Journal of Functional Programming 9 Information and Computation 4 Theoretical Computer Science 4 Science of Computer Programming 4 The Journal of Logic and Algebraic Programming 3 Journal of Automated Reasoning 3 RAIRO. Theoretical Informatics and Applications 3 Journal of Logical and Algebraic Methods in Programming 2 Information Processing Letters 2 Formal Methods in System Design 2 Higher-Order and Symbolic Computation 1 Acta Informatica 1 New Generation Computing 1 MSCS. Mathematical Structures in Computer Science 1 Computer Languages, Systems & Structures 1 Logical Methods in Computer Science 1 Frontiers of Computer Science in China 1 Frontiers of Computer Science Cited in 4 Fields 79 Computer science (68-XX) 17 Mathematical logic and foundations (03-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year