3 papers
cs.SE2026
Detecting Semantic Alignments between Textual Specifications and Domain Models
Shwetali Shimangaud, Lola Burgueño, Rijul Saini +1
Context: Having domain models derived from textual specifications has proven to be very useful in the early phases of software engineering. However, creating correct domain models…
math.AG2021
Finite groups scheme actions and incompressibility of Galois covers: beyond the ordinary case
Najmuddin Fakhruddin, Rijul Saini
Inspired by recent work of Farb, Kisin and Wolfson, we develop a method for using actions of finite group schemes over a mixed characteristic dvr R to get lower bounds for the esse…
math.AG2020
Rational curves on K3 surfaces of small genus
Rijul Saini
Let denote the moduli space of primitively polarized surfaces of genus over . It is well-known that is irreducible and t…