2007

Hitesh Ballani and others (2007) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery (ACM)

Bernhard Beckert and others (2007) · Springer-Verlag

Lars Birkedal and others (2007) · 10th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS) · Springer

M. Bohr (2007) · IEEE Solid-State Circuits Society Newsletter · IEEE

Stephen Brookes (2007) · Theoretical Computer Science · Elsevier

Cristiano Calcagno and others (2007) · Electronic Notes in Theoretical Computer Science

Cristiano Calcagno and others (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) · IEEE

Balder ten Cate and others (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS) · IEEE

John E. Hopcroft and others (2007) · Addison-Wesley

Nate Kushman and others (2007) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery

Karthik Lakshminarayanan and others (2007) · Electrical Engineering and Computer Sciences, University of California at Berkeley

C.E. Martin and others (2007) · Science of Computer Programming · Elsevier BV

Peter W. O'Hearn (2007) · Theoretical Computer Science · Elsevier

John Rushby (2007) · 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)

Harvey Tuch and others (2007) · 34th ACM Symposium on Principles of Programming Languages (POPL)

Sebastian Zander and others (2007) · IEEE Communications Magazine · Institute of Electrical and Electronics Engineers

Sebastian Zander and others (2007) · IEEE Communications Surveys & Tutorials · Institute of Electrical and Electronics Engineers