Journal Selection & Manuscript Polishing Services
Computer Science
Computer Science
Paper Review Records
All Paper Review Records
18 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
209
days
Formal Methods in Industry: A Critical Evaluation of Their Use at Amazon Web Services
AuthorsJames Woodcock; Peter Gorm Larsen
Affiliations1. College of Software, Southwest University; 2. Department of Electrical and Computer Engineering, Aarhus University; 3. Computer Science, University of York; 4. No address; 5. Electrical and Computer Engineering, Aarhus Universitet Science and Technology
23
days
Tony Hoare: his path to the ACM Turing Award
AuthorsKrzysztof R. Apt
Affiliations1. Centrum voor Wiskunde en Informatica; 2. MIMUW, University of Warsaw
241
days
Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
AuthorsGeorge Granberry; Wolfgang Ahrendt; Moa Johansson
Affiliations1. Computer Science and Engineering, Chalmers University of Technology
321
days
Assurance Case Development for Evolving Software Product Lines: A Formal Approach
AuthorsLogan Murphy; Torin Viger; Alessio Di Sandro; Aren Babikian; Marsha Chechik
Affiliations1. Computer Science, University of Toronto
354
days
LeanMachines: State-based Modeling with Refinement (a Lean4 Framework)
AuthorsDanaël Carbonneau; Frederic Peschanski
Affiliations1. Sorbonne Universite; 2. LIP6
382
days
Malware Analysis through Behavior Formalization
AuthorsAndrei Mogage; Dorel Lucanu
Affiliations1. Computer Science, Alexandru Ioan Cuza University; 2. Bitdefender
576
days
On Inductive Characterization for Divergence-sensitive Probabilistic Branching Bisimilarity
AuthorsHao Wu; Yuxi Fu; Huan Long; Xian Xu; Wenbo Zhang
Affiliations1. College of Information Engineering, Shanghai Maritime University; 2. BASICS, Shanghai Jiao Tong University; 3. East China University of Science and Technology; 4. Shanghai Ocean University
152
days
Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
AuthorsMartin Fränzle; Thomas Møller Grosen; Kim Guldstrand Larsen; Martin Zimmermann
Affiliations1. Carl von Ossietzky Universitat Oldenburg; 2. Aalborg University
Expert Matching · Case Demo
Turn Your Submission Goalsinto a Verifiable Journal Plan
Share your field, deadline, and author profile. CrushSCI uses real review records to suggest a title direction, shortlist journals, and estimate timelines.
Client
I work in environmental engineering and need an SCI paper published within three months. I have no grant funding or prominent co-author. Which journals could I target?
CrushSCI
Yes. We will first screen for feasibility against the 90-day deadline, then identify comparable papers without grant support or prominent co-authors. The final shortlist will prioritize research quality and journal scope.
- Suggested title
- Machine Learning and Life-Cycle Assessment for Predicting and Optimizing Carbon Emissions in Urban Wastewater Treatment
- Database shortlist
- Environmental Technology & Innovation
SampleLatest 5 valid paper samples from 2026
Average review96.4 days
Median77 days