• 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 18 matches

• 2024
• 
  Oliver Greulich, Christoph Knieke, Bassel Rafie, Andreas Rausch, Marco Kuhrmann:
  Software Process as a Service: Towards A Software Process Ecosystem. ICSSP 2024
• 2022
• 
  Marco Salathe, Brian J. Quiter, Mark S. Bandstra, Xin Chen, Victor Negut, Micah Folsom, Gunther H. Weber, Christopher Greulich, Mathew Swinney, Nicholas Prins, Daniel E. Archer:
  A multi-modal scanning system to digitize CBRNE emergency response scenes. SSRR 2022: 74-79
• 2020
• 
  Jason M. Hite, Kenneth J. Dayman, Nageswara S. V. Rao, Christopher Greulich, Satyabrata Sen, David Chichester, Andrew D. Nicholson, Dan Archer, Michael J. Willis, Irakli Garishvili, Andrew Rowe, James Ghawaly, Jared Johnson:
  Automated Vehicle Detection in a Nuclear Facility Using Low-Frequency Acoustic Sensors. FUSION 2020: 1-6
• 
  Nageswara S. V. Rao, Christopher Greulich, Satyabrata Sen, Kenneth J. Dayman, Jason M. Hite, Will Ray, Richard Hale, Andrew D. Nicholson, Jared Johnson, Riley D. Hunley, Monica Maceira, Chengping Chai, Omar Marcillo, Tom Karnowski, Randall Wetherington:
  Reactor Power Level Estimation by Fusing Multi-Modal Sensor Measurements. FUSION 2020: 1-8
• 2018
• 
  Stefan Edelkamp, Christoph Greulich:
  A case study of planning for smart factories - Model checking and Monte Carlo search for the rescue. Int. J. Softw. Tools Technol. Transf. 20(5): 515-528 (2018)
• 2017
• 
  Stefan Edelkamp, Christoph Greulich:
  Nested Rollout Policy Adaptation for Multiagent System Optimization in Manufacturing. ICAART (1) 2017: 284-290
• 2016
• 
  Stefan Edelkamp, Christoph Greulich:
  Branch-and-Bound Optimization of a Multiagent System for Flow Production using Model Checking. ICAART (1) 2016: 27-37
• 
  Christoph Greulich, Stefan Edelkamp:
  Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System. ICAART (Revised Selected Papers) 2016: 19-36
• 
  Stefan Edelkamp, Denis Golubev, Christoph Greulich:
  Solving the Physical Vehicle Routing Problem for Improved Multi-robot Freespace Navigation. KI 2016: 155-161
• 
  Rajeshwari Chatterjee, Christoph Greulich, Stefan Edelkamp:
  Optimizing Last Mile Delivery Using Public Transport with Multi-Agent Based Control. LCN Workshops 2016: 205-212
• 
  Stefan Edelkamp, Christoph Greulich:
  Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing. SPIN 2016: 57-77
• 
  Kevin Günthner, Imran Khan, Dominique Elser, Birgit Stiller, Ömer Bayraktar, Christian R. Müller, Karen Saucke, Daniel Tröndle, Frank Heine, Stefan Seel, Peter Greulich, Herwig Zech, Björn Gütlich, Ines Richter, Michael Lutzer, Sabine Philipp-May, Rolf Meyer, Christoph Marquardt, Gerd Leuchs:
  Quantum-limited measurements of optical signals from a geostationary satellite. CoRR abs/1608.03511 (2016)
• 2015
• 
  Christoph Greulich, Stefan Edelkamp, Niels Eicke:
  Cyber-Physical Multiagent-Simulation in Production Logistics. MATES 2015: 119-136
• 
  Dominique Elser, Kevin Günthner, Imran Khan, Birgit Stiller, Christoph Marquardt, Gerd Leuchs, Karen Saucke, Daniel Tröndle, Frank Heine, Stefan Seel, Peter Greulich, Herwig Zech, Björn Gütlich, Ines Richter, Rolf Meyer:
  Satellite Quantum Communication via the Alphasat Laser Communication Terminal. CoRR abs/1510.04507 (2015)
• 2014
• 
  Stefan Edelkamp, Christoph Greulich:
  Solving Physical Traveling Salesman Problems with policy adaptation. CIG 2014: 1-8
• 
  Christoph Greulich:
  An Agent-Based Approach to Multi-criteria Process Optimization in In-House Logistics. LDIC 2014: 239-243
• 2013
• 
  Christoph Greulich, Stefan Edelkamp, Max Gath, Tobias Warden, Malte Humann, Otthein Herzog, T. G. Sitharam:
  Enhanced Shortest Path Computation for Multiagent-based Intermodal Transport Planning in Dynamic Environments. ICAART (2) 2013: 324-329
• 
  Christoph Greulich, Stefan Edelkamp, Max Gath:
  Agent-Based Multimodal Transport Planning in Dynamic Environments. KI 2013: 74-85