Javascript is disabled in your browser. Please
enable Javascript
to view PeerJ.
March 2021
Table of Contents - PeerJ Computer Science
Sorted by downloads
Publication date
Downloads
Pageviews
Comp Sci
PeerJ - Medicine articles
PeerJ - Biology & Life science articles
PeerJ - General bio (stats, legal, policy, edu)
PeerJ Computer Science
PeerJ Preprints
theory-and-formal-methods
Login to save + alerts
March 22, 2021
Formal verification of Matrix based MATLAB models using interactive theorem proving
Ayesha Gauhar
,
Adnan Rashid
,
Osman Hasan
,
João Bispo
,
João M.P. Cardoso
https://doi.org/10.7717/peerj-cs.440
March 1, 2021
Equilibrial service composition model in Cloud manufacturing (ESCM) based on non-cooperative and cooperative game theory for healthcare service equipping
Ehsan Vaziri Goudarzi
,
Mahmoud Houshmand
,
Omid Fatahi Valilai
,
Vahidreza Ghezavati
,
Shahrooz Bamdad
https://doi.org/10.7717/peerj-cs.410
← Previous
1
Next →
Archives - Computer Science
theory-and-formal-methods
2024
October
2
September
1
August
0
July
1
June
2
May
0
April
1
March
1
February
0
January
2
2023
December
1
November
2
October
0
September
1
August
3
July
3
June
0
May
1
April
3
March
2
February
1
January
2
2022
October
1
September
2
August
0
July
2
June
1
May
0
April
0
March
1
February
2
2021
December
3
November
0
October
1
September
0
August
0
July
1
June
0
May
1
April
3
March
2
February
1
January
1
2020
November
1
October
0
September
1
August
0
July
0
June
0
May
1
April
0
March
1
2019
2018
2017
2016
April
1
2015
November
2
October
0
September
1
August
0
July
0
June
0
May
1
Filter on subjects this month
optimization-theory-and-computation
1
theory-and-formal-methods
2
I told my colleagues that PeerJ is a journal where they need to publish if they want their paper to be published quickly and with the strict peer review expected from a good journal.
Sohath Vanegas,
PeerJ Author
View author feedback
