# Publikationen IIF der letzten zwei Jahre

Jahre: 2017 | 2016

## 2017

nach oben zur Jahresübersicht- Jan Burchard, Maël Gay, Ange-Salomé Messeng Ekossono, Jan Horáček, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
**AutoFault: Towards Automatic Construction of Algebraic Fault Attacks**

2017*Fault Diagnosis and Tolerance in Cryptography (FDTC) 2017* - Abdolhamid Ghodselahi, Fabian Kuhn
**Dynamic Analysis of the Arrow Distributed Directory Protocol in General Networks**

2017 31st Int. Symp. on Distributed Computing (DISC), Vienna, Austria - Bast H, Korzen C
**A Benchmark and Evaluation for Text Extraction from PDF**

2017 - Karl Bringmann, Ralph Keusch, Johannes Lengler, Yannic Maus, Anisur Rahaman Molla
**Greedy Routing and the Algorithmic Small-World Phenomenon**

2017 Principles of Distributed Computing (PODC), July 25-27, 2017, Washington, DC, USA - Mohsen Ghaffari, Juho Hirvonnen, Fabian Kuhn, Yannic Maus, Jukka Suomela, Jara Uitto,
**Improved Distributed Degree Splitting and Edge Coloring**

2017 International Symposium on DIStributed Computing (DISC) 2017 - Mohsen Ghaffari, Fabian Kuhn, Yannic Maus
**On the Complexity of Local Distributed Graph Problems**

2017 ACM Symposium on Theory of Computing (STOC) 2017. - Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker
**Efficient SAT-Based Generation of Hazard-Activated TSO Tests**

2017*IEEE VLSI Test Symposium (VTS'17)* - Uwe Wagschal, Bernd Becker, Thomas Metz, Thomas Waldvogel, Linus Feiten
**Real-time evaluation of political debates at home and abroad with the Debat-O-Meter**

2017 Berlin*19th General Online Research Conference (GOR)* - Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker
**Evaluating the Effectiveness of D-Chains in SAT based ATPG**

2017*IEEE Latin American Test Symposium (LATS'17)* - Matthias Sauer, Pascal Raiola, Linus Feiten, Bernd Becker, Ulrich Rührmair, Ilia Polian
**Sensitized Path PUF: A Lightweight Embedded Physical Unclonable Function**

2017*Conf. on Design, Automation and Test in Europe* - Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
**Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving**

2017*GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”* - Pascal Raiola, Dominik Erb, Sudhakar Reddy, Bernd Becker
**Accurate Diagnosis of Interconnect Open Defects based on the Robust Enhanced Aggressor Victim Model**

2017*30th International Conference on VLSI Design* -
*Universität Freiburg / FreiDok***Applying CDCL to Verification and Test: When Laziness Pays Off**

Karsten Scheibler - Ummenhofer B., Zhou H, Uhrig J, Mayer N, Ilg E., Dosovitskiy A., Brox T.
**DeMoN: Depth and Motion Network for Learning Monocular Stereo**

2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)*IEEE Conference on Computer Vision and Pattern Recognition* - Jan Burchard, Dominik Erb, Adit D. Singh, Sudhakar M. Reddy, Bernd Becker
**Fast and Waveform-Accurate Hazard-Aware SAT-Based TSOF ATPG**

2017*Conference on Design, Automation and Test in Europe* - Linus Feiten, Matthias Sauer, Bernd Becker
**Implementation of Delay-Based PUFs on Altera FPGAs***In: Hardware Security and Trust: Design and Deployment of Integrated Circuits in a Threatened Environment*

2017,*Springer International Publishing*, Seiten: 211 - 235, ISBN: 978-3-319-44318-8 - Rippon, G., Jordan-Young, R., Kaiser, A., Joel, D., Fine, C.
**Journal of Neuroscience Research Policy on Addressing Sex as a Biological Variable: Comments, Clarifications, and Elaborations.**

2017*Journal of Neuroscience Research* - Robert Mattmüller, Florian Geißer, Benedict Wright, Bernhard Nebel
**On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning**

2017 - Naseer T., Leivas Oliveira G, Brox T., Burgard W.
**Semantics-aware Visual Localization under Challenging Perceptual Conditions**

2017 IEEE International Conference on Robotics and Automation (ICRA), - Tobias Seufert, Christoph Scholl
**Sequential Verification Using Reverse PDR**

2017 MBMV, Bremen - Tobias Schubert, Benjamin Völker, Marc Pfeifer, Bernd Becker
**The Smart MiniFab: An Industrial IoT Demonstrator Anywhere at Any Time**

2017 Smart Education and e-Learning 2017, Vilamoura/Portugal, KES International Springer International Publishing, Seiten: 253 - 262 - Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horáček, Maël Gay, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
**Towards Mixed Structural-Functional Models for Algebraic Fault Attacks on Ciphers**

2017*RESCUE Workshop on Reliability, Security and Quality at ETS 2017* - Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horáček, Maël Gay, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
**Towards Mixed Structural-Functional Models for Algebraic Fault Attacks on Ciphers**

2017*International Verification and Security Workshop (IVSW) 2017* - Bernd Becker, Christoph Scholl, Ralf Wimmer
**Verification of Incomplete Designs***In: Formal System Verification State-of the-Art and Future Trends*

2017,*Springer International Publishing*, Rolf Drechsler, Seiten: 37 - 72, Rolf Drechsler, ISBN: 978-3-319-57683-1

## 2016

nach oben zur Jahresübersicht- Camilo Gordillo, Barbara Frank, Istvan Ulbert, Oliver Paul, Patrick Ruther, Wolfram Burgard
**Automatic Channel Selection in Neural Microprobes: A Combinatorial Multi-Armed Bandit Approach**

2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016)*Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)* - Benjamin Völker, Tobias Schubert, Bernd Becker
**iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home**

