Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Gasse, Francis; Sofronie-Stokkermans, Viorica
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0Riccardo Rosati; Sebastian Rudolph; Michael Zakharyaschev (Hrsg). Proccedings of the 24th International Workshop on Description Logics DL 2011; Barcelona, Spain; July 13-16, 2011. Aachen: CEUR/RWTH 2011 S. 125 - 135
Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Extracting and verifying cryptographic models from C protocol code by symbolic executionYan Chen; George Danezis; Vitaly Shmatikov (Hrsg). Proceedings of the 18th ACM Conference on Computer and Communications Security CCS '11: October 17. - 21., 2011; Chicago, Illinois, USA. New York, NY: ACM Association for Computing Machinery 2011 S. 331 - 340
Furbach, Ulrich
First-Order Tableaux in Applications (Extended Abstract)Kai Brünnler; George Metclfe (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. Berlin: Springer 2011 S. 17 - 19
Tinelli, Cesare; Sofronie-Stokkermans, Viorica
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. ProceedingsBerlin: Springer 2011
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsSteve Kremer; Michael Backes; Steve Zdancewic; Jonathan Herzog (Hrsg). 24th IEEE Computer Security Foundations Symposium CSF 2011: 27-29 June, 2011; Cernay-la-Ville, France. Los Alamitos, CA: IEEE Computer Society 2011 S. 3 - 17
Jürjens, Jan; Marchal, Loïc; Ochoa, Martín et al.
Incremental Security Verification for Evolving UMLsec modelsRobert B. France; Jochen M. Kuester; Behzad Bordbar; Richard F. Paige (Hrsg). Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Berlin: Springer 2011 S. 52 - 68
Hopfgartner, Frank; Ren, Reede; Urruty, Thierry et al.
Information Organisation Issues in Multimedia Retrieval using Low-Level FeaturesRaphaël Troncy;Benoit Huet;Simon Schenk (Hrsg). Multimedia Semantics: Metadata, Analysis and Interaction. New York, NY: John Wiley & Sons 2011 S. 241 - 260
Hopfgartner, Frank
Interactive News Video Recommendation: An Example SystemTim Hussein;Stephan Lukosch;Heiko Paulheim;Jürgen Ziegler;Gaëlle Calvary (Hrsg). Proceedings of the 2nd Workshop on Semantic Models for Adaptive Interactive Systems SEMAIS 2011: Palo Alto, CA, USA, February 13, 2011. Aachen: CEUR/RWTH 2011 S. 21 - 25
Frey, Hannes
Lower and upper bounds for multicasting under distance dependent forwarding cost functionsMario Gerla; Enzo Mingozzi (Hrsg). Digital Proceedings of the 2011 IEEE International Symposium on ”A World of Wireless, Mobile and Multimedia Networks” (WoWMoM); June 20-23, 2011; Lucca, Italy. Piscataway, NJ: IEEE Computer Society 2011 S. 1 - 10