2018

Callum Bannister and others (2018) · 9th International Conference on Interactive Theorem Proving (ITP) · Springer

Zachary S. Bischof and others (2018) · Proceedings of the 17th ACM Workshop on Hot Topics in Networks · ACM

Aleš Bizjak and others (2018) · Electronic Notes in Theoretical Computer Science

Timm Böttger and others (2018) · arXiv

Marc Bruyere and others (2018) · IEEE Journal on Selected Areas in Communications · Institute of Electrical and Electronics Engineers

Peter Campbell (2018) · Orbis

Urbi Chatterjee and others (2018) · 2018 IEEE 23rd International Conference on Digital Signal Processing (DSP) · IEEE

Danielle Keats Citron and others (2018) · Foreign Affairs · Yale University

David D. Clark (2018) · MIT Press

Chris C. Demchak and others (2018) · Military Cyber Affairs · University of South Florida Libraries

Stéphane Demri and others (2018) · 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) · Springer

Mnacho Echenim and others (2018) · arXiv

Stephan Friedrichs and others (2018) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)

Qian Ge and others (2018) · Journal of Cryptographic Engineering · Springer

Larry V. Geddings Jr (2018) · US Army Command and General Staff College · School of Advanced Military Studies, US Army Command and General Staff College

Christoph Haase (2018) · ACM SIGLOG News · Association for Computing Machinery

David J. Israel and others (2018) · 2018 IEEE Aerospace Conference · IEEE

Ralf Jung and others (2018) · Journal of Functional Programming · Cambridge University Press

Ralf Jung and others (2018) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery

Gerwin Klein and others (2018) · Communications of the ACM · Association for Computing Machinery

Thorsten Knoll (2018) · Fourth Wiesbaden Workshop on Advanced Microkernel Operating Systems (WAMOS 2018) · RheinMain University of Applied Sciences

Alexander Knüppel and others (2018) · Formal Integrated Development Environment 2018 (F-IDE 2018) · Open Publishing Association

Roberto di Lallo (2018) · Roma Tre University

David M. J. Lazer and others (2018) · Science · American Association for the Advancement of Science (AAAS)

Michiel Leenaars and others (2018) · European Commission, Directorate-General of Communications Networks, Content & Technology, Publications Office of the European Union · European Commission, Directorate-General for Communications Networks, Content and Technology

Moritz Lipp and others (2018) · arXiv

Moritz Lipp and others (2018) · 27th USENIX Security Symposium (USENIX Security 18) · USENIX Association

Hüseyin Bilal Macit and others (2018) · Journal of Mehmet Akif Ersoy University Economics and Administrative Sciences Faculty

Mehdi Mehrali and others (2018) · Advanced science

Lawrence S. Moss (2018) · The Stanford Encyclopedia of Philosophy · Metaphysics Research Lab, Stanford University

Mohammad Mozaffari and others (2018) · arXiv

Dominik Rieth (2018)

Andrew A. Sadoun (2018) · Naval Postgraduate School

Ravi Sen (2018) · Communications of the Association for Information Systems

Neetesh Sharma and others (2018) · Sustainable and Resilient Infrastructure

Sajjan G. Shiva (2018) · CRC Press

Joint Chiefs of Staff (2018) · U.S. Department of Defense

James V. Stone (2018) · arXiv

Andreas Tolk and others (2018) · SpringSim (ANSS)

Moshe Y. Vardi (2018) · Communications of the ACM · Association for Computing Machinery

Ben Wagner (2018) · International Journal of Communication

Peter J. Winzer and others (2018) · Optics Express · Optica Publishing Group

M. Życzkowski and others (2018) · Opto-Electronics Review · Polish Academy of Sciences Chancellery