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

• 2024
• 
  Mariana F. Ramos, Marie-Christine Slater, Michael Hentschel, Martin Achleitner, Hannes Hübel, Bernhard Schrenk:
  Datacom-Agnostic Shortwave QKD for Short-Reach Links. OFC 2024: 1-3
• 2023
• 
  Lukas Seemann, Martina Hentschel:
  Universality and beyond in Optical Microcavity Billiards with Source-Induced Dynamics. Entropy 25(1): 95 (2023)
• 
  Johannes Hentschel, Martin Rohrmeier:
  ms3: A parser for MuseScore files, serving as data factory for annotated music corpora. J. Open Source Softw. 8(88): 5195 (2023)
• 
  Martin Helwig, Yun Xu, Uwe Hentschel, Anja Winkler, Niels Modler:
  Numerical and Experimental Investigation of Time-Domain-Reflectometry-Based Sensors for Foreign Object Detection in Wireless Power Transfer Systems. Sensors 23(23): 9425 (2023)
• 
  Mark Gotham, Johannes Hentschel, Louis Couturier, Nathan Dykeaylen, Martin Rohrmeier, Mathieu Giraud:
  The 'Measure Map': an inter-operable standard for aligning symbolic music. DLfM 2023: 91-99
• 
  Johannes Hentschel, Andrew McLeod, Yannis Rammos, Martin Rohrmeier:
  Introducing DiMCAT for Processing and Analyzing Notated Music on a Very Large Scale. ISMIR 2023: 516-523
• 
  Clifton Poth, Martin Hentschel, Tobias Werner, Hannah Sterz, Leonard Bongard:
  ML Mob at SemEval-2023 Task 1: Probing CLIP on Visual Word-Sense Disambiguation. SemEval@ACL 2023: 1463-1469
• 
  Hannah Sterz, Leonard Bongard, Tobias Werner, Clifton Poth, Martin Hentschel:
  ML Mob at SemEval-2023 Task 5: "Breaking News: Our Semi-Supervised and Multi-Task Learning Approach Spoils Clickbait". SemEval@ACL 2023: 1818-1823
• 
  Lukas Struppek, Martin B. Hentschel, Clifton Poth, Dominik Hintersdorf, Kristian Kersting:
  Leveraging Diffusion-Based Image Variations for Robust Training on Poisoned Data. CoRR abs/2310.06372 (2023)
• 2021
• 
  Uwe Hentschel, Philip Johannes Steinbild, Martin Dannemann, Andree Schwaar, Niels Modler, Axel Schürer:
  Functional Design Employing Miniaturized Electronics with Wireless Signal Provision to a Smartphone for a Strain-Based Measuring System for Ski Poles. Comput. 10(6): 77 (2021)
• 
  Johannes Hentschel, Markus Neuwirth, Martin Rohrmeier:
  The Annotated Mozart Sonatas: Score, Harmony, and Cadence. Trans. Int. Soc. Music. Inf. Retr. 4(1): 67-80 (2021)
• 
  Doris Janssen, Katharina Lingelbach, Sabrina Gado, Philipp Maurer, Daniela Piechnik, Martin Eichler, Dennis Knopf, Leopold Hentschel, Markus Schuler, Daniel Sernatinger, Matthias Peissner:
  WIBCE - A Web Application Helping People to Reflect Their Infection Risk and Psychological Well-Being and Act Accordingly During the COVID-19 Pandemic. AHFE (5) 2021: 515-522
• 
  Katharina Lingelbach, Sabrina Gado, Doris Janssen, Daniela Piechnik, Martin Eichler, Dennis Knopf, Leopold Hentschel, Markus Schuler, Daniel Sernatinger, Matthias Peissner:
  Identifying the Effects of COVID-19 on Psychological Well-Being Through Unsupervised Clustering for Mixed Data. ICICT (1) 2021: 883-895
• 
  Johannes Hentschel, Fabian C. Moss, Markus Neuwirth, Martin Rohrmeier:
  A semi-automated workflow paradigm for the distributed creation and curation of expert annotations. ISMIR 2021: 262-269
• 2019
• 
  Martin Hentschel, Richard Bubel, Reiner Hähnle:
  The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more. Int. J. Softw. Tools Technol. Transf. 21(5): 485-513 (2019)
• 2018
• 
  Simon Oehrl, Jan Müller, Jan Schnathmeier, Jochen Martin Eppler, Alexander Peyser, Hans Ekkehard Plesser, Benjamin Weyers, Bernd Hentschel, Torsten W. Kuhlen, Tom Vierjahn:
  Streaming Live Neuronal Simulation Data into Visualization and Analysis. ISC Workshops 2018: 258-272
• 2016
• 
  Martin Hentschel:
  Integrating Symbolic Execution, Debugging and Verification. Darmstadt University of Technology, Germany, 2016, pp. 1-195
• 
  Thibault Sellam, Martin Hentschel, Vasilis Kandylas, Omar Alonso:
  e#: Sharper Expertise Detection from Microblogs. EDBT 2016: 563-572
• 
  Martin Hentschel, Reiner Hähnle, Richard Bubel:
  Can Formal Methods Improve the Efficiency of Code Reviews? IFM 2016: 3-19
• 
  Martin Hentschel, Reiner Hähnle, Richard Bubel:
  An empirical evaluation of two user interfaces of an interactive program verifier. ASE 2016: 403-413
• 
  Martin Hentschel, Reiner Hähnle, Richard Bubel:
  The interactive verification debugger: effective understanding of interactive proof attempts. ASE 2016: 846-851
• 
  Benoît Dageville, Thierry Cruanes, Marcin Zukowski, Vadim Antonov, Artin Avanes, Jon Bock, Jonathan Claybaugh, Daniel Engovatov, Martin Hentschel, Jiansheng Huang, Allison W. Lee, Ashish Motivala, Abdul Q. Munir, Steven Pelley, Peter Povinec, Greg Rahn, Spyridon Triantafyllis, Philipp Unterbrunner:
  The Snowflake Elastic Data Warehouse. SIGMOD Conference 2016: 215-226
• 
  Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, Stefan Krüger:
  Variability Hiding in Contracts for Dependent Software Product Lines. VaMoS 2016: 97-104
• 
  Martin Hentschel, Reiner Hähnle, Richard Bubel:
  Debugging and Visualization. Deductive Software Verification 2016: 383-413
• 
  Bernhard Beckert, Reiner Hähnle, Martin Hentschel, Peter H. Schmitt:
  Formal Verification with KeY: A Tutorial. Deductive Software Verification 2016: 541-570
• 
  Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel:
  Formal Specification with the Java Modeling Language. Deductive Software Verification 2016: 193-241
• 2015
• 
  Martina Hentschel:
  Chaotic microlasers. Scholarpedia 10(9): 30923 (2015)
• 
  Besmira Nushi, Omar Alonso, Martin Hentschel, Vasileios Kandylas:
  CrowdSTAR: A Social Task Routing Framework for Online Communities. ICWE 2015: 219-230
• 2014
• 
  Martin Hentschel, Omar Alonso:
  Follow the money: A study of cashtags on Twitter. First Monday 19(8) (2014)
• 
  Martin Hentschel, Omar Alonso, Scott Counts, Vasileios Kandylas:
  Finding Users we Trust: Scaling up Verified Twitter Users Using their Communication Patterns. ICWSM 2014

skipping 17 more matches