output
20012026
most citedNopol: Automatic Repair of Conditional Statement Bugs in Java Programs

432 citations

researchers with a paper here
collaborating institutions

158 papers

cs.MA2026★ 36 cited

Agent-Based Modeling of Systems of Systems

Jean-Baptiste Soyez, Gildas Morvan, Rochdi Merzouki +1

This paper deals with the generic modeling of systems of systems (SoSs) using agent-based modeling. SoSs are large-scale systems, including numerous-possibly heterogeneous-interact…

cs.AI2026

ASPaeroFlow: Decomposition Heuristics for Joint Air Traffic Flow & Capacity Management

Alexander Beiser, Markus Hecher, Nysret Musliu +2

While mathematical models act as vital decision support systems for operational Air Traffic Flow and Capacity Management (ATFCM), existing approaches isolate Air Traffic Flow Manag…

cs.CL2026

Detecting Experiential Intertextuality Across Migration Routes: Beyond Surface Similarity in French Narratives

Sakayo Toadoum Sari, Nelly Robin, Michelle Auzanneau +5

Migrants traversing geographically distinct routes such as the Trans-Saharan and Balkan corridors often recount strikingly parallel lived experiences: police violence, smuggler exp…

cs.AI2026

Enhancing Query Efficiency for d-DNNF Representations Through Preprocessing

Jean Marie Lagniez, Emmanuel Lonca

In this paper, we investigate preprocessing techniques aimed at improving the efficiency of accessing models of propositional formulas represented in conjunctive normal form (CNF).…

cs.IT2026★ 11 cited

Evaluation of iterated Ore polynomials and skew Reed-Muller codes

Andre Leroy, Nabil Bennenni

In this paper, we study two ways of evaluating iterated Ore polynomials. We provide many examples and compare these evaluations. We use the evaluation maps to construct Reed-Muller…

math.RA2026★ 2 cited

Structure and arithmetic of multivariate Ore extensions

André Leroy, Huda Merdach

We give the basic structure of the multivariable Ore extensions introduced in the work of Martínez-Peñas and Kschischang. The Pseudo multiline…