Uni-Logo
You are here: Home Forschung Publikationen IIF der letzten zwei Jahre
Document Actions

Publikationen IIF der letzten zwei Jahre

Zur Gesamtpublikationsliste.

 


Jahre: 2020 | 2019

    2020

    Icon: top nach oben zur Jahresübersicht
    • Bast H, Brosi P, Näther M
      Similarity Classification of Public Transit Stations
      2020 arXiv

       
      PDF-Datei herunterladen
    • Bast H, Brosi P, Näther M
      staty: Quality Assurance for Public Transit Stations in OpenStreetMap
      2020 Sigspatial
    • Bast H, Hertel M, Mostafa M
      Tokenization Repair in the Presence of Spelling Errors
      2020 arXiv

       
      Datei herunterladen
    • Magnús M. Halldórsson, Fabian Kuhn, Yannic Maus, Alexandre Nolin
      Coloring Fast Without Learning Your Neighbors' Colors.
      2020 34rd International Symposium on Distributed Computing (DISC)
    • Fabian Kuhn, Philipp Schneider
      Computing Shortest Paths and Diameter in the Hybrid Network Model.
      2020 39th ACM Symposium on Principles of Distributed Computing (PODC)
    • Magnús M. Halldórsson, Fabian Kuhn, Yannic Maus
      Distance-2 Coloring in the CONGEST Model.
      2020 39th ACM Symposium on Principles of Distributed Computing (PODC)
    • Alkida Balliu, Fabian Kuhn, Dennis Olivetti
      Distributed Edge Coloring in Time Quasi-Polylogarithmic in Delta.
      2020 39th ACM Symposium on Principles of Distributed Computing (PODC)
    • Mohamad Ahmadi, Fabian Kuhn
      Distributed Maximum Matching Verification in CONGEST
      2020 34rd International Symposium on Distributed Computing (DISC)
    • Philipp Bamberger, Fabian Kuhn, Yannic Maus
      Efficient Deterministic Distributed Coloring with Small Bandwidth.
      2020 39th ACM Symposium on Principles of Distributed Computing (PODC)
    • Bast H, Brosi P, Storandt S
      Metro Maps on Octilinear Grid Graphs
      2020 EuroVis Eurographics Conference on Visualization, Band: 39, Nummer: 3
    • Fabian Kuhn
      Faster Deterministic Distributed Coloring Through Recursive List Coloring
      2020 31st ACM-SIAM Symp. on Discrete Algorithms (SODA)

       
      PDF-Datei herunterladen
    • John Augustine, Kristian Hinnenthal, Fabian Kuhn, Christian Scheideler, Philipp Schneider
      Shortest Paths in a Hybrid Network Model
      2020 31st ACM-SIAM Symp. on Discrete Algorithms (SODA)

       
      PDF-Datei herunterladen
    • Benjamin Völker, Marc Pfeifer, Philipp M Scholl, Bernd Becker
      A Framework to Generate and Label Datasets for Non-Intrusive Load Monitoring
      2020 Energies

       
      Datei herunterladen
    • Benjamin Völker, Marc Pfeifer, Philipp M Scholl, Bernd Becker
      Annoticity: A Smart Annotation Tool and Data Browser for Electricity Datasets
      2020 5th International Workshop on Non-Intrusive Load Monitoring ACM

       
      Datei herunterladen
    • Hannah Fitsch, Rebecca Jordan-Young, Anelis Kaiser Trujillo, Cynthia Kraus, Deboleena Roy, Sigrid Schmitz
      Coalition-Making and the Practice of Feminist STS in the time of COVID-19
      2020 Catalyst - feminism, theory, technoscience, Band: 6, Nummer: 2
    • Uwe Wagschal, Thomas Metz, Thomas Waldvogel, Bernd Becker, Linus Feiten, Samuel Weishaupt
      Das »Debat-O-Meter« als neues Tool in der E-Partizipation
      In: Demokratie im 21. Jahrhundert
      2020, Nomos, Seiten: 341 - 368, ISBN: 978-3-7489-2150-9
    • Benjamin Völker, Marc Pfeifer, Philipp M Scholl, Bernd Becker
      FIRED: A Fully-labeled hIgh-fRequency Electricity Disaggregation Dataset
      2020 The 7th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation Virtual Event Japan November, 2020 ACM
    • Robert Gmyr, Kristian Hinnenthal, Irina Kostitsyna, Fabian Kuhn, Dorian Rudolph, Christian Scheideler, Thim Strothmann
      Forming tile shapes with simple robots.
      2020 Nat Comput, Band: 19(2), Seiten: 375 - 390
    • Anelis Kaiser Trujillo
      From "race" and sex/gender bias research to feminist neuroscience
      2020 Gender Campus Blog
    • Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn, Yannic Maus, Jukka Suomela, Jara Uitto
      Improved distributed degree splitting and edge coloring.
      2020 Distrib Comput, Band: 33, Nummer: (3-4), Seiten: 293 - 310
    • Pascal Raiola, Tobias Paxian, Bernd Becker
      Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks
      2020 IEEE European Test Symposium
    • Tobias Paxian, Bernd Becker
      Pacose: an iterative SAT-based MaxSAT solver
      2020 MaxSAT Evaluation 2020: Solver and Benchmark Descriptions, Band: 16, Seiten: 12 - 12
    • Pascal Raiola, Tobias Paxian, Bernd Becker
      Partial (un-) weighted MaxSAT benchmarks: minimizing witnesses for security weaknesses in reconfigurable scan networks
      2020 MaxSAT Evaluation 2020, Band: 14, Seiten: 44 - 44
    • Sebastian Daum, Fabian Kuhn, Yannic Maus
      Rumor spreading with bounded in-degree.
      2020 Theor Comput Sci, Band: 810, Seiten: 43 - 57
    • Tobias Paxian, Mael Gay, Devanshi Upadhyaya, Bernd Becker, Ilia Polian
      SAT Benchmarks of AutoFault Attacking AES, LED and PRESENT
      2020 SAT COMPETITION 2020, Band: 20, Seiten: 79 - 79
    • Fitsch, H., Kaiser Trujillo, A., Plümecke, T.
      Sex/Gender in the Brain: Politics of Neuroscience.
      2020 Science for the People Magazine, Band: 23 (3), Seiten: 51 - 55
    • Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
      Strategy Synthesis for POMDPs in Robot Planning using Game-Based Abstractions
      2020 IEEE T Automat Contr
    • Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
      Strengthening Determinstic Policies for POMPDs
      2020 Proceedings of the 12th NASA Formal Methods Symposium (NFM)
    • Christoph Scholl, Alexander Konrad
      Symbolic Computer Algebra and SAT Based Information Forwarding for Fully Automatic Divider Verification
      2020 Design Automation Conf., Seiten: 1 - 6
    • Mohamad Ahmadi, Abdolhamid Ghodselahi, Fabian Kuhn, Anisur Rahaman Molla
      The Cost of Global Broadcast in Dynamic Radio Networks
      2020 Theor Comput Sci, Band: 806, Seiten: 363 - 387
    • Alireza Mahzoon, Daniel Große, Christoph Scholl, Rolf Drechsler
      Towards Formal Verification of Optimized and Industrial Multipliers
      2020 Conference on Design, Automation and Test in Europe (DATE), Seiten: 544 - 549

    2019

    Icon: top nach oben zur Jahresübersicht
    • Abdolhamid Ghodselahi, Fabian Kuhn, Volker Turau
      Competitive Concurrent Distributed Scheduling
      2019 30th Int. Symp. on Algorithms and Computation (ISAAC)
       
      PDF-Datei herunterladen
    • Benjamin Völker, Marc Pfeifer, Philipp M Scholl, Bernd Becker
      A Versatile High Frequency Electricity Monitoring Framework for Our Future Connected Home
      2019 EAI International Conference on Sustainable Energy for Smart Cities, Braga Portugal Springer, Seiten: 221 - 231

       
      Datei herunterladen
    • Mohsen Ghaffari, Fabian Kuhn, Jara Uitto
      Conditional Hardness Results for Massively Parallel Computation from Distributed Lower Bounds
      2019 60th IEEE Symp. on Foundations of Computer Science (FOCS)
       
      PDF-Datei herunterladen
    • Talya Eden, Nimrod Fiat, Orr Fischer, Fabian Kuhn, Rotem Oshman
      Sublinear-Time Distributed Algorithms for Detecting Small Cliques and Even Cycles
      2019 33rd International Symposium on Distributed Computing (DISC)
       
      Datei herunterladen
    • Bast H, Brosi P, Storandt S
      Efficient Generation of Geographically Accurate Transit Maps
      2019 ACM
    • Janosch Deurer, Fabian Kuhn, Yannic Maus
      Deterministic Distributed Dominating Set Approximation in the CONGEST Model
      2019 38th ACM Symp. on Principles of Distributed Computing (PODC)
       
      PDF-Datei herunterladen
    • Philipp Bamberger, Mohsen Ghaffari, Fabian Kuhn, Yannic Maus, Jara Uitto
      On the Complexity of Distributed Splitting Problems
      2019 38th ACM Symp. on Principles of Distributed Computing (PODC)
       
      PDF-Datei herunterladen
    • Mohsen Ghaffari, Fabian Kuhn
      On the Use of Randomness in Local Distributed Graph Algorithms
      2019 38th ACM Symp. on Principles of Distributed Computing (PODC)
       
      PDF-Datei herunterladen
    • Bernhard Haeupler, Fabian Kuhn, Anders Martinsson, Kalina Petrova, Pascal Pfister
      Optimal Strategies for Patrolling Fences
      2019 46th Int. Coll. on Automata, Languages, and Programming (ICALP)
       
      Datei herunterladen
    • Mohamad Ahmadi, Fabian Kuhn, Shay Kutten, Anisur Rahaman Molla, Gopal Pandurangan
      The Communication Cost of Information Spreading in Dynamic Networks
      2019 39th IEEE Int. Conf. on Distributed Computing Systems (ICDCS), Dallas, USA
    • John Augustine, Mohsen Ghaffari, Robert Gmyr, Kristian Hinnenthal, Fabian Kuhn, Jason Li, Christian Scheideler
      Distributed Computation in Node-Capacitated Networks
      2019 31st ACM Symp. on Parallelism in Algorithms and Architectures (SPAA)

       
      PDF-Datei herunterladen
    • Benjamin Völker, Philipp M Scholl, Bernd Becker
      Semi-Automatic Generation and Labeling of Training Data for Non-intrusive Load Monitoring
      2019 e-Energy '19 Proceedings of the Tenth ACM International Conference on Future Energy Systems ACM New York, NY, USA ©2019, Band: 10, Seiten: 17 - 23
    • Philipp Bamberger, Fabian Kuhn, Yannic Maus
      Local Distributed Algorithms in Highly Dynamic Networks
      2019 33rd IEEE Int. Parallel and Distributed Processing Symposium (IPDPS)
    • Leonie Feldbusch, Felix Winterer, Johannes Gramsch, Linus Feiten, Bernd Becker
      SMILE goes Gaming: Gamification in a Classroom Response System for Academic Teaching
      2019 11th International Conference on Computer Supported Education (CSEDU)
    • Marc Pfeifer, Philipp M. Scholl, Rainer Voigt, Bernd Becker
      Active Stereo Vision with High Resolution on an FPGA
      2019 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines Proceedings of the 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, Seiten: 118 - 126
    • Mohsen Ghaffari, Jara Uitto
      Sparsifying Distributed Algorithms with Ramifications in Massively Parallel Computation and Centralized Local Computation
      2019 30th ACM-SIAM Symposium on Discrete Algorithms (SODA)
    • Kessé, E. N.
      "Why Isn’t my professor Black?"
      In: Introduction: African European studies as a critique of contingent belonging.
      2019, Routledge Ed. Felipe Espinoza Garrido, Caroline Koegler, Deborah Nyangulu, and Mark U. Stein,
    • Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
      A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving
      2019 33th AAAI Conference on Artificial Intelligence (AAAI-19)
    • Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
      A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving
      2019 Honolulu, HI, USA Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI), AAAI Press
    • Phillip M Scholl, Benjamin Völker, Bernd Becker, Kristof Van Laerhoven
      A multi-media exchange format for time-series dataset curation
      In: Human Activity Sensing: Corpus and Applications
      2019, Springer International Publishing, Seiten: 111 - 119, ISBN: 9783030130015
    • D. Kuhner, L.D.J. Fiederer, J. Aldinger, F. Burget, M. Völker, R.T. Schirrmeister, C. Do, J. Boedecker, B. Nebel, T. Ball, W. Burgard
      A service assistant combining autonomous robotics, flexible goal formulation, and deep-learning-based brain–computer interfacing
      2019 Robot Auton Syst, Band: 116, Seiten: 98 - 113
    • Uwe Wagschal, Thomas Waldvogel, Thomas Metz, Samuel Weishaupt, Linus Feiten, Bernd Becker, Kamal Singh
      Alle gegen Alle? Die Mehrpersonendebatte der kleinen Parteien in der Analyse
      In: Die Bundestagswahl 2017: Analysen der Wahl-, Parteien-, Kommunikations- und Regierungsforschung
      2019, Springer Fachmedien Wiesbaden, Seiten: 461 - 482, ISBN: 978-3-658-25050-8
    • Fuks L, Awad N, Hutter F, Lindauer M
      An Evolution Strategy with Progressive Episode Lengths for Playing Games
      2019 Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI’19)
    • Brox T., Lou Z., Nguyen D. T., Klar M.
      Anomaly Detection With Multiple-Hypotheses Predictions
      2019 ICML 2019

       
      Datei herunterladen
    • Saikia T, Marrakchi Y, Zela A, Hutter F, Brox T
      AutoDispNet: Improving Disparity Estimation with AutoML
      2019 International Conference of Computer Vision
    • Kaljaca D., Mayer N., Vroegindeweij B., Mencarelli A., Van Henten E., Brox T.
      Automated Boxwood Topiary Trimming with a Robotic Arm and Integrated Stereo Vision
      2019 IEEE/RSJ International Conference on Intelligent Robots and Systems

       
      PDF-Datei herunterladen
    • Springer Springer, Springer
      Automated Machine Learning - Methods, Systems, Challenges
      Hutter Frank, Kotthoff Lars, Vanschoren Joaquin
    • Polian Ilia, Gay Mael, Paxian Tobias, Sauer Matthias, Becker Bernd
      Automatic Construction of Fault Attacks on Cryptographic Hardware Implementations
      In: Automated Methods in Cryptographic Fault Analysis
      2019, Springer, Seiten: 151 - 170,
    • Ilia Polian, Mael Gay, Tobias Paxian, Sauer Matthias, Bernd Becker
      Automatic construction of fault attacks on cryptographic hardware implementations
      2019 Automated Methods in Cryptographic Fault Analysis, Band: 1, Seiten: 151 - 170
    • Lindauer M, Eggensperger K, Feurer M, Biedenkapp A, Marben J, Müller P, Hutter F
      BOAH: A Tool Suite for Multi-Fidelity Bayesian Optimization & Analysis of Hyperparameters
      2019 arXiv:1908.06756 [cs.LG]
    • Zhou H., Brox T., Facil J., Ummenhofer B., Montesano L., Civera J.
      CAM-Convs: Camera-Aware Multi-Scale Convolutions for Single-View Depth
      2019 CVPR 2019
       
      PDF-Datei herunterladen
    • Jeremy T. Fineman, Seth Gilbert, Fabian Kuhn, Calvin Newport
      Contention Resolution on a Fading Channel
      2019 Distrib Comput, Band: 32, Nummer: 6, Seiten: 517 - 533

       
      Datei herunterladen
    • Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
      Counterexample-Guided Strategy Improvement for POMDPs using Recurrent Neural Networks
      2019 Macao, China Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI)

       
      PDF-Datei herunterladen
    • Loshchilov Ilya, Hutter Frank
      Decoupled Weight Decay Regularization
      2019 International Conference on Learning Representations
    • Elsken Thomas, Metzen Jan, Hutter Frank
      Efficient Multi-Objective Neural Architecture Search via Lamarckian Evolution
      2019 International Conference on Learning Representations
    • Bryant, K., Grossi, G., Kaiser, A.
      Feminist Interventions on the Sex/Gender Question in Neuroimaging Research
      2019 The Scholar & Feminist Online; published by the Barnard Center for research on women., Nummer: 15.2
    • Anelis Kaiser
      Frauen in den Ingenieurswissenschaften: Zwischen Irritation und Negierung
      2019 querelles-net Rezensionszeitschrift fuer Frauen- und Geschlechterfoschung, Band: 20, Nummer: 3, Seiten: 1 - ff
    • Gay Maël, Paxian Tobias, Upadhyaya Devanshi, Becker Bernd, Polian Ilia
      Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support
      2019 2019 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), IEEE, Seiten: 25 - 32
    • Mael Gay, Tobias Paxian, Devanshi Upadhyaya, Bernd Becker, Ilia Polian
      Hardware-oriented algebraic fault attack framework with multiple fault injection support
      2019 2019 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), Band: 16, Seiten: 25 - 32
    • Fiederer, L. D., Völker, M., Schirrmeister, R. T., Burgard, W., Boedecker, J., Ball, T.
      Hybrid Brain-Computer-Interfacing for Human-Compliant Robots: Inferring Continuous Subjective Ratings with Deep Regression
      2019 Front Neurorobotics, Seiten: 13 - 76
    • Böhm A, Tatarchenko M, Schmidt T.
      ISOO_DL^V2 - Semantic Instance Segmentation of Touching and Overlapping Objects
      2019 IEEE International Symposium on Biomedical Imaging

       
      PDF-Datei herunterladen
    • Katalin Fazekas, Armin Biere, Christoph Scholl
      Incremental Inprocessing in SAT Solving
      2019 10th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer-Verlag, Nummer: 11628, Seiten: 136 - 154
    • Runge Frederic, Stoll Danny, Falkner Stefan, Hutter Frank
      Learning to Design RNA
      2019 International Conference on Learning Representations
    • Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
      Localizing Quantifiers for DQBF
      2019 Proceedings of the Conference on Formal Methods in Computer Aided Design (FMCAD), IEEE Computer Society Press
    • Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
      Localizing Quantifiers for DQBF
      2019 Proceedings of the 2019 Conference on Formal Methods in Computer Aided Design (FMCAD), Clark W. Barrett, Jin Yang
    • Margret Keuper,, S. Tang,, B. Andres,, Thomas Brox,, B. Schiele
      Motion segmentation and multiple object tracking by correlation co-clustering
      2019 IEEE T Pattern Anal
    • Mohamed Abou-Hussein, Stefan H. Müller, Joschka Boedecker
      Multimodal Spatio-Temporal Information in End-to-End Networks for Automotive Steering Prediction
      2019 International Conference on Robotics and Automation
    • Ying Chris, Klein Aaron, Real Esteban, Christiansen Eric, Murphy Kevin, Hutter Frank
      Nas-bench-101: Towards reproducible neural architecture search
      2019 Thirty-sixth International Conference on Machine Learning
    • Springer
      Networked Systems- 6th International Conference, Netys 2018
      ISBN: 9783030055288
      Podelski
    • Elsken Thomas, Metzen Jan, Hutter Frank
      Neural Architecture Search: A Survey
      2019 Journal of Machine Learning Research, Band: 20, Nummer: 55, Seiten: 1 - 21
    • Peter Ochs,, J. Fadili,, Thomas Brox
      Non-smooth non-convex Bregman minimization: unification and new algorithms
      2019 J Optimiz Theory App
    • Benjamin Thiemann, Linus Feiten, Pascal Raiola, Bernd Becker, Matthias Sauer
      On Integrating Lightweight Encryption in Reconfigurable Scan Networks
      2019 IEEE European Test Symposium
    • Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Kapstova, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
      On Secure Data Flow in Reconfigurable Scan Networks
      2019 Conf. on Design, Automation and Test in Europe
    • Makansi O., Ilg E., Çiçek Ö, Brox T.
      Overcoming Limitations of Mixture Density Networks: A Sampling and Fitting Framework for Multimodal Future Prediction
      2019 CVPR 2019 IEEE T Vis Comput Gr

       
      Datei herunterladen
    • Eggensperger K, Lindauer M, Hutter F
      Pitfalls and Best Practices in Algorithm Configuration
      2019 Journal of Artificial Intelligence Research (JAIR), Band: 64, Seiten: 861 - 893
    • Fine, C., Jordan-Young, B., Kaiser, A., & Rippon, G. (translated from “Plasticity, plasticity, plasticity …" (2013)).
      Plasticidad, plasticidad, plasticidad… y la rigidez del problema del sexo.
      2019 The Scholar & Feminist Online; published by the Barnard Center for research on women, Nummer: 15.2
    • Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
      Quantifier Localization for DQBF
      2019 Int'l Workshop on Logic and Synthesis
    • M. Jordão, R. Sankowski, S. Brendecke, S. Sagar, G. Locatelli, Y. Tai, T. Tay, E. Schramm, S. Armbruster, N. Hagemeyer, O. Groß, D. Mai, M. Kerschensteiner, D. Grün, M. Prinz, Çiçek Ö, Schmidt T.
      Single-cell profiling identifies myeloid cell subsets with distinct fates during neuroinflammation
      2019 Science, Band: 363, Nummer: 6425, Seite: 7554

       
      Datei herunterladen
    • Ralf Wimmer, Christoph Scholl, Bernd Becker
      The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation
      2019 Journal on Satisfiability, Boolean Modeling and Computation, Band: 11, Nummer: 1, Seiten: 3 - 52
    • Ralf Wimmer, Christoph Scholl, Bernd Becker
      The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation
      2019 Journal on Satisfiability, Boolean Modeling and Computation, Band: 11, Nummer: 1, Seiten: 3 - 52
    • Lindauer M, Feurer M, Eggensperger K, Biedenkapp A, Hutter F
      Towards Assessing the Impact of Bayesian Optimization’s Own Hyperparameters
      2019 IJCAI 2019 DSO Workshop
    • Biedenkapp A, Bozkurt H, Hutter F, Lindauer M
      Towards White-box Benchmarks for Algorithm Control
      2019 IJCAI 2019 DSO Workshop
    • Thorsten Falk,, Dominic Mai,, Robert Bensch,, Özgün Çiçek,, Ahmed Abdulkadir,, Yassine Marrakchi,, Anton Böhm,, J. Deubner,, Z. Jäckel,, K. Seiwald,, A. Dovzhenko,, O. Tietz,, C. Dal Bosco,, S. Walsh,, D. Saltukoglu,, T. Tay,, M. Prinz,, K. Palme,, M. Simons,, I. Diester,, Thomas Brox,, Olaf Ronneberger
      U-Net – Deep Learning for Cell Counting, Detection, and Morphometry
      2019 Nat Methods

       
      Datei herunterladen
    • Sebastian Weydner-Volkmann, Linus Feiten
      Vertrauensstiftende Videoüberwachung?
      2019 digma: Zeitschrift für Datenrecht und Informationssicherheit, Band: 19, Nummer: 4, Seiten: 218 - 221
    • J. Zhang, L. Tai, P. Yun, Y. Xiong, M. Liu, J. Boedecker, W. Burgard
      Vr-goggles for robots: Real-to-sim domain adaptation for visual control
      2019 IEEE Robotics and Automation Letters, Band: 4, Nummer: 2, Seiten: 1148 - 1155
    • Tatarchenko M, Brox T., Richter S. R., Ranftl R., Li Z., Koltn V.
      What Do Single-view 3D Reconstruction Networks Learn?
      2019 CVPR 2019 IEEE T Vis Comput Gr

       
      PDF-Datei herunterladen
    • Tobias Seufert, Christoph Scholl
      fbPDR: In-depth Combination of Forward and Backward Analysis in Property Directed Reachability
      2019 Conference on Design, Automation and Test in Europe (DATE)
    • Tobias Seufert, Christoph Scholl
      fbPDR: In-depth Combination of Forward and Backward Analysis in Property Directed Reachability (extended abstract)
      2019 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    Credits: SILK Icons by http://www.famfamfam.com/lab/icons/silk/
    Personal tools