Concepedia

Daniel Neider

DN

19

Publications

712

Citations

13

H-Index

2013

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

The University of Texas at Austin

Arizona State University

University of California, Los Angeles

University of Illinois Urbana-Champaign

Daniel Neider is an author at Max Planck Institute for Software Systems specializing in engineering, computer science, and machine learning.

Top concepts

EngineeringComputer ScienceMachine LearningAutomated ReasoningArtificial IntelligenceData ScienceFormal MethodsRobot LearningKnowledge DiscoveryPattern Recognition

Publications per year

2013–2023

19

Publications

19

Learning invariants using decision trees and implication counterexamples

Pranav Garg, Daniel Neider, P. Madhusudan et al. · 2016 · 161 citations · Full text

Engineering, Machine Learning, Invariant Synthesis +17

Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash

Lukas Struppek, Dominik Hintersdorf, Daniel Neider et al. · 2022 ACM Conference on Fairness, Accountability, and Transparency · 2022 · 130 citations · Full text

Learning Linear Temporal Properties

Daniel Neider, Ivan Gavran · 2018 · 103 citations

Artificial Intelligence, Engineering, Machine Learning +21

Joint Inference of Reward Machines and Policies for Reinforcement Learning

Zhe Xu, Ivan Gavran, Ahmad Yousef et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2020 · 55 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +11

Learning invariants using decision trees and implication counterexamples

Pranav Garg, Daniel Neider, P. Madhusudan et al. · ACM SIGPLAN Notices · 2016 · 52 citations · Full text

Engineering, Machine Learning, Invariant Synthesis +17

Rows per page

1–5 of 19