Publikationen

2015

• Exploiting Repeated Structures and Vectorization in ModelicaSchuchart, J., Waurich, V., Flehmig, M., Walther, M., Nagel, W. E. & Gubsch, I., Sept. 2015, Proceeding of the 11th International Modelica Conference. S. 265-272, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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.06689Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Transactional IPC in Fiasco.OC - Can we get the multicore case verified for free?Smejkal, T., Lackorzynski, A., Engel, B. & Völp, M., 7 Juli 2015, Proceedings of OSPERT 2015, the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time ApplicationsPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the Computational Complexity of Naive-based Semantics for Abstract Dialectical FrameworksGaggl, S. A., Rudolph, S. & Straß, H., 1 Juli 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Yang, Q. & Wooldridge, M. (Hrsg.). AAAI Press, S. 2985-2991, 7 S., (AAAI Press)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Optimizing Query Prices for Data-as-a-ServiceOliveira, A. C., Fetzer, C., Martin, A., Quoc, D. L. & Spohn, M., 1 Juli 2015, IEEE BigData Congress 2015. IEEE Computer Society, Washington , 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PLIP: fully automated protein-ligand interaction profilerSalentin, S., Schreiber, S., Haupt, V. J., Adasme, M. F. & Schroeder, M., 1 Juli 2015, in: Nucleic Acids Research. 43, W1, S. W443–W447Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Scalable Network Traffic Classification Using Distributed Support Vector MachinesQuoc, D. L., D'Alessandro, V., Park, B., Romano, L. & Fetzer, C., 1 Juli 2015, 8th IEEE International Conference on Cloud Computing (CLOUD'15). IEEE Computer Society, Washington Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• UniCrawl: A Practical Geographically Distributed Web CrawlerQuoc, D. L., Fetzer, C., Fellber, P., Rivière, É., Schiavoni, V. & Sutra, P., 1 Juli 2015, 8th IEEE International Conference on Cloud Computing (CLOUD'15). IEEE Computer Society, Washington Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Adaptive Resource Sharing in MulticoresLampka, K., Flodin, J., Wang, Y. & Lackorzynski, A., Juli 2015, Proceedings of OSPERT 2015, the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time ApplicationsPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Extracting ALEQR(Self)-Knowledge Bases from GraphsKriegel, F., 25 Juni 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. (Hrsg.). CEUR-WS.org, Band 1534Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept AnalysisKriegel, F., 7 Juni 2015, Proceedings of the 28th International Workshop on Description Logics (DL 2015), Athens, Greece. Calvanese, D. & Konev, B. (Hrsg.). CEUR-WS.org, Band 1350. S. 452-464, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A hybrid particle-mesh method for incompressible active polar viscous gelsRamaswamy, R., Bourantas, G., Jülicher, F. & Sbalzarini, I. F., 5 Juni 2015, in: Journal of computational physics. 291, S. 334-361, 28 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Delta-encoding: Practical Encoded ProcessingKuvaiskii, D. & Fetzer, C., 1 Juni 2015, Proceedings of The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015). IEEE Computer Society, Washington , 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• User-Constraint and Self-Adaptive Fault Tolerance for Event Stream Processing SystemsMartin, A., Smaneoto, T., Dietze, T., Brito, A. & Fetzer, C., 1 Juni 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 , S. 462-473, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• An adaptive replication scheme for elastic data stream processing systemsHeinze, T., Zia, M., Krahn, R., Jerzak, Z. & Fetzer, C., Juni 2015, S. 150-161, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• A reference architecture for condition monitoringWollschlaeger, M., Theurich, S., Winter, A., Lubnau, F. & Paulitsch, C., 29 Mai 2015, 2015 IEEE World Conference on Factory Communication Systems (WFCS). IEEE, S. 1-8, 8 S., 7160555Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 Mai 2015, in: Nature methods. 12, 6, S. 480-481, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Kurzartikel (Letter) / Leserbrief mit Originaldaten
• Beyond Scalable Error Isolation (Poster)Arnautov, S., Behrens, D., Serafini, M., Junqueira, F. P. & Fetzer, C., 1 Mai 2015, 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). Oakland, CA: USENIX AssociationPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Scalable Error Isolation for Distributed SystemsBehrens, D., Serafini, M., Junqueira, F. P., Arnautov, S. & Fetzer, C., 1 Mai 2015, 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). Oakland, CA: USENIX Association, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Multi/many-core programming: Where are we standing?Castrillon, J., Sheng, W., Jessenberger, R., Thiele, L., Schorr, L., Juurlink, B., Alvarez-Mesa, M. & 3 weitere, 22 April 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Grenoble: IEEE Xplore, S. 1708-1717, 10 S., 7092667Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Integrating churn into the formal analysis of routing algorithmsRoos, S., Nguyen, G. T. & Strufe, T., 17 April 2015, Proceedings - International Conference on Networked Systems, NetSys 2015. Institute of Electrical and Electronics Engineers Inc., 7089070Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• An optimal allocation of memory buffers for complex multicore platformsGoens, A., Castrillon, J., Odendahl, M. & Leupers, R., 20 März 2015, in: Journal of Systems Architecture. 66-67, S. 69-83, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Between All and Nothing -- Versatile Aborts in Hardware Transactional MemoryDiestelhorst, S., Nowack, M., Spear, M. & Fetzer, C., 1 März 2015, TRANSACT 15. Houston, TX, USA: ACM New York, NY, USAElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Methods for Solving Reasoning Problems in Abstract Argumentation textendash A SurveyCharwat, G., Dvořák, W., Gaggl, S. A., Wallner, J. P. & Woltran, S., 1 März 2015, in: Artificial intelligence. 220, 0, S. 28-63, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Holistic Ontology-Based Assistance System for Efficient Process Model Parameter IdentificationHensel, B., Wagner, T., Gellrich, A., Kabitzsch, K. & Kauschinger, B., 23 Feb. 2015, in: Journal of Computational EngineeringElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel