Daniel Neider

Cited by

	All	Since 2018
Citations	1397	1125
h-index	18	16
i10-index	32	30

380

190

285

201020112012201320142015201620172018201920202021202220234 9 12 18 25 41 82 74 100 139 209 192 369 109

Public access

View all

27 articles

1 article

available

not available

Based on funding mandates

Co-authors

Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Pranav GargAmazonVerified email at amazon.com
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Martin ZimmermannAalborg UniversityVerified email at cs.aau.dk
Zhe XuAssistant Professor, Arizona State UniversityVerified email at asu.edu
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayVerified email at lsv.ens-cachan.fr
Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAVerified email at ee.ucla.edu
Alexander WeinertResearch Group Lead Distributed Systems, German Aerospace CenterVerified email at dlr.de
Dan RothProfessor of Computer Science, University of PennsylvaniaVerified email at seas.upenn.edu
Tzanis AnevlavisUCLAVerified email at ucla.edu
Alain FinkelLSV ENS Paris SaclayVerified email at lsv.fr
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Roman RabinovichTechnische Universität BerlinVerified email at tu-berlin.de
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceVerified email at iisc.ac.in
Emmanuel MüllerProfessor of Computer Science, Technical University of DortmundVerified email at cs.tu-dortmund.de
Maximilian SchwengerCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Nils JansenAssociate Professor, Radboud University NijmegenVerified email at science.ru.nl

Daniel Neider

TU Dortmund University and Center for Trustworthy Data Science and Security

Verified email at tu-dortmund.de

Logic Machine Learning Verification Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
ICE: A robust framework for learning invariants P Garg, C Löding, P Madhusudan, D Neider Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	225	2014
Learning invariants using decision trees and implication counterexamples P Garg, D Neider, P Madhusudan, D Roth ACM Sigplan Notices 51 (1), 499-512, 2016	201	2016
libalf: The automata learning framework B Bollig, JP Katoen, C Kern, M Leucker, D Neider, DR Piegdon Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010	110	2010
Learning linear temporal properties D Neider, I Gavran 2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018	85	2018
Joint inference of reward machines and policies for reinforcement learning Z Xu, I Gavran, Y Ahmad, R Majumdar, D Neider, U Topcu, B Wu Proceedings of the International Conference on Automated Planning and …, 2020	63	2020
Horn-ICE learning for synthesizing invariants and contracts P Ezudheen, D Neider, D D'Souza, P Garg, P Madhusudan Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018	54	2018
Robust linear temporal logic P Tabuada, D Neider arXiv preprint arXiv:1510.08970, 2015	50	2015
Learning universally quantified invariants of linear data structures P Garg, C Löding, P Madhusudan, D Neider Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	41	2013
Abstract learning frameworks for synthesis C Löding, P Madhusudan, D Neider Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016	35	2016
An automaton learning approach to solving safety games over infinite graphs D Neider, U Topcu Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016	32	2016
Benchmarks for automata learning and conformance testing D Neider, R Smetsers, F Vaandrager, H Kuppens Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated …, 2019	31	2019
Regular model checking using solver technologies and automata learning D Neider, N Jansen NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013	28	2013
Advice-guided reinforcement learning in a non-Markovian environment D Neider, JR Gaglione, I Gavran, U Topcu, B Wu, Z Xu Proceedings of the AAAI Conference on Artificial Intelligence 35 (10), 9073-9080, 2021	23	2021
Synthesizing optimally resilient controllers D Neider, A Weinert, M Zimmermann Acta Informatica 57 (1-2), 195-221, 2020	21	2020
Computing minimal separating DFAs and regular invariants using SAT and SMT solvers D Neider Automated Technology for Verification and Analysis: 10th International …, 2012	21	2012
Learning to break deep perceptual hashing: The use case neuralhash L Struppek, D Hintersdorf, D Neider, K Kersting 2022 ACM Conference on Fairness, Accountability, and Transparency, 58-69, 2022	20	2022
Synthesis of safety controllers robust to unmodeled intermittent disturbances E Dallal, D Neider, P Tabuada 2016 IEEE 55th Conference on Decision and Control (CDC), 7425-7430, 2016	20	2016
Down the Borel hierarchy: Solving Muller games via safety games D Neider, R Rabinovich, M Zimmermann Theoretical Computer Science 560, 219-234, 2014	18*	2014
Active finite reward automaton inference and reinforcement learning using queries and counterexamples Z Xu, B Wu, A Ojha, D Neider, U Topcu Machine Learning and Knowledge Extraction: 5th IFIP TC 5, TC 12, WG 8.4, WG …, 2021	17	2021
Learning minimal deterministic automata from inexperienced teachers M Leucker, D Neider Leveraging Applications of Formal Methods, Verification and Validation …, 2012	17	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors