Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

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

Bjørner, Nikolaj; Sofronie-Stokkermans, Viorica

Preface: Special Issue of Selected Extended Papers of CADE-23

Journal of Automated Reasoning. Bd. 51. H. 1. Dordrecht: Springer 2013 S. 1 - 2


Kunegis, Jérôme; Blattner, Marcel; Moser, Christine

Preferential attachment in online networks: measurement and explanations

Hugh Davis; Harry Halpin; Alex Pentland; Mark Bernstein; Lada Adamic; Harith Alani; Alexandre Monnin; Richard Rogers (Hrsg). Proceedings of the 5th Annual ACM Web Science Conference: WebSci '13; May 2 - 4, 2013; Paris France. New York, NY: ACM Association for Computing Machinery 2013 S. 205 - 214


Schaeffer-Filho, Alberto E.; Mauthe, Andreas; Hutchison, David et al.

PReSET: A toolset for the evaluation of network resilience strategies

Filip De Turck;Yixin Diao;Choong Seon Hong;Deep Medhi;Ramin Sadre (Hrsg). Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management IM 2013: May 27-31, 2013; Ghent, Belgium. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2013 S. 202 - 209


Häselich, Marcel; Arends, Marc; Wojke, Nicolai et al.

Probabilistic terrain classification in unstructured environments

Robotics and Autonomous Systems. Bd. 61. H. 10. Amsterdam: Elsevier 2013 S. 1051 - 1059


Cerqueira, Eduardo; Mauthe, Andreas; Curado, Marília et al.

Proceedings of the 2013 ACM SIGCOMM Workshop on Future Human-Centric Multimedia Networking FhMN 2013: August 16, 2013; Hong Kong, China

New York, NY: ACM Association for Computing Machinery 2013


Tavakolifard, Mozhgan; Hopfgartner, Frank; Gulla, Jon Atle et al.

Proceedings of the International News Recommender Systems Workshop and Challenge NRS 2013: Kowloon Hong Kong; 13 October, 2013

New York, NY: ACM Association for Computing Machinery 2013




Hopfgartner, Frank; Kay, Judy; Kummerfeld, Bob et al.

Proceedings of the Second International Workshop on Lifelong User Modelling LLUM 2013: Rome, Italy, June 10-14, 2013

Aachen: CEUR/RWTH 2013


Ren, Yuan; Gröner, Gerd; Lemcke, Jens et al.

Process Refinement Validation and Explanation with Ontology Reasoning

Samik Basu; Cesare Pautasso; Liang Zhang; Xiang Fu (Hrsg). Service-Oriented Computing: 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings. Berlin: Springer 2013 S. 515 - 523