FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Jürjens, Jan
Model-based Security Engineering: Run-time Assurance: Invited Talk2007
Jürjens, Jan
Model-based Security-Engineering (Invited Lecture)2007
Jürjens, Jan
Modellbasierte Entwicklung Sicherheitskritischer Systeme (Keynote)Software Engineering 2007. 2007
Schaarschmidt, Mario; von Kortzfleisch, Harald F. O.
Modularisierung als alternative Strategie für das Technologie- und InnovationsmanagementKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 2007 S. 1 - 42
Schaarschmidt, Mario; von Korflesch, Harald F. O.
Modularität als alternative Technologie- und InnovationsstrategieKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 2007 S. 38
Dillon, Tharam S.; Missikoff, Michele; Staab, Steffen
ODBASE 2007 PC Co-chairs’ MessageRobert Meersman; Zahir Tari (Hrsg). On the Move to Meaningful Internet Systems 2007 - CoopIS, DOA, ODBASE, GADA, and IS: OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I. Berlin: Springer 2007 S. 811 - 812
Silva Parreiras, Fernando; Staab, Steffen; Winter, Andreas
On Marrying Ontological and Metamodeling Technical SpacesIvica Crnkovic; Antonia Bertolino (Hrsg). Proceedings of the 6th joint meeting of the European Software Engineering Conference ESEC and the ACM SIGSOFT International Symposium on Foundations of Software Engineering FSE: Dubrovnik, Croatia; September 3-7, 2007. New York, NY: ACM Association for Computing Machinery 2007 S. 439 - 448
Sofronie-Stokkermans, Viorica
On unification for bounded distributive latticesACM Transactions on Computational Logic. Bd. 8. H. 2. New York, NY: ACM Association for Computing Machinery 2007 S. 12
Wimmer, Maria A.
Ontology for an e-Participation Virtual Resource CentreTomasz Janowski; Theresa A. Pardo (Hrsg). ICEGOV 2007: Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance; Macao, China; 10-13 December 2007. New York, NY: ACM Association for Computing Machinery 2007 S. 89 - 98
Kubias, Alexander; Schenk, Simon; Staab, Steffen et al.
OWL SAIQL - An OWL DL Query Language for Ontology ExtractionChristine Golbreich; Aditya Kalyanpur; Bijan Parsia (Hrsg). Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions: Innsbruck, Austria, June 6-7, 2007. Aachen: CEUR/RWTH 2007