2007

Onur Aciicmez and others (2007) · Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC 2007) · IEEE

I. Ahmad and others (2007) · Oxford University Press (OUP)

E. Alkassar and others (2007) · Proceedings, 4th International Verification Workshop (VERIFY), Bremen, Germany · CEUR-WS Workshop Proceedings

G. Al Sammane and others (2007) · FDL’07

G. A. Alvarez and others (2007) · Association for Research in Vision and Ophthalmology (ARVO)

Frederic Amiel and others (2007) · IEEE

ARINC, (2007) · Technical Report ARINC SPECIFICATION 823P1

Arm, (2007) · 2007

F. Audet and others (2007) · RFC Editor

J. Avigad and others (2007) · Association for Computing Machinery (ACM)

E. Awh and others (2007) · SAGE Publications

R. Barga and others (2007) · Workflows for e-Science, Scientific Workflows for Grids · Springer

A. Benso and others (2007) · IEEE

Tim Berners-Lee (2007)

Roderick Bloem and others (2007) · Design, Automation, and Test in Europe

R. Bloem and others (2007) · Elsevier BV

Andrey Bogdanov (2007) · Springer Berlin Heidelberg

Vivian Brégier (2007)

P. Brereton and others (2007) · Elsevier BV

Hongxu Cai and others (2007) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

Cristiano Calcagno and others (2007) · ACM SIGPLAN Notices · Association for Computing Machinery

Jessica F. Cantlon and others (2007) · PLoS Biology · Public Library of Science

M. Casado and others (2007) · ACM SIGCOMM computer communication review

Christos G. Cassandras and others (2007) · Springer Nature

CCSDS, (2007) · Draft Recommended Practice CCSDS 000.0-R-0, CCSDS, March 2007. Red Book

CCSDS, (2007) · Draft Recommended Practice CCSDS 000.0-R-0, CCSDS, September 2007. Red Book

P. Cenciarelli and others (2007) · Springer Berlin Heidelberg

Damon Centola and others (2007) · University of Chicago Press

Prashanth Chandran and others (2007) · IEEE Military Communications Conference (MILCOM)

M. Chaudhuri and others (2007) · Institute of Electrical and Electronics Engineers (IEEE)

F. Chen and others (2007) · Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007) · ACM

Yoonsik Cheon and others (2007) · Software Quality Journal · Springer Science+Business Media

Kwan-Wu Chin (2007) · IEEE

Pat Conway and others (2007) · IEEE Micro · Institute of Electrical and Electronics Engineers

Pierre Corbineau and others (2007) · Lecture notes in computer science · Springer Science+Business Media

danah boyd and others (2007) · Journal of Computer-Mediated Communication · Wiley

Á. Darvas and others (2007) · Specification and Verification of Component-Based Systems (SAVCBS 2007) · ACM

Ádám Darvas and others (2007) · Springer Nature

Nirav Dave and others (2007)

Anuj Dawar and others (2007) · Information and Computation · Elsevier BV

Stéphane Demri and others (2007) · Information and Computation · Elsevier BV

Michael L. Downs (2007)

Robert Ecoffet (2007) · Springer Netherlands

Kevin Elphinstone and others (2007) · Proceedings of the 11th Workshop on Hot Topics in Operating Systems

M. D. Ernst and others (2007) · Elsevier BV

J. A. Estefan (2007) · Incose MBSE Focus Group vol

EUROCONTROL, (2007) · EUROCONTROL/FAA Future Communications Study v.2., EUROCONTROL/FAA

T. Fahringer and others (2007) · Workflows for e-Science, Scientific Workflows for Grids · Springer

Hugo Flordal and others (2007) · Discrete Event Dynamic Systems · Springer Science+Business Media

Philippa Anne Gardner and others (2007) · Lecture notes in computer science · Springer Science+Business Media

Nicolas Gisin and others (2007) · Springer Science and Business Media LLC

Stefan Göller (2007) · Lecture notes in computer science · Springer Science+Business Media

David Gutelius (2007) · Informa UK Limited

Onur Guzey and others (2007) · Proceedings · Institute of Electrical and Electronics Engineers

T. C. Hales (2007) · Studies in Logic, Grammar and Rhetoric

Ronald Hanson and others (2007) · Reviews of modern physics

