# Publikationen IIF der letzten zwei Jahre

Jahre: 2019 | 2018

## 2019

nach oben zur Jahresübersicht- Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
**A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving**

2019*33th AAAI Conference on Artificial Intelligence (AAAI-19)* - Margret Keuper,, S. Tang,, B. Andres,, Thomas Brox,, B. Schiele
**Motion segmentation and multiple object tracking by correlation co-clustering**

2019*IEEE T Pattern Anal* - Peter Ochs,, J. Fadili,, Thomas Brox
**Non-smooth non-convex Bregman minimization: unification and new algorithms**

2019*J Optimiz Theory App* - Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Kapstova, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
**On Secure Data Flow in Reconfigurable Scan Networks**

2019*To appear in Conf. on Design, Automation and Test in Europe* - Thorsten Falk,, Dominic Mai,, Robert Bensch,, Özgün Çiçek,, Ahmed Abdulkadir,, Yassine Marrakchi,, Anton Böhm,, J. Deubner,, Z. Jäckel,, K. Seiwald,, A. Dovzhenko,, O. Tietz,, C. Dal Bosco,, S. Walsh,, D. Saltukoglu,, T. Tay,, M. Prinz,, K. Palme,, M. Simons,, I. Diester,, Thomas Brox,, Olaf Ronneberger
**U-Net – Deep Learning for Cell Counting, Detection, and Morphometry**

2019*Nat Methods*

## 2018

nach oben zur Jahresübersicht- Bast H, Brosi P, Storandt S
**Efficient Generation of Geographically Accurate Transit Maps**

2018 SIGSPATIAL - Bast H, Brosi P
**Sparse Map-Matching in Public Transit Networks with Turn Restrictions**

2018 SIGSPATIAL - Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
**ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics**

2018 - Bast H, Schnelle N
**Efficient and Convenient SPARQL+Text Search: A Quick Survey**

2018 Reasoning Web International Summer School 2018 Springer, Cham, Seiten: 26 - 34 - Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
**Detecting and Resolving Security Violations in Reconfigurable Scan Networks**

2018*IEEE International Symposium on On-Line Testing and Robust System Design* - Ahmed Atteya, Michael Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
**Online Prevention of Security Violations in Reconfigurable Scan Networks**

2018*IEEE European Test Symposium* - Johanna Sepulveda, Damian Aboul-Hassan, Georg Sigl, Bernd Becker, Matthias Sauer
**Towards the Formal Verification of Security Properties of a Network-on-Chip Router**

2018*IEEE European Test Symposium* - Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
**Efficient Generation of Parametric Test Conditions for AMS Chips with an Interval Constraint Solver**

