2009

Martı́n Abadi and others (2009) · Association for Computing Machinery (ACM)

B. Baykant Alagoz (2009) · OncuBilim Algorithm And Systems Labs

Jade Alglave and others (2009)

E. Alkassar and others (2009) · Journal of Automated Reasoning: Special Issue on Operating Systems Verification · Springer

Eyad Alkassar and others (2009) · Sadhana · Springer Science and Business Media LLC

Eyad Alkassar (2009)

Louise Amoore (2009) · Antipode · Wiley

Unattributed (2009) · Intel Corporation

Timos Antonopoulos and others (2009) · Lecture notes in computer science · Springer Science+Business Media

U.S. Army Combined Arms Support Command (2009) · U.S. Army

R. Artstein and others (2009) · Proceedings of FG-MoL 2005: The 10th conference on Formal Grammar and The 9th Meeting on

Guillaume Aucher and others (2009) · Electronic Notes in Theoretical Computer Science · Elsevier BV

Brice Augustin and others (2009) · IMC 2009.

Naga Durga Prasad Avirneni and others (2009) · IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

Souheib Baarir and others (2009) · Proceedings · Institute of Electrical and Electronics Engineers

Carliss Y. Baldwin and others (2009) · Platforms, Markets and Innovation · Edward Elgar Publishing

Kshitij Bansal and others (2009) · Lecture notes in computer science · Springer Science+Business Media

R. Banu and others (2009) · Institute of Electrical and Electronics Engineers (IEEE)

Alessandro Barenghi and others (2009) · Workshop on Fault Diagnosis and Tolerance in Cryptography

Massimo Bartoletti and others (2009) · ICTCS

Massimo Bartoletti and others (2009) · Journal of Computer Security · IOS Press

Patrick Baudin (2009) · CEA

Cristina Bazgan and others (2009) · European Journal of Operational Research · Elsevier BV

Tim Berners-Lee (2009)

Shivam Bhasin and others (2009) · IEEE

Juan Carlos Bicarregui and others (2009) · Lecture notes in computer science · Springer Science+Business Media

Armin Biere and others (2009) · IOS press

M. Botincan and others (2009) · Elsevier BV

A. Bouajjani and others (2009) · Springer Berlin Heidelberg

Mario Bravetti and others (2009) · Lecture notes in computer science · Springer Science+Business Media

Robert C. Brigham and others (2009) · Elsevier BV

R. Brochenin and others (2009) · Elsevier BV

Robert Brummayer and others (2009) · Springer Berlin Heidelberg

Rajkumar Buyya and others (2009) · Future Generation Computer Systems · Elsevier BV

Carlos E. Caicedo and others (2009) · Computer · IEEE Computer Society

Géraud Canet and others (2009) · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)

S. Carey (2009) · Oxford University Press

Josep Carmona and others (2009) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers

Giuseppe Castagna and others (2009) · Springer Berlin Heidelberg

Giuseppe Castagna and others (2009) · Association for Computing Machinery (ACM)

Steven C. Chan and others (2009) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers

P. Chandran and others (2009) · Institute of Electrical and Electronics Engineers (IEEE)

Bernadette Charron-Bost and others (2009) · Distributed Computing · Springer Science+Business Media

James C. Chen and others (2009) · International Conference on Networking, Sensing and Control

Trieu C. Chieu and others (2009) · IEEE International Conference on e-Business Engineering (ICEBE)

Andrew M. Childs (2009) · Physical Review Letters · American Physical Society (APS)

Edmund M. Clarke and others (2009) · Communications of the ACM · Association for Computing Machinery

R. V. Clarke (2009)

C. Colombo and others (2009) · IEEE

Thomas H. Cormen and others (2009) · MIT Press

Robert L. Cross and others (2009) · Jossey-Bass

CrossRef, (2009)

P. Cuoq and others (2009)

Matthias Daum and others (2009) · Springer Science and Business Media LLC

Lucas Davi and others (2009) · STC 2009: Proceedings of the 4th ACM Workshop on Scalable Trusted Computing

Robert D. DeLong (2009) · Scandinavian Studies 81, no. 3 (2009): 367–80. http://www.jstor.org/stable/40920867.

S. Demri and others (2009) · Association for Computing Machinery (ACM)

Tomas In der Rieden (2009)