Colin Hay (2007) · Polity

Maritta Heisel (2007) · Springer Nature

G. Heiser and others (2007) · Association for Computing Machinery (ACM)

Todd C. Helmus and others (2007) · RAND

Sebastian Herbert and others (2007) · International Symposium on Low Power Electronics and Design (ISLPED)

M. A. Hillebrand and others (2007) · Springer Berlin Heidelberg

M. Hough and others (2007)

Daniel Walker Howe (2007)

ICAO, (2007) · ICAO Annex 10 - Volume III, International Civil Aviation Organization (ICAO)

Kazuma Ikeda and others (2007) · Mathematical logic quarterly · Wiley

S. Inoue and others (2007) · Elsevier BV

JTC1/SC22/WG14 (2007) · ISO

International Telecommunications Union (ITU) (2007) · International Telecommunications Union

Michael A. Jensen and others (2007) · IEEE Transactions on Aerospace and Electronic Systems · Institute of Electrical and Electronics Engineers

A. Jesser and others (2007) · 507–514

Barbara Jobstmann and others (2007) · Springer Nature

D. E. Johnson (2007) · Learning Large Lessons: The Evolving Roles of Ground Power and Air Power in the Post-Cold War Era (pp. 65–90). RAND Corporation. http://www.jstor.org/stable/10.7249/mg405af.11

C. Kaliszyk (2007) · Elsevier BV

E. Khan and others (2007) · Institute of Electrical and Electronics Engineers (IEEE)

Steve Kilts (2007) · Wiley

M. Kim and others (2007) · Springer Berlin Heidelberg

Chong Hee Kim and others (2007) · Lecture notes in computer science · Springer Science+Business Media

Chong Hee Kim and others (2007) · IEEE Design & Test of Computers · Institute of Electrical and Electronics Engineers

David J. Kinniment (2007) · Wiley

E. E. Klein and others (2007) · Elsevier BV

Dirk Koch and others (2007) · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)

Pieter Kok and others (2007) · Reviews of Modern Physics · American Physical Society (APS)

K. Kompella and others (2007)

B. Kumaraswamy and others (2007) · IEEE

Daniel Larsson and others (2007) · International Verification Workshop (VERIFY)

L. Law and others (2007)

Mathieu Le Corre and others (2007) · Cognition · Elsevier BV

Dirk Leinenbach (2007)

Piotr Lesnicki and others (2007) · Workshop on GCC for Research in Embedded and Parallel Systems (GREPS)

Xianfeng Li and others (2007) · Science of Computer Programming · Elsevier BV

Ming Li and others (2007) · IEEE

Leilei Liu and others (2007) · IEEE Antennas and Wireless Propagation Letters · IEEE Antennas & Propagation Society

Oded Maler (2007) · Annual Reviews in Control · Elsevier BV

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

Grzegorz Greg Malewicz and others (2007) · Journal of Grid Computing · Springer Science+Business Media

M. S. Maurer (2007) · PhD thesis

Peter McBurney and others (2007) · Institute of Electrical and Electronics Engineers (IEEE)

K. McCrink and others (2007) · SAGE Publications

Kenneth S. McElvain (2007) · Synplicity, Inc. Patent No.US007200822B1, April

Peggy B. McGee and others (2007) · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · Association for Computing Machinery

D. Medhi and others (2007) · Elsevier Science & Technology

José Meseguer and others (2007) · Theoretical Computer Science · Elsevier BV

M. Mintz and others (2007) · Springer

Éric Monmasson and others (2007) · IEEE Transactions on Industrial Electronics · Institute of Electrical and Electronics Engineers

S. G. Mosin (2007) · IEEE

Oleg Mürk and others (2007) · Springer Berlin Heidelberg

Tarik Nahhal and others (2007) · Springer Nature

Tarik Nahhal and others (2007) · Lecture notes in computer science · Springer Science+Business Media

Nicholas Nethercote and others (2007) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

Huu Hai Nguyen and others (2007) · Springer Berlin Heidelberg

Zhaozhong Ni and others (2007) · Lecture notes in computer science · Springer Science+Business Media

D. Nickovic and others (2007) · Springer Berlin Heidelberg

Andreas Nieder and others (2007) · Journal of Neuroscience · Society for Neuroscience

