output
19942026
most citedMott transition and transport crossovers in the organic compound

258 citations

researchers with a paper here
collaborating institutions

435 papers

math.AG2026

On curves with one place at infinity

Abdallah Assi, Wael Mahboub

Let K be an algebraically closed field of characteristic zero. Many of the geometric properties of the plane curves in K^2 with one place at infinity can be obtained from the arith…

cs.LO2026

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming

Pedro Cabalar, Martín Diéguez, David Fernández-Duque +3

The relationship between intuitionistic or intermediate logics and logic programming has been extensively studied, prominently featuring Pearce's equilibrium logic and Osorio's saf…

cs.LO2026

Extracting Policies from Quantified Answer Set Programs

Martín Diéguez, Igor Stéphan

Quantified Answer Set Programming (QASP) extends Answer Set Programming (ASP) by allowing quantification over propositional variables, similar to Quantified Boolean Formulas (QBF).…

math.OC2025

The Bi-objective Electric Autonomous Dial-a-Ride Problem

Yue Su, Sophie N. Parragh, Nicolas Dupin +1

The electric autonomous dial-a-ride problem (E-ADARP) introduces electric, autonomously driving vehicles and their unique requirements into the classic dial-a-ride problem, where p…

math.PR2025

Ratio limit theorem for renewal processes

Mikael Escobar-Bach, Alexandre Popier, Malo Sahin

We consider a renewal process which models a cumulative shock model that fails when the accumulation of shocks up-crosses a certain threshold. The ratio limit properties of the pro…

math.AG2025

Categorification of the localized intersection product and Bloch conductor formula

Dario Beraldo, Massimo Pippi

We categorify the localized intersection product on arithmetic schemes defined by Kato--Saito in \cite{katosaito04}. As an application, we prove a generalization of Bloch conductor…