2020

Noah Boorstin et al. (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020

Frédérick Douzet et al. (2020) · 12th International Conference on Cyber Conflict (CyCon)

Mnacho Echenim et al. (2020) · ACM Transactions on Computational Logic (TOCL)

Dominic Essuman et al. (2020) · International journal of production economics

Hubert Garavel et al. (2020) · 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS)

Mario Gleirscher et al. (2020) · Empirical Software Engineering

Hans-Dieter A. Hiep et al. (2020) · Integrated Formal Methods

Marieke Huisman et al. (2020)

Christof Löding et al. (2020) · 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

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

Adithya Murali et al. (2020) · Programming Languages and Systems

Noel Packard (2020) · Studies in Media and Communication

David Parsons (2020)

Panu Raatikainen (2020) · The Stanford Encyclopedia of Philosophy

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

Stephen B. Wicker (2020) · Communications of the ACM