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.
356
days
Formal Methods—My 50+ Years as an Engineer, Researcher and Scientist
AuthorsDines Bjorner
Affiliations1. Compute, Technical University of Denmark
385
days
Reasoning about expression evaluation under interference
AuthorsIan Hayes; Cliff Jones; Larissa Meinicke
Affiliations1. School of Electrical Engineering and Computer Science, The University of Queensland; 2. School of Computing, Newcastle University
965
days
OLTL: An Optimization Extension of Linear Temporal Logic
AuthorsMohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi
Affiliations1. Department of Electrical and Computer Engineering, University of Science and Technology of Mazandaran; 2. Dipartimento di Meccanica, Politecnico di Milano
104
days
A Brief History of Formal Methods in China
AuthorsNaijun Zhan; Jim Woodcock; Ji Wang; Mingshuai Chen
Affiliations1. School of Computer Science, Peking University; 2. Zhongguancun Laboratory; 3. Southwest University; 4. Department of Electrical and Computer Engineering, Aarhus University; 5. Computer Science, University of York; 6. State Key Laboratory for Complex & Critical Software Environment, College Computer Science and Technology, National University of Defense Technology; 7. College of Computer Science and Technology, Zhejiang University
125
days
Alfonso Caracciolo di Forino and Generalized Markov Algorithms
AuthorsSimone Martini
Affiliations1. DISI, University of Bologna
212
days
A History of Formal Methods in Railways
AuthorsMaurice H. ter Beek; Alessandro Fantechi; Alessio Ferrari; Stefania Gnesi; Anne E. Haxthausen; Thierry Lecomte
Affiliations1. CNR-ISTI; 2. University of Florence; 3. University College Dublin; 4. Technical University of Denmark; 5. CLEARSY Systems Engineering
226
days
Transition‑Based Acceptance for ω‑Regular Expression Synthesis
AuthorsCharles Pert; Dalal Alrajeh; Alessandra Russo
Affiliations1. Department of Computing, Imperial College London
237
days
An Introduction to Input/Output Automata
AuthorsNancy A. Lynch; Mark R. Tuttle
Affiliations1. Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology; 2. Amazon Web Services Inc
514
days
Denotational and Algebraic Semantics for the SMrCaIT calculus Based on UTP
AuthorsNingning Chen; Huibiao Zhu; Jifeng He
Affiliations1. University of Shanghai for Science and Technology; 2. East China Normal University; 3. East China Normal University, Shanghai, China
335
days
A Theory of Probabilistic Contracts
AuthorsAnton Hampus; Mattias Nyberg
Affiliations1. KTH Royal Institute of Technology; 2. TRATON AB
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