FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Loukis, Euripides; Wimmer, Maria A.; Charalabidis, Yannis et al.
Argumentation Systems and Ontologies for Enhancing Public Participation in the Legislation ProcessAke Grönlund;Hans Jochen Scholl;Maria A. Wimmer (Hrsg). Electronic Government: 6th International EGOV Conference; Proceedings of ongoing Research, Project Contributions and Workshops; September 3 - 6, 2007, Regensburg, Germany. Linz: Trauner 2007 S. 19 - 28
Kunegis, Jérôme; Lommatzsch, Andreas; Mehlitz, Martin et al.
Assessing the Value of Unrated Items in Collaborative FilteringYouakim Badr (Hrsg). Proceedings of the Second IEEE International Conference on Digital Information Management ICDIM 2007: October 28th - October 31st 2007; INSA de Lyon, Lyon, France. Los Alamitos, CA: IEEE Computer Society 2007 S. 212 - 216
Zöbel, Dieter; Weyand, Christian
Augmenting sensitivity analysis for embedded applications by program level derivation of process parametersLuis Gomes; Eric Dekneuvel; João Paulo Barros (Hrsg). 2007 Symposium on Industrial Embedded Systems Proceedings: Hotel Costa da Caparica, Lisbon, Portugal; 4-6 July 2007. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2007 S. 17 - 24
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Automated Reasoning in Some Local Extensions of Ordered StructuresJournal of Multiple-Valued Logic and Soft Computing. Bd. 13. H. 4-6. Philadelphia, PA: Old City Publishing 2007 S. 397 - 414
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