2016 7th EAI International Conference on Sensor Systems and Software - Matthias Sauer, Jie Jiang, Sven Reimer, Kohei Miyase, Xiaoqing Wen, Bernd Becker, Ilia Polian
**On Optimal Power-aware Path Sensitization**

2016*2016 25nd IEEE Asian Test Symposium (ATS)* - Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli, Matthias Sauer
**SAT-based Combinational and Sequential Dependency Computation**

2016*Haifa Verification Conference (HVC)* - Kuhner A, Schubert T, Cenciarini M, Maurer C, Burgard W
**A Probabilistic Approach Based on Random Forests to Estimating Similarity of Human Motion in the Context of Parkinson’s Disease**

2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon 2016*Proc. of IEEE/RSJ International Conference on Intelligent Robots and Systems* - Burget F, Bennewitz M, Burgard W
**BI2RRT*: An Efficient Sampling-Based Path Planning Framework for Task-Constrained Mobile Manipulation**

2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) IEEE - Sebastian Volkmann, Linus Feiten, Christian Zimmermann, Sebastian Sester, Laura Wehle, Bernd Becker
**Digitale Tarnkappe: Anonymisierung in Videoaufnahmen**

2016 INFORMATIK 2016*Gesellschaft für Informatik (GI)*, Heinrich C. Mayr, Martin Pinzger, Band: P-252, Seiten: 413 - 426 - Jan Burchard, Tobias Schubert, Bernd Becker
**Distributed Parallel #SAT Solving**

2016*IEEE Cluster 2016* - Schätzle A, Przyjaciel-Zablocki M, Skilevic, S, , Lausen G
**S2RDF: RDF Querying with SPARQL on Spark**

2016 42nd International Conference on Very Large Data Bases , Band: 9, Nummer: 10 - Mohamad Ahmadi, Fabian Kuhn
**Multi-Message Broadcast in Dynamic Radio Networks**

2016 12th Int. Symp. on Algorithms and Experiments for Wireless Sensor Networks (ALGOSENSORS), Aarhus, Denmark - Jeremy T. Fineman, Seth Gilbert, Fabian Kuhn, Calvin Newport
**Contention Resolution on a Fading Channel**

2016 2016 ACM Symposium on Principles of Distributed Computing (PODC) - Dan Hefetz, Fabian Kuhn, Yannic Maus, Angelika Steger
**Polynomial Lower Bound for Distributed Graph Coloring in a Weak LOCAL Model**

2016 30th International Symposium on DIStributed Computing (DISC), Paris, September 26-30, 2016 - Fabian Kuhn, Sebastian Daum, Yannic Maus
**Rumor Spreading with Bounded In-Degree**

