2005

ICAO - Aeronautical Communications Panel (ACP) (2005) · ICAO DRAFT SARPs TD03, International Civil Aviation Organization (ICAO)

Imtiaz Ahmad and others (2005) · Computers & Electrical Engineering · Elsevier BV

Victor Olubunmi Aken’Ova (2005)

Marianne Akian and others (2005) · Contemporary mathematics - American Mathematical Society · American Mathematical Society

K. Anderson (2005) · Proceedings - IEEE Aerospace Conference · Institute of Electrical and Electronics Engineers

Brian E. Aydemir and others (2005) · Theorem Proving in Higher Order Logics · Springer Berlin Heidelberg

M. Bacic (2005) · IEEE

Michael Bailey and others (2005) · Institute of Electrical and Electronics Engineers (IEEE)

N. L. Beebe and others (2005) · Proceedings of the 2005 software conference

F. Bellard (2005) · USENIX Annual Technical Conference (ATC). USENIX Association

M. J. Bellido-Díaz and others (2005) · Imperial College Press

D. J. Bernstein (2005) · Tech. Rep.

Sven Beyer (2005)

Krishna Bharat and others (2005)

P. Bianchi and others (2005) · Institute of Electrical and Electronics Engineers (IEEE)

Mark Bickford and others (2005) · Cornell University Department of Computer Science

Bodil Biering and others (2005) · Lecture notes in computer science · Springer Science+Business Media

L. Birkedal and others (2005) · IEEE

Vincent D. Blondel and others (2005) · IEEE Conference on Decision and Control (CDC) · Institute of Electrical and Electronics Engineers

Lucas Bordeaux and others (2005) · Springer Berlin Heidelberg

Shekhar Y. Borkar (2005) · IEEE Micro · Institute of Electrical and Electronics Engineers

Marc Boulé and others (2005) · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · Institute of Electrical and Electronics Engineers

Jonathan P. Bowen and others (2005) · ACM

Daniel E Browne and others (2005) · American Physical Society (APS)

Lilian Burdy and others (2005) · International Journal on Software Tools for Technology Transfer · Springer Science and Business Media LLC

Costas Busch and others (2005) · Society for Industrial & Applied Mathematics (SIAM)

D. Bustan and others (2005) · Freescale Semiconductor

Benton Highsmith Calhoun and others (2005) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers

D. Calvanese and others (2005) · The Description Logic Handbook · Cambridge University Press

Franck Cassez and others (2005) · CONCUR 2005 – Concurrency Theory · Springer Berlin Heidelberg

Gérard Cécé and others (2005) · Information and Computation · Elsevier BV

Tony Chafer (2005) · Modern & Contemporary France · Taylor & Francis

Rocky K. C. Chang and others (2005) · IEEE Network · Institute of Electrical and Electronics Engineers

Hamid Choukri and others (2005) · Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC). IEEE

Fan Chung (2005) · Annals of Combinatorics · Birkhäuser

Graham Cormode and others (2005) · Journal of Algorithms · Academic Press

Patrick Cousot and others (2005) · Springer Berlin Heidelberg

Iakov Dalinger and others (2005) · Lecture notes in computer science · Springer Science+Business Media

T.R. Dastidar and others (2005) · Verification System for Transient Response of Analog Circuits Using Model Checking, VLSID’05

M. Daum and others (2005) · Springer Berlin Heidelberg

Norman Davies (2005)

E. Deelman and others (2005) · Wiley

Stéphane P. Demri (2005) · Journal of Logic and Computation · Oxford University Press

Max Hering de Queiroz and others (2005) · Discrete Event Dynamic Systems · Springer Science+Business Media

David Detlefs and others (2005) · Journal of the ACM · Association for Computing Machinery

Walter Dosch (2005)

S.A. Edwards (2005) · IEEE

Cindy Eisner and others (2005) · ACM Symposium on Principles of Distributed Computing (PODC)

Endrawaty, (2005)

David Fang and others (2005) · IEEE

José Ferreirós (2005) · Landmark Writings in Western Mathematics 1640-1940 · Elsevier

