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.
154
days
Formally Verified Matching of Regular Expressions
AuthorsChristoph Walther
Affiliations1. Technische Universität Darmstadt, Fachbereich Informatik, Darmstadt, Germany
128
days
Formalizing Multi-graded Brenner–Schröer Proj Schemes and Dilatations of Rings in Lean4
AuthorsArnaud Mayeux; Jujian Zhang
Affiliations1. The Hebrew University of Jerusalem, Jerusalem, Israel; 2. University of Wisconsin-Madison, Madison, USA; 3. Axiom Math, San Francisco, USA; 4. Imperial College London, London, UK
175
days
A Rocq Prover STL Formalization with Transformations for Mission Planning
AuthorsDanil Berrah; François Pessaux; Alexandre Chapoutot
Affiliations1. U2IS, Institut Polytechnique de Paris, ENSTA, Palaiseau, France
303
days
Proving Total Correctness of Top-Down Solvers with Widening and Narrowing
AuthorsSarah Tilscher; Alexandra Graß; Helmut Seidl; Yannick Stade
Affiliations1. Technical University of Munich, Munich, Germany; 2. Ludwig-Maximilians-Universität in Munich, Munich, Germany
1
days
\({SL}^{\lambda }\) : A Scalable Algorithm for Register Automata Learning
AuthorsSimon Dierl; Paul Fiterău-Broştean; Falk Howar; Bengt Jonsson; Konstantinos Sagonas; Fredrik Tåquist
Affiliations1. Department of Computer Science, TU Dortmund University, Dortmund, Germany; 2. Department of Information Technology, Uppsala University, Uppsala, Sweden; 3. Fraunhofer ISST, Dortmund, Germany; 4. School of Electrical and Computer Engineering, National Technical University of Athens, Athens, Greece
237
days
Geometric Interpretation and Application of Non-degenerate Conditions in Geometric Theorem Proving
AuthorsXicheng Peng; Jingzhong Zhang; Mao Chen; Sannyuya Liu
Affiliations1. Laboratory for Artificial Intelligence and New Forms of Education, Central China Normal University, Wuhan, China; 2. School of Computer Science and Cyber Engineering, Guangzhou University, Guangzhou, China
153
days
The Relative Strength of #SAT Proof Systems
AuthorsOlaf Beyersdorff; Johannes K. Fichte; Markus Hecher; Tim Hoffmann; Lea Kasche
Affiliations1. Friedrich Schiller University, Jena, Germany; 2. Linköping University, Linköping, Sweden; 3. University of Potsdam, Potsdam, Germany; 4. University Artois, CNRS, UMR 8188, CRIL, Lens, France
329
days
Probabilistic Automaton Classifier Applied to Examples Related to the Andrews-Curtis Conjecture
AuthorsMichael Fairbank; Alexei Lisitsa; Alexei Vernitski
Affiliations1. University of Essex, Colchester, United Kingdom; 2. University of Liverpool, Liverpool, United Kingdom
154
days
Typed Compositional Quantum Computation with Lenses
AuthorsJacques Garrigue; Takafumi Saikawa
Affiliations1. Graduate School of Mathematics, Nagoya University, Nagoya, Japan
225
days
YALLA: Yet Another Deep Embedding of Linear Logic in Rocq
AuthorsOlivier Laurent
Affiliations1. Laboratoire de l’Informatique du Parallélisme, CNRS – ENS de Lyon – Université Claude Bernard Lyon 1, Lyon cedex 07, France
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