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

• 2021
• 
  Timo Koch, Dennis Gläser, Kilian Weishaupt, Sina Ackermann, Martin Beck, Beatrix Becker, Samuel Burbulla, Holger Class, Edward Coltman, Simon Emmert, Thomas Fetzer, Christoph Grüninger, Katharina Heck, Johannes Hommel, Theresa Kurz, Melanie Lipp, Farid Mohammadi, Samuel Scherrer, Bernd Flemisch:
  DuMu^x 3 - an open-source simulator for solving flow and transport problems in porous media with a focus on model coupling. Comput. Math. Appl. 81: 423-443 (2021)
• 2020
• 
  David Rueckel, Manuel Mühlburger, Stefan Koch:
  An Updated Framework of Factors Enabling Digital Transformation. Pac. Asia J. Assoc. Inf. Syst. 12(4): 1 (2020)
• 
  Marvin Ludwig, Christian M. Runge, Nicolas Friess, Tiziana L. Koch, Sebastian Richter, Simon Seyfried, Luise Wraase, Agustin Lobo, M.-Teresa Sebastià, Christoph Reudenbach, Thomas Nauss:
  Quality Assessment of Photogrammetric Methods - A Workflow for Reproducible UAS Orthomosaics. Remote. Sens. 12(22): 3831 (2020)
• 
  Amir Shaikhha, Mohammed Elseidy, Stephan Mihaila, Daniel Espino, Christoph Koch:
  Synthesis of Incremental Linear Algebra Programs. ACM Trans. Database Syst. 45(3): 12:1-12:44 (2020)
• 
  Arash Pourhabibi Zarandi, Siddharth Gupta, Hussein Kassir, Mark Sutherland, Zilu Tian, Mario Paulo Drumond, Babak Falsafi, Christoph Koch:
  Optimus Prime: Accelerating Data Transformation in Servers. ASPLOS 2020: 1203-1216
• 
  Marina Konrad, Sabine Koch-Sonneborn, Christopher Lentzsch:
  The Right to Privacy in Socio-Technical Smart Home Settings: Privacy Risks in Multi-Stakeholder Environments. HCI (40) 2020: 549-557
• 
  Bas Ketsman, Christoph Koch:
  Datalog with Negation and Monotonicity. ICDT 2020: 19:1-19:18
• 
  Benedikt Baeuerle, Wolfgang Heni, Claudia Hoessbacher, Yuriy Fedoryshyn, Arne Josten, Ueli Koch, Christian Haffner, Tatsuhiko Watanabe, Christopher Uhl, Horst Hettrich, Delwin L. Elder, Larry R. Dalton, Michael Möller, Juerg Leuthold:
  Low-Power Data Center Transponders Enabled by Micrometer-Scale Plasmonic Modulators. OFC 2020: 1-3
• 
  Bas Ketsman, Christoph Koch, Frank Neven, Brecht Vandevoort:
  Deciding Robustness for Lower SQL Isolation Levels. PODS 2020: 315-330
• 
  Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer:
  Global Optimization of Objective Functions Represented by ReLU Networks. CoRR abs/2010.03258 (2020)
• 
  Christopher Lazarus, James G. Lopez, Mykel J. Kochenderfer:
  Runtime Safety Assurance Using Reinforcement Learning. CoRR abs/2010.10618 (2020)
• 2019
• 
  Surya Saha, Prashant S. Hosmani, Krystal Villalobos-Ayala, Sherry Miller, Teresa Shippy, Mirella Flores, Andrew Rosendale, Chris Cordola, Tracey Bell, Hannah Mann, Gabe DeAvila, Daniel DeAvila, Zachary Moore, Kyle Buller, Kathryn Ciolkevich, Samantha Nandyal, Robert Mahoney, Joshua Van Voorhis, Megan Dunlevy, David C. Farrow, David Hunter, Taylar Morgan, Kayla Shore, Victoria Guzman, Allison Izsak, Danielle E. Dixon, Andrew Cridge, Liliana Cano, Xiaolong Cao, Haobo Jiang, Nan Leng, Shannon Johnson, Brandi L. Cantarel, Stephen Richards, Adam C. English, Robert G. Shatters, Christopher P. Childers, Mei-Ju Chen, Wayne B. Hunter, Michelle Cilia, Lukas A. Mueller, Monica C. Munoz-Torres, David Nelson, Monica Poelchau, Joshua B. Benoit, Helen Wiersma-Koch, Tom D'Elia, Susan J. Brown:
  Improved annotation of the insect vector of citrus greening disease: biocuration by a diverse genomics community. Database J. Biol. Databases Curation 2019: baz035 (2019)
• 
  Oliver Cooley, Mihyun Kang, Christoph Koch:
  The Size of the Giant Component in Random Hypergraphs: a Short Proof. Electron. J. Comb. 26(3): P3.6 (2019)
