Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Horbach, Matthias; Sofronie-Stokkermans, Viorica
Obtaining Finite Local Theory Axiomatizations via SaturationPascal Fontaine; Christophe Ringeissen; Renate A. Schmidt (Hrsg). Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Berlin: Springer 2013 S. 198 - 213
Becker, Stefan; Hück, Benjamin; Naujokat, Katharina et al.
ODRL 2.0 RevisitedMatthias Horbach (Hrsg). INFORMATIK 2013 - Informatik angepasst an Mensch, Organisation und Umwelt: 43. Jahrestagung der Gesellschaft für Informatik e. V. (GI); September 16. - 20., 2013; Koblenz. Bonn: Gesellschaft für Informatik 2013 S. 3081 - 3095
Sofronie-Stokkermans, Viorica
On Combinations of Local Theory ExtensionsAndrei Voronkov; Christoph Weidenbach (Hrsg). Programming Logics: Essays in Memory of Harald Ganzinger. Berlin: Springer 2013 S. 392 - 413
Autenrieth, Marcus; Frey, Hannes
On Greedy Routing in Degree-Bounded Graphs over d-Dimensional Internet Coordinate EmbeddingsKurt Rothermel; Andreas Kirstädter; Joachim Charzinski; Florian Berg (Hrsg). Proceedings of the International Conference on Networked Systems: NetSys 2013; 11-15 March, 2013; Stuttgart; Germany. Piscataway, NJ: IEEE Computer Society 2013 S. 126 - 131
Autenrieth, Marcus; Frey, Hannes
On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate EmbeddingsJuan E. Guerrero (Hrsg). Proceedings 2013 Conference on Networked Systems: Netsys 2013; 11-15 March 2013; Stuttgart, Germany. Los Alamitos, CA: IEEE Computer Society 2013 S. 126 - 131
Humberg, Thorsten; Wessel, Christian; Poggenpohl, Daniel et al.
Ontology-based Analysis of Compliance and Regulatory Requirements of Business ProcessesFrédéric Desprez; Donald Ferguson; Ethan Hadar; Frank Leymann; Matthias Jarke; Markus Helfert (Hrsg). Proceedings of the 3rd International Conference on Cloud Computing and Services Science CLOSER 2013; Aachen, Germany; 8- 10 May, 2013. Setúbal: SciTePress 2013 S. 553 - 561
Neumann, Florentin; Frey, Hannes
Path Properties and Improvements of Sweep Circle TraversalsKai Lin; Heng Qi; Keqiu Li; Ivan Stojmenovic; Albert Zomaya; Hongyi Wu; Song Guo; Symeon Papavassiliou (Hrsg). Proceedings of the 2013 IEEE Ninth International Conference on Mobile Ad-hoc and Sensor Networks: MSN 2013; Dalian, Liaoning, China; 11-13 December 2013. Los Alamitos, CA: IEEE Computer Society 2013 S. 101 - 108
Meder, Michael; Plumbaum, Till; Hopfgartner, Frank
Perceived and Actual Role of Gamification PrinciplesRajkumar Buyya;Alexander Schill;Josef Spillner;Omer Rana;Manish Parashar (Hrsg). IEEE/ACM 6th International Conference on Utility and Cloud Computing, UCC 2013, Dresden, Germany, December 9-12, 2013. Los Alamitos, CA: IEEE Computer Society 2013 S. 488 - 493
Bjørner, Nikolaj; Sofronie-Stokkermans, Viorica
Preface: Special Issue of Selected Extended Papers of CADE-23Journal of Automated Reasoning. Bd. 51. H. 1. Dordrecht: Springer 2013 S. 1 - 2
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, 2013New York, NY: ACM Association for Computing Machinery 2013