Paper Review Records
All Paper Review Records
20 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
225
days
YALLA: Yet Another Deep Embedding of Linear Logic in Rocq
Authors
Olivier LaurentShow moreShow less
Affiliations
1. Laboratoire de l’Informatique du Parallélisme, CNRS – ENS de Lyon – Université Claude Bernard Lyon 1, Lyon cedex 07, FranceShow moreShow less
452
days
Verified Tableaux: from Modal Logics to Modal Fixpoint Logics
Authors
Rajeev Goré; Anthony PeignéShow moreShow less
Affiliations
1. Monash University, Melbourne, Australia; 2. Australian National University, Canberra, AustraliaShow moreShow less
151
days
The Rewster: Type Preserving Rewrite Rules for the Rocq Prover
Authors
Yann Leray; Gaëtan Gilbert; Nicolas Tabareau; Théo WinterhalterShow moreShow less
Affiliations
1. 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, FranceShow moreShow less
447
days
Targeting Completeness: Automated Complexity Analysis of Integer Programs
Authors
Nils Lommen; Éléanore Meyer; Jürgen GieslShow moreShow less
Affiliations
1. RWTH Aachen University, Aachen, GermanyShow moreShow less
126
days
Applying Saturation-Based Theorem Proving to Open Problems in Positive Implicational Logic
Authors
Branden Fitelson; Nicolas PeltierShow moreShow less
Affiliations
1. Northeastern University, Boston, USA; 2. Univ. Grenoble Alpes, CNRS, LIG, Grenoble, FranceShow moreShow less
598
days
Feature Necessity and Relevancy in Machine Learning Explanations
Authors
Xuanxiang Huang; Martin C. Cooper; Antonio Morgado; Jordi Planes; Joao Marques-SilvaShow moreShow less
Affiliations
1. 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, SpainShow 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