Journal Selection & Manuscript Polishing Services
Computer Science
Computer Science
Paper Review Records
All Paper Review Records
17 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
452
days
Verified Tableaux: from Modal Logics to Modal Fixpoint Logics
AuthorsRajeev Goré; Anthony Peigné
Affiliations1. Monash University, Melbourne, Australia; 2. Australian National University, Canberra, Australia
151
days
The Rewster: Type Preserving Rewrite Rules for the Rocq Prover
AuthorsYann Leray; Gaëtan Gilbert; Nicolas Tabareau; Théo Winterhalter
Affiliations1. Nantes Université, École Centrale Nantes, CNRS, INRIA, LS2N, UMR 6004, Nantes, France; 2. INRIA Rennes Bretagne Atlantique, LS2N, Nantes, France; 3. INRIA Saclay, LMF, Gif-sur-Yvette, France
447
days
Targeting Completeness: Automated Complexity Analysis of Integer Programs
AuthorsNils Lommen; Éléanore Meyer; Jürgen Giesl
Affiliations1. RWTH Aachen University, Aachen, Germany
126
days
Applying Saturation-Based Theorem Proving to Open Problems in Positive Implicational Logic
AuthorsBranden Fitelson; Nicolas Peltier
Affiliations1. Northeastern University, Boston, USA; 2. Univ. Grenoble Alpes, CNRS, LIG, Grenoble, France
598
days
Feature Necessity and Relevancy in Machine Learning Explanations
AuthorsXuanxiang Huang; Martin C. Cooper; Antonio Morgado; Jordi Planes; Joao Marques-Silva
Affiliations1. NTU, Singapore, Singapore; 2. IRIT, University of Toulouse, Toulouse, France; 3. INESC-ID/IST, University of Lisbon, Lisbon, Portugal; 4. University of Lleida, Lleida, Spain; 5. ICREA & University of Lleida, Lleida, Spain
402
days
A Formal Correctness Proof of Edmonds’ Blossom Shrinking Algorithm
AuthorsMohammad Abdulaziz; Kurt Mehlhorn
Affiliations1. King’s College London, London, United Kingdom; 2. Max Planck Institute for Informatics, Saarbrücken, Germany
579
days
Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization
AuthorsJoão Cortes; Inês Lynce; Vasco Manquinho
Affiliations1. INESC-ID, Instituto Superior Técnico, Universidade de Lisboa, Lisbon (Lisboa), Portugal
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