• 
  Pavel Kus, Andreas Marek, Simone S. Köcher, Hagen-Henrik Kowalski, Christian Carbogno, Christoph Scheurer, Karsten Reuter, Matthias Scheffler, Hermann Lederer:
  Optimizations of the eigensolvers in the ELPA library. Parallel Comput. 85: 167-177 (2019)
• 
  Christopher Taudt, Bryan Nelsen, Elisabeth Rossegger, Sandra Schlögl, Edmund Koch, Peter Hartmann:
  Spatially Resolved Cross-Linking Characterization by Imaging Low-Coherence Interferometry. Sensors 19(5): 1152 (2019)
• 
  Christoph Koch:
  Database Theory Column Report on PODS 2019. SIGACT News 50(4): 93-94 (2019)
• 
  Wouter Van den Broek, Bryan W. Reed, Armand Béché, Abner Velazco, Johan Verbeeck, Christoph T. Koch:
  Various Compressed Sensing Setups Evaluated Against Shannon Sampling Under Constraint of Constant Illumination. IEEE Trans. Computational Imaging 5(3): 502-514 (2019)
• 
  Manuel Mühlburger, David Rückel, Stefan Koch:
  A Framework of Factors Enabling Digital Transformation. AMCIS 2019
• 
  Christoph Koch:
  Query Optimization by Quantifier Elimination. AMW 2019
• 
  Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett:
  The Marabou Framework for Verification and Analysis of Deep Neural Networks. CAV (1) 2019: 443-452
• 
  Mark W. Kroll, Dorin Panescu, Reinhard Hirtler, Michael Koch, Christopher J. Andrews:
  Dosimetry for Ventricular Fibrillation Risk with Short Electrical Pulses: History and Future. EMBC 2019: 1788-1794
• 
  Amir Shaikhha, Vojin Jovanovic, Christoph E. Koch:
  Compiler generation for performance-oriented embedded DSLs (short paper). GPCE 2019: 94-101
• 
  Barbara Krumay, David Rueckel, Stefan Koch:
  Model for Strategic Positioning in Transformative Situations. ICIS 2019
• 
  Benedikt Baeuerle, Wolfgang Heni, Yuriy Fedoryshyn, Claudia Hoessbacher, Ueli Koch, Arne Josten, Tatsuhiko Watanabe, Christopher Uhl, Horst Hettrich, Delwin L. Elder, Larry R. Dalton, Michael Möller, Juerg Leuthold:
  Dual-Drive Plasmonic Transmitter with Co-Designed Driver Electronics operated at 120 GBd On-Off Keying. OFC 2019: 1-3
• 
  Hans-Joachim Bungartz, Christian Carbogno, Martin Galgon, Thomas Huckle, Simone S. Köcher, Hagen-Henrik Kowalski, Pavel Kus, Bruno Lang, Hermann Lederer, Valeriy Manin, Andreas Marek, Karsten Reuter, Michael Rippl, Matthias Scheffler, Christoph Scheurer:
  ELPA: A Parallel Solver for the Generalized Eigenvalue Problem. PARCO 2019: 647-668
• 
  Stefan Kögel, Matthias Tichy, Abhishek Chakraborty, Alexander Fay, Birgit Vogel-Heuser, Christopher Haubeck, Gabriele Taentzer, Timo Kehrer, Jan Ladiges, Lars Grunske, Mattias Ulbrich, Safa Bougouffa, Sinem Getir, Suhyun Cha, Udo Kelter, Winfried Lamersdorf, Kiana Busch, Robert Heinrich, Sandro Koch:
  Learning from Evolution for Evolution. Managed Software Evolution 2019: 255-308
• 
  Dan Suciu, Sebastian Skritek, Christoph Koch:
  Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019. ACM 2019, ISBN 978-1-4503-6227-6 [contents]
• 
  Changliu Liu, Tomer Arnon, Christopher Lazarus, Clark W. Barrett, Mykel J. Kochenderfer:
  Algorithms for Verifying Deep Neural Networks. CoRR abs/1903.06758 (2019)
• 
  Timo Koch, Dennis Gläser, Kilian Weishaupt, Sina Ackermann, Martin Beck, Beatrix Becker, Samuel Burbulla, Holger Class, Edward Coltman, Simon Emmert, Thomas Fetzer, Christoph Grüninger, Katharina Heck, Johannes Hommel, Theresa Kurz, Melanie Lipp, Farid Mohammadi, Samuel Scherrer, Martin Schneider, Gabriele Seitz, Leopold Stadler, Martin Utz, Felix Weinhardt, Bernd Flemisch:
  DuMu^x 3 - an open-source simulator for solving flow and transport problems in porous media with a focus on model coupling. CoRR abs/1909.05052 (2019)
• 2018
• 
  Barbara Krumay, David Rückel, Philipp Wicke, Stefan Koch:
  Verbreitung und Akzeptanz von Bauchentscheidungen im Management. HMD Prax. Wirtsch. 55(4): 701-713 (2018)

skipping 331 more matches