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

• 2023
• 
  Sebastian König:
  Combinatorics of Centers of 0-Hecke Algebras in Type A. Electron. J. Comb. 30(3) (2023)
• 
  Sebastian Boehm, Hartmut König:
  Real-Time-Shift: Pseudo-Real-Time Event Scheduling for the Split-Protocol-Stack Radio-in-the-Loop Emulation. Comput. Commun. 209: 273-282 (2023)
• 
  Tobias Mühling, Isabelle Späth, Joy Backhaus, Nathalie Milke, Sebastian Oberdörfer, Alexander Meining, Marc Erich Latoschik, Sarah Koenig:
  Virtual reality in medical emergencies training: benefits, perceived stress, and learning success. Multim. Syst. 29(4): 2239-2252 (2023)
• 
  Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing:
  Hennessy-Milner Theorems via Galois Connections. CSL 2023: 12:1-12:18
• 
  Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König:
  A Systematic Approach to Automotive Security. FM 2023: 598-609
• 
  Martin Bellgardt, Sebastian Pape, David Gilbert, Marcel Prochnau, Georg König, Torsten W. Kuhlen:
  Virtual Optical Bench: Teaching Spherical Lens Layout in VR with Real-Time Ray Tracing. VR 2023: 503-508
• 
  Sebastian Boehm, Hartmut König:
  Radio-in-the-Loop Simulation Modeling for Energy-Efficient and Cognitive IoT in Smart Cities: A Cross-Layer Optimization Case Study. WONS 2023: 126-133
• 
  Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König:
  A Systematic Approach to Automotive Security. CoRR abs/2303.02894 (2023)
• 
  Lukas König, Sebastian Neumaier:
  Building a Knowledge Graph of Distributed Ledger Technologies. CoRR abs/2303.16528 (2023)
• 
  Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing:
  Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CoRR abs/2307.14826 (2023)
• 
  Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild:
  Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach. CoRR abs/2310.05711 (2023)
• 
  Thomas Duguet, Andreas Ekström, Richard J. Furnstahl, Sebastian König, Dean Lee:
  Eigenvector Continuation and Projection-Based Emulators. CoRR abs/2310.19419 (2023)
• 2022
• 
  Sebastian Bernhard, Jonathan Hermann, Ulrich Konigorski:
  On linear-quadratic optimal transition in synchronization of homogeneous multi-agent systems. Autom. 70(3): 248-256 (2022)
• 
  Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow:
  Conditional Bisimilarity for Reactive Systems. Log. Methods Comput. Sci. 18(1) (2022)
• 
  Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski:
  Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic. CMCS 2022: 1-22
• 
  Alexander Mertens, Philipp Brauner, Ralph Baier, Florian Brillowski, Hannah Dammers, Marc Van Dyck, Iris Kong, Peter Königs, Frauke Kordtomeikel, Gian Luca Liehner, Sebastian Pütz, Niklas Rodemann, Anne Kathrin Schaar, Linda Steuer-Dankert, Luisa Vervier, Shari Wlecke, Thomas Gries, Carmen Leicht-Scholten, Saskia K. Nagel, Frank T. Piller, Günther Schuh, Martina Ziefle, Verena Nitsch:
  Modelling Human Factors in Cyber Physical Production Systems by the Integration of Human Digital Shadows. Modellierung (Workshops) 2022: 147-149
• 
  Sebastian Boehm, Hartmut König:
  Real-Time-Shift: Pseudo-Real-Time Event Scheduling for the Split-Protocol-Stack Radio-in-the-Loop Emulation. MSWiM 2022: 47-54
• 
  Daniel Fraunholz, Dominik Brunke, Simon Beidenhauser, Sebastian Berger, Hartmut Koenig, Daniel Reti:
  IMSI Probing: Possibilities and Limitations. NordSec 2022: 80-97
• 
  Sebastian Schrittwieser, Patrick Kochberger, Michael Pucher, Caroline Lawitschka, Philip König, Edgar R. Weippl:
  Obfuscation-Resilient Semantic Functionality Identification Through Program Simulation. NordSec 2022: 273-291
