By author

Matched on the name as written, which is not the same as a person: two people share a name and one person is spelled three ways. Each name leads to what was published under it.

Names with more than one work here. 2046 more appear once each — search the bibliography for a name to find those.

Frank S. de Boer 22 Peter W. O'Hearn 17 Stijn de Gouw 14 Cristiano Calcagno 11 Hans-Dieter A. Hiep 11 C. A. R. Hoare 9 Hongseok Yang 9 Marieke Huisman 9 Jinting Bian 7 Stéphane Demri 7 Edsger W. Dijkstra 6 Gerwin Klein 6 Lars Birkedal 6 Peter Müller 6 Radu Iosif 6 Reiner Hähnle 6 Yuval Yarom 6 Andrew Reynolds 5 Bernhard Beckert 5 Gernot Heiser 5 John C. Reynolds 5 Krzysztof R. Apt 5 National Security Agency 5 Richard Bubel 5 Steve Uhlig 5 David A. Patterson 4 David Gries 4 Ernst-Rüdiger Olderog 4 James Brotherston 4 Jeannette M. Wing 4 Jennifer Rexford 4 John Rushby 4 Makoto Tatsuta 4 Moshe Y. Vardi 4 Nancy G. Leveson 4 Nikos Gorogiannis 4 Paul Kocher 4 Per Brinch Hansen 4 Viktor Kuncak 4 Wei-Ngan Chin 4 Wolfgang Ahrendt 4 Adrian Perrig 3 Anne Sjerp Troelstra 3 Avra Cohn 3 Barbara Liskov 3 Benjamin Weiß 3 Butler W. Lampson 3 Christoph Haase 3 Claude E. Shannon 3 Cristina Serban 3 Daniel Genkin 3 Daniel Gruss 3 David D. Clark 3 Dennis Murphy 3 Dino Distefano 3 Edmund M. Clarke Jr. 3 Gary T. Leavens 3 Gene M. Amdahl 3 Gordon E. Moore 3 Jan Friso Groote 3 Johannes Hostert 3 John Shalf 3 Joseph Y. Halpern 3 Josh Berdine 3 June Andronick 3 Jurriaan Rot 3 Leslie Lamport 3 Mahmudul Faisal Al Ameen 3 Mario Gleirscher 3 Mattias Ulbrich 3 Max Kanovich 3 Michael Schwarz 3 Mike Hamburg 3 Morgan Deters 3 Moritz Lipp 3 Peter H. Schmitt 3 Philippa Gardner 3 Quang Loc Le 3 Ralf Jung 3 Richard Bornat 3 Robbert Krebbers 3 Samuel J. Cheyette 3 Stefan Blom 3 Stefan Mangard 3 Stephen A. Cook 3 Thomas Prescher 3 Tim Grant 3 Unknown 3 Werner Haas 3 Étienne Lozes 3 Adam Rogalewicz 2 Adi Teman 2 Ahmed H. Anwar 2 Alan Turing 2 Alessandro Fantechi 2 Alessio Mansutti 2 Alexander J. Summers 2 Aleš Bizjak 2 Alison Lawlor Russell 2 Anders Fogh 2 Andreas Roth 2 Andrej Dudenhefner 2 Andrew S. Tanenbaum 2 Andrew W. Moore 2 Anja Feldmann 2 Anthony Hall 2 Antoine Bérut 2 Armin Krishnan 2 Artem Starostin 2 Artyom Petrosyan 2 Asianometry 2 Bart Jacobs 2 Benjamin J. Knox 2 Bertrand Meyer 2 Brian Randell 2 Butler Lampson 2 Callum Bannister 2 Capers Jones 2 Carsten Fuhs 2 Charles E. Leiserson 2 Chris Hall 2 Christian Fuchs 2 Christof Löding 2 Christoph Matheja 2 Christopher Strachey 2 Clemens Grabmayer 2 Clyde Ruby 2 D. A. B. Miller 2 Damien Zufferey 2 David A. Basin 2 David Cock 2 David Feil-Seifer 2 David J. Pym 2 David Lorge Parnas 2 David P. Reed 2 David R. Cok 2 Dennis M. Ritchie 2 Derek C. Oppen 2 Derek Dreyer 2 Didier Galmiche 2 Dirk Van Dalen 2 Dominik Kirst 2 Dominique Larchey-Wendling 2 Eder L. Fernandes 2 Edmund M. Clarke 2 Elmar Habermalz 2 Erik A. Mathiesen 2 Ethan Katz-Bassett 2 Eva Lagunas 2 Eyad Alkassar 2 Filippo Menczer 2 Florian Zuleger 2 Frank Piessens 2 Frederick P. Brooks Jr. 2 Frédérick Douzet 2 Gavin Lowe 2 Gerrit A. Blaauw 2 Gianni Antichi 2 Gottlob Frege 2 Graham Priest 2 Grenville Armitage 2 Guido van Rossum 2 Guram Bezhanishvili 2 Hanno Wupper 2 Hans-Dieter Hiep 2 Harvey Tuch 2 Henry Birge-Lee 2 Hubert C. Kennedy 2 Hubert Garavel 2 Hunt Allcott 2 Huygens Optics 2 Ignacio Castro 2 J. Bardeen 2 J. C. R. Licklider 2 J. Postel 2 Jack B. Dennis 2 Jacobus W. de Bakker 2 Jacques-Henri Jourdan 2 James Edwards 2 James H. Fetzer 2 James H. Morris 2 Jan A. Bergstra 2 Jan Smans 2 Jan van Dijk 2 Jan von Plato 2 Jann Horn 2 Jeffrey D. Ullman 2 Jeffrey J. Joyce 2 Jerome H. Saltzer 2 Jia He 2 Jin-Hee Cho 2 Johan van Benthem 2 John McCarthy 2 John Reynolds 2 John V. Tucker 2 Jouko Väänänen 2 Juan A. Navarro Pérez 2 Juan M. R. Parrondo 2 Jun Sun 2 Józef Wozniak 2 K. Rustan M. Leino 2 Kasper Grotle Rasmussen 2 Kathleen Fisher 2 Kavé Salamatian 2 Ken Thompson 2 Krzysztof Gierlowski 2 Kurt Gödel 2 LEO Policy Working Group 2 Lawrence G. Roberts 2 Lawrence S. Moss 2 Leon Henkin 2 Louis Pétiniaud 2 M. Bohr 2 M. Boogaard 2 Marc Bruyere 2 Marcello M. Bonsangue 2 Marko van Eekelen 2 Martin C. Rinard 2 Martin Giese 2 Martín Abadi 2 Matt Calder 2 Matthew Gentzkow 2 Matthew J. Parkinson 2 Matthew Parkinson 2 Maurice H. ter Beek 2 Melvin Fitting 2 Michael Norrish 2 Michael Schroeder 2 Michal Krelina 2 Michał Hoeft 2 Mnacho Echenim 2 Mu Zhu 2 Munindar P. Singh 2 Nadia Polikarpova 2 Nancy Leveson 2 Neelakantan R. Krishnaswami 2 Neil C. Thompson 2 Nicholas Botzer 2 Nick Feamster 2 Nicolas Peltier 2 Nikolaos Chatzis 2 Norman P. Jouppi 2 Olaf Maathuis 2 Onur Mutlu 2 P. J. Landin 2 Patrick Cousot 2 Paul Baran 2 Paulo Alexandre Regis 2 Paulo Oliva 2 Peter Höfner 2 Peter J. Denning 2 Peter O'Hearn 2 Philip Branch 2 Pierre Wolper 2 Prashanth Mohan 2 Qian Ge 2 Radhia Cousot 2 Raúl E. Monti 2 Richard A. Kemmerer 2 Richard Bramante 2 Richard H. Van Atta 2 Rob Arthan 2 Robert Chesney 2 Robert M. Gray 2 Robert W. Floyd 2 Roberto di Lallo 2 Robin Milner 2 Rod Chapman 2 Rolf Landauer 2 Romain Fontugne 2 Ross Anderson 2 Ruzica Piskac 2 Sangeetha Abdu Jyothi 2 Sebastian Zander 2 Seymour J. Deitchman 2 Shamik Sengupta 2 Sidney G. Reed 2 Stefan Nikolić 2 Stephen Brookes 2 Stephen Cole Kleene 2 Steve Lacy 2 Susan Owicki 2 Symeon Chatzinotas 2 Takahiro Sagawa 2 Thomas Noll 2 Thomas Wies 2 Tim Weninger 2 Tobias Nipkow 2 Todd Arnold 2 Tom Anderson 2 Tom Ridge 2 Ursula Martin 2 Vasileios Giotsas 2 W. H. Brattain 2 Walter Willinger 2 Weifan Jiang 2 Wytse Oortwijn 2 Yang Yang 2 Yifan Ding 2 Zelin Wan 2 Ítalo Cunha 2 Ștefan Andrei 2