2016 23rd Int. Coll. on Structural Information and Communication Complexity (SIROCCO), Helsinki, Finland - Bast H, Buchhold B, Haussmann E
**Semantic Search on Text and Knowledge Bases**

2016 - Mathias Soeken, Pascal Raiola, Baruch Sterin, Matthias Sauer
**SAT-based Functional Dependency Computation**

2016 International Workshop on Logic & Synthesis - Michael Kochte, Rafal Baranowski, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich
**Formal Verification of Secure Reconfigurable Scan Network Infrastructure**

2016 IEEE European Test Symposium - Michael Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
**SHIVA: Sichere Hardware in der Informationsverarbeitung Formaler Nachweis komplexer Sicherheitseigenschaften in rekonfigurierbarer Infrastruktur**

2016 eda Workshop - Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
**Effective Generation and Evaluation of Diagnostic SBST Programs**

2016 IEEE VLSI Test Symposium - Linus Feiten, Matthias Sauer, Bernd Becker
**On Metrics to Quantify the Inter-Device Uniqueness of PUFs**

2016 TRUDEVICE Workshop, Dresden - Matthias Sauer, Sven Reimer, Daniel Tille, Karsten Scheibler, Dominik Erb, Ulrike Pfannkuchen, Bernd Becker
**Clock Cycle Aware Encoding for SAT-based Circuit Initialization**

2016 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” - Bast H, Storandt S, Hertel M
**Scalable Transfer Patterns**

2016 ALENEX - Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton
**2QBF: Challenges and Solutions**

2016*International Conference on Theory and Applications of Satisfiability Testing (SAT)*, Springer-Verlag, Nummer: 9710, Seiten: 453 - 469 - Çiçek Ö, Abdulkadir A., Lienkamp S., Brox T., Ronneberger O
**3D U-Net: Learning Dense Volumetric Segmentation from Sparse Annotation**

2016 Medical Image Computing and Computer-Assisted Intervention (MICCAI)*LNCS*, Springer, Band: 9901, Seiten: 424 - 432 - Mayer N, Ilg E., Häusser P., Fischer P., Cremers D., Dosovitskiy A., Brox T.
**A Large Dataset to Train Convolutional Networks for Disparity, Optical Flow, and Scene Flow Estimation**

2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) - Morciniec T, Podelski A
**A Logical Approach to Generating Test Plans**

2016*CoRR abs/1612.04351*, Band: 2016 - Lindner Felix
**A Model of a Robot’s Will Based on Higher-Order Desires**

2016 Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2016) - Do C, Schubert T, Burgard W
**A Probabilistic Approach to Liquid Level Detection in Cups Using an RGB-D Camera**

2016 Pro. Of the IEEE/RSJ Int. Conf. On Intelligent Robots and Systems (IROS)*Pro. Of the IEEE/RSJ Int. Conf. On Intelligent Robots and Systems (IROS) 2016* - Lindner Felix
**A Social Robot’s Knowledge About Territories in Public Space**

2016 Proceedings of the 3rd Workshop on Public Space Human-Robot Interaction (PubRob 2016) - Geißer Florian, Keller Thomas, Mattmüller Robert
**Abstractions for Planning with State-Dependent Action Costs**

2016 Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016) - Karsten Scheibler, Dominik Erb, Bernd Becker
**Accurate CEGAR-based ATPG in Presence of Unknown Values for Large Industrial Designs**

2016*Conf. on Design, Automation and Test in Europe* - Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
**Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving**

2016*First International Workshop on Satisfiability Checking and Symbolic Computation - FETOPEN-CSA SC2 Workshop - Affiliated with SYNASC 2016* - Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
**Accurate ICP-based Floating-Point Reasoning**

2016*Formal Methods in Computer-Aided Design*, Seiten: 177 - 184 - Schilling Christian, Bogomolov Sergiy, Henzinger Thomas, Podelski Andreas, Ruess Jakob
**Adaptive moment closure for parameter inference of biochemical reaction networks**

2016*Biosystems*, Band: 149, Seiten: 15 - 25 - Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
**Advancing software model checking beyond linear arithmetic theories**

2016 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016*Twelfth Haifa Verification Conference 2016*, Bloem, Roderick, Arbel, Eli (Eds.), Band: 10028, Seiten: 186 - 201 - Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker
**Analysis of Incomplete Circuits using Dependency Quantified Boolean Formulas**

