Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Ghilardi, Silvio; Sofronie-Stokkermans, Viorica; Sattler, Ulrike et al.
Special issue on automated deduction: Decidability, complexity, tractabilityJournal of Symbolic Computation. Bd. 45. H. 2. Amsterdam: Elsevier 2010 S. 151 - 152
Lee, Seok-Won; Monga, Mattia; Jürjens, Jan
The 6th International Workshop on Software Engineering for Secure Systems SESS 2010Jeff Kramer; Judith Bishop; Prem Devanbu; Sebastian Uchitel (Hrsg). Proceeding of the 32nd International Conference on Software Engineering ICSE 2010: Volume 2; 1-8 May 2010 Cape Town, South Africa. New York, NY: ACM Association for Computing Machinery 2010 S. 433 - 434
Baumgartner, Peter; Furbach, Ulrich; Pelzer, Björn
The Hyper Tableaux Calculus with Equality and an Application to Finite Model ComputationJournal of Logic and Computation. Bd. 20. H. 1. Oxford: Oxford University Press 2010 S. 77 - 109
Montrieux, Lionel; Jürjens, Jan; B. Haley, Charles et al.
Tool Support for Code Generation from a UMLsec PropertyCharles Pecheur; Jamie Andrews; Elisabetta Di Nitto (Hrsg). Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering ASE 2010: September 20 - 24, 2010; Antwerp, Belgium. New York, NY: ACM Association for Computing Machinery 2010 S. 357 - 358
Mathews, Emi; Frey, Hannes
Topological Cluster Based Geographic Routing in Multihop Ad Hoc NetworksJaime Lloret Mauri;Sergey Balandin;Cosmin Dini (Hrsg). UBICOMM 2010: The Fourth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies; October 25-30, 2010 - Florence, Italy. Red Hook, NY: Curran 2010 S. 342 - 345
Blanco, Carlos; Fernández-Medina, Eduardo; Trujillo, Juan et al.
Towards the Secure Modelling of OLAP Users’ BehaviourWillem Jonker; Milan Petković (Hrsg). Secure Data Management: 7th VLDB Workshop, SDM 2010, Singapore, September 17, 2010. Proceedings. Berlin: Springer 2010 S. 101 - 112
Misra, Hemant; Hopfgartner, Frank; Goyal, Anuj et al.
TV News Video Story Segmentation based on Semantic Coherence and Content SimilaritySusanne Boll;Qi Tian;Lei Zhang;Zili Zhang;Yi-Ping Phoebe Chen (Hrsg). Advances in Multimedia Modeling: 16th International Multimedia Modeling Conference, MMM 2010, Chongqing, China, January 6-8, 2010. Proceedings. Berlin: Springer 2010 S. 347 - 357
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan
Verifying authentication properties of C security protocol code using general verifiersFourth International Workshop on Analysis of Security APIs,. 2010