Springer

Central database

Publisher

  1. 2013
  2. Published

    System-Level Optimization of a DAC for Hearing-Aid Audio Class D Output Stage. / Pracný, Peter ; Jørgensen, Ivan Harald Holger; Bruun, Erik.

    Technological Innovation for the Internet of Things : 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. Vol. 394 Springer, 2013. p. 647-654 (IFIP AICT - Advances in Information and Communication technology, Vol. 394).

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

  3. Published

    Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. / Ajspur, Mai; Goranko, Valentin.

    Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Springer, 2013. p. 80-96 (Lecture Notes in Computer Science, Vol. 7750).

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

  4. Published

    Targeted Metabolic Engineering Guided by Computational Analysis of Single-Nucleotide Polymorphisms (SNPs). / Udatha, D B R K Gupta; Rasmussen, Simon; Sicheritz-Pontén, Thomas; Panagiotou, Gianni.

    Systems Metabolic Engineering : Methods and Protocols. Springer, 2013. p. 409-428 (Methods in Molecular Biology, Vol. 985).

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

  5. Published

    Terahertz Spectroscopy of Crystalline and Non-Crystalline Solids. / Parrott, Edward P. J.; Fischer, Bernd M.; Gladden, Lynn F.; Zeitler, J. Axel; Jepsen, Peter Uhd.

    Terahertz Spectroscopy and Imaging. Springer, 2013. p. 191-227 (Springer Series in Optical Sciences, Vol. 171).

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

  6. Published

    The Quest for Minimal Quotients for Probabilistic Automata. / Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun.

    Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer, 2013. p. 16-31 (Lecture Notes in Computer Science, Vol. 7795).

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

  7. Published

    Time-Space Trade-Offs for the Longest Common Substring Problem. / Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel.

    Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings. Springer, 2013. p. 223-234 (Lecture Notes in Computer Science, Vol. 7922).

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

  8. Published

    Timing and Targeting of PSS Methods and Tools: An Empirical Study amongst Academic Contributors. / Nøhr Hinz, Hector; Bey, Niki; McAloone, Tim C.

    Product-Service Integration for Sustainable Solutions. Proceedings of the 5th CIRP International Conference on Industrial Product-Service Systems. ed. / Horst Meier. Springer, 2013. p. 131–139 (Lecture Notes in Production Engineering).

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

  9. Published

    Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. / Simonsen, Kent Inge; Kristensen, Lars Michael.

    Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers. Springer, 2013. p. 106-125 (Lecture Notes in Computer Science, Vol. 7706).

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

  10. Published

    Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages. / Störrle, Harald; Fish, Andrew.

    Model-Driven Engineering Languages and Systems. Springer, 2013. p. 104-120 (Lecture Notes in Computer Science, Vol. 8107).

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

  11. Published

    Tree compression with top trees. / Bille, Philip; Gørtz, Inge Li; Landau, Gad M.; Weimann, Oren.

    Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. Springer, 2013. p. 160-171 (Lecture Notes in Computer Science, Vol. 7965).

    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.