2016*Int'l Workshop on Logic and Synthesis* - Karsten Scheibler, Dominik Erb, Bernd Becker
**Applying Tailored Formal Methods to X-ATPG**

2016*GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”* - Ruder M., Dosovitskiy A., Brox T.
**Artistic style transfer for videos**

2016 German Conference on Pattern Recognition (GCPR) - Benedict Wright, Robert Mattmüller
**Automated Data Management Workflow Generation with Ontologies and Planning**

2016 30th Workshop on Planen/Scheduling und Konfigurieren/Entwerfen - Tobias Schubert, Katharina Eggensperger, Alexis Gkogkidis, Frank Hutter, Tonio Ball, Wolfram Burgard
**Automatic Bone Parameter Estimation for Skeleton Tracking in Optical Motion Capture**

2016 IEEE International Conference on Robotics and Automation 2016, Stockholm*Proc of. IEEE International Conference on Robotics and Automation* - Bolander Thomas, Engesser Thorsten, Mattmüller Robert, Nebel Bernhard
**Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination**

2016 Proceedings of the ICAPS-2016 Workshop on Distributed and Multi-Agent Planning (DMAP 2016) - Alkhnbashi Omer, Shah Shiraz, Garrett Roger, Saunders Sita, Costa Fabrizio, Backofen Rolf
**Characterizing leader sequences of CRISPR loci**

2016*Bioinformatics*, Band: 32, Nummer: 17, Seiten: i576 - i585 - Podelski A, Schäf M, Wies T
**Classifying Bugs with Interpolants**

2016*TAP*, Band: 2016, Seiten: 151 - 168 - Valeriy Balabanov, Jie-Hong R. Jiang, Alan Mishchenko, Christoph Scholl
**Clauses Versus Gates in CEGAR-Based 2QBF Solving**

2016*Workshop of the Thirtieth AAAI Conference on Artificial Intelligence Beyond NP* - Jimenez-Del-Toro o., Muller H., Krenn M., Gruenberg K., Aziz Taha A., Winterstein M., Eggel I., Foncubierta-Rodriguez A., Goksel O., Jakab A., Kontokotsios G., Langs G., Menze B., Salas Fernandez T., Schaer R., Walleyo A., Andre Weber M., Dicente Cid Y., Gass T., Heinrich M., Jia F., Kahl F., Kechichian R., Mai D., SpanierA., Vincent G., Wang C., Wyeth D., Hanbury A.
**Cloud-Based Evaluation of Anatomical Structure Segmentation and Landmark Detection Algorithms: VISCERAL Anatomy Benchmarks**

2016*Ieee T Med Imaging* - Ragni Marco, Barkowsky Thomas, Nebel Bernhard, Freksa Christian
**Cognitive Space and Spatial Cognition: The SFB/TR 8 Spatial Cognition.**

2016*KI*, Band: 30, Nummer: 1, Seiten: 83 - 88 - Blahoudek Frantisek, Heizmann Matthias, Schewe Sven, Strejcek Jan, Tsai Ming-Hsien
**Complementing Semi-deterministic Büchi Automata**

2016*Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings*, Springer, Band: 9636, Seiten: 770 - 787 - Beyer Dirk, Dangl Matthias, Dietsch Daniel, Heizmann Matthias
**Correctness witnesses**

2016*Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016*, ACM, Seiten: 326 - 337 - Beyer Dirk, Dangl Matthias, Dietsch Daniel, Heizmann Matthias
**Correctness witnesses**

2016*Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016*, ACM, Seiten: 326 - 337 - Thomas Metz, Uwe Wagschal, Thomas Waldvogel, Marko Bachl, Linus Feiten, Bernd Becker
**Das Debat-O-Meter: ein neues Instrument zur Analyse von TV-Duellen**

2016*ZSE Zeitschrift für Staats- und Europawissenschaften*, Band: 14, Nummer: 1, Seiten: 124 - 149 - Leivas Oliveira G., Valada A., Bollen C., Burgard W., Brox T.
**Deep Learning for Human Part Discovery in Images**

2016 IEEE International Conference on Robotics and Automation (ICRA), - Valada A., Leivas Oliveira G., Burgard W., Brox T.
**Deep Multispectral Semantic Scene Understanding of Forested Environments using Multimodal Fusion**

2016 International Symposium on Experimental Robotics (ISER 2016) - Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker
**Dependency Schemes for DQBF**

2016*Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT)*, Springer, Band: 9710, Seiten: 473 - 489 - Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker
**Dependency Schemes for DQBF**

2016*International Conference on Theory and Applications of Satisfiability Testing (SAT)*, Nummer: 9710, Seiten: 473 - 489 - Holzer Martin, Krahling Verena, Amman Fabian, Barth Emanuel, Bernhart Stephan, Carmelo Victor, Collatz Maximilian, Doose Gero, Eggenhofer Florian, Ewald Jan, Fallmann Jorg, Feldhahn Lasse, Fricke Markus, Gebauer Juliane, Gruber Andreas, Hufsky Franziska, Indrischek Henrike, Kanton Sabina, Linde Jorg, Mostajo Nelly, Ochsenreiter Roman, Riege Konstantin, Rivarola-Duarte Lorena, Sahyoun Abdullah, Saunders Sita, Seemann Stefan, Tanzer Andrea, Vogel Bertram, Wehner Stefanie, Wolfinger Michael, Backofen Rolf, Gorodkin Jan, Grosse Ivo, Hofacker Ivo, Hoffmann Steve, Kaleta Christoph, Stadler Peter, Becker Stephan, Marz Manja
**Differential transcriptional responses to Ebola and Marburg virus infection in bat and human cells**

2016*Sci Rep-uk*, Band: 6, Seite: 34589 - Kong Hui, Bartocci Ezio, Bogomolov Sergiy, Grosu Radu, Henzinger Thomas, Jiang Yu, Schilling Christian
**Discrete Abstraction of Multiaffine Systems**

2016*HSB*, Band: 9957, Seiten: 128 - 144 - Dosovitskiy A., Fischer P., Spingenberg J., Riedmiller M., Brox T.
**Discriminative Unsupervised Feature Learning with Exemplar Convolutional Neural Networks**

2016*IEEE Transactions on Pattern Analysis and Machine Intelligence* - Leivas Oliveira G., Burgard W., Brox T.
**Efficient Deep Models for Monocular Road Segmentation.**

2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
**Extending iSAT3 with ICP-Contractors for Bitwise Integer Operations**

*AVACS Technical Report, SFB/TR 14 AVACS, Subproject T1*, Band: 116, 2016 - Hafner D., Ochs P., Weickert J., Reißel M., Grewenig S.
**FSI schemes: Fast semi-iterative solvers for PDEs and Optimisation Methods**

2016 , Band: 9796, Seiten: 91 - 102 - Seipp Jendrik, Pommerening Florian, Sievers Silvan, Wehrle Martin, Fawcett Chris, Alkhazraji Yusra
**Fast Downward Aidos (planner abstract)**

2016 The 1st Unsolvability International Planning Competition (IPC 2016) - Kaiser, A.
**Gender Matters and Gender Materialities in the Brain.**

2016*In V. Pitts-Taylor (Ed.), Mattering: Feminism, Science and Materialism*, Seiten: 123 - 139 - Dosovitskiy A., Brox T.
**Generating Images with Perceptual Similarity Metrics based on Deep Networks**

2016 Advances in Neural Information Processing Systems (NIPS) - Leike Jan, Heizmann Matthias
**Geometric Nontermination Arguments**

2016*CoRR*, Band: abs/1609.05207 - Holmqvist Erik, Wright Patrick, Li Lei, Bischler Thorsten, Barquist Lars, Reinhardt Richard, Backofen Rolf, Vogel Jorg
**Global RNA recognition patterns of post-transcriptional regulators Hfq and CsrA revealed by UV crosslinking in vivo**

2016*EMBO J* - Bogomolov S, Donzé A, Frehse G, Grosu R, Johnson T, Ladan H, Podelski A, Wehrle M
**Guided search for hybrid systems based on coarse-grained space abstractions**

2016*STTT*, Band: 18, Seiten: 449 - 467 - Lindner Felix
**How To Count Multiple Personal-Space Intrusions in Social Robot Navigation**

2016 Proceedings of the Robo-Philosophy Conference 2016 - Felix Lindner
**How To Count Multiple Personal-Space Intrusions in Social Robot Navigation.**

2016 In Proceedings of the Robo-Philosophy Conference 2016. 2016. - Dosovitskiy A., Brox T.
**Inverting Visual Representations with Convolutional Networks**

2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) - Dosovitskiy A., Springenberg J., Tatarchenko M, Brox T.
**Learning to Generate Chairs, Tables and Cars with Convolutional Networks**

2016*IEEE Transactions on Pattern Analysis and Machine Intelligence* - Wecker Thomas, Hoffmeier Klaus, Plotner Anne, Gruning Bjorn, Horres Ralf, Backofen Rolf, Reinhard Thomas, Schlunck Gunther
**MicroRNA Profiling in Aqueous Humor of Individual Human Eyes by Next-Generation Sequencing**

2016*Invest Ophth Vis Sci*, Band: 57, Nummer: 4, Seiten: 1706 - 13 - Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
**Mixed 01X-RSL-Encoding for Fast and Accurate ATPG with Unknowns**

2016*21st Asia and South Pacific Design Automation Conference* - Tatarchenko M, Dosovitskiy A., Brox T.
**Multi-view 3D Models from Single Images with a Convolutional Network**

2016 European Conference on Computer Vision (ECCV) - Kaiser, A., Schmitz, S.
**Neuroscience, Brain Research, and Sexuality.**

2016*In N. Naples (Ed.), The Wiley-Blackwell Encyclopedia of Gender and Sexuality Studies, IV*, Seiten: 1759 - 1765 -
*Der Andere Verlag***On the Handling of Uncertainty in Test Pattern Generation**

ISBN: 978-3-86247-571-1

Dominik Erb - Abdo N, Stachniss C, Burgard W, Spinello L
**Organizing Objects by Predicting User Preferences Through Collaborative Filtering**

2016*The International Journal of Robotics Research (IJRR)* - Marc Pfeifer, Tobias Schubert, Bernd Becker
**PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform**

2016 7th EAI International Conference on Sensor Systems and Software - Tobias Nicholas, Heinrich Antje, Eresmann Helena, Wright Patrick, Neubacher Nick, Backofen Rolf, Bode Helge
**Photorhabdus-nematode symbiosis is dependent on hfq-mediated regulation of secondary metabolites**

2016*Environ Microbiol* - Uhrig J., Cordts M., Franke U., Brox T.
**Pixel-level encoding and depth layering for instance-level semantic segmentation**

2016 German Conference on Pattern Recognition (GCPR) - Tripp Vanessa, Martin Roman, Orell Alvaro, Alkhnbashi Omer, Backofen Rolf, Randau Lennart
**Plasticity of archaeal C/D box sRNA biogenesis**

2016*Mol Microbiol* - Keuper M., Brox T.
**Point-wise mutual information-based video segmentation with high temporal consistency**

2016 ECCV 2016 workshops Springer - Zimmermann Thomas, Cleland-Huang Jane, Su Zhendong
**Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016**

2016*ACM*, ACM - Zimmermann Thomas, Cleland-Huang Jane, Su Zhendong

2016*ACM*, ACM - Christ J, Hoenicke J
**Proof Tree Preserving Tree Interpolation**

2016*J Autom Reasoning*, Band: 57, Nummer: 1, Seiten: 67 - 95 - Golkov V., Skwark M., Golkov A., Dosovitskiy A., Brox T., Meiler J., Cremers D.
**Protein contact prediction from amino acid co-evolution using convolutional networks for graph-valued images**

2016 Advances in Neural Information Processing Systems (NIPS) - Farzan A, Kincaid Z, Podelski A
**Proving Liveness of Parameterized Programs**

2016*LICS*, Band: 2016, Seiten: 185 - 196 - Feo Arenis S, Westphal B, Dietsch D, Muñiz M, Siyar Andisha A, Podelski A,
**Ready for testing: ensuring conformance to industrial standards through formal verification**

2016*Form Asp Comput*, Band: 28, Seiten: 499 - 527 - Hengel Matthias, Wölfl Stefan, Nebel Bernhard
**Reasoning about general TBoxes with spatial and temporal constraints: Implementation and optimizations**

2016 Proceedings of the 29th International Workshop on Description Logics (DL 2016) - Langenfeld V, Post A, Podelski A
**Requirements Defects over a Project Lifetime: An Empirical Analysis of Defect Data from a 5-Year Automotive Project at Bosch**

