ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Science of Computer Programming
container_hq6x4whtd5hhlhsxzculyeamey
Published by Elsevier
Search Releases from this Container
Example Publications
A Framework for Automated Conflict Detection and Resolution in Medical Guidelines
J. Bowles, M.B. Caminati, S. Cha, J. Mendoza
2019
|
Science of Computer Programming
doi:10.1016/j.scico.2019.07.002 pmcid:PMC6993806
Formal analysis of privacy in Direct Anonymous Attestation schemes
Ben Smyth, Mark D. Ryan, Liqun Chen
2015
|
Science of Computer Programming
doi:10.1016/j.scico.2015.04.004
Language-integrated provenance
Stefan Fehrenbach, James Cheney
2018
|
Science of Computer Programming
doi:10.1016/j.scico.2017.08.009
A meta-model for dataflow-based rules in smart environments: Evaluating user comprehension and performance
Alejandro Catala, Patricia Pons, Javier Jaen, Jose A. Mocholi, Elena Navarro
2013
|
Science of Computer Programming
doi:10.1016/j.scico.2012.06.010
Special issue on Software Verification and Testing (SAC-SVT'15)
Gwen Salaün, Mariëlle Stoelinga
2016
|
Science of Computer Programming
doi:10.1016/j.scico.2016.10.001
2,808
Known Releases
Open Access Publication
Preservation Status
| 1,966 | preserved and accessble (bright) | |
| 838 | preserved, inaccessible (dark) | |
| 4 | no known preservation |
Work Types
article-journal
| 2,808 |
Type
Status
unknownStatus
unknown
Preservation Holdings
CLOCKSS: years 1981-2020
HathiTrust: years
Portico: years 1981-2020
scholarsportal: years 1981-2020
CLOCKSS: years 1981-2020
HathiTrust: years
Portico: years 1981-2020
scholarsportal: years 1981-2020
Lookup Links