Springer, 0-387

Central database

Publisher

  1. 2015
  2. In press

    Optimal Sceduling of Stochastic Production Processes Through Model Checking. / Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Sharp, Robin; Jacobsen, Peter.

    Modelling and Management of Engineering Processes. ed. / Michael Schabacker; Kilian Gericke; Nikoletta Szélig; Sándor Vajna. Springer, 2015. p. 187-202.

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

  3. 2014
  4. Published

    Advanced Topology Optimization Methods for Conceptual Architectural Design. / Aage, Niels; Amir, Oded; Clausen, Anders; Hadar, Lior ; Maier, Dana ; Søndergaard, Asbjørn .

    Advances in Architectural Geometry 2014. ed. / P. Block; J. Knippers; N.J. Mitra; W. Wang. Springer, 2014.

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

  5. Published

    Algorithm Theory - SWAT 2014 : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings.. / Ravi, R. (Editor); Gørtz, Inge Li (Editor).

    Springer, 2014. 391 p. (Lecture Notes in Computer Science, Vol. 8503).

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

  6. Published

    Analyzing Social Interactions: Promises and Challenges of Cross Recurrence Quantification Analysis. / Fusaroli, Riccardo; Konvalinka, Ivana; Wallot, Sebastian.

    Translational Recurrences: From Mathematical Theory to Real-World Applications. ed. / N. Marwan; M. Riley; A. Giuliani; C. L. Webber Jr.Springer, 2014. p. 137-155 (Springer Proceedings in Mathematics & Statistics, Vol. 103).

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

  7. Published

    An Institution for Imperative RSL Specifications. / Haxthausen, Anne Elisabeth.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer, 2014. p. 441-464 (Lecture Notes in Computer Science, Vol. 8373).

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

  8. Published

    Application and Theory of Petri Nets and Concurrency : Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014. / Ciardo, Gianfranco (Editor); Kindler, Ekkart (Editor).

    Springer, 2014. 395 p. (Lecture Notes in Computer Science, Vol. 8489).

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

  9. Published

    Automatic electricity markets data extraction for realistic multi-agent simulations. / Pereira, Ivo F.; Sousa, Tiago M.; Praca, Isabel; Freitas, Ana; Pinto, Tiago; Vale, Zita; Morais, Hugo.

    Advances in Practical Applications of Heterogeneous Multi-Agent Systems. Vol. 8473 Springer, 2014. p. 371-374 (Lecture Notes in Computer Science).

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

  10. Published

    Availability by Design. / Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014. Springer, 2014. p. 277-278 (Lecture Notes in Computer Science; No. 8788).

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

  11. Published

    Boundary-Layer and Air Quality Study at “Station Nord” in Greenland. / Batchvarova, Ekaterina; Gryning, Sven-Erik; Skov, Henrik; Sørensen, Lise Lotte; Kirova, H.; Münkel, Christoph.

    Air Pollution Modeling and its Application XXIII. ed. / Douw Steyn; Rohit Mathur. Springer, 2014. p. 525-529 (Springer Proceedings in Complexity).

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

  12. Published

    Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?. / Arrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro; Lluch Lafuente, Alberto.

    Revised Selected Papers of the 10th International Workshop on Rewriting Logic and Its Applications, WRLA 2014. ed. / Santiago Escobar. Springer, 2014. p. 21-41 (Lecture Notes in Computer Science, Vol. 8663).

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

  13. Published

    Colored Range Searching in Linear Space. / Grossi, Roberto; Vind, Søren Juhl.

    Algorithm Theory – SWAT 2014: Proceedings of the 14th Scandinavian Symposium and Workshops on Algorithm Theory. ed. / R. Ravi; Inge Li Gørtz. Springer, 2014. p. 229-240 (Lecture Notes in Computer Science, Vol. 8503).

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

  14. Published

    Combining Formal Logic and Machine Learning for Sentiment Analysis. / Petersen, Niklas Christoffer ; Villadsen, Jørgen.

    Foundations of Intelligent Systems. ed. / T. Andreasen; H. Christiansen; J.-C. Cubero; Z.W. Ras. Springer, 2014. p. 375-384 (Lecture Notes in Computer Science, Vol. 8502).

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

  15. Published

    Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. / Braunstein, Cécile; Haxthausen, Anne Elisabeth; Huang, Wen-ling; Hübner, Felix; Peleska, Jan; Schulze, Uwe; Vu, Linh Hong.

    Formal Methods and Software Engineering: Proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014. Springer, 2014. p. 380-395 (Lecture Notes in Computer Science, Vol. 8829).

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

  16. Published

    Compressed Subsequence Matching and Packed Tree Coloring. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.

    Combinatorial Pattern Matching: Proceedings of the 25th Annual Symposium on Combinatorial Pattern Matching, CPM 2014 . ed. / Alexander S. Kulikov; Sergei O. Kuznetsov; Pavel Pevzner. Springer, 2014. p. 40-49 (Lecture Notes in Computer Science, Vol. 8486).

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

  17. Published

    Concentrated Hitting Times of Randomized Search Heuristics with Variable Drift. / Lehre, Per Kristian; Witt, Carsten.

    Proceedings of the 25th International Symposium on Algorithms and Computation, ISAAC 2014. ed. / Hee-Kap Ahn; Chan-Su Shin. Springer, 2014. p. 686-697 (Lecture Notes in Computer Science; No. 8889).

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

  18. Published

    Condition Monitoring Benefit for Operation Support of Offshore Wind Turbines. / Thöns, Sebastian; McMillan, D.

    Reliability Modeling and Analysis of Smart Power Systems. Springer, 2014. p. 169-182.

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

  19. Published

    Cryptanalysis of SIMON Variants with Connections. / Alizadeh, Javad; Alkhzaimi, Hoda A.; Aref, Mohammad Reza; Bagheri, Nasour; Gauravaram, Praveen; Kumar, Abhishek; Lauridsen, Martin Mehl; Sanadhya, Somitra Kumar.

    Proceedings of the 10th International Workshop on Radio Frequency Identification Security and Privacy Issues, RFIDSec 2014: Revised Selected Papers. ed. / Nitesh Saxena; Ahmad-Reza Sadeghi. Springer, 2014. p. 90-107 (Lecture Notes in Computer Science; No. 8651).

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

  20. Published

    Data Extraction Tool to Analyse, Transform and Store Real Data from Electricity Markets. / Pereira, Ivo F.; Sousa, Tiago; Praca, Isabel; Freitas, Ana R.; Pinto, Tiago; Vale, Zita; Morais, Hugo.

    Distributed Computing and Artificial Intelligence. ed. / S. Omatu. Springer, 2014. p. 387-395 (Advances in Intelligent Systems and Computing, Vol. 290).

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

  21. Published

    Denial-of-Service Security Attack in the Continuous-Time World. / Wang, Shuling ; Nielson, Flemming; Nielson, Hanne Riis.

    Formal Techniques for Distributed Objects, Components, and Systems. Proceedings. ed. / Erika Ábrahám; Catuscia Palamidessi. Springer, 2014. p. 149-165 (Lecture Notes in Computer Science, Vol. 8461).

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

  22. Published

    Differential Geometry Applied to Rings and Möbius Nanostructures. / Lassen, Benny; Willatzen, Morten; Gravesen, Jens.

    Physics of Quantum Rings. ed. / Vladimir M. Fomin. Vol. Part III Springer, 2014. p. 409-435 (NanoScience and Technology).

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

  23. Published

    Domain Endurants: An Analysis and Description Process Model. / Bjørner, Dines.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. ed. / Shusaku Iida; José Meseguer; Kazuhiro Ogata. Springer, 2014. p. 1-34 (Lecture Notes in Computer Science, Vol. 8373).

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

  24. Published

    Domain Theory, Its Models and Concepts. / Andreasen, Mogens Myrup; Howard, Thomas J.; Bruun, Hans Peter Lomholt.

    An Anthology of Theories and Models of Design: Philosophy, Approaches and Empirical Explorations. ed. / A. Chakrabarti; L.T.M. Blessing. Springer, 2014. p. 173-195.

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

  25. Published

    Eels in culture, fisheries and science in Denmark. / Rindom, Suzanne; Tomkiewicz, Jonna; Munk, Peter; Aarestrup, Kim; Als, Thomas Damm; Pedersen, Michael Ingemann; Graver, Christian; Anderberg, Carina.

    Eels and humans. ed. / Katsumi Tsukamoto; Mari Kuroki. Tokyo : Springer, 2014. p. 41-61 (Humanity and the Sea).

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

  26. Published

    EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. / Dung, Phan Anh; Hansen, Michael Reichhardt; Madsen, Jan.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer, 2014. p. 520-540 (Lecture Notes in Computer Science, Vol. 8373).

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

  27. Published

    Elspot: Nord Pool Spot Integration in MASCEM Electricity Market Simulator. / Fernandes, Ricardo ; Santos, Gabriel; Praca, Isabel; Pinto, Tiago; Morais, Hugo; Pereira, Ivo F.; Vale, Zita.

    Highlights of Practical Applications of Heterogeneous Multi-Agent Systems.: The PAAMS Collection. ed. / J.M. Corchado. Springer, 2014. p. 262-272 (Communications in Computer and Information Science, Vol. 430).

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

Previous 1 2 3 4 5 6 7 8 ...38 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word