Publikationen

2010

• XML in der Automation - Systematisches SprachdesignWollschlaeger, M., Lindemann, L., Runde, S. & Mühlhause, M., 2010, S. 19-27, 9 S.Publikation: Beitrag zu Konferenzen > Paper

2009

• RDF syntax normalization using XML validationVrandečić, D., Dengler, F., Rudolph, S. & Erdmann, M., 1 Okt. 2009, Proceedings of the Workshop Semantics for the Rest of Us at ISWC2009. Kagal, L., Lassila, O. & Finin, T. (Hrsg.). CEUR-WSPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Refining Ontologies by Pattern-Based CompletionNikitina, N., Rudolph, S. & Blohm, S., 1 Okt. 2009, Proceedings of the Workshop on Ontology Patterns (WOP 2009). Blomqvist, E., Sandkuhl, K., Scharffe, F. & Svatek, V. (Hrsg.). CEUR-WS.org, Band 516Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Energieeffizientes routing in linearen sensornetzwerkenZimmerling, M., Okt. 2009, in: Informatik-Spektrum. 32, 5, S. 410-415, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Effective algorithm for parameter back calculation - Geotechnical applicationsMeier, J., Rudolph, S. & Schanz, T., 1 Aug. 2009, in: Bautechnik. 86, S1, S. 86-97, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Conjunctive Query Entailment: Decidable in Spite of O, I, and QGlimm, B. & Rudolph, S., 1 Juli 2009, Proceedings of the DL Workshop 2009, Oxford, UK. Cuenca-Grau, B., Horrocks, I., Motik, B. & Sattler, U. (Hrsg.). CEUR Workshop Proceedings, Band 477Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Symbolic model checking for channel-based component connectorsKlüppelholz, S. & Baier, C., 1 Juli 2009, in: Science of Computer Programming. 74, 9, S. 688-701, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• ICT-eMuCo. An Innovative Solution for Future Smart Phones.Lackorzynski, A., Gonzalez, M. E., Bilgic, A., Tudor, D., Matús, E. & Badr, I., Juli 2009, IEEE International Conference on Multimedia and Expo (ICME 2009). New York, NY, USAElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tempus Fugit - Towards an Ontology Update LanguageLösch, U., Rudolph, S., Vrandečić, D. & Studer, R., 1 Juni 2009, 6th European Semantic Web Conference (ESWC 09). al., L. A. E. (Hrsg.). Springer Verlag, Band 5554. S. 278-292, 15 S., (Lecture Notes on Computer Science)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Lexico-Logical Approach to Ontology EngineeringRudolph, S. & Völker, J., 1 Mai 2009, Conceptual Structures in Practice. Hitzler, P. & Schärfe, H. (Hrsg.). Chapman Hall/CRC, S. 225-244, 20 S., (Studies in Informatics)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) DataTran, D. T., Wang, H., Rudolph, S. & Cimiano, P., 1 März 2009, Proceedings of the 25th International Conference on Data Engineering (ICDE'09)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Taming Subsystems: Capabilities as Universal Resource Access Control in L4Lackorzynski, A. & Warg, A., März 2009, Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, Eurosys affiliated workshop. ACM Press, S. 25-30, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's AxiomsBaader, F., Peñaloza, R. & Knechtel, M., 2009, The Semantic Web - ISWC 2009, 8th International Semantic Web Conference. Springer, Berlin [u. a.], S. 49-64Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Matter of Principles: Towards the Largest DLP PossibleKrötzsch, M. & Rudolph, S., 2009, International Workshop on Description LogicsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• AN-Encoding Compiler: Building Safety-Critical Systems with Commodity HardwareSchiffel, U., Süßkraut, M. & Fetzer, C., 2009, S. 283-296, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Aspekte des Engineering eines netwerkzentrierten Plant Asset Management SystemsHahn, C., Bens, S., Theurich, S., Frenzel, R. & Wollschlaeger, M., 2009, S. 61-64, 4 S.Publikation: Beitrag zu Konferenzen > Paper
• Aspekte des Engineerings eines netzwerkzentrierten Plant Asset Management SystemsHahn, C., Bens, S., Theurich, S., Frenzel, R. & Wollschlaeger, M., 2009, AUTOMATION 2009 - Der Automatisierungskongress in Deutschland. 2067 Aufl., VDI Verlag, Düsseldorf, S. 61-64, 4 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Assertion-Driven Development: Assessing the Quality of Contracts using Meta-MutationsKnauth, T., Fetzer, C. & Felber, P., 2009, S. 182-191, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• A tunable real-world multi-funnel benchmark problem for evolutionary optimization: And why parallel island models might remedy the failure of CMA-ES on itMüller, C. L. & Sbalzarini, I. F., 2009, IJCCI 2009 - International Joint Conference on Computational Intelligence, Proceedings. Dourado, A., Rosa , A. & Madani, K. (Hrsg.). SCITEPRESS - Science and Technology Publications, S. 248-253, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A uniform framework for modeling and verifying components and connectorsBaier, C., Blechmann, T., Klein, J. & Klüppelholz, S., 2009, Coordination Models and Languages - 11th International Conference, COORDINATION 2009, Proceedings. S. 247-267, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Braindump – Konzept eines visuellen Systems für das Wissensmanagement am Beispiel der Verwaltung von InternetquellenGroh, R., Brade, M. & Lamack, F., 2009Publikation: Beitrag zu Konferenzen > Paper
• Challenges in software product line compositionSchirmeier, H. & Spinczyk, O., 2009, Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS. 4755817Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Comparing Cache Architectures and Coherency Protocols on x86-64 Multicore SMP SystemsHackenberg, D., Molka, D. & Nagel, W. E., 2009, 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO). ACM Press, S. 413-422, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Constraints Modeling in Agricultural DatabasesPinet, F., Duboisset, M., Demuth, B., Schneider, M., Soulignac, V. & Barnabé, F., 2009Publikation: Beitrag zu Konferenzen > Paper
• Data retention and anonymity services: Introducing a new class of realistic adversary modelsBerthold, S., Böhme, R. & Köpsell, S., 2009, The Future of Identity in the Information Society - 4th IFIP WG 9.2, 9.6/11.6, 11.7/ FIDIS International Summer School, Revised Selected Papers. Matyas, V., Svenda, P., Fischer-Hubner, S. & Cvrcek, D. (Hrsg.). Springer Verlag, New York, S. 92-106, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband