Publications

2016

• Presenting business data: Challenges during board meetings in multi-display environmentsHorak, T., Kister, U. & Dachselt, R., 6 Nov 2016, Proceedings of the 2016 ACM International Conference on Interactive Surfaces and Spaces: Nature Meets Interactive Surfaces, ISS 2016. Association for Computing Machinery, Inc, p. 319-324, 6 p., 2996774Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Slicing the aurora: An immersive proxemics-aware visualizationLay, S., Vermeulen, J., Perin, C., Donovan, E., Dachselt, R. & Carpendale, S., 6 Nov 2016, Companion Proceedings of the 2016 ACM International Conference on Interactive Surfaces and Spaces: Nature Meets Interactive Surfaces, ISS 2016. Association for Computing Machinery, Inc, p. 91-97, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Leakage aware resource management approach with machine learning optimization framework for partially reconfigurable architecturesPham, N. K., Kumar, A., Singh, A. K. & Khin, M. M. A., 1 Nov 2016, In: Microprocessors and microsystems. 47, p. 231-243, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• SCONE: Secure Linux Containers with Intel SGXArnautov, S., Trach, B., Gregor, F., Knauth, T., Martin, A., Priebe, C., Lind, J. & 1 others, Nov 2016, p.  689–703Research output: Contribution to conferences > Paper
• Cross-layer fault-tolerant design of real-time systemsSahoo, S. S., Veeravalli, B. & Kumar, A., 25 Oct 2016, 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT 2016. IEEE, New York [u. a.], p. 63-68, 6 p., 7684071Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Elastomer based electrically tunable, optical microcavitiesSlowik, I., Kronenberg, N. M., Franke, M., Fischer, A., Richter, A., Gather, M. C. & Leo, K., 24 Oct 2016, In: Applied physics letters. 109, 17, 171104 Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Guest editorial: Special issue on virtual prototyping of parallel and embedded systems (ViPES)Castrillon, J. & Silvano, C., Oct 2016, In: ACM transactions on embedded computing systems. 16, 1, 2Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• ParaFRo: A hybrid parallel FPGA router using fine grained synchronization and partitioningHoo, C. H., Ha, Y. & Kumar, A., 26 Sep 2016, 2016 - 26th International Conference on Field-Programmable Logic and Applications. IEEE Xplore, 11 p., 7577299Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• XNoC: A non-intrusive TDM circuit-switched Network-on-ChipNguyen, T. D. & Kumar, A., 26 Sep 2016, 2016 - 26th International Conference on Field-Programmable Logic and Applications. IEEE Xplore, 11 p., 7577378Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Using DC PSE operator discretization in Eulerian meshless collocation methods improves their robustness in complex geometriesBourantas, G. C., Cheeseman, B. L., Ramaswamy, R. & Sbalzarini, I. F., 10 Sep 2016, In: Computers and Fluids. 136, p. 285-300, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Fixed-Domain Reasoning for Description LogicsGaggl, S. A., Rudolph, S. & Schweizer, L., 1 Sep 2016, Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016). Kaminka, G. A., Fox, M., Bouquet, P., Hüllermeier, E., Dignum, V., Dignum, F. & Harmelen, F. V. (eds.). IOS Press, Amsterdam [u. a.], Vol. 285. p. 819 - 827, (Frontiers in Artificial Intelligence and Applications)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Intertranslatability of Labeling-based Argumentation SemanticsGaggl, S. A. & Mushtaq, U., 1 Sep 2016, Proceedings of the 10th International Conference on Scalable Uncertainty Management (SUM 2016). Schockaert, S. & Senellart, P. (eds.). Springer, Berlin [u. a.], Vol. 9858. p. 155-169, 15 p., (Lecture Notes in Computer Science)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Introducing the Second International Competition on Computational Models of ArgumentationGaggl, S. A., Linsbichler, T., Maratea, M. & Woltran, S., 1 Sep 2016, Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016). Thimm, M., Cerutti, F., Strass, H. & Vallati, M. (eds.). CEUR-WS, Vol. 1672. p. 4-9, 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Revisiting Grounded Circumscription in Description LogicsDelivorias, S. & Rudolph, S., 1 Sep 2016, Web Reasoning and Rule Systems. Ortiz, M. & Schlobach, S. (eds.). Springer, Berlin [u. a.], p. 46-60, 15 p., (LNCS)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Axiomatization of General Concept Inclusions from Streams of Interpretations with Optional Error ToleranceKriegel, F., 30 Aug 2016, Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2016) co-located with the European Conference on Artificial Intelligence (ECAI 2016), The Hague, The Netherlands. Kuznetsov, S., Napoli, A. & Rudolph, S. (eds.). CEUR-WS.org, Vol. 1703. p. 9-16, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Automatic optimal filament segmentation with sub-pixel accuracy using generalized linear models and B-spline level-setsXiao, X., Geyer, V. F., Bowne-Anderson, H., Howard, J. & Sbalzarini, I. F., 1 Aug 2016, In:  Medical image analysis : MedIA ; an international journal of computer vision, visualization and image- guided intervention in medicine. 32, p. 157-172, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• On the Correspondence between Compositional Matrix-Space Models of Language andWeighted AutomataAsaadi, S. & Rudolph, S., 1 Aug 2016, Proceedings of the ACL Workshop on Statistical Natural Language Processing and Weighted Automata (StatFSM 2016)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Stage semantics and the SCC-recursive schema for argumentation semanticsDvořák, W. & Gaggl, S. A., 1 Aug 2016, In: Journal of logic and computation. 26, 4, p. 1149-1202, 54 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Analysis and Mapping for Thermal and Energy Efficiency of 3-D Video Processing on 3-D Multicore ProcessorsSingh, A. K., Shafique, M., Kumar, A. & Henkel, J., Aug 2016, In: IEEE transactions on very large scale integration (VLSI) systems. 24, 8, p. 2745-2758, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• SWAP: Protecting pull-based P2P video streaming systems from inference attacksNguyen, G., Roos, S., Schiller, B. & Strufe, T., 26 Jul 2016, WoWMoM 2016 - 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks. Institute of Electrical and Electronics Engineers Inc., 7523509Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• NextClosures with ConstraintsKriegel, F., 18 Jul 2016, Proceedings of the 13th International Conference on Concept Lattices and Their Applications (CLA 2016), Moscow, Russia. Huchard, M. & Kuznetsov, S. (eds.). CEUR-WS.org, Vol. 1624. p. 231-243, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• X: A Comprehensive Analytic Model for Parallel MachinesLi, A., Song, S. L., Brugel, E., Kumar, A., Chavarria-Miranda, D. & Corporaal, H., 18 Jul 2016, Proceedings - 2016 IEEE 30th International Parallel and Distributed Processing Symposium, IPDPS 2016. IEEE, New York [u. a.], p. 242-252, 11 p., 7516020Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Axiomatisation of General Concept Inclusions from Finite InterpretationsBorchmann, D., Distel, F. & Kriegel, F., 10 Jul 2016, In: Journal of applied non-classical logics. 26, 1, p. 1-46, 46 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Parallel Attribute ExplorationKriegel, F., 5 Jul 2016, Graph-Based Representation and Reasoning. Haemmerlé, O., Stapleton, G. & Faron-Zucker, C. (eds.). Springer, Berlin [u. a.], p. 91-106, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Enabling Situation Awareness at Intersections for IVC Congestion Control MechanismsJoerer, S., Bloessl, B., Segata, M., Sommer, C., Lo Cigno, R., Jamalipour, A. & Dressler, F., 1 Jul 2016, In: IEEE Transactions on Mobile ComputingElectronic (full-text) versionResearch output: Contribution to journal > Research article