2016*REFSQ*, Band: 2016, Seiten: 145 - 160 - Linus Feiten, Sebastian Sester, Christian Zimmermann, Sebastian Volkmann, Laura Wehle, Bernd Becker
**Revocable Anonymisation in Video Surveillance: A "Digital Cloak of Invisibility"***In: Technology and Intimacy: Choice or Coercion*

2016,*Springer International Publishing*, Seiten: 314 - 327, ISBN: 978-3-319-44804-6 - Valada A., Leivas Oliveira G., Brox T., Burgard W.
**Robust Semantic Segmentation using Deep Fusion**

2016 Robotics: Science and Systems (RSS 2016) Workshop,Are the Sceptics Right? Limits and Potentials of Deep Learning in Robotics, - Müller S., Ochs P., Weickert J., Graf N.
**Robust interactive multi-label segmentation with an advanced edge detector**

2016 German Conference on Pattern Recognition (GCPR)*LNCS*, Springer, Band: 9796, Seiten: 117 - 128 - Bernd Becker, Katrin Weber, Linus Feiten
**SMartphones In der LEhre (SMILE)***In: Kreativ, Innovativ, Motivierend - Lehrkonzepte in der Praxis: Der Instructional Development Award (IDA) der Universität Freiburg*

2016,*Universitäts Verlag Webler (UVW)*, Seiten: 117 - 133, ISBN: 978-3-946017-01-1 - Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
**Skolem Functions for DQBF**

2016 Int'l Symposium on Automated Technology for Verification and Analysis (ATVA)*Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA)*, Springer, Band: 9938, Seiten: 395 - 411 - Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
**Skolem Functions for DQBF**

2016*International Symposium on Automated Technology for Verification and Analysis (ATVA)* - Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
**Skolem Functions for DQBF (Extended Version)**

, 2016 - Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
**Skolem Functions for DQBF, Extended Version**

, 2016 - Alkhazraji Yusra, Wehrle Martin
**Sleep Sets Meet Duplicate Elimination**

2016 Proceedings of the Ninth Annual Symposium on Combinatorial Search (SoCS 2016) (SoCS 2016) - Maël Gay, Jan Burchard, Jan Horáček, Ange-Salomé Messeng Ekossono, Tobias Schubert, Bernd Becker, Ilia Polian, Martin Kreuzer
**Small Scale AES Toolbox: Algebraic and Propositional Formulas, Circuit-Implementations and Fault Equations**

2016*FCTRU'16* - Knoop Jens, Zdun Uwe
**Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich**

2016*GILNI*, GI, Band: 252 - Bensch R., Scherf N., Huisken J., Brox T., Ronneberger O
**Spatiotemporal Deformable Prototypes for Motion Anomaly Detection**

2016*Int J Comput Vision*, Band: 1, Seiten: 1 - 22 - Keller Thomas, Pommerening Florian, Seipp Jendrik, Geißer Florian, Mattmüller Robert
**State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning (Extended Abstract)**

2016 Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) - Nguyen A., Dosovitskiy A., Yosinski J., Brox T., Clune J.
**Synthesizing the preferred inputs for neurons in neural networks via deep generator networks**

2016 Advances in Neural Information Processing Systems (NIPS) - Linus Feiten, Jonathan Oesterle, Tobias Martin, Matthias Sauer, Bernd Becker
**Systematic Frequency Biases in Ring Oscillator PUFs on FPGAs**

2016*IEEE Transactions on Multi-Scale Computing Systems (TMSCS)*, Band: PP, Nummer: 99 - Ralf Wimmer
**Tagungsband des 19. GI/ITG/GMM-Workshops "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV)**

2016*Universität Freiburg / FreiDok*, Seite: 150 - Martin Böhnert, Christoph Scholl
**Task Variants with Different Scratchpad Memory Consumption in Multi-Task Environments**

2016*International Conference on Architecture of Computing Systems (ARCS)*, Nummer: 9637, Seiten: 143 - 156 - Ochs P., Ranftl R., Brox T., Pock T.
**Techniques for gradient based bilevel optimization with nonsmooth lower level problems**

2016*J Math Imaging Vis*, Band: 56, Nummer: 2, Seiten: 175 - 194 - Aldinger Johannes, Löhr Johannes
**The Jumpbot Domain for Numeric Planning**

*Uni Freiburg*, Nummer: 279, 2016 - Christoph Scholl, Florian Pigorsch
**The QBF Solver AIGSolve**

2016*International Workshop on Quantified Boolean Formulas* - Niknafs Yashar, Han Sumin, Ma Teng, Speers Corey, Zhang Chao, Wilder-Romans Kari, Iyer Matthew, Pitchiaya Sethuramasundaram, Malik Rohit, Hosono Yasuyuki, Prensner John, Poliakov Anton, Singhal Udit, Xiao Lanbo, Kregel Steven, Siebenaler Ronald, Zhao Shuang, Uhl Michael, Gawronski Alexander, Hayes Daniel, Pierce Lori, Cao Xuhong, Collins Colin, Backofen Rolf, Sahinalp Cenk, Rae James, Chinnaiyan Arul, Feng Felix
**The lncRNA landscape of breast cancer reveals a role for DSCAM-AS1 in breast cancer progression**

2016*Nat Commun*, Band: 7 - Chechik Marsha, Raskin Jean-François
**Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings**

2016*SpringerLecture Notes in Computer Science*, Springer, Band: 9636 - Chechik Marsha, Raskin Jean-François
**Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings**

2016*SpringerLecture Notes in Computer Science*, Springer, Band: 9636 - Sun Dali, Geißer Florian, Nebel Bernhard
**Towards Effective Localization in Dynamic Environments**

2016 Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016) - Schulte Tim, Nebel Bernhard
**Trial-based Heuristic Tree-search for Distributed Multi-Agent Planning**

2016 Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP 2016) (DMAP 2016) - Schulte Tim, Nebel Bernhard
**Trial-based Heuristic Tree-search for Distributed Multi-Agent Planning**

2016 Proceedings of the Ninth Annual Symposium on Combinatorial Search (SoCS 2016) (SoCS 2016) - Duggirala Parasara, Fan Chuchu, Potok Matthew, Qi Bolun, Mitra Sayan, Viswanathan Mahesh, Bak Stanley, Bogomolov Sergiy, Johnson Taylor, Nguyen Luan, Schilling Christian, Sogokon Andrew, Tran Hoang-Dung, Xiang Weiming
**Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP**

2016*2016 IEEE Conference on Control Applications, CCA 2016, Buenos Aires, Argentina, September 19-22, 2016*, IEEE, Seiten: 1024 - 1029 - Paolo Marin, Massimno Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
**Twelve Years of QBF Evaluations: QSAT Is PSpace-Hard and It Shows**

2016*Fund Inform*, Band: 149, Nummer: 1-2, Seiten: 133 - 158 - Heizmann M, Dietsch D, Greitschus M, Leike J, Musa B, Schätzle C, Podelski A
**Ultimate Automizer with Two-track Proofs - (Competition Contribution)**

2016*TACAS*, Band: 2016, Seiten: 950 - 953 - Heizmann Matthias, Dietsch Daniel, Greitschus Marius, Leike Jan, Musa Betim, Schätzle Claus, Podelski Andreas
**Ultimate Automizer with Two-track Proofs - (Competition Contribution)**

2016 - Matthias Sauer, Linus Feiten, Bernd Becker, Ulrich Rührmair, Ilia Polian
**Utilizing Intrinsic Delay Variability in Complex Digital Circuits for Defining PUF Behavior**

2016 TRUDEVICE Workshop, Dresden - Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz
**Verification of Linear Hybrid Systems with Large Discrete State Spaces: Exploring the Design Space for Optimization**

*SFB/TR 14 AVACS Technical Report*, Nummer: 103, 2016 - Beyer Dirk, Dangl Matthias, Dietsch Daniel, Heizmann Matthias, Stahlbauer Andreas
**Witness validation and stepwise testification across software verifiers**

2016*Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich*, GI, Band: 252, Seiten: 105 - 106 - Golkov V., Dosovitskiy A., Sperl J., Menzel M., Czisch M., Sämann P., Brox T., Cremers D.
**q-Space Deep Learning: Twelve-Fold Shorter and Model-Free Diffusion MRI Scans**

2016*Ieee T Med Imaging*, Band: 25, Nummer: 5

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