PPaperPicks

Daniel Neider

11 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3ECML-PKDD ×2FM ×2ECAI ×1ICDT ×1ICST ×1NeurIPS ×1

Frequent coauthors

Benjamin Bordais
×2
Lukas Westhofen
×2
Dennis Wagner
×2
Fabian Hartung
×2
Justus Arweiler
×2
Aparna Muraleedharan
×2
Indra Jungjohann
×2
Steffen Reithermann
×2
Michael Bortz
×2
Heike Leitte
×2
Stephan Mandt
×2
Sophie Fellenz
×2

Papers

  1. Learning DFAs from Positive Examples Only via Word Counting
    AAAI 2026 ·
    Benjamin Bordais
    , Daniel Neider
  2. Test Coverage of Automated Robotic Systems in Open World Environments
    FM 2026 ·
    Lukas Westhofen
    ,
    Till Schallau
    ,
    Dominik Schmid
    ,
    Stefan Naujokat
    ,
    Falk Howar
    , Daniel Neider
  3. VeriFlow: Modeling Distributions for Neural Network Verification
    AAAI 2026 ·
    Faried Abu Zaid
    , Daniel Neider,
    Mustafa Yalçiner
  4. When Less Is More: Monolingual Fine-Tuning of Language Models for Industrial C# Code Review
    ICST 2026 ·
    Igli Begolli
    ,
    Meltem Aksoy
    , Daniel Neider
  5. Decentralizing Multi-agent Reinforcement Learning with Temporal Causal Information
    ECML-PKDD 2025 ·
    Jan Corazza
    ,
    Hadi Partovi Aria
    ,
    Hyohun Kim
    , Daniel Neider,
    Zhe Xu
  6. Learning Tree Pattern Transformations
    ICDT 2025 · Daniel Neider,
    Leif Sabellek
    ,
    Johannes Schmidt
    ,
    Fabian Vehlken
    ,
    Thomas Zeume
  7. NoBOOM: Chemical Process Datasets for Industrial Anomaly Detection
    NeurIPS 2025 ·
    Dennis Wagner
    ,
    Fabian Hartung
    ,
    Justus Arweiler
    ,
    Aparna Muraleedharan
    ,
    Indra Jungjohann
    ,
    Arjun Nair
    ,
    Steffen Reithermann
    ,
    Ralf Schulz
    ,
    Michael Bortz
    , Daniel Neider,
    Heike Leitte
    ,
    Joachim Pfeffinger
    ,
    Stephan Mandt
    ,
    Sophie Fellenz
    ,
    Torsten Katz
    ,
    Fabian Jirasek
    ,
    Jakob Burger
    ,
    Hans Hasse
    ,
    Marius Kloft
  8. Temporal Conjunctive Query Answering via Rewriting
    AAAI 2025 ·
    Lukas Westhofen
    ,
    Jean Christoph Jung
    , Daniel Neider
  9. A Benchmark Suite for Verifying Neural Anomaly Detectors in Distillation Processes
    ECML-PKDD 2024 ·
    Simon Lutz
    ,
    Justus Arweiler
    ,
    Aparna Muraleedharan
    ,
    Niklas Kahlhoff
    ,
    Fabian Hartung
    ,
    Indra Jungjohann
    ,
    Mayank Nagda
    ,
    Daniel Reinhardt
    ,
    Dennis Wagner
    ,
    Jennifer Werner
    ,
    Justus C. Will
    ,
    Jakob Burger
    ,
    Michael Bortz
    ,
    Hans Hasse
    ,
    Sophie Fellenz
    ,
    Fabian Jirasek
    ,
    Marius Kloft
    ,
    Heike Leitte
    ,
    Stephan Mandt
    ,
    Steffen Reithermann
    ,
    Jochen Schmid
    , Daniel Neider
  10. Defending Our Privacy with Backdoors
    ECAI 2024 ·
    Dominik Hintersdorf
    ,
    Lukas Struppek
    , Daniel Neider,
    Kristian Kersting
  11. Learning Branching-Time Properties in CTL and ATL via Constraint Solving
    FM 2024 ·
    Benjamin Bordais
    , Daniel Neider,
    Rajarshi Roy