Edit Profile (opens in new tab) Clark, David Co-Author Distance Author ID: clark.david Published as: Clark, David; Clark, D. Homepage: http://www0.cs.ucl.ac.uk/staff/D.Clark/ External Links: MGP Documents Indexed: 25 Publications since 1993, including 1 Book 2 Contributions as Editor Co-Authors: 18 Co-Authors with 18 Joint Publications 399 Co-Co-Authors all top 5 Co-Authors 1 single-authored 4 Androutsopoulos, Kelly 4 Hankin, Chris L. 4 Hunt, Sebastian 3 Lano, Kevin 2 Amtoft, Torben 2 Boreale, Michele 2 Gorla, Daniele 2 Hierons, Robert Mark 2 Kennaway, Richard 2 Malacaria, Pasquale 1 Androutsopolous, K. 1 Arias-de-Reyna, Juan 1 Auch, Tanner J. 1 Clark, Stephen P. H. 1 Dizier, Avery St. 1 Elkies, Noam David 1 Errington, Lindsay 1 Fukagawa, Hidetoshi 1 Giacobazzi, Roberto 1 Harman, Mark 1 Kan, P. 1 Layman, Nicholas 1 Li, Zheng 1 Mancini, Sophia 1 Mu, Chunyan 1 Munson, Todd S. 1 Olson, Matthew L. 1 Patel, Krishna 1 Ross, Rich 1 Stanley, Sarah 1 Van Hook, Jacob all top 5 Serials 3 Information Processing Letters 3 MSCS. Mathematical Structures in Computer Science 2 Historia Mathematica 1 American Mathematical Monthly 1 European Journal of Physics 1 Mathematics Magazine 1 Journal of Logic and Computation 1 Panamerican Mathematical Journal 1 Computer Languages, Systems & Structures 1 Math Horizons 1 Involve all top 5 Fields 19 Computer science (68-XX) 5 History and biography (01-XX) 4 Information and communication theory, circuits (94-XX) 3 Geometry (51-XX) 2 General and overarching topics; collections (00-XX) 2 Number theory (11-XX) 1 Mathematical logic and foundations (03-XX) 1 Real functions (26-XX) 1 Mechanics of particles and systems (70-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 33 times in 32 Documents Cited by ▼ Year ▼ Quantitative information flow, relations and polymorphic types. Zbl 1101.68560Clark, David; Hunt, Sebastian; Malacaria, Pasquale 14 2005 Quantified interference for a while language. Zbl 1272.68100Clark, David; Hunt, Sebastian; Malacaria, Pasquale 8 2005 Information flow for Algol-like languages. Zbl 1027.68021Clark, David; Hankin, Chris; Hunt, Sebastian 4 2002 Event structures and non-orthogonal term graph rewriting. Zbl 0863.68080Clark, David; Kennaway, Richard 2 1996 Squeeziness: an information theoretic measure for avoiding fault masking. Zbl 1243.68149Clark, David; Hierons, Robert M. 2 2012 Safety of strictness analysis via term graph rewriting. Zbl 0966.68089Clark, David; Hankin, Chris; Hunt, Sebastian 2 2000 Misère tic-tac-toe on projective binary Steiner triple systems. Zbl 1437.91111Clark, David; Mancini, Sophia; Van Hook, Jacob 1 2020 A semiring-based trace semantics for processes with applications to information leakage analysis. Zbl 1198.68118Boreale, Michele; Clark, David; Gorla, Daniele 1 2010 Newton’s tyranny. The suppressed scientific discoveries of Stephen Gray and John Flamsteed. Zbl 1050.01002Clark, David; Clark, Stephen P. H. 1 2001 Misère tic-tac-toe on projective binary Steiner triple systems. Zbl 1437.91111Clark, David; Mancini, Sophia; Van Hook, Jacob 1 2020 Squeeziness: an information theoretic measure for avoiding fault masking. Zbl 1243.68149Clark, David; Hierons, Robert M. 2 2012 A semiring-based trace semantics for processes with applications to information leakage analysis. Zbl 1198.68118Boreale, Michele; Clark, David; Gorla, Daniele 1 2010 Quantitative information flow, relations and polymorphic types. Zbl 1101.68560Clark, David; Hunt, Sebastian; Malacaria, Pasquale 14 2005 Quantified interference for a while language. Zbl 1272.68100Clark, David; Hunt, Sebastian; Malacaria, Pasquale 8 2005 Information flow for Algol-like languages. Zbl 1027.68021Clark, David; Hankin, Chris; Hunt, Sebastian 4 2002 Newton’s tyranny. The suppressed scientific discoveries of Stephen Gray and John Flamsteed. Zbl 1050.01002Clark, David; Clark, Stephen P. H. 1 2001 Safety of strictness analysis via term graph rewriting. Zbl 0966.68089Clark, David; Hankin, Chris; Hunt, Sebastian 2 2000 Event structures and non-orthogonal term graph rewriting. Zbl 0863.68080Clark, David; Kennaway, Richard 2 1996 all cited Publications top 5 cited Publications all top 5 Cited by 55 Authors 8 Palamidessi, Catuscia 7 Chatzikokolakis, Konstantinos 4 Alvim, Mário S. 3 McIver, Annabelle K. 2 Andrés, Miguel E. 2 Braun, Christelle 2 Clark, David 2 Hierons, Robert Mark 2 Köpf, Boris 2 Malacaria, Pasquale 2 Panangaden, Prakash 2 Spoto, Fausto 1 Américo, Arthur 1 Basin, David A. 1 Biondi, Fabrizio 1 Boreale, Michele 1 De Francesco, Nicoletta 1 Fernandes, Natasha 1 Feyzi, Farid 1 Finkbeiner, Bernd 1 Glauert, John 1 Hahn, Christopher 1 Hamadou, Sardaouna 1 Heusser, Jonathan 1 Hunt, Sebastian 1 Khasidashvili, Zurab O. 1 Klebanov, Vladimir 1 Legay, Axel 1 Lukert, Philip 1 Manfred 1 Martin, Keye 1 Martini, Luca 1 Mazza, Damiano 1 Morgan, Carroll C. 1 Nielsen, Bo Friis 1 Nunes, Gabriel H. 1 Parsa, Saeed 1 Patel, Krishna 1 Payet, Étienne 1 Rybalchenko, Andrey 1 Sabel, David 1 Sands, David 1 Sassone, Vladimiro 1 Schmidt-Schauß, Manfred 1 Schütz, Marko 1 Smeraldi, Fabrizio 1 Smetsers, Sjaak 1 Sokolova, Ana 1 Stenger, Marvin 1 Tentrup, Leander 1 Terauchi, Tachio 1 van Eekelen, Marko 1 van Rossum, Peter 1 Wąsowski, Andrzej 1 Yasuoka, Hirotoshi all top 5 Cited in 11 Serials 6 Theoretical Computer Science 4 Information and Computation 2 Information Processing Letters 1 Acta Informatica 1 Computing 1 Journal of Computer and System Sciences 1 MSCS. Mathematical Structures in Computer Science 1 Higher-Order and Symbolic Computation 1 RAIRO. Theoretical Informatics and Applications 1 Computer Languages, Systems & Structures 1 Journal of Logical and Algebraic Methods in Programming Cited in 5 Fields 28 Computer science (68-XX) 12 Information and communication theory, circuits (94-XX) 2 Mathematical logic and foundations (03-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year