• 
  Julian Wörmann, Daniel Bogdoll, Etienne Bührle, Han Chen, Evaristus Fuh Chuo, Kostadin Cvejoski, Ludger van Elst, Tobias Gleißner, Philip Gottschall, Stefan Griesche, Christian Hellert, Christian Hesels, Sebastian Houben, Tim Joseph, Niklas Keil, Johann Kelsch, Hendrik Königshof, Erwin Kraft, Leonie Kreuser, Kevin Krone, Tobias Latka, Denny Mattern, Stefan Matthes, Mohsin Munir, Moritz Nekolla, Adrian Paschke, Maximilian Alexander Pintz, Tianming Qiu, Faraz Qureishi, Syed Tahseen Raza Rizvi, Jörg Reichardt, Laura von Rüden, Stefan Rudolph, Alexander Sagel, Gerhard Schunk, Hao Shen, Hendrik Stapelbroek, Vera Stehr, Gurucharan Srinivas, Anh Tuan Tran, Abhishek Vivekanandan, Ya Wang, Florian Wasserrab, Tino Werner, Christian Wirth, Stefan Zwicklbauer:
  Knowledge Augmented Machine Learning with Applications in Autonomous Driving: A Survey. CoRR abs/2205.04712 (2022)
• 
  Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing:
  Hennessy-Milner Theorems via Galois Connections. CoRR abs/2207.05407 (2022)
• 2021
• 
  Tobias Piotrowski, Oliver Rippel, Andreas Elanzew, Bastian Nießing, Sebastian Stucken, Sven Jung, Niels König, Simone Haupt, Laura Stappert, Oliver Brüstle, Robert H. Schmitt, Stephan M. Jonas:
  Deep-learning-based multi-class segmentation for automated, non-invasive routine assessment of human pluripotent stem cell culture status. Comput. Biol. Medicine 129: 104172 (2021)
• 
  Alexander Mertens, Sebastian Pütz, Philipp Brauner, Florian Brillowski, Nadine Buczak, Hannah Dammers, Marc Van Dyck, Iris Kong, Peter Königs, Frauke Kordtomeikel, Niklas Rodemann, Anne Kathrin Schaar, Linda Steuer-Dankert, Shari Wlecke, Thomas Gries, Carmen Leicht-Scholten, Saskia K. Nagel, Frank T. Piller, Günther Schuh, Martina Ziefle, Verena Nitsch:
  Human Digital Shadow: Data-based Modeling of Users and Usage in the Internet of Production. HSI 2021: 1-8
• 
  Sebastian Boehm, Hartmut König:
  Split-Protocol-Stack Wireless Network Emulation: Enabling PHY Modeling Diversity with Software-Radio-in-the-Loop. Q2SWinet 2021: 33-40
• 
  Sebastian Pape, Martin Bellgardt, David Gilbert, Georg König, Torsten W. Kuhlen:
  Virtual Optical Bench: A VR learning tool for optical design. VR Workshops 2021: 635-636
• 
  Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski:
  Coalgebraic modal logic and games for coalgebras with side effects. CoRR abs/2110.09911 (2021)
• 2020
• 
  Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva:
  Conditional transition systems with upgrades. Sci. Comput. Program. 186 (2020)
• 
  Todd W. Neller, Stephen Keeley, Michael Guerzhoy, Wolfgang Hönig, Jiaoyang Li, Sven Koenig, Ameet Soni, Krista Thomason, Lisa Zhang, Bibin Sebastian, Cinjon Resnick, Avital Oliver, Surya Bhupatiraju, Kumar Krishna Agrawal, James Allingham, Sejong Yoon, Jonathan Chen, Tom Larsen, Marion Neumann, Narges Norouzi, Ryan Hausen, Matthew Evett:
  Model AI Assignments 2020. AAAI 2020: 13509-13511
• 
  Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem:
  Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). CONCUR 2020: 3:1-3:16
• 
  Lorenzo Nicoletti, Matthias Brönner, Benedikt Danquah, Alexander W. Koch, Adrian König, Sebastian Krapf, Aditya Pathak, Ferdinand Schockenhoff, Ganesh Sethuraman, Sebastian Wolff, Markus Lienkamp:
  Review of Trends and Potentials in the Vehicle Concept Development Process. EVER 2020: 1-15

skipping 72 more matches