10.9k citations
- Centre National de la Recherche ScientifiqueFR1.2k papers
- European Organization for Nuclear ResearchCH1.2k papers
- University of CambridgeGB1.2k papers
- National and Kapodistrian University of AthensGR1.2k papers
- Universitat de ValènciaES1.2k papers
- National Technical University of AthensGR1.1k papers
- University of BirminghamGB1.1k papers
- University of BolognaIT1.1k papers
- University College LondonGB1.1k papers
- University of British ColumbiaCA1.1k papers
- University of GlasgowGB1.1k papers
- University of MichiganUS1.1k papers
3,117 papers
Hybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola
Nikolaos Kekatos, Marinelio Chintri, Panagiotis Katsaros +5
Security monitoring of edge-IoT fleets faces three structural challenges. (i) A per-node monitor is cheap but cannot see attacks that coordinate across devices. (ii) A cloud monito…
Formal Runtime Verification for Tool-Using LLM Agents: An Offline Same-Benchmark Study on AgentDojo and STAC
Nikolaos Kekatos, Stylianos Basagiannis, Marinelio Chintri +5
Guardrails for tool-using LLM agents are usually application-specific rules, which makes multi-step, data-dependent safety policies hard to specify, audit and reuse. As a declarati…
Chiral Vortical Transport under Minimal-Length Deformations in Rotating Relativistic Matter
Sameer Ahmad Mir, Behnam Pourhassan, Nawal H. Siddig +2
We study how a minimal length can affect the chiral vortical effect, in which rotation produces a current in matter made of chiral fermions. We focus on an isotropic modification o…
Overview of BioASQ 2026: The fourteenth BioASQ Challenge on Large-Scale Biomedical Semantic Indexing and Question Answering
Anastasios Nentidis, Georgios Katsimpras, Anastasia Krithara +18
This paper presents an overview of the fourteenth edition of the BioASQ challenge, organized in the context of the Conference and Labs of the Evaluation Forum (CLEF) 2026. BioASQ i…
Adiabatic perturbation theory for the spinor nonlinear Schrödinger equation with nonvanishing boundary conditions
Vassilios M Rothos
We develop a systematic adiabatic perturbation theory for the integrable spinor nonlinear Schrödinger equation under nonvanishing boundary conditions, formulated entirely wit…
Learned proposals in trans-dimensional inference are optimal at equilibrium, not during assembly
Argyro Sasli, Nikolaos Karnesis, Minas Karamanis +5
Inferring the dimension of a model - the number of components needed to explain data - jointly with the parameters is a pervasive problem, from counting sources in an image to mixt…