# Publikationen IIF der letzten zwei Jahre

Jahre: 2020 | 2019

## 2020

nach oben zur Jahresübersicht- Bast H, Brosi P, Näther M
**Similarity Classification of Public Transit Stations**

2020*arXiv* - 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 - 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) - 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) - Benjamin Völker, Marc Pfeifer, Philipp M Scholl, Bernd Becker
**A Framework to Generate and Label Datasets for Non-Intrusive Load Monitoring**

2020*Energies* - 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 - 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 Reconﬁgurable 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

nach oben zur Jahresübersicht- Abdolhamid Ghodselahi, Fabian Kuhn, Volker Turau
**Competitive Concurrent Distributed Scheduling**

2019 30th Int. Symp. on Algorithms and Computation (ISAAC) - 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 - 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) - 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) - 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) - 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) - Mohsen Ghaffari, Fabian Kuhn
**On the Use of Randomness in Local Distributed Graph Algorithms**

2019 38th ACM Symp. on Principles of Distributed Computing (PODC) - 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) - 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) - 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 - 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* - 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 - 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 - 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)* - 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* - 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* - 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 - 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* - 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* - 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/