Uni-Logo
Sie sind hier: Startseite Research Publications IIF of last two years
Artikelaktionen

Publications IIF of last two years

Goto list of all publications.

 


Years: 2017 | 2016

    2017

    Icon: top back to the year overview
    • Bast H, Buchhold B
      QLever: A Query Engine for Eff€icient SPARQL+Text Search
      2017 CIKM
    • 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
    • Bast H, Buchhold B, Haussmann E
      A Quality Evaluation of Combined Search on a Knowledge Base and Text
      2017 Künstliche Intelligenz
    • 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
       
      Download file as PDF
    • 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, pages: 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),
       
      Download file as PDF
    • Tobias Seufert, Christoph Scholl
      Sequential Verification Using Reverse PDR
      2017 MBMV, Bremen

       
      Download file as PDF
    • 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, pages: 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, pages: 37 - 72, Rolf Drechsler, ISBN: 978-3-319-57683-1

    2016

    Icon: top back to the year overview
    • 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, volume: P-252, pages: 413 - 426

       
      Download file
    • 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 , volume: 9, issue: 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, issue: 9710, pages: 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, volume: 9901, pages: 424 - 432
       
      Download file as PDF
    • 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)
       
      Download file as PDF
    • Morciniec T, Podelski A
      A Logical Approach to Generating Test Plans
      2016 CoRR abs/1612.04351, volume: 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, pages: 177 - 184
    • Schilling Christian, Bogomolov Sergiy, Henzinger Thomas, Podelski Andreas, Ruess Jakob
      Adaptive moment closure for parameter inference of biochemical reaction networks
      2016 Biosystems, volume: 149, pages: 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.), volume: 10028, pages: 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)
       
      Download file as PDF
    • 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, volume: 32, issue: 17, pages: i576 - i585
    • Podelski A, Schäf M, Wies T
      Classifying Bugs with Interpolants
      2016 TAP, volume: 2016, pages: 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
       
      Download file as PDF
    • Ragni Marco, Barkowsky Thomas, Nebel Bernhard, Freksa Christian
      Cognitive Space and Spatial Cognition: The SFB/TR 8 Spatial Cognition.
      2016 KI, volume: 30, issue: 1, pages: 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, volume: 9636, pages: 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, pages: 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, pages: 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, volume: 14, issue: 1, pages: 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),
       
      Download file as PDF
    • 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)
       
      Download file as PDF
    • 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, volume: 9710, pages: 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), issue: 9710, pages: 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, volume: 6, page: 34589
    • Kong Hui, Bartocci Ezio, Bogomolov Sergiy, Grosu Radu, Henzinger Thomas, Jiang Yu, Schilling Christian
      Discrete Abstraction of Multiaffine Systems
      2016 HSB, volume: 9957, pages: 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
       
      Download file as PDF
    • 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)
       
      Download file as PDF
    • 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, volume: 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 , volume: 9796, pages: 91 - 102
       
      Download file as PDF
    • 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, pages: 123 - 139
    • Dosovitskiy A., Brox T.
      Generating Images with Perceptual Similarity Metrics based on Deep Networks
      2016 Advances in Neural Information Processing Systems (NIPS)
       
      Download file as PDF
    • Leike Jan, Heizmann Matthias
      Geometric Nontermination Arguments
      2016 CoRR, volume: 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, volume: 18, pages: 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)
       
      Download file as PDF
    • 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
       
      Download file as PDF
    • 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, volume: 57, issue: 4, pages: 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)
       
      Download file as PDF
    • Kaiser, A., Schmitz, S.
      Neuroscience, Brain Research, and Sexuality.
      2016 In N. Naples (Ed.), The Wiley-Blackwell Encyclopedia of Gender and Sexuality Studies, IV, pages: 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)
       
      Download file as PDF
    • 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
      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
    • Christ J, Hoenicke J
      Proof Tree Preserving Tree Interpolation
      2016 J Autom Reasoning, volume: 57, issue: 1, pages: 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)
       
      Download file as PDF
    • Farzan A, Kincaid Z, Podelski A
      Proving Liveness of Parameterized Programs
      2016 LICS, volume: 2016, pages: 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, volume: 28, pages: 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, volume: 2016, pages: 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, pages: 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,
       
      Download file as PDF
    • 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, volume: 9796, pages: 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), pages: 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, volume: 9938, pages: 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, volume: 252
    • Bensch R., Scherf N., Huisken J., Brox T., Ronneberger O
      Spatiotemporal Deformable Prototypes for Motion Anomaly Detection
      2016 Int J Comput Vision, volume: 1, pages: 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)
       
      Download file as PDF
    • 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), volume: PP, issue: 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, page: 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), issue: 9637, pages: 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, volume: 56, issue: 2, pages: 175 - 194
       
      Download file as PDF
    • Aldinger Johannes, Löhr Johannes
      The Jumpbot Domain for Numeric Planning
      Uni Freiburg, issue: 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, volume: 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, volume: 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, volume: 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, pages: 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, volume: 149, issue: 1-2, pages: 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, volume: 2016, pages: 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 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, volume: 9636, pages: 950 - 953
    • 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, issue: 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, volume: 252, pages: 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, volume: 25, issue: 5
       
      Download file as PDF
    Credits: SILK Icons by http://www.famfamfam.com/lab/icons/silk/
    Benutzerspezifische Werkzeuge