All subject overlays

Theory and Formal Methods at PeerJ

Latest articles

Defining the analytical complexity of decision problems under uncertainty based on their pivotal properties
Alexander Gutfraind
Symbolic model checking quantum circuits in Maude
Canh Minh Do, Kazuhiro Ogata
RSS feed (Articles) View all Articles
Analysis on the impact of dynamic innovation investment strategy of green supply chain enabled by blockchain
Fangfang Guo, Zhuang Wu, Yuanyuan Wang, Chenjun Liu
A structure-preserving linearly homomorphic signature scheme with designated combiner
Xuan Zhou, Yuan Tian, Weidong Zhong, Tanping Zhou, Xiaoyuan Yang

Widely read

More ties than we thought
Dan Hirsch, Ingemar Markström, Meredith L. Patterson, Anders Sandberg, Mikael Vejdemo-Johansson
22,992 views · 2,412 downloads
A framework for cut-over management
Guido Nageldinger
5,841 views · 18,334 downloads
Survey on graph embeddings and their applications to machine learning problems on graphs
Ilya Makarov, Dmitrii Kiselev, Nikita Nikitinsky, Lovro Subelj
7,676 views · 3,941 downloads
Researching COVID-19 tracing app acceptance: incorporating theory from the technological acceptance model
Felix Velicia-Martin, Juan-Pedro Cabrera-Sanchez, Eloy Gil-Cordero, Pedro R. Palos-Sanchez
6,141 views · 1,144 downloads
Two-dimensional Kolmogorov complexity and an empirical validation of the Coding theorem method by compressibility
Hector Zenil, Fernando Soler-Toscano, Jean-Paul Delahaye, Nicolas Gauvrit
5,794 views · 1,484 downloads

Editors' picks

Defining the analytical complexity of decision problems under uncertainty based on their pivotal properties
Alexander Gutfraind
A new integrated rough multi-criteria decision-making model for enterprise resource planning software selection
Bing Cao, Yongsheng Jin, Alptekin Ulutaş, Ayse Topal, Željko Stević, Darjan Karabasevic, Cipriana Sava

Recently cited

Survey on graph embeddings and their applications to machine learning problems on graphs
Ilya Makarov, Dmitrii Kiselev, Nikita Nikitinsky, Lovro Subelj
69 citations · 7,676 views · 3,941 downloads
Proposal for an objective binary benchmarking framework that validates each other for comparing MCDM methods through data analytics
Mahmut Baydaş, Tevfik Eren, Željko Stević, Vitomir Starčević, Raif Parlakkaya
12 citations · 1,075 views · 35 downloads
About this subject overlay

This Theory and Formal Methods Overlay is a subset of the peer-reviewed articles found in PeerJ Computer Science .

Subject pages or "Overlays" are like filtered subject journals helping you discover your community within the wider multi-disciplinary PeerJ venues.

Follow this overlay

Editors and advisors
View all - editors and advisors

Authors and reviewers
View all - authors and reviewers

Collections

Decision Making in Complex Systems: The Theoretical Basis
Decision Making in Complex Systems: Intelligent Computing
Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography
Advances in Computational Learning for Robotics - RiTA 2020
Coronaviruses and Viral Respiratory Infections
Background image credit