A. Fish and others (2005) · Institute of Electrical and Electronics Engineers (IEEE)

William B. Frye (2005)

Mauro Gargano and others (2005) · Lecture notes in computer science · Springer Science+Business Media

Simon J. Gay and others (2005) · Acta Informatica · Springer Science+Business Media

S. V. Gheorghita and others (2005) · Control Systems and Computer Science

Christophe Giraud (2005) · Lecture notes in computer science · Springer Science+Business Media

Patrice Godefroid and others (2005) · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Andrea J. Goldsmith (2005) · Cambridge University Press

Gregor Gößler and others (2005) · Science of Computer Programming · Elsevier BV

I. Grattan-Guinness (2005) · The Mathematical Gazette · Informa UK Limited

T. C. Hales (2005) · Annals of Mathematics

Anthony Hall (2005) · 7th International Conference on Formal Engineering Methods (ICFEM) · Springer

Sudheendra Hangal and others (2005) · Proceedings. 42nd Design Automation Conference, 2005. · IEEE

John Harrison (2005) · Lecture notes in computer science · Springer Science+Business Media

William Heidergott (2005) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery

T. Heinis and others (2005) · IEEE International Conference on Autonomic Computing (ICAC)

Julien M. Hendrickx and others (2005) · CESAME Research Report 2005.57

Mark Hillebrand (2005)

Mark A. Hillebrand and others (2005) · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · Institute of Electrical and Electronics Engineers

R. Hinden and others (2005) · RFC Editor

I. Hodkinson and others (2005) · We Will Show Them! Essays in Honour of Dov Gabbay, Volume 2 · College Publications

M. Hohmuth and others (2005) · Proceedings of the 2nd ECOOP Workshop on Programming Languages and Operating Systems

M. Horowitz and others (2005) · IEEE

Mykhailo Hrushevsky (2005)

I, (2005)

Paul B. Jackson and others (2005) · Lecture notes in computer science · Springer Science+Business Media

A. Jeffrey and others (2005) · Springer Berlin Heidelberg

T. Kapschitz and others (2005) · Springer Berlin Heidelberg

Sunant Katanyoutanant and others (2005) · Proceedings of the MAPLD International Conference

Nickolas Kavantzas and others (2005) · World Wide Web Consortium, Candidate Recommendation CRws-cdl-10-20051109, November 2005.

Y. Kesten and others (2005) · Theoretical Computer Science 331

Alfred Koelbl and others (2005) · International Journal of Parallel Programming · Springer Science+Business Media

Poonacha Kongetira and others (2005) · IEEE Micro · Institute of Electrical and Electronics Engineers

Kyoung‐Hoi Koo and others (2005) · IEEE International Symposium on Circuits and Systems proceedings

A. Korniłowicz (2005) · Formalized Mathematics

D. Leinenbach and others (2005) · Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) · IEEE

N. Levanon (2005) · Institution of Engineering and Technology (IET)

R. Leveugle (2005) · IEEE International On-Line Testing Symposium (IOLTS)

Sharon Loane (2005) · Springer Science and Business Media LLC

Chi-Keung Luk and others (2005) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

Oded Maler and others (2005) · Lecture notes in computer science · Springer Science+Business Media

Jeremy Manson and others (2005) · ACM

Nicolas Marti and others (2005)

M. Marx and others (2005) · ACM SIGMOD Record · Association for Computing Machinery

R. Matuszewski and others (2005) · Mechanized Mathematics and Its Applications

Xiaoqiao Meng and others (2005) · Association for Computing Machinery (ACM)

Eric Mercer and others (2005) · Springer Berlin Heidelberg

Harris E. Michail and others (2005) · Lecture notes in computer science · Springer Science+Business Media

Jayadev Misra (2005) · Springer-Verlag

Subhasish Mitra and others (2005) · Computer · IEEE Computer Society

Eugenio Moggi (2005) · Springer Nature

B. Möller (2005) · Technical Report 200520, Institut für Informatik, Universität Augsburg

Luc Moreau (2005) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers

Katell Morin-Allory and others (2005) · Proceedings · Institute of Electrical and Electronics Engineers

C. Muñoz and others (2005) · IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation

N, (2005)

Iulian Neamtiu and others (2005)

Tom Nelson and others (2005) · Globecom · Institute of Electrical and Electronics Engineers

Z. Ni and others (2005) · Yale University, New Haven

NIST, (2005) · NIST Special Publication SP 800-38B, NIST, May

Joël Ouaknine and others (2005) · Proceedings - Symposium on Logic in Computer Science · Institute of Electrical and Electronics Engineers

K. Papadantonakis (2005)

Matthew Parkinson and others (2005) · ACM SIGPLAN Notices · Association for Computing Machinery

C. Percival (2005) · BSDCan

E. Perrins and others (2005) · IEEE

E. Perrins and others (2005) · IEEE

Erik S. Perrins and others (2005) · Globecom · Institute of Electrical and Electronics Engineers

S. Pinchinat and others (2005) · IEEE

Heather Quinn and others (2005) · IEEE

Ishai Rabinovitz and others (2005) · Springer Berlin Heidelberg

G.A. Reis and others (2005) · International Symposium on Code Generation and Optimization · IEEE

Tom Ridge and others (2005) · Theorem Proving in Higher Order Logics · Springer

Ayan Roy-Chowdhury and others (2005) · IEEE Wireless Communications · Institute of Electrical and Electronics Engineers

RTCA, (2005) · Technical Report DO-258A

P.N. Sanda (2005) · IEEE

Norbert Schirmer (2005) · Springer Berlin Heidelberg

Koushik Sen and others (2005) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

M. Sheeran (2005) · URL http://www. jucs. org/jucs_11_7/hardware_design_ and_functional/jucs_11_7_1135_1158_sheeran. pdf

J. Sherwood and others (2005) · CRC Press

Edi Shmueli and others (2005) · Journal of Parallel and Distributed Computing · Elsevier BV

M. Simon (2005)

Nicolas Sklavos and others (2005) · The Journal of Supercomputing · Springer Science+Business Media

Peng Song and others (2005) · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)

Robert Bogdan Staszewski and others (2005) · IEEE Transactions on Circuits and Systems II Analog and Digital Signal Processing · Institute of Electrical and Electronics Engineers

D. Stinson (2005) · CRC Press, 3rd edition

Herb Sutter (2005) · Dr. Dobb's Journal

Stephen Ross Talbot (2005) · http://www.nettab.org/2005/ docs/NETTAB2005_Ross-TalbotOral.pdf.

Douglas Thain and others (2005) · Concurrency and Computation Practice and Experience · Wiley

Stavros Tripakis and others (2005) · Formal Methods in System Design · Springer Science and Business Media LLC

D. Tse and others (2005) · Cambridge University Press

Harvey Tuch and others (2005) · Proceedings of the 10th Workshop on Hot Topics in Operating Systems

Bhuvan Urgaonkar and others (2005) · ACM SIGMETRICS Performance Evaluation Review · Association for Computing Machinery (ACM)

Johan van Benthem (2005) · Trends in logic · Springer Nature (Netherlands)

Andrew von Nordenflycht (2005) · Simon Fraser University

A. Wang and others (2005) · Institute of Electrical and Electronics Engineers (IEEE)

Jinpeng Wei and others (2005) · FAST

Westley R. Weimer and others (2005) · Lecture notes in computer science · Springer Science+Business Media

I. Wenzel and others (2005) · IEEE

F. Wiedijk (2005)

B. Wile and others (2005) · Morgan Kaufmann

S. J. E. Wilton and others (2005) · Institute of Electrical and Electronics Engineers (IEEE)

B. Xu and others (2005) · Association for Computing Machinery (ACM)

Jin Seok Yang and others (2005) · Asia and South Pacific Design Automation Conference (ASP-DAC)

Majid Yar (2005) · European Journal of Criminology · SAGE Publications

I. Yiakoumis and others (2005) · IEEE EUROCON - International Conference on Computer as a Tool (EUROCON)