FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Kaack, Heino; Troitzsch, Klaus G.
Jungwählerverhalten in Hamburg. Ergebnisse einer Hamburger Umfrage und Repräsentativstatistiken aus anderen BundesländernAus Politik und Zeitgeschichte. Beilage zur Wochenzeitung Das Parlament. Bd. 70. H. B50. 1970 1
Münzenmayer, Christian; Paulus, Dietrich; Wittenberg, Thomas
A spectral color correction framework for medical applicationsIEEE Transactions on Biomedical Engineering. Bd. 53(2), 2006. S. 254 - 265
Bartliff, Zoe; Kim, Yunhyong; Hopfgartner, Frank
A survey on email visualisation research to address the conflict between privacy and accessARCHIVAL SCIENCE.
Marincowitz, Carl; Stone, Tony; Bath, Peter et al.
Accuracy of telephone triage for predicting adverse outcomes in suspected COVID-19: an observational cohort studyBMJ QUALITY & SAFETY.
Sadi, Muhammad Sheikh; Mizanur, Rahman Khan; Uddin, Md. Nazim et al.
An Efficient Approach towards Mitigating Soft Errors RisksCoRR. S. 1 - 18
Wittenberg, Thomas; Münzenmayer, Christian; Hirsch, Annika et al.
Case Based Reasoning based on Content-Based Image Retrieval ApproachesProc's of the BMT 2006. Berlin, 2006: Gruyer Verlag Berlin, 2006
Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.
Comparing Bug Finding Tools with Reviews and TestsCoRR. S. 1 - 16
Jürjens, Jan; Fernández, Eduardo B.; France, Robert B. et al.
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)CoRR. S. 1 - 9
Paulus, Dietrich; Dickscheid, Timo; Berg, Klaus-Dieter
Design of an Image Analysis SystemIEEE Computer Society, 2005 (Hrsg). DI GESU, V. Palermo. Palermo
Koehler, Hildegard; Wittenberg, Thomas; Paulus, Dietrich
Detection and Segmentation of cervical cell nuclei.Schiele und Schön (Hrsg). Biomedizinische Technik. Bd. Band 50. Berlin, 2005. Berlin, 2005 S. 588 - 589
Münzenmayer, Christian; Hirsch, Annika; Paulus, Dietrich et al.
Diagnostic Reasoning supported by Content-Based Image Retrieval.Dietrich Paulus, Detelv Droege, 2005 (Hrsg). Mixed-reality as a challenge to image understanding and artificial intelligence. Koblenz. Koblenz S. 19 - 26
Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic ExecutionCoRR. S. 1 - 29
Balthasar, D.; Priese, L.; Kasturi, R. et al.
Fast Projection Plane ClassifierIn Proceedings 16th International Conference on Pattern Recognition (ICPR 2002), 11-15 August 2002, Quebec City, Canada. Bd. In Proceedings 16th International Conference on Pattern Recognition (ICPR 2002), 11-15 August 2002, Quebec City, Canada. IEEE Computer Society Press, Vol. 2 S. 200-203
Wald, Diana; Reeff, Mireille; Székely, Gàbor et al.
Fließende Überblendung von Endoskopiebildern für die Erstellung eines MosaiksSpringer (Hrsg). Bildverarbeitung für die Medizin 2005. Berlin, Heidelberg, New York, 2005: Springer Berlin, Heidelberg, New York, 2005 S. 287 - 291
Droege, Detlev; Fritzer, Fabian; Paulus, Dietrich
Gaze tracking using a webcam (poster, abstract)University of Bern (Hrsg). Proc. Thirteenth European Confernece on Eye Movements ECEM13, 2005. Bern. Bern S. 130
Schmidt, Clemens; Schneider, Christian; Schueler, Bernhard et al.
Knowledge-Based Image Analysis Applied to Ornaments in ArtsMixed-reality as a challenge to image understanding and artificial intelligence. Koblenz, 2005. Koblenz, 2005 S. 8 - 18
Schmidt, Clemens; Schneider, Christian; Paulus, Dietrich
Knowledge-Based Image Analysis Applied to Ornaments in ArtsThe Institution of Engineering and Technology (Hrsg). Visual Media Production (CVMP 2006). London, 2006. London, 2006 S. 97 - 105
Zerfass, Thorsten; Mues-Hinterwäller, S.; Paulus, Dietrich et al.
Live-Wire Segmentierung für hochaufgelöste Farbbilder mit optimierter GraphensucheHamburg, 2006: Springer Verlag Hamburg, 2006
Baumgartner, P.; Furbach, U.; Gross - Hardt, M.
Living Books
Pellenz, Johannes; Delis, Christian; Mihailidis, Ioannis et al.
Low-Cost 3D-Saserscanner für mobile Systeme im RoboCup Rescue Wettbewerb9. Anwendungsbezogener Workshop zur Erfassung, Modellierung, Verarbeitung und Auswertung von 3D-Daten, 2006. Bd. 3D-NordOst 2006. S. 53 - 59
Hampe, Felix; Hampe, J. - F.; Ryan, T. et al.
M-Government: Status Quo and Perspectives
Baumgartner, P.; Furbach, U.; Thomas, B.
Model based deduction for knowledge representation17. WLP - Workshop Logische Programmierung.
Jürjens, Jan
Model-based Security-Engineering (Invited Lecture)Eingeladener Vortrag in der Ringvorlesung ‘‘Standort Internet"Invited talk in the colloquium. Institut für Informatik und Gesellschaft, Abt. Telematik, Universität Freiburg, Nov. 2005 eingeladen vonon invitation of Prof. Dr. Günter Müller
Baumgartner, P.; Furbach, U.
Refinements for Restart Model Elimination
Memmesheimer, Raphael; Kramer, Ivanna; Seib, Viktor et al.
Simitate: A Hybrid Imitation Learning Benchmark2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE S. 1 - 7