Journal Selection & Manuscript Polishing Services
Computer Science
Computer Science
Paper Review Records
All Paper Review Records
11 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
355
days
Efficient monitoring of timed properties
AuthorsThomas Møller Grosen; Sean Kauffman; Kim Guldstrand Larsen; Martin Zimmermann
Affiliations1. Aalborg University, Aalborg, Denmark; 2. Queens University, Kingston, Ontario, Canada
776
days
Adjointness in property directed reachability analysis
AuthorsMayuko Kori; Flavio Ascari; Filippo Bonchi; Roberto Bruni; Roberta Gori; Ichiro Hasuo
Affiliations1. Research Institute for Mathematical Sciences, Kyoto University, Sakyo, Japan; 2. Computer Science Department, University of Pisa, Pisa, Italy; 3. National Institute of Informatics, Chiyoda, Japan; 4. Department of Informatics, SOKENDAI (The Graduate University for Advanced Studies), Hayama, Japan
417
days
Formally verified roundoff error bounds on LogSumExp-based computations
AuthorsPaul Bonnot; Benoît Boyer; Florian Faissole; Claude Marché; Raphaël Rieu-Helft
Affiliations1. Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, France; 2. Mitsubishi Electric R&D Centre Europe, Rennes, France; 3. TrustInsoft, Paris, France
295
days
Linear temporal constraints for sketch-based synthesizers
AuthorsFernando A. Galicia-Mendoza; David A. Rosenblueth; Armando Solar-Lezama
Affiliations1. Posgrado en Ciencia e Ingeniería de la Computación, Universidad Nacional Autónoma de México, CDMX, Mexico; 2. Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, Universidad Nacional Autónoma de México, CDMX, Mexico; 3. Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, USA
709
days
A program instrumentation framework for automatic verification
AuthorsJesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer; Marten Voorberg
Affiliations1. EECS, KTH Royal Institute of Technology, Stockholm, Sweden; 2. IT Department, Uppsala University, Uppsala, Sweden; 3. FM, Fondazione Bruno Kessler, Trento, Italy; 4. FIDS, University of Regensburg, Regensburg, Germany
362
days
Symbolic computer algebra for multipliers revisited - demonstrating the significance of order and phase optimization
AuthorsAlexander Konrad; Christoph Scholl
Affiliations1. Department of Computer Science, University of Freiburg, Freiburg i.Br., Germany
242
days
Verifying hybrid automata networks guided by task scenarios
AuthorsLonglong Lu; Yufei Shi; Minxue Pan; Xuandong Li
Affiliations1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China; 2. Software Institute, Nanjing University, Nanjing, China; 3. School of Computer Science, Nanjing University, Nanjing, China
558
days
Search and explore: symbiotic policy synthesis in POMDPs
AuthorsRoman Andriushchenko; Alexander Bork; Milan Češka; Sebastian Junges; Joost-Pieter Katoen; Filip Macák
Affiliations1. Brno University of Technology, Brno, Czech Republic; 2. RWTH Aachen University, Aachen, Germany; 3. Radboud University, Nijmegen, The Netherlands
868
days
Modular analysis of distributed hybrid systems using post-regions
AuthorsEduard Kamburjan
Affiliations1. University of Oslo, Oslo, Norway; 2. IT University of Copenhagen, Copenhagen, Denmark
615
days
A scalable anytime algorithm for learning fragments of linear temporal logic
AuthorsRitam Raha; Rajarshi Roy; Nathanaël Fijalkow; Daniel Neider
Affiliations1. Max-Planck Institute for Software Systems, Kaiserslautern, Germany; 2. University of Oxford, Oxford, UK; 3. CNRS, LaBRI, Université de Bordeaux, Bordeaux, France; 4. TU Dortmund University, Dortmund, Germany; 5. Center for Trustworthy Data Science and Security, University Alliance Ruhr, Dortmund, Germany
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