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.
472
days
Model Checking Probabilistic Operator Precedence Automata
AuthorsFrancesco Pontiggia; Ezio Bartocci; Michele Chiari
Affiliations1. Institute of Computer Engineering (E191-01), TU Wien, Vienna, Austria; 2. Institute of Computer Engineering (E191-01), TU Wien, Vienna, Austria and Center for Digital Safety and Security, AIT Austrian Institute of Technology, Vienna, Austria
774
days
Foundations for an Abstract Proof Theory in the Context of Horn Rules
AuthorsTim S. Lyon; Piotr Ostropolski-Nalewaja
Affiliations1. Technische Universität Dresden, Dresden, Germany; 2. University of Wrocław, Wroclaw, Poland
373
days
A Two-Level Linear Dependent Type Theory
AuthorsQiancheng Fu; Hongwei Xi
Affiliations1. Boston University, Boston, Massachusetts, USA
471
days
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
AuthorsDominique Unruh; Benoît Valiron; Mingsheng Ying
Affiliations1. RWTH Aachen University, Aachen, Germany and University of Tartu, Tartu, Estonia; 2. Université Paris-Saclay, CentraleSupélec, Inria, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles, Gif-sur-Yvette, France; 3. Centre for Quantum Software and Information, University of Technology Sydney, Broadway, Australia
776
days
Convex and Reverse Convex Prequadratics Constraints for Decidable Logics of Relations with Cardinalities
AuthorsRodrigo Raya; Jad Hamza; Viktor Kunčak
Affiliations1. EPFL, Lausanne, Switzerland and Universidad Politécnica de Madrid, Madrid, Spain; 2. EPFL, Lausanne, Switzerland
1,114
days
Extensions of HyperLTL for Asynchronous Hyperproperties
AuthorsLaura Bozzelli; Adriano Peron; César Sánchez
Affiliations1. DINF, Pegaso Telematic University, Naples, Italy; 2. Università degli Studi di Trieste, Trieste, Italy; 3. IMDEA Software Institute, Pozuelo de Alarcon, Madrid, Spain
323
days
Equations over Finite Monoids with Infinite Promises
AuthorsAlberto Larrauri; Antoine Mottet; Stanislav Živný
Affiliations1. University of Zaragoza, Zaragoza, Spain; 2. Hamburg University of Technology, Hamburg, Germany; 3. University of Oxford, Oxford, UK
335
days
Formalising Asynchronous Session Subtyping
AuthorsBurak Ekici; Nobuko Yoshida
Affiliations1. Department of Computer Science, University of Oxford, Oxford, United Kingdom
676
days
Reactive Model-Based Testing of Cyclic Systems
AuthorsAna Cavalcanti; Robert M Hierons
Affiliations1. University of York, York, UK; 2. University of Sheffield, Sheffield, UK
674
days
Dimensionality and Randomness
AuthorsGeorge Barmpalias; Xiaoyan Zhang
Affiliations1. Key Laboratory of System Software, Institute of Software, Chinese Academy of Sciences, Beijing, China
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