FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Automated Reasoning in Some Local Extensions of Ordered StructuresYngvar Berg; Omid Mirmotahari (Hrsg). Proceedings of the 37th International Symposium on Multiple-Valued Logic ISMVL 2007; May 13 – 26, 2007; Oslo, Norway. Los Alamitos, CA: IEEE Computer Society 2007 S. 1
Jürjens, Jan
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie ProjectSeventh International Workshop on Automated Verification of Critical Systems (AVOCS 2007). Oxford. 2007
Sofronie-Stokkermans, Viorica
Automated theorem proving by resolution in non-classical logicsAnnals of Mathematics and Artificial Intelligence. Bd. 49. H. 1-4. Dordrecht: Springer 2007 S. 221 - 252
Bouattour, Sahla; Paulus, Dietrich
Automatic Extraction of quasi-Synchronous Views from Rotational Angiography Sequence without ECG-DataJoachim Hornegger (Hrsg). Proceedings of the 3rd Russian Bavarian Conference on Biomedical Engineering: At Friedrich Alexander University Erlangen-Nürnberg and Fraunhofer Institute for Integrated Circuits IIS, Erlangen, Bavaria, July 2 - 3, 2007. Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg, Technische Fakultät 2007 S. 42 - 46
Meletiadou, Anastasia; Hampe, J. Felix
Begriffsbestimmung und erwartete Trends im IT-Risk-Management: eine Delphi-StudieKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 2007 S. 42
Höhfeld, Alexander; Frey, Hannes; Sturm, Peter
Beispielapplikationen für die Pervasive UniversityRainer Koschke; Otthein Herzog; Karl-Heinz Rödiger; Marc Ronthaler (Hrsg). INFORMATIK 2007 - Informatik trifft Logistik, Band 1: Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI); September 24. - 27., 2007; Bremen. Bonn: Gesellschaft für Informatik 2007 S. 492 - 496
Wimmer, Maria A.
Beiträge der Wissenschaft zur erfolgreichen E-Government-UmsetzungAchim Zechner (Hrsg). Handbuch E-Government: Strategien, Lösungen und Wirtschaftlichkeit. Stuttgart: Fraunhofer IRB Verlag 2007 S. 79 - 91
Fislake, Martin; Hartmann, Elke; Hüttner, Andreas et al.
Bildungsstandards im Fach Technik für den mittleren SchulabschlussDüsseldorf: VDI 2007
Schubert, Petra
Business Software as a Facilitator for Business Process Excellence: Experiences from Case StudiesElectronic Markets. Bd. 17. H. 3. Heidelberg: Springer 2007 S. 187 - 198
Harbusch, Karin; Kempen, Gerard
Clausal Coordinate Ellipsis in German: The TIGER Treebank as a Source of EvidenceJoakim Nivre;Heiki-Jaan Kaalep;Kadri Muischnek;Mare Koit (Hrsg). Proceedings of the Sixteenth Nordic Conference of Computational Linguistics NODALIDA 2007: May 25. - 26., 2007; University of Tartu, Tartu, Estonia. Tartu: University of Tartu 2007 S. 81 - 88