• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 25 matches

• 2024
• 
  Joris Verhagen, Lars Lindemann, Jana Tumova:
  Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. ACC 2024: 251-258
• 
  Joris Verhagen, Lars Lindemann, Jana Tumova:
  Robust STL Control Synthesis under Maximal Disturbance Sets. CoRR abs/2404.05535 (2024)
• 2023
• 
  Ulrich Lindemann, Jana Krespach, Urban Daub, Marc Schneider, Kim S. Sczuka, Jochen Klenk:
  Effect of a Passive Exosuit on Sit-to-Stand Performance in Geriatric Patients Measured by Body-Worn Sensors - A Pilot Study. Sensors 23(2): 1032 (2023)
• 
  Joris Verhagen, Lars Lindemann, Jana Tumova:
  Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. CoRR abs/2310.10585 (2023)
• 2021
• 
  Lars Lindemann, Jakub Nowak, Lukas Schönbächler, Meng Guo, Jana Tumova, Dimos V. Dimarogonas:
  Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks. IEEE Trans. Control. Syst. Technol. 29(2): 858-865 (2021)
• 
  Javier Vazquez Armendariz, Victor Segura-Ibarra, Luis H. Olivas-Alanis, Jan Lammel Lindemann, J. Israel Martínez-López, Erick Ramirez Cedillo, Hiram Uribe Hernandez, Ricardo Linan Garcia, Rogelio Letechipia Duran, Marcos D. Moya Bencomo, Agustin Carvajal Rivera, Azael Cortes Capetillo, Nicolas J. Hendrichs Troeglen, Miguel Mendoza Machain, Arturo Vazquez Almazan, Cesar Caamal Torres, Julio Noriega Velasco, Joaquin Acevedo Mascarua, Adriana Vargas-Martínez, Eduardo González Mendívil, Eduardo Flores-Villalba, Ciro A. Rodríguez:
  MEDIIK: Design and Manufacturing of an Emergency Ventilator Against COVID-19 Pandemic. ICBET 2021: 106-114
• 2020
• 
  Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova:
  Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CDC 2020: 2056-2061
• 
  Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova:
  Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CoRR abs/2009.02148 (2020)
• 2019
• 
  Thomas Lindemann, Patrick Brinkmann, Fadi Dalbah, Christian Hakert, Philipp-Jan Honysz, Daniel Matuszczyk, Nikolas Müller, Alexander Schmulbach, Stefan Petyov Todorinski, Oliver Tüselmann, Shimon Wonsak, Jens Teubner:
  MAGPIE: Scalable Data Storage System for Efficient High Volume Data Queries. BTW 2019: 543-546
• 
  Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova:
  Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications. ECC 2019: 2042-2049
• 
  Jan Friedrich, Sebastian Günther, Christoph Lindemann:
  Performance Analysis of Compressed Block Acknowledgment in IEEE 802.11ax. MobiWac 2019: 103-110
• 2018
• 
  Niklas Kattner, Jan Mehlstaeubl, Lucía Becerril, Udo Lindemann:
  Data Analysis in Engineering Change Management - Improving Collaboration by Assessing Organizational Dependencies Based on Past Engineering Change Information. IEEM 2018: 617-621
• 2017
• 
  Sebastian Serth, Nikolai Podlesny, Marvin Bornstein, Jan Lindemann, Johanna Latt, Jan Selke, Rainer Schlosser, Martin Boissier, Matthias Uflacker:
  An Interactive Platform to Simulate Dynamic Pricing Competition on Online Marketplaces. EDOC 2017: 61-66
• 
  Jan Friedrich, Christoph Lindemann, Michael Petrifke:
  User Preference-Based Probability Spreading for Tag-Aware Content Recommendation. HPCC/SmartCity/DSS 2017: 380-387
• 
  Jan Friedrich, Christoph Lindemann, Michael Petrifke:
  Two-level dynamic index pruning. ICDIM 2017: 191-196
• 
  Stephan Bergemann, Jan Friedrich, Christoph Lindemann:
  Neighborhood-Aware Opportunistic Networking on Smartphones. MASS 2017: 126-134
• 
  Martin Boissier, Rainer Schlosser, Nikolai Podlesny, Sebastian Serth, Marvin Bornstein, Johanna Latt, Jan Lindemann, Jan Selke, Matthias Uflacker:
  Data-Driven Repricing Strategies in Competitive Markets: An Interactive Simulation Platform. RecSys 2017: 355-357
• 2016
• 
  Alexander Lindemann, Bettina Schnor, Jan Sohre, Petra Vogel:
  Indoor Positioning: A Comparison of WiFi and Bluetooth Low Energy for Region Monitoring. HEALTHINF 2016: 314-321
• 
  Martin Boissier, Carsten Alexander Meyer, Timo Djürken, Jan Lindemann, Kathrin Mao, Pascal Reinhardt, Tim Specht, Tim Zimmermann, Matthias Uflacker:
  Analyzing Data Relevance and Access Patterns of Live Production Database Systems. CIKM 2016: 2473-2475
• 
  Hanno Gerd Meyer, Olivier J. N. Bertrand, Jan Paskarbeit, Jens Peter Lindemann, Axel Schneider, Martin Egelhaaf:
  A Bio-Inspired Model for Visual Collision Avoidance on a Hexapod Walking Robot. Living Machines 2016: 167-178
• 2015
• 
  Jan Friedrich, Christoph Lindemann, Michael Petrifke:
  Utilizing Query Facets for Search Result Navigation. DEXA Workshops 2015: 271-275
• 
  Keqin Li, Cédric Hébert, Jan Lindemann, Michael Sauter, Holger Mack, Tom Schroer, Abhay Tiple:
  Tool support for secure programming by security testing. ICST Workshops 2015: 1-4
• 2014
• 
  Florian Kuhlmann, Jan Hannemann, Myriam Traub, Christoph Böhme, Sonja Zillner, Alexander Cavallaro, Sascha Seifert, Björn Decker, Ralph Traphöner, Sven Kayser, Udo Lindemann, Stefan Prasse, Götz Marczinski, Ralf Grützner, Axel Fasse, Daniel Oberle:
  The THESEUS Use Cases. Towards the Internet of Services 2014: 259-287
• 2011
• 
  Jan Friedrich, Simon Frohn, Sascha Gübner, Christoph Lindemann:
  Understanding IEEE 802.11n multi-hop communication in wireless networks. WiOpt 2011: 321-326
• 2009
• 
  Jan-Marc Ehrmann, Andreas D. Lattner, Gabriela Lindemann, Ingo J. Timm:
  Integration of an Emotion Model to the Board Game "Intrige". ICAART 2009: 547-552