| In Vivo Control of CpG and Non-CpG DNA Methylation by DNA Methyltransferases J Arand, D Spieler, T Karius, MR Branco, D Meilinger, A Meissner, ... PLoS genetics 8 (6), e1002750, 2012 | 455 | 2012 |
| Deep learning for brake squeal: Brake noise detection, characterization and prediction M Stender, M Tiedemann, D Spieler, D Schoepflin, N Hoffmann, S Oberst Mechanical Systems and Signal Processing 149, 107181, 2021 | 71 | 2021 |
| Bounding the equilibrium distribution of Markov population models T Dayar, H Hermanns, D Spieler, V Wolf Numerical linear algebra with applications 18 (6), 931-946, 2011 | 46 | 2011 |
| Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics T Dayar, W Sandmann, D Spieler, V Wolf Advances in Applied Probability 43 (4), 1005-1026, 2011 | 45 | 2011 |
| Parameter identification for Markov models of biochemical reactions A Andreychenko, L Mikeev, D Spieler, V Wolf Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 40 | 2011 |
| Approximate maximum likelihood estimation for stochastic chemical kinetics A Andreychenko, L Mikeev, D Spieler, V Wolf EURASIP Journal on Bioinformatics and Systems Biology 2012, 1-14, 2012 | 29 | 2012 |
| On-the-fly verification and optimization of DTA-properties for large Markov chains L Mikeev, MR Neuhäußer, D Spieler, V Wolf Formal Methods in System Design 43, 313-337, 2013 | 24 | 2013 |
| Fault, compensation and termination in WS-BPEL 2.0—A comparative analysis C Eisentraut, D Spieler International Workshop on Web Services and Formal Methods, 107-126, 2008 | 21 | 2008 |
| Characterizing oscillatory and noisy periodic behavior in markov population models D Spieler Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013 | 11 | 2013 |
| Model checking of oscillatory and noisy periodic behavior in Markovian population models D Spieler Master's thesis, Saarland University, 2009 | 11 | 2009 |
| Numerical analysis of long-run properties for Markov population models D Spieler Saarland University, 2014 | 10 | 2014 |
| Model checking CSL for Markov population models D Spieler, EM Hahn, L Zhang arXiv preprint arXiv:1111.4385, 2011 | 8 | 2011 |
| Deep learning for brake squeal: vibration detection, characterization and prediction M Stender, M Tiedemann, D Spieler, D Schoepflin, N Hofffmann, S Oberst arXiv preprint arXiv:2001.01596, 2020 | 7 | 2020 |
| Efficient steady state analysis of multimodal markov chains D Spieler, V Wolf International Conference on Analytical and Stochastic Modeling Techniques …, 2013 | 5 | 2013 |
| Analyzing oscillatory behavior with formal methods A Andreychenko, T Krüger, D Spieler International Autumn School on Rigorous Dependability Analysis Using Model …, 2012 | 4 | 2012 |
| Bounding the equilibrium distribution of markov population models T Dayar, H Hermanns, D Spieler, V Wolf arXiv preprint arXiv:1007.3130, 2010 | 4 | 2010 |
| Web services and formal methods. chapter Fault, Compensation and Termination in WS-BPEL 2.0–A Comparative Analysis C Eisentraut, D Spieler Springer-Verlag, Berlin, Heidelberg, 2009 | 4 | 2009 |
| Perspective-Corrected Extraction of Trajectories from Urban Traffic Camera Using CNN J Strosahl, J Sichermann, M Jesch, D Spieler 2022 International Conference on Connected Vehicle and Expo (ICCVE), 1-7, 2022 | | 2022 |
| Steuerverfahren und Sprachdialogsystem T Scheideck, R Retter, D Spieler DE Patent DE102017222549A1, 2019 | | 2019 |
| Method for controlling voice-controlled operating interfaces in motor vehicles and device for performing the method D Spieler WO Patent WO2,017,194,241, 2017 | | 2017 |
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics Campus在 cs.uni-saarland.de 的电子邮件经过验证
