Springer

Central database

Publisher

  1. 2013
  2. Published

    On the relationship between LTL normal forms and Büchi automata. / Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim.

    Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer, 2013. p. 256-270 (Lecture Notes in Computer Science, Vol. 8051).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  3. Ontology-Based Big Dimension Modeling in Data Warehouse Schema Design. / Liu, Xiufeng; Iftikhar, Nadeem.

    Business Information Systems. Proceedings. ed. / Witold Abramowicz. Springer, 2013. p. 75–87 (Lecture Notes in Business Information Processing, Vol. 157).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  4. Published

    Optical Coherence Tomography: Advanced Modeling. / Andersen, Peter E.; Thrane, Lars; Yura, Harold T.; Tycho, Andreas; Jørgensen, Thomas Martini.

    Handbook of Coherent-Domain Optical Methods: Biomedical Diagnostics, Environmental Monitoring, and Materials Science. ed. / Valery V. Tuchin. Springer, 2013. p. 743-798.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  5. Published

    Parallelizable and Authenticated Online Ciphers. / Andreeva, Elena; Bogdanov, Andrey; Luykx, Atul; Mennink, Bart; Tischhauser, Elmar Wolfgang; Yasuda, Kan.

    Advances in Cryptology. 19th International Conference on the Theory and Application of Cryptology and Information Security. ed. / Kazue Sako; Palash Sarkar. Springer, 2013. p. 424-443 (Lecture Notes in Computer Science, Vol. 8269).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  6. Published

    Physicians’ Progress Notes : The Integrative Core of the Medical Record. / Bansler, Jørgen; Havn, Erling C.; Mønsted, Troels; Schmidt, Kjeld; Hastrup Svendsen, Jesper .

    Proceedings of the 13th European Conference on Computer Supported Cooperative Work (ECSCW 2013). ed. / O.W. Bertelsen. london : Springer, 2013. p. 123-142.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  7. Published

    Planning using dynamic epistemic logic: Correspondence and complexity. / Jensen, Martin Holm.

    Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. Springer, 2013. p. 316-320 (Lecture Notes in Computer Science, Vol. 8196).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  8. Published

    Playful Interaction with Voice Sensing Modular Robots. / Heesche, Bjarke; MacDonald, Ewen; Fogh, Rune; Pacheco, Moises; Christensen, David Johan.

    Proceedings of ICSR 2013. Springer, 2013. p. 180–189 (Lecture Notes in Artificial Intelligence, Vol. 8239).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  9. Published

    Playware Explorations in Robot Art. / Lund, Henrik Hautop ; Pagliarini, Luigi.

    Proceedings of 2nd International Conference on Robot Intelligence and Applications. Springer, 2013.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  10. Published

    Preface. / Jensen, Rune Møller; Pacino, Dario; Voß, Stefan.

    Computational Logistics: 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings. Vol. 8197 Springer, 2013. p. V-VI (Lecture Notes in Computer Science).

    Publication: ResearchPreface/postscript – Annual report year: 2013

  11. Published

    Probabilistic Analysis of the Quality Calculus. / Nielson, Hanne Riis; Nielson, Flemming.

    Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Springer, 2013. p. 258-272 (Lecture Notes in Computer Science, Vol. 7892).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

Download list: To download, please limit the number of search results to 1,000 or less.