Agustin Dominguez-Oviedo and others (2009) · IEEE Transactions on Dependable and Secure Computing · Institute of Electrical and Electronics Engineers (IEEE)

Tim Dörnemann and others (2009) · IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)

Thomas Erl and others (2009) · Prentice Hall PTR, Upper Saddle River, NJ, USA, 1 edition

Nathan Farrington and others (2009) · IEEE Symposium on High-Performance Interconnects (HOTI) · Institute of Electrical and Electronics Engineers

Lei Feng and others (2009) · The International Journal of Advanced Manufacturing Technology · Springer Science+Business Media

Luca Ferro and others (2009) · 2009 Forum on Specification & Design Languages (FDL)

Diego Figueira and others (2009) · Lecture notes in computer science · Springer Science+Business Media

H. Flordal and others (2009) · Society for Industrial & Applied Mathematics (SIAM)

Gottfried Fuchs and others (2009) · IEEE

M. J. Gans (2009) · IEEE

Holger Gast (2009) · Lecture notes in computer science · Springer Science+Business Media

S. Gligorevic and others (2009) · Antennas and Propagation

Brian Gough (2009)

H. J. Gross and others (2009) · PloS one

R. T. Guerette and others (2009) · Wiley

Walter Guttmann (2009) · Springer Berlin Heidelberg

S. Hagihara and others (2009) · IEEE

Alon Halevy and others (2009) · Institute of Electrical and Electronics Engineers (IEEE)

Rachel Hayman (2009) · Oxford University PressOxford

F. G. Hoffman (2009) · Joint Force Quarterly

I. D. Holloway and others (2009) · Elsevier BV

J. Hoogervorst (2009) · Springer Berlin Heidelberg

Paul Humphreys (2009) · Springer Science and Business Media LLC

Ralf Hund and others (2009) · USENIX security symposium

ICAO, (2009) · ICAO Doc Doc 9718, Fifth Edition, International Civil Aviation Organization (ICAO)

Unattributed (2009)

A. T. Ishii and others (2009) · IEEE

International Organization for Standardization (2009) · International Standard ISO/IEC 11889- 1:2009(E)

International Organization for Standardization (2009) · International Standard ISO/IEC 11889- 2:2009(E)

International Organization for Standardization (2009) · International Standard ISO/IEC 11889- 3:2009(E)

International Organization for Standardization (2009) · International Standard ISO/IEC 11889- 4:2009(E)

Joseph C. Jacob and others (2009) · International Journal of Computational Science and Engineering · Inderscience Publishers

Kevin Jones and others (2009) · Formal Methods in System Design · Springer Science+Business Media

Joint Task Force Transformation Initiative (2009)

Marcio Juliato and others (2009) · IEEE Aerospace Conference (AERO) · Institute of Electrical and Electronics Engineers

M. Juliato and others (2009) · IEEE

Michal Karski and others (2009) · American Association for the Advancement of Science (AAAS)

Gerwin Klein and others (2009) · Proc. 2009 ACM SIGPLAN International Conference on Functional Programming (ICFP)

Gerwin Klein (2009) · Sadhana · Springer Science+Business Media

Alfred Koelbl and others (2009) · Design, Automation, and Test in Europe

Rafal Kolanski and others (2009) · Theorem Proving in Higher Order Logics · Springer Berlin Heidelberg

R. Krishnan and others (2009) · ACM

Daniel Kroening and others (2009) · IEEE/ACM International Conference on Automated Software Engineering (ASE)

Nasser Kurd and others (2009) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers (IEEE)

B. LaMeres and others (2009) · IEEE

R.J. Leduc and others (2009) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers (IEEE)

K. Lee and others (2009) · Wiley

Minjae Lee and others (2009) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers

Edward A. Lee and others (2009) · From Semantics to Computer Science · Cambridge University Press

B. M. Leiner and others (2009) · Association for Computing Machinery (ACM)

Xavier Leroy (2009) · Communications of the ACM · Association for Computing Machinery

Xavier Leroy (2009) · Springer Science and Business Media LLC

R. Leveugle and others (2009) · 2009 Design, Automation & Test in Europe Conference & Exhibition

R. Leveugle and others (2009) · IEEE

David Levin and others (2009) · American Mathematical Society

B. Li and others (2009) · IEEE

