Journal Selection & Manuscript Polishing Services
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.
942
days
Makina: A QuickCheck state machine library
AuthorsLuis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Clara Benac-Earle; Julio Mariño
AffiliationsUniversidad Politécnica de Madrid, Campus de Montegancedo s/n, 28660, Madrid, Spain
242
days
Unified opinion formation analysis in rewriting logic
AuthorsCarlos Olarte; Carlos Ramírez; Camilo Rocha; Frank Valencia
AffiliationsLIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, Villetaneuse, France; Pontificia Universidad Javeriana, Calle 18 118-250, Cali, Colombia; CNRS-LIX, École Polytechnique de Paris, Palaiseau, France
366
days
On the inner structure of multirelations
AuthorsHitoshi Furusawa; Walter Guttmann; Georg Struth
AffiliationsDepartment of Science, Kagoshima University, Japan; Computer Science and Software Engineering, University of Canterbury, New Zealand; Department of Computer Science, University of Sheffield, UK; Collegium de Lyon, France
593
days
Algebraic reasoning for timeliness-guided system design
AuthorsSeyed Hossein Haeri; Peter Van Roy; Heinrich Apfelmus; Peter W. Thompson; Neil J. Davies; Magne Haveraaen; Mikhail Barash; Kevin Hammond; James Chapman; Artjoms Šinkarovs
AffiliationsInput Output Global, Brussels, Belgium; Department of Informatics, University of Bergen, Bergen, Norway; Predictable Network Solutions Ltd. (PNSol), Stonehouse, UK; Université catholique de Louvain, Louvain-la-Neuve, Belgium; Cardano Stiftung, Zug, Switzerland; Input Output Global, UK
176
days
Combining sequential test cases into an equivalent set of adaptive test cases
AuthorsRobert M. Hierons; Mercedes G. Merayo; Manuel Núñez
AffiliationsSchool of Computer Science, University of Sheffield, S1 4DP, Sheffield, United Kingdom; Design and Testing of Reliable Systems, Universidad Complutense de Madrid, 28040, Madrid, Spain
550
days
Kind inference for the FREEST programming language
AuthorsBernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos
AffiliationsLASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal
816
days
Counterpart-based Quantified Temporal Logics
AuthorsFabio Gadducci; Andrea Laretto; Davide Trotta
AffiliationsDepartment of Computer Science, University of Pisa, Pisa, Italy; Department of Software Science, Tallinn University of Technology, Tallinn, Estonia
608
days
Using fixed memory blocks in GPUs to accelerate SpMV multiplication in probabilistic model checkers
AuthorsMuhammad Hannan Khan; Shahid Khan; Osman Hasan
AffiliationsSchool of Electrical Engineering and Computer Science, National University of Sciences and Technology (NUST), Sector H-12, Islamabad, Pakistan
127
days
Formal analysis of real-time systems with user-defined strategies in rewriting logic
AuthorsCarlos Olarte; Peter Csaba Ölveczky
AffiliationsLIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, France; Department of Informatics, University of Oslo, Norway
245
days
Comodule representations of second-order functionals
AuthorsDanel Ahman; Andrej Bauer
AffiliationsInstitute 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, Slovenia
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