Publications

2011

• Wahrnehmungsrealismus – Aspekte der menschlich-visuellen Kompetenz und deren Bedeutung für computergrafische interaktive AnwendungenFranke, I. S., 2011Research output: Contribution to conferences > Paper
• Wahrnehmungsrealistische Darstellung von AvatarenZavesky, M., Wojdziak, J., Kusch, K., Wuttig, D., Franke, I. S. & Groh, R., 2011, Wieder mehr Sehen! - Aktuelle Einblicke in die Technische VisualistikResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• What´s new in Description LogicsBaader, F., 2011, In:  Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. 34, 5, p. 434-442, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Wieder mehr Sehen! - Aktuelle Einblicke in die Technische VisualistikGroh, R., Wojdziak, J., Kammer, D., Zavesky, M., Münch, T., Ebner, T., Franke, I. S. & 16 others, 2011, Neuerscheinung ed., Dresden, 146 p., (Aktuelle Einblicke in die Technische Visualistik)Research output: Book/Report/Anthology > Monograph
• Zauberschule Informatik – Einblick in die Welt der Informatik für Kinder im GrundschulalterBergner, N., Leonhardt, T. & Schroeder, U., 2011, Informatik mit Kopf, Herz und Hand. ZfL-Verlag, p. 132-141, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2010

• Integrated Metamodeling and Diagnosis in OWL 2Glimm, B., Rudolph, S. & Völker, J., 1 Nov 2010, Proceedings of the 9th International Semantic Web Conference. Patel-Schneider, P. F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J. Z., Horrocks, I. & Glimm, B. (eds.). Springer, Berlin [u. a.], p. 257-272, 16 p., (LNCS)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• COACH: Collaborative accessibility approach in mobile navigation system for the visually impairedZeng, L. & Weber, G., 5 Oct 2010, GeNeMe 2010 - Gemeinschaften in Neuen Medien. p. 183 -192Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ARM TrustZone as a Virtualization Technique in Embedded SystemsLackorzynski, A., Frenzel, T., Härtig, H. & Warg, A., Oct 2010, Proceedings of Twelfth Real-Time Linux Workshop. Nairobe, KenyaResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Generic Virtualization with Virtual ProcessorsLackorzynski, A., Warg, A. & Peter, M., Oct 2010, Proceedings of Twelfth Real-Time Linux Workshop. Nairobi, KenyaResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Rule-Based Language for Complex Event Processing and ReasoningAnicic, D., Fodor, P., Rudolph, S., Stühmer, R., Stojanovic, N. & Studer, R., 1 Sep 2010, Web Reasoning and Rule Systems - Fourth International Conference. Hitzler, P. & Lukasiewicz, T. (eds.). Springer, Berlin [u. a.], p. 42-57, 16 p., (LNCS)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• cf2 Semantics RevisitedGaggl, S. A. & Woltran, S., 1 Sep 2010, Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010). Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (eds.). IOS Press, Amsterdam [u. a.], Vol. 216. p. 243-254, 12 p., (Frontiers in Artificial Intelligence and Applications)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Non-intrusive Performance Analysis of Parallel Hardware Accelerated Applications on Hybrid ArchitecturesDietrich, R., Ilsche, T. & Juckeland, G., 1 Sep 2010, 2010 39th International Conference on Parallel Processing Workshops. Wiley-IEEE Press, p. 135-143, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic NetworksWojtinnek, P., Harrington, B., Rudolph, S. & Pulman, S., 1 Jul 2010, Conceptual Structures: From Information to Intelligence . Croitoru, M., Ferré, S. & Lukose, D. (eds.). Springer, Berlin [u. a.], Vol. 6208. p. 203-206, 4 p., (LNCS)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards a General Argumentation System based on Answer-Set ProgrammingGaggl, S. A., 1 Jul 2010, Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010). Hermenegildo, M. V. & Schaub, T. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 7. p. 265-269, 5 p., (LIPIcs)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the feasibility of UMTS-based Traffic Information SystemsSommer, C., Schmidt, A., Chen, Y., German, R., Koch, W. & Dressler, F., Jul 2010, In: Ad Hoc Networks. 8, 5, p. 506-517, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Status QIO: Conjunctive Query Entailment is DecidableGlimm, B. & Rudolph, S., 1 May 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10). Lin, F., Sattler, U. & Truszczynski, M. (eds.). AAAI Press, p. 225-235, 11 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2Ortiz, M., Rudolph, S. & Simkus, M., 1 May 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10). Lin, F., Sattler, U. & Truszczynski, M. (eds.). AAAI Press, p. 269-279, 11 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Decentralized Traffic Information Systems and Adaptive Rerouting in Urban ScenariosSommer, C., German, R. & Dressler, F., 1 Mar 2010, 29th IEEE Conference on Computer Communications (INFOCOM 2010), Demo Session. San Diego, CA: IEEEResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Improving the Accuracy of IVC Simulation Using Crowd-sourced GeodataSommer, C., Eckhoff, D. & Dressler, F., Jan 2010, In: Praxis der Informationsverarbeitung und Kommunikation : PIK : Fachzeitschrift für den Einsatz von InformationssystemenElectronic (full-text) versionResearch output: Contribution to journal > Research article
• A Compiler Framework for Speculative ParallelizationSüßkraut, M., Knauth, T., Weigert, S., Schiffel, U., Meinhold, M. & Fetzer, C., 2010, p. 131-140, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Adding Causal Relationships to DL-based Action FormalismsBaader, F., Lippmann, M. & Liu, H., 2010, LTCS-Report 10-01Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• A Feature Model for an IDE4OCLChimiak-Opoka, J. & Demuth, B., 2010Research output: Contribution to conferences > Paper
• Analysis of Internal Logistic Systems based on Event LogsVasyutynskyy, V., Gellrich, A., Kabitzsch, K. & Wustmann, D., 2010, p. 13-16, 4 p.Research output: Contribution to conferences > Paper
• Analysis of Internal Logistic Systems based on Event Logs - Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory AutomationWustmann, D., Gellrich, A., Kabitzsch, K. & VASYUTYNSKYY, V., 2010, p. 13-16, 4 p.Research output: Contribution to conferences > Paper
• ANB- and ANBDmem-Encoding: Detecting Hardware Errors in SoftwareSchiffel, U., Schmitt, A., Süßkraut, M. & Fetzer, C., 2010, p. 169-182, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper