CrushSCI reveals real review times for each journal, giving authors transparent guidance for submission. As AI makes publishing increasingly challenging, the platform helps authors improve submission efficiency. Contact us if you need assistance.
Mathematics
Mathematics
Back to journal directory
Review Cycle Records
Journal of Logical and Algebraic Methods in Programming
Paper Review Records
All Paper Review Records
10 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
816
days
Counterpart-based Quantified Temporal Logics
Authors
Fabio Gadducci; Andrea Laretto; Davide TrottaShow moreShow less
Affiliations
Department of Computer Science, University of Pisa, Pisa, Italy; Department of Software Science, Tallinn University of Technology, Tallinn, EstoniaShow moreShow less
608
days
Using fixed memory blocks in GPUs to accelerate SpMV multiplication in probabilistic model checkers
Authors
Muhammad Hannan Khan; Shahid Khan; Osman HasanShow moreShow less
Affiliations
School of Electrical Engineering and Computer Science, National University of Sciences and Technology (NUST), Sector H-12, Islamabad, PakistanShow moreShow less
127
days
Formal analysis of real-time systems with user-defined strategies in rewriting logic
Authors
Carlos Olarte; Peter Csaba ÖlveczkyShow moreShow less
Affiliations
LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, France; Department of Informatics, University of Oslo, NorwayShow moreShow less
245
days
Comodule representations of second-order functionals
Authors
Danel Ahman; Andrej BauerShow moreShow less
Affiliations
Institute of Computer Science, University of Tartu, Narva mnt 18, Tartu, Estonia; Faculty of Mathematics and Physics, University of Ljubljana, Jadranska 19, Ljubljana, Slovenia; Institute of Mathematics, Physics and Mechanics, Jadranska 19, Ljubljana, SloveniaShow 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