Publications

2015

• TouchNoise: A new multitouch interface for creative work with noiseBerndt, A., Al-Kassab, N. & Dachselt, R., 7 Oct 2015, Proceedings of the 10th Audio Mostly - A Conference on Interaction with Sound, AM 2015. Kalliris, G., Dimoulas, C., Kalliris, G. & Dimoulas, C. (eds.). Association for Computing Machinery, a4Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Axiomatization of General Concept Inclusions in Probabilistic Description LogicsKriegel, F., 21 Sep 2015, Proceedings of the 38th German Conference on Artificial Intelligence (KI 2015), Dresden, Germany. Hölldobler, S., Rudolph, S. & Krötzsch, M. (eds.). Springer Verlag, p. 124-136, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Extending Microprocessor Trace Hardware for Fault InjectionGunia, M., Zabel, M. & Spallek, R., 21 Sep 2015, 8. GMM/ITG/GI-Symposium Reliability by Design (ZuE). 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Learning General Concept Inclusions in Probabilistic Description LogicsKriegel, F., 21 Sep 2015Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Simulative Ultraschall-Untersuchung von Pitch-Catch-Messanordnungen für große zylindrische Stahl-Prüflinge und gradientenbasierte BildgebungHegler, S., Statz, C., Mütze, M., Mooshofer, H., Goldammer, M., Fendt, K., Schwarzer, S. & 9 others, 11 Sep 2015, In:  Technisches Messen : tm ; Sensoren, Geräte, Systeme. 82, 9, p. 440-450, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• dyn-PowerCass: Energy efficient distributed store based on dynamic data placement strategyTena, F. L. & Fetzer, C., 1 Sep 2015, AFRICONElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploiting Repeated Structures and Vectorization in ModelicaSchuchart, J., Waurich, V., Flehmig, M., Walther, M., Nagel, W. E. & Gubsch, I., Sep 2015, Proceeding of the 11th International Modelica Conference. p. 265-272, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Motion correction of thermographic images in neurosurgerySenger, V., Tetzlaff, R., Müller, J., Hoffmann, N., Hollmach, J., Schnabel, C., Radev, Y. & 4 others, 26 Aug 2015, 2015 European Conference on Circuit Theory and Design (ECCTD). IEEE Canada, 4 p., 7300009Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Improved Answer-Set Programming Encodings for Abstract ArgumentationGaggl, S. A., Manthey, N., Ronca, A., Wallner, J. P. & Woltran, S., 1 Aug 2015, To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015. arXiv:1507.06689Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Transactional IPC in Fiasco.OC - Can we get the multicore case verified for free?Smejkal, T., Lackorzynski, A., Engel, B. & Völp, M., 7 Jul 2015, Proceedings of OSPERT 2015, the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time ApplicationsResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Computational Complexity of Naive-based Semantics for Abstract Dialectical FrameworksGaggl, S. A., Rudolph, S. & Straß, H., 1 Jul 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Yang, Q. & Wooldridge, M. (eds.). AAAI Press, p. 2985-2991, 7 p., (AAAI Press)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimizing Query Prices for Data-as-a-ServiceOliveira, A. C., Fetzer, C., Martin, A., Quoc, D. L. & Spohn, M., 1 Jul 2015, IEEE BigData Congress 2015. IEEE Computer Society, Washington , 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PLIP: fully automated protein-ligand interaction profilerSalentin, S., Schreiber, S., Haupt, V. J., Adasme, M. F. & Schroeder, M., 1 Jul 2015, In: Nucleic Acids Research. 43, W1, p. W443–W447Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Scalable Network Traffic Classification Using Distributed Support Vector MachinesQuoc, D. L., D'Alessandro, V., Park, B., Romano, L. & Fetzer, C., 1 Jul 2015, 8th IEEE International Conference on Cloud Computing (CLOUD'15). IEEE Computer Society, Washington Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• UniCrawl: A Practical Geographically Distributed Web CrawlerQuoc, D. L., Fetzer, C., Fellber, P., Rivière, É., Schiavoni, V. & Sutra, P., 1 Jul 2015, 8th IEEE International Conference on Cloud Computing (CLOUD'15). IEEE Computer Society, Washington Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adaptive Resource Sharing in MulticoresLampka, K., Flodin, J., Wang, Y. & Lackorzynski, A., Jul 2015, Proceedings of OSPERT 2015, the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time ApplicationsResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Extracting ALEQR(Self)-Knowledge Bases from GraphsKriegel, F., 25 Jun 2015, Proceedings of the International Workshop on Social Network Analysis using Formal Concept Analysis (SNAFCA 2015) in conjunction with the 13th International Conference on Formal Concept Analysis (ICFCA 2015), Nerja, Spain. Kuznetsov, S. O., Missaoui, R. & Obiedkov, S. A. (eds.). CEUR-WS.org, Vol. 1534Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept AnalysisKriegel, F., 7 Jun 2015, Proceedings of the 28th International Workshop on Description Logics (DL 2015), Athens, Greece. Calvanese, D. & Konev, B. (eds.). CEUR-WS.org, Vol. 1350. p. 452-464, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A hybrid particle-mesh method for incompressible active polar viscous gelsRamaswamy, R., Bourantas, G., Jülicher, F. & Sbalzarini, I. F., 5 Jun 2015, In: Journal of computational physics. 291, p. 334-361, 28 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Delta-encoding: Practical Encoded ProcessingKuvaiskii, D. & Fetzer, C., 1 Jun 2015, Proceedings of The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015). IEEE Computer Society, Washington , 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• User-Constraint and Self-Adaptive Fault Tolerance for Event Stream Processing SystemsMartin, A., Smaneoto, T., Dietze, T., Brito, A. & Fetzer, C., 1 Jun 2015, Proceedings of The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015). Los Alamitos, CA, USA: IEEE Computer Society, Washington , p. 462-473, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An adaptive replication scheme for elastic data stream processing systemsHeinze, T., Zia, M., Krahn, R., Jerzak, Z. & Fetzer, C., Jun 2015, p. 150-161, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• A reference architecture for condition monitoringWollschlaeger, M., Theurich, S., Winter, A., Lubnau, F. & Paulitsch, C., 29 May 2015, 2015 IEEE World Conference on Factory Communication Systems (WFCS). Institute of Electrical and Electronics Engineers (IEEE), p. 1-8, 8 p., 7160555Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ClearVolume: Open-source live 3D visualization for light-sheet microscopyRoyer, L. A., Weigert, M., Günther, U., Maghelli, N., Jug, F., Sbalzarini, I. F. & Myers, E. W., 28 May 2015, In: Nature methods. 12, 6, p. 480-481, 2 p.Electronic (full-text) versionResearch output: Contribution to journal > Letter
• Beyond Scalable Error Isolation (Poster)Arnautov, S., Behrens, D., Serafini, M., Junqueira, F. P. & Fetzer, C., 1 May 2015, 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). Oakland, CA: USENIX AssociationResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution