Uni-Logo
Sie sind hier: Startseite Research all Publications IIF
Artikelaktionen

all Publications IIF

back to publications of last two years.

 


Years: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1983 | 1982

    2017

    Icon: top back to the year overview
    • 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
    • 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)
    • 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
    • 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
    • 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
    • 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
    • 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.
    • 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.
    • 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
    • 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
    • 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
    • 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
    • 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
    • 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
    • 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
    • Dischellenberg, D., Kaiser, A.
      The sex/gender distinction: Beyond F and M.
      2017 In C. Travis & J. W. White (Eds.), APA Handbook of the Psychology of Women, 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
    • 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
    • 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

    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)
    • 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
    • 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
    • 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
    • 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
    • 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
    • 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.
    • 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
    • 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
    • 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
    • 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)
    • 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
    • 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

    2015

    Icon: top back to the year overview
    • Fabian Kuhn, Anisur Rahaman Molla
      Distributed Sparse Cut Approximation
      2015 19th Int. Conf. on Principles of Distributed Systems (OPODIS), Rennes, France
    • Mohamad Ahmadi, Abdolhamid Ghodselahi, Fabian Kuhn, Anisur Rahaman Molla
      The Cost of Global Broadcast in Dynamic Radio Networks
      2015 19th Int. Conf. on Principles of Distributed Systems (OPODIS), Rennes, France
    • Schätzle A, Przyjaciel-Zablocki M, Skilevic S, Lausen G
      S2RDF: RDF Querying with SPARQL on Spark
      2015
    • Abdolhamid Ghodselahi, Fabian Kuhn
      Serving Online Requests with Mobile Servers
      2015 26th Int. Symp. on Algorithms and Computation (ISAAC), Nagoya, Japan

       
      Download file as PDF
    • Burget Felix, Maurer Christoph, Burgard Wolfram, Bennewitz Maren
      Learning Motor Control Parameters for Motion Strategy Analysis of Parkinson’s Disease Patients
      2015 International Conference on Intelligent Robots and Systems/Hamburg IEEE/RSJ International Conference on Intelligent Robots and Systems, IEEE, volume: 1, issue: 1, pages: 5019 - 5025

       
      Download file as PDF
    • Jan Burchard, Tobias Schubert, Bernd Becker
      Laissez-Faire Caching for Parallel #SAT Solving
      2015 International Conference on Theory and Applications of Satisfiability Testing, volume: 9340, pages: 46 - 61
    • Fabian Kuhn, Sebastian Daum, Yannic Maus
      Brief Announcement: Rumor Spreading with Bounded In-Degree
      2015 26th Int. Symp. on Distributed Computing (DISC), Tokyo, Japan

       
      Download file
    • Sebastian Daum, Fabian Kuhn
      Tight Bounds for MIS in Multichannel Radio Networks
      2015 26th Int. Symp. on Distributed Computing (DISC), Tokyo, Japan
    • Funke S, Storandt S
      Provable Efficiency of Contraction Hierarchies with Randomized Preprocessing
      2015 ISAAC
    • Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
      An Empirical Perspective on Ten Years of QBF Solving
      2015 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2015), CEUR-WS.org, volume: 1451, pages: 62 - 75
       
      Download file as PDF
    • Storandt S
      Approximation Algorithms in the Successive Hitting Set Model
      2015 ISAAC
    • Bast H, Storandt S, Weidner S
      Fine-Grained Population Estimation
      2015 GIS
    • Storandt S, Funke S
      Personalized Route Planning in Road Networks
      2015 GIS
    • Alzoghbi A, Arrascue Ayala A, Fischer P, Lausen G
      PubRec: Recommending Publications Based on Publicly Available Meta-Data
      2015 LWA 2015: Trier, Germany , pages: 11 - 18
    • Arrascue Ayala A, Alzoghbi A, Przyjaciel-Zablocki M, Schätzle A, Lausen G
      Speeding up Collaborative Filtering with Parametrized Preprocessing
      2015 In Proc. of the 6th International Workshop on Social Recommender Systems (SRS 2015), in conjunction with the 2015 ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2015). Sydney, Aust
    • Bast H, Haussmann E
      More Accurate Question Answering on Freebase
      2015 CIKM

       
      Download file
    • Seth Gilbert, Fabian Kuhn, Calvin Newport, Chaodong Zheng
      Efficient Communication in Cognitive Radio Networks
      2015 34th ACM Symp. on Principles of Distributed Computing (PODC), San Sebastián, Spain
    • Mohsen Ghaffari, Andreas Karrenbauer, Fabian Kuhn, Christoph Lenzen, Boaz Patt-Shamir
      Near-Optimal Distributed Maximum Flow: Extended Abstract
      2015 34th ACM Symp. on Principles of Distributed Computing (PODC), San Sebastián, Spain
    • Przyjaciel-Zablocki M, Schätzle A, Lausen G
      TriAL-QL: Distributed Processing of Navigational Queries
      2015 18. WebDB 2015: Melbourne, VIC, Australia , pages: 48 - 54
    • Burget Felix, Bennewitz Maren
      Stance Selection for Humanoid Grasping Tasks by Inverse Reachability Maps
      2015 IEEE International Conference on Robotics and Automation/Seattle, USA IEEE International Conference on Robotics and Automation, IEEE, volume: 1, issue: 1, pages: 5669 - 5674

       
      Download file as PDF
    • Linus Feiten, Tobias Martin, Matthias Sauer, Bernd Becker
      Improving RO-PUF Quality on FPGAs by Incorporating Design-Dependent Frequency Biases
      2015 IEEE European Test Symposium
    • Storandt S, Funke S, Schirrmeister R
      Automatic Extrapolation of Missing Road Network Data in OpenStreetMap
      2015 MUD@ICML
    • Kohei Miyase, Matthias Sauer, Bernd Becker, Xiaoqing Wen, Seiji Kajihara
      Identification of High Power Consuming Areas with Gate Type and Logic Level Information
      2015 IEEE European Test Symposium
    • Bast H, Buchhold B, Haussmann E
      Relevance Scores for Triples from Type-Like Relations
      2015 SIGIR .

       
      Download file
    • Fischer P, Lausen G, Schätzle A, Schmidt M
      RDF Constraint Checking
      2015 EDBT/ICDT Workshops 2015: , pages: 205 - 212
    • Funke S, Schirrmeister R, Skilevic S, Storandt S
      Compass-Based Navigation in Street Networks
      2015 W2GIS
    • Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
      On the Automatic Generation of SBST Test Programs for In-Field Test
      2015 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”
    • Keren Censor-Hillel, Mohsen Ghaffari, George Giakkoupis, Bernhard Haeupler, Fabian Kuhn
      Tight Bounds on Vertex Connectivity Under Vertex Sampling
      2015 26th ACM-SIAM Symp. on Discrete Algorithms (SODA), San Diego CA, USA
    • Atish Das Sarma, Anisur Rahaman Molla, Gopal Pandurangan
      Distributed Computation of Sparse Cuts via Random Walks
      2015 16th International Conference on Distributed Computing and Networking (ICDCN), Goa, India
    • Drayer B., Brox T.
      Combinatorial Regularization of Descriptor Matching for Optical Flow Estimation
      2015 British Machine Vision Conference (BMVC)
       
      Download file as PDF
    • Frank B., Ruhnke M., Tatarchenko M., Burgard W.
      3D-Reconstruction of Indoor Environments from Human Activity
      2015 IEEE International Conference on Robotics and Automation (ICRA)
       
      Download file as PDF
    • Holte Robert C, Alkhazraji Yusra, Wehrle Martin
      A Generalization of Sleep Sets Based on Operator Sequence Redundancy
      2015 AAAI Press
    • Bogomolov Sergiy, Schilling Christian, Bartocci Ezio, Batt Grégory, Kong Hui, Grosu Radu
      Abstraction-Based Parameter Synthesis for Multiaffine Systems
      2015 Hardware and Software, Springer, volume: 9434, pages: 19 - 35
    • Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
      Abstraction-based Computation of Reward Measures for Markov Automata
      2015 Mumbai, India Int'l Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI), volume: 8931, pages: 172 - 189
    • Dominik Erb, Michael A. Kochte, Sven Reimer, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
      Accurate QBF-based Test Pattern Generation in Presence of Unknown Values
      2015 Computer-Aided Design of Integrated Circuits and Systems (TCAD)
    • Ens A, Höflinger F, Wendeberg J, Hoppe J, Zhang R, Bannoura A, Reindl Leonhard, Schindelhauer C
      Acoustic Self-Calibrating System for Indoor Smart Phone Tracking
      2015 International Journal of Navigation and Observation, volume: 2015, issue: 1, page: 15
    • Bogomolov Sergiy, Henzinger Thomas, Podelski Andreas, Ruess Jakob, Schilling Christian
      Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks
      2015 Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, Springer, volume: 9308, pages: 77 - 89
    • Kaiser, A., Eppenberger, L., Kuenzli, E., Smieskova, R., Borgwardt, S., Radue, E.W., Bendfeldt, K.
      Age of second language acquisition in multilinguals has an impact on grey matter volume in language-associated brain areas.
      2015 Frontiers in Psychology, 6, page: 638
    • Peer A, Ihmsen M, Cornelis J, Teschner M
      An Implicit Viscosity Formulation for SPH Fluids
      2015 Acm T Graphic, volume: 34, issue: 4, pages: 114:1 - 114:10
    • Maier Lisa-Katharina, Stachler Aris-Edda, Saunders Sita, Backofen Rolf, Marchfelder Anita
      An active immune defense with a minimal CRISPR (clustered regularly interspaced short palindromic repeats) RNA and without the Cas6 protein
      2015 Journal of Biological Chemistry, volume: 290, issue: 7, pages: 4192 - 201
    • Schmitter, D., Roche, A., Marechal, B., Ribes, D., Abdulkadir, A., Bach-Cuadra,M., Daducci, A., Granziera, C., Kloeppel, S., Maeder, P., Meuli, R, Krueger G.
      An evaluation of volume-based morphometry for prediction of mild cognitive impairment and Alzheimers disease
      2015 Neuroimage-clin, volume: 7, pages: 7 - 17
    • Makarova Kira, Wolf Yuri, Alkhnbashi Omer, Costa Fabrizio, Shah Shiraz, Saunders Sita, Barrangou Rodolphe, Brouns Stan, Charpentier Emmanuelle, Haft Daniel, Horvath Philippe, Moineau Sylvain, Mojica Francisco, Terns Rebecca, Terns Michael, White Malcolm, Yakunin Alexander, Garrett Roger, van der Oost John, Backofen Rolf, Koonin Eugene
      An updated evolutionary classification of CRISPR-Cas systems
      2015 Nat Rev Microbiol
    • Linus Feiten, Tobias Martin, Matthias Sauer, Bernd Becker
      Analysis and utilisation of deviations in RO-PUFs under altered FPGA designs
      2015 TRUDEVICE Workshop, Grenoble
    • Kloeppel S., Peter J., Ludl A., Pilatus A., Maier S., Mader I., Heimbach B., Frings L., Egger K., Dukart J., Schroeter M., Perneczky R., Haussermann P., Vach W., Urbach H., Teipel S., Huell M., Abdulkadir A.
      Applying Automated MR-Based Diagnostic Methods to the Memory Clinic - A Prospective Study
      2015 J Alzheimers Dis, volume: 47, issue: 4, pages: 939 - 954
    • Göbelbecker Moritz
      Assisting with Goal Formulation for Domain Independent Planning
      2015 Springer, S. Hölldobler, M. Krötzsch, R. Peñaloza, S. Rudolph, pages: 87 - 99

       
      Download file as PDF
    • Farzan Azadeh, Heizmann Matthias, Hoenicke Jochen, Kincaid Zachary, Podelski Andreas
      Automated Program Verification
      2015 Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, Springer, volume: 8977, pages: 25 - 46
    • Tobias Schubert, Alexis Gkogkidis, Tonio Ball, Wolfram Burgard
      Automatic Initialization for Skeleton Tracking in Optical Motion Capture
      2015 Proc of IEEE International Conference on Robotics and Automation (ICRA), Seattle Proc of. IEEE International Conference on Robotics and Automation
    • Böhmer, Wendelin, Springenberg, Jost Tobias, Boedecker, Joschka, Riedmiller, Martin, Obermayer, Klaus
      Autonomous Learning of State Representations for Control: An Emerging Field Aims to Autonomously Learn State Representations for Reinforcement Learning Agents from Their Real-World Sensor Observations
      2015 Springer Berlin Heidelberg, pages: 1 - 10
    • P. Maity, A. Blount, H. Jumaa, Olaf Ronneberger, B. Lillemeier, M. Reth
      B cell antigen receptors of class IgM and IgD are clustered in different protein islands that are altered during B cell activation
      2015 Sci Signal, volume: 8, issue: ra93
    • Der Andere Verlag, page: 174
      Bekannte Unbekannte - Formale Methoden in Anwesenheit unbekannter Werte
      ISBN: 978-3-86247-569-8
      Sven Reimer
    • Bak Stanley, Bogomolov Sergiy, Greitschus Marius, Johnson Taylor
      Benchmark Generator for Stratified Controllers of Tank Networks
      2015 Seattle, Washington Applied Verification for Continuous and Hybrid Systems Workshop 2015
    • Keller Thomas, Geißer Florian
      Better Be Lucky Than Good: Exceeding Expectations in MDP Evaluation
      2015 AAAI Press
    • Ochs P., Ranftl R., Brox T., Pock T.
      Bilevel Optimization with Nonsmooth Lower Level Problems
      2015 International Conference on Scale Space and Variational Methods in Computer Vision (SSVM) Springer, volume: 9087, pages: 654 - 665
       
      Download file as PDF
    • Majid Khabbazian, Stephane Durocher, Alireza Haghnegahdar, Fabian Kuhn
      Bounding Interference in Wireless Ad Hoc Networks With Nodes in Random Position
      2015 Ieee Acm T Network, volume: 23, issue: 4, pages: 1078 - 1091
    • Bensch R., Ronneberger O
      Cell segmentation and tracking in phase contrast images using graph cut with asymmetric boundary costs
      2015 IEEE International Symposium on Biomedical Imaging , pages: 1220 - 1223
       
      Download file as PDF
    • Kronig Malte, Walter Max, Drendel Vanessa, Werner Martin, Jilg Cordula, Richter Andreas, Backofen Rolf, McGarry David, Follo Marie, Schultze-Seemann Wolfgang, Schule Roland
      Cell type specific gene expression analysis of prostate needle biopsies resolves tumor tissue heterogeneity
      2015 Oncotarget, volume: 6, issue: 2, pages: 1302 - 14
    • Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikučionis, Thomas Strump, Stavros Tripakis
      Co-Simulation of Hybrid Systems with SpaceEx and Uppaal
      2015 11th International Modelica Conference
       
      Download file as PDF
    • Tangermann Michael, Reis Janine, Meinel Andreas
      Commonalities of Motor Performance Metrics are Revealed by Predictive Oscillatory EEG Components
      2015 Lissabon Proceedings of the 3rd International Congress on Neurotechnology, Electronics and Informatics (NEUROTECHNIX), pages: 32 - 38
    • Hagiwara Kehau, Wright Patrick, Tabandera Nicole, Kelman Dovi, Backofen Rolf, Omarsdottir Sesselja, Wright Anthony
      Comparative analysis of the antioxidant properties of Icelandic and Hawaiian lichens
      2015 Environ Microbiol
    • Aldinger Johannes, Mattmüller Robert, Göbelbecker Moritz
      Complexity Issues of Interval Relaxed Numeric Planning
      2015
    • Aldinger J, Mattmüller R, Göbelbecker M
      Complexity of Interval Relaxed Numeric Planning
      2015 Springer, S. Hölldobler, M. Krötzsch, R. Peñaloza, S. Rudolph, pages: 19 - 31

       
      Download file as PDF
    • Engesser Thorsten, Bolander Thomas, Mattmüller Robert, Nebel Bernhard
      Cooperative Epistemic Multi-Agent Planning With Implicit Coordination
      2015
    • Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Maria Ferrer Fioriti, Holger Hermanns, Bernd Becker
      Cost vs. Time in Stochastic Games and Markov Automata
      2015 International Symposium on Dependable Software Engineering: Theory, Tools and Applications (SETTA) Proc. of SETTA, Springer-Verlag, volume: 9409, pages: 19 - 34
    • Thiem Jonas, Mattmüller Robert, Ortlieb Manuela
      Counterexample-Guided Abstraction Refinement for POND Planning
      2015
    • Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
      Counterexamples for Expected Rewards
      2015 Proceedings of the 20th International Symposium on Formal Methods (FM), Springer, volume: 9109, pages: 435 - 452
    • Christ Jürgen, Hoenicke Jochen
      Cutting the Mix
      2015 Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II, Springer, volume: 9207, pages: 37 - 52
    • Alexander Traub-Ens, Joan Bordoy, Johannes Wendeberg, Leonhard Reindl, Christian Schindelhauer
      Data Fusion of Time Stamps and Transmitted Data for unsynchronized Beacons
      2015 Ieee Sens J, volume: 15, issue: 10, pages: 5042 - 5049
    • Preissl Sebastian, Schwaderer Martin, Raulf Alexandra, Hesse Michael, Gruning Bjorn, Kobele Claudia, Backofen Rolf, Fleischmann Bernd, Hein Lutz, Gilsbach Ralf
      Deciphering the Epigenetic Code of Cardiac Myocyte Transcription
      2015 Circ Res
    • Geißer Florian, Keller Thomas, Mattmüller Robert
      Delete Relaxations for Planning with State-Dependent Action Costs
      2015
    • Geißer Florian, Keller Thomas, Mattmüller Robert
      Delete Relaxations for Planning with State-Dependent Action Costs
      2015
    • Minkova,L., Scheller,E., Peter,J., Abdulkadir,A., Kaller,C., Roos,R., Durr,A., Leavit,B., Tabrizi,S., Kloeppel,S.
      Detection of Motor Changes in Huntington Disease Using Dynamic Causal Modeling
      2015 Frontiers, volume: 9, issue: 634, pages: 1 - 13
    • Andisha Ahmad, Wehrle Martin, Westphal Bernd
      Directed Model Checking for PROMELA with Relaxation-Based Distance Functions
      2015 Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, Springer, volume: 9232, pages: 153 - 159
    • Atish Das Sarma, Anisur Rahaman Molla, Gopal Pandurangan
      Distributed computation in dynamic networks via random walks.
      2015 Theor Comput Sci, volume: 581, pages: 45 - 66
    • Franziska Humair, Luc Humair, Fabian Kuhn, Christoph Kueffer
      E-commerce trade in invasive plants
      2015 Conserv Biol, volume: 29, issue: 6, pages: 1658 - 1665
    • Meinel Andreas, Castaño-Candamil Juan Sebastián, Dähne Sven, Reis Janine, Tangermann Michael
      EEG Band Power Predicts Single-Trial Reaction Time in a Hand Motor Task
      2015 Neural Engineering / Montpellier Neural Engineering (NER), 2015 7th International IEEE/EMBS Conference on, IEEE, pages: 182 - 185
    • Keuper M., Levinkov E., Bonneel N., Lavoue G., Andres B., Brox T.
      Efficient Decomposition of Image and Mesh Graphs by Lifted Multicuts
      2015 IEEE International Conference on Computer Vision (ICCV
       
      Download file as PDF
    • Feurer Matthias, Klein Aaron, Eggensperger Katharina, Springenberg Jost, Blum Manuel, Hutter Frank
      Efficient and Robust Automated Machine Learning
      2015
    • Atish Das Sarma, Anisur Rahaman Molla, Gopal Pandurangan
      Efficient random walk sampling in distributed networks.
      2015 J Parallel Distr Com, volume: 77, pages: 84 - 94
    • Frehse Goran, Bogomolov Sergiy, Greitschus Marius, Strump Thomas, Podelski Andreas
      Eliminating spurious transitions in reachability with support functions
      2015 Proceedings of the 18th International Conference on Hybrid Systems, ACM, pages: 149 - 158
    • Watter Manuel, Springenberg Jost, Boedecker Joschka, Riedmiller Martin
      Embed to Control: A Locally Linear Latent Dynamics Model for Control from Raw Images
      2015 , pages: 2728 - 2736
    • Linus Feiten, Matthias Sauer
      Extracting the RC4 secret key of the Open Smart Grid Protocol (OSGP)
      2015 Industrial Control System Security (ICSS) Workshop
    • Dietsch Daniel, Heizmann Matthias, Langenfeld Vincent, Podelski Andreas
      Fairness Modulo Theory
      2015 Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, Springer, volume: 9206, pages: 49 - 66
    • Hoenicke Jochen, Podelski Andreas
      Fairness for Infinitary Control
      2015 Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, Springer, volume: 9360, pages: 33 - 43
    • Atish Das Sarma, Anisur Rahaman Molla, Gopal Pandurangan, Eli Upfal
      Fast distributed PageRank computation.
      2015 Theor Comput Sci, volume: 561, pages: 113 - 121
    • Kaiser, A., Dussauge, I.
      Feminist and Queer Repoliticizations of the Brain.
      2015 EspacesTemps.net, Travaux
    • Dosovitskiy A.,, Fischer P.,, Ilg E.,, Häusser P.,, Hazırbaş C.,, Golkov V.,, Smagt P., Cremers D.,, Brox T.
      FlowNet: Learning Optical Flow with Convolutional Networks
      2015
       
      Download file as PDF
    • Linus Feiten, Matthias Sauer, Tobias Schubert, Victor Tomashevich, Ilia Polian, Bernd Becker
      Formal Vulnerability Analysis of Security Components
      2015 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), volume: 34, issue: 8, pages: 1358 - 1369
    • Thiemann P, Sulzmann M
      From Omega-Regular Expressions to Büchi Automata via Partial Derivatives
      2015 9th International Conference on Language and Automata Theory and Applications LATA 2015 Nice, France LATA 2015
    • Georges Morbé, Christoph Scholl
      Fully symbolic TCTL model checking for complete and incomplete real-time systems
      2015 Science of Computer Programming

       
      Download file as PDF
    • Ummenhofer B., Brox T.
      Global, Dense Multiscale Reconstruction for a Billion Points
      2015 IEEE International Conference on Computer Vision (ICCV)
       
      Download file as PDF
    • Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
      High-level Counterexamples for Probabilistic Automata
      2015 Log Meth Comput Sci (Logical Methods In Computer Science), volume: 11, issue: 1:15, pages: 1 - 23
    • Nguyen Luan, Schilling Christian, Bogomolov Sergiy, Johnson Taylor
      HyRG a random generation tool for affine hybrid automata
      2015 Proceedings of the 18th International Conference on Hybrid Systems, ACM, pages: 289 - 290
    • Dosovitskiy A., Fischer P., Brox T.
      Image Orientation Estimation with Convolutional Networks
      2015 German Conference on Pattern Recognition (GCPR) Pringer 2015
       
      Download file as PDF
    • Andreas Riefert, Matthias Sauer, Sudhakar Reddy, Bernd Becker
      Improving Diagnosis Resolution of a Fault Detection Test Set
      2015 VLSI Test Symposium
    • Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl
      Improving Interpolants for Linear Arithmetic
      2015 13th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer-Verlag, issue: 9364, pages: 48 - 63
    • Karsten Scheibler, Dominik Erb, Bernd Becker
      Improving Test Pattern Generation in Presence of Unknown Values beyond Restricted Symbolic Logic
      2015 to be published at European Test Symposium (ETS)
    • Nikolas Simon, Joan Bordoy, Fabian Höflinger, Johannes Wendeberg, Marc Schink, Robert Tannhäuser, Leonhard Reindl, Christian Schindelhauer
      Indoor Localization System for Emergency Responders with Ultra Low-power Radio Landmarks
      2015 Proc. of 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC), volume: 0, pages: 0 - 0
    • Feurer, M., Springenberg, T., Hutter, F.
      Initializing Bayesian Hyperparameter Optimization via Meta-Learning
      2015 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence
    • Joel, D., Kaiser, A., Richardson, S., Ritz, S., Roy, D,, Subramaniam, B.
      Lab Meeting: A Discussion on experiments and experimentation.
      2015 Catalyst: Feminism, Theory, Technoscience, 1(1), pages: 1 - 12
    • Minkova,L., Eickhoff, S., Abdulkadir,A., Scheller,E., Peter,J., Kaller,C., Roos,R., Lahr, J., Durr,A., Leavitt,B., Tabrizi,S., Klöppel, S.
      Large-scale brain network abnormalities in Huntington disease revealed by structural covariance
      2015 Hum Brain Mapp
    • A.Dosovitskiy, J.T.Springenberg, T.Brox
      Learning to Generate Chairs with Convolutional Neural Networks
      2015 IEEE International Conference on Computer Vision and Pattern Recognition (CVPR)
    • Dosovitskiy A., Springenberg J., Brox T.
      Learning to Generate Chairs with Convolutional Neural Networks
      2015 IEEE International Conference on Computer Vision and Pattern Recognition (CVPR)
       
      Download file as PDF
    • Cornelis J, Ihmsen M, Peer A, Teschner M
      Liquid Boundaries for Implicit Incompressible SPH
      2015 Comput Graph-uk, volume: 52, issue: 1, pages: 72 - 78
    • Feurer M., Klein A., Eggensperger K., Springenberg J., Blum M., Hutter F.
      Methods for Improving Bayesian Optimization for AutoML
      2015 ICML 2015 AutoML Workshop, volume: to appear
       
      Download file as PDF
    • Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer
      Modeling Unknown Values in Test and Verification
      In: Formal Modeling and Verification of Cyber-Physical Systems (Proceedings of the 1st International Summer School on Methods and Tools for the Design of Digital Systems)
      2015, Springer, Rolf Drechsler, Ulrich Kühne, pages: 122 - 150, Rolf Drechsler, Ulrich Kühne, ISBN: 978-3-658-09993-0
    • Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer
      Modeling Unknown Values in Test and Verification
      In: Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems
      2015, Springer Vieweg, pages: 122 - 150, ISBN: 978-3-658-09993-0
    • Nuske P., Ronneberger O., Karadimitriou, N., Helmig, R., HassanizadehS.
      Modelling Two-Phase Flow in a Micro-Model with Local Thermal Non-Equilibrium on the Darcy Scale
      2015 Int J Heat Mass Tran, volume: 88, pages: 822 - 835
    • Keuper M., Andres B., Brox T.
      Motion Trajectory Segmentation via Minimum Cost Multicuts
      2015 IEEE International Conference on Computer Vision (ICCV)
       
      Download file as PDF
    • Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
      Multi-Cycle Circuit Parameter Independent ATPG for Interconnect Open Defects
      2015 33rd VLSI Test Symposium (VTS)
    • Eitel, A., Springenberg, J. T., Spinello, L., Riedmiller, M., Burgard, W.
      Multimodal Deep Learning for Robust RGB-D Object Recognition
      2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Speck David, Ortlieb Manuela, Mattmüller Robert
      Necessary Observations in Nondeterministic Planning
      2015
    • Ochs P., Dosovitskiy A., Brox T., Pock T.
      On iteratively reweighted Algorithms for Non-smooth Non-convex Optimization in Computer Vision
      2015 Siam J Imaging Sci, volume: 8, issue: 1, pages: 331 - 372

       
      Download file as PDF
    • Funke S, Nusser A, Storandt S
      On k-Path Covers and their applications
      2015 Vldb J
    • Westphal Matthias, Wölfl Stefan, Nebel Bernhard, Renz Jochen
      On qualitative route descriptions: Representation, agent models, and computational complexity
      2015 Journal of Philosophical Logic, volume: 44, issue: 2, pages: 177 - 201
    • Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
      On the Automatic Generation of SBST Test Programs for In-Field Test
      2015 Conf. on Design, Automation and Test in Europe
    • Winkler Irene, Debener Stefan, Müller Klaus-Robert, Tangermann Michael
      On the Influence of High-Pass Filtering on ICA-Based Artifact Reduction in EEG-ERP
      2015 Milano Proc. 37th Int. Conf. of the IEEE Eng. in Medicine and Biology Soc. (EMBC), IEEE, pages: 4101 - 4105
    • Castaño-Candamil Sebastián, Meinel Andreas, Reis Janine, Tangermann Michael
      P186. Correlates to influence user performance in a hand motor rehabilitation task
      2015 DGKN Tübingen Clin Neurophysiol, volume: 126, issue: 8, pages: e166 - e167
       
      Download file
    • Matthias Sauer, Bernd Becker, Ilia Polian
      PHAETON: A SAT-based Framework for Timing-aware Path Sensitization
      2015 Ieee T Comput, volume: PP, issue: 99
    • Storandt S, Funke S, Nusser A
      Placement of Loading Stations for Electric Vehicles: No Detours Necessary!
      2015 Journal of Artificial Intelligence, issue: 08

       
      Download file
    • Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
      Preprocessing for DQBF
      2015 Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, volume: 9340, pages: 173 - 190
    • Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
      Preprocessing for DQBF
      2015 10th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer-Verlag, issue: 9340, pages: 173 - 190
    • Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
      Preprocessing for DQBF
      SFB/TR 14 AVACS Technical Report, issue: 110, 2015
    • Castaño-Candamil Juan, Meinel Andreas, Dähne Sven, Tangermann Michael
      Probing Meaningfulness of Oscillatory EEG Components with Bootstrapping, Label Noise and Reduced Training Sets
      2015 Milano Proc. 37th Int. Conf. of the IEEE Eng. in Medicine and Biology Soc. (EMBC), IEEE, pages: 5159 - 5162
    • Farzan A, Kincaid Z, Podelski A
      Proof Spaces for Unbounded Parallelism
      2015 POPL 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages: 407 - 420
    • Herrera Christian, Westphal Bernd
      Quasi-equal Clock Reduction
      2015 Hardware and Software, Springer, volume: 9434, pages: 173 - 189
    • Murakawa Yasuhiro, Hinz Michael, Mothes Janina, Schuetz Anja, Uhl Michael, Wyler Emanuel, Yasuda Tomoharu, Mastrobuoni Guido, Friedel Caroline, Dolken Lars, Kempa Stefan, Schmidt-Supprian Marc, Bluthgen Nils, Backofen Rolf, Heinemann Udo, Wolf Jana, Scheidereit Claus, Landthaler Markus
      RC3H1 post-transcriptionally regulates A20 mRNA and modulates the activity of the IKK/NF-kappaB pathway
      2015 Nat Commun, volume: 6
    • Feo Arenis S, Westphal B, Dietsch D, Marco Muñiz, Siyar Andisha, Podelski A
      Ready for Testing: Ensuring Conformance to Industrial Standards through Formal Verification
      2015 Form Asp Comput
    • Abdo N, Stachniss C, Spinello L, Burgard W
      Robot, Organize my Shelves! Tidying up Objects by Predicting User Preferences
      2015 Proceedings of the IEEE International Conference on Robotics and Automation (ICRA)
    • Nguyen Luan, Schilling Christian, Bogomolov Sergiy, Johnson Taylor
      Runtime Verification for Hybrid Analysis Tools
      2015 Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, Springer, volume: 9333, pages: 281 - 286
    • Will Sebastian, Otto Christina, Miladi Milad, Mohl Mathias, Backofen Rolf
      SPARSE: quadratic time simultaneous alignment and folding of RNAs without sequence-based heuristics
      2015 Bioinformatics
    • Preusse Martin, Marr Carsten, Saunders Sita, Maticzka Daniel, Lickert Heiko, Backofen Rolf, Theis Fabian
      SimiRa: A tool to identify coregulation between microRNAs and RNA-binding proteins
      2015 RNA Biology, volume: 12, issue: 9, pages: 998 - 1009
    • Joan Bordoy, Johannes Wendeberg, Christian Schindelhauer, Leonhard Reindl
      Single Transceiver Device-Free Indoor Localization using Ultrasound Body Reflections and Walls
      2015 Proceedings of 2015 International Conference on Indoor Positioning and Indoor Navigation (IPIN)
    • Valeriy Balabanov, Jie-Hong Roland Jiang Christoph Scholl
      Skolem functions computation for CEGAR based QBF solvers
      2015 International Workshop on Quantified Boolean Formulas
    • Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
      Solving DQBF Through Quantifier Elimination
      2015 Proceedings of Design, Automation & Test in Europe Conference (DATE), pages: 1617 - 1622
    • Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
      Solving DQBF Through Quantifier Elimination
      SFB/TR 14 AVACS Technical Report, issue: 107, 2015
    • Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
      Solving DQBF Through Quantifier Elimination
      2015 Conf. on Design, Automation and Test in Europe
    • Bensch R., Brox T., Ronneberger O
      Spatiotemporal Deformable Prototypes for Motion Anomaly Detection
      2015 British Machine Vision Conference (BMVC)
       
      Download file as PDF
    • Domhan T., Springenberg J., Hutter F.
      Speeding up Automatic Hyperparameter Optimization of Deep Neural Networks by Extrapolation of Learning Curves
      2015 Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), volume: to appear
       
      Download file as PDF
    • Domhan, T., Springenberg, J.~T., Hutter, F.
      Speeding up Automatic Hyperparameter Optimization of Deep Neural Networks by Extrapolation of Learning Curves
      2015 Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)
    • Saltukoglu D., Grünewald J., Strohmeyer N., Bensch R., Ronneberger O, Ulbrich M., Simons M.
      Spontaneous and electric field-controlled front-rear polarization of human keratinocytes
      2015 Mol Biol Cell, volume: 26, issue: 24, pages: 4373 - 4386
    • Bron,E., Smits,M., van der Flier,W., Vrenken,H., Barkhof, F., Scheltens, P., Papma, J., Steketee, R., Méndez Orellana,C., Meijboom,R., Pinto, M., Meireles, J., Garrett,C., Bastos-Leite, A., Abdulkadir A., Ronneberger O., Amoroso N., Bellotti R., Càrdenas-Pena D., Àlvarez-Meza A., Dolph C., Iftekharuddin K., Eskildsen S., Coupé P., Fonov V., Franke K., Gaser C., Ledig C., Guerrero R., Tong T., Gray K., Moradi E., Tohka J., Routier A., Durrleman S., Sarica S., Di Fatta G., Sensi F.
      Standardized evaluation of algorithms for computer-aided diagnosis of dementia based on structural MRI: The CADDementia challenge
      2015 Neuroimage
    • Ortolf C, Schindelhauer C
      Strategies for parallel unaware cleaners
      2015 Theor Comput Sci, volume: 608, issue: 2, pages: 178 - 189

       
      Download file
    • Springenberg, J. T., Dosovitskiy, A., Brox, T., Riedmiller, M.
      Striving for Simplicity: The All Convolutional Net
      2015 arXiv:1412.6806, also appeared at ICLR 2015 Workshop Track
    • Springenberg J., Dosovitskiy A., Brox T., Riedmiller M.
      Striving for Simplicity: The All Convolutional Net
      2015 ICLR (workshop track)
    • Winterer Dominik, Mattmüller Robert, Wehrle Martin
      Stubborn Sets for Fully Observable Nondeterministic Planning
      2015
    • Arlt Stephan, Arenis Sergio, Podelski Andreas, Wehrle Martin
      System Testing and Program Verification
      2015 Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany, GI, volume: 239, pages: 71 - 72
    • D. Epting,, K. Slanchev,, C. Boehlke,, S. Hoff,, N. Loges,, T. Yasunaga,, L. Indorf,, S. Nestel,, S. Lienkamp,, H. Omran,, W. Kuehn,, O. Ronneberger,, G. Walz,, a. Kramer-Zucker
      The Rac1 regulator ELMO controls basal body migration and docking in multiciliated cells through interaction with Ezrin
      2015 Development, volume: 142, issue: 1, pages: 174 - 184
    • Yasunaga T., Hoff S., Schell C., Helmstädter M., Kretz O., Kuechlin S., Yakulov T., Engel C., Müller B., Bensch R., Ronneberger O., Huber T., Lienkamp S., Walz G.
      The polarity protein Inturned links NPHP4 to Daam1 to control the subapical actin network in multiciliated cells
      2015 J Cell Biol, volume: 211, issue: 5, pages: 963 - 973
    • Cass Simon, Haas Karina, Stoll Britta, Alkhnbashi Omer, Sharma Kundan, Urlaub Henning, Backofen Rolf, Marchfelder Anita, Bolt Edward
      The role of Cas8 in type I CRISPR interference
      2015 Bioscience Rep, volume: 35, issue: 3, page: e00197
    • Bannoura A, Ortolf C, Reindl L, Schindelhauer C
      The wake up dominating set problem
      2015 Theor Comput Sci, issue: 0
       
      Download file
    • Müller-Putz Gernot R, Leeb Robert, Tangermann Michael, Höhne Johannes, Kübler Andrea, Cincotti Febo, Mattia Donatella, Rupp Rüdiger, Müller Klaus-Robert, Millán José del R
      Towards Non-Invasive Hybrid Brain-Computer Interfaces: Framework, Practice, Clinical Application and Beyond
      2015 P Ieee, volume: 103, issue: 6, pages: 926 - 943
       
      Download file
    • Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker
      Towards Verification of Artificial Neural Networks
      2015 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
      Transient Reward Approximation for Continuous-Time Markov Chains
      2015 Ieee T Reliab, volume: 64, issue: 4
    • Thomas Janson, Alexander Traub-Ens, Christian Schindelhauer
      Turning Interferences into Noise in Ad Hoc Networks
      2015 Telecommun Syst, pages: 1 - 14
    • Ronneberger O, Fischer P., Brox T.
      U-Net: Convolutional Networks for Biomedical Image Segmentation
      2015 Medical Image Computing and Computer-Assisted Intervention (MICCAI) Springer, volume: 9351, pages: 234 - 241
    • Nutz Alexander, Dietsch Daniel, Mohamed Mostafa, Podelski Andreas
      ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution)
      2015 Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, Springer, volume: 9035, pages: 458 - 460
    • Heizmann Matthias, Dietsch Daniel, Leike Jan, Musa Betim, Podelski Andreas
      Ultimate Automizer with Array Interpolation - (Competition Contribution)
      2015 Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, Springer, volume: 9035, pages: 455 - 457
    • Alexander Ens, Joan Bordoy, Johannes Wendeberg, Leonhard Reindl, Christian Schindelhauer
      Ultrasound Transmission System for TDOA Localization with Unsynchronized Beacons
      2015 Proceedings of the 17th International Conference on Sensors and Measurement Technology/ (SENSOR 2015)
    • Sedaghat N., Brox T.
      Unsupervised Generation of a Viewpoint Annotated Car Dataset from Videos
      2015 IEEE International Conference on Computer Vision (ICCV)
       
      Download file as PDF
    • Christian Miller, Paolo Marin, Bernd Becker
      Verification of Partial Designs Using Incremental QBF
      2015 Ai Commun, volume: 28, issue: 2, pages: 283 - 307
    • Nagaraja N., Schmidt F., Brox T.
      Video Segmentation with Just a Few Strokes
      2015 IEEE International Conference on Computer Vision (ICCV)
       
      Download file as PDF
    • Christ Jürgen, Hoenicke Jochen
      Weakly Equivalent Arrays
      2015 Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, Springer, volume: 9322, pages: 119 - 134
    • Beyer Dirk, Dangl Matthias, Dietsch Daniel, Heizmann Matthias, Stahlbauer Andreas
      Witness validation and stepwise testification across software verifiers
      2015 Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015, ACM, pages: 721 - 733
    • Kleinkauf R, Mann M, Backofen R
      antaRNA - Ant Colony Based RNA Sequence Design
      2015 Bioinformatics, volume: 31, issue: 19, pages: 3114 - 3121
    • Kleinkauf R, Houwaart T, Backofen R, Mann M
      antaRNA - Multi-objective inverse folding of pseudoknot RNA using ant-colony optimization
      2015 BMC Bioinformatics, volume: 16, issue: 1, pages: 1 - 7
    • Ochs P., Brox T., Pock T.
      iPiasco: Inertial Proximal Algorithm for strongly convex Optimization
      2015 J Math Imaging Vis, pages: 1 - 16
       
      Download file as PDF
    • Golkov V., Dosovitskiy A., Sämann P., Sperl J., Sprenger T.,, Czisch M., Menzel M., Gómez P., Haase A., Brox T., Cremers D.
      q-Space Deep Learning for Twelve-Fold Shorter and Model-Free Diffusion MRI Scans
      2015 Medical Image Computing and Computer-Assisted Intervention (MICCAI)
       
      Download file as PDF

    2014

    Icon: top back to the year overview
    • Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
      Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects
      2014 23nd IEEE Asian Test Symposium (ATS)
    • Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
      Incremental Encoding and Solving of Cardinality Constraints
      2014 International Symposium on Automated Technology for Verification and Analysis, Springer International Publishing, volume: 8837, pages: 297 - 313
    • Przyjaciel-Zablocki M, Hornung T, Schätzle A, Gauß S, Taxidou I, Lausen G
      MUSE: A Music Recommendation Management System
      2014 Proc. of the 15th International Society for Music Information Retrieval Conference (ISMIR 2014). Taipei (Taiwan)
    • Schätzle, A, Przyjaciel-Zablocki, M, Neu, A, Lausen, G
      Sempala: Interactive SPARQL Query Processing on Hadoop
      2014 13th International Semantic Web Conference, Riva del Garda, Italy , pages: 164 - 179
    • Koubarakis, M, Stamou, G-B, Stoilos, G, Horrocks, I, Kolaitis, P-G, Lausen, G, Gerhard Weikum
      Reasoning Web. Reasoning on the Web in the Big Data Era
      2014 10th International Summer School 2014, Athens, Greece
    • Koubarakis M, Stamou G, Stoilos G, Horrocks I, Kolaitis P, Lausen G, Weikum G, , Lausen G, Lausen G, Lausen G, Lausen G, Lausen G
      Reasoning Web. Reasoning on the Web in the Big Data Era
      2014 10th International Summer School 2014, Athens, Greece
    • Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker
      QBF with Soft Variables
      2014 International Workshop on Automated Verification of Critical Systems (AVOCS)
    • Andrew Drucker, Fabian Kuhn, Rotem Oshman
      On the Power of the Congested Clique Model
      2014 33rd ACM Symp. on Principles of Distributed Computing (PODC), Paris, France
    • Keren Censor-Hillel, Mohsen Ghaffari, Fabian Kuhn
      Distributed Connectivity Decomposition
      2014 33rd ACM Symp. on Principles of Distributed Computing (PODC), Paris, France
    • Karl Bringman, Fabian Kuhn, Konstantinos Panagiotou, Ueli Peter, Henning Thomas
      Internal DLA: Efficient Simulation of a Physical Growth Model
      2014 41st Int.l Colloquium on Automata, Languages, and Programming (ICALP), Copenhagen, Denmark
    • Arrascue Ayala A, Przyjaciel-Zablocki M, Hornung T, Schätzle A, Lausen G
      Extending SPARQL for Recommendations
      2014 Proc. of the 6th International Workshop on Semantic Web Information Management (SWIM 2014), in conjunction with SIGMOD 2014. Snowbird, Utah (USA)
    • Lausen, G, Schmidt, M
      RDF Data Descriptions
      2014 7. AMW 2014: Cartagena de Indias, Colombia
    • Koenemann Jonas, Burget Felix, Bennewitz Maren
      Real-time Imitation of Human Whole-Body Motions by Humanoids
      2014 IEEE International Conference on Robotics and Automation/Hong Kong,China IEEE International Conference on Robotics and Automation, IEEE, volume: 1, issue: 1, pages: 2806 - 2812

       
      Download file as PDF
    • Alzoghbi A, Fischer P, Gossen A, Haase P, Hornung T, Hu B, Lausen G, Pinkel, c, Schmidt, M
      Durchblick - A Conference Assistance System for Augmented Reality Devices
      2014 In Proc. of the 11th Extended Semantic Web Conference: Posters & Demonstrations Track (ESWC 2014). Heraklion (Greece)
    • Bernd Becker, Rolf Drechsler, Stephan Eggersglüß, Matthias Sauer
      Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization
      2014 International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS)
    • Matthias Sauer, Ilia Polian, Michael E. Imhof, Abdullah Mumtaz, Eric Schneider, Alexander Czutro, Hans-Joachim Wunderlich, Bernd Becker
      Variation-Aware Deterministic ATPG
      2014 IEEE European Test Symposium , pages: 1 - 6
    • Ali L, Janson T, Schindelhauer C
      Towards Load Balancing and Parallelizing of RDF Query Processing in P2P Based Distributed RDF Data Stores
      2014 22nd Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2014). Turin (Italy)
       
      Download file as PDF
    • Matinfar, F, Nematbakhsh,M-A, Lausen, G
      Discovery of RDFS: SeeAlso Patterns in Semantic Web
      2014 , volume: 28, issue: 2
    • Keren Censor-Hillel, Mohsen Ghaffari, Fabian Kuhn
      A New Perspective on Vertex Connectivity
      2014 25th ACM-SIAM Symp. on Discrete Algorithms (SODA), Portland OR, USA
    • Matthias Sauer, Sven Reimer, Sudhakar M. Reddy, Bernd Becker
      Efficient SAT-based Circuit Initialization for Large Designs
      2014 Int'l Conf. on VLSI Design
    • Lampe, Thomas, Fiederer, Lukas D. J., Voelker, Martin, Knorr, Alexander, Riedmiller, Martin, Ball, Tonio
      A Brain-Computer Interface for High-Level Remote Control of an Autonomous, Reinforcement-Learning-Based Robotic System for Reaching and Grasping
      2014 International Conference on Intelligent User Interfaces (IUI 2014)
    • Westphal Matthias, Hué Julien
      A Concise Horn Theory for RCC8
      2014
    • Martin Böhnert, Christoph Scholl
      A Dynamic Virtual Memory Management under Real-Time Constraints
      2014 RTCSA, Chongqing, IEEE
    • Becker-Asano C., Ruzzoli F., Hölscher C., Nebel B.
      A Multi-Agent System based on Unity 4 for virtual perception and wayfinding
      2014 Transportation Research Procedia, volume: 2, pages: 452 - 455
    • Palmieri Luigi, Arras Kai
      A Novel RRT Extend Function for Efficient and Smooth Mobile Robot Motion Planning
      2014 Chicago, USA IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS’14)
    • Ortolf C, Schindelhauer C
      A Recursive Approach to Multi-robot Exploration of Trees
      2014 21th International Colloquium on Structural Information and Communication Complexity, Hida Takayama, Japan Springer, volume: 8576, pages: 343 - 354
       
      Download file
    • Mazuran M, Tipaldi G, Spinello L, Burgard W, Stachniss C
      A Statistical Measure for Map Consistency in SLAM
      2014 Hong Kong, China Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Bender J, Müller M, Otaduy M, Teschner M, Macklin M
      A Survey on Position-based Methods for the Simulation of Solid Objects in Computer Graphics
      2014 Computer Graphics Forum, volume: 33, issue: 6, pages: 228 - 251
    • Kenichi A, Fennell L, Thiemann P, Yang Zhang
      A Type Theoretic Specification for Partial Evaluation.
      2014 Principles and Practice of Declarative Programming
    • Brendel Jutta, Stoll Britta, Lange Sita, Sharma Kundan, Lenz Christof, Stachler Aris-Edda, Maier Lisa-Katharina, Richter Hagen, Nickel Lisa, Schmitz Ruth, Randau Lennart, Allers Thorsten, Urlaub Henning, Backofen Rolf, Marchfelder Anita
      A complex of Cas proteins 5, 6, and 7 is required for the biogenesis and stability of crRNAs in Haloferax volcanii
      2014 Journal of Biological Chemistry, volume: 289, issue: 10, pages: 7164 - 77
    • Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      Accelerating Parametric Probabilistic Verification
      2014 Int'l Conf. on Quantitative Evaluation of Systems (QEST), Springer-Verlag, volume: 8657, page: 404-420
    • Tobias Schubert, Marc Pfeifer, Bernd Becker
      Accurate Controlling of Velocity on a Mobile Robot
      2014 29th International Conference on Computers and Their Applications
    • Fabian Höflinger, Johannes Wendeberg, Joachim Hoppe, Rui Zhang, Alexander Ens, Leonhard Reindl, Christian Schindelhauer
      Acoustic Indoor-Localization System for Smart Phones
      2014 Proceedings of 11th International Multi-Conference on Systems, Signals & Devices (SSD)
    • Leon Kelly, Boulo Thomas, Musnier Astrid, Morales Julia, Gauthier Christophe, Dupuy Laurence, Heyne Steffen, Backofen Rolf, Poupon Anne, Cormier Patrick, Reiter Eric, Crepieux Pascale
      Activation of a GPCR leads to eIF4G phosphorylation at the 5’ cap and to IRES-dependent translation
      2014 J Mol Endocrinol, volume: 52, issue: 3, pages: 373 - 82
    • Thomas Janson, Christian Schindelhauer
      Ad-Hoc Network Unicast in O(log log n) using Beamforming
      2014 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'14), Paderborn, Germany

       
      Download file as PDF
    • Maier Lisa-Katharina, Stachler Aris-Edda, Saunders Sita, Backofen Rolf, Marchfelder Anita
      An Active Immune Defence with a Minimal CRISPR (clustered regularly interspaced short palindromic repeats) RNA and Without the Cas6 Protein
      2014 Journal of Biological Chemistry, volume: 290, issue: 7, pages: 4192 - 4201
    • Andreas Riefert, Lyl Ciganda, Matthias Sauer, Paolo Bernadi, Matteo Sonza Reorda, Bernd Becker
      An Effective Approach to Automatic Functional Processor Test Generation for Small-Delay Faults
      2014 Conf. on Design, Automation and Test in Europe
    • Haussmann E
      An Ensemble for Query Intent Detection
      2014 CKIM CUP
       
      Download file as PDF
    • Hertle Andreas, Dornhege Christian, Keller Thomas, Mattmüller Robert, Ortlieb Manuela, Nebel Bernhard
      An Experimental Comparison of Classical, FOND and Probabilistic Planning
      2014 Springer, pages: 297 - 308
    • Burkhardt Felix, Becker-Asano Christian, Begoli Edmon, Cowie Roddy, Fobe Gerhard, Gebhard Patrick, Kazemzadeh Abe, Steiner Ingmar, Llewellyn Tim
      Application of EmotionML
      2014 5th Intl. Workshop on Emotion, Social Signals, Sentiment & Linked Open Data (ES3LOD) 5th Intl. Workshop on Emotion, Social Signals, Sentiment \& Linked Open Data (ES3LOD), pages: 1 - 5
    • Burkhardt Felix, Becker-Asano Christian, Begoli Edmon, Cowie Roddy, Fobe Gerhard, Gebhard Patrick, Kazemzadeh Abe, Steiner Ingmar
      Application of EmotionML
      2014 Elektronische Sprachsignalverarbeitung 2014 TUDpress, pages: 201 - 208
    • Damm Oliver, Becker-Asano Christian, Lohse Manja, Hegel Frank, Wrede Britta
      Applications for Emotional Robots
      2014 Human-robot Interaction ACMProcs of the 2014 ACM/IEEE Intl. Conf. on Human-robot Interaction, ACM, pages: 495 - 496
    • Lampe Thomas, Riedmiller Martin
      Approximate Model-Assisted Neural Fitted Q-Iteration
      2014 Beijing, China IEEE International Joint Conference on Neural Networks (IJCNN 2014)
    • Bödecker J, Springenberg J, Wülfing J, Riedmiller M
      Approximate Real-Time Optimal Control Based on Sparse Gaussian Process Models
      2014 Adaptive Dynamic Programming and Reinforcement Learning (ADPRL-2014)
    • Johannes Wendeberg, Christian Schindelhauer
      Approximation Algorithms for Anchor-free TDoA Localization
      2014 Theor Comput Sci
    • Bogomolov S, Frehse G, Greitschus M, Grosu R, Pasareanu C, Podelski A, Strump T
      Assume-Guarantee Abstraction Refinement Meets Hybrid Systems
      2014 Haifa Verification Conference Journal of the ACM, pages: 116 - 131
    • Mann Martin, Nahar Feras, Schnorr Norah, Backofen Rolf, Stadler Peter, Flamm Christoph
      Atom Mapping with Constraint Programming
      2014 BMC Algorithms for Molecular Biology, volume: 9, issue: 1
    • Vysotska O, Frank B, Ulbert I, Paul O, Ruther P, Stachniss C, Burgard W
      Automatic Channel Selection and Neural Signal Estimation across Channels of Neural Probes
      2014 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Manuel Blum, Sam Ewing, Raimar Rosteck, Peter Woias, Martin Riedmiller, Andreas Schulze-Bonhage, Matthias Dümpelmann
      Automatic seizure detection for closed loop devices by simple time domain features and machine learning methods
      2014 52. Jahrestagung der Deutschen Gesellschaft für Epileptologie e. V.
    • Sreedhar Saseendran Kumar, Jan Wülfing, Joschka Boedecker, Ralf Wimmer, Martin Riedmiller, Bernd Becker, Ulrich Egert
      Autonomous Control of Network Activity
      2014 9th International Meeting on Substrate-Integrated Microelectrode Arrays (MEA)
    • Schubert Desiree, Bode Claudia, Kenefeck Rupert, Hou Tie, Wing James, Kennedy Alan, Bulashevska Alla, Petersen Britt-Sabina, Schaffer Alejandro, Gruning Bjorn, Unger Susanne, Frede Natalie, Baumann Ulrich, Witte Torsten, Schmidt Reinhold, Dueckers Gregor, Niehues Tim, Seneviratne Suranjith, Kanariou Maria, Speckmann Carsten, Ehl Stephan, Rensing-Ehl Anne, Warnatz Klaus, Rakhmanov Mirzokhid, Thimme Robert, Hasselblatt Peter, Emmerich Florian, Cathomen Toni, Backofen Rolf, Fisch Paul, Seidl Maximilian, May Annette, Schmitt-Graeff Annette, Ikemizu Shinji, Salzer Ulrich, Franke Andre, Sakaguchi Shimon, Walker Lucy, Sansom David, Grimbacher Bodo
      Autosomal dominant immune dysregulation syndrome in humans with CTLA4 mutations
      2014 Nat Med, volume: 20, issue: 12, pages: 1410 - 1416
    • Schulte Tim, Keller Thomas
      Balancing Exploration and Exploitation in Classical Planning
      2014
    • Sun Dali, Kleiner Alexander, Nebel Bernhard
      Behavior-based Multi-Robot Collision Avoidance
      2014 , pages: 1668 - 1673
    • Martin Kaufmann, Peter M. Fischer, Norman May, Donald Kossmann
      Benchmarking Bitemporal Database Systems: Ready for the Future or Stuck in the Past?
      2014 OpenProceedings.org, pages: 738 - 749
       
      Download file
    • Backofen Rolf, Amman Fabian, Costa Fabrizio, Findeiss Sven, Richter Andreas, Stadler Peter
      Bioinformatics of prokaryotic RNAs
      2014 RNA Biol, volume: 11, issue: 5
    • Videm Pavankumar, Rose Dominic, Costa Fabrizio, Backofen Rolf
      BlockClust: efficient clustering and classification of non-coding RNAs from short read RNA-seq profiles
      2014 Bioinformatics, volume: 30, issue: 12, pages: i274 - i282
    • Alkhnbashi Omer, Costa Fabrizio, Shah Shiraz, Garrett Roger, Saunders Sita, Backofen Rolf
      CRISPRstrand: predicting repeat orientations to determine the crRNA-encoding strand at CRISPR loci
      2014 Bioinformatics, volume: 30, issue: 17, pages: i489 - i496
    • Danvy O, Thiemann P, Zerny I
      Circularity and Lambda Abstraction
      2014 Symposium on Implementation and Application of Functional Languages
    • Kundu Kousik, Backofen Rolf
      Cluster based prediction of PDZ-peptide interactions
      2014 BMC Genomics, volume: 15, issue: Suppl 1
    • Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker
      Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems
      2014 Haifa Haifa Verification Conference (HVC), Yahav, Eran, volume: 8855, pages: 30 - 47
    • Backofen Rolf
      Computational Prediction of RNA-RNA Interactions
      2014 Methods Mol Biol, volume: 1097, pages: 417 - 35
    • Thomas Janson, Christian Schindelhauer
      Cooperative Beamforming in Ad-Hoc Networks with Sublinear Transmission Power
      2014 2nd International Workshop on GReen Optimized Wireless Networks (GROWN’14), Larnaca, Cyprus 2nd International Workshop on GReen Optimized Wireless Networks (GROWN’14)
       
      Download file as PDF
    • Wright Patrick, Georg Jens, Mann Martin, Sorescu Dragos, Richter Andreas, Lott Steffen, Kleinkauf Robert, Hess Wolfgang, Backofen Rolf
      CopraRNA and IntaRNA: predicting small RNA targets, networks and interaction domains
      2014 Nucleic Acids Res, volume: 42, issue: Web Server issue, pages: W119 - 23
    • Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
      Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey
      In: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM), Advanced Lectures
      2014, Springer-Verlag, pages: 65 - 121,
    • Majid Khabbazian, Dariusz Kowalski, Fabian Kuhn, Nancy Lynch
      Decomposing Broadcast Algorithms Using Abstract MAC Layers
      2014 Ad Hoc Netw, volume: 12, pages: 219 - 242
    • Schmidt F, Windheuser T., Schlickewei U., Cremers D.
      Dense Elastic 3D Shape Matching
      2014 Springer, pages: 1 - 18
       
      Download file as PDF
    • Leymann S., Hölscher C., Becker-Asano C., von Stülpnagel R.
      Der Einfluss einer Speed-Accuracy Manipulation auf schildergeleitetes Navigationsverhalten in einer virtuellen Umgebung
      2014 Tagung experimentell arbeitender Psychologen Tagung experimentell arbeitender Psychologen
    • Silver, David, Lever, G., Heess, Nicolas, Degris, Thomas, Wierstra, Daan, Riedmiller, Martin
      Deterministic Policy Gradient Algorithms
      2014 The 31st International Conference on Machine Learning (ICML 2014)
    • Alexey Dosovitskiy, Jost Tobias Springenberg, Martin Riedmiller, Thomas Brox
      Discriminative Unsupervised Feature Learning with Convolutional Neural Networks
      2014 28th Annual Conference on Neural Information Processing Systems (NIPS)
    • Palmieri Luigi, Arras Kai
      Distance Metric Learning for RRT-Based Motion Planning for Wheeled Mobile Robots
      2014 Chicago, USA IROS 2014 Workshop on Machine Learning in Planning and Control of Robot Motion
    • Leonid Barenboim, Michael Elkin, Fabian Kuhn
      Distributed (Delta+1)-Coloring in Linear (in Delta) Time
      2014 Siam J Comput, volume: 43, issue: 1, pages: 72 - 95
    • Anas Alzoghbi, Peter M. Fischer, Anna Gossen, Peter Haase, Thomas Hornung, Beibei Hu, Georg Lausen, Christoph Pinkel, Michael Schmidt
      Durchblick - A Conference Assistance System for Augmented Reality Devices
      2014 Springer
    • Gilsbach Ralf, Preissl Sebastian, Gruning Bjorn, Schnick Tilman, Burger Lukas, Benes Vladimir, Wurch Andreas, Bonisch Ulrike, Gunther Stefan, Backofen Rolf, Fleischmann Bernd, Schubeler Dirk, Hein Lutz
      Dynamic DNA methylation orchestrates cardiomyocyte development, maturation and disease
      2014 Nat Commun, volume: 5
    • Bast H, Bäurle F, Buchhold B, Haussmann E
      Easy Access to the Freebase Dataset
      2014 WWW, pages: 95 - 98

       
      Download file as PDF
    • Bast H, Celikik M
      Efficient Index-Based Snippet Generation
      2014 Acm T Inform Syst, volume: 32, issue: 2, supplement: 6, pages: 1 - 24
    • Dominik Erb, Karsten Scheibler, Matthias Sauer, Bernd Becker
      Efficient SMT-based ATPG for Interconnect Open Defects
      2014 Conf. on Design, Automation and Test in Europe
    • Boris Glavic, Kyumars Sheykh Esmail, Peter M. Fischer, Nesime Tatbul
      Efficient Stream Provenance via Operator Instrumentation
      2014 ACM Transactions on Internet Technology (ToIT)
    • Palmieri Luigi, Arras Kai
      Efficient and Smooth RRT Motion Planning Using a Novel Extend Function for Wheeled Mobile Robots
      2014 Portsmouth, USA ICAPS 2014 Workshop on Planning and Robotics (PlanRob’14)
    • Dominik Erb, Michael Koche, Matthias Sauer, Stefan Hillebrecht, Tobias Schubert, Hans-Joachim Wunderlich, Bernd Becker
      Exact Logic and Fault Simulation in Presence of Unknowns
      2014 ACM Transactions on Design Automation of Electronic Systems (TODAES), volume: 19, pages: 28:1 - 28:17
    • Mann Martin, Backofen Rolf
      Exact methods for lattice protein models
      2014 Bio-Algorithms and Med-Systems, volume: 10, issue: 4, pages: 213 - 225
    • Otto Christina, Mohl Mathias, Heyne Steffen, Amit Mika, Landau Gad, Backofen Rolf, Will Sebastian
      ExpaRNA-P: simultaneous exact pattern matching and folding of RNAs
      2014 BMC Bioinformatics, volume: 15, issue: 1
    • Agarwal P, Grisetti G, Tipaldi G, Spinello L, Burgard W, Stachniss C
      Experimental Analysis of Dynamic Covariance Scaling for Robust Map Optimization Under Bad Initial Estimates
      2014 Hong Kong, China Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
      Fast Debugging of PRISM Models
      2014 Int'l Symp. on Automated Technology for Verfication and Analysis, Springer-Verlag
    • Bast H, Storandt S
      Flow-Based Guidebook Routing
      2014 ALENEX
    • Bast H, Sternisko J, Storandt S
      ForestMaps: A Computational Model and Visualization for Forest Utilization
      2014 W2GIS
    • Bast H, Brosi P, Storandt S
      Frequency-Based Search for Public Transit
      2014 SIGSPATIAL
    • Georges Morbé, Christoph Scholl
      Fully Symbolic TCTL Model Checking for Complete and Incomplete Real-Time Systems
      2014 AVACS Technical Report, Nummer 104
    • Leike Jan, Heizmann Matthias
      Geometric Series as Nontermination Arguments for Linear Lasso Programs
      2014 WST, pages: 55 - 59
    • Fennell L, Thiemann P
      Gradual Typing for Annotated Type Systems.
      2014 ESOP '14
    • Thiemann P
      Gradual Typing for Session Types.
      2014 Trustworthy Global Computing, Ninth Symposium, TGC 2014
    • Qin Jing, Fricke Markus, Marz Manja, Stadler Peter, Backofen Rolf
      Graph-distance distribution of the Boltzmann ensemble of RNA secondary structures
      2014 Algorithms Mol Biol, volume: 9
    • Maticzka Daniel, Lange Sita, Costa Fabrizio, Backofen Rolf
      GraphProt: modeling binding preferences of RNA-binding proteins
      2014 Genome Biol, volume: 15, issue: 1
    • Obst, Oliver, Boedecker, Joschka
      Guided Self-Organization of Input-Driven Recurrent Neural Networks
      In: Guided Self-Organization: Inception
      2014, Springer Berlin Heidelberg, volume: 9, pages: 319 - 340, ISBN: 978-3-642-53733-2
    • Agarwal P, Burgard W, Stachniss C
      Helmert’s and Bowie’s Geodetic Mapping Methods and Their Relation to Graph-Based SLAM
      2014 Hong Kong, China Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Cornelis J, Ihmsen M, Peer A, Teschner M
      IISPH-FLIP for Incompressible Fluids
      2014 Computer Graphics Forum, volume: 33, issue: 2, pages: 255 - 262
    • Roggen D, Gatica-Perez D, Fukumoto M, Laerhoven K
      ISWC 2013-Wearables Are Here to Stay
      2014 Ieee Pervas Comput, volume: 13, issue: 1, pages: 14 - 18

       
      Download file as PDF
    • Linus Feiten, Andreas Spilla, Matthias Sauer, Tobias Schubert, Bernd Becker
      Implementation and Analysis of Ring Oscillator PUFs on 60 nm Altera Cyclone FPGAs
      2014 Information Security Journal: A Global Perspective, volume: 22, issue: 5-6, pages: 265 - 273
    • Karsten Scheibler, Bernd Becker
      Implication Graph Compression inside the SMT Solver iSAT3
      2014 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Ihmsen M, Cornelis J, Solenthaler B, Horvath C, Teschner M
      Implicit Incompressible SPH
      2014 IEEE Transactions on Visualization and Computer Graphics, volume: 20, issue: 3, pages: 426 - 435
    • Abdo N, Spinello L, Burgard W, Stachniss C
      Inferring What to Imitate in Manipulation Actions by Using a Recommender System
      2014 Hong Kong, China Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Kindermans Pieter-Jan, Tangermann Michael, Müller Klaus-Robert, Schrauwen Benjamin
      Integrating dynamic stopping, transfer learning and language models in an adaptive zero-training ERP speller
      2014 J Neural Eng, volume: 11, issue: 3
    • Vasquez Dizan, Okal Billy, Arras Kai
      Inverse Reinforcement Learning Algorithms and Features for Robot Navigation in Crowds: an experimental comparison
      2014 Chicago, USA IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS’14)
    • Duempelmann M, Ewing S, Blum M, Rostek R, Woias P, Riedmiller M, Schulze-Bonhage A
      Investigation of low complexity seizure detection algorithm for closed loop devices in epilepsy treatment
      2014 Clinical Neurophysiology, issue: 125
    • Schätzle A, Przyjaciel-Zablocki M, Hornung T, Lausen G
      Large-Scale RDF Processing with MapReduce
      In: Large Scale and Big Data - Processing and Management 2014
      2014, Auerbach Publications 2014,
    • Frank B, Schmedding R, Teschner M, Stachniss C, Burgard W
      Learning Object Deformation Models for Robot Motion Planning
      2014 Robot Auton Syst, volume: 62, issue: 8, pages: 1153 - 1174
    • Frank B, Stachniss C, Schmedding R, Teschner M, Burgard W
      Learning Object Deformation Models for Robot Motion Planning
      2014 Robotics and Autonomous Systems, volume: 62, issue: 8, pages: 1153 - 1174
    • Oßwald S, Kretzschmar H, Burgard W, Stachniss C
      Learning to Give Route Directions from Human Demonstrations
      2014 Hong Kong, China Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Kretzschmar Henrik, Kuderer Markus, Burgard Wolfram
      Learning to Predict Trajectories of Cooperatively Navigating Agents
      2014 Hong Kong, China Proc. of the IEEE International Conference on Robotics and Automation (ICRA)
    • Ferrarese Roberto, Harsh Griffith, Yadav Ajay, Bug Eva, Maticzka Daniel, Reichardt Wilfried, Dombrowski Stephen, Miller Tyler, Masilamani Anie, Dai Fangping, Kim Hyunsoo, Hadler Michael, Scholtens Denise, Yu Irene, Beck Jurgen, Srinivasasainagendra Vinodh, Costa Fabrizio, Baxan Nicoleta, Pfeifer Dietmar, Elverfeldt Dominik, Backofen Rolf, Weyerbrock Astrid, Duarte Christine, He Xiaolin, Prinz Marco, Chandler James, Vogel Hannes, Chakravarti Arnab, Rich Jeremy, Carro Maria, Bredel Markus
      Lineage-specific splicing of a brain-enriched alternative exon promotes glioblastoma progression
      2014 J Clin Invest, volume: 124, issue: 7, pages: 2861 - 2876
    • Heizmann Matthias, Hoenicke Jochen, Leike Jan, Podelski Andreas
      Linear Ranking for Linear Lasso Programs
      2014 CoRR, volume: abs/1401.5347
    • Amit Mika, Backofen Rolf, Heyne Steffen, Landau Gad, Möhl Mathias, Otto Christina, Will Sebastian
      Local Exact Pattern Matching for Non-Fixed RNA Structures.
      2014 IEEE/ACM Trans. Comput. Biology Bioinform., volume: 11, issue: 1, pages: 219 - 230
    • Alexander Ens, Thomas Janson, Leonhard M. Reindl, Christian Schindelhauer
      Low-Power Simplex Ultrasound Communication for Indoor Localization
      2014 22nd European Signal Processing Conference (EUSIPCO 2014), Lisbon, Portugal 22nd European Signal Processing Conference (EUSIPCO 2014)

       
      Download file as PDF
    • Chelmicki Tomasz, Dundar Friederike, Turley Matthew, Khanam Tasneem, Aktas Tugce, Ramirez Fidel, Gendrel Anne-Valerie, Wright Patrick, Videm Pavankumar, Backofen Rolf, Heard Edith, Manke Thomas, Akhtar Asifa
      MOF-associated complexes ensure stem cell identity and Xist repression
      2014 Elife, volume: 3
    • Weller R, Mainzer D, Srinivas A, Teschner M, Zachmann G
      Massively Parallel Batch Neural Gas for Bounding Volume Hierarchy Construction
      2014 Proc. VRIPHYS, volume: 1, pages: 1 - 10
    • Ralf Wimmer, Erika Ábrahám
      Maybe or Maybe Not - Contributions to Stochastic Verification
      In: Aspekte der Technischen Informatik: Festschrift zum 60. Geburtstag von Bernd Becker
      2014, Monsenstein und Vannerdat, Rolf Drechsler, pages: 119 - 127, Rolf Drechsler,
    • Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
      MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
      2014 International Workshop on Quantitative Aspects of Programming Languages and Systems , volume: EPTCS
    • Alkhazraji Yusra, Katz Michael, Mattmüller Robert, Pommerening Florian, Shleyfman Alexander, Wehrle Martin
      Metis: Arming Fast Downward with Pruning and Incremental Computation (planner abstract)
      2014
    • Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      Minimal Counterexamples for Linear-Time Probabilistic Verification
      2014 Theor Comput Sci
    • Mattmüller Robert, Ortlieb Manuela, Wacker Erik
      Minimizing Necessary Observations for Nondeterministic Planning
      2014
    • Kundu Kousik, Mann Martin, Costa Fabrizio, Backofen Rolf
      MoDPepInt: an interactive web server for prediction of modular domain-peptide interactions
      2014 Bioinformatics, volume: 30, issue: 18, pages: 2668 - 2669
    • A. Hornung, S. Boettcher, C. Dornhege, A. Hertle, J. Schlagenhauf, M. Bennewitz
      Mobile Manipulation in Cluttered Environments with Humanoids: Integrated Perception, Task Planning, and Action Execution
      2014 Proceedings of the IEEE-RAS International Conference on Humanoid Robots (Humanoids)
    • Hornung A, Oßwald S, Maier D, Bennewitz M
      Monte Carlo Localization for Humanoid Robot Navigation in Complex Indoor Environments
      2014 International Journal of Humanoid Robotics (IJHR)
    • Bast H, Haussmann E
      More Informative Open Information Extraction via Simple Inference
      2014 ECIR

       
      Download file
    • Höhne Johannes, Holz Elisa, Staiger-Sälzer Pit, Müller Klaus-Robert, Kübler Andrea, Tangermann Michael
      Motor Imagery for Severely Motor-Impaired Patients: Evidence for Brain-Computer Interfacing as Superior Control Solution
      2014 PLoS ONE, volume: 9, issue: 8, page: e104854
    • Linder Timm, Arras Kai
      Multi-Model Hypothesis Tracking of Groups of People in RGB-D Data
      2014 Salamanca, Spain IEEE Int. Conf. on Information Fusion (FUSION’14)
    • Ziegler, C-N, Hornung, T, Przyjaciel-Zablocki, M, Gauß, S, Lausen, G
      Music recommenders based on hybrid techniques and serendipity.
      2014 Web Intelligence and Agent Systems, volume: 12, issue: 3, pages: 235 - 248
    • Kaiser, A.
      On the (Im)possibility of a Feminist and Queer Neuroexperiment.
      2014 Gendered Neurocultures. Feminist and Queer Perspectives on Current Brain Discourses (Series: challenge GENDER – Contemporary challenges of within Gender Theory Vol. 2, pages: 41 - 66
    • Becker-Asano Christian, Gustorff Severin, Arras Kai, Nebel Bernhard
      On the Effect of Operator Modality on Social and Spatial Presence during Teleoperation of a Human-Like Robot
      2014 London, UK Int. Symposium on New Frontiers in Human-Robot Interaction at AISB’14
    • Becker-Asano Christian, Gustorff Severin, Arras Kai, Nebel Bernhard
      On the Effect of Operator Modality on Social and Spatial Presence during Teleoperation of a Human-Like Robot
      2014 London, UK Int. Symposium on New Frontiers in Human-Robot Interaction at AISB’14
    • Becker-Asano C., Gustorff S., Arras K. O., Nebel B.
      On the Effect of Operator Modality on Social and Spatial Presence during Teleoperation of a Human-Like Robot
      2014 3rd Intl. Symp. on New Frontiers in Human-Robot Interaction (AISB2014) Procs. of the 3rd Intl. Symp. on New Frontiers in Human-Robot Interaction (AISB2014), Society for the Study of Artificial Intelligence and the Simulation of Behaviour
    • Westphal Matthias, Hué Julien, Wölfl Stefan
      On the scope of Qualitative Constraint Calculi
      2014
    • Kuderer M, Sprunk C, Kretzschmar H, Burgard W
      Online Generation of Homotopically Distinct Navigation Paths
      2014 Proc. of the IEEE International Conference on Robotics and Automation (ICRA)
    • Meyer J, Kuderer M, Müller J, Burgard W
      Online Marker Labeling for Fully Automatic Skeleton Tracking in Optical Motion Caputure
      2014 Proc. of the IEEE International Conference on Robotics and Automation (ICRA)
    • Taxidou Io, Peter M. Fischer
      Online analysis of information diffusion in twitter
      2014 ACM, pages: 1313 - 1318
       
      Download file
    • Liu K., Lienkamp S., Shindo A., Wallingford J., Walz G., Ronneberger O
      Optical Flow Guided Cell Segmentation and Tracking in Developing Tissue
      2014 IEEE Computer Society
       
      Download file
    • Jubran Oday, Westphal Bernd
      Optimizing guard time for TDMA in a wireless sensor network - Case study
      2014 IEEE 39th Conference on Local Computer Networks, Edmonton, AB, Canada, 8-11 September, 2014 - Workshop Proceedings, IEEE, pages: 597 - 601
    • Tangermann Michael, Müller Katja, Nolte Aleke, Schumacher Julia, Zhutovsky Paul, Blankertz Benjamin
      P374: Detecting spatial auditory attention in cocktail-party situations
      2014 30th International Congress of Clinical Neurophysiology (ICCN) of the IFCN Clin Neurophysiol, volume: 125, issue: 0, supplement: 1, page: S147
    • Höhne Johannes, Tangermann Michael
      P827: Beyond P300: an auditory ERP paradigm with sequential stimulation
      2014 Clin Neurophysiol, volume: 125, issue: 0, supplement: 1, page: S263
    • Geißer Florian, Keller Thomas, Mattmüller Robert
      Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games
      2014 , pages: 357 - 362
    • Schwenk Markus, Vaquero Tiago, Nejat Goldie, Arras Kai
      Planning a Robot’s Search for Multiple Residents in a Retirement Home Environment
      2014 Portsmouth, USA ICAPS 2014 Workshop on Planning and Robotics (PlanRob’14)
    • Schwenk Markus, Vaquero Tiago, Nejat Goldie, Arras Kai
      Planning a Robot’s Search for Multiple Residents in a Retirement Home Environment
      2014 Portsmouth, USA ICAPS 2014 Workshop on Planning and Robotics (PlanRob’14)
    • Bogomolov S, Magazzeni D, Podelski A, Wehrle M
      Planning as Model Checking in Hybrid Domains
      2014 AAAI AAAI 2014, pages: 2228 - 2234
    • Geffken M, Saffrich H, Thiemann P
      Precise Interprocedural Side-Effect Analysis.
      2014 Theoretical Aspects of Computing - ICTAC 2014 - 11th Interantional Colloquium, Bucharest, Romania, September 17-19, pages: 188 - 205
    • Farzan, Azadeh, Kincaid, Zachary, Podelski Andreas
      Proofs that count
      2014 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ACM, pages: 151 - 164
    • Herrera Christian, Westphal Bernd, Podelski Andreas
      Quasi-Equal Clock Reduction
      2014 Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, Springer, volume: 8413, pages: 295 - 309
    • Bogomolov S, Herrera C, Muniz M, Westphal B, Podelski A
      Quasi-dependent variables in hybrid automata
      2014 Haifa Verification Conference Journal of the ACM, pages: 93 - 102
    • Schwenk Markus, Arras Kai
      R2-D2 Reloaded: A Flexible Sound Synthesis System for Sonic Human-Robot Interaction Design
      2014 Edinburgh, UK IEEE Int. Symposium on Robot and Human Interactive Communication (RO-MAN’14)
    • Schwenk Markus, Arras Kai
      R2-D2 Reloaded: A Flexible Sound Synthesis System for Sonic Human-Robot Interaction Design
      2014 Edinburgh, UK IEEE Int. Symposium on Robot and Human Interactive Communication (RO-MAN’14)
    • Jan Leike, Matthias Heizmann
      Ranking Templates for Linear Loops
      2014 Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the Joint Conferences on Theory TACAS, Springer, volume: 8413, pages: 172 - 186
    • Bast H, Brosi P, Storandt S
      Real-Time Movement Visualization of Public Transit Data
      2014 SIGSPATIAL
    • Koenemann J, Burget F, Bennewitz M
      Real-time Imitation of Human Whole-Body Motions by Humanoids
      2014 Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Schöning J, Rusch C, Schindelhauer C
      Real-time communication based on IEEE 802.11b/g for automation of agricultural vehicles
      2014 Global Humanitarian Technology Conference (GHTC), 2014 IEEE , pages: 152 - 158
    • Rippon, G., Jordan-Young, R., Kaiser, A., Fine, C.
      Recommendations for sex/gender neuroimaging research: Key principles and implications for research design, analysis and interpretation.
      2014 Frontiers in Human Neuroscience, 8,, page: 650
    • Ilg E, Kümmerle R, Burgard W, Brox T
      Reconstruction of Rigid Body Models from Motion Distorted Laser Range Data Using Optical Flow
      2014 Hong Kong, China Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA)
    • Ilg E., Kümmerle R., Burgard W., Brox T.
      Reconstruction of Rigid Body Models from Motion Distorted Laser Range Data Using Optical Flow
      2014 IEEE Computer Society
       
      Download file as PDF
    • Becker-Asano Christian, Arras Kai, Nebel Bernhard
      Robotic tele-presence with DARYL in the wild
      2014 Tsukuba, Japan Int. Conf. on Human-Agent Interaction (HAI’14)
    • Becker-Asano Christian, Arras Kai, Nebel Bernhard
      Robotic tele-presence with DARYL in the wild
      2014 Tsukuba, Japan Int. Conf. on Human-Agent Interaction (HAI’14)
    • Becker-Asano C., Arras K. O., Nebel B.
      Robotic tele-presence with DARYL in the wild
      2014 Human-Agent Interaction Proc. of the 2nd Intl. Conf. on Human-Agent Interaction, ACM, pages: 91 - 95
    • Alexander Ens, Thomas Janson, Leonhard M. Reindl, Christian Schindelhauer
      Robust Multi-Carrier Frame Synchronization for Localization Systems with Ultrasound
      2014 18th International OFDM Workshop 2014 (InOWo’14), Germany Proceedings of the 18th International OFDM Workshop 2014 (InOWo’14)

       
      Download file as PDF
    • Joan Bordoy, Patrick Hornecker, Fabian Höflinger, Johannes Wendeberg, Rui Zhang, Christian Schindelhauer, Leonhard Reindl
      Robust Tracking of a Mobile Receiver using Unsynchronized Time Differences of Arrival
      2014 Proceedings of 2013 International Conference on Indoor Positioning and Indoor Navigation (IPIN)
    • Winkler Irene, Brandl Stephanie, Horn Franziska, Waldburger Eric, Allefeld Carsten, Tangermann Michael
      Robust artifactual independent component classification for BCI practitioners
      2014 Journal of Neural Engineering, volume: 11, issue: 3
    • Liu K., Skibbe H., Schmidt T., Blein T., Palme K., Brox T., Ronneberger O.
      Rotation-Invariant HOG Descriptors using Fourier Analysis in Polar and Spherical Coordinates
      2014 Int J Comput Vision, volume: 106, issue: 3, pages: 342 - 364
    • Ihmsen M, Orthmann J, Solenthaler B, Kolb A, Teschner M
      SPH Fluids in Computer Graphics
      2014 Eurographics - State-of-the-Art-Reports, volume: 1, issue: 1, pages: 21 - 42
    • Schwenk Markus, Vaquero Tiago, Nejat Goldie, Arras Kai
      Schedule-Based Robotic Search for Multiple Residents in a Retirement Home Environment
      2014 Quebec, Canada AAAI Conference on Artificial Intelligence (AAAI’14)
    • Ochs P., J. Malik, Brox T.
      Segmentation of moving objects by long term video analysis
      2014 Ieee T Pattern Anal, pages: 1187 - 1200
       
      Download file as PDF
    • Thomas Janson, Christian Schindelhauer
      Self-Synchronized Cooperative Beamforming in Ad-Hoc Networks
      2014 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'14), Paderborn, Germany Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'14)

       
      Download file as PDF
    • Bast H, Bäurle F, Buchhold B, Haussmann E
      Semantic full-text search with broccoli
      2014 SIGIR, pages: 1265 - 1266
    • Geffken M, Thiemann P
      Side Effect Monitoring for Java Using Bytecode Rewriting.
      2014 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, pages: 87 - 98
    • Christoph Scholl, Florian Pigorsch, Stefan Disch, Ernst Althaus
      Simple Interpolants for Linear Arithmetic
      2014 DATE, EDA Consortium San Jose, CA, USA / ACM DL
    • Waldispuhl Jerome, O’Donnell Charles, Will Sebastian, Devadas Srinivas, Backofen Rolf, Berger Bonnie
      Simultaneous Alignment and Folding of Protein Sequences
      2014 J Comput Biol, volume: 21, issue: 7, pages: 477 - 491
    • Galasso F., Keuper M., Brox T., Schiele B.
      Spectral graph reduction for efficient image and streaming video segmentation
      2014 IEEE Computer Society
       
      Download file as PDF
    • Ortolf C, Schindelhauer C
      Strategies for Parallel Unaware Cleaners
      2014 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, Wrocław, Poland
    • Stein, M., Winkler, C., Kaiser, A., Dierks, T.
      Structural brain changes related to bilingualism: Does immersion make a difference?
      2014 Frontiers in Psychology, 5,, page: 1116
    • Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy Lynch, Calvin Newport
      Structuring Unreliable Radio Networks
      2014 Distrib Comput, volume: 27, issue: 1, pages: 1 - 19
    • Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster
      Symbolic Counterexample Generation for Large Discrete-Time Markov Chains
      2014 Sci Comput Program, volume: 91, issue: A, pages: 90 - 114
    • Keil M, Thiemann P
      Symbolic Solving of Regular Expression Inequalities.
      2014 IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2014
    • Martin Kaufmann, Peter M. Fischer, Norman May, Andreas Tonder, Donald Kossmann
      TPC-BiH: A Benchmark for Bitemporal Databases
      2014 Springer, pages: 16 - 31
       
      Download file as PDF
    • Bast H, Brosi P, Storandt S
      TRAVIC: A Visualization Client for Public Transit Data
      2014 SIGSPATIAL
    • Heizmann Matthias, Hoenicke Jochen, Podelski Andreas
      Termination Analysis by Learning Terminating Programs
      2014 Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, Springer, volume: 8559, pages: 797 - 813
    • Dominik Erb, Karsten Scheibler, Michael Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
      Test Pattern Generation in Presence of Unknown Values Based on Restricted Symbolic Logic
      2014 Int'l Test Conf.
    • Der Andere Verlag, page: 184
      Testing Time - Time to Test? -- Using Formal Methods for the Timing Analysis of Digital Circuits --
      ISBN: 978-3-86247-451-6
      Matthias Sauer
    • Feo Arenis S, Westphal Bernd, Dietsch Daniel, Muñiz Marco, Andisha Ahmad
      The Wireless Fire Alarm System
      2014 FM 2014, Springer, volume: 8442, pages: 658 - 672
    • Arenis Sergio, Westphal Bernd, Dietsch Daniel, Muñiz Marco, Andisha Ahmad
      The Wireless Fire Alarm System
      2014 FM 2014, Springer, volume: 8442, pages: 658 - 672
    • Riesterer Nicolas, Becker Asano Christian, Hu{\'e} Julien, Dornhege Christian, Nebel Bernhard
      The hybrid Agent MARCO
      2014 ACMProc. of the 16th Intl. Conf. on Multimodal Interaction
    • Becker-Asano C., Meneses E., Riesterer N., Hué J., Dornhege C., Nebel B.
      The hybrid agent MARCO: A Multimodal Autonomous Robotic Chess Opponent
      2014 Human-Agent Interaction Proc. of the 2nd Intl. Conf. on Human-Agent Interaction, pages: 173 - 176
    • Schmidt T, Pasternak T, Liu K, Blein T, Aubry-Hivet D, Dovzhenko A, Duerr J, Teale W, Ditengou FA, Burkhardt H, Ronneberger O, Palme K
      The iRoCS Toolbox-3D analysis of the plant root apical meristem at cellular resolution.
      2014 Plant J, volume: 77, issue: 5, pages: 806 - 814
    • der Pütten A M Rosenthal-von, Krämer N C, Becker-Asano Christian, Ogawa K, Nishio S, Ishiguro H
      The uncanny in the wild. Analysis of unscripted human-android interaction in the field
      2014 Intl Journal of Social Robotics, volume: 6, issue: 1, pages: 67 - 83
    • Tangermann Michael, Schnorr Norah, Musso Mariacristina
      Towards Aphasia Rehabilitation with BCI
      2014 Graz Proceedings of the 6th International Brain-Computer Interface Conference 2014, Verlag der Technischen Universität Graz, pages: 369 - 372
    • Borazio M, Berlin E, Kücükyildiz N, Scholl P, Laerhoven K
      Towards Benchmarked Sleep Detection with Inertial Wrist-worn Sensing Units
      2014 IEEE Press

       
      Download file as PDF
    • Liaquat Ali, Thomas Janson, Georg Lausen, Christian Schindelhauer
      Towards Load Balancing and Parallelizing of RDF Query Processing in P2P Based Distributed RDF Data Stores
      2014 22nd Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2014), Turin, Italy , pages: 307 - 311
    • Thiemann P
      Towards Specializing JavaScript Programs.
      2014 PSI '14, Ershov Informatics Conference
    • Höhne Johannes, Tangermann Michael
      Towards User-friendly Spelling with an Auditory Brain-Computer Interface: The CharStreamer Paradigm
      2014 PLoS ONE, volume: 9, issue: 6, page: e98322
    • Hué Julien, Westphal Matthias, Wölfl Stefan
      Towards a new semantic for Possibilistic Answer Sets
      2014
    • Kindermans Pieter-Jan, Schrauwen Benjamin, Blankertz Benjamin, Müller Klaus-Robert, Tangermann Michael
      Transferring Unsupervised Adaptive Classifiers Between Users of a Spatial Auditory Brain-Computer Interface
      2014 Graz Proceedings of the 6th International Brain-Computer Interface Conference, Verlag der Technischen Universität Graz, pages: 330 - 333
    • Mahdi Ahmed, Westphal Bernd, Fränzle Martin
      Transformations for Compositional Verification of Assumption-Commitment Properties
      2014 Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings, Springer, volume: 8762, pages: 216 - 229
    • Kindermans Pieter-Jan, Schreuder Martijn, Schrauwen Benjamin, Müller Klaus-Robert, Tangermann Michael
      True Zero-Training Brain-Computer Interfacing - An Online Study
      2014 PLoS ONE, volume: 9, issue: 7, page: e102504
    • Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski
      Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution)
      2014 Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the Joint Conferences on Theory Springer, volume: 8413, pages: 418 - 420
    • Heizmann Matthias, Christ Jürgen, Dietsch Daniel, Hoenicke Jochen, Lindenmann Markus, Musa Betim, Schilling Christian, Wissert Stefan, Podelski Andreas
      Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution)
      2014 Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, Springer, volume: 8413, pages: 418 - 420
    • Ermis E, Nutz A, Dietsch D, Hoenicke J, Podelski A
      Ultimate Kojak (Competition Contribution)
      2014 TACAS, pages: 421 - 423
    • Ermis Evren, Nutz Alexander, Dietsch Daniel, Hoenicke Jochen, Podelski Andreas
      Ultimate Kojak - (Competition Contribution)
      2014 Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, Springer, volume: 8413, pages: 421 - 423
    • Alexander Ens, Joan Bordoy, Johannes Wendeberg, Leonhard Reindl, Christian Schindelhauer
      Unsynchronized Ultrasound System for TDOA Localization
      2014 Proceedings of 2014 International Conference on Indoor Positioning and Indoor Navigation (IPIN), volume: 0, pages: 0 - 0
    • Karsten Scheibler, Bernd Becker
      Using Interval Constraint Propagation for Pseudo-Boolean Constraint Solving
      2014 Formal Methods in Computer-Aided Design
    • Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
      Using MaxBMC for Pareto-Optimal Circuit Initialization
      2014 Conf. on Design, Automation and Test in Europe
    • Maier D, Zohouri R, Bennewitz M
      Using Visual and Auditory Feedback for Instrument-Playing Humanoids
      2014 Proceedings of the IEEE-RAS International Conference on Humanoid Robots (Humanoids)
    • Arlt Stephan, Ermis Evren, Arenis Sergio, Podelski Andreas
      Verification of GUI Applications
      2014 Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I, Springer, volume: 8802, pages: 236 - 252
    • Ito S, Endres F, Kuderer M, Tipaldi G, Stachniss C, Burgard W
      W-RGB-D: Floor-Plan-Based Indoor Global Localization Using a Depth Camera and WiFi
      2014 Hong Kong, China Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Becker-Asano C.
      WASABI for affect simulation in human-computer interaction
      2014 Emotion Representations and Modelling for HCI Systems SpringerProc. on Emotion Representations and Modelling for HCI Systems
    • Fine, C., Joel, D., Jordan-Young, R., Kaiser, A., Rippon, G.
      Why Males ≠ Corvettes, Females ≠ Volvos, and Scientific Criticism ≠ Ideology: A Response to “Equal ≠ The Same: Sex Differences in the Human Brain”
      2014 by Larry Cahill in Cerebrum.
    • Nebel Bernhard, Wölfl Stefan
      Wissensrepräsentation und -verarbeitung
      In: Handbuch der Künstlichen Intelligenz
      2014, Oldenbourg Verlag München, Görz Günther, Schneeberger Josef, Schmid Ute, pages: 105 - 128, Görz Günther, Schneeberger Josef, Schmid Ute,
    • Huggins Jane, Guger Christoph, Allison Brendan, Anderson Charles, Batista Aaron, Brouwer Anne-Marie, Brunner Clemens, Chavarriaga Ricardo, Fried-Oken Melanie, Gunduz Aysegul, Gupta Disha, Kübler Andrea, Leeb Robert, Lotte Fabien, Miller Lee, Müller-Putz Gernot, Tomasz Rutkowski, Tangermann Michael, Thompson David
      Workshops of the fifth international brain-computer interface meeting: Defining the future
      2014 Brain-Computer Interfaces, volume: 1, issue: 1, pages: 27 - 49
    • Burgard W, Herbert M, Bennewitz M
      World Modeling
      In: Handbook of Robotics
      2014, Springer Verlag,
    • Ochs P., Chen Y., Brox T., Pock T.
      iPiano: Inertial Proximal Algorithm for Non-convex Optimization
      2014 Siam J Imaging Sci, pages: 1 - 37
       
      Download file as PDF

    2013

    Icon: top back to the year overview
    • Bannoura A, Ortolf C, Schindelhauer C, Reindl L M
      The Wake Up Dominating Set Problem
      2013 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, Sophia Antipolis, France Springer, volume: 8243, pages: 35 - 50
    • Ortolf C, Schindelhauer C
      Optimal data distribution for heterogeneous parallel storage servers streaming media files
      2013 IEEE 4th International Conference on Cognitive Infocommunications (CogInfoCom), Budapest, Hungary , pages: 45 - 50

       
      Download file
    • Hornung T, Ziegler, C-N, Franz, S, Przyjaciel-Zablocki M, Schätzle A, Lausen G
      Evaluating Hybrid Music Recommender Systems.
      2013 Proc. of the 12th IEEE/WIC/ACM International Conference on Web Intelligence (WI 2013). Atlanta, GA (USA)
    • Schmidt M, Lausen G
      Pleasantly Consuming Linked Data with RDF Data Description
      2013 The 2013 IEEE/WIC/ACM International, Atlanta, USA
    • Ziegler,C-N, Oprea, A, Hornung,T, Eggs,H, Lausen,G
      Recommending Software Apps in a B2B Context
      2013 Proc. of the 12th IEEE/WIC/ACM International Conference on Web Intelligence (WI 2013). Atlanta, GA (USA)
    • Sebastian Daum, Seth Gilbert, Fabian Kuhn, Calvin Newport
      Broadcast in the Ad Hoc SINR Model
      2013 27th Int. Symp. on Distributed Computing (DISC), Jerusalem, Israel , pages: 358 - 372
    • Mohsen Ghaffari, Fabian Kuhn
      Distributed Minimum Cut Approximation (best paper award)
      2013 27th Int. Symp. on Distributed Computing (DISC), Jerusalem, Israel , pages: 1 - 15
    • Linus Feiten, Katrin Weber, Bernd Becker
      SMILE: Smartphones in der Lehre – ein Rück- und Überblick
      2013 INFORMATIK 2013 Gesellschaft für Informatik (GI), Matthias Horbach, volume: P-220, pages: 255 - 269

       
      Download file
    • Bast H
      Algorithmic Problems in Semantic Search
      2013 ESA
    • Tobias Schubert, Jan Burchard, Matthias Sauer, Bernd Becker
      S-Trike: A Mobile Robot Platform for Higher Education
      2013 International Conference on Computer Applications in Industry and Engineering, pages: 243 - 248
    • Ali L, Janson, T, Lausen G, Schindelhauer, C
      Effects of Network Structure Improvement on Distributed RDF Querying
      2013 6th International Conference on Data Management in Cloud, Grid and P2P Systems (Globe 2013). Prague (Czech Republic)
       
      Download file
    • Sebastian Daum, Mohsen Ghaffari, Seth Gilbert, Fabian Kuhn, Calvin Newport
      Maximal Independent Sets in Multichannel Radio Networks
      2013 32nd ACM Symp. on Principles of Distributed Computing (PODC), Montreal, Canada , pages: 335 - 344
    • Oprea A, Hornung T, Ziegler C-N, Eggs H, Lausen G
      A Hybrid B2B App Recommender System
      2013 13th International Conference, ICWE 2013, Aalborg, Denmark Springer Berlin Heidelberg, volume: 7977, pages: 490 - 493
    • Franz S, Hornung T, Przyjaciel-Zablocki M, Schätzle A, Ziegler C-N, Lausen G
      On Weighted Hybrid Track Recommendations
      2013 13th International Conference on Web Engineering (ICWE 2013).
       
      Download file
    • Schätzle A, Neu A, Lausen G, Przyjaciel-Zablocki M
      Large-Scale Bisimulation of RDF Graphs
      2013 ACM International Conference on Management of Data (SIGMOD 2013). New York (USA)
    • Hornung T, May W
      Experiences from a TBox Reasoning Application: Deriving a Relational Model by OWL Schema Analysis
      2013 10th Extended Semantic Web Conference (ESWC 2013). Montpellier (France)
       
      Download file as PDF
    • Przyjaciel-Zablocki M, Schätzle A, Hornung T, Taxidou I
      Towards a SPARQL 1.1 Feature Benchmark on Real-World Social Network Data
      2013 10th Extended Semantic Web Conference (ESWC 2013). Montpellier (France).
    • Alzoghbi A, Lausen G
      Similar Structures Inside RDF-Graphs
      2013 WWW Workshop on Linked Data on the Web, Rio de Janeiro, Brazil , volume: 996
       
      Download file as PDF
    • Linus Feiten, Matthias Sauer, Tobias Schubert, Alexander Czutro, Victor Tomashevich, Eberhard Böhl, Ilia Polian, Bernd Becker
      #SAT for Vulnerability Analysis of Security Components
      2013 (Workshop-Paper, Informal Proceedings) IEEE European Test Symposium
    • Dornhege Christian, Kleiner Alexander
      A Frontier-Void-Based Approach for Autonomous Exploration in 3D
      2013 Advanced Robotics, volume: 27, issue: 6
    • Ihmsen M, Wahl A, Teschner M
      A Lagrangian Framework for Simulating Granular Material with High Detail
      2013 Comput Graph-uk, volume: 38, issue: 5, pages: 1 - 10
    • Kümmerle R, Ruhnke M, Steder B, Stachniss C, Burgard W
      A Navigation System for Robots Operating in Crowded Urban Environments
      2013 Proc. of the IEEE Int. Conf. on Robotics & Automation (ICRA)
    • Schilling Christian, Smaus Jan-Georg, Wenzelmann Fabian
      A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem
      2013 Combinatorial Algorithms - 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers, Springer, volume: 8288, pages: 458 - 462
    • Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
      A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition
      2013 CADE, Springer, volume: 7898, pages: 193 - 207
    • Höflinger F, Müller J, Zhang R, Burgard W, Reindl L
      A Wireless Micro Inertial Measurement Unit (IMU)
      2013 IEEE Transactions on Instrumentation & Measurement
    • Rebholz-Schuhmann Dietrich, Grabmuller Christoph, Kavaliauskas Silvestras, Croset Samuel, Woollard Peter, Backofen Rolf, Filsell Wendy, Clark Dominic
      A case study: semantic integration of gene-disease associations for type 2 diabetes mellitus from literature and biomedical data resources
      2013 Drug Discov Today
    • Martin Kaufmann, Peter M. Fischer, Donald Kossmann, Norman May
      A generic database benchmarking service
      2013 IEEE Computer Society, pages: 1276 - 1279
    • Kundu Kousik, Costa Fabrizio, Backofen Rolf
      A graph kernel approach for alignment-free domain-peptide interaction prediction with an application to human SH3 domains
      2013 Bioinformatics, volume: 29, issue: 13, pages: i335 - i343
    • Galasso F, Nagaraja N, Cardenas T, Brox T, Schiele B
      A unified video segmentation benchmark: annotation, metrics and analysis
      2013 IEEE Computer Society
       
      Download file as PDF
    • Bogomolov Sergiy, Donzé Alexandre, Frehse Goran, Grosu Radu, Johnson Taylor, Ladan Hamed, Podelski Andreas, Wehrle Martin
      Abstraction-Based Guided Search for Hybrid Systems
      2013 SPIN, Springer, volume: 7976, pages: 117 - 134
    • Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Becker, Bernd
      Accelerating Parametric Probabilistic Verification
      arXiv, volume: arXiv:1312.3979, 2013
    • Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
      Accurate Computation of Sensitizable Paths using Answer Set Programming
      2013 Int. Conf. on Logic Programming and Nonmonotonic Reasoning, pages: 92 - 101
    • Dominik Erb, Michael A Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
      Accurate Multi-Cycle ATPG in Presence of X-Values
      2013 22nd IEEE Asian Test Symposium (ATS)
    • Stefan Hillebrecht, Michael A. Kochte, Dominik Erb, Hans-Joachim Wunderlich, Bernd Becker
      Accurate QBF-based test pattern generation in presence of unknown values
      2013 Conf. on Design, Automation and Test in Europe
    • Lampe, Thomas, Riedmiller, Martin
      Acquiring Visual Servoing Reaching and Grasping Skills using Neural Reinforcement Learning
      2013 IEEE International Joint Conference on Neural Networks (IJCNN 2013)
    • Aydemir Alper, Pronobis Andrzej, Göbelbecker Moritz, Jensfelt Patric
      Active Visual Object Search in Unknown Environments Using Uncertain Semantics
      2013 IEEE Transactions on Robotics, volume: 29, issue: 4, pages: 986 - 1002
    • Akinci G, Akinci N, Oswald E, Teschner M
      Adaptive Surface Reconstruction for SPH Using 3-level Uniform Grids
      2013 Proc. WSCG, volume: 1, pages: 195 - 204
    • Bast H, Buchhold B
      An Index for Efficient Semantic Full-Text Search
      2013 CIKM
    • Becker-Asano C., Stahl P., Ragni M., Martin J.-C., Courgeon M., Nebel B.
      An affective virtual agent providing embodied feedback in the paired associate task: system design and evaluation
      2013 Intelligent Virtual Agents Proc. of the 13th. Intl. Conf. on Intelligent Virtual Agents (IVA 2013), pages: 406 - 415
    • Becker-Asano Christian, Stahl Philip, Ragni Marco, Martin Jean-Claude, Courgeon Matthieu, Nebel Bernhard
      An affective virtual agent providing embodied feedback in the paired associate task: system design and evaluation
      2013 , pages: 406 - 415
    • Ochs P., Dosovitskiy A., Pock T., Brox T.
      An iterated L1 algorithm for non-smooth non-convex optimization in computer vision
      2013 IEEE Computer Society
       
      Download file as PDF
    • Linus Feiten, Andreas Spilla, Matthias Sauer, Tobias Schubert, Bernd Becker
      Analysis of Ring Oscillator PUFs on 60nm FPGAs
      2013 TRUDEVICE Workshop, Avignon
    • Becker-Asano C., Sun D., Scheel C. N., Tuschen-Caffier B., Nebel B.
      Analyzing for emotional arousal in HMD-based head movements during a virtual emergency
      2013 Intl. Workshop on Emotion and Computing in conj. with KI2013
    • Becker-Asano Christian, Sun Dali, Scheel Corinna N, Tuschen-Caffier Brunna, Nebel Bernhard
      Analyzing for emotional arousal in HMD-based head movements during a virtual emergency
      2013
    • Matthias Sauer, Sven Reimer, Stefan Kupferschmid, Tobias Schubert, Paolo Marin, Bernd Becker
      Applying BMC, Craig Interpolation and MAX-SAT to Functional Justification in Sequential Circuits
      2013 RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
    • Boris Glavic, Kyumars Sheykh Esmaili, Peter M. Fischer, Nesime Tatbul
      Ariadne: managing fine-grained provenance on data streams
      2013 ACM, pages: 39 - 50
    • Renatus Derbidge, Linus Feiten, Oliver Conradt, Peter Heusser, Stefan Baumgartner
      Assessment of Shape Changes of Mistletoe Berries: A New Software Approach to Automatize the Parameterization of Path Curve Shaped Contours
      2013 Plos One, volume: 8, issue: 4
    • Mann Martin, Nahar Feras, Ekker Heinz, Backofen Rolf, Stadler Peter, Flamm Christoph
      Atom Mapping with Constraint Programming
      2013 Proc. of the 19th International Conference on Principles and Practice of Constraint Programming (CP’13), Springer, volume: 8124, pages: 805 - 822
    • Podelski Andreas
      Automata as Proofs
      2013 VMCAI, Springer, volume: 7737, pages: 13 - 14
    • Löhr Johannes, Aldinger Johannes, Winkler Stefan, Willich Georg
      Automated Planning for Earth Observation Spacecraft under Attitude Dynamical Constraints
      2013
    • Mikut R, Dickmeis T, Driever W, Geurts P, Hamprecht FA, Kausler BX, Ledesma-Carbayo MJ, Maree R, Mikula K, Pantazis P, Ronneberger O, Santos A, Stotzka R, Strahle U, Peyrieras N
      Automated processing of zebrafish imaging data: a survey.
      2013 Zebrafish, volume: 10, issue: 3, pages: 401 - 421
    • Maier D, Lutz C, Bennewitz M
      Autonomous Biped Navigation Through Clutter
      2013 Proc. of the RSS Workshop on Robots in Clutter
    • Yehuda Afek, Noga Alon, Ziv Bar-Joseph, Alejandro Cornejo, Bernhard Haeupler, Fabian Kuhn
      Beeping a Maximal Independent Set
      2013 Distrib Comput, volume: 26, issue: 4, pages: 195 - 208
    • Keuper M, Schmidt T, Temerinac M, Padeken J, Heun P, Ronneberger O, Brox T
      Blind deconvolution of widefield fluorescence microscopic data by regularization of the optical transfer function (OTF)
      2013 IEEE Computer Society
       
      Download file as PDF
    • Holz Elisa, Höhne Johannes, Staiger-Sälzer Pit, Tangermann Michael, Kübler Andrea
      Brain-computer interface controlled gaming: Evaluation of usability by severely motor restricted end-users
      2013 Artificial Intelligence in Medicine, volume: 59, issue: 2, pages: 111 - 120
    • Thomas Janson, Christian Schindelhauer
      Broadcasting in Logarithmic Time for Ad Hoc Network Nodes on a Line using MIMO
      2013 Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA ’13, Montreal, Canada ACM, pages: 63 - 72
    • Scholz Ingeborg, Lange Sita, Hein Stephanie, Hess Wolfgang, Backofen Rolf
      CRISPR-Cas Systems in the Cyanobacterium Synechocystis sp. PCC6803 Exhibit Distinct Processing Pathways Involving at Least Two Cas6 and a Cmr2 Protein
      2013 PLoS One, volume: 8
    • Lange Sita, Alkhnbashi Omer, Rose Dominic, Will Sebastian, Backofen Rolf
      CRISPRmap: an automated classification of repeat conservation in prokaryotic adaptive immune systems
      2013 Nucleic Acids Res, volume: 41, issue: 17, pages: 8034 - 8044
    • Johannes Wendeberg, Fabian Höflinger, Christian Schindelhauer, Leonhard Reindl
      Calibration-free TDOA Self-Localization
      2013 Journal of Location Based Services, volume: 0, pages: 0 - 0
    • Damm Werner, Peter Hans-Jörg, Rakow Jan, Westphal Bernd
      Can we build it
      2013 Mathematical Structures in Computer Science, volume: 23, issue: 4, pages: 676 - 725
    • Ruhnke M, Bo L, Fox D, Burgard W
      Compact RGBD Surface Models Based on Sparse Coding
      2013 Proc. of the National Conference on Artificial Intelligence (AAAI)
    • Wright Patrick, Richter Andreas, Papenfort Kai, Mann Martin, Vogel Jorg, Hess Wolfgang, Backofen Rolf, Georg Jens
      Comparative genomics boosts target prediction for bacterial small RNAs
      2013 P Natl Acad Sci Usa, volume: 110, issue: 37, pages: E3487 - E3496
    • Martin Kaufmann , Panagiotis Vagenas , Peter M. Fischer , Donald Kossmann , Franz Färber
      Comprehensive and Interactive Temporal Query Processing with SAP HANA
      2013 PVLDB, volume: 6, issue: 12, pages: 1210 - 1213
    • Sittel F, Müller J, Burgard W
      Computing Velocities and Accelerations from a Pose Time Sequence in Three-dimensional Space
      2013 University of Freiburg, Department of Computer Science, University of Freiburg, Department of Computer Science, issue: 272
    • Storandt S
      Contraction Hierarchies on Grid Graphs
      2013 KI
    • Karsten Scheibler, Matthias Sauer, Kohei Miyase, Bernd Becker
      Controlling Small-Delay Test Power Consumption using Satisfibility Modulo Theory Solving
      2013 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”
    • Wurm K, Dornhege C, Nebel B, Burgard W, Stachniss C
      Coordinating Heterogeneous Teams of Robots using Temporal Symbolic Planning
      2013 Autonomous Robots, volume: 34
    • Wurm Kai M, Dornhege Christian, Stachniss Cyrill, Nebel Bernhard, Burgard Wolfram
      Coordinating Heterogeneous Teams of Robots using Temporal Symbolic Planning
      2013 Autonomous Robots
    • Akinci N, Cornelis J, Akinci G, Teschner M
      Coupling Elastic Solids with Smoothed Particle Hydrodynamics Fluids
      2013 Journal of Computer Animation and Virtual Worlds, volume: 24, issue: 3-4, pages: 195 - 203
    • Dornhege Christian, Kleiner Alexander, Kolling Andreas
      Coverage Search in 3D
      2013
    • Schnelle N, Funke S, Storandt S
      DORC: Distributed Online Route Computation – Higher Throughput, more Privacy
      2013 PerCOM
    • Bast H, Sternisko J, Storandt S
      Delay-Robustness of Transfer Patterns in Public Transportation Route Planning
      2013 ATMOS

       
      Download file
    • Ummenhofer B., Brox T.
      Dense 3D Reconstruction with a Hand-held Camera
      2013 Springer
       
      Download file as PDF
    • Beinhofer Maximilian, Kretzschmar Henrik, Burgard Wolfram
      Deploying Artificial Landmarks to Foster Data Association in Simultaneous Localization and Mapping
      2013 Karlsruhe, Germany Proc. of the IEEE International Conference on Robotics and Automation (ICRA)
    • Muñiz Marco, Westphal Bernd, Podelski Andreas
      Detecting Quasi-equal Clocks in Timed Automata
      2013 FORMATS, Springer, volume: 8053, pages: 198 - 212
    • Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung Tae Do, Jung Yun Choi, Kee Sup Kim, Matthias Sauer, Bernd Becker, Subhasish Mitra
      Detection of early-life failures in high-K metal-gate transistors and ultra low-K inter-metal dielectrics
      2013 Custom Integrated Circuits Conference, pages: 1 - 4
    • Vives-Gilabert Y., Abdulkadir A., Kaller C.P., Mader W., Wolf R.C., Schelter B., Klöppel S.
      Detection of preclinical neural dysfunction from functional connectivity graphs derived from task fMRI. An example from degeneration.
      2013 Psychiat Res, volume: 214, issue: 3, pages: 322 - 330
    • Mai D., Fischer P., Blein T., Dürr J., Palme K., Brox T., Ronneberger O.
      Discriminative Detection and Alignment in Volumetric Data
      2013 Springer, pages: 205 - 214
       
      Download file
    • Drayer B., Brox T.
      Distances based on Non-rigid Alignment for Comparison of Different Object Instances
      2013 Springer, pages: 215 - 224
       
      Download file as PDF
    • Backofen Rolf, Fricke Markus, Marz Manja, Qin Jing, Stadler Peter
      Distribution of Graph-Distances in Boltzmann Ensembles of RNA Secondary Structures
      In: Algorithms in Bioinformatics
      2013, Springer Berlin Heidelberg, pages: 112 - 125,
    • Löhr Johannes, Eyerich Patrick, Winkler Stefan, Nebel Bernhard
      Domain Predictive Control Under Uncertain Numerical State Information
      2013
    • Witkowski Jens, Bachrach Yoram, Key Peter, Parkes David C
      Dwelling on the Negative: Incentivizing Effort in Peer Prediction
      2013
    • Agarwal P, Tipaldi G, Spinello L, Stachniss C, Burgard W
      Dynamic Covariance Scaling for Robust Robotic Mapping
      2013 Karlsruhe, Germany ICRA Workshop on robust and Multimodal Inference in Factor Graphs
    • Hartmann Kim, Böck Ronald, Becker-Asano Christian, Gratch Jonathan, Schuller Björn, Scherer Klaus R
      ERM4HCI 2013: The 1st workshop on emotion representation and modelling in human-computer-interaction-systems
      2013 , pages: 607 - 608
    • Matthias Sauer, Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung-Tae Do, Jung Yun Choi, Kee Sup Kim, Subhasish Mitra, Bernd Becker
      Early-Life-Failure Detection using SAT-based ATPG
      2013 Int'l Test Conf., pages: 1 - 10
    • Beinhofer M, Müller J, Burgard W
      Effective Landmark Placement for Accurate and Reliable Mobile Robot Navigation
      2013 Robotics & Autonomous Systems
    • Liaquat Ali, Thomas Janson, Georg Lausen, Christian Schindelhauer
      Effects of Network Structure Improvement on Distributed RDF Querying
      2013 6th International Conference on Data Management in Cloud, Grid and P2P Systems (Globe 2013), Prague, Czech Republic , pages: 63 - 74
    • Keil M, Thiemann P
      Efficient Dynamic Access Analysis Using JavaScript Proxies.
      2013 Proceedings of the 9th Symposium on Dynamic Languages. DLS '13, pages: 49 - 60
    • Hertle Andreas, Dornhege Christian
      Efficient Extensible Path Planning on 3D Terrain Using Behavior Modules
      2013
    • Dakulovic M, Sprunk C, Spinello L, Petrovic I, Burgard W
      Efficient Navigation for Anyshape Holonomic Mobile Robots in Dynamic Environments
      2013 Tokyo, Japan Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS)
    • Müller J, Burgard W
      Efficient Probabilistic Localization for Autonomous Indoor Airships using Sonar, Air Flow, and IMU Sensors
      2013 Advanced Robotics, volume: 27, issue: 9, pages: 711 - 724
    • Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker
      Efficient SAT-Based Dynamic Compaction and Relaxation for Longest Sensitizable Paths
      2013 Conf. on Design, Automation and Test in Europe, pages: 448 - 453
    • Bogoslavskyi I, Vysotska O, Serafin J, Grisetti G, Stachniss C
      Efficient Traversability Analysis for Mobile Robots using the Kinect Sensor
      2013 Barcelona, Spain Proceedings of the European Conference on Mobile Robots (ECMR)
    • Bast H, Celikik M
      Efficient fuzzy search in large text collections
      2013 Acm T Inform Syst, volume: 31, issue: 2

       
      Download file
    • Lau B, Sprunk C, Burgard W
      Efficient grid-based spatial representations for robot navigation in dynamic environments
      2013 Robotics and Autonomous Systems, volume: 61, issue: 10, pages: 1116 - 1130
    • Blum, Manuel, Riedmiller, Martin
      Electricity Demand Forecasting using Gaussian Processes
      2013 The AAAI-13 Workshop on Trading Agent Design and Analysis (TADA-13)
    • Storandt S, Funke S
      Enabling Emobility: Facility Location for Battery Loading Stations
      2013 AAAI
    • Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Equivalence Checking for Partial Implementations Revisited
      2013 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Universität Rostock ITMZ, pages: 61 - 70
    • Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Equivalence Checking for Partial Implementations Revisited
      2013 MBMV, pages: 61 - 70
    • Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Equivalence Checking of Partial Designs using Dependency Quantified Boolean Formulae
      2013 Int'l Conf. on Computer Design, IEEE Computer Society, pages: 396 - 403
    • Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Equivalence checking of partial designs using dependency quantified Boolean formulae
      2013 IEEE 31st International Conference on Computer Design (ICCD) , pages: 396 - 403
    • Maier Lisa-Katharina, Lange Sita, Stoll Britta, Haas Karina, Fischer Susan, Fischer Eike, Duchardt-Ferner Elke, Wohnert Jens, Backofen Rolf, Marchfelder Anita
      Essential requirements for the detection and degradation of invaders by the Haloferax volcanii CRISPR/Cas system I-B
      2013 RNA Biol, volume: 10, issue: 5, pages: 865 - 874
    • Rebholz-Schuhmann Dietrich, Kafkas Senay, Kim Jee-Hyub, Li Chen, Jimeno Yepes Antonio, Hoehndorf Robert, Backofen Rolf, Lewin Ian
      Evaluating gold standard corpora against gene/protein tagging solutions and lexical resources
      2013 J Biomed Semantics, volume: 4, issue: 1
    • Rebholz-Schuhmann Dietrich, Kim Jee-Hyub, Yan Ying, Dixit Abhishek, Friteyre Caroline, Hoehndorf Robert, Backofen Rolf, Lewin Ian
      Evaluation and cross-comparison of lexical entities of biological interest (LexEBI)
      2013 PLoS One, volume: 8
    • Küber Andrea, Mattia Donatelle, Rupp Rüdiger, Tangermann Michael
      Facing the challenge: Bringing brain-computer interfaces to end-users
      2013 Artif Intell Med, volume: 59, issue: 2, pages: 55 - 60
    • Gorelick L., Schmidt R., Boykov Y.
      Fast Trust Region for Segmentation
      2013 IEEE Computer Society
       
      Download file as PDF
    • Feo Arenis S, Westphal Bernd
      Formal Verification of a Parameterized Data Aggregation Protocol
      2013 NASA Formal Methods, Springer, volume: 7871, pages: 428 - 434
    • Jubran Oday, Westphal Bernd
      Formal approach to guard time optimization for TDMA
      2013 RTNS, ACM, pages: 223 - 233
    • Katrin Weber, Bernd Becker
      Formative Evaluation des mobilen Classroom-Response-Systems SMILE
      2013 GMW 2013 eLearing, pages: 277 - 289
    • Georges Morbé, Christoph Scholl
      Fully Symbolic Model Checking for Incomplete Systems of Timed Automata
      2013 Electronic Communications of the EASST, Proceedings of AVOCS 2013, volume: 66
    • Abdulkadir A, Ronneberger O, Wolf RC, Pfleiderer B, Saft C, Kloppel S
      Functional and structural MRI biomarkers to detect pre-clinical neurodegeneration.
      2013 Curr Alzheimer Res, volume: 10, issue: 2, pages: 125 - 134
    • Burgard W, Stachniss C
      Gestatten, Obelix!
      2013 Forschung – Das Magazin der Deutschen Forschungsgemeinschaft, volume: 1
    • Fennell L, Thiemann P
      Gradual Security Typing with References.
      2013 26th IEEE Computer Security Foundations Symposium, CSF 2013, pages: 224 - 239
    • Peter J., Scheef L., Abdulkadir A., Boecker H., Henekah M., Wagnergh M., Kopparag A., Klöppel S., Jessen F.
      Grey matter atrophy pattern in elderly with subjective memory impairment
      2013 Alzheimers Dement
    • Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      High-Level Counterexamples for Probabilistic Automata
      2013 Springer-Verlag, volume: 8054, pages: 18 - 33
    • Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      High-Level Counterexamples for Probabilistic Automata
      , volume: arxiv:1305.5055, 2013
    • Nebel Bernhard, Dornhege Christian, Hertle Andreas
      How Much Does a Household Robot Need To Know In Order To Tidy Up Your Home?
      2013 AAAI Press
    • Riefert A, Müller J, Sauer M, Burgard W, Becker B
      Identification of Critical Variables using an FPGA-based Fault Injection Framework
      2013 Berkeley, CA, USA Proceedings of the IEEE VLSI Test Symposium (VTS)
    • Riefert A, Müller J, Sauer M, Burgard W, Becker B
      Identification of Critical Variables using an FPGA-based Fault Injection Framework
      2013 Dresden, Germany Proceedings of the Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
    • Andreas Riefert, Joerg Mueller, Matthias Sauer, Wolfram Burgard, Bernd Becker
      Identification of Critical Variables using an FPGA-based Fault Injection Framework
      2013 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”
    • Andreas Riefert, Joerg Mueller, Matthias Sauer, Wolfram Burgard, Bernd Becker
      Identification of Critical Variables using an FPGA-based Fault Injection Framework
      2013 VLSI Test Symp., pages: 1 - 6
    • Wurm K, Kretzschmar H, Kümmerle R, Stachniss C, Burgard W
      Identifying Vegetation from Laser Data in Structured Outdoor Environments
      2013 Robotics & Autonomous Systems
    • Ihmsen M, Cornelis J, Solenthaler B, Horvath C, Teschner M
      Implicit Incompressible SPH
      2013 Ieee T Vis Comput Gr, volume: 99, issue: Preprint, pages: 1 - 11
    • Springenberg Jost, Riedmiller Martin
      Improving Deep Neural Networks with Probabilistic Maxout Units
      2013 arXiv:1312.6116, also appeared at ICLR 2014 Workshop Track
    • Zhang R, Bannoura A, Höflinger F, Reindl L, Schindelhauer C
      Indoor localization using a smart phone
      2013 , pages: 38 - 42
    • Farzan Azadeh, Kincaid Zachary, Podelski Andreas
      Inductive data floow graphs
      2013 POPL' 13, Rom 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ACM, volume: 48, issue: 1, pages: 129 - 142
    • Kretzschmar Henrik, Kuderer Markus, Burgard Wolfram
      Inferring Navigation Policies for Mobile Robots from Demonstrations
      2013 Karlsruhe, Germany Proc. of the Autonomous Learning Workshop at the IEEE International Conference on Robotics and Automation (ICRA)
    • Maier D, Lutz C, Bennewitz M
      Integrated Perception, Mapping, and Footstep Planning for Humanoid Navigation Among 3D Obstacles
      2013 Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Dornhege Christian, Hertle Andreas
      Integrated Symbolic Planning in the Tidyup-Robot Project
      2013 AAAI Press
    • Scheller E., Abdulkadir A., Peter J., Trabizi S.J., Frackowiak R.S., Klöppel S.
      Interregional compensatory mechanisms of motor functioning in progressing preclinical neurodegeneration
      2013 Neuroimage, volume: 75, pages: 146 - 154
    • Liu K., Schmidt T., Blein T., Dürr J., Palme K., Ronneberger O.
      Joint 3D Cell Segmentation and Classification in the Arabidopsis Root using Energy Minimization and Shape Priors
      2013 IEEE Computer Society
       
      Download file
    • Dornhege Christian, Hertle Andreas, Nebel Bernhard
      Lazy Evaluation and Subsumption Caching for Search-Based Integrated Task and Motion Planning
      2013
    • Abdo N, Kretzschmar H, Spinello L, Stachniss C
      Learning Manipulation Actions from a Few Demonstrations
      2013 Karlsruhe, Germany Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Kretzschmar Henrik, Kuderer Markus, Burgard Wolfram
      Learning Navigation Policies from Human Demonstrations
      2013 Berlin, Germany Proc. of the Workshop on Inverse Optimal Control & Robotic Learning from Demonstration at Robotics: Science and Systems (RSS)
    • Witkowski Jens, Parkes David C
      Learning the Prior in Minimal Peer Prediction
      2013
    • Roewekaemper J, Tipaldi G, Burgard W
      Learning to Guide Random Tree Planners in High Dimensional Spaces
      2013 Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Florian Pigorsch, Christoph Scholl
      Lemma localization: a practical method for downsizing SMT-interpolants
      2013 DATE, EDA Consortium San Jose, CA, USA / ACM DL, pages: 1405 - 1410
    • Sprunk C, Tipaldi G, Cherubini A, Burgard W
      Lidar-based Teach-and-Repeat of Mobile Robot Trajectories
      2013 Tokyo, Japan Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS)
    • Heizmann Matthias, Hoenicke Jochen, Leike Jan, Podelski Andreas
      Linear Ranking for Linear Lasso Programs
      2013 ATVA, Springer, volume: 8172, pages: 365 - 380
    • Schindelhauer C, Ortolf C
      Maximum Distance Separable Codes based on Circulant Cauchy Matrices
      2013 Structural Information and Communication Complexity - 20th International Colloquium, SIROCCO 2013, Ischia, Italy Springer International Publishing, Moscibroda, Thomas and Rescigno, AdeleA., volume: 8179, pages: 334 - 345
    • Simon Burgess, Yubin Kuang, Johannes Wendeberg, Kalle Aström, Christian Schindelhauer
      Minimal Solvers for Unsynchronized TDOA Sensor Network Calibration
      2013 Proceedings of 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS), volume: 0, pages: 0 - 0
    • Boedecker, Joschka, Lampe, Thomas, Riedmiller, Martin
      Modeling effects of intrinsic and extrinsic rewards on the competition between striatal learning systems
      2013 , volume: 4, issue: 739
    • Dietsch Daniel, Podelski Andreas, Nam Jaechang, Papadopoulos Pantelis, Schäf Martin
      Monitoring Student Activity in Collaborative Software Development
      2013 CoRR, volume: abs/1305.0787
    • Luber M, Arras K
      Multi-Hypothesis Social Grouping and Tracking for Mobile Robots
      2013 Robotics: Science and Systems (RSS), Berlin, Germany, 2013
    • Luber Matthias, Arras Kai
      Multi-Hypothesis Social Grouping and Tracking for Mobile Robots
      2013 Berlin, Germany Robotics: Science and Systems (RSS’13)
    • Luber Matthias, Arras Kai
      Multi-Hypothesis Social Grouping and Tracking for Mobile Robots
      2013 Berlin, Germany Robotics: Science and Systems (RSS’13)
    • Bensch R, Song S, Ronneberger O, Driever W
      Non-directional radial intercalation dominates deep cell behavior during zebrafish epiboly.
      2013 Biol Open, volume: 2, issue: 8, pages: 845 - 854
    • Hornung A, Wurm K, Bennewitz M, Stachniss C, Burgard W
      OctoMap
      2013 Autonomous Robots
    • Hornung A, Wurm K, Bennewitz M, Stachniss C, Burgard W
      OctoMap: An Efficient Probabilistic 3D Mapping Framework Based on Octrees
      2013 Autonomous Robots, volume: 34, pages: 189 - 206
    • Westphal Matthias, Hué Julien, Wölfl Stefan
      On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning
      2013
    • Meyer J, Kuderer M, Müller J, Burgard W
      Online Marker Labeling for Automatic Skeleton Tracking in Optical Motion Capture
      2013 Karlsruhe, Germany Proceedings of the ICRA Workshop on Computational Techniques in Natural Motion Analysis and Reconstruction
    • Bast H, Haussmann E
      Open Information Extraction via Contextual Sentence Decomposition
      2013 ICSC
    • Blum, Manuel, Riedmiller, Martin
      Optimization of Gaussian Process Hyperparameters using Rprop
      2013 European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning
    • Schreuder Martijn, Höhne Johannes, Blankertz Benjamin, Haufe Stefan, Dickhaus Thorsten, Tangermann Michael
      Optimizing ERP Based BCI - a Systematic Evaluation of Dynamic Stopping Methods
      2013 J Neural Eng, volume: 10, issue: 3
    • Feo Arenis S, Westphal Bernd
      Parameterized Verification of Track Topology Aggregation Protocols
      2013 FMOODS/FORTE, Springer, volume: 7892, pages: 35 - 49
    • Thiemann P
      Partially Static Operations.
      2013 Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation an Program Manipulation, PEPM 2013, pages: 75 - 76
    • Ortlieb Manuela, Mattmüller Robert
      Pattern-Database Heuristics for Partially Observable Nondeterministic Planning
      2013
    • Aldinger Johannes, Löhr Johannes
      Planning for Agile Earth Observation Satellites
      2013 , pages: 9 - 17
    • Fine, C., Jordan-Young, B., Kaiser, A., Rippon, G.
      Plasticity, plasticity, plasticity … and the rigid problem of sex.
      2013 Trends in Cognitive Science, 17, pages: 550 - 551
    • Mnih, Volodymyr, Kavukcuoglu, Koray, Silver, David, Graves, Alex, Antonoglou, Ioannis, Wierstra, Daan, Riedmiller, Martin
      Playing Atari with Deep Reinforcement Learning
      2013
    • Ummenhofer B., Brox T.
      Point-based 3D reconstruction of thin objects
      2013 IEEE Computer Society
       
      Download file as PDF
    • Hess J, Beinhofer M, Kuhner D, Ruchti P, Burgard W
      Poisson-driven dirt maps for efficient robot cleaning
      2013 Proc. of the IEEE International Conference on Robotics and Automation (ICRA), pages: 2245 - 2250
    • Funke S, Storandt S
      Polynomial-time Construction of Contraction Hierarchies for Multi-criteria Objectives
      2013 ALENEX
    • Bender J, Mueller M, Otaduy M, Teschner M
      Position-based Methods for the Simulation of Solid Objects in Computer Graphics
      2013 State-of-the-Art Report, Eurographics, volume: 1, pages: 1 - 22
    • Kretzschmar Henrik, Kuderer Markus, Burgard Wolfram
      Predicting Human Navigation Behavior via Inverse Reinforcement Learning
      2013 Princeton, NJ, USA The 1st Multidisciplinary Conference on Reinforcement Learning and Decision Making (RLDM)
    • Christ Jürgen, Hoenicke Jochen, Nutz Alexander
      Proof Tree Preserving Interpolation
      2013 TACAS, Springer, volume: 7795, pages: 124 - 138
    • Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker
      Provably Optimal Test Cube Generation Using Quantified Boolean Formula Solving
      2013 ASP Design Automation Conf.
    • Christian Miller, Christoph Scholl, Bernd Becker
      Proving QBF-Hardness in Bounded Model Checking for Incomplete Designs
      2013 MTV, IEEE Computer Society
    • Abdulla Parosh, Atig Mohamed, Delzanno Giorgio, Podelski Andreas
      Push-Down Automata with Gap-Order Constraints
      2013 FSEN, Springer, volume: 8161, pages: 199 - 216
    • Karsten Scheibler, Stefan Kupferschmid, Bernd Becker
      Recent Improvements in the SMT Solver iSAT
      2013 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Prasse Daniela, Ehlers Claudia, Backofen Rolf, Schmitz Ruth
      Regulatory RNAs in archaea: first target identification in Methanoarchaea
      2013 Biochem Soc Trans, volume: 41, issue: 1, pages: 344 - 349
    • Dussauge, I., Kaiser, A.
      Repolitisations féministes et queer du cerveau.
      2013 Revue d'anthropologie des connaissances, 7(3), pages: 667 - 692
    • Stoll Britta, Maier Lisa-Katharina, Lange Sita, Brendel Jutta, Fischer Susan, Backofen Rolf, Marchfelder Anita
      Requirements for a successful defence reaction by the CRISPR-Cas subtype I-B system
      2013 Biochem Soc Trans, volume: 41, issue: 6, pages: 1444 - 8
    • Bast H, Brodesser M, Storandt S
      Result Diversity for Multi-Modal Route Planning
      2013 ATMOS
    • Becker-Asano C., Gustorff S., Arras Kai O., Ogawa K., Nishio S., Ishiguro H., Nebel B.
      Robot Embodiment, Operator Modality, and Social Interaction in Tele-Existence: A Project Outline
      2013 Human-Robot Interaction (HRI2013) Proc. of Intl. Conf. on Human-Robot Interaction (HRI2013), pages: 79 - 80
    • Becker-Asano Christian, Gustorff Severin, Arras Kai, Ogawa Kohei, Nishio Shuichi, Ishiguro Hiroshi, Nebel Bernhard
      Robot embodiment, operator modality, and social interaction in tele-existence: A project outline
      2013 Tokyo, Japan ACM/IEEE Int. Conf. on Human-Robot Interaction (HRI’13)
    • Becker-Asano Christian, Gustorff Severin, Arras Kai, Ogawa Kohei, Nishio Shuichi, Ishiguro Hiroshi, Nebel Bernhard
      Robot embodiment, operator modality, and social interaction in tele-existence: A project outline
      2013 Tokyo, Japan ACM/IEEE Int. Conf. on Human-Robot Interaction (HRI’13)
    • Becker-Asano Christian, Gustorff Severin, Arras Kai Oliver, Ogawa Kohei, Nishio Shuichi, Ishiguro Hiroshi, Nebel Bernhard
      Robot embodiment, operator modality, and social interaction in tele-existence: a project outline
      2013 , pages: 79 - 80
    • Beinhofer Maximilian, Müller Jörg, Krause Andreas, Burgard Wolfram
      Robust Landmark Selection for Mobile Robot Navigation
      2013 Tokyo, Japan Proc. of the IEEE Int. Conf. on Intelligent Robots and Systems (IROS)
    • Agarwal P, Tipaldi G, Spinello L, Stachniss C, Burgard W
      Robust Map Optimization using Dynamic Covariance Scaling
      2013 Karlsruhe, Germany Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker
      SAT-based Analysis of Sensitisable Paths
      2013 IEEE Design & Test of Computers, volume: 30, issue: 4, pages: 81 - 88
    • Richter Hagen, Lange Sita, Backofen Rolf, Randau Lennart
      SF CRISPR: Comparative analysis of Cas6b processing and CRISPR RNA stability
      2013 RNA Biol, volume: 10, issue: 5, pages: 700 - 707
    • Will Sebastian, Schmiedl Christina, Miladi Milad, Möhl Mathias, Backofen Rolf
      SPARSE: Quadratic time simultaneous alignment and folding of RNAs without sequence-based heuristics
      2013 Proceedings of the 17th International Conference on Research in Computational Molecular Biology (RECOMB 2013), Springer Berlin Heidelberg, volume: 7821, pages: 289 - 290
    • Felder Stephan, Dreisigacker Sandra, Kehraus Stefan, Neu Edith, Bierbaum Gabriele, Wright Patrick, Menche Dirk, Schaberle Till, Konig Gabriele
      Salimabromide: Unexpected Chemistry from the Obligate Marine Myxobacterium Enhygromxya salina
      2013 Chemistry, volume: 19, issue: 28, pages: 9319 - 24
    • Akinci N, Dippel A, Akinci G, Teschner M
      Screen Space Foam Rendering
      2013 Journal of WSCG, volume: 21, issue: 3, pages: 173 - 182
    • Kohei Miyase, Matthias Sauer, Bernd Becker, Xiaoqing Wen, Seiji Kajihara
      Search Space Reduction for Low-Power Test Generation
      2013 22nd IEEE Asian Test Symposium (ATS)
    • Hornung A, Maier D, Bennewitz M
      Search-Based Footstep Planning
      2013 Proc. of the ICRA Workshop on Progress and Open Problems in Motion Planning and Navigation for Humanoid
    • Meier M, Schmidt M, Wei F, Lausen G
      Semantic query optimization in the presence of types
      2013 Comput Syst Sci Eng, volume: 79, issue: 6, pages: 937 - 957
    • Bast H
      Semantische Suche
      2013 Informatik Spektrum (INSK), volume: 36, issue: 2, pages: 136 - 143
    • Kundu Kousik, Costa Fabrizio, Huber Michael, Reth Michael, Backofen Rolf
      Semi-Supervised Prediction of SH2-Peptide Interactions from Imbalanced High-Throughput Data
      2013 PLoS One, volume: 8
    • Morath V, Keuper M, Rodriguez-Franco M, Deswal S, Fiala G, Blumenthal B, Kaschek D, Timmer J, Neuhaus G, Ehl S, Ronneberger O, Schamel WW
      Semi-automatic determination of cell surface areas used in systems biology.
      2013 Front Biosci (Elite Ed), volume: 5, pages: 533 - 545
    • Khosravi Farsani H, Nematbakhsh M A, Lausen G
      Shortest paths as distance between nodes of a graph with application to RDF clustering
      2013 J Inf Sci, volume: 39, issue: 2, pages: 198 - 210
    • Boccard J, Bannoura A, Gorgis O, Gamm G, Reindl L
      Slot antenna packaging for infrastructure monitoring based on wake-up transceiver strategy
      2013 , pages: 84 - 89
    • Krämer N., Kopp S., Becker-Asano C., Sommer N.
      Smile and the world will smile with you---The effects of a virtual agent's smile on users' evaluation and behavior
      2013 Intl. Journal of Human-Computer Studies
    • Krämer Nicole C, Kopp Stefan, Becker-Asano Christian, Sommer Nicole
      Smile and the world will smile with you-The effects of a virtual agent’s smile on users’ evaluation and behavior
      2013 International Journal of Human-Computer Studies, volume: 71, issue: 3, pages: 335 - 349
    • Heizmann Matthias, Hoenicke Jochen, Podelski Andreas
      Software Model Checking for People Who Love Automata
      2013 CAV, Springer, volume: 8044, pages: 36 - 52
    • Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám
      Stochastic Bounded Model Checking: Bounded Rewards and Compositionality
      2013 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, pages: 243 - 254
    • Eyerich Patrick, Helmert Malte
      Stronger Abstraction Heuristics Through Perimeter Search
      2013
    • Khosravi Farsani H, Nematbaksh M, Lausen G
      Structure/attribute computation of similarities between nodes of a RDF graph with application to linked data clustering
      2013 Intell Data Anal, volume: 17, issue: 2, pages: 179 - 194
    • Tobias Nopper, Christoph Scholl
      Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns
      2013 IEEE Trans. Computers, volume: 62, issue: 6, pages: 1234 - 1254
    • Bennewitz M
      Tagungsbericht IROS 2012, Vilamoura, Portugal
      2013 KI - Künstliche Intelligenz
    • Ilik Ibrahim, Quinn Jeffrey, Georgiev Plamen, Tavares-Cadete Filipe, Maticzka Daniel, Toscano Sarah, Wan Yue, Spitale Robert, Luscombe Nicholas, Backofen Rolf, Chang Howard, Akhtar Asifa
      Tandem Stem-Loops in roX RNAs Act Together to Mediate X Chromosome Dosage Compensation in Drosophila
      2013 Mol Cell, volume: 51, issue: 2, pages: 156 - 73
    • Kuderer M, Kretzschmar H, Burgard W
      Teaching Mobile Robots to Cooperatively Navigate in Populated Environments
      2013 Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Bannoura A, Ortolf C, Schindelhauer C, Reindl L
      Technical report: The Wake Up Dominating Set Problem
      , issue: 273, 2013
    • Gabel, Thomas, Riedmiller, Martin
      The Cooperative Driver: Multi-Agent Learning for Preventing Traffic Jams
      2013 Scientific & Academic Publishing, volume: 1, issue: 4, pages: 67 - -76
    • Mann Martin, Ekker Heinz, Flamm Christoph
      The Graph Grammar Library - a generic framework for chemical graph rewrite systems
      2013 Theory and Practice of Model Transformations, Proc. of ICMT 2013, Springer, volume: 7909, pages: 52 - 53
    • Bast H, Korzen C
      The Icecite Research Paper Management System
      2013 WISE, volume: 8181, pages: 396 - 409

       
      Download file
    • Wehrle Martin, Helmert Malte, Alkhazraji Yusra, Mattmüller Robert
      The Relative Pruning Power of Strong Stubborn Sets and Expansion Core
      2013
    • Kiryazov K., Lowe R., Becker-Asano C., Randazzo M.
      The Role of Arousal in Two-Resource Problem Tasks for Humanoid Service Robots
      2013 Intl. Symposium on Robot and Human Interactive Communication IEEEProc. IEEE Intl. Symposium on Robot and Human Interactive Communication (RO-MAN'13), pages: 62 - 69
    • Kiryazov Kiril, Lowe Robert, Becker-Asano Christian, Randazzo Marco
      The Role of Arousal in Two-Resource Problem Tasks for Humanoid Service Robots
      2013
    • Müller-Putz Gernot, Schreuder Martijn, Tangermann Michael, Leeb Robert, Millán José
      The hybrid Brain-Computer Interface: a bridge to assistive technology?
      2013 Graz Biomed Tech, Walter de Gruyter, volume: 58, issue: SI-1, page: 4435
    • Bannoura A, Gorgis O, Reindl L, Schindelhauer C
      Time Analysis for Wireless Wake-Up Radio Transceivers
      2013
    • Martin Kaufmann, Amin Amiri Manjili, Panagiotis Vagenas, Peter M. Fischer, Donald Kossmann, Franz Färber, Norman May
      Timeline index: a unified data structure for processing queries on temporal data in SAP HANA
      2013 ACM, pages: 1173 - 1184
    • Niemueller Tim, Abdo Nichola, Hertle Andreas, Lakemeyer Gerhard, Burgard Wolfram, Nebel Bernhard
      Towards Deliberative Active Perception using Persistent Memory
      2013
    • Westphal Matthias, Hué Julien, Wölfl Stefan, Nebel Bernhard
      Transition Constraints: A Study on the Computational Complexity of Qualitative Change
      2013 , pages: 1169 - 1175
    • Keller Thomas, Helmert Malte
      Trial-based Heuristic Tree Search for Finite Horizon MDPs
      2013 , pages: 101 - 105
    • Keller Thomas, Helmert Malte
      Trial-based Heuristic Tree Search for Finite Horizon MDPs
      2013 , pages: 135 - 143
    • Nickel Lisa, Weidenbach Katrin, Jager Dominik, Backofen Rolf, Lange Sita, Heidrich Nadja, Schmitz Ruth
      Two CRISPR-Cas systems in Methanosarcina mazei strain Go1 display common processing features despite belonging to different types I and III
      2013 RNA Biol, volume: 10
    • Keil M, Thiemann P
      Type-based Dependency Analysis for JavaScript.
      2013 Proceedings of the Eight ACM SIGPLAN Workshop on Programming Languages and Analysis for Security. PLAS '13, pages: 47 - 58
    • Heizmann Matthias, Christ Jürgen, Dietsch Daniel, Ermis Evren, Hoenicke Jochen, Lindenmann Markus, Nutz Alexander, Schilling Christian, Podelski Andreas
      Ultimate Automizer with SMTInterpol - (Competition Contribution)
      2013 Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, Springer, volume: 7795, pages: 641 - 643
    • Schreuder Martijn, Riccio Angela, Risetti Monica, Dähne Sven, Ramsey Andrew, Williamson John, Mattia Donatella, Tangermann Michael
      User-Centered Design in Brain-Computer Interfaces - a Case Study
      2013 Artificial Intelligence in Medicine, volume: 59, issue: 2, pages: 71 - 80
    • Vonwil D, Christensen J, Fischer S, Ronneberger O, Shastri VP
      Validation of Fluorescence Molecular Tomography/Micro-CT Multimodal Imaging In Vivo in Rats.
      2013 Mol Imaging Biol
    • Schmidt T., Dürr J., Keuper M., Blein T., Palme K., Ronneberger O,
      Variational Attenuation Correction of Two-View Confocal Microscopic Recordings
      2013 IEEE Computer Society, pages: 169 - 172
    • Schmidt T, Durr J, Keuper M, Blein T, Palme K, Ronneberger O
      Variational attenuation correction in two-view confocal microscopy.
      2013 Bmc Bioinformatics, volume: 14, pages: 366 - 366
    • Akinci N, Akinci G, Teschner M
      Versatile Surface Tension and Adhesion for SPH Fluids
      2013 Acm T Graphic, volume: 99, issue: Preprint, pages: 1 - 8
    • Fabian Kuhn, Monaldo Mastrolilli
      Vertex Cover in Graphs with Locally Few Colors
      2013 Inform Comput, volume: 222, pages: 265 - 277
    • Maier D, Stachniss C, Bennewitz M
      Vision-Based Humanoid Navigation Using Self-Supervised Obstacle Detection
      2013 The Int. Journal of Humanoid Robotics (IJHR), volume: 10
    • Maier D, Stachniss C, Bennewitz M
      Vision-based Humanoid Navigation Using Self-supervised Obstacle Detection
      2013 International Journal of Humanoid Robotics (IJHR)
    • Matthias Sauer, Jan Burchard, Tobias Schubert, Ilia Polian, Bernd Becker
      Waveform-Guided Fault Injection by Clock Manipulation
      2013 TRUDEVICE Workshop
    • Burget F, Hornung A, Bennewitz M
      Whole-Body Motion Planning for Manipulation of Articulated Objects
      2013 Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Ferstl, E. C., Kaiser, A.
      Wie quantitative Methoden aus der Experimental- und Neuropsychologie einen Beitrag zur Geschlechterforschung leisten können.
      2013 Gender, Zeitschrift für Geschlecht, Kultur und Gesellschaft, 3, pages: 9 - 25
    • Tangermann Michael, Kindermans Pieter-Jan, Schreuder Martijn, Schrauwen Benjamin, Müller Klaus-Robert
      Zero Training for BCI – Reality for BCI Systems Based on Event-Related Potentials
      2013 Graz Biomed Tech, Walter de Gruyter, volume: 58, issue: SI-1, page: 4439
    • Kaiser A.
      Zum (An)Erkennen von Gleichheit und Differenz in Geschlechterforschung und Neurowissenschaft – ein kritischer Vergleich.
      2013 In G. Grisard, U. Jäger, & T. König (Eds.), Verschieden sein – Nachdenken über Geschlecht und Differenz, pages: 147 - 157
    • Der Andere Verlag, page: 266
      Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung
      ISBN: 978-3-86247-411-0
      Stefan Kupferschmid

    2012

    Icon: top back to the year overview
    • Alexander Czutro, Michael Imhof, Jie Jiang, Abdullah Mumtaz, Matthias Sauer, Bernd Becker, Ilia Polian, Hans-Joachim Wunderlich
      Variation-Aware Fault Grading
      2012 IEEE Asian Test Symp., pages: 344 - 349
    • Sebastian Daum, Fabian Kuhn, Calvin Newport
      Efficient Symmetry Breaking in Multi-Channel Radio Networks
      2012 26th Int. Symp. on Distributed Computing (DISC), Salvador, Bahia, Brazil , pages: 238 - 252
    • Bernhard Haeupler, Fabian Kuhn
      Lower Bounds on Information Dissemination in Dynamic Networks
      2012 26th International Symposium on Distributed Computing (DISC), Salvador, Bahia, Brazil , pages: 166 - 180
    • Ali L, Lausen G
      Evaluating SPARQL Subqueries over P2P Overlay Networks
      2012 DEXA Workshops 2012 , pages: 272 - 276
    • Sebastian Daum, Seth Gilbert, Fabian Kuhn, Calvin Newport
      Leader Election in Shared Spectrum Radio Networks
      2012 31st ACM Symp. on Principles of Distributed Computing (PODC), Madeira, Portugal , pages: 215 - 224
    • Andrew Drucker, Fabian Kuhn, Rotem Oshman
      The Communication Complexity of Distributed Task Allocation
      2012 31st ACM Symp. on Principles of Distributed Computing (PODC), Madeira, Portugal , pages: 67 - 76
    • Ortolf C, Schindelhauer C
      Online multi-robot exploration of grid graphs with rectangular obstacles
      2012 24th ACM Symposium on Parallelism in Algorithms and Architectures, Pittsburgh, Pennsylvania, USA , pages: 27 - 36

       
      Download file as PDF
    • Christian Miller, Paolo Marin, Bernd Becker
      A Dynamic QBF Preprocessing Approach for the Verification of Incomplete Designs
      2012 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, volume: 19
    • Antonio Carzaniga, Koorosh Khazaei, Fabian Kuhn
      Oblivious Low-Congestion Multicast Routing in Wireless Networks
      2012 13th ACM Int. Symp. on Mobile Ad Hoc Networking and Computing (MOBIHOC) , Hilton Head Island, SC, USA , pages: 155 - 164
    • Przyjaciel-Zablocki M, Schätzle A, Hornung T, Dorner C, Lausen G
      Cascading Map-Side Joins over HBase for Scalable Join Processing
      2012 Computing Research Repository (CoRR)
    • Aslam F, Baig G, Qureshi M A, Uzmi Z A, Fennell L, Thiemann C, Schindelhauer C, Haussmann E
      Rethinking Java call stack design for tiny embedded devices
      2012 LCTES '12 Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems Acm Sigplan Notices, ACM, volume: 47, issue: 5, pages: 1 - 10
    • Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
      Enhanced Integration of QBF Solving Techniques
      2012 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, pages: 133 - 143
    • Linus Feiten, Matthias Sauer, Tobias Schubert, Alexander Czutro, Eberhard Böhl, Ilia Polian, Bernd Becker
      #SAT-Based Vulnerability Analysis of Security Components -- A Case Study
      2012 IEEE International Symposium on Defect and Fault Tolerance (DFT), pages: 49 - 54
    • Riedmiller, Martin
      10 Steps and Some Tricks to Set up Neural Reinforcement Controllers.
      2012 Neural Networks: Tricks of the Trade (2nd ed.), pages: 735 - 757
    • Liu K., Wang Q., Driever W., Ronneberger O
      2D/3D Rotation-Invariant Detection using Equivariant Filters and Kernel Weighted Mapping
      2012 IEEE Computer Vision
       
      Download file as PDF
    • Ruhnke M, Steder B, Grisetti G, Burgard W
      3D Environment Modeling Based on Surface Primitives
      2012 Towards Service Robots for Everyday Environments, Springer Berlin/Heidelberg, pages: 281 - 300
    • Bogomolov Sergiy, Frehse Goran, Grosu Radu, Ladan Hamed, Podelski Andreas, Wehrle Martin
      A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx
      2012 CAV, Springer, volume: 7358, pages: 479 - 494
    • Bast H, Bäurle F, Buchhold B, Haussmann E
      A Case for Semantic Full-Text Search
      2012 SIGIR-JIWES
    • Grzonka S, Grisetti G, Burgard W
      A Fully Autonomous Indoor Quadrotor
      2012 IEEE Transactions on Robotics (T-RO), volume: 8, issue: 1, pages: 90 - 100
    • Blum, Manuel, Springenberg, Jost Tobias, Wülfing, Jan, Riedmiller, Martin
      A Learned Feature Descriptor for Object Recognition in RGB-D Data
      2012 IEEE International Conference on Robotics and Automation (ICRA)
    • Löhr Johannes, Eyerich Patrick, Keller Thomas, Nebel Bernhard
      A Planning Based Framework for Controlling Hybrid Systems
      2012 Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012)
    • Witkowski Jens, Parkes David C
      A Robust Bayesian Truth Serum for Small Populations
      , 2012
    • Alkhazraji Yusra, Wehrle Martin, Mattmüller Robert, Helmert Malte
      A Stubborn Set Algorithm for Optimal Planning
      2012 Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012)
    • Höflinger F, Müller J, Törk M, Reindl L, Burgard W
      A Wireless Micro Inertial Measurement Unit (IMU)
      2012 Graz, Austria Proceedings of the IEEE International Instrumentation and Measurement Technology Conference (I2MTC), pages: 2578 - 2583
    • Bernd Becker, Ruediger Ehlers, Matthew Lewis, Paolo Marin
      ALLQBF Solving by Computational Learning
      2012 Automated Technology for Verification and Analysis, Springer, volume: 7561, pages: 370 - 384
    • Huang Jiabin, Backofen Rolf, Voss Bjorn
      Abstract folding space analysis based on helices
      2012 RNA, volume: 18, pages: 2135 - 47
    • Heidegger P, Bieniusa A, Thiemann P
      Access Permission Contracts for Scripting Languages.
      2012 Proceedings 39th Annual ACM Symposium on Principles of Programming Languages, pages: 111 - 122
    • Richter Andreas, Backofen Rolf
      Accessibility and conservation: General features of bacterial small RNA-mRNA interactions?
      2012 RNA BIOL, volume: 9, issue: 7, pages: 954 - 965
    • Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
      Accurate Computation of Longest Sensitizable Paths using Answer Set Programming
      2012 GMM/ITG-Fachtagung “Zuverlässigkeit und Entwurf”
    • Fabian Höflinger, Johannes Wendeberg, Rui Zhang, Manuel Bührer, Joachim Hoppe, Amir Bannoura, Leonhard M. Reindl, Christian Schindelhauer
      Acoustic Self-calibrating System for Indoor Smartphone Tracking (ASSIST)
      2012 Proceedings of 2012 International Conference on Indoor Positioning and Indoor Navigation (IPIN)
    • Grzonka S, Karwath A, Dijoux F, Burgard W
      Activity-based Indoor Mapping and Estimation of Human Trajectories
      2012 IEEE Transactions on Robotics (T-RO), volume: 8, issue: 1, pages: 234 - 245
    • Hornung A, Bennewitz M
      Adaptive Level-of-Detail Planning for Efficient Humanoid Navigation
      2012 Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Akinci G, Akinci N, Ihmsen M, Teschner M
      An Efficient Surface Reconstruction Pipeline for Particle-Based Fluids
      2012 Proc. VRIPHYS, volume: 1, pages: 61 - 68
    • Jäger Dominik, Pernitzsch Sandy, Richter Andreas, Backofen Rolf, Sharma Cynthia, Schmitz Ruth
      An archaeal sRNA targeting cis- and trans- encoded mRNAs via two distinct domains
      2012 NUCLEIC ACIDS RES, volume: 40, pages: 10964 - 79
    • Hué Julien, Westphal Matthias, Wölfl Stefan
      An automatic decomposition method for qualitative spatial and temporal reasoning
      2012 International Conference on Tools for Artificial Intelligence (ICTAI) , pages: 588 - 595
    • Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Sudhakar M. Reddy, Bernd Becker
      Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation
      2012 Int'l Conf. on VLSI Design
    • Thomas Janson, Christian Schindelhauer
      Analyzing Randomly Placed Multiple Antennas for MIMO Wireless Communication
      2012 Fifth International Workshop on Selected Topics in Mobile and Wireless Computing (IEEE STWiMob'2012), Barcelona, Spain ACM, pages: 745 - 752
    • Kelman Dovi, Posner Ellen, McDermid Karla, Tabandera Nicole, Wright Patrick, Wright Anthony
      Antioxidant activity of Hawaiian marine algae
      2012 Mar Drugs, volume: 10, pages: 403 - 16
    • Hornung A, Dornbush A, Likhachev M, Bennewitz M
      Anytime Footstep Planning with Suboptimality Bounds
      2012 Proc. of the IEEE-RAS International Conference on Humanoid Robots (Humanoids)
    • Maier D, Bennewitz M
      Appearance-Based Traversability Classification in Monocular Images Using Iterative Ground Plane Estimation
      2012 Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Mann Martin, Ekker Heinz, Stadler Peter, Flamm Christoph
      Atom Mapping with Constraint Programming
      2012 Proceedings of the Workshop on Constraint Based Methods for Bioinformatics (WCB 2012), pages: 23 - 29
    • Stork Johannes, Spinello Luciano, Silva Jens, Arras Kai
      Audio-based human activity recognition using non-Markovian ensemble voting
      2012 Paris, France IEEE Int. Symposium on Robot and Human Interactive Communication (RO-MAN’12)
    • Post Amalinda, Menzel Igor, Hoenicke Jochen, Podelski Andreas
      Automotive behavioral requirements expressed in a specification pattern system
      2012 Requir. Eng., volume: 17, issue: 1, pages: 19 - 33
    • Riedmiller, Martin, Lange, Sascha, Voigtlaender, Arne
      Autonomous reinforcement learning on raw visual input data in a real world application
      2012 International Joint Conference on Neural Networks
    • Kleim B., Ehring T., Scheel C. N., Becker-Asano C., Nebel B., Tuschen-Caffier B.
      Bewältigungsverhalten in Notfallsituationen aus klinisch-psychologischer Perspektive
      2012 Zeitschrift für Klinische Psychologie und Psychotherapie, volume: 41, issue: 3, pages: 166 - 179
    • Arlt Stephan, Ermis Evren, Arenis Sergio, Podelski Andreas
      Black-Box Verification for GUI Applications
      2012 CoRR, volume: abs/1210.4686
    • Keuper M., Temerinac-Ott M., Padeken J., Heun P., Brox T., Burkhardt H, Ronneberger O
      Blind Deconvolution with PSF Regularization for Wide-field Microscopy
      2012 IEEE Biomedical, pages: 1292 - 1295
       
      Download file as PDF
    • Bast Hannah, Bäurle Florian, Buchhold Björn, Haussmann Elmar
      Broccoli: Semantic Full-Text Search at your Fingertips
      2012 CoRR, volume: abs/1207.2615
    • Sorescu Dragos, Möhl Mathias, Mann Martin, Backofen Rolf, Will Sebastian
      CARNA - alignment of RNA structure ensembles
      2012 NUCLEIC ACIDS RES, volume: 40, issue: W1, pages: W49 - W53
    • Richter Hagen, Zoephel Judith, Schermuly Jeanette, Maticzka Daniel, Backofen Rolf, Randau Lennart
      Characterization of CRISPR RNA processing in Clostridium thermocellum and Methanococcus maripaludis
      2012 NUCLEIC ACIDS RES, volume: 40, issue: 19, pages: 9887 - 9896
    • Kohlbrecher Stefan, Petersen Karen, Steinbauer Gerald, Maurer Johannes, Lepej Peter, Uran Suzana, Ventura Rodrigo, Dornhege Christian, Hertle Andreas, Sheh Raymond, Pellenz Johannes
      Community-Driven Development of Standard Software Modules for Search and Rescue Robots
      2012 Safety, Security and Rescue Robotics (SSRR)
    • Ummenhofer B., Brox T.
      Dense 3D Reconstruction with a Hand-held Camera
      2012 Springer
       
      Download file as PDF
    • Klöppel S., Abdulkadir A., Jack Jr C.R., Koutsouleris N., Mourão-Miranda J., Vemuri P.
      Diagnostic neuroimaging across diseases
      2012 Neuroimage, volume: 61, issue: 2, pages: 457 - 463
    • Grisetti G, Iocchi L, Leibe B, Ziparo V, Stachniss C
      Digitization of Inaccessible Archeological Sites with Autonomous Mobile Robots
      2012 Conf. on Robotics Innovation for Cultural Heritage
    • Temerinac-Ott M., Temerinac .
      Discrete Fourier-Invariant Signals: Design and Application
      2012 IEEE Transaction on signal processing, volume: 60 , issue: 3, pages: 1863 - 1873
    • Sievers Silvan, Ortlieb Manuela, Helmert Malte
      Efficient Implementation of Pattern Database Heuristics for Classical Planning
      2012 Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012) AAAI Press, pages: 105 - 111
    • Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
      Enhanced Integration of QBF Solving Techniques
      2012 MBMV, pages: 133 - 143
    • Schmiedl Christina, Möhl Mathias, Heyne Steffen, Amit Mika, Landau Gad, Will Sebastian, Backofen Rolf
      Exact Pattern Matching for RNA Structure Ensembles
      2012 Proceedings of the 16th International Conference on Research in Computational Molecular Biology (RECOMB 2012), Springer-Verlag, volume: 7262, pages: 245 - 260
    • Stefan Hillebrecht, Michael Kochte, Hans-Joachim Wunderlich, Bernd Becker
      Exact Stuck-at Fault Classification in Presence of Unknowns
      2012 IEEE European Test Symp.
    • Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
      Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
      2012 Sci. Comput. Program., volume: 77, issue: 10-11, pages: 1122 - 1150
    • von der Pütten A. M., Becker-Asano C., Ogawa K., Nishio S., Ishiguro H.
      Exploration and Analysis of People's Nonverbal Behavior Towards an Android
      2012 Annual meeting of the International Communication Association Proc. of the Annual meeting of the International Communication Association
    • Kolev K, Brox T, Cremers D
      Fast joint estimation of silhouettes and dense 3D geometry from multiple images.
      2012 IEEE Transactions on Pattern Analysis and Machine Intelligence, volume: 34, issue: 3, pages: 493 - 505
       
      Download file as PDF
    • Skibbe H, Reisert M, Schmidt T, Brox T, Ronneberger O, Burkhardt H
      Fast rotation invariant 3D feature computation utilizing efficient local neighborhood operators.
      2012 IEEE Transactions on Pattern Analysis and Machine Intelligence, volume: 34, issue: 8, pages: 1563 - 1575
    • Kuderer M, Kretzschmar H, Sprunk C, Burgard W
      Feature-Based Prediction of Trajectories for Socially Compliant Navigation
      2012 Proceedings of Robotics: Science and Systems (RSS)
    • Post Amalinda, Hoenicke Jochen
      Formalization and Analysis of Real-Time Requirements
      2012 VSTTE, Springer, volume: 7152, pages: 225 - 240
    • Abdo N, Kretzschmar H, Stachniss C
      From Low-Level Trajectory Demonstrations to Symbolic Actions for Planning
      2012 Proc. of the ICAPS Workshop on Combining Task and Motion Planning for Real-World Applications (TAMPRA)
    • Cunningham A, Wurm K, Burgard W, Dellaert F
      Fully Distributed Scalable Smoothing and Mapping with Robust Multi-robot Data Association
      2012 Saint Paul, MN, USA Proc. of the IEEE/RSJ International Conference on Robotics & Automation (ICRA)
    • Georges Morbé, Christoph Scholl
      Fully Symbolic Model Checking for Incomplete Systems of Timed Automata
      2012 MBMV, pages: 97 - 108
    • Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker
      Functional Justification in Sequential Circuits using SAT and Craig Interpolation
      2012 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”
    • Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker
      Functional Test of Small-Delay Faults using SAT and Craig Interpolation
      2012 Int'l Test Conf., pages: 1 - 8
    • Lange Sita, Maticzka Daniel, Mohl Mathias, Gagnon Joshua, Brown Chris, Backofen Rolf
      Global or local? Predicting secondary structure and accessibility in mRNAs
      2012 NUCLEIC ACIDS RES, volume: 40, pages: 5215 - 26
    • Heyne Steffen, Costa Fabrizio, Rose Dominic, Backofen Rolf
      GraphClust: alignment-free structural clustering of local RNA secondary structures
      2012 BIOINFORMATICS, volume: 28, issue: 12, pages: i224 - i232
    • Georges Morbé, Christoph Scholl
      Guaranteeing Termination of Fully Symbolic Timed Forward Model Checking
      2012 MTV, IEEE Computer Society, pages: 35 - 40
    • Schmidt F., Boykov Y.
      Hausdorff Distance Constraint for Multi-Surface Segmentation
      2012 ECCV
       
      Download file as PDF
    • Nagaraja N., Ochs P., Liu K., Brox T.
      Hierarchy of Localized Random Forests for Video Annotation
      2012 Springer
       
      Download file as PDF
    • Ihmsen M, Wahl A, Teschner M
      High-Resolution Simulation of Granular Material with SPH
      2012 Proc. VRIPHYS, volume: 1, pages: 53 - 60
    • Ochs P., Brox T.
      Higher Order Motion Models and Spectral Clustering
      2012 IEEE Computer vision
       
      Download file as PDF
    • Ruhnke M, Kümmerle R, Grisetti G, Burgard W
      Highly Accurate 3D Surface Models by Sparse Surface Adjustment
      2012 Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Smaus Jan-Georg, Schilling Christian, Wenzelmann Fabian
      Implementations of two algorithms for the threshold synthesis problem
      2012 International Symposium on Artificial Intelligence and Mathematics (ISAIM 2012), Fort Lauderdale, Florida, USA, January 9-11, 2012
    • Sprunk C, Lau B, Burgard W
      Improved Non-linear Spline Fitting for Teaching Trajectories to Mobile Robots
      2012 St. Paul, MN, USA Proc. of the IEEE International Conference on Robotics and Automation (ICRA), pages: 2068 - 2073
    • Oßwald S, Hornung A, Bennewitz M
      Improved Proposals for Highly Accurate Localization Using Range and Vision Data
      2012 Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Paolo Marin, Christian Miller, Bernd Becker
      Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation)
      2012 Int'l Conf. on Theory and Applications of Satisfiability Testing, Springer, volume: 7317, pages: 473 - 474
    • Greese B, Wester K, Bensch R, Ronneberger O, Timmer J, Huulskamp M, Fleck C
      Influence of cell-to-cell variability on spatial pattern formation.
      2012 Iet Syst Biol, volume: 6, issue: 4, pages: 143 - 153
    • Kretzschmar H, Stachniss C
      Information-Theoretic Pose Graph Compression for Laser-based SLAM
      2012 International Journal of Robotics Research (IJRR), volume: 31, pages: 1219 - 1230
    • Speigelhalder K., Regen W., Baglioni C., Klöppel S., Abdulkadir A., Hennig J., Nissen C., Riemann D., Feige B.
      Insomnia does not appear to be associated with substantial structural brain changes
      2012 Sleep
    • Becker-Asano Christian, Ishiguro Hiroshi
      Intercultural Differences in Decoding Facial Expressions of the Android Robot Geminoid F
      2012 Journal of Artificial Intelligence and Soft Computing Research, volume: 1, issue: 3, pages: 215 - 231
    • Podelski Andreas
      Interpolant Automata - (Invited Talk)
      2012 ATVA, Springer, volume: 7561
    • Heidegger P, Thiemann P
      JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript
      2012 Journal of Object Technology, volume: 6, pages: 1 - 29
    • Mattner, Jan, Lange, Sascha, Riedmiller, Martin
      Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data
      2012 Proceedings of the 19th International Conference on Neural Information Processing (5) (ICONIP 2012), pages: 126 - -133
    • Springenberg, Jost Tobias, Riedmiller, Martin
      Learning temporal coherent features through life-time sparsity
      2012 International Conference on Neural Information Processing (ICONIP), pages: 347 - -356
    • Spinello Luciano, Luber Matthias, Arras Kai
      Leveraging RGB-D data: adaptive fusion and domain adaptation for object detection
      2012 St. Paul, USA IEEE Int. Conf. on Robotics and Automation (ICRA’12)
    • Arlt Stephan, Podelski Andreas, Bertolini Cristiano, Schäf Martin, Banerjee Ishan, Memon Atif
      Lightweight Static Analysis for GUI Testing
      2012 ISSRE, IEEE, pages: 301 - 310
    • Will Sebastian, Joshi Tejal, Hofacker Ivo, Stadler Peter, Backofen Rolf
      LocARNA-P: Accurate boundary prediction and improved detection of structural RNAs
      2012 RNA, volume: 18, issue: 5, pages: 900 - 14
    • Amit Mika, Backofen Rolf, Heyne Steffen, Landau Gad, Möhl Mathias, Schmiedl Christina, Will Sebastian
      Local Exact Pattern Matching for Non-fixed RNA Structures
      2012 Proceedings of the 23th Annual Symposium on Combinatorial Pattern Matching (CPM 2012), Springer-Verlag, volume: 7354, pages: 306 - 320
    • Peter M. Fischer, Jens Teubner
      MXQuery with Hardware Acceleration
      2012 IEEE Computer Society, pages: 1293 - 1296
    • Benferhat Salem, Hué Julien, Lagrue Sylvain, Rossit Julien
      Merging Interval-Based Possibilistic Belief Bases
      2012 International Conference on Scalable Uncertainty Management (SUM) , pages: 447 - 458
    • Rose Dominic
      MicroRNAs in Cancer Translational Research: The Microcosm of Cancer Diagnosis, Prognosis and Therapy
      2012 Frontiers in Genetics, volume: 3, issue: 42
    • Bender Bela, Mann Martin, Backofen Rolf, Spiecker Heinrich
      Microstructure Alignment of Wood Density Profiles
      2012 TREES-STRUCT FUNCT, volume: 26, pages: 1267 - 1274
    • Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes
      AVACS Technical Report, issue: 88, 2012
    • Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
      Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties
      2012 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Verlag Dr. Kovac, pages: 169 - 180
    • Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
      Minimal Critical Subsystems for Discrete-Time Markov Models
      2012 Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag, volume: 7214, pages: 299 - 314
    • Barth Jelena, Westphal Bernd, Arlt Stephan
      Model-based development of embedded systems' user interfaces
      2012 ACM, volume: ACES-MB '12, pages: 37 - 42
    • Schmidt T., Keuper M., Pasternak T., Palme K., Ronneberger O
      Modeling of Sparsely Sampled Tubular Surfaces Using Coupled Curves
      2012 Springer, pages: 83 - 92
       
      Download file as PDF
    • Alexander Czutro, Matthias Sauer, Ilia Polian, Bernd Becker
      Multi-Conditional ATPG using SAT with Preferences
      2012 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”
    • Alexander Czutro, Matthias Sauer, Ilia Polian, Bernd Becker
      Multi-Conditional SAT-ATPG for Power-Droop Testing
      2012 IEEE European Test Symp.
    • Temerinac-Ott M, Ronneberger O, Ochs P, Driever W, Brox T, Burkhardt H
      Multiview deblurring for 3-D images from light-sheet-based fluorescence microscopy.
      2012 Ieee T Image Process, volume: 21, issue: 4, pages: 1863 - 1873
    • Lutz C, Atmanspacher F, Hornung A, Bennewitz M
      NAO Walking Down a Ramp Autonomously
      2012 Video Abstract Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Mendes Nuno, Heyne Steffen, Freitas Ana, Sagot Marie-France, Backofen Rolf
      Navigating the unexplored seascape of pre-miRNA candidates in single-genome approaches
      2012 BIOINFORMATICS, volume: 28, pages: 3034 - 41
    • Hornung A, Phillips M, Jones E, Bennewitz M, Likhachev M, Chitta S
      Navigation in Three-Dimensional Cluttered Environments
      2012 Proc. of the RSS Workshop on Robots in Clutter
    • Hornung A, Phillips M, Jones E, Bennewitz M, Likhachev M, Chitta S
      Navigation in Three-Dimensional Cluttered Environments for Mobile Manipulation
      2012 Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Dussauge, I., Kaiser, A.
      Neuroscience and Sex/Gender.
      2012 Neuroethics, 5(3), pages: 211 - 216
    • Westphal Matthias, Hué Julien
      Nogoods in Qualitative Constraint-based Reasoning
      2012 Nogoods in Qualitative Constraint-based Reasoning Springer-Verlag, volume: 7526, pages: 180 - 192
    • Joho D, Tipaldi G, Engelhard N, Stachniss C, Burgard W
      Nonparametric Bayesian Models for Unsupervised Scene Analysis and Reconstruction
      2012 Proc. of Robotics: Science and Systems (RSS)
    • Hess J, Tipaldi D, Burgard W
      Null Space Optimization for Effective Coverage of 3D Surfaces using Redundant Manipulators
      2012 Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages: 1923 - 1928
    • Brox T., Malik J.
      Object segmentation by long term analysis of point trajectories
      2012 Springer
       
      Download file as PDF
    • Meyer-Delius D, Beinhofer M, Burgard W
      Occupancy Grid Models for Robot Mapping in Changing Environments
      2012 Toronto, Canada Proc. of the AAAI Conf. on Artificial Intelligence (AAAI)
    • Jie Jiang, Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian
      On the Optimality of K Longest Path Generation Algorithm Under Memory Constraints
      2012 Conf. on Design, Automation and Test in Europe, pages: 418 - 423
    • Roewekaemper J, Sprunk C, Tipaldi G, Stachniss C, Pfaff P, Burgard W
      On the Position Accuracy of Mobile Robot Localization based on Particle Filters combined with Scan Matching
      2012 Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian
      On the Quality of Test Vectors for Post-Silicon Characterization
      2012 IEEE European Test Symp.
    • Claßen Jens, Röger Gabriele, Lakemeyer Gerhard, Nebel Bernhard
      PLATAS – Integrating Planning and the Action Language Golog
      2012 KI – Künstliche Intelligenz, volume: 26, pages: 61 - 67
    • Keller Thomas, Eyerich Patrick
      PROST: Probabilistic Planning Based on UCT
      2012 Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012) , pages: 119 - 127
    • Akinci G, Ihmsen M, Akinci N, Teschner M
      Parallel Surface Reconstruction for Particle-based Fluids
      2012 Comput Graph Forum, volume: 31, issue: 6, pages: 1797 - 1809
    • Arlt Stephan, Borromeo Pedro, Schäf Martin, Podelski Andreas
      Parameterized GUI Tests
      2012 ICTSS, Springer, volume: 7641, pages: 247 - 262
    • Stachniss C, Burgard W
      Particle Filters for Robot Navigation
      2012 Foundations and Trends in Robotics, volume: 3, issue: 4, pages: 211 - 282
    • Witkowski Jens, Parkes David C
      Peer Prediction without a Common Prior
      , 2012
    • Löhr Johannes, Nebel Bernhard, Winkler Stefan
      Planning Based Autonomous Lander Control
      2012 Proceedings of the Astrodynamics Specialist Conference (AIAA/AAS 2012)
    • Hertle Andreas, Dornhege Christian, Keller Thomas, Nebel Bernhard
      Planning with Semantic Attachments: An Object-Oriented View
      2012 Proceedings of the European Conference on Artificial Intelligence (ECAI)
    • Johannes Wendeberg, Christian Schindelhauer
      Polynomial Time Approximation Algorithms for Localization based on Unknown Signals
      2012 Proceedings of 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS)

    • Poster and Demo Track of the 35th German Conference on Artificial Intelligence (KI-2012), September 24-27, 2012, Saarbrücken, Germany
      Wölfl Stefan
    • Eyerich Patrick
      Preferring Properly: Increasing Coverage while Maintaining Quality in Anytime Temporal Planning
      2012 Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012)
    • Eyerich Patrick
      Preferring Properly: Increasing Coverage while Maintaining Quality in Anytime Temporal Planning
      2012 Proceedings of the ICAPS-12 Workshop on Heuristics and Search for Domain Independent Planning (HSDIP 2012)
    • Müller J, Paul O, Burgard W
      Probabilistic Velocity Estimation for Autonomous Miniature Airships using Thermal Air Flow Sensors
      2012 Saint Paul, MN, USA Proc. of the IEEE International Conference on Robotics & Automation (ICRA), pages: 39 - 44
    • Mann Martin, Saunders Rhodri, Smith Cameron, Backofen Rolf, Deane Charlotte
      Producing high-accuracy lattice models from protein atomic co-ordinates including side chains
      2012 Advances in Bioinformatics, volume: 2012
    • Scheel C. N., Kleim B., Schmitz J., Becker-Asano C., Sun D., Nebel B., Tuschen-Caffier B.
      Psychophysiologische Belastungsreaktivität nach einem simulierten Feuer in einer Parkgarage
      2012 Zeitschrift für Klinische Psychologie und Psychotherapie, volume: 41, issue: 3, pages: 180 - 189
    • Arras Kai, Lau Boris, Grzonka Slawomir, Luber Matthias, Martínez-Mozos Oscar, Meyer-Delius Daniel, Burgard Wolfram
      Range-Based People Detection and Tracking for Socially Aware Service Robots
      In: Towards Service Robots for Everyday Environments
      2012, , volume: 76,
    • Arras Kai, Lau Boris, Grzonka Slawomir, Luber Matthias, Mozos Oscar, Meyer-Delius Daniel, Burgard Wolfram
      Range-Based People Detection and Tracking for Socially Enabled Service Robots
      In: Towards Service Robots for Everyday in Environments
      2012, Springer, volume: 76, pages: 235 - 280,
    • Kaiser, A.
      Re-conceptualizing Sex and Gender in the Human Brain.
      2012 Journal of Psychology, 220(2), pages: 130 - 136
    • Dussauge, I., Kaiser, A.
      Re-queering the Brain.
      2012 In R. Bluhm, A. Jacobson, & H. Maibom (Eds.), Neurofeminism: Issues at the Intersection of Feminist Theory and Cognitive Science, pages: 121 - 144
    • Maier D, Hornung A, Bennewitz M
      Real-Time Navigation in 3D Environments Based on Depth Camera Data
      2012 Proc. of the IEEE-RAS International Conference on Humanoid Robots (Humanoids)
    • Herrera Christian, Westphal Bernd, Arenis Sergio, Muñiz Marco, Podelski Andreas
      Reducing Quasi-Equal Clocks in Networks of Timed Automata
      2012 FORMATS, Springer, volume: 7595, pages: 155 - 170
    • Schmaltz C., Rosenhahn B, Brox T., Weickert J.
      Region based pose tracking with occlusions using 3D models
      2012 Machine Vision and Applications, volume: 23, issue: 3, pages: 557 - 577
       
      Download file as PDF
    • Faisal A, Ghufran B, Mubashir A Q, Zartash A U, Fennell L, Thiemann P, Schindelhauer C, Haussmann E
      Rethinking Java Call Stack Design for Tiny Embedded Devices.
      2012 LCTES, pages: 1 - 10
    • Aslam Faisal, Baig Ghufran, Qureshi Mubashir, Uzmi Zartash, Fennell Luminous, Thiemann Peter, Schindelhauer Christian, Haussmann Elmar
      Rethinking Java call stack design for tiny embedded devices
      2012 LCTES, pages: 1 - 10
    • Hué Julien, Westphal Matthias
      Revising Qualitative Constraint Network: Definition and Implementation
      2012 Internationial Conference on Tools for Artificial Intelligence (ICTAI) , pages: 548 - 555
    • Embgen S., Luber M., Becker-Asano C., Ragni M., Evers V., Arras Kai O.
      Robot-Specific Social Cues in Emotional Body Language
      2012 Intl. Symposium on Robot and Human Interactive Communication Proc. IEEE Intl. Symposium on Robot and Human Interactive Communication (RO-MAN'12), IEEE, pages: 1019 - 1025
    • Embgen Stephanie, Luber Matthias, Becker-Asano Christian, Ragni Marco, Evers Vanessa, Arras Kai
      Robot-specific social cues in emotional body language
      2012 Paris, France IEEE Int. Symposium on Robot and Human Interactive Communication (RO-MAN’12)
    • Demeester E, Poorten E, HĂźntemann A, Schutter J, Hofmann M, Rooker M, Kronreif G, Lau B, Kuderer M, Burgard W, A . Gelin K, Beeten P, Vereecken M, Ilsbroukx S, Fossati A, Roig G, Boix X, Gool L, Fraeyman H, Broucke L, Goessaert H, Josten J
      Robotic ADaptation to Humans Adapting to Robots: Overview of the FP7 project RADHAR
      2012 International Conference on Systems and Computer Science (ICSCS)
    • Grisetti G, Kümmerle R, Ni K
      Robust Optimization of Factor Graphs by using Condensed Measurements
      2012 Vilamoura, Portugal Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS)
    • Wendeberg J, Müller J, Schindelhauer C, Burgard W
      Robust Tracking of a Mobile Beacon using Time Differences of Arrival with Simultaneous Calibration of Receiver Positions
      2012 Sydney, Australia Proceedings of the International Conference on Indoor Positioning and Indoor Navigation (IPIN)
    • Johannes Wendeberg, Jörg Müller, Christian Schindelhauer, Wolfram Burgard
      Robust Tracking of a Mobile Beacon using Time Differences of Arrival with Simultaneous Calibration of Receiver Positions
      2012 Proceedings of 2012 International Conference on Indoor Positioning and Indoor Navigation (IPIN)
    • Grundmann Thilo, Fiegert Michael, Burgard Wolfram
      Rule Set Based Joint State Update
      In: Towards Service Robots for Everyday Environments
      2012, Springer, pages: 301 - 326,
    • Alexander Czutro, Matthias Sauer, Tobias Schubert, Ilia Polian, Bernd Becker
      SAT-ATPG Using Preferences for Improved Detection of Complex Defect Mechanisms
      2012 VLSI Test Symp.
    • Linus Feiten, Manuel Bührer, Sebastian Sester, Bernd Becker
      SMILE - SMARTPHONES IN LECTURES - Initiating a Smartphone-based Audience Response System as a Student Project
      2012 4th International Conference on Computer Supported Education (CSEDU), pages: 288 - 293

       
      Download file as PDF
    • Celia Kändler, Linus Feiten, Katrin Weber, Michael Wiedmann, Manuel Bührer, Sebastian Sester, Bernd Becker
      SMILE - smartphones in a university learning environment: a classroom response system
      2012 International Conference of the Learning Sciences (ICLS), International Society of the Learning Sciences, volume: 2, pages: 515 - 516
    • Christ Jürgen, Hoenicke Jochen, Nutz Alexander
      SMTInterpol
      2012 SPIN, Springer, volume: 7385, pages: 248 - 254
    • Spinello L, Stachniss C, Burgard W
      Scene in the Loop: Towards Adaptation-by-Tracking in RGB-D Data
      2012 Proc. of the RSS Workshop RGB-D: Advanced Reasoning with Depth Cameras
    • Gorelick L., Schmidt F, Boykov Y., Delong A., Ward A.
      Segmentation with non-linear regional constraints via line-search cuts
      2012 ECCV
       
      Download file as PDF
    • Johannes Wendeberg, Thomas Janson, Christian Schindelhauer
      Self-Localization based on Ambient Signals
      2012 Theor Comput Sci, volume: 453, pages: 98 - 109
    • Ernst S, Liu K, Agarwala S, Moratscheck N, Avci ME, Dalle Nogare D, Chitnis AB, Ronneberger O, Lecaudey V
      Shroom3 is required downstream of FGF signalling to mediate proneuromast assembly in zebrafish.
      2012 Development, volume: 139, issue: 24, pages: 4571 - 4581
    • Kümmerle R, Grisetti G, Burgard W
      Simultaneous Parameter Calibration, Localization, and Mapping
      2012 Advanced Robotics, volume: 26, issue: 17, pages: 2021 - 2041
    • Matthias Sauer, Alexander Czutro, Ilia Polian, Bernd Becker
      Small-Delay-Fault ATPG with Waveform Accuracy
      2012 Int'l Conf. on CAD, pages: 30 - 36
    • Luber Matthias, Spinello Luciano, Silva Jens, Arras Kai
      Socially-aware robot navigation: a learning approach
      2012 Vilamoura, Portugal IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS’12)
    • Springer Springer, Springer
      Spatial Cognition VIII
      Stachniss C, Schill K, Uttal D
    • Ermis Evren, Hoenicke Jochen, Podelski Andreas
      Splitting via Interpolants
      2012 VMCAI, Springer, volume: 7148, pages: 186 - 201
    • Will Sebastian, Yu Michael, Berger Bonnie
      Structure-based Whole Genome Realignment Reveals Many Novel Non-coding RNAs
      2012 Proceedings of the 16th International Conference on Research in Computational Molecular Biology (RECOMB 2012), Springer-Verlag, volume: 7262, page: 341
    • Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker
      Symbolic Counterexample Generation for Discrete-time Markov Chains
      2012 Int'l Symp. on Formal Aspects of Component Software, Springer-Verlag, volume: 7684, pages: 134 - 151
    • Ralf Wimmer
      Symbolische Methoden für die probabilistische Verifikation
      In: Ausgezeichnete Informatik-Dissertationen
      2012, Gesellschaft für Informatik, Stefan Hölldobler et al., pages: 271 - 280, Stefan Hölldobler et al., ISBN: 978-3-88579-416-5
    • Obst, Oliver, Riedmiller, Martin
      Taming the Reservoir: Feedforward Training for Recurrent Neural Networks
      2012 International Joint Conference on Neural Networks
    • Fennell L, Thiemann P
      The Blame Theorem for a Linear Lambda Calculus with Type Dynamic.
      2012 Trends in Functional Programming - 12th International Symposium, TFP 2012 Trends in Functional Programming - 12th International Symposium, TFP 2012, pages: 37 - 52
    • Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      The COMICS Tool - Computing Minimal Counterexamples for DTMCs
      2012 Automated Technology for Verification and Analysis, Springer-Verlag, volume: 7561, pages: 349 - 353
    • Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      The COMICS Tool - Computing Minimal Counterexamples for DTMCs
      , volume: arxiv:1206.0603, 2012
    • Becker-Asano C., Arras K.O., Nebel B., Ishiguro H.
      The Effect of Anthropomorphism on Social Tele-Embodiment
      2012 IROS 2012 Workshop on Human-Agent Interaction IROS 2012 Workshop on Human-Agent Interaction
    • Degen M, Thiemann P, Wehr S
      The Interaction of Contracts and Laziness.
      2012 Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, pages: 97 - 106
    • Mukherjee Oindrilla, Weingarten Lars, Padberg Inken, Pracht Catrin, Sinha Rileen, Hochdorfer Thomas, Kuppig Stephan, Backofen Rolf, Reth Michael, Huber Michael
      The SH2-domain of SHIP1 interacts with the SHIP1 C-terminus
      2012 BBA-MOL CELL RES, volume: 1823, pages: 206 - 14
    • Becker-Asano Christian, Arras Kai, Nebel Bernhard, Ishiguro Hiroshi
      The effect of anthropomorphism on social tele-embodiment
      2012 Vilamoura, Portugal IROS 2012 Workshop on Human-Agent Interaction
    • Muñiz Marco, Westphal Bernd, Podelski Andreas
      Timed Automata with Disjoint Activity
      2012 FORMATS, Springer, volume: 7595, pages: 188 - 203
    • Christ Jürgen, Hoenicke Jochen, Schäf Martin
      Towards Bounded Infeasible Code Detection
      2012 CoRR, volume: abs/1205.6527
    • Westphal Bernd, Dietsch Daniel, Arenis Sergio, Podelski Andreas, Pahlow Louis, Morsbach Jochen, Sommer Barbara, Fuchs Anke, Meierhöfer Christine
      Towards successful subcontracting for software in small to medium-sized enterprises
      2012 RELAW, IEEE, pages: 42 - 51
    • Westphal Bernd, Dietsch Daniel, Arenis Sergio, Podelski Andreas, Pahlow Louis, Morsbach Jochen, Sommer Barbara, Fuchs Anke, Meierhöfer Christine
      Towards successful subcontracting for software in small to medium-sized enterprises
      2012 Fifth IEEE International Workshop on Requirements Engineering and Law, RELAW 2012, Chicago, IL, USA, September 25, 2012, IEEE Computer Society, pages: 42 - 51
    • Irina Botan, Peter M. Fischer, Donald Kossmann, Nesime Tatbul
      Transactional stream processing
      2012 15th Int'l Conference on Extending Database Technology (EDBT’2012), Proceedings, Berlin, March 2012 ACM, pages: 204 - 215
       
      Download file
    • Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
      Transient Reward Approximation for Grids, Crowds, and Viruses
      arXiv, volume: arxiv:1212.1251, 2012
    • Ihmsen M, Akinci N, Akinci G, Teschner M
      Unified Spray, Foam and Bubbles for Particle-based Fluids
      2012 The Visual Computer, volume: 28, issue: 6-8, pages: 669 - 677
    • Wülfing, Jan, Riedmiller, Martin
      Unsupervised Learning of Local Features for Music Classification
      2012 Proceedings of the 13th International Society for Music Information Retrieval Conference (ISMIR)
    • Joho Dominik, Tipaldi Gian, Engelhard Nikolas, Stachniss Cyrill, Burgard Wolfram
      Unsupervised Scene Analysis and Reconstruction Using Nonparametric Bayesian Models
      2012 Sydney, Australia Proc. of the Workshop on Robots in Clutter at Robotics: Science and Systems (RSS)
    • Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker
      Verification of Partial Designs Using Incremental QBF Solving
      2012 Conf. on Design, Automation and Test in Europe, pages: 623 - 628
    • Kuncak Viktor, Rybalchenko Andrey
      Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
      2012 SpringerLecture Notes in Computer Science, Springer, volume: 7148
    • Joshi Rajeev, Müller Peter, Podelski Andreas
      Verified Software
      2012 SpringerLecture Notes in Computer Science, Springer, volume: 7152
    • Akinci N, Ihmsen M, Akinci G, Solenthaler B, Teschner M
      Versatile Rigid-Fluid Coupling for Incompressible SPH
      2012 Acm T Graphic, volume: 31, issue: 4, pages: 62:1 - 62:8
    • Lienkamp SS, Liu K, Karner CM, Carroll TJ, Ronneberger O, Wallingford JB, Walz G
      Vertebrate kidney tubules elongate using a planar cell polarity-dependent, rosette-based mechanism of convergent extension.
      2012 Nat Genet, volume: 44, issue: 12, pages: 1382 - 1387
    • Ronneberger O, Liu K, Rath M, Ruebeta D, Mueller T, Skibbe H, Drayer B, Schmidt T, Filippi A, Nitschke R, Brox T, Burkhardt H, Driever W
      ViBE-Z: a framework for 3D virtual colocalization analysis in zebrafish larval brains.
      2012 Nat Methods, volume: 9, issue: 7, pages: 735 - 742
    • Koenemann J, Bennewitz M
      Whole-Body Imitation of Human Motions with a Nao Humanoid
      2012 Video Abstract Proc. of the ACM/IEEE International Conference on Human-Robot Interaction (HRI)

    2011

    Icon: top back to the year overview
    • Jie Jiang, Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian
      On the Optimality of K Longest Path Generation
      2011 Workshop on RTL and High Level Testing
    • Schmedding F
      Incremental SPARQL Evaluation for Query Answering on Linked Data
      2011 Second International Workshop on Consuming Linked Data (COLD2011), in conjunction with the 10th International Semantic Web Conference (ISWC 2011). Bonn, Germany.
       
      Download file as PDF
    • Fabian Kuhn, Rotem Oshman
      The Complexity of Data Aggregation in Directed Networks
      2011 25th Int. Symp. on Distributed Computing (DISC), Rome, Italy , pages: 416 - 431
    • Yehuda Afek, Noga Alon, Ziv Bar-Joseph, Alejandro Cornejo, Bernhard Haeupler, Fabian Kuhn
      Beeping a Maximal Independent Set
      2011 25th Int. Symp. on Distributed Computing (DISC), Rome, Italy , pages: 32 - 50
    • Ali L, Janson T, Lausen G
      3rdf: Storing and Querying RDF Data on top of the 3nuts Overlay Network
      2011 0th International Workshop on Web Semantics (WebS 2011), in conjunction with the 22nd International Conference on Database and Expert Systems Applications (DEXA 2011). Toulouse (France).
       
      Download file as PDF
    • Fabian Kuhn, Monaldo Mastrolilli
      Vertex Cover in Graphs with Locally Few Colors
      2011 38th Int. Colloquium on Automata, Languages and Programming (ICALP), Zurich, Switzerland , pages: 498 - 509
    • Matthias Sauer, Alexander Czutro, Ilia Polian, Bernd Becker
      Estimation of Component Criticality in Early Design Steps
      2011 IEEE Int'l Online Testing Symp., pages: 104 - 110
    • Schätzle A, Przyjaciel-Zablocki M, Lausen G
      PigSPARQL: Mapping SPARQL to Pig Latin
      2011 3rd International Workshop on Semantic Web Information Management (SWIM 2011), in conjunction with the 2011 ACM International Conference on Management of Data (SIGMOD 2011). Athens (Greece).
       
      Download file
    • Majid Khabbazian, Fabian Kuhn, Nancy Lynch, Muriel Médard, Ali ParandehGheibi
      MAC Design for Analog Network Coding
      2011 7th ACM Workshop on Foundations of Mobile Computing (FOMC), San Jose CA, USA , pages: 42 - 51
    • Fabian Kuhn, Yoram Moses, Rotem Oshman
      Coordinated Consensus in Dynamic Networks
      2011 30th ACM Symp. on Principles of Distributed Computing (PODC), San Jose CA, USA , pages: 1 - 10
       
      Download file as PDF
    • Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy Lynch, Calvin Newport
      Structuring Unreliable Radio Networks
      2011 30th ACM Symp. on Principles of Distributed Computing (PODC), San Jose CA, USA , pages: 79 - 88
       
      Download file as PDF
    • Przyjaciel-Zablocki M, Schätzle A, Hornung T, Lausen G
      RDFPath: Path Query Processing on Large RDF Graphs with MapReduce
      2011 1st Workshop on High-Performance Computing for the Semantic Web (HPCSW 2011), collocated with 8th Extended Semantic Web Conference (ESWC 2011). Heraklion (Greece).
       
      Download file as PDF
    • Przyjaciel-Zablocki M, Schätzle A, Hornung T, Lausen G
      RDFPath: Path Query Processing on Large RDF Graphs with MapReduce
      2011 1st Workshop on High-Performance Computing for the Semantic Web (HPCSW 2011), collocated with 8th Extended Semantic Web Conference (ESWC 2011). Heraklion (Greece).
       
      Download file as PDF
    • Schätzle A, Przyjaciel-Zablocki M, Hornung T, Lausen G
      PigSPARQL: Übersetzung von SPARQL nach Pig Latin
      2011 14. GI-Fachtagung Datenbanksysteme für Business, Technologie und Web , volume: 2011, pages: 65 - 84
       
      Download file as PDF
    • Christian Miller, Christoph Scholl, Bernd Becker
      Verifying Incomplete Networks of Timed Automata
      2011 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, volume: 14
    • Alsbih A, Felix Freiling, Schindelhauer C
      A Case Study in Practical Security of Cable Networks
      2011 IFIP SEC - Future Challenges in Security and Privacy for Academia and Industry,, Springer, volume: 354, pages: 92 - 103
    • Grzonka S, Steder B, Burgard W
      3D Place Recognition and Object Detection using a Small-sized Quadrotor
      2011 Workshop on 3D Exploration, Mapping, and Surveillance with Aerial Robots at Robotics: Science and Systems (RSS)
    • Liu K., Skibbe H., Schmidt T., Bein T., Palme K., Ronneberger O
      3D Rotation-Invariant Description from Tensor Operation on Spherical HOG Field
      2011 BMVC
       
      Download file as PDF
    • Liaquat Ali, Thomas Janson, Georg Lausen, Christian Schindelhauer
      3rdf: Storing and Querying RDF Data on Top of the 3nuts Overlay Network
      2011 22nd International Workshop on Database and Expert Systems Applications (DEXA), Toulouse, France , pages: 257 - 261
    • Dornhege Christian, Kleiner Alexander
      A Frontier-Void-Based Approach for Autonomous Exploration in 3D
      2011 Proceedings of the IEEE International Symposium on Safety, Security and Rescue Robotics (SSRR), pages: 377 - 392
    • Heidegger P, Thiemann P
      A Heuristic Approach for Computing Effects.
      2011 Objects, Models, Components, Patterns - 49th International Conference, TOOLS 2011, pages: 147 - 162
    • Kleiner Alexander, Nebel Bernhard, Ziparo V
      A Mechanism for Dynamic Ride Sharing based on Parallel Auctions
      2011 Proc. of the 22th International Joint Conference on Artificial Intelligence (IJCAI), pages: 377 - 392
    • Sebastian Daum, Ralf Werner
      A Novel Feasible Discretization Method for Linear Semi-infinite Programming Applied to Basket Option Pricing
      2011 Optimization, volume: 60, issue: 10, pages: 1379 - 1398
    • Ihmsen M, Akinci N, Becker M, Teschner M
      A Parallel SPH Implementation on Multi-core CPUs
      2011 Comput Graph Forum, volume: 30, issue: 1, pages: 99 - 112

       
      Download file
    • Göbelbecker Moritz, Aydemir Alper, Pronobis Andrzej, Sjöö Kristoffer, Jensfelt Patric
      A Planning Approach to Active Visual Search in Large Environments
      2011 Proceedings of the AAAI-11 Workshop on Automated Action Planning for Autonomous Mobile Robots (PAMR), pages: 377 - 392
    • Keller Thomas, Eyerich Patrick
      A Polynomial All Outcome Determinization for Probabilistic Planning
      2011 Proceedings of the 21th International Conference on Automated Planning and Scheduling (ICAPS 2011), AAAI Press, pages: 377 - 392
    • Sturm J, Stachniss C, Burgard W
      A Probabilistic Framework for Learning Kinematic Models of Articulated Objects
      2011 Journal on Artificial Intelligence Research, volume: 41, pages: 477 - 526
    • Göbelbecker Moritz, Gretton Charles, Dearden Richard
      A Switching Planner for Combined Task and Observation Planning
      2011 Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI 2011), pages: 377 - 392
    • Göbelbecker Moritz, Gretton Charles, Dearden Richard
      A Switching Planner for Combined Task and Observation Planning
      2011 Electronic Proceedings of the Workshop on Decision Making in Partially Observable, Uncertain Worlds, pages: 377 - 392
    • Kloppel S, Abdulkadir A, Hadjidemetriou S, Issleib S, Frings L, Thanh TN, Mader I, Teipel SJ, Hull M, Ronneberger O
      A comparison of different automated methods for the detection of white matter lesions in MRI data.
      2011 Neuroimage, volume: 57, issue: 2, pages: 416 - 422
    • Krumnack Antje, Bucher Leandra, Nejasmic Jelica, Nebel Bernhard, Knauff Markus
      A model for relational reasoning as verbal reasoning
      2011 Cognitive Systems Research, volume: 12, issue: 3-4, pages: 377 - 392
    • Skocaj Danijel, Kristan Matej, Vrecko Alen, Mahnic Marko, Janicek Miroslav, Kruijff Geert-Jan, Hanheide Marc, Hawes Nick, Keller Thomas, Zillich Michael, Zhou Kai
      A system for interactive learning in dialogue with a tutor
      2011 Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2011), pages: 377 - 392
    • Kleiner Alexander, Sun Dali, Meyer-Delius D
      ARMO
      2011 Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), pages: 377 - 392
    • Kupferschmid Sebastian, Wehrle Martin
      Abstractions and Pattern Databases
      2011 Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011), Springer-Verlag, volume: 6605, pages: 377 - 392
    • Kupferschmid Sebastian, Wehrle Martin
      Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy
      2011 TACAS, Springer, volume: 6605, pages: 276 - 290
    • Richter Andreas, Backofen Rolf
      Accessibility and conservation in bacterial small RNA-mRNA interactions and implications for genome-wide target predictions
      2011 Proceedings of the German Conference on Bioinformatics (GCB 2011)
    • Ziegler J, Kretzschmar H, Stachniss C, Grisetti G, Burgard W
      Accurate Human Motion Capture in Large Areas by Combining IMU- and Laser-based People Tracking
      2011 San Francisco, CA, USA Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Becker-Asano C.
      Affective Computing combined with Android Science
      2011 Künstliche Intelligenz, volume: 25, pages: 245 - 250
    • Lingyu, M., Reisert M., Wirth C., Hunte C., Ronneberger O., Burkhardt H.
      Alpha helix prediction based on metropolis-hastings sampling
      2011 IEEE Biomedical, pages: 1943 - 1949
       
      Download file as PDF
    • von der Pütten A. M., Krämer N. C., Becker-Asano C., Ishiguro H.
      An Android in the Field
      2011 Intl. Conf. on Human-Robot Interaction ACM/IEEE Intl. Conf. on Human-Robot Interaction, IEEE, pages: 283 - 284
    • von der Pütten A. M., Krämer N. C., Becker-Asano C., Ishiguro H.
      An Android in the field. How people react towards Geminoid HI-1 in a real world scenario
      2011 Conf. of the Media Psychology Division of the German Psychological Society Proc. of the 7th Conf. of the Media Psychology Division of the German Psychological Society
    • Sauer M, Tomashevich V, Müller J, Lewis M, Spilla A, Polian I, Becker B, Burgard W
      An FPGA-Based Framework for Run-time Injection and Analysis of Soft Errors in Microprocessors
      2011 Athens, Greece Proceedings of the IEEE International On-Line Testing Symposium (IOLTS), pages: 182 - 185
    • Matthias Sauer, Victor Tomashevich, Jörg Müller, Matthew Lewis, Ilia Polian, Bernd Becker, Wolfram Burgard
      An FPGA-Based Framework for Run-time Injection and Analysis of Soft Errors in Microprocessors
      2011 IEEE Int'l Online Testing Symp., pages: 182 - 185
    • Amir Alsbih, Thomas Janson, Christian Schindelhauer
      Analysis of Peer-to-Peer Traffic and User Behaviour
      2011 Fourth International Conference on Internet Technologies & Applications (ITA 2011)

       
      Download file as PDF
    • J. Wendeberg, F. Höflinger, C. Schindelhauer, L. Reindl
      Anchor-free TDOA Self-Localization
      2011 Proceedings of 2011 International Conference on Indoor Positioning and Indoor Navigation (IPIN)
    • Ihmsen M, Bader J, Akinci G, Teschner M
      Animation of Air Bubbles with SPH
      2011 Proc. Int. Conf. on Computer Graphics Theory and Applications GRAPP, volume: 1, pages: 225 - 234
    • Post Amalinda, Menzel Igor, Podelski Andreas
      Applying Restricted English Grammar on Automotive Requirements - Does it Work?
      2011 REFSQ, Springer, volume: 6606, pages: 166 - 180
    • Post Amalinda, Menzel Igor, Podelski Andreas
      Applying restricted English grammar on automotive requirements - does it work? A case study
      2011 REFSQ, Springer, volume: LNCS 6606, pages: 166 - 180
    • Stork Johannes, Silva Jens, Spinello Luciano, Arras Kai
      Audio-Based Human Activity Recognition with Robots
      2011 Amsterdam, The Netherlands International Conference on Social Robotics (ICSR’11)
    • Post Amalinda, Podelski Andreas
      Automatische Validierung von Anforderungen
      2011 Softwaretechnik-Trends, volume: 31, issue: 1
    • Oßwald S, Görög A, Hornung A, Bennewitz M
      Autonomous Climbing of Spiral Staircases with Humanoids
      2011 Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Müller J, Kohler N, Burgard W
      Autonomous Miniature Blimp Navigation with Online Motion Planning and Re-planning
      2011 San Francisco, CA, USA Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages: 4941 - 4946
    • Domshlak Carmel, Helmert Malte, Karpas Erez, Keyder Emil, Richter Silvia, Röger Gabriele, Seipp Jendrik, Westphal Matthias
      BJOLP
      2011 Seventh International Planning Competition (IPC 2011), Deterministic Part, pages: 377 - 392
    • Lange, S., Gabel, T., Riedmiller, M.
      Batch Reinforcement Learning
      In: Reinforcement Learning: State of the Art
      2011, Springer, in press,
    • Arlt Stephan, Bertolini Christiano, Schäf Martin
      Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation
      2011 TESTBEDS
    • Luber Matthias, Tipaldi Gian, Arras Kai
      Better Models For People Tracking
      2011 Shanghai, China Proc. IEEE International Conference on Robotics and Automation (ICRA’11)
    • Tuschen-Caffier B., Kleim B., Becker-Asano C., Sun D., Nebel B., Scheel C.
      Bewältigungsverhalten in virtuellen Notfallsituationen
      2011 7. Workshop Kongress für Psychologie und Psychotherapie 7. Workshop Kongress f\"{u}r Psychologie und Psychotherapie
    • Backofen Rolf
      Bioinformatics of Bacterial sRNAs and Their Targets
      In: Regulatory RNAs in Prokaryotes
      2011, Wien Springer Verlag, pages: 221 - 239,
    • Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
      Bounded Fairness for Probabilistic Distributed Algorithms
      2011 Int'l Conf. on Application of Concurrency to System Design, IEEE Computer Society, pages: 89 - 97
    • Christian Miller, Karina Gitina, Bernd Becker
      Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas
      2011 Int'l Workshop on Microprocessor Test and Verification, pages: 22 - 27
    • Christian Schindelhauer, Zvi Lotker, Johannes Wendeberg
      Brief Announcement: Network Synchronization and Localization Based on Stolen Signals
      2011 Proceedings of 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC)
    • Becker-Asano C., Sun D., Kleim B., Scheel C. N., Tuschen-Caffier B., Nebel B.
      CoVE: Coping in Virtual Emergencies
      2011 Intl. Workshop on Emotion and Computing
    • Mitrohin Corina, Podelski Andreas
      Composing Stability Proofs for Hybrid Systems
      2011 FORMATS, Springer, volume: 6919, pages: 286 - 300
    • Tay TL, Ronneberger O, Ryu S, Nitschke R, Driever W
      Comprehensive catecholaminergic projectome analysis reveals single-neuron integration of zebrafish ascending and descending dopaminergic systems.
      2011 Nat Commun, volume: 2, pages: 171 - 171
    • Rose Dominic, Hiller Michael, Schutt Katharina, Hackermuller Jorg, Backofen Rolf, Stadler Peter
      Computational discovery of human coding and non-coding transcripts with conserved splice sites
      2011 BIOINFORMATICS, volume: 27, pages: 1894 - 900
    • Nissim Raz, Hoffmann Jörg, Helmert Malte
      Computing Perfect Heuristics in Polynomial Time
      2011 Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011), pages: 377 - 392
    • Nissim Raz, Hoffmann Jörg, Helmert Malte
      Computing Perfect Heuristics in Polynomial Time
      2011 Proceedings of the ICAPS-2011 Workshop on Heuristics for Domain-independent Planning (HDIP), pages: 377 - 392
    • Kolling A, Kleiner Alexander, Lewis M, Sycara K
      Computing and Executing Strategies for Moving Target Search
      2011 Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA), pages: 377 - 392
    • Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
      Counterexample Generation for Markov Chains using SMT-based Bounded Model Checking
      2011 IFIP Int'l Conf. on Formal Methods for Open Object-based Distributed Systems, Springer-Verlag, volume: 6722, pages: 75 - 89
    • Stefan Kupferschmid, Bernd Becker
      Craig interpolation in the presence of non-linear constraints
      2011 Formal Modeling and Analysis of Timed Systems, Springer, pages: 240 - 255
    • Stefan Kupferschmid, Bernd Becker
      Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen
      2011 OFFIS-Institut für Informatik, pages: 279 - 288
    • Dietsch Daniel, Arenis Sergio, Westphal Bernd, Podelski Andreas
      Disambiguation of industrial standards through formalization and graphical languages
      2011 RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011 - September 2, 2011, IEEE Computer Society, pages: 265 - 270
    • Gabel, Thomas, Riedmiller, Martin
      Distributed Policy Search Reinforcement Learning for Job-Shop Scheduling Tasks
      2011 Taylor & Francis, volume: 50, issue: 1, page: available online from May 2011
    • Fabian Kuhn, Rotem Oshman
      Dynamic Networks: Models and Algorithms
      2011 ACM SIGACT News, volume: Volume 42, issue: 1
    • Abdulkadir A., Mortamet B., Vemuri P., Jack Jr.,C.R., Krueger G., Klöppel S.
      Effects of hardware heterogeneity on the performance of SVM Alzheimers disease classifier
      2011 Neuroimage, volume: 58, issue: 3, pages: 785 - 792
    • Kretzschmar H, Stachniss C, Grisetti G
      Efficient Information-Theoretic Graph Pruning for Graph-Based SLAM with Laser Range Finders
      2011 San Francisco, CA, USA Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Frank B, Stachniss C, Abdo N, Burgard W
      Efficient Motion Planning for Manipulation Robots in Environments with Deformable Objects
      2011 San Francisco, CA, USA Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Matthias Sauer, Jie Jiang, Alexander Czutro, Ilia Polian, Bernd Becker
      Efficient SAT-Based Search for Longest Sensitisable Paths
      2011 Test Symposium (ATS), 2011 20th Asian, pages: 108 - 113
    • Gissler M, Ihmsen M, Teschner M
      Efficient Uniform Grids for Collision Handling in Medical Simulators
      2011 Proc. Int. Conf. on Computer Graphics Theory and Applications GRAPP, volume: 1, pages: 79 - 84
    • Gissler M, Ihmsen M, Teschner M
      Efficient Uniform Grids for Collision Handling in Medical Simulators
      2011 Technical Report Nr. 263, Department of Computer Science, Freiburg, volume: 1, pages: 1 - 9
    • Benton J, Eyerich Patrick, Kambhampati Subbarao
      Enhancing Search for Satisficing Temporal Planning with Objective-driven Decisions
      2011 Proceedings of the ICAPS-2011 Workshop on Heuristics for Domain-independent Planning, pages: 377 - 392
    • Witsch, Andreas, Reichle, Roland, Lange, Sascha, Riedmiller, Martin, Geihs, Kurt
      Enhancing the Episodic Natural Actor-Critic Algorithm by a Regularisation Term to Stabilize Learning of Control Structures
      2011 In Proceedings of the IEEE Symposium on Approximate Dynamic Programming and Reinforcement Learning (ADPRL 2011)
    • Becker-Asano C., Ishiguro H.
      Evaluating facial displays of emotion for the android robot Geminoid F
      2011 IEEE SSCI Workshop on Affective Computational Intelligence IEEE SSCI Workshop on Affective Computational Intelligence, pages: 22 - 29
    • Hanheide Marc, Gretton Charles, Dearden Richard, Hawes Nick, Wyatt Jeremy, Pronobis Andrzej, Aydemir Alper, Göbelbecker Moritz, Zender Hendrik
      Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour
      2011 Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011), pages: 377 - 392
    • Fawcett Chris, Helmert Malte, Hoos Holger, Karpas Erez, Röger Gabriele, Seipp Jendrik
      FD-Autotune
      2011 Seventh International Planning Competition (IPC 2011), Deterministic Part, pages: 377 - 392
    • Fawcett Chris, Helmert Malte, Hoos Holger, Karpas Erez, Röger Gabriele, Seipp Jendrik
      FD-Autotune
      2011 Proceedings of the ICAPS-2011 Workshop on Planning and Learning (PAL), pages: 377 - 392
    • Fawcett Chris, Helmert Malte, Hoos Holger, Karpas Erez, Röger Gabriele, Seipp Jendrik
      FD-Autotune
      2011 Seventh International Planning Competition (IPC 2011), Planning and Learning Part, pages: 377 - 392
    • Helmert Malte, Röger Gabriele, Karpas Erez
      Fast Downward Stone Soup
      2011 Proceedings of the ICAPS-2011 Workshop on Planning and Learning (PAL), pages: 377 - 392
    • Helmert Malte, Röger Gabriele, Seipp Jendrik, Karpas Erez, Hoffmann Jörg, Keyder Emil, Nissim Raz, Richter Silvia, Westphal Matthias
      Fast Downward Stone Soup (planner abstract)
      2011 Seventh International Planning Competition (IPC 2011), Deterministic Part, pages: 377 - 392
    • Backofen Rolf, Landau Gad, Möhl Mathias, Tsur Dekel, Weimann Oren
      Fast RNA Structure Alignment for Crossing Input Structures
      2011 Journal of Discrete Algorithms, Elsevier, volume: 9, pages: 2 - 11
    • Bast Hannah, Celikik Marjan
      Fast construction of the HYB index
      2011 ACM Trans. Inf. Syst., volume: 29, issue: 3
    • Zhang Dapeng, Nebel Bernhard
      Feature Induction of Linear-Chain Conditional Random Fields - A Study Based on a Simulation
      2011 Proceedings of the 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011), pages: 377 - 392
    • Seipp Jendrik, Helmert Malte
      Fluent Merging for Classical Planning Problems
      2011 Proceedings of the ICAPS-2011 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), pages: 377 - 392
    • Oßwald S, Gutmann J.-S., Hornung A, Bennewitz M
      From 3D Point Clouds to Climbing Stairs
      2011 Proc. of the IEEE-RAS International Conference on Humanoid Robots (Humanoids)
    • Kiryazov K., Lowe R., Becker-Asano C., Montebelli A., Ziemke T.
      From the Virtual to the Robotic: Bringing Emoting and Appraising Agents into Reality
      2011 Procedia Computer Science, volume: 7, issue: 0, pages: 241 - 243
    • Georges Morbé, Florian Pigorsch, Christoph Scholl
      Fully Symbolic Model Checking for Timed Automata
      2011 CAV, Springer, volume: 6806, pages: 616 - 632
    • Georges Morbé, Christoph Scholl
      Fully Symbolic Model Checking for Timed Automata
      2011 MBMV, pages: 9 - 18
    • Wehner S, Bennewitz M
      Gait Optimization of Humanoids Based on Human Data
      2011 AUTOMATIKA - Journal for Control, Measurement, Electronics, Computing and Communications
    • Fabian Kuhn, Thomas Locher, Rotem Oshman
      Gradient Clock Synchronization in Dynamic Networks
      2011 Theor Comput Syst, volume: 49, issue: 4, pages: 781 - 816
    • Meyer-Delius D, Beinhofer M, Burgard W
      Grid-Based Models for Dynamic Environments
      2011 Dept. of Computer Science, University of Freiburg, Dept. of Computer Science, University of Freiburg
    • Westphal M, Dornhege C, Woelfl S, Gissler M, Nebel B
      Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning
      2011 Spat Cogn Comput, volume: 11, issue: 1, pages: 75 - 102
    • Westphal Matthias, Dornhege Christian, Wölfl Stefan, Gissler Marc, Nebel Bernhard
      Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning
      2011 Spatial Cognition & Computation, volume: 11, issue: 1, pages: 377 - 392
    • Schindelhauer C
      Hashing
      In: Algorithms Unplugged
      2011, Springer, pages: 195 - 201, ISBN: 978-3-642-15327-3
    • Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      Hierarchical Counterexamples for Discrete-Time Markov Chains
      2011 Int'l Symp. on Automated Technology for Verification and Analysis, Springer-Verlag, volume: 6996, pages: 443 - 452
    • Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      Hierarchical Counterexamples for Discrete-Time Markov Chains
      , volume: AIB-2011-11, 2011
    • Keuper M., Schmidt T., Rodriguez-Franco M., Schamel W., Brox T., Burkhardt H., Ronneberger O.
      Hierarchical Markov Random Fields for Mast Cell Segmentation in Electron Microscopic Recordings
      2011 IEEE Biomedical, pages: 973 - 978
       
      Download file as PDF
    • Kleiner Alexander, Kolling A, Sycara K, Lewis M
      Hierarchical Visibility for Guaranteed Search in Large-Scale Outdoor Terrain
      2011 Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), pages: 377 - 392
    • Wurm Kai, Hennes Daniel, Holz Dirk, Rusu Radu, Stachniss Cyrill, Konolige Kurt, Burgard Wolfram
      Hierarchies of Octrees for Efficient 3D Mapping
      2011 San Francisco, CA, USA Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Ruhnke M, Kümmerle R, Grisetti G, Burgard W
      Highly Accurate Maximum Likelihood Laser Mapping by Jointly Optimizing Laser Points and Robot Poses
      2011 Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Garimort J, Hornung A, Bennewitz M
      Humanoid Navigation with Dynamic Footstep Plans
      2011 Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Tipaldi Gian, Arras Kai
      I want my coffee hot! Learning to find people under spatio-temporal constraints
      2011 Shanghai, China Proc. IEEE International Conference on Robotics and Automation (ICRA’11)
    • Drayer B.
      Image Comparison on the Base of a Combinatorial Matching Algorithm
      2011 Springer, pages: 426 - 432
       
      Download file as PDF
    • Gabel, T., Lutz, C., Riedmiller, M.
      Improved Neural Fitted Q Iteration Applied to a Novel Computer Gaming and Learning Benchmark
      2011 In Proceedings of the IEEE Symposium on Approximate Dynamic Programming and Reinforcement Learning (ADPRL 2011)
    • Witkowski Jens, Seuken Sven, Parkes David
      Incentive-Compatible Escrow Mechanisms
      2011 Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI 2011), pages: 377 - 392
    • Witkowski Jens
      Incentive-Compatible Trust Mechanisms (Extended Abstract)
      2011 Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI 2011), pages: 377 - 392
    • Lau Boris, Sprunk Christoph, Burgard Wolfram
      Incremental Updates of Configuration Space Representations for Non-Circular Mobile Robots with 2D, 2.5D, or 3D Obstacle Models
      2011 Örebro, Sweden European Conference on Mobile Robots (ECMR), pages: 49 - 54
    • Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
      Incremental preprocessing methods for use in BMC
      2011 Formal Methods in System Design, volume: 39, pages: 185 - 204
    • Bennewitz M, Maier D, Hornung A, Stachniss C
      Integrated Perception and Navigation in Complex Indoor Environments
      2011 Proc. of the HUMANOIDS workshop on Humanoid service robot navigation in crowded and dynamic environments
    • Bennewitz M, Maier D, Hornung A, Stachniss C
      Integrated Perception and Navigation in Complex Indoor Environments
      2011 Proc. of the IEEE-RAS Int. Conf. on Humanoid Robots (HUMANOIDS)
    • Werner Damm, Stefan Disch, Willem Hagemann, Christoph Scholl, Uwe Waldmann, Boris Wirtz
      Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid Systems
      SFB/TR 14 AVACS Technical Report, issue: 76, 2011
    • Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
      Integration of Orthogonal QBF Solving Techniques
      2011 Conf. on Design, Automation and Test in Europe, pages: 149 - 154
    • Ernst Althaus, Bernd Becker, Daniel Dumitriu, Stefan Kupferschmid
      Integration of an LP solver into interval constraint propagation
      2011 Int'l Conf. on Combinatorial optimization and applications, Springer, pages: 343 - 356
    • Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
      Integration of orthogonal QBF solving techniques
      2011 DATE, IEEE, pages: 149 - 154
    • Becker-Asano C., Ishiguro H.
      Inter-cultural differences in the evaluation of an android's facial display of emotions
      2011 Bi-annual meeting of the International Society for Research on Emotion (ISRE)
    • Becker-Asano C., Ishiguro H.
      Intercultural differences in decoding facial expressions of the android robot Geminoid F
      2011 Journal of Artificial Intelligence and Soft Computing Research, volume: 1, issue: 3, pages: 215 - 231
       
      Download file
    • Becker-Asano C.
      Invited Commentary: On Guiding the Design of an Ill-defined Phenomenon
      2011 Intl. Journal of Synthetic Emotions, volume: 2, pages: 66 - 67
    • Stefan Wehr, Peter Thiemann
      JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
      2011 Acm T Progr Lang Sys, volume: 33, issue: 4, page: 12
    • Richter Silvia, Westphal Matthias, Helmert Malte
      LAMA 2008 and 2011 (planner abstract)
      2011 Seventh International Planning Competition (IPC 2011), Deterministic Part, pages: 377 - 392
    • Helmert Malte, Domshlak Carmel
      LM-Cut
      2011 Seventh International Planning Competition (IPC 2011), Deterministic Part, pages: 377 - 392
    • Beinhofer M, Müller J, Burgard W
      Landmark Placement for Accurate Mobile Robot Navigation
      2011 Örebro, Sweden Proceedings of the European Conference on Mobile Robots (ECMR), pages: 55 - 60
    • Ummenhofer B.
      Large Displacement Optical Flow for Volumetric Image Sequences
      2011 Springer, pages: 432 - 437
       
      Download file as PDF
    • Kümmerle R, Steder B, Dornhege Christian, Kleiner Alexander, Grisetti G, Burgard W
      Large Scale Graph-based SLAM using Aerial Images as Prior Information
      2011 Autonomous Robots, Springer Netherlands, volume: 30, pages: 377 - 392
    • Kümmerle R, Steder B, Dornhege C, Kleiner A, Grisetti G, Burgard W
      Large Scale Graph-based SLAM using Aerial Images as Prior Information
      2011 Journal of Autonomous Robots, volume: 30, issue: 1, pages: 25 - 39
    • Brox T, Malik J
      Large displacement optical flow: descriptor matching in variational motion estimation.
      2011 IEEE Transactions on Pattern Analysis and Machine Intelligence, volume: 33, issue: 3, pages: 500 - 513
       
      Download file as PDF
    • Hafner, Roland, Riedmiller, Martin
      Learning (Near) Time Optimal Control for Flexible Robot Joints
      2011 Workshop on Comparison of Reinforcement Learning and Optimal Control Methods for Real-World Robotic Tasks, RSS 2011
    • Joho Dominik, Senk Martin, Burgard Wolfram
      Learning Search Heuristics for Finding Objects in Structured Environments
      2011 Robotics and Autonomous Systems, volume: 59, issue: 5, pages: 319 - 328
    • Luber Matthias, Spinello Luciano, Arras Kai
      Learning to Detect and Track People in RGB-D Data
      2011 Los Angeles, USA Workshop "RGB-D: Advanced Reasoning with Depth Cameras" in conjunction with Robotics: Science and Systems (RSS’11)
    • Hamp Q, Reindl L, Kleiner Alexander
      Lessons Learned from German Research for USAR
      2011 Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR), pages: 377 - 392
    • Becker J, Bersch C, Pangercic D, Pitzer B, Rühr T, Sankaran B, Sturm J, Stachniss C, Beetz M, Burgard W
      Mobile Manipulation of Kitchen Containers
      2011 San Francisco, CA, USA Proc. of the IROS’11 Workshop on Results, Challenges and Lessons Learned in Advancing Robots with a Common Platform
    • Beinhofer M, Müller J, Burgard W
      Near-optimal Landmark Selection for Mobile Robot Navigation
      2011 Shanghai, China Proc. of the IEEE International Conference on Robotics & Automation (ICRA), pages: 4744 - 4749
    • C. Schindelhauer, Z. Lotker, J. Wendeberg
      Network Synchronization and Localization Based on Stolen Signals
      2011 Proceedings of 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO)
    • Brox T., Bourdev L., Maji S., Malik J.
      Object segmentation by alignment of poselet activations to image contours
      2011 IEEE Computer vision
       
      Download file as PDF
    • Ochs P., Brox T.
      Object segmentation in video: a hierarchical variational approach for turning point trajectories into dense regions
      2011 ICCV
       
      Download file as PDF
    • Sunberg P., Brox T., Maire A., Arbelaez P., Malik J.
      Occlusion boundary detection and figure/ground assignment from optical flow
      2011 IEEE Computer vision
       
      Download file as PDF
    • Aslam F, Fennell L, Schindelhauer C, Thiemann P, Uzmi A Z
      Offline GC: Trashing Reachable Objects on Tiny Devices
      2011 SenSys
    • Aslam F, Fennell L, Schindelhauer C, Thiemann P, Uzmi Z A
      Offline GC: trashing reachable objects on tiny devices
      2011 Proceedings of the ACM Conference on Embedded Networked Sensor Systems. ACM, pages: 302 - 315
    • Aslam Faisal, Fennell Luminous, Schindelhauer Christian, Thiemann Peter, Uzmi Zartash Afzal
      Offline GC: trashing reachable objects on tiny devices
      Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems. ACM, pages: 302 - 315, 2011
    • Westphal Matthias, Wölfl Stefan, Nebel Bernhard, Renz Jochen
      On Qualitative Route Descriptions
      2011 Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), AAAI Press, pages: 377 - 392
    • Blum, Manuel, Springenberg, Jost Tobias, Wülfing, Jan, Riedmiller, Martin
      On the Applicability of Unsupervised Feature Learning for Object Recognition in RGB-D Data
      2011 NIPS Workshop on Deep Learning and Unsupervised Feature Learning
    • Stefan Wehr, Peter Thiemann
      On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints
      2011 New Generation Computing, volume: 29, issue: 1, pages: 87 - 124
    • Sprunk C, Lau B, Pfaff P, Burgard W
      Online Generation of Kinodynamic Trajectories for Non-Circular Omnidirectional Robots
      2011 Shanghai, China Proc. of the IEEE International Conference on Robotics and Automation (ICRA), pages: 72 - 77
    • Langner T, Schindelhauer C, Souza A
      Optimal File-Distribution in Heterogeneous and Asymmetric Storage Networks
      2011 37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Nový Smokovec, Slovakia
    • Becker-Asano C., Sun D., Kleim B., Scheel C. N., Tuschen-Caffier B., Nebel B.
      Outline of an Empirical Study on the Effects of Emotions on Strategic Behavior in Virtual Emergencies
      2011 Affective Computing and Intelligent Interaction Affective Computing and Intelligent Interaction, pages: 508 - 517
    • Seemann Stefan, Richter Andreas, Gesell Tanja, Backofen Rolf, Gorodkin Jan
      PETcofold: predicting conserved interactions and structures of two multiple alignments of RNA sequences
      2011 BIOINFORMATICS, volume: 27, issue: 2, pages: 211 - 219
    • Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
      Parallel QBF Solving with Advanced Knowledge Sharing
      2011 Fundamenta Informaticae, volume: 107, issue: 2-3, pages: 139 - 166
    • Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
      Parallel SAT Solving in Bounded Model Checking
      2011 Journal of Logic and Computation, volume: 21, issue: 1, pages: 5 - 21
    • Witkowski Jens, Parkes David
      Peer Prediction with Private Beliefs
      2011 Proceedings of the 1st Workshop on Social Computing and User Generated Content (SC 2011), pages: 377 - 392
    • Spinello Luciano, Arras Kai
      People Detection in RGB-D Data
      2011 San Francisco, USA Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS’11)
    • Luber Matthias, Spinello Luciano, Arras Kai
      People Tracking in RGB-D Data With Online-Boosted Target Models
      2011 San Francisco, USA Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS’11)
    • Steder B, Ruhnke M, Grzonka S, Burgard W
      Place Recognition in 3D Scans Using a Combination of Bag of Words and Point Feature based Relative Pose Estimation
      2011 Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
    • Luber Matthias, Tipaldi Gian, Arras Kai
      Place-Dependent People Tracking
      2011 International Journal of Robotics Research, volume: 30
    • Aydemir Alper, Göbelbecker Moritz, Pronobis Andrzej, Sjöö Kristoffer, Jensfelt Patric
      Plan-based Object Search and Exploration Using Semantic Spatial Knowledge in the Real World
      2011 Proceedings of the 5th European Conference on Mobile Robotics (ECMR 2011), pages: 377 - 392
    • Tipaldi Gian, Arras Kai
      Planning Problems for Social Robots
      2011 Freiburg, Germany Proc. International Conference on Automated Planning and Scheduling (ICAPS’11)
    • Zhongjie Cai, Zhang Dapeng, Nebel Bernhard
      Playing Tetris Using Bandit-Based Monte-Carlo Planning
      2011 Proceedings of AISB 2011 Symposium, pages: 377 - 392
    • Tipaldi Gian, Arras Kai
      Please do not disturb! Minimum Interference Coverage for Social Robots
      2011 San Francisco, USA Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS’11)
    • Steder B, Rusu R, Konolige K, Burgard W
      Point Feature Extraction on 3D Range Scans Taking into Account Object Boundaries
      2011 Proc. of the IEEE Int. Conf. on Robotics & Automation (ICRA)
    • Kretzschmar H, Stachniss C
      Pose Graph Compression for Laser-based SLAM
      2011 Flagstaff, AZ, USA Proc. of the Int. Symposium of Robotics Research (ISRR)
    • Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle
      Proof Certificates and Non-linear Arithmetic Constraints
      2011 IEEE Design and Diagnostics of Electronic Circuits and Systems, pages: 429 - 434
    • Bieniusa A, , Thiemann P
      Proving Isolation Properties for Software Transactional Memory.
      2011 Proceedings of the 20th European Symposium on Programming. Proceedings of the 20th European Symposium on Programming., pages: 38 - 56
    • Cook Byron, Podelski Andreas, Rybalchenko Andrey
      Proving program termination
      2011 Commun. ACM, volume: 54, issue: 5, pages: 88 - 98
    • Cook, Byron, Podelksi, Andreas, Rybalchenko, Andrey
      Proving program termination
      2011 Commun Acm, ACM, volume: 54, issue: 5, pages: 88 - 98
    • Blum Manuel, Riedmiller Martin
      Q-function Approximation in Batch Mode Reinforcement Learning
      2011 International Workshop on Bio-Inspired Robots
    • Bodirsky Manuel, Wölfl Stefan
      RCC8 is Polynomial on Networks of Bounded Treewidth
      2011 Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), AAAI Press, pages: 377 - 392
    • Ruhnke M, Kümmerle R, Grisetti G, Burgard W
      Range Sensor Based Model Construction by Sparse Surface Adjustment
      2011 Half Moon Bay, CA, USA Proc. of the IEEE Workshop on Advanced Robotics and its Social Impacts (ARSO)
    • Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker
      Reachability Analysis for Incomplete Networks of Markov Decision Processes
      2011 Int'l Conf. on Formal Methods and Models for Co-Design, IEEE Computer Society Press, pages: 151 - 160
    • Meyer-Delius D, Beinhofer M, Kleiner Alexander, Burgard W
      Reducing the Ambiguity in the Environment by Placing Artificial Landmarks to Improve Mobile Robot Localization
      2011 Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA), pages: 377 - 392
    • Hafner, Roland, Riedmiller, Martin
      Reinforcement learning in feedback control
      2011 Springer Netherlands, volume: 27, issue: 1, pages: 55 - -74. available online at http://dx.doi.org/10.1007/s10994-011-5235-x or upon request at riedmiller@informatik.uni-freiburg.de
    • Ronneberger O.
      Reusable Modules for High-Content 3D and 4D Image Analysis
      2011 IEEE Biomedical, pages: 1719 - 1922
       
      Download file as PDF
    • Spilla A, Polian I, Müller J, Lewis M, Tomashevich V, Becker B, Burgard W
      Run-time Soft Error Injection and Testing of a Microprocessor using FPGAs.
      2011 Passau, Germany Proceedings of the Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
    • Matthew Lewis
      SAT, QBF, and Multicore Processors
      Der Andere Verlag, 2011
    • Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker
      SAT-Based Analysis of Sensitisable Paths
      2011 IEEE Design and Diagnostics of Electronic Circuits and Systems, pages: 93 - 98
    • Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
      SMT-based Counterexample Generation for Markov Chains
      2011 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Offis Oldenburg, volume: 14, pages: 19 - 28
    • Maier D, Bennewitz M, Stachniss C
      Self-supervised Obstacle Detection for Humanoid Navigation Using Monocular Vision and Sparse Laser Data
      2011 Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Maier D, Bennewitz M, Stachniss C
      Self-supervised Obstacle Detection for Humanoid Navigation Using Monocular Vision and Sparse Laser Data
      2011 Shanghai, China Proc. of the IEEE International Conference on Robotics & Automation (ICRA)
    • Kümmerle R, Grisetti G, Burgard W
      Simultaneous Calibration, Localization, and Mapping
      2011 San Francisco, CA, USA Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS)
    • Tipaldi G, Meyer-Delius D, Beinhofer M, Burgard W
      Simultaneous Localization and Dynamic State Estimation in Reconfigurable Environments
      2011 San Francisco, USA Proc. of the IEEE/RSJ IROS Workshop on Metrics and Methodologies for Autonomous Robot Teams in Logistics (MMART-LoG)
    • Kümmerle R, Grisetti G, Stachniss C, Burgard W
      Simultaneous Parameter Calibration, Localization, and Mapping for Robust Service Robotics
      2011 Half-Moon Bay, CA, USA Proc. of the IEEE Workshop on Advanced Robotics and its Social Impacts
    • Backofen Rolf, Tsur Dekel, Zakov Shay, Ziv-Ukelson Michal
      Sparse RNA folding: Time and space efficient algorithms
      2011 J. Discrete Algorithms, volume: 9, issue: 1, pages: 12 - 31
    • Temerinac-Ott M., Ronneberger O., Nitschke R., Driever W., Burkhardt H
      Spatially-Variant Lucy-Richardson Deconvolution for Multiview Fusion of Microscopical 3D Images
      2011 IEEE Biomedical, pages: 899 - 904
       
      Download file as PDF
    • IGI Global Intelligent Systems for Machine Olfaction: Tools and Methodologies, IGI Global
      Statistical Gas Distribution Modelling using Kernel MethodsIntelligent Systems for Machine Olfaction: Tools and Methodologies
      Asadi S, Reggente M, Stachniss C, Plagemann C, Lilienthal A
    • Wedel A., Brox T., Vaudrey T., Rabe C., Franke U., Cremers D.
      Stereoscopic scene flow computation for 3D motion understanding
      2011 International Journal of Computer Vision, volume: 95, issue: 1, pages: 29 - 51
       
      Download file as PDF
    • Meyer Fernando, Kurtz Stefan, Backofen Rolf, Will Sebastian, Beckstette Michael
      Structator: fast index-based search for RNA sequence-structure patterns
      2011 BMC BIOINFORMATICS, volume: 12, issue: 1, page: 214
    • Becker-Asano C., Kanda T., Ishi C., Ishiguro H.
      Studying laughter combined with two humanoid robots
      2011 AI & Society, volume: 26, issue: 3, pages: 291 - 300
    • Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
      Superposition modulo non-linear arithmetic
      2011 Int'l Symp. on Frontiers of Combining Systems, Springer, pages: 119 - 134
    • Dietsch Daniel, Westphal Bernd, Podelski Andreas
      System Verification through Program Verification
      2011 FM 2011, Springer, volume: 6664, pages: 27 - 41
    • Fabian Kuhn, Nancy Lynch, Calvin Newport
      The Abstract MAC Layer
      2011 Distrib Comput (Distributed Computing), volume: 24, issue: 3-4, pages: 187 - 206
    • Nissim Raz, Hoffmann Jörg, Helmert Malte
      The Merge-and-Shrink Planner
      2011 Seventh International Planning Competition (IPC 2011), Deterministic Part, pages: 377 - 392
    • Seemann S, Menzel P, Backofen R, Gorodkin J
      The PETfold and PETcofold web servers for intra- and intermolecular structures of multiple RNA sequences
      2011 NUCLEIC ACIDS RES
    • Domshlak Carmel, Helmert Malte, Karpas Erez, Markovitch Shaul
      The SelMax Planner
      2011 Seventh International Planning Competition (IPC 2011), Deterministic Part, pages: 377 - 392
    • Sonnleitner Elisabeth, Gonzalez Nicolas, Sorger-Domenigg Theresa, Heeb Stephan, Richter Andreas, Backofen Rolf, Williams Paul, Huttenhofer Alexander, Haas Dieter, Blasi Udo
      The small RNA PhrS stimulates synthesis of the Pseudomonas aeruginosa quinolone signal
      2011 MOL MICROBIOL, volume: 80, pages: 868 - 85
    • Hornung A, Jones E, Chitta S, Bennewitz M, Phillips M, Likhachev M
      Towards Navigation in Three-Dimensional Cluttered Environments
      2011 Proc. of the IROS PR2 Workshop
    • Bouabdallah S, Bermes C, Grzonka S, Gimkiewicz C, Brenzikofer A, Hahn R, Schafroth D, Grisetti G, Burgard W, Siegwart R
      Towards Palm-Size Autonomous Helicopters
      2011 Journal of Intelligent & Robotic Systems, volume: 61, pages: 1 - 27
    • Spinello Luciano, Luber Matthias, Arras Kai
      Tracking People in 3D Using a Bottom-Up Top-Down Detector
      2011 Shanghai, China Proc. IEEE International Conference on Robotics and Automation (ICRA’11)
    • Schmedding R, Frank B, Burgard W, Teschner M
      Transformed Polynomials for Global Registration of Point Clouds
      2011 Proc. Spring Conference on Computer Graphics, volume: 1, pages: 1 - 9
    • Podelski Andreas, Rybalchenko Andrey
      Transition Invariants and Transition Predicate Abstraction for Program Termination
      2011 TACAS, Springer, volume: 6605, pages: 3 - 10
    • Witkowski Jens
      Trust Mechanisms for Online Systems (Extended Abstract)
      2011 Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pages: 377 - 392
    • Landgraf Tim, Brachmann Anselm, Blum Manuel, Rojas Raúl
      Unsupervised Neural Coding of Nightingale Songs Using Deep Autoencoders
      2011 Computational Neuroscience & Neurotechnology Bernstein Conference & Neurex Annual Meeting
    • Meyer-Delius D, Beinhofer M, Kleiner A, Burgard W
      Using Artificial Landmarks to Reduce the Ambiguity in the Environment of a Mobile Robot
      2011 Shanghai, China Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA), pages: 5173 - 5178
    • Frank B, Stachniss C, Abdo N, Burgard W
      Using Gaussian Process Regression for Efficient Motion Planning in Environments with Deformable Objects
      2011 San Francisco, CA, USA Proc. of the AAAI-11 Workshop on Automated Action Planning for Autonomous Mobile Robots (PAMR)
    • Post Amalinda, Hoenicke Jochen, Podelski Andreas
      Vacuous real-time requirements
      2011 RE, IEEE, pages: 153 - 162
    • Christian Miller, Christoph Scholl, Bernd Becker
      Verifying Incomplete Networks of Timed Automata
      2011 MBMV, pages: 113 - 122
    • Kümmerle R, Grisetti G, Strasdat H, Konolige K, Burgard W
      g2o: A General Framework for Graph Optimization
      2011 Shanghai, China Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA)
    • Post Amalinda, Hoenicke Jochen, Podelski Andreas
      rt-Inconsistency
      2011 FASE, Springer, volume: 6603, pages: 34 - 49
    • Post Amalinda, Hoenicke Jochen, Podelski Andreas
      rt-inconsistency - a new property of real time requirements
      2011 FASE, pages: 34 - 49
    • Skibbe H., Reisert M., Ronneberger O, Burkhardt H
      spherical bessel filter for 3d object detection
      2011 IEEE Biomedical, pages: 728 - 733
       
      Download file as PDF

    2010

    Icon: top back to the year overview
    • Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker
      Bounded Model Checking of Incomplete Networks of Timed Automata
      2010 Int'l Workshop on Microprocessor Test and Verification, IEEE Computer Society, volume: 11, pages: 61 - 66
    • Majid Khabbazian, Dariusz Kowalski, Fabian Kuhn, Nancy Lynch
      Decomposing Broadcast Algorithms Using Abstract MAC Layers
      2010 6th ACM Joint Workshop on Foundations of Mobile Computing (DIALM-POMC), Cambridge MA, USA , pages: 13 - 22
    • Alejandro Cornejo, Fabian Kuhn
      Deploying Wireless Networks with Beeps
      2010 24th Int. Symp. on Distributed Computing (DISC), Cambridge MA, USA , pages: 148 - 162
    • Fabian Kuhn, Nancy Lynch, Calvin Newport, Rotem Oshman, Andrea Richa
      Broadcasting in Unreliable Radio Networks
      2010 29th ACM Symp. on Principles of Distributed Computing (PODC), Zurich, Switzerland , pages: 336 - 345
       
      Download file as PDF
    • Fabian Kuhn, Christoph Lenzen, Thomas Locher, Rotem Oshman
      Optimal Gradient Clock Synchronization in Dynamic Networks
      2010 29th ACM Symp. on Principles of Distributed Computing (PODC), Zurich, Switzerland , pages: 430 - 439
    • Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
      Incremental Preprocessing Methods for use in BMC
      2010 Int'l Workshop on Hardware Verification
    • Fabian Kuhn, Nancy Lynch, Rotem Oshman
      Distributed Computation in Dynamic Networks
      2010 42nd ACM Symp. on Theory of Computing (STOC), Cambridge MA, USA , pages: 513 - 522
    • Meier M, Schmidt M, Wei F, Lausen G
      Semantic Query Optimization in the Presence of Types
      2010 In Proc. of Symposium on Principle of Database Systems (PODS) Indiana (USA
       
      Download file as PDF
    • Lausen G, Meier M, Schmidt M
      Foundations of SPARQL query optimization
      2010 13th International Conference on Database Theory (ICDT), March 2010, Lausanne , pages: 4 - 33
    • Christian Miller, Stefan Kupferschmid, Bernd Becker
      Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs
      2010 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, volume: 13, pages: 77 - 86
    • Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl
      SAT modulo BDD - A Combined Verification Approach for Incomplete Designs
      2010 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, volume: 13, pages: 107 - 116
    • Fabian Kuhn, Konstantinos Panagiotou, Joel Spencer, Angelika Steger.
      Synchrony and Asynchrony in Neural Networks
      2010 21st ACM-SIAM Symp. on Discrete Algorithms (SODA), Atlanta GA, USA , pages: 949 - 964
    • Keuper M., Schmidt T., Padeken J., Heun P., Palme K., Burkhardt H., Ronneberger O.
      3D Deformable Surfaces with Locally Self-Adjusting Parameters - A Robust Method to Determine Cell Nucleus Shapes
      2010 IEEE Pattern Recognition, pages: 2254 - 2257
       
      Download file as PDF
    • Skibbe H., Reisert M., Schmidt T., Palme K., Ronneberger O., Burkhardt H.
      3D Object Detection Using a Fast Voxel-Wise Local Spherical Fourier Tensor Transformation
      2010 Springer, pages: 412 - 421
       
      Download file as PDF
    • Sturm J, Konolige K, Stachniss C, Burgard W
      3D Pose Estimation, Tracking and Model Learning of Articulated Objects from Dense Depth Video using Projected Texture Stereo
      2010 Zaragoza, Spain Proceedings of the Workshop on Advanced Reasoning with Depth Cameras at Robotics: Science and Systems Conference (RSS)
    • Lauer, Martin, Schönbein, Miriam, Lange, Sascha, Welker, Stefan
      3D-objecttracking with a mixed omnidirectional stereo camera system
      2010 , volume: In Press
    • Hanheide Marc, Hawes Nick, Wyatt Jeremy, Göbelbecker Moritz, Brenner Michael, Sjöö Kristoffer, Aydemir Alper, Jensfelt Patric, Zender Hendrik, Kruijff Geert-Jan
      A Framework for Goal Generation and Management
      2010 Proceedings of the AAAI Workshop on Goal-Directed Autonomy, pages: 1091 - 1092
    • Spinello Luciano, Arras Kai, Triebel Rudolph, Siegwart Roland
      A Layered Approach to People Detection in 3D Range Data
      2010 Atlanta, USA Proc. 24th AAAI Conference on Artificial I