Springer, 0-387
Central database
Publisher
- Published
Post-Session Authentication. / Ahmed, Naveed; Jensen, Christian D.
In: Trust Management VI: 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012. Proceedings. Springer, 2012. (IFIP AICT - Advances in Information and Communication technology, Vol. 374).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Towards Symbolic Encryption Schemes. / Ahmed, Naveed; Jensen, Christian D.; Zenner, Erik.
In: Computer Security – ESORICS 2012: 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Springer, 2012. p. 557-572 (Lecture Notes in Computer Science, Vol. 7459).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Conditional Epistemic Planning. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm.
In: Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Springer, 2012. p. 94-106 (Lecture Notes in Computer Science, Vol. 7519).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Designing competitions for education in robotics. / Andersen, Nils Axel; Ravn, Ole.
In: Advances in Autonomous Robotics. ed. / Guido Herrmann; Matthew Studley. Springer, 2012. p. 140-151 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7429).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Identification of Functional Clusters in the Striatum Using Infinite Relational Modeling. / Andersen, Kasper Winther; Madsen, Kristoffer Hougaard; Siebner, Hartwig; Hansen, Lars Kai; Mørup, Morten.
In: Machine Learning and Interpretation in Neuroimaging: International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions. Springer, 2012. p. 226-233 (Lecture Notes in Computer Science, Vol. 7263).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. / Armando, Alessandro; Arsac, Wihem; Avanesov, Tigran; Barletta, Michele; Calvi, Alberto; Cappai, Alessandro; Carbone, Roberto; Chevalier, Yannick; Compagna, Luca; Cuéllar, Jorge; Erzse, Gabriel; Frau, Simone; Minea, Marius; Mödersheim, Sebastian Alexander; Von Oheimb, David; Pellegrino, Giancarlo; Ponta, Serena Elisa; Rocchetto, Marco; Rusinowitch, Michael; Torabi Dashti, Mohammad; Turuani, Mathieu; Viganò, Luca.
In: Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Springer, 2012. p. 267-282 (Lecture Notes in Computer Science, Vol. 7214).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Guide to Computational Geometry Processing : Foundations, Algorithms, and Methods. / Bærentzen, Jakob Andreas; Gravesen, Jens; Anton, François; Aanæs, Henrik.
Springer, 2012. 325 p.Publication: Research - peer-review › Book – Annual report year: 2012
- Published
Business Process Management : 10th International Conference, BPM 2012 Proceedings. / Barros, Alistair (Editor); Gal, Avigdor (Editor); Kindler, Ekkart (Editor).
Springer, 2012. (Lecture Notes in Computer Science, Vol. 7481).Publication: Research - peer-review › Book – Annual report year: 2012
- Published
Scheduling of outbound luggage handling at airports. / Barth, Torben C.; Pisinger, David.
In: Operations Research Proceedings 2011: Selected papers. ed. / Diethard Klatte; Karl Schmedders; Hans-Jakob Lüthi. Vol. Part 8 Springer, 2012. p. 251-256.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Lectures on Logic and Computation : ESSLLI 2010, Copenhagen, Denmark, August 2010; ESSLLI 2011, Ljubljana, Slovenia, August 201;1 Selected Lecture Notes. / Bezhanishvili, Nick (Editor); Goranko, Valentin (Editor).
Springer, 2012. 265 p. (Lecture Notes in Computer Science, Vol. 7388).Publication: Research › Book – Annual report year: 2012