Uni-Logo
You are here: Home Research Publications IIF of last two years
Document Actions

Publications IIF of last two years

Goto list of all publications.

 


Years: 2017 | 2016

    2017

    Icon: top back to the year overview
    • Fabian Kuhn, Philipp Schneider
      Broadcasting in an Unreliable SINR Model
      2017 21st Conference on Principles of Distributed Systems (OPODIS) , pages: 3:1 - 3:21
    • Jan Horáček, Jan Burchard, Bernd Becker, Martin Kreuzer
      Integrating Algebraic and SAT Solvers
      2017 International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) 2017
    • Jan Horáček, Maël Gay, Bernd Becker, Martin Kreuzer
      Integrating Algebraic and SAT Solvers
      2017 International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) 2017
    • Bast H, Buchhold B
      QLever: A Query Engine for Eff€icient SPARQL+Text Search
      2017 CIKM
    • Magnús M. Halldórsson, Fabian Kuhn, Nancy Lynch, Calvin Newport
      An Efficient Communication Abstraction for Dense Wireless Networks
      2017 31st Symposium on Distributed Computing (DISC) , pages: 25:1 - 25:16
    • Manuela Fischer, Mohsen Ghaffari, Fabian Kuhn
      Deterministic Distributed Edge-Coloring via Hypergraph Maximal Matching
      2017 58th IEEE Symposium on Foundations of Computer Science (FOCS) , pages: 180 - 191
    • Daniel Bahrdt, Rick Gelhausen, Stefan Funke, Sabine Storandt
      Searching OSM Planet with Context-Aware Spatial Relations
      2017 ACM SIGSPATIAL Sigspatial, volume: 1
    • Bast H, Brosi P, Storandt S
      Efficient Generation of Geographically Accurate Transit Maps
      2017
    • Isabel Dahlhausen, Tobias Schubert
      Von der Teilnehmendenanalyse zur lernförderlichen Gestaltung: Wie können wir E-Learning lebendiger machen?
      2017 16. Internationale ILIAS-Konferenz
    • 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
    • Seth Gilbert, Fabian Kuhn, Chaodong Zheng
      Communication Primitives in Cognitive Radio Networks
      2017 36th ACM Symposium on Principles of Distributed Computing (PODC) , pages: 23 - 32
    • Mohsen Ghaffari, Fabian Kuhn, Hsin-Hao Su
      Distributed MST and Routing in Almost Mixing Time
      2017 36th ACM Symposium on Principles of Distributed Computing (PODC) , pages: 131 - 140
    • 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 Hirvonen, 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.
    • Michael A. Kochte, Matthias Sauer, Laura Rodríguez Gómez, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
      Specification and verification of security in reconfigurable scan networks
      2017 IEEE European Test Symposium
    • 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)
    • Bast H, Buchhold B, Haussmann E, Heindorf S, Potthast M
      WDSM Cup 2017: Vandalism Detection and Triple Scoring
      2017
    • 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
    • T. Pasternak,, T. Haser,, Thorsten Falk,, Olaf Ronneberger,, K. Palme,, L. Otten
      A 3D digital atlas of the Nicotiana tabacum root tip and its use to investigate changes in the root apical meristem induced by the Agrobacterium 6b oncogene
      2017 Plant J, volume: 92, issue: 1, pages: 31 - 42
    • Bast H, Buchhold B, Haussmann E
      A Quality Evaluation of Combined Search on a Knowledge Base and Text
      2017 Künstliche Intelligenz
    • T. Leng Tay,, Dominic Mai,, J. Dautzenberg,, F. Fernández-Klett,, G. Lin, S. ,, M. Datta,, A. Drougard,, T. Stempfl,, A. Ardura-Fabregat,, O. Staszewski,, A. Margineanu,, A. Sporbert,, L. M Steinmetz,, J. Andrew Pospisilik,, S. Jung,, J. Priller,, D. Grün,, Olaf Ronneberger,, M. Prinz
      A new fate mapping system reveals context-dependent random or clonal expansion of microglia
      2017 Nat Neurosci
       
      Download file
    • 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
    • Kundu Kousik, Backofen Rolf
      An Efficient Semi-supervised Learning Approach to Predict SH2 Domain Mediated Interactions
      2017 Methods Mol Biol, volume: 1555, pages: 83 - 97
    • V. Ulman,, M. Maška,, K. Magnusson,, Olaf Ronneberger,, C. Haubold,, N. Harder,, P. Matula,, P. Matula,, D. Svoboda,, M. Radojevic,, I. Smal,, K. Rohr,, J. Jaldén,, H. Blau,, O. Dzyubachyk,, B. Lelieveldt,, P. Xiao,, Y. Li,, S. Cho,, A. Dufour,, J. Olivo-Marin,, C. Reyes-Aldasoro,, J. Solis-Lemus,, Robert Bensch,, Thomas Brox,, J. Stegmaier,, R. Mikut,, S. Wolf,, F. Hamprecht,, T. Esteves,, P. Quelhas,, Ö. Demirel,, L. Malmström,, F. Jug,, P. Tomancák,, E. Meijering,, A. Muñoz-Barrutia,, M. Kozubek,, C. Ortiz-de-Solor
      An objective comparison of cell-tracking algorithms
      2017 Nat Methods, volume: 14, pages: 1141 - 1152
       
      Download file
    • A. Habich,, S. Kloeppel,, Ahmed Abdulkadir,, E. Scheller,, C. Nissen,, J. Peter
      Anodal tDCS Enhances Verbal Episodic Memory in Initially Low Performers
      2017 Front Hum Neurosci, volume: 11, issue: 542, page: 542
       
      Download file
    • Universität Freiburg / FreiDok
      Applying CDCL to Verification and Test: When Laziness Pays Off
      Karsten Scheibler
    • Mohammadreza Zolfaghari,, Gabriel Leivas Oliveira,, Nima Sedaghat,, Thomas Brox
      Chained Multi-stream Networks Exploiting Pose, Motion, and Appearance for Action Classification and Detection
      2017
       
      Download file
    • Hübner David, Tangermann Michael
      Challenging the assumption that auditory event-related potentials are independent and identically distributed
      2017 Proceedings of the 7th International Brain-Computer Interface Meeting 2017: From Vision to Reality, Verlag der Technischen Universität Graz, pages: 192 - 197
    • Castano-Candamil Sebastian, Mottaghi Soheil, Coenen Volker, Hofmann Ulrich, Tangermann Michael
      Closed-Loop Deep Brain Stimulation System for an Animal Model of Parkinson’s Disease: A Pilot Study
      2017 Proceedings of the 7th Graz Brain-Computer Interface Conference (GBCIC 2017), Verlag der Technischen Universität Graz, pages: 58 - 63
    • Davis Jason, Saunders Sita, Mann Martin, Backofen Rolf
      Combinatorial ensemble miRNA target prediction of co-regulation networks with non-prediction data
      2017 Nucleic Acids Res, volume: 45, issue: 15, pages: 8745 - 8757
    • Wolling F, Scholl P, Reindl L, Van Laerhoven K
      Combining capacitive coupling with conductive clothes: Towards resource-efficient wearable communication
      2017 Proceedings - International Symposium on Wearable Computers, ISWC, volume: Part F1305
    • Wolling F, Scholl P, Reindl L, Van Laerhoven K
      Combining capacitive coupling with conductive clothes: Towards resource-efficient wearable communication
      2017 Proceedings - International Symposium on Wearable Computers, ISWC, volume: Part F1305
    • Uhl Michael, Houwaart Torsten, Corrado Gianluca, Wright Patrick, Backofen Rolf
      Computational analysis of CLIP-seq data
      2017 Methods, volume: 118-119, pages: 60 - 72
    • Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis Maria Ferrer Fioriti, Bernd Becker, Holger Hermanns
      Cost vs. Time in Stochastic Games and Markov Automata
      2017 Form Asp Comput, volume: 29, issue: 4, pages: 629 - 649
    • Aktas Tugce, Avsar Ilik Ibrahim, Maticzka Daniel, Bhardwaj Vivek, Pessoa Rodrigues Cecilia, Mittler Gerhard, Manke Thomas, Backofen Rolf, Akhtar Asifa
      DHX9 suppresses RNA processing defects originating from the Alu invasion of the human genome
      2017 Nature, volume: 544, issue: 7648, pages: 115 - 119
    • Uwe Wagschal, Thomas Waldvogel, Thomas Metz, Bernd Becker, Linus Feiten, Samuel Weishaupt, Kamaljeet Singh
      Das TV-Duell und die Landtagswahl in Schleswig-Holstein: Das Debat-O-Meter als neues Instrument der politischen Kommunikationsforschung
      2017 Zeitschrift für Parlamentsfragen (ZParl), volume: 48. Jg., issue: 3, pages: 594 - 613
    • 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
    • Kolkhorst Henrich, Burgard Wolfram, Tangermann Michael
      Decoding Hazardous Events in Driving Videos
      2017 Graz, Austria Proceedings of the 7th Graz Brain-Computer Interface Conference 2017, Verlag der Technischen Universität Graz, pages: 242 - 247
    • Kolkhorst Henrich, Tangermann Michael, Burgard Wolfram
      Decoding Perceived Hazardousness from User’s Brain States to Shape Human-Robot Interaction
      2017 International Conference on Human-Robot Interaction, Vienna, Austria Proceedings of the Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction, ACM, pages: 349 - 350
       
      Download file
    • Schirrmeister Robin, Springenberg Jost, Fiederer Lukas, Glasstetter Martin, Eggensperger Katharina, Tangermann Michael, Hutter Frank, Burgard Wolfram, Ball Tonio
      Deep learning with convolutional neural networks for EEG decoding and visualization
      2017 Human Brain Mapping
    • Schirrmeister Robin, Springenberg Jost, Fiederer Lukas, Glasstetter Martin, Eggensperger Katharina, Tangermann Michael, Hutter Frank, Burgard Wolfram, Ball Tonio
      Deep learning with convolutional neural networks for brain mapping and decoding of movement-related information from the human EEG
      2017 ArXiv e-prints
    • Böttcher S, Scholl P, Van Laerhoven K
      Detecting process transitions from wearable sensors: An unsupervised labeling approach
      2017 ACM International Conference Proceeding Series, volume: Part F1319
    • Böttcher S, Scholl P, Van Laerhoven K
      Detecting process transitions from wearable sensors: An unsupervised labeling approach
      2017 ACM International Conference Proceeding Series, volume: Part F1319
    • Neuhaus Klaus, Landstorfer Richard, Simon Svenja, Schober Steffen, Wright Patrick, Smith Cameron, Backofen Rolf, Wecko Romy, Keim Daniel, Scherer Siegfried
      Differentiation of ncRNAs from small mRNAs in Escherichia coli O157:H7 EDL933 (EHEC) by combined RNAseq and RIBOseq - ryhB encodes the regulatory RNA RyhB and a peptide, RyhP
      2017 BMC Genomics, volume: 18, issue: 1
    • Nima Sedaghat,, A. Mahabal
      Effective Image Differencing with ConvNets for Real-time Transient Hunting
      2017 Mon Not R Astron Soc
       
      Download file
    • Gabriel Leivas Oliveira,, C. Bollen,, W. Burgard,, Thomas Brox
      Efficient and Robust Deep Networks for Semantic Segmentation
      2017 Int J Robot Res
       
      Download file
    • O. Makansi,, Eddy Ilg,, Thomas Brox
      End-to-End Learning of Video Super-Resolution with Motion Compensation
      2017
       
      Download file
    • Kaiser, A. (in press)
      Estudios de género y producción del género por las neurosciencias.
      2017 In C. Mora, A. Kottow, M. Ceballos, V. Osses (Eds.), Investigación, Políticas y Programas de Género.
    • Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker
      Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG
      2017 J Electron Test, volume: 33, issue: 6, pages: 751 - 767
    • 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
    • Bryant, K., Grossi, G., Kaiser, A. (accepted)
      Feminist Interventions on the Sex/Gender Question in Broca’s Area.
      2017 The Scholar & Feminist Online; published by the Barnard Center for research on women.
    • Eddy Ilg,, Nikolaus Mayer,, Tonmoy Saikia,, Margret Keuper,, Alexey Dosovitskiy,, Thomas Brox
      FlowNet 2.0: Evolution of Optical Flow Estimation with Deep Networks
      2017
       
      Download file
    • Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
      From DQBF to QBF by Dependency Elimination
      2017 Melbourne, VIC, Australia Int'l Conf. on Theory and Applications of Satisfiability Checking, Serge Gaspers and Toby Walsh, volume: 10491, pages: 326 - 343
    • Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
      From DQBF to QBF by Dependency Elimination
      2017 International Conference on Theory and Applications of Satisfiability Testing (SAT), issue: 10491, pages: 326 - 343
    • Benjamin Ummenhofer,, Thomas Brox
      Global, Dense Multiscale Reconstruction for a Billion Points
      2017 Int J Comput Vision, volume: 125, issue: 1-3, pages: 82 - 94
       
      Download file
    • Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker
      HQSpre - An Effective Preprocessor for QBF and DQBF
      2017 Uppsala, Sweden International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part I, Axel Legay and Tiziana Margaria, volume: 10205, pages: 373 - 390
    • 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
    • Hübner David, Kindermans Pieter-Jan, Verhoeven Thibault, Tangermann Michael
      Improving learning from label proportions by reducing the feature dimensionality
      2017 Proceedings of the 7th International Brain-Computer Interface Meeting 2017: From Vision to Reality, Verlag der Technischen Universität Graz, pages: 186 - 191
    • Verhoeven Thibault, Hübner David, Tangermann Michael, Müller Klaus-Robert, Dambre Joni, Kindermans Pieter-Jan
      Improving zero-training brain-computer interfaces by mixing model estimators
      2017 Journal of Neural Engineering, volume: 14, issue: 3, page: 036021
    • Mann Martin, Wright Patrick, Backofen Rolf
      IntaRNA 2.0: enhanced and customizable prediction of RNA-RNA interactions
      2017 Nucleic Acids Res, volume: 45, issue: W1, pages: W435 - W439
    • E. Levinkov,, Jonas Uhrig,, S. Tang,, M. Omran,, E. Insafutdinov,, A. Kirillov,, C. Rother,, Thomas Brox,, B. Schiele,, B. Andres
      Joint Graph Decomposition & Node Labeling: Problem, Algorithms, Applications
      2017
       
      Download file
    • 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, volume: 95, issue: 7, pages: 1357 - 1359
    • Gruning Bjorn, Rasche Eric, Rebolledo-Jaramillo Boris, Eberhard Carl, Houwaart Torsten, Chilton John, Coraor Nate, Backofen Rolf, Taylor James, Nekrutenko Anton
      Jupyter and Galaxy: Easing entry barriers into complex data analyses for biomedical researchers
      2017 PLoS Comput Biol, volume: 13, issue: 5
    • Hübner David, Verhoeven Tibault, Schmid Konstantin, Müller Klaus-Robert, Tangermann Michael, Kindermans Pieter-Jan
      Learning from Label Proportions in Brain-Computer Interfaces: Online Unsupervised Learning with Guarantees
      2017 ArXiv e-prints
    • Hübner David, Verhoeven Thibault, Schmid Konstantin, Müller Klaus-Robert, Tangermann Michael, Kindermans Pieter-Jan
      Learning from label proportions in brain-computer interfaces: online unsupervised learning with guarantees
      2017 PloS one, volume: 12, issue: 4, page: e0175856
    • Christian Zimmermann,, Thomas Brox
      Learning to Estimate 3D Hand Pose from Single RGB Images
      2017
       
      Download file
    • Alexey Dosovitskiy,, J. Springenberg,, Maxim Tatarchenko,, Thomas Brox
      Learning to Generate Chairs, Tables and Cars with Convolutional Networks
      2017 Ieee T Pattern Anal, volume: 39, issue: 4, pages: 692 - 705
       
      Download file
    • Scholl P, Van Laerhoven K
      Lessons learned from designing an instrumented lighter for assessing smoking status
      2017 UbiComp/ISWC 2017 - Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers
    • Scholl P, Van Laerhoven K
      Lessons learned from designing an instrumented lighter for assessing smoking status
      2017 UbiComp/ISWC 2017 - Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers
    • Yuliya Butkova, Ralf Wimmer, Holger Hermanns
      Long-run Rewards for Markov Automata
      2017 Uppsala, Sweden International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part II, Axel Legay and Tiziana Margaria, volume: 10206, pages: 188 - 203
    • Nicastro Giuseppe, Candel Adela, Uhl Michael, Oregioni Alain, Hollingworth David, Backofen Rolf, Martin Stephen, Ramos Andres
      Mechanism of beta-actin mRNA Recognition by ZBP1
      2017 Cell Rep, volume: 18, issue: 5, pages: 1187 - 1199
    • Weidenbach Katrin, Nickel Lisa, Neve Horst, Alkhnbashi Omer, Kunzel Sven, Kupczok Anne, Bauersachs Thorsten, Cassidy Liam, Tholey Andreas, Backofen Rolf, Schmitz Ruth
      MetSV, a novel archaeal lytic virus targeting Methanosarcina strains
      2017 J Virol
    • Hübner David, Verhoeven Thibault, Kindermans Pieter-Jan, Tangermann Michael
      Mixing two unsupervised estimators for event-related potential decoding: An online evaluation
      2017 Proceedings of the 7th International Brain-Computer Interface Meeting 2017: From Vision to Reality, Verlag der Technischen Universität Graz, pages: 198 - 203
    • Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Kaoten, Becker B
      Motion Planning under Partial Observability using Game-Based Abstraction
      2017 Melbourne, VIC, Australia 56th IEEE Conf. on Decision and Control (CDC), pages: 2201 - 2208
    • Maxim Tatarchenko,, Alexey Dosovitskiy,, Thomas Brox
      Octree Generating Networks: Efficient Convolutional Architectures for High-resolution 3D Outputs
      2017
       
      Download file
    • Robert Mattmüller, Florian Geißer, Benedict Wright, Bernhard Nebel
      On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning
      2017
    • Scholl P, Van Laerhoven K
      On the statistical properties of body-worn inertial motion sensor data for identifying sensor modality
      2017 Proceedings - International Symposium on Wearable Computers, ISWC, volume: Part F1305
    • Scholl P, Van Laerhoven K
      On the statistical properties of body-worn inertial motion sensor data for identifying sensor modality
      2017 Proceedings - International Symposium on Wearable Computers, ISWC, volume: Part F1305
    • Nima Sedaghat,, Mohammadreza, Zolfaghari,, E. Amiri,, Thomas Brox
      Orientation-boosted voxel nets for 3D object recognition
      2017
       
      Download file
    • Bast H, Buchhold B, Haussmann E
      Overview of the Triple Scoring Task at the WSDM Cup 2017
      2017
    • Daume Michael, Uhl Michael, Backofen Rolf, Randau Lennart
      RIP-Seq Suggests Translational Regulation by L7Ae in Archaea
      2017 MBio, volume: 8, issue: 4
    • Backofen Rolf, Engelhardt Jan, Erxleben Anika, Fallmann Jorg, Gruning Bjorn, Ohler Uwe, Rajewsky Nikolaus, Stadler Peter
      RNA-bioinformatics: Tools, services and databases for the analysis of RNA-based regulation
      2017 J Biotechnol, volume: 261, pages: 76 - 84
    • Miladi Milad, Junge Alexander, Costa Fabrizio, Seemann Stefan, Hull Havgaard Jakob, Gorodkin Jan, Backofen Rolf
      RNAscClust: clustering RNA sequences using structure conservation and graph based motifs
      2017 Bioinformatics, volume: 33, issue: 14, pages: 2089 - 2096
    • Mummadi C, Kasireddy S, Peter Leo F, Scholl P, Verma K, Van Laerhoven K
      Real-time embedded recognition of sign language alphabet fingerspelling in an IMU-based glove
      2017 ACM International Conference Proceeding Series, volume: Part F1319
    • Mummadi C, Kasireddy S, Peter Leo F, Scholl P, Verma K, Van Laerhoven K
      Real-time embedded recognition of sign language alphabet fingerspelling in an IMU-based glove
      2017 ACM International Conference Proceeding Series, volume: Part F1319
    • J. Peter,, R. Sandkamp,, L. Minkova,, L. Schumacher,, C. Kaller,, Ahmed Abdulkadir,, S. Kloeppel
      Real-world navigation in amnestic mild cognitive impairment - The relation to visuospatial memory and volume of hippocampal subregions
      2017 Neuropsychologia, volume: 109, pages: 86 - 94
       
      Download file
    • Fallmann Jorg, Will Sebastian, Engelhardt Jan, Gruning Bjorn, Backofen Rolf, Stadler Peter
      Recent advances in RNA folding
      2017 J Biotechnol, volume: 261, pages: 97 - 104
    • Y. He,, W. Chiu,, Margret Keuper,, M. Fritz
      STD2P: RGBD Semantic Segmentation Using Spatio-Temporal Data Driven Pooling
      2017
       
      Download file
    • 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 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Meurisch C, Naeem U, Scholl P, Azam M, Günther S, Baumann P, Réhman S, Mühlhäuser M
      Smartguidance’17:2nd workshop on intelligent personal support of human behavior
      2017 UbiComp/ISWC 2017 - Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers
    • Meurisch C, Naeem U, Scholl P, Azam M, Günther S, Baumann P, Réhman S, Mühlhäuser M
      Smartguidance’17:2nd workshop on intelligent personal support of human behavior
      2017 UbiComp/ISWC 2017 - Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers
    • Jonas Uhrig,, N. Schneider,, L. Schneider,, U. Franke,, Thomas Brox,, A. Geiger
      Sparsity Invariant CNNs
      2017
       
      Download file
    • Robert Bensch,, N. Scherf,, J. Huisken,, Thomas Brox,, Olaf Ronneberger
      Spatiotemporal Deformable Prototypes for Motion Anomaly Detection
      2017 Int J Comput Vision, volume: 122, issue: 3, pages: 502 - 523
       
      Download file
    • Michael Kochte, Sauer M, Laura Rodriguez Gomez, Raiola P, Becker B, Hans-Joachim Wunderlich
      Specification and verification of security in reconfigurable scan networks
      2017 IEEE European Test Symposium
    • Reimann Viktoria, Alkhnbashi Omer, Saunders Sita, Scholz Ingeborg, Hein Stephanie, Backofen Rolf, Hess Wolfgang
      Structural constraints and enzymatic promiscuity in the Cas6-dependent generation of crRNAs
      2017 Nucleic Acids Res, volume: 45, issue: 2, pages: 915 - 925
    • Castano-Candamil Sebastian, Tangermann Michael
      Subspace Decomposition in the Frequency Domain
      2017 Proceedings of the 7th Graz Brain-Computer Interface Conference (GBCIC 2017), Verlag der Technischen Universität Graz, pages: 64 - 69
    • Gruning Bjorn, Fallmann Jorg, Yusuf Dilmurat, Will Sebastian, Erxleben Anika, Eggenhofer Florian, Houwaart Torsten, Batut Berenice, Videm Pavankumar, Bagnacani Andrea, Wolfien Markus, Lott Steffen, Hoogstrate Youri, Hess Wolfgang, Wolkenhauer Olaf, Hoffmann Steve, Akalin Altuna, Ohler Uwe, Stadler Peter, Backofen Rolf
      The RNA workbench: best practices for RNA and high-throughput sequencing bioinformatics in Galaxy
      2017 Nucleic Acids Res, volume: 45, issue: W1, pages: W560 - W566
    • 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
    • Schellenberg, D., Kaiser, A.
      The sex/gender distinction: Beyond F and M., in: APA Handbook of the Psychology of Women, Eds: Cheryl B. Travis, Jacquelyn W. White, Alexandra Rutherford, Wendi S. Williams.
      2017 American Psychological Association, pages: 165 - 187
    • Meinel Andreas, Lotte Fabien, Tangermann Michael
      Tikhonov Regularization Enhances EEG-Based Spatial Filtering For Single-Trial Regression
      2017 Graz, Austria Proceedings of the 7th Graz Brain-Computer Interface Conference 2017, Verlag der Technischen Universität Graz, pages: 308 - 313
    • Gabriel Leivas Oliveira,, N. Radwan,, W. Burgard,, Thomas Brox
      Topometric Localization with Deep Learning
      2017
       
      Download file
    • 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
    • Haussmann E
      Towards Precise and Convenient Semantic Search on Text and Knowledge Bases
      2017
    • Bernd Becker, Christoph Scholl, Ralf Wimmer
      Verification of Incomplete Designs
      In: Formal System Verification - State of the Art and Future Trends
      2017, Springer, Rolf Drechsler, pages: 37 - 72, Rolf Drechsler, ISBN: 978-3-319-57683-1
    • 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
    • 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
      Sci Comput Program, issue: 148, pages: 123 - 160, 2017
    • Huggins Jane, Guger Christoph, Ziat Mounia, Zander Thorsten, Taylor Denise, Tangermann Michael, Soria-Frisch Aureli, Simeral John, Scherer Reinhold, Rupp Rüdiger, Ruffini Giulio, Robinson Douglas, Ramsey Nick, Nijholt Anton, Müller-Putz Gernot, McFarland Dennis, Mattia Donatella, Lance Brent, Kindermans Pieter-Jan, Iturrate Inąaki, Herff Christian, Gupta Disha, Do An, Collinger Jennifer, Chavarriaga Ricardo, Chase Steven, Bleichner Martin, Batista Aaron, Anderson Charles, Aarnoutse Erik
      Workshops of the Sixth International Brain-Computer Interface Meeting: brain-computer interfaces past, present, and future
      2017 Brain-Computer Interfaces, volume: 4, issue: 1-2, pages: 3 - 36
    • Prasse Daniela, Förstner Konrad, Jäger Dominik, Backofen Rolf, Schmitz Ruth
      sRNA154 a newly identified regulator of nitrogen fixation in Methanosarcina mazei strain Go1
      2017 RNA Biol, volume: 13, issue: 11, pages: 1544 - 58

    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, pages: 3714 - 3721
    • 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
    • Tobias Schubert, Isabel Dahlhausen
      Pilotkurs Schlüsseltechnologien der vernetzten Produktion – Wissenschaftliche Weiterbildung für Ingenieure und Ingenieurinnen, Fach‐ & Führungskräfte im Bereich Industrie 4.0
      2016 DGWF-Jahrestagung 2016, pages: 142 - 143
    • 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
    • Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
      A Flexible Framework for the Automatic Generation of SBST Programs
      2016 IEEE Transactions on Very Large Scale Integration (VLSI) Systems, volume: 24, issue: 10, pages: 3055 - 3066
    • 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)
    • Scholl Philipp, Van Laerhoven Kristof
      A Multi-Media Exchange Format for Time-Series Dataset Curation
      2016 UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing
    • Scholl Philipp, Van Laerhoven Kristof
      A Multi-Media Exchange Format for Time-Series Dataset Curation
      2016 UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing
    • 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)
    • Marrett Karl, Wronkiewicz Mark, Tangermann Michael, Lee Adrian
      A User-Focused Study of Auditory P300 Brain-Computer Interface Design
      2016 Asilomar Conference Center, Pacific Grove, California, USA Proceedings of the 6th International Brain-Computer Interface Meeting: BCI Past, Present, and Future, Verlag der Technischen Universität Graz, pages: 17 - 17
    • Scholl P, Van Laerhoven K
      A multi-media exchange format for time-series dataset curation
      2016 UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing
    • Scholl P, Van Laerhoven K
      A multi-media exchange format for time-series dataset curation
      2016 UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing
    • Musso Mariacristina, Bamdadian Atieh, Denzer Simone, Umarova Roza, Hübner David, Tangermann Michael
      A novel BCI based rehabilitation approach for aphasia rehabilitation
      2016 Asilomar Conference Center, Pacific Grove, California, USA Proceedings of the 6th International Brain-Computer Interface Meeting: Past, Present, and Future, Verlag der Technischen Universität Graz, pages: 104 - 104
    • 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
    • , volume: 421
      Advances in Intelligent Systems and Computing
      Van Laerhoven K, Scholl P
    • , volume: 421
      Advances in Intelligent Systems and Computing
      Van Laerhoven K, Scholl P
    • 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
    • Schwabe Nils, Scholl Philipp, Van Laerhoven Kristof
      An Ad-Hoc Capture System for Augmenting Non-Digital Water Meters
      2016 Proceedings of the 6th International Conference on the Internet of Things
    • Schwabe Nils, Scholl Philipp, Van Laerhoven Kristof
      An Ad-Hoc Capture System for Augmenting Non-Digital Water Meters
      2016 Proceedings of the 6th International Conference on the Internet of Things
    • 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
    • Umarova Roza, Castaño-Candamil Sebastián, Bamdadian Atieh, Kübel Sebastian, Musso Mariacristina, Kloeppel Stefan, Tangermann Michael
      BCI-Approach for Cognitive Rehabilitation in Stroke: Pilot Data from Patient with Spatial Neglect
      2016 Asilomar Conference Center, Pacific Grove, California, USA Proceedings of the 6th International Brain-Computer Interface Meeting: BCI Past, Present, and Future, Verlag der Technischen Universität Graz, pages: 135 - 135
    • 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
    • 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
    • Castaño-Candamil Sebastián, Coenen Volker, Reinacher Peter, Piroth Tobias, Tangermann Michael
      EP 65. DBS-induced alpha desynchronization in the subthalamic nucleus of PD patients
      2016 Clin Neurophysiol, Elsevier, volume: 127, issue: 9, pages: e202 - e203
    • Castaño-Candamil Sebastián, Bamdadian Atieh, Kübel Sebastian, Umarova Roza, Tangermann Michael
      ERP Features Correlate with Reaction Time in a Covert-Attention Task
      2016 Asilomar Conference Center, Pacific Grove, California, USA Proceedings of the 6th International Brain-Computer Interface Meeting: BCI Past, Present, and Future, Verlag der Technischen Universität Graz, pages: 179 - 179
    • Bamdadian Atieh, Denzer Simone, Musso Cristina, Tangermann Michael
      ERP Responses of the Elderly for Bisyllabic Word Stimuli
      2016 Asilomar Conference Center, Pacific Grove, California, USA Proceedings of the 6th International Brain-Computer Interface Meeting: BCI Past, Present, and Future, Verlag der Technischen Universität Graz, pages: 180 - 180
    • 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
    • Mashhadi Afra, Acer Utku, Boran Aidan, Scholl Philipp, Forlivesi Claudio, Vanderhulst Geert, Kawsar Fahim
      Exploring space syntax on entrepreneurial opportunities with Wi-Fi analytics
      2016 Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing - UbiComp ’16
    • Mashhadi Afra, Acer Utku, Boran Aidan, Scholl Philipp, Forlivesi Claudio, Vanderhulst Geert, Kawsar Fahim
      Exploring space syntax on entrepreneurial opportunities with Wi-Fi analytics
      2016 Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing - UbiComp ’16
    • 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)
    • Hoppmann Anselm, Schlosser Pascal, Backofen Rolf, Lausch Ekkehart, Kottgen Anna
      GenToS
      2016 PLoS One, volume: 11, issue: 9
    • 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.
    • Meinel Andreas, Eggensperger Katharina, Tangermann Michael, Hutter Frank
      Hyperparameter Optimization for Machine Learning Problems in BCI
      2016 Asilomar Conference Center, Pacific Grove, California, USA Proceedings of the 6th International Brain-Computer Interface Meeting: BCI Past, Present, and Future, Verlag der Technischen Universität Graz, pages: 184 - 184
    • Van Laerhoven Kristof, Scholl Philipp
      Interrupts Become Features: Using On-Sensor Intelligence for Recognition Tasks
      In: Embedded Engineering Education
      2016, Cham Springer International Publishing,
    • Van Laerhoven Kristof, Scholl Philipp
      Interrupts Become Features: Using On-Sensor Intelligence for Recognition Tasks
      In: Embedded Engineering Education
      2016, Cham Springer International Publishing,
    • 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)
    • Meyer Johannes, Meinel Andreas, Schreiner Thomas, Rasch Björn, Tangermann Michael
      P26 Versuchspersonenunabhängige Single-Trial-Erkennung von langsamen Wellen im Schlaf-EEG
      2016 Somnologie, volume: 20, issue: 1, pages: 75 - 76
    • 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
    • Meinel Andreas, Castaño-Candamil Sebastián, Reis Janine, Tangermann Michael
      Pre-Trial EEG-based Single-Trial Motor Performance Prediction to Enhance Neuroergonomics for a Hand Force Task
      2016 Frontiers in Human Neuroscience, volume: 10, issue: 170

       
      Download file
    • Theiss Marian, Scholl Philipp
      Predicting Grasps with a Wearable Inertial and EMG Sensing Unit for Low-Power Detection of In-Hand Objects
      2016 Augmented Human
    • Theiss Marian, Scholl Philipp
      Predicting Grasps with a Wearable Inertial and EMG Sensing Unit for Low-Power Detection of In-Hand Objects
      2016 Augmented Human
    • Meinel Andreas, Schlichtmann Eva, Koller Torsten, Reis Janine, Tangermann Michael
      Predicting Single-Trial Motor Performance from Oscillatory EEG in Chronic Stroke Patients
      2016 Asilomar Conference Center, Pacific Grove, California, USA Proceedings of the 6th International Brain-Computer Interface Meeting: BCI Past, Present, and Future, Verlag der Technischen Universität Graz, pages: 140 - 140
    • 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
    • Del Vecchio Giorgia, De Vito Francesca, Saunders Sita, Risi Adele, Mannironi Cecilia, Bozzoni Irene, Presutti Carlo
      RNA-binding protein HuR and the members of the miR-200 family play an unconventional role in the regulation of c-Jun mRNA
      2016 RNA, volume: 22, issue: 10, pages: 1510 - 21
    • 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)
    • Castaño-Candamil Sebastián, Dähne Sven, Tangermann Michael
      Relevant Frequency Estimation in EEG Recordings for Source Power Co-Modulation
      2016 Asilomar Conference Center, Pacific Grove, California, USA Proceedings of the 6th International Brain-Computer Interface Meeting: BCI Past, Present, and Future, Verlag der Technischen Universität Graz, pages: 156 - 156
    • Scholl Philipp, Van Laerhoven Kristof
      Remind - Towards a Personal Remembrance Search Engine for Motion Augmented Multi-Media Recordings
      2016 MUM 2016 - Proceedings of the international 2016 Conference on Multimedia and Ubiquitous Systems
    • Scholl Philipp, Van Laerhoven Kristof
      Remind - Towards a Personal Remembrance Search Engine for Motion Augmented Multi-Media Recordings
      2016 MUM 2016 - Proceedings of the international 2016 Conference on Multimedia and Ubiquitous Systems
    • 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
    • Bast H, Delling D, Goldberg A, Müller-Hannemann M, Pajor T, Sanders P, Wagner D, Werneck R
      Route Planning in Transportation Networks
      In: Algorithm Engineering
      2016, Springer, Lasse Kliemann, Peter Sanders, pages: 19 - 80, Lasse Kliemann, Peter Sanders, ISBN: 978-3-319-49486-9
    • 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
    • Kaiser, A.
      Sex/Gender Matters and Sex/Gender Materialities in the Brain.
      2016 In V. Pitts-Taylor (Ed.), Mattering: Feminism, Science and Materialism, pages: 123 - 139
    • 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
    • de Araujo Oliveira Joao, Costa Fabrizio, Backofen Rolf, Stadler Peter, Machado Telles Walter Maria, Hertel Jana
      SnoReport 2.0
      2016 BMC Bioinformatics, volume: 17, issue: Suppl 18
    • 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
    • Stangler D, Mann M, Kahle H.-P., Rosskopf E, Fink S, Spiecker H
      Spatiotemporal alignment of radial tracheid diameter profiles of submontane Norway spruce
      2016 Dendrochronologia, volume: 37, pages: 33 - 45
    • 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
    • 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/
    Personal tools