P. Nikander and others (2007) · RFC Editor

OASIS Technical Committee (2007) · OASIS

Jeremy L O’brien (2007) · American Association for the Advancement of Science (AAAS)

O. Ohrimenko and others (2007) · Ohrimenko, P. Stuckey, and M. Codish, Principles and Practice of Constraint Programming. Elsevier

M. Papazoglou and others (2007) · Computer · IEEE Computer Society

Evangelos Papoutsis and others (2007) · NASA/ESA Conference on Adaptive Hardware and Systems (AHS)

MARIUS A. PAŞCA (2007) · International World Wide Web Conference (WWW)

Marius Paşca (2007) · Proceedings of the sixteenth ACM conference on Conference on information and knowledge management · ACM

Marius Pasca and others (2007) · Proceedings of the 20th International Joint Conference on Artifical Intelligence

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

Elena Petrova (2007)

Marta Portela-Garcia and others (2007) · IEEE International On-Line Testing Symposium (IOLTS)

Dumitru Potop‐Butucaru and others (2007) · Springer Nature

Mirja Pulkkinen and others (2007) · Journal of Systems and Software · Elsevier BV

Zongyan Qiu and others (2007) · ACM

M. Rahman and others (2007) · IEEE

Z. Rakamaric and others (2007) · Springer Berlin Heidelberg

Yogesh K. Ramadass and others (2007) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers

Arun Ramakrishnan and others (2007) · IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)

Niranjay Ravindran and others (2007) · Globecom · Institute of Electrical and Electronics Engineers

Arend Rensink and others (2007) · Elsevier BV

Juan Alberto Rodríguez and others (2007) · Discussiones Mathematicae Graph Theory · University of Zielona Góra, Poland

J. A. Rodríguez-Velázquez and others (2007) · AKCE International Journal of Graphs and Combinatorics

RTCA, (2007) · Technical Report DO-280B

W. M. Sansen (2007) · Springer Science & Business Media

V. Sathe and others (2007) · IEEE

V. Sathe (2007)

Visvesh Sathe and others (2007) · IEEE Symposium on VLSI Circuits (VLSI-Circuits)

M. Schlickling and others (2007) · WCET

K. Schmidt and others (2007) · IEEE

Jörn-Marc Schmidt and others (2007) · Austrochip

Koushik Sen (2007) · ACM

Sanjit A. Seshia and others (2007) · 2007 Design, Automation & Test in Europe Conference & Exhibition · IEEE

Hovav Shacham (2007) · Proceedings of the 14th ACM conference on Computer and communications security · ACM

Robert W. Shirey (2007)

Gaurav Kumar Singh and others (2007)

Markus Sköldstam and others (2007) · IEEE Conference on Decision and Control (CDC) · Institute of Electrical and Electronics Engineers

Konrad L. Slind and others (2007) · Formal Aspects of Computing · Springer Science+Business Media

Pradip K. Srimani and others (2007)

R. Subramanian (2007) · RF Designers, Nikkei Electronics Asia

M. Sutton and others (2007) · Addison-Wesley

Alexander Szameit and others (2007) · Optics Express · Optica Publishing Group

Junko Takahashi and others (2007) · Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC 2007) · IEEE

Herbert G. Tanner and others (2007) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers

Samira Tasharofi and others (2007) · Springer Berlin Heidelberg

I. J. Taylor and others (2007) · Springer

V. Vafeiadis and others (2007) · Springer Berlin Heidelberg

Ernesto Van der Sar (2007)

Shobha Vasudevan and others (2007) · International Journal on Software Tools for Technology Transfer · Springer Science+Business Media

Ilya Wagner and others (2007) · Design, Automation, and Test in Europe

Duncan J. Watts and others (2007) · Journal of Consumer Research · Oxford University Press

M. Wenzel (2007) · Studies in Logic, Grammar and Rhetoric

Hongli Yang and others (2007) · Formal Techniques for Networked and Distributed Systems – FORTE 2007 · Springer Berlin Heidelberg

Tian–Li Yu and others (2007) · Research in Engineering Design · Springer Science+Business Media

Bo Zhai and others (2007) · IEEE

Yongxin Zhou and others (2007) · Lecture notes in computer science · Springer Science+Business Media