Paper Review Records
All Paper Review Records
12 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
776
days
Convex and Reverse Convex Prequadratics Constraints for Decidable Logics of Relations with Cardinalities
Authors
Rodrigo Raya; Jad Hamza; Viktor KunčakShow moreShow less
Affiliations
1. EPFL, Lausanne, Switzerland and Universidad Politécnica de Madrid, Madrid, Spain; 2. EPFL, Lausanne, SwitzerlandShow moreShow less
1,114
days
Extensions of HyperLTL for Asynchronous Hyperproperties
Authors
Laura Bozzelli; Adriano Peron; César SánchezShow moreShow less
Affiliations
1. DINF, Pegaso Telematic University, Naples, Italy; 2. Università degli Studi di Trieste, Trieste, Italy; 3. IMDEA Software Institute, Pozuelo de Alarcon, Madrid, SpainShow moreShow less
323
days
Equations over Finite Monoids with Infinite Promises
Authors
Alberto Larrauri; Antoine Mottet; Stanislav ŽivnýShow moreShow less
Affiliations
1. University of Zaragoza, Zaragoza, Spain; 2. Hamburg University of Technology, Hamburg, Germany; 3. University of Oxford, Oxford, UKShow moreShow less
335
days
Formalising Asynchronous Session Subtyping
Authors
Burak Ekici; Nobuko YoshidaShow moreShow less
Affiliations
1. Department of Computer Science, University of Oxford, Oxford, United KingdomShow moreShow less
676
days
Reactive Model-Based Testing of Cyclic Systems
Authors
Ana Cavalcanti; Robert M HieronsShow moreShow less
Affiliations
1. University of York, York, UK; 2. University of Sheffield, Sheffield, UKShow moreShow less
674
days
Dimensionality and Randomness
Authors
George Barmpalias; Xiaoyan ZhangShow moreShow less
Affiliations
1. Key Laboratory of System Software, Institute of Software, Chinese Academy of Sciences, Beijing, ChinaShow 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.
