export record
dblp key:
journals/toit/Anagnostopoulos20 share record
persistent URL:
Nikolaos Athanasios Anagnostopoulos , Saad Ahmad , Tolga Arul , Daniel Steinmetzer , Matthias Hollick , Stefan Katzenbeisser : Low-cost Security for Next-generation IoT Networks. ACM Trans. Internet Techn. 20 (3 ) : 30:1-30:31 (2020 )share record
persistent URL:
Bernd-Christian Renner , Jan Heitmann , Fabian Steinmetz : ahoi: Inexpensive, Low-power Communication and Localization for Underwater Sensor Networks and μAUVs. ACM Trans. Sens. Networks 16 (2 ) : 18:1-18:46 (2020 )share record
persistent URL:
Rebecca Eifler , Michael Cashmore , Jörg Hoffmann , Daniele Magazzeni , Marcel Steinmetz : A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. AAAI 2020 : 9818-9826 export record
dblp key:
conf/aaai/HoffmannHKSKM20 share record
persistent URL:
Jörg Hoffmann , Holger Hermanns , Michaela Klauck , Marcel Steinmetz , Erez Karpas , Daniele Magazzeni : Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. AAAI 2020 : 13569-13575 export record
dblp key:
conf/cgi/HildenbrandSAHL20 share record
persistent URL:
Dietmar Hildenbrand , Christian Steinmetz , Rafael Alves , Jaroslav Hrdina , Carlile Lavor : An Online Calculator for Qubits Based on Geometric Algebra. CGI 2020 : 526-537 share record
persistent URL:
Stefan Böttcher , Rita Hartel , Sven Peeters : Pattern Search in Grammar-Compressed Graphs. DCC 2020 : 361 share record
persistent URL:
Sven Hartmann , Jack Alshami , Hui Ma , Dietrich Steinmetz : A Conceptual Framework for Dynamic Planning of Alternative Routes in Road Networks. ER 2020 : 539-554 share record
persistent URL:
Timo P. Gros , Holger Hermanns , Jörg Hoffmann , Michaela Klauck , Marcel Steinmetz : Deep Statistical Model Checking. FORTE 2020 : 96-114 share record
persistent URL:
Rita Hartel , Alexander Dunst : An OCR Pipeline and Semantic Text Analysis for Comics. ICPR Workshops (6) 2020 : 213-222 share record
persistent URL:
Rebecca Eifler , Marcel Steinmetz , Álvaro Torralba , Jörg Hoffmann : Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. IJCAI 2020 : 4091-4097 export record
dblp key:
conf/isola/FaqehFH0KKSW20 share record
persistent URL:
Rasha Faqeh , Christof Fetzer , Holger Hermanns , Jörg Hoffmann , Michaela Klauck , Maximilian A. Köhl , Marcel Steinmetz , Christoph Weidenbach : Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. ISoLA (2) 2020 : 416-439 share record
persistent URL:
Timo P. Gros , David Groß , Stefan Gumhold , Jörg Hoffmann , Michaela Klauck , Marcel Steinmetz : TraceVis: Towards Visualization for Deep Statistical Model Checking. ISoLA (4) 2020 : 27-46 share record
persistent URL:
Stefan Böttcher , Rita Hartel , Sven Peeters : QSGG: query simulation in grammar-compressed graphs. SBD@SIGMOD 2020 : 7:1-7:6 share record
persistent URL:
Yujin Lee , Myeongseong Kim , Hyunjung Kim : Rolling Pixels: Robotic Steinmetz Solids for Creating Physical Animations. TEI 2020 : 557-564 export record
dblp key:
journals/corr/abs-2001-04760 share record
persistent URL:
Stefan Böttcher , Rita Hartel , Sven Peeters : Simulation computation in grammar-compressed graphs. CoRR abs/2001.04760 (2020 )export record
dblp key:
journals/corr/abs-2010-04528 share record
persistent URL:
Ralf Kundel , Amr Rizk , Jeremias Blendin , Boris Koldehofe , Rhaban Hark , Ralf Steinmetz : P4-CoDel: Experiences on Programmable Data Plane Hardware. CoRR abs/2010.04528 (2020 )export record
dblp key:
journals/corr/abs-2010-10967 share record
persistent URL:
Frederik Wiehr , Anke Hirsch , Florian Daiber , Antonio Krüger , Alisa Kovtunova , Stefan Borgwardt , Ernie Chang , Vera Demberg , Marcel Steinmetz , Jörg Hoffmann : Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems. CoRR abs/2010.10967 (2020 )2019 export record
dblp key:
journals/access/SteinmetzEBW19 share record
persistent URL:
Erik Steinmetz , Ragne Emardson , Fredrik Brannstrom , Henk Wymeersch : Theoretical Limits on Cooperative Positioning in Mixed Traffic. IEEE Access 7 : 49712-49725 (2019 )export record
dblp key:
journals/adhoc/RueckeltSMBBS19 share record
persistent URL:
Tobias Rueckelt , Ioannis Stavrakakis , Tobias Meuser , Imane Horiya Brahmi , Doreen Böhnstedt , Ralf Steinmetz : Data transmission plan adaptation complementing strategic time-network selection for connected vehicles. Ad Hoc Networks 82 : 146-154 (2019 )export record
dblp key:
journals/jcheminf/HanserSPRK19 share record
persistent URL:
Thierry Hanser , Fabian P. Steinmetz , Jeffrey Plante , Friedrich Rippmann , Mireille Krier : Avoiding hERG-liability in drug design via synergetic combinations of different (Q)SAR methodologies and data sources: a case study in an industrial setting. J. Cheminformatics 11 (1 ) : 9:1-9:13 (2019 )export record
dblp key:
journals/jcisd/DolencGPSM19 share record
persistent URL:
Jozica Dolenc , Wilfred F. van Gunsteren , Andrea E. Prota , Michel O. Steinmetz , John H. Missimer : Conformational Properties of the Chemotherapeutic Drug Analogue Epothilone A: How to Model a Flexible Protein Ligand Using Scarcely Available Experimental Data. J. Chem. Inf. Model. 59 (5 ) : 2218-2230 (2019 )export record
dblp key:
journals/jsac/OrtizASSH19 share record
persistent URL:
Andrea Ortiz , Arash Asadi , Gek Hong Sim , Daniel Steinmetzer , Matthias Hollick : SCAROS: A Scalable and Robust Self-Backhauling Solution for Highly Dynamic Millimeter-Wave Networks. IEEE J. Sel. Areas Commun. 37 (12 ) : 2685-2698 (2019 )export record
dblp key:
journals/nature/StringerPSCH19 share record
persistent URL:
Carsen Stringer , Marius Pachitariu , Nicholas A. Steinmetz , Matteo Carandini , Kenneth D. Harris : High-dimensional geometry of population responses in visual cortex. Nat. 571 (7765 ) : 361-365 (2019 )export record
dblp key:
journals/pieee/AltWBHK0KKKKKLM19 share record
persistent URL:
Bastian Alt , Markus Weckesser , Christian Becker , Matthias Hollick , Sounak Kar , Anja Klein , Robin Klose , Roland Kluge , Heinz Koeppl , Boris Koldehofe , Wasiur R. KhudaBukhsh , Manisha Luthra , Mahdi Mousavi , Max Mühlhäuser , Martin Pfannemüller , Amr Rizk , Andy Schürr , Ralf Steinmetz : Transitions: A Protocol-Independent View of the Future Internet. Proc. IEEE 107 (4 ) : 835-846 (2019 )export record
dblp key:
journals/sensors/SathyendranathB19 share record
persistent URL:
Shubha Sathyendranath , Robert J. W. Brewin , Carsten Brockmann , Vanda Brotas , Ben Calton , Andrei Chuprin , Paolo Cipollini , André B. Couto , James Dingle , Roland Doerffer , Craig Donlon , Mark Dowell , Alex Farman , Mike Grant , Steve B. Groom , Andrew Horseman , Thomas Jackson , Hajo Krasemann , Samantha J. Lavender , Victor Martinez-Vicente , Constant Mazeran , Frédéric Mélin , Timothy Moore , Dagmar Müller , Peter Regner , Shovonlal Roy , Chris Steele , François Steinmetz , John Swinton , Malcolm Taberner , Adam Thompson , André Valente , Marco Zühlke , Vittorio Ernesto Brando , Hui Feng , Gene C. Feldman , Bryan A. Franz , Robert Frouin , Richard W. Gould Jr. , Stanford B. Hooker , Mati Kahru , Susanne Kratzer , B. Mitchell , Frank E. Müller-Karger , Heidi M. Sosik , Kenneth Voss , Jeremy Werdell , Trevor Platt : An Ocean-Colour Time Series for Use in Climate Studies: The Experience of the Ocean-Colour Climate Change Initiative (OC-CCI). Sensors 19 (19 ) : 4285 (2019 )share record
persistent URL:
Bile Peng , Gonzalo Seco-Granados , Erik Steinmetz , Markus Fröhle , Henk Wymeersch : Decentralized Scheduling for Cooperative Localization With Deep Reinforcement Learning. IEEE Trans. Veh. Technol. 68 (5 ) : 4295-4305 (2019 )export record
dblp key:
conf/cnsm/KundelNBKSGKS19 share record
persistent URL:
Ralf Kundel , Leonhard Nobach , Jeremias Blendin , Hans-Joerg Kolbe , Georg Schyguda , Vladimir Gurevich , Boris Koldehofe , Ralf Steinmetz : P4-BNG: Central Office Network Functions on Programmable Packet Pipelines. CNSM 2019 : 1-9 share record
persistent URL:
Alexander Dunst , Rita Hartel : Multimodale Stilometrie: Herausforderungen und Potenzial kombinatorischer Bild- und Textanalysen am Beispiel Comics. DHd 2019 share record
persistent URL:
Oliver Moisich , Rita Hartel : Multimedia Markup Editor (M3): Semi-Automatische Annotationssoftware für statische Bild-Text Medien. DHd 2019 share record
persistent URL:
Dietrich Steinmetz , Felix Merz , Hui Ma , Sven Hartmann : A Graph Model for Taxi Ride Sharing Supported by Graph Databases. ER 2019 : 108-116