Paper Review Records
All Paper Review Records
22 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
237
days
An Introduction to Input/Output Automata
Authors
Nancy A. Lynch; Mark R. TuttleShow moreShow less
Affiliations
1. Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology; 2. Amazon Web Services IncShow moreShow less
335
days
A Theory of Probabilistic Contracts
Authors
Anton Hampus; Mattias NybergShow moreShow less
Affiliations
1. KTH Royal Institute of Technology; 2. TRATON ABShow moreShow less
209
days
Formal Methods in Industry: A Critical Evaluation of Their Use at Amazon Web Services
Authors
James Woodcock; Peter Gorm LarsenShow moreShow less
Affiliations
1. 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 TechnologyShow moreShow less
23
days
Tony Hoare: his path to the ACM Turing Award
Authors
Krzysztof R. AptShow moreShow less
Affiliations
1. Centrum voor Wiskunde en Informatica; 2. MIMUW, University of WarsawShow moreShow less
241
days
Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
Authors
George Granberry; Wolfgang Ahrendt; Moa JohanssonShow moreShow less
Affiliations
1. Computer Science and Engineering, Chalmers University of TechnologyShow moreShow less
321
days
Assurance Case Development for Evolving Software Product Lines: A Formal Approach
Authors
Logan Murphy; Torin Viger; Alessio Di Sandro; Aren Babikian; Marsha ChechikShow moreShow less
Affiliations
1. Computer Science, University of TorontoShow moreShow less
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 review62 days
Median65 days