2018*IEEE VLSI Test Symposium (VTS'18)* - Linus Feiten, Karsten Scheibler, Bernd Becker, Matthias Sauer
**Using different LUT paths to increase area efficiency of RO-PUFs on Altera FPGAs**

2018 TRUDEVICE Workshop, Dresden - Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
**High-Coverage AMS Test Space Optimization by Efficient Parametric Test Condition Generation**

2018 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” - Uwe Wagschal, Thomas Metz, Thomas Waldvogel, Bernd Becker, Linus Feiten, Samuel Weishaupt
**Online real-time-response measurement in real life settings: the Debat-O-Meter**

2018 Cologne*20th General Online Research Conference (GOR)* - Pawel Gawrychowski, Fabian Kuhn, Jakub Lopuszanski, Konstantinos Panagiotou, Pascal Su
**Labeling Schemes for Nearest Common Ancestors through Minor-Universal Trees**

2018 29th ACM-SIAM Symposium on Discrete Algorithms (SODA) , Seiten: 2604 - 2619 - Bast H, Azar Y, Herman G
**26st European Symposium on Algorithms - LIPIcs**

, Band: 112, 2018 - Christian Zimmermann,, T. Welschehold,, C. Dornhege,, W. Burgard,, Thomas Brox
**3D Human Pose Estimation in RGBD Images for Robotic Task Learning**

2018 - Bast H, Buchhold B, Haussmann E
**A Quality Evaluation of Combined Search on a Knowledge Base and Text**

2018*Springer*, Seiten: 19 - 26 - Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Kaoten, Becker B
**Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext**

2018*GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”* - Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker
**Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas***In: Advanced Logic Synthesis*

2018,*Springer International Publishing*, André Inácio Reis, Rolf Drechsler, Seiten: 151 - 168, André Inácio Reis, Rolf Drechsler, ISBN: 978-3-319-67294-6 - Ralf Wimmer, Karina wimmer, Christoph Scholl, Bernd Becker
**Analysis of Incomplete Circuits using Dependency Quantified Boolean Formulas***In: Advanced Logic Synthesis*

2018,*Springer*, André Ignacio Reis and Rolf Drechsler, Seiten: 151 - 168, André Ignacio Reis and Rolf Drechsler, ISBN: 978-3-319-67294-6 - Manuel Ruder, Alexey, Dosovitskiy, Thomas Brox
**Artistic style transfer for videos and spherical images**

2018*Int J Comput Vision* - J. Peter,, L. Schumacher,, V.Landerer,, Ahmed Abdulkadir,, C.Kaller,, J. Lahr,, S. Kloeppel
**Biological Factors Contributing to the Response to Cognitive Training in Mild Cognitive Impairment**

2018*J Alzheimers Dis*, Band: 61, Nummer: 1, Seiten: 333 - 345 - Jonas Uhrig,, E. Rehder,, B. Fröhlich,, U. Franke,, Thomas Brox
**Box2Pix: Single-Shot Instance Segmentation by Assigning Pixels to Object Boxes**

2018 - J. De Fauw,, J. Ledsam,, B. Romera-Paredes,, S. Nikolov,, N. Tomasev,, S. Blackwell,, H. Askham,, X. Glorot,, B. O’Donoghue,, D. Visentin,, G. van den Driessche,, B. Lakshminarayanan,, C. Meyer,, F. Mackinder,, S. Bouton,, K. Ayoub,, R. Chopra,, D. King,, A. Karthikesalingam,, C. Hughes,, R. Raine,, J. Hughes,, D. Sim,, C. Egan,, A. Tufail,, H. Montgomery,, D. Hassabis,, G. Rees,, T. Back,, P. Khaw,, M. Suleyman,, J. Cornebise,, P. Keane,, Olaf Ronneberger
**Clinically applicable deep learning for diagnosis and referral in retinal disease**

2018*Nat Med*, Band: 24, Nummer: 9, Seiten: 1342 - 1350 - Daniel Kuhner, Johannes Aldinger, Felix Burget, Moritz Göbelbecker, Wolfram Burgard, Bernhard Nebel
**Closed-Loop Robot Task Planning Based on Referring Expressions**

2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, Madrid 2018*Proc. of IEEE/RSJ International Conference on Intelligent Robots and Systems* - Tobias Seufert, Christoph Scholl
**Combining PDR and Reverse PDR for Hardware Model Checking**

2018*Conference on Design, Automation and Test in Europe (DATE)* - Jan Wülfing, Sreedhar Saseendran Kumar, Joschka Boedecker, Martin Riedmiller, Ulrich Egert
**Controlling Biological Neural Networks with Deep Reinforcement Learning**

2018 European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning - L. Minkova,, S. Gregory,, R. Scahill,, Ahmed Abdulkadir,, C. Kaller,, J. Peter,, J. Long,, J. Stout,, R. Reilmann,, R. Roos, A. Durr, B. Leavit, S. Tabrizi, S. Kloeppel
**Cross-sectional and longitudinal voxel-based grey matter asymmetries in Huntingtons disease**

2018*Neuroimage*, Band: 17, Seiten: 312 - 324 - Gabriel Leivas Oliveira,, W. Burgard,, Thomas Brox
**DPDB-Net: Exploiting Dense Connections for Convolutional Encoders**

2018 IEEE - A. Middleton,, C. Dal Bosco,, P. Chlap,, Robert Bensch,, H. Harz,, F. Ren,, S. Bergmann,, S. Wend,, W. Weber,, K. Hayashi,, M. Zurbriggen,, R. Uhl,, Olaf Ronneberger,, K. Palme,, C. Fleck,, A. Dovzhenko
**Data-Driven Modeling of Intracellular Auxin Fluxes Indicates a Dominant Role of the ER in Controlling Nuclear Auxin Uptake**

2018*Cell Rep*, Band: 22, Nummer: 11, Seiten: 3044 - 3057 - Christoph Scholl, Ralf Wimmer
**Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications**

2018*13th International Conference on Theory and Applications of Satisfiability Testing (SAT)*, Springer-Verlag, Nummer: 10929, Seiten: 3 - 16 - Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
**Design of Reconfigurable Scan Networks for Secure Data Transmission**

2018 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” - Mohsen Ghaffari, Fabian Kuhn, Yannic Maus, Jara Uitto
**Deterministic Distributed Edge-Coloring with Fewer Colors**

2018 ACM Symposium on Theory of Computing (STOC) 2018. - Fabian Kuhn, Yannic Maus, Simon Weidner
**Deterministic Distributed Ruling Sets of Line Graphs**

2018 Int. Coll. on Structural Information and Communication Complexity (SIROCCO) - Mohamad Ahmadi, Fabian Kuhn, Rotem Oshman
**Distributed Approximate Maximum Matching in the CONGEST Model**

2018 32th Int. Symp. on Distributed Computing (DISC), New Orleans, USA - Tobias Paxian, Sven Reimer, Bernd Becker
**Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT**

2018*International Conference on Theory and Applications of Satisfiability Testing*, Springer, Band: 10929, Seiten: 37 - 53 - Maria Hügle, Simon Heller, Manuel Watter, Manuel Blum, Farrokh Manzouri, Matthias Dümpelmann, Andreas Schulze-Bonhage, Peter Woias, Joschka Boedecker
**Early Seizure Detection with an Energy-Efficient Convolutional Neural Network on an Implantable Microcontroller**

2018 International Joint Conference on Neural Networks - Kaiser, A.
**Estudios de género y producción del género por las neurociencias.**

2018*In C. Mora, A. Kottow, M. Ceballos, V. Osses (Eds.), Investigación, Políticas y Programas de Género.*, Seiten: 37 - 50 - Bryant, K., Grossi, G., Kaiser, A. (accepted)
**Feminist Interventions on the Sex/Gender Question in Broca’s Area.**

2018*The Scholar & Feminist Online; published by the Barnard Center for research on women.* - Mohsen Ghaffari, Fabian Kuhn, Yannic Maus, Juho Hirvonen
**Improved Distributed Delta-Coloring**

2018 ACM Symposium on Principles of Distributed Computing (PODC) - Yuliya Butkova, Ralf Wimmer, Holger Hermanns
**Markov Automata on Discount!**

2018*19. International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems (MMB)*, Reinhard German et al., Band: 10740 - Fine, C., Jordan-Young, B., Kaiser, A., & Rippon, G. (accepted, translated from “Plasticity, plasticity, plasticity … (2013)).
**Plasticidad, plasticidad, plasticidad… y la rigidez del problema del sexo.**

2018*The Scholar & Feminist Online; published by the Barnard Center for research on women* - S. Klöppel,, M. Kotschi,, J. Peter,, K. Egger,, L. Hausner,, L. Frölich,, A. Förster,, B.Heimbach,, C. Normann,, W. Vach,, H. Urbach,, Ahmed Abdulkadir
**Separating Symptomatic Alzheimers Disease from Depression based on Structural MRI**

2018*J Alzheimers Dis*, Band: 63, Nummer: 1 - , Artemij Amiranashvili,, A. Dosovitskiy,, V. Koltun,, Thomas Brox
**TD or not TD: Analyzing the Role of Temporal Differencing in Deep Reinforcement Learning**

2018 - Maxim Tatarchenko, J. Park, V., Koltun, Q. Zhou
**Tangent Convolutions for Dense Prediction in 3D**

2018 IEEE - Lindauer M, Rijn J, Kotthoff L
**The Algorithm Selection Competition Series 2015-17**

2018*arXiv*, Band: 1805.01214 - Nikolaus Mayer,, Eddy Ilg,, Philipp Fischer,, C. Hazirbas,, D. Cremers,, Alexey, Dosovitskiy,, Thomas Brox
**What Makes Good Synthetic Training Data for Learning Disparity and Optical Flow Estimation?**

2018*Int J Comput Vision* - Kaiser A.
**Wie sich Geschlechtlichkeit in den Neurowissenschaften manifestiert und wie Geschlecht in das Gehirn kommt. Kritische Überlegungen.**

2018*In M. Koreuber, & B. Assmann (Eds.), Das Geschlecht in der Biologie. Aufforderung zu einem Perspektivwechsel. (Series Schriften zur interdisziplinären Frauen- und Geschlechterforschung)*, Band: 12, Seiten: 133 - 150

Credits: SILK Icons by http://www.famfamfam.com/lab/icons/silk/