Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
Ergebnisse pro Seite:  10


Walk, Simon; Helic, Denis; Geigl, Florian et al.

Activity Dynamics in Collaboration Networks

CoRR. S. 1 - 52


Sadi, Muhammad Sheikh; Mizanur, Rahman Khan; Uddin, Md. Nazim et al.

An Efficient Approach towards Mitigating Soft Errors Risks

CoRR. S. 1 - 18



Geigl, Florian; Lerman, Kristina; Walk, Simon et al.

Assessing the Navigational Effects of Click Biases and Link Insertion on the Web

CoRR. S. 1 - 11


Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder

Automated Reasoning for Robot Ethics

CoRR. S. 1 - 5


Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.

Automatic Verification of Parametric Specifications with Complex Topologies

CoRR. S. 1 - 16


Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder

Cognitive Systems and Question Answering

CoRR. S. 1 - 7


Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.

Comparing Bug Finding Tools with Reviews and Tests

CoRR. S. 1 - 16