2020

Wasim Ahmed and others (2020) · Journal of Medical Internet Research · JMIR Publications Inc.

Todd Arnold and others (2020) · Proceedings of the ACM Internet Measurement Conference · Association for Computing Machinery (ACM)

Gilles Barthe and others (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery

Noah Boorstin and others (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020 · Association for Computing Machinery

Adrián Campazas-Vega and others (2020) · Sensors · Multidisciplinary Digital Publishing Institute

Fons Vanden Berghen (2020) · telegraphy.eu

Arthur Charguéraud (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery

Samuel J. Cheyette and others (2020) · Nature Human Behaviour · Springer Science and Business Media LLC

Frédérick Douzet and others (2020) · 12th International Conference on Cyber Conflict (CyCon) · IEEE

Mnacho Echenim and others (2020) · ACM Transactions on Computational Logic (TOCL)

Dominic Essuman and others (2020) · International journal of production economics

Hubert Garavel and others (2020) · 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS) · Springer

Mario Gleirscher and others (2020) · Empirical Software Engineering

Devashish Gosain and others (2020) · 2020 IEEE 45th LCN Symposium on Emerging Topics in Networking (LCN Symposium)

Johannes Güldenring and others (2020) · Drones

Gernot Heiser and others (2020) · Communications of the ACM · Association for Computing Machinery

Hans-Dieter A. Hiep and others (2020) · Integrated Formal Methods · Springer

Hans-Dieter A. Hiep and others (2020) · Deductive Software Verification: Future Perspectives · Springer International Publishing

Hans-Dieter A. Hiep and others (2020) · Tools and Algorithms for the Construction and Analysis of Systems · Springer

Marieke Huisman and others (2020) · arXiv

Marieke Huisman and others (2020) · Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020) · Springer International Publishing

Mika Karjalainen and others (2020) · 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) · IEEE

Daniel Lambach (2020) · International Studies Review · Oxford University Press (OUP)

Charles E. Leiserson and others (2020) · Science · American Association for the Advancement of Science (AAAS)

Christof Löding and others (2020) · 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) · Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Evgeny M. Makarov (2020) · Современные информационные технологии и ИТ-образование

Adithya Murali and others (2020) · 29th European Symposium on Programming (ESOP) · Springer

Halima Najibi and others (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020 · Association for Computing Machinery

Peter W. O'Hearn (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery

Noel Packard (2020) · Studies in Media and Communication

Seongha Park and others (2020) · Sensors · MDPI

David Parsons (2020) · Springer

Panu Raatikainen (2020) · The Stanford Encyclopedia of Philosophy · Metaphysics Research Lab, Stanford University

Laik Ruetten and others (2020) · 2020 10th Annual Computing and Communication Workshop and Conference (CCWC) · IEEE

John Shalf (2020) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

Adi Teman (2020) · YouTube · video

Adi Teman (2020) · YouTube · video

United States Air Force (2020) · Department of the Air Force