Daniel Neider

1.5k total citations
39 papers, 299 citations indexed

About

Daniel Neider is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Daniel Neider has authored 39 papers receiving a total of 299 indexed citations (citations by other indexed papers that have themselves been cited), including 36 papers in Artificial Intelligence, 26 papers in Computational Theory and Mathematics and 13 papers in Software. Recurrent topics in Daniel Neider's work include Formal Methods in Verification (22 papers), Machine Learning and Algorithms (16 papers) and Logic, programming, and type systems (11 papers). Daniel Neider is often cited by papers focused on Formal Methods in Verification (22 papers), Machine Learning and Algorithms (16 papers) and Logic, programming, and type systems (11 papers). Daniel Neider collaborates with scholars based in Germany, United States and United Kingdom. Daniel Neider's co-authors include P. Madhusudan, Pranav Garg, Dan Roth, Paulo Tabuada, Martín Zimmermann, Ufuk Topcu, Bo Wu, Zhe Xu, Kristian Kersting and Rupak Majumdar and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and ACM SIGPLAN Notices.

In The Last Decade

Daniel Neider

37 papers receiving 288 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Daniel Neider Germany 9 221 151 117 53 22 39 299
Ingo Pill Austria 11 152 0.7× 114 0.8× 188 1.6× 71 1.3× 34 1.5× 47 294
Karl Palmskog Sweden 6 98 0.4× 81 0.5× 93 0.8× 51 1.0× 15 0.7× 22 226
Laurent Voisin France 3 163 0.7× 166 1.1× 127 1.1× 79 1.5× 10 0.5× 4 301
David Rydeheard United Kingdom 6 141 0.6× 90 0.6× 58 0.5× 50 0.9× 8 0.4× 21 213
Farhad Mehta Switzerland 3 197 0.9× 190 1.3× 133 1.1× 81 1.5× 9 0.4× 5 333
Wojciech Mostowski Netherlands 6 163 0.7× 77 0.5× 90 0.8× 59 1.1× 8 0.4× 21 222
Anton Belov Ireland 8 160 0.7× 126 0.8× 50 0.4× 16 0.3× 13 0.6× 19 236
A. A. Letichevsky Ukraine 8 88 0.4× 51 0.3× 49 0.4× 40 0.8× 44 2.0× 30 199
José Proença Belgium 10 147 0.7× 85 0.6× 92 0.8× 81 1.5× 8 0.4× 35 243
Sophie Pinchinat France 10 139 0.6× 215 1.4× 30 0.3× 23 0.4× 14 0.6× 39 292

Countries citing papers authored by Daniel Neider

Since Specialization
Citations

This map shows the geographic impact of Daniel Neider's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Daniel Neider with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Daniel Neider more than expected).

Fields of papers citing papers by Daniel Neider

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Daniel Neider. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Daniel Neider. The network helps show where Daniel Neider may publish in the future.

Co-authorship network of co-authors of Daniel Neider

This figure shows the co-authorship network connecting the top 25 collaborators of Daniel Neider. A scholar is included among the top collaborators of Daniel Neider based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Daniel Neider. Daniel Neider is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Neider, Daniel, et al.. (2024). Robust computation tree logic. Innovations in Systems and Software Engineering. 21(2). 595–617. 1 indexed citations
2.
Fijalkow, Nathanaël, et al.. (2024). Scarlet: Scalable Anytime Algorithms for LearningFragments of Linear Temporal Logic. The Journal of Open Source Software. 9(93). 5052–5052.
3.
Ye, Lina, et al.. (2024). Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Logical Methods in Computer Science. Volume 20, Issue 1.
4.
Roy, Rajarshi, et al.. (2023). Learning Interpretable Temporal Properties from Positive Examples Only. Proceedings of the AAAI Conference on Artificial Intelligence. 37(5). 6507–6515. 3 indexed citations
5.
Jirasek, Fabian, Maja Rudolph, Daniel Neider, et al.. (2023). Deep Anomaly Detection on Tennessee Eastman Process Data. Chemie Ingenieur Technik. 95(7). 1077–1082. 7 indexed citations
6.
Neider, Daniel, et al.. (2022). Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Transactions on Computational Logic. 23(2). 1–39. 10 indexed citations
7.
Neider, Daniel, et al.. (2022). MaxSAT-based temporal logic inference from noisy data. Innovations in Systems and Software Engineering. 18(3). 427–442. 2 indexed citations
8.
Xie, Xuan, Kristian Kersting, & Daniel Neider. (2022). Neuro-Symbolic Verification of Deep Neural Networks. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. 3622–3628. 3 indexed citations
9.
Neider, Daniel, et al.. (2022). Reinforcement Learning with Stochastic Reward Machines. Proceedings of the AAAI Conference on Artificial Intelligence. 36(6). 6429–6436. 7 indexed citations
10.
Neider, Daniel, et al.. (2021). Uncertainty-Aware Signal Temporal logic.. arXiv (Cornell University). 1 indexed citations
11.
Neider, Daniel, et al.. (2021). From LTL to rLTL monitoring: improved monitorability through robust semantics. Formal Methods in System Design. 59(1-3). 170–204. 1 indexed citations
12.
Neider, Daniel, et al.. (2021). Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Information and Computation. 285. 104810–104810. 2 indexed citations
13.
Mallik, Kaushik, et al.. (2020). Resilient abstraction-based controller design. 1–2. 1 indexed citations
14.
Neider, Daniel, et al.. (2020). A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. Journal of Automated Reasoning. 64(7). 1523–1552. 2 indexed citations
15.
Neider, Daniel, et al.. (2019). Benchmarks for Automata Learning and Conformance Testing. Lecture notes in computer science. 390–416. 1 indexed citations
16.
Neider, Daniel, et al.. (2018). Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. ACM Transactions on Computational Logic. 19(2). 1–23. 2 indexed citations
17.
Neider, Daniel, et al.. (2016). Synthesis of safety controllers robust to unmodeled intermittent disturbances. 7425–7430. 10 indexed citations
18.
Garg, Pranav, Daniel Neider, P. Madhusudan, & Dan Roth. (2016). Learning invariants using decision trees and implication counterexamples. 499–512. 70 indexed citations
19.
Neider, Daniel, et al.. (2014). Down the Borel hierarchy: Solving Muller games via safety games. Theoretical Computer Science. 560. 219–234. 4 indexed citations
20.
Neider, Daniel, Wolfgang Thomas, Christof Löding, & Martin Leucker. (2014). Applications of automata learning in verification and synthesis. RWTH Publications (RWTH Aachen). 9 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Ingo Pill Breakdown of academic impact, for papers by Karl Palmskog Breakdown of academic impact, for papers by Laurent Voisin Breakdown of academic impact, for papers by David Rydeheard Breakdown of academic impact, for papers by Farhad Mehta Breakdown of academic impact, for papers by Wojciech Mostowski Breakdown of academic impact, for papers by Anton Belov Breakdown of academic impact, for papers by A. A. Letichevsky Breakdown of academic impact, for papers by José Proença Breakdown of academic impact, for papers by Sophie Pinchinat
Rankless by CCL
2026