Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
D
Daniel Neider
dortmund university of technology
19
H-index
154
Paper Count
1.5K
Citation Count
0
Related Insights
Subscribe
Published Papers
5
Publication Date
Publication Date
Impact Factor
Citations
A scalable anytime algorithm for learning fragments of linear temporal logic
Formal Methods in System Design
IF
0.8
2026-01-08
0
PRE
AI
Raha, Ritam; Roy, Rajarshi; Fijalkow, Nathanael; Neider, Daniel
Share
Save
Unsupervised Automata Learning via Discrete Optimization
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF
0
2026-01-01
0
PRE
AI
Lutz, Simon; Kaminskyi, Daniil; Wittbold, Florian; Dierl, Simon; Howar, Falk; Koenig, Barbara; Mueller, Emmanuel; Neider, Daniel
Share
Save
A Framework for Computing Upper Bounds in Passive Learning Settings
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF
0
2026-01-01
0
PRE
AI
Bordais, Benjamin; Neider, Daniel
Share
Save
A Cautionary Tale About Neutrally Informative AI Tools Ahead of the 2025 Federal Elections in Germany
EXPLAINABLE ARTIFICIAL INTELLIGENCE, XAI 2025, PT V
IF
0
2026-01-01
0
OA
AI
Dormuth, Ina; Franke, Sven; Hafer, Marlies; Katzke, Tim; Marx, Alexander; Mueller, Emmanuel; Neider, Daniel; Pauly, Markus; Rutinowski, Jerome
Share
Save
Decentralizing Multi-agent Reinforcement Learning with Temporal Causal Information
MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES. RESEARCH TRACK, ECML PKDD 2025, PT VI
IF
0
2026-01-01
0
PRE
AI
Corazza, Jan; Aria, Hadi Partovi; Kim, Hyohun; Neider, Daniel; Xu, Zhe
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
E
Emmanuel Müller
H-index: 31 · Papers: 171
M
Markus Pauly
H-index: 31 · Papers: 218
许
许哲
(Zhe Xu)
H-index: 24 · Papers: 95
B
Barbara König
H-index: 23 · Papers: 229
F
Falk Howar
H-index: 23 · Papers: 158
View more