Edit Profile (opens in new tab) Malcolm, Grant Co-Author Distance Author ID: malcolm.grant Published as: Malcolm, Grant Documents Indexed: 13 Publications since 1988, including 1 Book Co-Authors: 6 Co-Authors with 10 Joint Publications 47 Co-Co-Authors all top 5 Co-Authors 3 single-authored 5 Goguen, Joseph Amadee 4 Backhouse, Roland C. 3 Chisholm, Paul 2 Kemp, Tom 1 Pokrywczyński, Daniel 1 Saaman, Erik all top 5 Serials 3 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Studia Logica 1 Theoretical Computer Science 1 Science of Computer Programming 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 The Journal of Logic and Algebraic Programming Fields 13 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 123 times in 100 Documents Cited by ▼ Year ▼ A hidden agenda. Zbl 0946.68070 Goguen, Joseph A.; Malcolm, Grant 39 2000 Data structures and program transformation. Zbl 0712.68014 Malcolm, Grant 29 1990 Algebraic semantics of imperative programs. Zbl 0887.68066 Goguen, Joseph A.; Malcolm, Grant 20 1996 Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067 Goguen, Joseph A.; Malcolm, Grant 12 1999 Do-it-yourself type theory. Zbl 0697.68020 Backhouse, Roland; Chisholm, Paul; Malcolm, Grant; Saaman, Erik 12 1989 A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041 Goguen, Joseph; Malcolm, Grant; Kemp, Tom 5 2002 A hidden Herbrand theorem. Zbl 0926.03034 Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom 3 1998 Do-it-yourself type theory. II. Zbl 0669.68012 Backhouse, Roland; Chisholm, Paul; Malcolm, Grant 2 1988 Sheaves, objects, and distributed systems. Zbl 1336.68184 Malcolm, Grant 1 2008 Sheaves, objects, and distributed systems. Zbl 1336.68184 Malcolm, Grant 1 2008 A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041 Goguen, Joseph; Malcolm, Grant; Kemp, Tom 5 2002 A hidden agenda. Zbl 0946.68070 Goguen, Joseph A.; Malcolm, Grant 39 2000 Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067 Goguen, Joseph A.; Malcolm, Grant 12 1999 A hidden Herbrand theorem. Zbl 0926.03034 Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom 3 1998 Algebraic semantics of imperative programs. Zbl 0887.68066 Goguen, Joseph A.; Malcolm, Grant 20 1996 Data structures and program transformation. Zbl 0712.68014 Malcolm, Grant 29 1990 Do-it-yourself type theory. Zbl 0697.68020 Backhouse, Roland; Chisholm, Paul; Malcolm, Grant; Saaman, Erik 12 1989 Do-it-yourself type theory. II. Zbl 0669.68012 Backhouse, Roland; Chisholm, Paul; Malcolm, Grant 2 1988 all cited Publications top 5 cited Publications all top 5 Cited by 141 Authors 10 Roşu, Grigore 6 Meseguer Guaita, José 5 Martins, Manuel António 5 Ogata, Kazuhiro 4 Caleiro, Carlos 4 Diaconescu, Răzvan 4 Domínguez, César 4 Futatsugi, Kokichi 4 Gonçalves, Ricardo 3 de Moor, Oege 3 Jeuring, Johan 3 Malcolm, Grant 3 Padawitz, Peter 3 Valentini, Silvio 3 Wu, Nicolas 2 Allais, Guillaume 2 Backhouse, Roland C. 2 Bickford, Mark 2 Cîrstea, Corina 2 Constable, Robert Lee 2 Duval, Dominique 2 Fokkinga, Maarten M. 2 Goguen, Joseph Amadee 2 Hennicker, Rolf 2 Hutton, Graham 2 Kurz, Alexander 2 Magalhães, José Pedro 2 Rodriguez Yakushev, Alexey 2 Şerbănuţă, Traian Florin 2 Uustalu, Tarmo 2 Vene, Varmo 1 Abel, Andreas M. 1 Alexander, Perry 1 Allen, Stuart F. 1 Amato, Gianluca 1 Apetrei, Adriana 1 Ariola, Zena M. 1 Atkey, Robert 1 Babenyshev, Sergey 1 Bakhshi, Rena 1 Barbosa, Luís Soares 1 Berger, Ulrich 1 Bidoit, Michel 1 Bijlsma, Lex 1 Bijsterveld, Marcel 1 Bird, Richard S. 1 Bossi, Annalisa 1 Cañete-Valdeón, José M. 1 Capretta, Venanzio 1 Chapman, James T. E. 1 Confalonieri, Roberto 1 Corradini, Andrea 1 Daudier, Dorian 1 Doornbos, Henk 1 Downen, Paul 1 Dybjer, Peter 1 Eaton, Richard 1 Ellison, Chucky 1 Endrullis, Jörg 1 Farrell, Marie 1 Ferreirim, Isabel M. A. 1 Frisby, Nicolas 1 Gaĭnă, Daniel 1 Gheorghies, Ovidiu 1 Giansiracusa, Jeffrey 1 Gill, Andy 1 Goldblatt, Robert Ian 1 Guedes, Luiz Carlos Castro 1 Haeusler, Edward Hermann 1 Hameer, Aliya 1 Hansen, Bo Stig 1 Heckel, Reiko 1 Hedberg, Michael 1 Heeren, Bastiaan 1 Hendriks, Dimitri 1 Hinze, Ralf 1 Holdermans, Stefan 1 Honsell, Furio 1 Hoogendijk, Paul Ferenc 1 Hu, Zhenjiang 1 Imine, Abdessamad 1 Itzhaky, Shachar 1 Janssen, Theo M. V. 1 Jaskelioff, Mauro 1 Jones, Iolo 1 Kemp, Tom 1 Kimmell, Garrin 1 Klev, Ansten Mørch 1 Kreitz, Christoph 1 Kupke, Clemens 1 Kutz, Oliver 1 Lambán, Laureano 1 Larsen, Peter Gorm 1 Leal, Raul Andres 1 Leather, Sean 1 Lenisa, Marina 1 Lipton, James B. 1 Lorigo, Lori 1 Lucanu, Dorel 1 Luo, Zhaohui ...and 41 more Authors all top 5 Cited in 25 Serials 21 Theoretical Computer Science 9 Journal of Functional Programming 7 MSCS. Mathematical Structures in Computer Science 5 Formal Aspects of Computing 4 Information and Computation 3 Information Processing Letters 3 RAIRO. Theoretical Informatics and Applications 2 Studia Logica 2 Annals of Pure and Applied Logic 2 International Journal of Foundations of Computer Science 2 Journal of Applied Logic 1 Applied Mathematics and Computation 1 The Journal of Symbolic Logic 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Algorithmica 1 Applied Categorical Structures 1 Journal of Applied Non-Classical Logics 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics and Artificial Intelligence 1 Theory of Computing Systems 1 The Journal of Logic and Algebraic Programming 1 Logical Methods in Computer Science 1 International Journal of Semantic Computing 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 9 Fields 89 Computer science (68-XX) 35 Mathematical logic and foundations (03-XX) 9 Category theory; homological algebra (18-XX) 2 General algebraic systems (08-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General topology (54-XX) 1 Fluid mechanics (76-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year