C.-S. Lin and others (2009) · Institute of Electrical and Electronics Engineers (IEEE)

R. Loh and others (2009) · Institute of Electrical and Electronics Engineers (IEEE)

Nick Montfort and others (2009) · MIT Press

Santosh Nagarakatte and others (2009) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

Andreas Nieder and others (2009) · Annual Review of Neuroscience · Annual Reviews

NIST, (2009) · Federal Information Processing Standards Publication FIPS PUB 186-3, June

NIST (2009) · National Institute of Standards and Technology

Jeremy L O’brien and others (2009) · Springer Science and Business Media LLC

M. Oda and others (2009) · IEEE

Scott Owens and others (2009) · Springer Berlin Heidelberg

Scott Owens and others (2009) · Computer Laboratory, University of Cambridge

Onur Özen and others (2009) · Lecture notes in computer science · Springer Science+Business Media

Christine Paulin-Mohring (2009) · From Semantics to Computer Science · Cambridge University Press

Jeff H. Perkins and others (2009) · ACM SIGOPS Symposium on Operating Systems Principles (SOSP)

Erik S. Perrins and others (2009) · IEEE Transactions on Communications · IEEE Communications Society

B. Pfaff and others (2009) · ACM Workshop on Hot Topics in Networks (HotNets-VIII)

Myrthe A. Plaisier and others (2009) · Acta Psychologica · Elsevier BV

R. K. Ranjan and others (2009) · ACM

Sandip Ray and others (2009) · Automated Technology for Verification and Analysis · Springer Berlin Heidelberg

Charles Reis and others (2009) · ACM

M. Rice (2009) · Prentice Hall

J. A. Rodríguez-Velázquez and others (2009) · Discrete Applied Mathematics

Frank Rogin (2009) · Institution of Engineering and Technology (IET)

Giampaolo Fresi Roglia and others (2009) · Annual Computer Security Applications Conference

Jacques Sakarovitch (2009) · Cambridge University Press

Susmit Sarkar and others (2009) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

R. R. H. Schiffelers and others (2009) · Electronic Communications of the EASST vol

J. Schmidt and others (2009) · IEEE

Robert T. Schwarz and others (2009) · International Multi-Conference on Systems, Signals & Devices (SSD)

M. D. Seeman (2009)

Yuval Shavitt and others (2009) · IEEE Conference on Computer Communications (INFOCOM)

J.M. Sigarreta and others (2009) · Discrete Applied Mathematics · Elsevier BV

Sergei Skorobogatov (2009) · IEEE

A. Slowinska and others (2009) · Proceedings of the 4th ACM European conference on Computer systems

SystemVerilog Language Working Group (2009)

Mate Soos and others (2009) · Springer Berlin Heidelberg

R. Su and others (2009) · IEEE

M. Tafazoli (2009) · Elsevier BV

Ross Tate and others (2009) · ACM

Yuan Taur and others (2009) · Cambridge University Press

Benno Teschke (2009)

Hendrik Tews and others (2009) · Journal of Automated Reasoning · Springer Science+Business Media

Mohit Tiwari and others (2009) · ACM SIGPLAN Notices · Association for Computing Machinery

Alexandra Tsyban (2009)

Harvey Tuch (2009) · Journal of Automated Reasoning · Springer Science+Business Media

Sergey Tverdyshev (2009)

G. Van Rossum and others (2009) · CreateSpace, Scotts Valley, CA, USA

Yakir Vizel and others (2009) · 2009 Formal Methods in Computer-Aided Design · IEEE

E. Vul and others (2009) · Proceedings of the 22nd International Conference on Neural Information Processing Systems

L.-T. Wang and others (2009) · Elsevier

Jeffery R. Webber (2009) · Palgrave Macmillan UK

AJ Wilby and others (2009) · Materials Science and Engineering

Anna J. Wilson and others (2009) · Mind Brain and Education · Wiley

Jim Woodcock and others (2009) · ACM Computing Surveys · Association for Computing Machinery

S.-Y. Wu and others (2009) · 2009 Symposium on VLSI Technology. IEEE, june 2009.

T. Xanthopoulos (2009) · Springer US

Tao Xie and others (2009) · 2009 IEEE/IFIP International Conference on Dependable Systems & Networks · IEEE

Hongyu Zhang (2009) · 2009 IEEE International Conference on Software Maintenance · IEEE