Springer, 0-387, 1-85233, 0-8176, 1-84628

Central database

Publisher

  1. 2015
  2. Accepted/In press

    4-D PET-MR with Volumetric Navigators and Compressed Sensing. / Pedemonte, Stefano ; Catana, Ciprian; Van Leemput, Koen.

    Computational Methods for Molecular Imaging. ed. / Fei Gao; Kuangyu Shi; Shuo Li. Springer, 2015. (Lecture Notes in Computational Vision and Biomechanics, Vol. 22).

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

  3. Published

    A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. / Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 101-116 (Lecture Notes in Computer Science, Vol. 9037).

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

  4. Published

    An Ensemble of 2D Convolutional Neural Networks for Tumor Segmentation. / Lyksborg, Mark; Puonti, Oula; Agn, Mikael; Larsen, Rasmus.

    Proceedings of the 19th Scandinavian Conference on Image Analysis, SCIA 2015. Springer, 2015. p. 201-211 (Lecture Notes in Computer Science, Vol. 9127).

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

  5. Published

    An institution for object-z with inheritance and polymorphism. / Baumeister, Hubert; Bettaz, Mohamed; Maouche, Mourad; Mosteghanemi, M'hamed.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 134-154 (Lecture Notes in Computer Science, Vol. 8950).

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

  6. Published

    APE: Authenticated Permutation-Based Encryption for Lightweight Cryptography. / Andreeva, Elena; Bilgin, Begül; Bogdanov, Andrey; Luykx, Atul; Mennink, Bart; Mouha, Nicky; Yasuda, Kan.

    Revised Selected Papers of the 21st International Workshop Fast Software Encryption (FSE 2014). ed. / Carlos Cid; Christian Rechberger. Springer, 2015. p. 168-186 (Lecture Notes in Computer Science, Vol. 8540).

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

  7. Published

    A Suffix Tree Or Not a Suffix Tree?. / Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel.

    Revised Selected Papers of the 25th International Workshop on Combinatorial Algorithms, IWOCA 2014. ed. / Jan Kratochvíl; Mirka Miller; Dalibor Froncek. Springer, 2015. p. 338-350 (Lecture Notes in Computer Science, Vol. 8986).

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

  8. Accepted/In press

    Attributes Enhanced Role-Based Access Control Model. / Mahmood Rajpoot, Qasim; Jensen, Christian D.; Krishnan, Ram .

    Proceedings of the 12th International Conference on Trust, Privacy and Security in Digital Business (TrustBus’15). ed. / Simone Fischer-Huebner; Costas Lambrinoudakis. Springer, 2015. (Lecture Notes in Computer Science).

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

  9. Published

    A white box perspective on behavioural adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 552-581 (Lecture Notes in Computer Science, Vol. 8950).

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

  10. Published

    Bunker Purchasing in Liner Shipping. / Plum, Christian Edinger Munk; Pisinger, David; Neergaard Jensen, Peter.

    Handbook of Ocean Container Transport Logistics: Making Global Supply Chains Effective. ed. / Chung-Yee Lee; Qiang Meng. Springer, 2015. p. 251-278 (International Series in Operations Research and Management Science, Vol. 220).

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

  11. Published

    Carbon Nanotube-Based Separation Columns for Microchip Electrochromatography. / Mogensen, Klaus Bo; Delacourt, B.; Kutter, Jörg Peter.

    Microchip Capillary Electrophoresis Protocols . Springer, 2015. (Methods in Molecular Biology, Vol. 1274).

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

  12. Published

    Characterizing Digital Light Processing (DLP) 3D Printed Primitives. / Tyge, Emil; Pallisgaard, Jens J. ; Lillethorup, Morten; Hjaltalin, Nanna G. ; Thompson, Mary Kathryn; Clemmensen, Line Katrine Harder.

    Proceedings of the 19th Scandinavian Conference on Image Analysis, SCIA 2015. Springer, 2015. p. 302-313 (Lecture Notes in Computer Science, Vol. 9127).

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

  13. Published

    Communication Technologies for Vehicles : Proceedings of the 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015. / Kassab, Mohamed (Editor); Berbineau, Marion (Editor); Vinel, Alexey; Jonsson, Magnus (Editor); Garcia, Fabien (Editor); Soler, José (Editor).

    Springer, 2015. 241 p. (Computer Communication Networks and Telecommunications, Vol. 9066).

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

  14. Published

    Compressed Data Structures for Range Searching. / Bille, Philip; Gørtz, Inge Li; Vind, Søren Juhl.

    Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA 2015). ed. / Adrian-Horia Dediu; Enrico Formenti; Carlos Martín-Vide; Bianca Truthe. Springer, 2015. p. 577-586 (Lecture Notes in Computer Science, Vol. 8977).

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

  15. Published

    Conceptual Design. Interpretations, Mindset and Models. / Andreasen, Mogens Myrup; Hansen, Claus Thorp; Cash, Philip.

    Springer, 2015. 394 p.

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

  16. Published

    Effective and efficient model clone detection. / Störrle, Harald.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 440-457 (Lecture Notes in Computer Science, Vol. 8950).

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

  17. Published

    ¿El Caballo Viejo? Latin Genre Recognition with Deep Learning and Spectral Periodicity. / Sturm, Bob L.; Kereliuk, Corey Mose; Larsen, Jan.

    Proceedings of the 5th International Conference Mathematics and Computation in Music, MCM 2015. ed. / Tom Collins; David Meredith; Anja Volk. Springer, 2015. p. 335-346 (Lecture Notes in Computer Science, Vol. 9110).

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

  18. Hybrid and Nano-composite Carbon Sensing Platforms. / Beliatis, Michail; Rozanski, Lynn J.; Jayawardena, K. D. G. Imalka; Rhodes, Rhys; Anguita, J.V.; Mills, Christopher A.; Silva, S. Ravi P.

    Carbon for Sensing Devices. ed. / Danilo Demarchi; Alberto Tagliaferro. Springer, 2015. p. 105-132.

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

  19. Published

    Image Analysis. : Proceedings. 19th Scandinavian Conference, SCIA 2015Copenhagen, Denmark, June 15–17, 2015. / Paulsen, Rasmus Reinhold (Editor); Pedersen, Kim Steenstrup (Editor).

    Springer, 2015. 544 p. (Lecture Notes in Computer Science, Vol. 9127).

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

  20. Accepted/In press

    Integrating Attributes into Role-Based Access Control. / Mahmood Rajpoot, Qasim; Jensen, Christian D.; Krishnan, Ram .

    Proceedings of the 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (2015). ed. / Sushil Jajodia; Pierangela Samarati. Springer, 2015. (Lecture Notes in Computer Science).

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

  21. Published

    Klaim-DB: A Modeling Language for Distributed Database Applications. / Wu, Xi; Li, Ximeng; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 197-212 (Lecture Notes in Computer Science, Vol. 9037).

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

  22. Published

    Lab-on-a-chip devices and micro-total analysis systems : a practical guide. / Castillo, Jaime (Editor); Svendsen, Winnie Edith (Editor).

    Springer, 2015.

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

  23. Published

    Life Cycle Assessment in the Cereal and Derived Products Sector. / Renzulli, Pietro A. ; Bacenetti, Jacopo ; Benedetto, Graziella ; Fusi, Alessandra ; Ioppolo, Giuseppe ; Niero, Monia; Proto, Maria ; Salomone, Roberta ; Sica, Daniela; Supino, Stefania .

    Life Cycle Assessment in the Agri-food Sector: Case Studies, Methodological Issues and Best Practices. ed. / Bruno Notarnicola; Pietro A. Renzulli; Roberta Salomone; Rocco Roma; Luigia Petti; Alessandro K. Cerutti. Springer, 2015. p. 185-250.

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

  24. Published

    Longest Common Extensions in Trees. / Bille, Philip; Gawrychowski, Pawel; Gørtz, Inge Li; Landau, Gad M.; Weimann, Oren.

    Proceedings of the 26th Annual Symposium on Combinatorial Pattern Matching, CPM 2015. ed. / Ferdinando Cicalese; Ely Porat; Ugo Vaccaro. Springer, 2015. p. 52-64 (Lecture Notes in Computer Science, Vol. 9133).

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

  25. Published

    Magnetic Field. / Olsen, Nils.

    Encyclopedia of Remote Sensing. ed. / Eni G. Njoku. Springer, 2015. p. 358-362 (Encyclopedia of Earth Sciences Series).

    Publication: Research - peer-reviewEncyclopedia chapter – Annual report year: 2015

  26. Published

    Modeling light-tissue interaction in optical coherence tomography systems. / Andersen, Peter E.; Jørgensen, Thomas Martini; Thrane, Lars; Tycho, Andreas; Yura, H. T.

    Optical coherence tomography: technology and applications. ed. / W. Drexler; J.G. Fujimoto. 2nd edition. ed. Springer, 2015. p. 95-140.

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

  27. Accepted/In press

    On Devising Boussinesq-type Equations with Bounded Eigenspectra: Two Horizontal Dimensions. / Eskilsson, Claes; Engsig-Karup, Allan Peter.

    Proceedings of the 18th European Conference on Mathematics for Industry (ECMI 2014). Springer, 2015.

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

  28. Published

    Online Open Neuroimaging Mass Meta-Analysis with a Wiki. / Nielsen, Finn Arup; Kempton, Matthew J.; Williams, Steven C. R.

    The Semantic Web: ESWC 2012 Satellite Events: Revised Selected Papers. ed. / Elena Simperl; Barry Norton; Dunja Mladenic; Emanuele Della Valle; Irini Fundulaki; Alexandre Passant; Raphaël Troncy. Springer, 2015. p. 259-271 (Lecture Notes in Computer Science, Vol. 7540).

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

  29. Published

    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: Proceedings of the 3rd International Conference 2013. 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

  30. Published

    Pareto Efficient Solutions of Attack-Defence Trees. / Aslanyan, Zaruhi; Nielson, Flemming.

    Principles of Security and Trust: Proceedings of the 4th International Conference, POST 2015. ed. / Riccardo Focardi; Andrew Myers. Springer, 2015. p. 95-114 (Lecture Notes in Computer Science, Vol. 9036).

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

  31. Published

    Polymer Based Biosensors for Medical Applications. / Cherré, Solène; Rozlosnik, Noemi.

    Advanced Polymers in Medicine. Springer, 2015. p. 513-537.

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

  32. Published

    Practical Attacks on AES-like Cryptographic Hash Functions. / Kölbl, Stefan; Rechberger, Christian.

    Progress in Cryptology - LATINCRYPT 2014. Vol. 8895 Springer, 2015. p. 259-273 (Lecture Notes in Computer Science).

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

  33. Published

    Quantifying the Impact of Subgrid Scale Models in Actuator-Line Based LES of Wind Turbine Wakes in Laminar and Turbulent Inflow. / Chivaee, Hamid Sarlak; Meneveau, C.; Sørensen, Jens Nørkær; Mikkelsen, Robert.

    Direct and Large-Eddy Simulation IX. ed. / Jochen Frölich; Hans Kuerten; Bernard J. Geurts; Vincenzo Armenio. Springer, 2015. p. 169-175 (ERCOFTAC Series; No. 20).

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

  34. Published

    Quantitative Mapping of Mechanisms for Photoinitiated Coating Degradation. / Kiil, Søren.

    Service Life Prediction of Exterior Plastics: Vision for the Future. ed. / Christopher C. White; Jon Martin; J. Thomas Chapin. Springer, 2015. p. 185-198.

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

  35. Published

    Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Hölzl, Matthias; Lluch Lafuente, Alberto; Vandin, Andrea; Wirsing, Martin.

    Software Engineering for Collective Autonomic Systems: The ASCENS Approach. ed. / Martin Wirsing; Matthias Hölzl; Nora Koch; Philip Mayer. Springer, 2015. p. 163-184 (Lecture Notes in Computer Science, Vol. 8998).

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

  36. Published

    Replica-Based High-Performance Tuple Space Computing. / Andric, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 3-18 (Lecture Notes in Computer Science, Vol. 9037).

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

  37. Published

    Scanning Conductive Torsion Mode. / Sun, Ling; Bonaccurso, Elmar.

    Surface Science Tools for Nanomaterials Characterization. ed. / Challa S.S.R. Kumar. Springer, 2015. p. 199-225.

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

  38. Published

    Slow Steaming in Maritime Transportation: Fundamentals, Trade-offs, and Decision Models. / Psaraftis, Harilaos N.; Kontovas, Christos A.

    Handbook of Ocean Container Transport Logistics. ed. / Chung-Yee Lee; Qiang Meng. Springer, 2015. p. 315-358 (International Series in Operations Research and Management Science).

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

  39. Published

    Space-time trajectories of wind power generation: Parameterized precision matrices under a Gaussian copula approach. / Tastu, Julija ; Pinson, Pierre; Madsen, Henrik.

    Modeling and Stochastic Learning for Forecasting in High Dimensions. ed. / Anestis Antoniadis; Jean-Michel Poggi; Xavier Brossat. Springer, 2015. p. 267-296 (Lecture Notes in Statistics; No. 217).

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

  40. Published

    Stochastic Model Checking of the Stochastic Quality Calculus. / Nielson, Flemming; Nielson, Hanne Riis; Zeng, Kebin.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 522-537 (Lecture Notes in Computer Science, Vol. 8950).

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

  41. Published

    Structure and Function of a Nonruminant Gut: A Porcine Model. / Tajima, Kiyoshi; Aminov, Rustam.

    Rumen Microbiology: From Evolution to Revolution. ed. / Anil Kumar Puniya; Rameshwar Singh; Devki Nanda Kamra. Springer, 2015.

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

  42. Published

    Sustainable Transportation - Indicators, Frameworks, and Performance Management. / Gudmundsson, Henrik; Hall, Ralph P.; Marsden, Greg; Zietsman, Josias.

    Springer, 2015. 304 p. (Springer Texts in Business and Economics).

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

  43. Published

    Tailoring Macroscale Response of Mechanical and Heat Transfer Systems by Topology Optimization of Microstructural Details. / Alexandersen, Joe; Lazarov, Boyan Stefanov.

    Engineering and Applied Sciences Optimization: Dedicated to the Memory of Professor M.G. Karlaftis. ed. / Nikos D. Lagaros ; Manolis Papadrakakis. Vol. 38 Springer, 2015. p. 267-288 (Computational Methods in Applied Sciences).

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

  44. Accepted/In press

    Thinking outside of the box or enjoying your 2 seconds of frame?. / Bækgaard, Per; Petersen, Michael Kai; Larsen, Jakob Eg.

    Proceedings of the 17th International Conference on Human-Computer Interaction (HCI 2015). Springer, 2015.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2015

  45. Published

    Thiophene in Conducting Polymers: Synthesis of Poly(thiophene)s and Other Conjugated Polymers Containing Thiophenes, for Application in Polymer Solar Cells. / Livi, Francesco; Carlé, Jon Eggert; Bundgaard, Eva.

    Thiophenes. ed. / John A. Joule. Springer, 2015. p. 203-226 (Topics in Heterocyclic Chemistry , Vol. 39).

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

  46. Published

    vZ - An Optimizing SMT Solver. / Bjørner, Nikolaj; Dung, Phan Anh; Fleckenstein, Lars .

    Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015. Springer, 2015. p. 194-199 (Lecture Notes in Computer Science, Vol. 9035).

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

  47. 2014
  48. Published

    40 years of formal methods. / Bjørner, Dines; Havelund, Klaus.

    FM 2014: Formal Methods: Proceedings of 19th International Symposium. Vol. 8442 Springer, 2014. p. 42-61 (Lecture Notes in Computer Science, Vol. 8442).

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

  49. Published

    A Cautionary Analysis of STAPLE Using Direct Inference of Segmentation Truth. / Van Leemput, Koen; Sabuncu, Mert R.

    Proceedings of the 17th International Conference Medical Image Computing and Computer-Assisted Intervention (MICCAI 2014): Part I. Springer, 2014. p. 398-406 (Lecture Notes in Computer Science, Vol. 8673).

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

  50. 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

  51. Published

    A Fuzzy Linear Programming Approach for Aggregate Production Planning. / Iris, Cagatay; Cevikcan, Emre.

    Supply Chain Management Under Fuzziness: Studies in Fuzziness and Soft Computing. ed. / Cengiz Kahraman; Başar Öztayşi. Vol. 313 Springer, 2014. p. 335-374.

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

  52. Published

    Air Distribution and Ventilation Effectiveness in a room with Floor/Ceiling Heating and Mixing/Displacement Ventilation. / Wu, Xiaozhou; Fang, Lei; Olesen, Bjarne W.; Zhao, Jianing.

    Proceedings of the 8th International Symposium on Heating, Ventilation and Air Conditioning. Springer, 2014. p. 59-67 (Lecture Notes in Electrical Engineering, Vol. 261).

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

  53. Published

    ALE: AES-based lightweight authenticated encryption. / Bogdanov, Andrey; Mendel, Florian; Regazzoni, Francesco; Rijmen, Vincent; Tischhauser, Elmar.

    Fast Software Encryption. Revised Selected Papers. Vol. 8424 Springer, 2014. p. 447-466 (Lecture Notes in Computer Science, Vol. 8424).

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

  54. 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

  55. 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

  56. Published

    An Inference Language for Imaging. / Pedemonte, Stefano ; Catana, Ciprian; Van Leemput, Koen.

    Revised Selected Papers of the 1st International Workshop on Bayesian and grAphical Models for Biomedical Imaging (BAMBI 2014). Springer, 2014. p. 61-72 (Lecture Notes in Computer Science, Vol. 8677).

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

  57. 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

  58. 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

  59. Published

    Applied Bounded Model Checking for Interlocking System Designs. / Haxthausen, Anne Elisabeth; Peleska, Jan; Pinger, Ralf.

    Software Engineering and Formal Methods. Revised Selected Papers. Vol. 8368 Springer, 2014. p. 205–220 (Lecture Notes in Computer Science, Vol. 8368).

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

  60. Published

    A Practical Approach for Parameter Identification with Limited Information. / Zeni, Lorenzo; Yang, Guangya; Tarnowski, Germán Claudio; Østergaard, Jacob.

    Modern Advances in Applied Intelligence. Proceedings, Part II. Springer, 2014. p. 177–188 (Lecture Notes in Computer Science, Vol. 8482).

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

  61. Published

    A Synthesizable Multicore Platform for Microwave Imaging. / Schleuniger, Pascal; Karlsson, Sven .

    Reconfigurable Computing: Architectures, Tools, and Applications. Proceedings. Springer, 2014. p. 197-204 (Lecture Notes in Computer Science, Vol. 8405).

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

  62. Published

    A System for Computing Conceptual Pathways in Bio-medical Text Models. / Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer; Jensen, Per Anker.

    Foundations of Intelligent Systems. ed. / Troels Andreasen; Henning Christiansen; Juan-Carlos Cubero; Zbigniew W. Ras. Springer, 2014. p. 264-273 (Lecture Notes in Computer Science, Vol. 8502).

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

  63. 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. Springer, 2014. p. 371-374 (Lecture Notes in Computer Science, Vol. 8473).

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

  64. 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

  65. Published

    Barriers and Solutions for a Green Transition. / Meyer, Niels I.

    Im Hürdenlauf zur Energiewende: Von Transformationen, Reformen und Innovationen. ed. / Achim Brunnengräber; Maria Rosaria Di Nucci. Springer, 2014. p. 107-118.

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

  66. 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

  67. 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

  68. 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

  69. 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

  70. 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

  71. 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

  72. 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

  73. 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

  74. 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

  75. 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

  76. 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

  77. 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

  78. 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

  79. 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

  80. 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

  81. 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

  82. Published

    Electrokinetics in the Removal of Metal Ions from Soils. / Ottosen, Lisbeth M.

    Encyclopedia of Applied Electrochemistry. Springer, 2014. p. 742-746.

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

  83. 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

  84. Published

    Enabling short fragments for uncoordinated spread spectrum communication. / Ahmed, Naveed; Pöpper, Christina; Capkun, Srdjan.

    Computer Security - ESORICS 2014: 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part I. Springer, 2014. p. 488-507 (Lecture Notes in Computer Science, Vol. 8712).

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

  85. Published

    Equation-Free Analysis of Macroscopic Behavior in Traffic and Pedestrian Flow. / Marschler, Christian; Sieber, Jan; Hjorth, Poul G.; Starke, Jens.

    Traffic and Granular Flow '13. ed. / Mohcine Chraibi; Maik Boltes; Andreas Schadschneider; Armin x Armin Seyfried. Springer, 2014. p. 423-439.

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

  86. Evaluation of Mesoscale Model Profiles Against Consecutive Radiosounding Data During the Sofia 2003 Experiment. / Kirova, H.; Batchvarova, Ekaterina; Nikolov, Valeri .

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

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

  87. Published

    Experimental Evaluation of a Total Heat Recovery Unit with Polymer Membrane Foils. / Fang, Lei; Yuan, Shu; Nie, Jinzhe.

    Proceedings of the 8th International Symposium on Heating, Ventilation and Air Conditioning. Springer, 2014. p. 235-242 (Lecture Notes in Electrical Engineering, Vol. 262).

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

  88. Published

    Experimental Grey Box Model Identification of an Active Gas Bearing. / Theisen, Lukas Roy Svane; Pierart Vásquez, Fabián Gonzalo; Niemann, Hans Henrik; Santos, Ilmar; Blanke, Mogens.

    Vibration Engineering and Technology of Machinery: Proceedings of VETOMAC X 2014. ed. / Jyoti K. Sinha. Springer, 2014. p. 963-976 (Mechanisms and Machine Science, Vol. 23).

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

  89. Published

    Experimental study on EV purchases assisted by multi-agents representing a set of questionnaires. / Xue, Yusheng; Wu, Juai; Xie, Dongliang; Li, Kang; Zhang, Yu; Wen, Fushuan; Cai, Bin; Wu, Qiuwei; Yang, Guangya.

    Intelligent Computing in Smart Grid and Electrical Vehicles. ed. / Kang Li; Yusheng Xue; Shunmei Cui; Qun Niu. Springer, 2014. p. 449–459 (Communications in Computer and Information Science, Vol. 463).

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

  90. Published

    Feldspar, Infrared Stimulated Luminescence. / Jain, Mayank.

    Encyclopedia of Scientific Dating Methods. ed. / W. Jack Rink; Jeroen Thompson. Springer, 2014. p. 1-8.

    Publication: Research - peer-reviewEncyclopedia chapter – Annual report year: 2015

  91. Published

    FM-RAIL-BOK organizers' message. / Gruner, Stefan; Haxthausen, Anne Elisabeth; Maibaum, Tom; Roggenbach, Markus.

    11th International Conference on Software Engineering and Formal Methods, SEFM 2013: Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert. Springer, 2014. p. XI-XII (Lecture Notes in Computer Science ; Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 8368).

    Publication: Research - peer-reviewPreface/postscript – Annual report year: 2014

  92. Force Spectroscopy of DNA and RNA: Structure and Kinetics from Single-Molecule Experiments. / Ettlinger, Rebecca Bolt; Sørensen, Michael Askvad; Oddershede, Lene Broeng.

    Nucleic Acid Nanotechnology: Part I. ed. / Jørgen Kjems; Elena Ferapontova; Kurt V. Gothelf. Springer, 2014. p. 23-52 (Nucleic Acids and Molecular Biology, Vol. 29).

    Publication: ResearchBook chapter – Annual report year: 2014

  93. Published

    Formal Security Analysis of the MaCAN Protocol.. / Bruni, Alessandro; Sojka, Michal; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014. ed. / Elvira Albert; Emil Sekerinski. Springer, 2014. p. 241-255 (Lecture Notes in Computer Science, Vol. 8739).

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

  94. Published

    Four Data Visualization Heuristics to Facilitate Reflection in Personal Informatics. / Cuttone, Andrea; Petersen, Michael Kai; Larsen, Jakob Eg.

    Proceedings of the 8th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2014: Design for All and Accessibility Practice. ed. / Constantine Stephanidis; Margherita Antona . Springer, 2014. p. 541-552 (Lecture Notes in Computer Science; No. 8516).

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

  95. Published

    Geoid of Nepal from airborne gravity survey. / Forsberg, René; Olesen, Arne Vestergaard; Einarsson, Indriði; Manandhar, Niraj; Shreshta, Kalyan.

    Earth on the Edge: Science for a Sustainable Planet: Earth on the Edge: Science for a Sustainable Planet Earth on the Edge: Science for a Sustainable Planet Proceedings of the IAG General Assembly, Melbourne, Australia, June 28 - July 2, 2011. ed. / C. Rizos; P. Willis. Melbourne, Australia : Springer, 2014. (International Association of Geodesy Symposia, Vol. 139).

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

  96. Published

    Geoinformation for Informed Decisions. / Rahman, A. Abdul (Editor); Boguslawski, P. (Editor); Anton, François (Editor); Said, M. N. (Editor); Omar, K. M. (Editor).

    Springer, 2014. 261 p. (Lecture notes in geoinformation and Cartography).

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

  97. Published

    GOCE Data for Local Geoid Enhancement. / Herceg, Matija; Knudsen, Per; Tscherning, Carl Christian.

    Gravity, Geoid and Height Systems: Proceedings of the IAG Symposium GGHS2012. ed. / Urs Marti. Vol. 141 Springer, 2014. p. 133-142 (Gravity, Geoid and Heigh Systems).

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

  98. Published

    History Matching with Geostatistical Prior: A Smooth Formulation. / Melnikova, Yulia; Lange, Katrine; Zunino, Andrea; Cordua, Knud Skou; Mosegaard, Klaus.

    Mathematics of Planet Earth. Springer, 2014. p. 703-707 (Lecture Notes in Earth Sciences).

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

  99. Published

    How to Securely Release Unverified Plaintext in Authenticated Encryption. / Andreeva, Elena; Bogdanov, Andrey; Luykx, Atul; Mennink, Bart; Mouha, Nicky; Yasuda, Kan.

    Advances in Cryptology – ASIACRYPT 2014: Proceedings of the 20th International Conference on the Theory and Application of Cryptology and Information Security - Part I. ed. / Palash Sarkar; Tetsu Iwata. Springer, 2014. p. 105-125 (Lecture Notes in Computer Science; No. 8873).

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

  100. Published

    ICT-powered Health Care Processes. / Carbone, Marco; Christensen, Anders Skovbo; Nielson, Flemming; Nielson, Hanne Riis; Hildebrandt, Thomas; Sølvkjær, Martin.

    Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers. Springer, 2014. p. 59-68 (Lecture Notes in Computer Science, Vol. 8315).

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

  101. Published

    Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation. / Simonsen, Kent Inge; Kristensen, Lars Michael.

    Distributed Applications and Interoperable Systems: Proceedings of the 14th IFIP WG 6.1 International Conference, DAIS 2014. ed. / Kostas Magoutis; Peter Pietzuch. Springer, 2014. p. 104-118 (Lecture Notes in Computer Science, Vol. 8460).

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

  102. Published

    Indium Tin Oxide-Free Polymer Solar Cells: Toward Commercial Reality. / Angmo, Dechan; Espinosa Martinez, Nieves; Krebs, Frederik C.

    Low-cost Nanomaterials : Toward Greener and More Efficient Energy Applications. ed. / Z. Lin; J. Wang. Springer, 2014. p. 189-225 (Green Energy and Technology).

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

  103. Published

    Inherent resistivity of graphene to strong THz fields. / Turchinovich, Dmitry; Mics, Zoltán; Jensen, Søren; Parvez, Khaled; Ivanov, Ivan; Tielrooij, Klaas Jan; Koppens, Frank H. L.; Feng, Xinliang; Müllen, Klaus; Bonn, Mischa.

    Ultrafast Phenomena XIX. Proceedings of 19th International Conference on Ultrafast Phenomena. ed. / Kaoru Yamanouchi; Steven Cundiff; Regina de Vivie-Riedle; Makoto Kuwata-Gonokami; Louis DiMauro. 978-3-319-13241-9 : Springer, 2014. p. 623-625 (Springer Proceedings in Physics, Vol. 162).

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

  104. Published

    Integrating Renewables in Electricity Markets : Operational Problems. / Morales González, Juan Miguel; Conejo, Antonio J.; Madsen, Henrik; Pinson, Pierre; Zugno, Marco.

    Springer, 2014. 429 p. (International Series in Operations Research and Management Science, Vol. 205).

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

  105. Published

    Key Recovery Attacks on Recent Authenticated Ciphers. / Bogdanov, Andrey; Dobraunig, Christoph; Eichlseder, Maria; Lauridsen, Martin Mehl; Mendel, Florian; Schläffer, Martin; Tischhauser, Elmar Wolfgang.

    3rd International Conference on Cryptology and Information Security in Latin America. Springer, 2014. p. 274-287 (Lecture Notes in Computer Science, Vol. 8895).

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

  106. Published

    Lazy Modulus Switching for the BKW Algorithm on LWE. / Albrecht, Martin Roland; Faugère, Jean-Charles; Fitzpatrick, Robert; Perret, Ludovic.

    Public-Key Cryptography – PKC 2014: Proceedings. Springer, 2014. p. 429-445 (Lecture Notes in Computer Science, Vol. 8383).

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

  107. Published

    Leverage of Behavioural Patterns of Window Opening and Heating Set Point Adjustments on Energy Consumption and Thermal Comfort in Residential Buildings. / Corgnati, Stefano Paolo; D'Oca, Simona; Fabi, Valentina; Andersen, Rune Korsholm.

    Proceedings of the 8th International Symposium on Heating, Ventilation and Air Conditioning. Vol. 261 Springer, 2014. p. 23-31 (Lecture Notes in Electrical Engineering).

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

  108. Published

    Library Support for Resource Constrained Accelerators. / Brock-Nannestad, Laust; Karlsson, Sven .

    Using and Improving OpenMP for Devices, Tasks, and More: Proceedings of the 10th International Workshop on OpenMP, IWOMP 2014. ed. / Luiz DeRose; Bronis R. de Supinski; Stephen L. Olivier; Barbara M. Chapman; Matthias S. Müller. Springer, 2014. p. 187-201 (Lecture Notes in Computer Science; No. 8766).

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

  109. Published

    LTE Micro-cell Deployment for High-Density Railway Areas. / Sniady, Aleksander; Kassab, Mohamed; Soler, José; Berbineau, Marion.

    Communication Technologies for Vehicles. Proceedings. Springer, 2014. p. 143-155 (Lecture Notes in Computer Science, Vol. 8435).

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

  110. Published

    Mathematical Properties Relevant to Geomagnetic Field Modeling. / Sabaka, Terence J.; Hulot, Gauthier; Olsen, Nils.

    Handbook of Geomathematics. ed. / Willi Freeden; M. Zuhair Nashed; Thomas Sonar . Springer, 2014.

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

  111. Published

    Measurements and modeling of the wind profile up to 600 meters at a flat coastal site. / Batchvarova, Ekaterina; Gryning, Sven-Erik; Floors, Rogier Ralph; Vincent, Claire Louise; Peña, Alfredo; Mikkelsen, Torben.

    Air Pollution Modeling and its Application XXII. ed. / Douw G. Steyn; Peter J.H. Builtjes; Renske M.A. Timmermans. Springer, 2014. p. 565-569 (NATO Science for Peace and Security Series C: Environmental Security).

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

  112. Published

    Methods for dynamic investigations of surface-attached in vitro bacterial and fungal biofilms.. / Sternberg, Claus; Bjarnsholt, Thomas; Shirtliff, Mark.

    Microbial Biofi lms: Methods and Protocols. ed. / Donelli Gianfranco. Vol. 1147 Springer, 2014. p. 3-22 (Methods in Molecular Biology, Vol. 1147).

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

  113. Methods for service life prediction in refractory materials. / Cannio, M.; Boccaccini, Dino; Boccaccini, A.R.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3008-3018.

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

  114. Published

    Methods for studying biofilm formation: flow cells and confocal laser scanning microscopy.. / Tolker-Nielsen, Tim; Sternberg, Claus.

    Pseudomonas Methods and Protocols. ed. / Alain Filloux; Juan-Luis Ramos. Vol. 1149 Springer, 2014. p. 615-629 (Methods in Molecular Biology, Vol. 1149).

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

  115. Published

    Metrics and Evaluation Models for Accessible Television. / Li, Dongxiao ; Looms, Peter Olaf.

    Universal Access in Human-Computer Interaction. Design for All and Accessibility Practice: Proceedings, Part IV. Vol. 8516 Springer, 2014. p. 564–571 (Lecture Notes in Computer Science, Vol. 8516).

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

  116. Microstructural tailoring of thermal shock resistance in refractory materials. / Cannio, M.; Boccaccini, Dino; Leonelli, C.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3042-3056.

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

  117. Published

    Model-Based Motion Tracking of Infants. / Olsen, Mikkel Damgaard; Herskind, Anna; Nielsen, Jens Bo; Paulsen, Rasmus Reinhold.

    Computer Vision – ECCV 2014 Workshops: Proceedings, Part III. ed. / Lourdes Agapito; Michael M. Bronstein; Carsten Rother. Springer, 2014. p. 673-685 (Lecture Notes in Computer Science, Vol. 8927).

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

  118. Published

    Multi-agents Based Modelling for Distribution Network Operation with Electric Vehicle Integration. / Hu, Junjie; Morais, Hugo; Zong, Yi; You, Shi; Bindner, Henrik W.; Wang, Lei; Wu, Qidi.

    Intelligent Computing in Smart Grid and Electrical Vehicles . ed. / Kang Li. Springer, 2014. p. 349-358 (Communications in Computer and Information Science, Vol. 463).

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

  119. Published

    N3 Bias Field Correction Explained as a Bayesian Modeling Method. / Larsen, Christian Thode; Iglesias, Juan Eugenio; Van Leemput, Koen.

    Bayesian and Graphical Models for Biomedical Imaging: Revised Selected Papers of the first International Workshop on Bayesian and Grahical Models for Biomedical Imaging, BAMBI 2014. Springer, 2014. p. 1-12 (Lecture Notes in Computer Science; No. 8677).

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

  120. New Methods for the Assessment of Thermal Shock Resistance in Refractory Materials. / Cannio, M.; Boccaccini, Dino; Romagnoli, M.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3293-3307.

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

  121. Published

    On the Efficacy of Solving LWE by Reduction to Unique-SVP. / Albrecht, Martin Roland; Fitzpatrick, Robert; Göpfert, Florian .

    Information Security and Cryptology - ICISC 2013. Revised Selected Papers. Springer, 2014. p. 293–310 (Lecture Notes in Computer Science, Vol. 8565).

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

  122. Published

    On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters. / Störrle, Harald.

    Proceedings of 17th International Conference on Model Driven Engineering Languages and Systems. ed. / J. Dingel; W. Schulte; I. Ramos; S. Abrahao; E. Insfran. Springer, 2014. p. 518-534 (Lecture Notes in Computer Science, Vol. 8767).

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

  123. Published

    On the (In)Equivalence of Impossible Differential and Zero-Correlation Distinguishers for Feistel- and Skipjack-Type Ciphers. / Blondeau, Celine; Bogdanov, Andrey; Wang, Meiqin.

    Applied Cryptography and Network Security. Springer, 2014. p. 271-288 (Lecture Notes in Computer Science, Vol. 8479).

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

  124. Published

    On the Wrong Key Randomisation and Key Equivalence Hypotheses in Matsui’s Algorithm 2. / Bogdanov, Andrey; Tischhauser, Elmar.

    Fast Software Encryption. Revised Selected Papers. Springer, 2014. p. 19-38 (Lecture Notes in Computer Science, Vol. 8424).

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

  125. Published

    Optical Coherence Tomography. / Mogensen, Mette; Themstrup, Lotte; Banzhaf, Christina; Marschall, Sebastian; Andersen, Peter E.; Jemec, Gregor B. E. J.

    Skin Cancer: A Practical Approach. ed. / Alfonso Baldi; Paola Pasquali; Enrico P. Spugnini. Springer, 2014. p. 257-266 (Current Clinical Pathology).

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

  126. Published

    Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. / Cerrito, Serenella ; David, Amelie ; Goranko, Valentin.

    Automated Reasoning. Proceedings. Vol. 8562 Springer, 2014. p. 277–291 (Lecture Notes in Computer Science, Vol. 8562).

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

  127. Published

    Parallel Processing and Applied Mathematics. 10th International Conference, PPAM 2013. Revised Selected Papers. / Wyrzykowski, Roman (Editor); Dongarra, Jack (Editor); Karczewski, Konrad (Editor); Wasniewski, Jerzy (Editor).

    Springer, 2014. 817 p. (Lecture Notes in Computer Science, Vol. 8384).

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

  128. Published

    Pareto Efficient Solutions of Attack Trees. / Aslanyan, Zaruhi; Nielson, Flemming.

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

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

  129. Published

    Particle Swarm Optimization of Electricity Market Negotiating Players Portfolio. / Pinto, Tiago; Vale, Zita; Sousa, Tiago; Morais, Hugo; Praca, Isabel.

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

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

  130. Published

    Patient Specific Simulation for Planning of Cochlear Implantation Surgery. / Vera, Sergio; Perez, Frederic ; Balust, Clara ; Trueba, Ramon ; Rubió, Jordi ; Calvo, Raul ; Mazaira, Xavier ; Danasingh, Anandhan ; Barazzetti, Livia ; Reyes, Mauricio; Ceresa, Mario; Fagertum, Jens ; Kjer, Hans Martin; Paulsen, Rasmus Reinhold; González Ballester, Miguel Angel.

    Clinical Image-based Procedures: Translational Research in Medical Imaging : Third International Workshop on Clinical Image-based Procedures. Revised Selected Papers.. ed. / Marius George Linguraru; Cristina Oyarzun Laura; Raj Shekhar; Stefan Wesarg; Miguel Ángel González Ballester; Klaus Drechsler; Yoshinobu Sato; Marius Erdt. Springer, 2014. p. 101-108 (Lecture Notes in Computer Science, Vol. 8680).

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

  131. Published

    Patient-Specific Simulation of Implant Placement and Function for Cochlear Implantation Surgery Planning. / Ceresa, Mario; Mangado Lopez, Nerea; Dejea Velardo, Hector; Herrezuelo, Noemi Carranza ; Mistrik, Pavel; Kjer, Hans Martin; Vera, Sergio; Paulsen, Rasmus Reinhold; González Ballester, Miguel Angel.

    Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014: Proceedings of the 17th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI), Part II. ed. / Polina Golland; Nobuhiko Hata; Christian Barillot; joachim Hornegger; Robert Howe. Springer, 2014. p. 49-56 (Lecture Notes in Computer Science, Vol. 8674).

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

  132. Published

    Perceiving design as modelling: A cybernetic systems perspective. / Maier, Anja; Wynn, David C.; Howard, Thomas J.; Andreasen, Mogens Myrup.

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

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

  133. Published

    PetriCode: A Tool for Template-Based Code Generation from CPN Models. / Simonsen, Kent Inge.

    Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers. ed. / Steve Counsell; Manuel Núnez. Springer, 2014. p. 151-163 (Lecture Notes in Computer Science, Vol. 8368).

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

  134. Published

    Planar Parametrization in Isogeometric Analysis. / Gravesen, Jens; Evgrafov, Anton ; Nguyen, Dang-Manh; Nørtoft, Peter.

    Mathematical Methods for Curves and Surfaces: 8th International Conference, MMCS 2012, Oslo, Norway, June 28 – July 3, 2012, Revised Selected Papers. Springer, 2014. (Lecture Notes in Computer Science, Vol. 8177).

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

  135. Published

    Polymers for Fuel Cells. / Aili, David; Jensen, Jens Oluf; Li, Qingfeng.

    Encyclopedia of Polymeric Nanomaterials. Springer, 2014.

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

  136. Published

    Practical Cryptanalysis of a Public-key Encryption Scheme Based on New Multivariate Quadratic Assumptions. / Albrecht, Martin Roland; Faugére, Jean-Charles; Fitzpatrick, Robert; Perret, Ludovic; Todo, Yosuke; Xagawa, Keita.

    Public-Key Cryptography – PKC 2014: 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014. Proceedings. Springer, 2014. p. 446-464 (Lecture Notes in Computer Science, Vol. 8383).

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

  137. Published

    Probabilistic shortest path tractography in DTI using Gaussian Process ODE solvers. / Schober, Michael; Kasenburg, Niklas; Feragen, Aasa ; Hennig, Philipp; Hauberg, Søren.

    Proceedings of the 17th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 2014), Part III. ed. / Polina Golland; Nobuhiko Hata; Christian Barillot; Joachim Hornegger; Robert Howe. Springer, 2014. p. 265-272 (Lecture Notes in Computer Science; No. 8675).

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

  138. Programming and Verifying Component Ensembles. / De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco.

    From Programs to Systems. The Systems perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Springer, 2014. p. 69-83 (Lecture Notes in Computer Science, Vol. 8415).

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

  139. Published

    Protocol for Evaluating the Permissiveness of Bacterial Communities Toward Conjugal Plasmids by Quantification and Isolation of Transconjugants. / Klümper, Uli; Dechesne, Arnaud; Smets, Barth F.

    Hydrocarbon and Lipid Microbiology Protocols. ed. / T. J. McGenity. Springer, 2014. (Springer Protocols Handbooks, Vol. 2014).

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

  140. Published

    Reinforcement Learning Based on the Bayesian Theorem for Electricity Markets Decision Support. / Sousa, Tiago; Pinto, Tiago; Praca, Isabel; Vale, Zita; Morais, Hugo.

    Distributed Computing and Artificial Intelligence. Springer, 2014. p. 141-48 (Advances in Intelligent Systems and Computing, Vol. 290).

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

  141. Published

    Remote Biometrics for Robust Persistent Authentication. / Ingwar, Mads Ingerslew; Jensen, Christian D.

    Data Privacy Management and Autonomous Spontaneous Security: 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013. Revised Selected Papers. ed. / Joaquin Garcia-Alfaro; Georgios Lioudakis; Nora Cuppens-Boulahia; Simon Foley; William M. Fitzgerald. Springer, 2014. p. 250-267 (Lecture Notes in Computer Science; No. 8247).

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

  142. Published

    Reservoir Modeling Combining Geostatistics with Markov Chain Monte Carlo Inversion. / Zunino, Andrea; Lange, Katrine; Melnikova, Yulia; Hansen, Thomas Mejer; Mosegaard, Klaus.

    Mathematics of Planet Earth Lecture : Proceedings of the 15th Annual Conference of the International Association for Mathematical Geosciences. Springer, 2014. p. 683-687 (Lecture Notes in Earth Science).

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

  143. Published

    Route 66: Passively Breaking All GSM Channels. / Vejre, Philip S.; Bogdanov, Andrey.

    Information Security and Privacy: 19th Australasian Conference, ACISP 2014. Proceedings. Springer, 2014. p. 422-429 (Lecture Notes in Computer Science, Vol. 8544).

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

  144. Published

    Security and Privacy in Video Surveillance: Requirements and Challenges. / Mahmood Rajpoot, Qasim; Jensen, Christian D.

    ICT Systems Security and Privacy Protection: Proceedings of the 29th International Information Security and Privacy Conference (IFIP SEC) 2014. ed. / Nora Cuppens-Boulahia; Sushil Jajodia; Anas Abou El Kalam; Thierry Sans. Springer, 2014. p. 169-184 (IFIP AICT - Advances in Information and Communication technology, Vol. 428).

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

  145. Published

    Security and Trust Management : 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings. / Mauw, Sjouke (Editor); Jensen, Christian D. (Editor).

    Springer, 2014. 208 p. (Lecture Notes in Computer Science, Vol. 8743).

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

  146. Published

    Smart Multicore Embedded Systems. / Torquati, Massimo (Editor); Bertels, Koen (Editor); Karlsson, Sven (Editor); Pacull, Francois (Editor).

    Springer, 2014. 175 p.

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

  147. Published

    Smart Rotor Modeling: Aero-Servo-Elastic Modeling of a Smart Rotor with Adaptive Trailing Edge Flaps. / Bergami, Leonardo.

    Springer, 2014. 156 p. (Research Topics in Wind Energy, Vol. 3).

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

  148. Published

    Sources of the Geomagnetic Field and the Modern Data That Enable Their Investigation. / Olsen, Nils; Hulot, Gauthier; Sabaka, Terence J.

    Handbook of Geomathematics. ed. / Willi Freeden; M. Zuhair Nashed; Thomas Sonar . Springer, 2014.

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

  149. Published

    Strategic Bidding for Electri city Markets Negotiation Using Support Vector Machines. / Pereira, Rafael; Sousa, Tiago; Pinto, Tiago; Praca, Isabel; Morais, Hugo.

    Trends in Practical Applications of Heterogeneous Multi-Agent Systems.: The PAAMS Collection. ed. / J.M. Corchado. Springer, 2014. p. 9-17 (Advances in Intelligent Systems and Computing, Vol. 293).

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

  150. Published

    Sublinear Space Algorithms for the Longest Common Substring Problem. / Kociumaka, Tomasz; Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel.

    Algorithms - ESA 2014: Proceedings of the 22th Annual European Symposium 2014. ed. / Andreas S. Schulz; Dorothea Wagner. Springer, 2014. p. 605-617 (Lecture Notes in Computer Science, Vol. 8737).

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

  151. Published

    Symmetry Reduction in Infinite Games with Finite Branching. / Markey, Nicolas; Vester, Steen.

    Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014). ed. / Franck Cassez; Jean-François Raskin. Springer, 2014. p. 281-296 (Lecture Notes in Computer Science; No. 8837).

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

  152. Published

    Synthetic Plasmid Biology. / Bentzon-Tilia, Mikkel; Sørensen, Søren Johannes; Hansen, Lars Hestbjerg.

    Molecular Life Sciences: An Encyclopedic Reference. Springer, 2014.

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

  153. Published

    The AORTA Architecture: Integrating Organizational Reasoning in Jason. / Jensen, Andreas Schmidt; Dignum, Virginia; Villadsen, Jørgen.

    Engineering Multi-Agent Systems. Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers. ed. / Fabiano Dalpiaz; Jürgen Dix; M. Birna van Riemsdijk. Springer, 2014. p. 127-145 (Lecture Notes in Computer Science, Vol. 8758).

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

  154. Published

    The Guided System Development Framework: Modeling and Verifying Communication Systems. / Carvalho Quaresma, Jose Nuno; Probst, Christian W.; Nielson, Flemming.

    Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Proceedings, Part II. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2014. p. 509-523 (Lecture Notes in Computer Science, Vol. 8803).

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

  155. Published

    The importance of trust in computer security. / Jensen, Christian D.

    Proceedings of the 8th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2014). ed. / Jianying Zhou; Nurit Gal-Oz; Jie Zhang; Ehud Gudes. Springer, 2014. p. 1-12 (IFIP AICT - Advances in Information and Communication technology, Vol. 430).

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

  156. Published

    The LOCAL attack: Cryptanalysis of the authenticated encryption scheme ALE. / Khovratovich, Dmitry; Rechberger, Christian.

    Selected Areas in Cryptography - SAC 2013. Revised Selected Papers. Springer, 2014. p. 174-184 (Lecture Notes in Computer Science, Vol. 8282).

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

  157. Published

    The role of simulation in designing for universal access. / Keates, Simeon; Looms, Peter.

    Universal Access in Human-Computer Interaction. Design and Development Methods for Universal Access: 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I. ed. / Stephanidis Constantine ; Antona Margherita . Vol. 8513 Springer, 2014. p. 54-63 (Lecture Notes in Computer Science).

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

  158. Published

    The stochastic quality calculus. / Zeng, Kebin; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages. Proceedings. ed. / Eva Kühn; Rosario Pugliese. Springer, 2014. p. 179-193 (Lecture Notes in Computer Science, Vol. 8459).

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

  159. Published

    The Use of Modelling Methods for Product Configuration in Industrial Applications. / Hvam, Lars; Bonev, Martin; Haug, Anders ; Mortensen, Niels Henrik.

    Proceedings of the 7th World Conference on Mass Customization, Personalization, and Co-Creation (MCPC 2014). ed. / T.D. Brunoe. Springer, 2014. p. 529-539 (Lecture Notes in Production Engineering).

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

  160. Published

    Time-resolved photoelectron spectroscopy and ab initio multiple spawning studies of hexamethylcyclopentadiene. / Wolf, T. J. A.; Kuhlman, Thomas Scheby; Schalk, O.; Martínez, T. J.; Møller, Klaus Braagaard; Stolow, A.; Unterreiner, A.-N.

    Ultrafast Phenomena XIX. Proceedings of the International Conference on Ultrafast Phenomena 2014. ed. / Kaoru Yamanouchi; Steven Cundiff; Regina de Vivie-Riedle; Makoto Kuwata-Gonokami; Louis DiMauro. Springer, 2014. p. 184-187 (Springer Proceedings in Physics, Vol. 162).

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

  161. Published

    Topology Optimization Using Multiscale Finite Element Method for High-Contrast Media. / Lazarov, Boyan Stefanov.

    Large-Scale Scientific Computing. Revised Selected Papers. Springer, 2014. p. 339–346 (Lecture Notes in Computer Science, Vol. 8353).

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

  162. Published

    Towards Constraining Glacial Isostatic Adjustment in Greenland Using ICESat and GPS Observations. / Nielsen, Karina; Sørensen, Louise Sandberg; Khan, Shfaqat Abbas; Spada, Giorgio; Simonsen, Sebastian Bjerregaard; Forsberg, René.

    Earth on the Edge: Science for a Sustainable Planet. ed. / C. Rizos; P. Willis. Springer, 2014. p. 325-331 (International Association of Geodesy Symposia, Vol. 139).

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

  163. Published

    Towards understanding the known-key security of block ciphers. / Andreeva, Elena; Bogdanov, Andrey; Mennink, Bart.

    Fast Software Encryption: 20th International Workshop, FSE 2013, Singapore, March 11-13, 2013. Revised Selected Papers. ed. / Shiho Moria. Springer, 2014. p. 348-366 (Lecture Notes in Computer Science, Vol. 8424).

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

  164. Published

    Understanding Complex Construction Systems Through Modularity. / Jensen, Tor Clarke; Bekdik, Baris; Thuesen, Christian.

    Proceedings of the 7th World Conference on Mass Customization, Personalization, and Co-Creation (MCPC 2014), Aalborg, Denmark, February 4th - 7th, 2014: Twenty Years of Mass Customization – Towards New Frontiers. Springer, 2014. p. 541-555 (Lecture Notes in Production Engineering).

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

  165. Published

    Uniform Protection for Multi-exposed Targets. / Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis.

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

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

  166. Published

    Ventilation System Type and the Resulting Classroom Temperature and Air Quality During Heating Season. / Gao, Jie; Wargocki, Pawel; Wang, Yi.

    Proceedings of the 8th International Symposium on Heating, Ventilation and Air Conditioning. Vol. 1 Springer, 2014. p. 203-214 (Lecture Notes in Electrical Engineering, Vol. 261).

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

  167. Published

    Verification of Stateful Protocols - Set-Based Abstractions in the Applied Pi-Calculus. / Bruni, Alessandro; Mödersheim, Sebastian Alexander; Nielson, Flemming; Nielson, Hanne Riis.

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

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

  168. Published

    Zero-correlation linear cryptanalysis with FFT and improved attacks on ISO standards Camellia and CLEFIA. / Bogdanov, Andrey; Geng, Huizheng; Wang, Meiqin; Wen, Long; Collard, Baudoin.

    Proceedings of the 20th International Conference on Selected Areas in Cryptography -- SAC 2013. Springer, 2014. p. 306-323 (Lecture Notes in Computer Science, Vol. 8282).

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

  169. 2013
  170. Published

    3D Surface Realignment Tracking for Medical Imaging: A Phantom Study with PET Motion Correction. / Olesen, Oline Vinter; Paulsen, Rasmus Reinhold; Jensen, Rasmus Ramsbøl; Keller, Sune H.; Sibomana, Merence; Højgaard, Liselotte; Roed, Bjarne; Larsen, Rasmus.

    Image-Based Geometric Modeling and Mesh Generation. ed. / Yongjie (Jessica) Zhang. Springer, 2013. p. 11-19 (Lecture Notes in Computational Vision and Biomechanics, Vol. 3).

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

  171. Published

    A Behavioral Study on the Effects of Rock Music on Auditory Attention. / Marchegiani, Letizia; Fafoutis, Xenofon.

    Human Behavior Understanding: 4th International Workshop, HBU 2013, Barcelona, Spain, October 22, 2013. Proceedings. Springer, 2013. p. 15-26 (Lecture Notes in Computer Science, Vol. 8212).

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

  172. Published

    A calculus for quality. / Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto.

    Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Springer, 2013. p. 188-204 .

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

  173. Published

    Agile Processes in Software Engineering and Extreme Programming : 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings. / Baumeister, Hubert (Editor); Weber, Barbara (Editor).

    Springer, 2013. (Lecture Notes in Business Information Processing, Vol. 149).

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

  174. Published

    A multi-level and participatory model for prevention of work-related stress in knowledge work. / Ipsen, Christine; Andersen, Vibeke.

    Salutogenic organizations and change: The concepts behind organizational health intervention research. ed. / Georg F. Bauer; Gregor J. Jenny. Springer, 2013.

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

  175. Published

    An All-In-One Approach to Differential Cryptanalysis for Small Block Ciphers. / Albrecht, Martin Roland; Leander, Gregor.

    Selected Areas in Cryptography: 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers. Springer, 2013. p. 1-15 (Lecture Notes in Computer Science, Vol. 7707).

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

  176. Published

    An Improved Optimization Method for the Relevance Voxel Machine. / Ganz, Melanie; Sabuncu, M. R.; Van Leemput, Koen.

    Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Springer, 2013. p. 147-154 (Lecture Notes in Computer Science, Vol. 8184).

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

  177. Published

    An LNS Approach for Container Stowage Multi-port Master Planning. / Pacino, Dario.

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

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

  178. Published

    An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers. / Goranko, Valentin; Turrini, Paolo.

    Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. Springer, 2013. p. 110-123.

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

  179. Published

    Application for Wind Turbine Blades. / McGugan, Malcolm.

    New Trends in Structural Health Monitoring. ed. / Wieslaw Ostachowicz; Alfredo Güemes . Springer, 2013. p. 373-427 (International Centre for Mechanical Sciences. Courses and Lectures, Vol. 542).

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

  180. Published

    Applying mechanistic models in bioprocess development.. / Lencastre Fernandes, Rita; Bodla, Vijaya Krishna; Carlquist, Magnus; Heins, Anna-Lena; Eliasson Lantz, Anna; Sin, Gürkan; Gernaey, Krist V.

    Advances in Biochemical Engineering/Biotechnology . Springer, 2013. p. 137–166 (Advances in Biochemical Engineering. Biotechnology, Vol. 132).

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

  181. Published

    A Probabilistic, Non-parametric Framework for Inter-modality Label Fusion. / Iglesias, Juan Eugenio; Sabuncu, Mert Rory; Van Leemput, Koen.

    Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III. Springer, 2013. p. 576-583 (Lecture Notes in Computer Science, Vol. 8151).

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

  182. Published

    A Seligman-Style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin.

    Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Springer, 2013. p. 147-163.

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

  183. Published

    Binaural Localization and Detection of Speakers in Complex Acoustic Scenes. / May, Tobias; van de Par, S.; Kohlrausch, A.

    The Technology of Binaural Listening: Modern Acoustics and Signal Processing. ed. / Jens Blauert. Springer, 2013. p. 397-425.

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

  184. Published

    BioFET-SIM : A Tool for the Analysis and Prediction of Signal Changes in Nanowire-Based Field Effect Transistor Biosensors. / Hediger, M. R.; Martinez, K. L.; Nygård, J.; Brandbyge, Mads; Jensen, J. H.; De Vico, L.

    Nanoscale sensors. Springer, 2013. p. 55-86 (Lecture Notes in Nanoscale Science and Technology, Vol. 15).

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

  185. Published

    Bisimulation for Single-Agent Plausibility Models. / Andersen, Mikkel Birkegaard; Bolander, Thomas; van Ditmarsch, H.; Jensen, Martin Holm.

    AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Springer, 2013. p. 277-288 (Lecture Notes in Computer Science, Vol. 8272).

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

  186. Published

    Broadcast, Denial-of-Service, and Secure Communication. / Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis.

    Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Springer, 2013. p. 412-427 (Lecture Notes in Computer Science, Vol. 7940).

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

  187. Published

    Can comodulation masking release occur when frequency changes could promote perceptual segregation of the on-frequency and flanking bands?. / Verhey, Jesko L; Epp, Bastian; Stasiak, Arkadiusz; Winter, Ian M.

    Advances in Experimental Medicine and Biology. Vol. 787 Springer, 2013. p. 475-482 (Advances in Experimental Medicine and Biology).

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

  188. Published

    Change in mass and damping on vertically vibrating footbridges due to pedestrians. / Georgakis, Christos T.; Jørgensen, Nina G.

    Topics in Dynamics of Bridges, Volume 3: Proceedings of the 31st IMAC, A Conference on Structural Dynamics, 2013. ed. / Alvaro Cunha. Vol. 3 Springer, 2013. p. 37-45 (Conference Proceedings of the Society for Experimental Mechanics Series).

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

  189. Published

    Climate Change Impact Assessment of Dike Safety and Flood Risk in the Vidaa River System. / Madsen, H.; Sunyer Pinya, Maria Antonia; Larsen, J.; Madsen, M. N.; Møller, B.; Drückler, T.; Matzdorf, M.; Nicolaisen, J.

    Climate Change and Disaster Risk Management: Climate Change Management. ed. / W. Leal Filho. Springer, 2013. p. 583-595.

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

  190. Published

    Compact q-gram Profiling of Compressed Strings. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.

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

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

  191. Published

    Comparison of Algal Biodiesel Production Pathways Using Life Cycle Assessment Tool. / Singh, Anoop; Olsen, Stig Irving.

    Life Cycle Assessment of Renewable Energy Sources. Springer, 2013. p. 145-168 (Green Energy and Technology).

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

  192. Published

    Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. / Greenyer, Joel; Kindler, Ekkart.

    Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Springer, 2013. p. 774-789 (Lecture Notes in Computer Science, Vol. 8107).

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

  193. Published

    Computational Logistics : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings. / Pacino, Dario (Editor); Voß, Stefan (Editor); Jensen, Rune Møller (Editor).

    Springer, 2013. 269 p. (Lecture Notes in Computer Science, Vol. 8197).

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

  194. Published

    Conceptual Pathway Querying of Natural Logic Knowledge Bases from Text Bases. / Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer; Anker Jensen, Per; Lassen, Tine.

    Flexible Query Answering Systems: 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. ed. / Henrik Legind Larsen; Maria J. Martin-Bautista; María Amparo Vila; Troels Andreasen; Henning Christiansen. Springer, 2013. p. 1-12 (Lecture Notes in Computer Science, Vol. 8132).

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

  195. Published

    Cormorants in Denmark : Re-enforced management and scientific evidence. / Jepsen, Niels; Olesen, Thomas.

    Human-Wildlife Conflicts in Europe: Fisheries and Fish-eating Vertebrates as a Model Case. ed. / Reinhard A. Klenke; Irene Ring; Andreas Kranz; Niels Jepsen; Felix Rauschmayer; Klaus Henle. Berlin : Springer, 2013. p. 165-183 (Environmental Science).

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

  196. Published

    Deciding between Conflicting Influences. / Jensen, Andreas Schmidt.

    Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Springer, 2013. p. 137-155 (Lecture Notes in Computer Science, Vol. 8245).

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

  197. Published

    Deciding bisimilarities on distributions. / Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun.

    Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer, 2013. p. 72-88 (Lecture Notes in Computer Science, Vol. 8054).

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

  198. Published

    Deciding on PSS: A Framework for PSS Strategies. / Neugebauer, Line Maria; Mougaard, Krestine; Andersen, Jakob Axel Bejbro; 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. 299-310 (Lecture Notes in Production Engineering).

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

  199. Published

    Defining Privacy Is Supposed to Be Easy. / Mödersheim, Sebastian Alexander; Gross, Thomas; Viganò, Luca.

    Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Springer, 2013. p. 619-635 (Lecture Notes in Computer Science, Vol. 8312).

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

  200. Published

    Detecting and Preventing Beacon Replay Attacks in Receiver-Initiated MAC Protocols for Energy Efficient WSNs. / Di Mauro, Alessio; Fafoutis, Xenofon; Mödersheim, Sebastian Alexander; Dragoni, Nicola.

    Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. Springer, 2013. p. 1-16 (Lecture Notes in Computer Science, Vol. 8208).

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

  201. Published

    Development of a GPU-accelerated MIKE 21 Solver for Water Wave Dynamics. / Aackermann, Peter Edward ; Pedersen, Peter Juhler Dinesen; Engsig-Karup, Allan Peter; Clausen, Thomas; Grooss, Jesper.

    Facing the Multicore-Challenge III: Aspects of New Paradigms and Technologies in Parallel Computing. Springer, 2013. p. 129-130 (Lecture Notes in Computer Science, Vol. 7686).

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

  202. Published

    Diagrammatic Reasoning with Classes and Relationships. / Nilsson, Jørgen Fischer.

    Visual Reasoning with Diagrams. ed. / Amirouche Moktefi; Sun-Joo Shin. Springer, 2013. p. 83-100 (Studies in Universal Logic).

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

  203. Published

    Differences in Radiotherapy Delivery and Outcome Due to Contouring Variation. / Hollensen, Christian; Persson, Gitte; Højgaard, Liselotte; Specht, Lena; Larsen, Rasmus.

    Clinical Image-Based Procedures. From Planning to Intervention: International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers. Springer, 2013. p. 122-129 (Lecture Notes in Computer Science, Vol. 7761).

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

  204. Differential Cryptanalysis of Keccak Variants. / Kölbl, Stefan; Mendel, Florian; Nad, Tomislav; Schläffer, Martin.

    Cryptography and Coding: 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings. Springer, 2013. p. 141-157 (Lecture Notes in Computer Science; No. 8308).

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

  205. Published

    Dynamical System Approaches to Combinatorial Optimization. / Starke, Jens.

    Handbook of Combinatorial Optimization. ed. / Panos M. Pardalos; Ding-Zhu Du; Ronald L. Graham. Springer, 2013. p. 1065-1124.

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

  206. Published

    Electrical Vehicles Activities Around the World. / Schauer, Gerd; Garcia-Valle, Rodrigo.

    Electric Vehicle Integration into Modern Power Networks . Springer, 2013. p. 273-319 .

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

  207. Published

    Energy Efficiency in Large Scale Distributed Systems : COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers. / Pierson, Jean-Marc (Editor); Da Costa, Georges (Editor); Dittmann, Lars (Editor).

    Springer, 2013. (Lecture Notes in Computer Science).

    Publication: ResearchBook – Annual report year: 2013

  208. Published

    Engineering a Multi-Agent System in GOAL. / Villadsen, Jørgen; Jensen, Andreas Schmidt; Christensen, Nicolai Christian ; Hess, Andreas Viktor ; Johnsen, Jannick Boese ; Woller, Øyvind Grønland ; Ørum, Philip Bratt .

    Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Springer, 2013. p. 329-338 (Lecture Notes in Computer Science, Vol. 8245).

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

  209. ETLMR: A Highly Scalable Dimensional ETL Framework Based on MapReduce. / Liu, Xiufeng; Thomsen, Christian; Bach Pedersen, Torben .

    Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII : Special Issue on Advances in Data Warehousing and Knowledge Discovery. Springer, 2013. p. 1-31 (Lecture Notes in Computer Science, Vol. 7790). (LNCS Transactions on Large-Scale Data- and Knowledge-Centered Systems).

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

  210. Published

    Extracting Sound-Source-Distance Information from Binaural Signals. / Georganti, E.; May, Tobias; van de Par, S.; Mourjopoulos, J.

    The Technology of Binaural Listening: Modern Acoustics and Signal Processing. ed. / Jens Blauert. Springer, 2013. p. 171-199.

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

  211. Published

    Extreme swimming: The oceanic migrations of anguillids. / Righton, David; Aarestrup, Kim; Jellyman, Don; Sébert, Philipe; Thillart, Guido van den; Tsukamoto, Katsumi.

    Swimming Physiology of Fish: Towards Using Exercise to Farm a Fit Fish in Sustainable Aquaculture. ed. / Arjan P. Palstra; Josep V. Planas. Berlin : Springer, 2013. p. 19-44.

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

  212. Published

    Fast, Sequence Adaptive Parcellation of Brain MR Using Parametric Models. / Puonti, Oula; Iglesias, Juan Eugenio; Van Leemput, Koen.

    Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I. Springer, 2013. p. 727-734 (Lecture Notes in Computer Science, Vol. 8149).

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

  213. Published

    Fides: Lightweight Authenticated Cipher with Side-Channel Resistance for Constrained Hardware. / Bilgin, Begul; Bogdanov, Andrey; Knezevic, Miroslav; Mendel, Florian; Wang, Qingju.

    Cryptographic Hardware and Embedded Systems - CHES 2013: 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings. Springer, 2013. p. 142-158 (Lecture Notes in Computer Science, Vol. 8086).

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

  214. Published

    Fingerprints in Compressed Strings. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li; Sach, Benjamin; Vildhøj, Hjalte Wedel; Vind, Søren Juhl.

    Algorithms and Data Structures: 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings. Springer, 2013. p. 146-157 (Lecture Notes in Computer Science, Vol. 8037).

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

  215. Published

    Formal Model-Based Validation for Tally Systems. / Cochran, Dermot; Kiniry, Joseph.

    E-Voting and Identify: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings. Springer, 2013. p. 41-60 (Lecture Notes in Computer Science, Vol. 7985).

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

  216. Published

    Generating Protocol Software from CPN Models Annotated with Pragmatics. / Simonsen, Kent Inge; Kristensen, Lars M.; Kindler, Ekkart.

    Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Springer, 2013. p. 227-242 (Lecture Notes in Computer Science, Vol. 8195).

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

  217. Published

    Genus Zero Graph Segmentation: Estimation of Intracranial Volume. / Jensen, Rasmus Ramsbøl; Thorup, Signe Strann; Paulsen, Rasmus Reinhold; Darvann, Tron A.; Hermann, Nuno V.; Larsen, Per; Kreiborg, Sven; Larsen, Rasmus.

    Image Analysis: 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings. Springer, 2013. p. 290-298 (Lecture Notes in Computer Science, Vol. 7944).

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

  218. Published

    Grid support capabilities of wind turbines. / Michalke, Gabriele ; Hansen, Anca Daniela.

    Handbook of Wind Power Systems. ed. / P. Pardalos; S. Rebennack; M.V.F. Pereira; N.A. Iliadis; V. Pappu. Springer, 2013. p. 569-590 (Energy Systems).

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

  219. Published

    Hazard Identification of the Offshore Three-phase Separation Process Based on Multilevel Flow Modeling and HAZOP. / Wu, Jing; Zhang, Laibin; Lind, Morten; Liang, Wei; Hu, Jinqiu; Jørgensen, Sten Bay; Sin, Gürkan; Khokhar, Zia Ullah.

    Proceedings of The 26th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE). Springer, 2013. p. 421-430.

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

  220. Published

    Human - wildlife conflicts in Europe : Fisheries and fish-eating vertebrates as a model case. / Klenke, R.A. (Editor); Ring, I. (Editor); Kranz, A. (Editor); Jepsen, Niels (Editor); Rauschmayer, F. (Editor); Henle, K. (Editor).

    Berlin : Springer, 2013. 347 p. (Environmental Science).

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

  221. Published

    Importance of Life Cycle Assessment of Renewable Energy Sources. / Singh, Anoop (Editor); Olsen, Stig Irving (Editor); Pant, Deepak (Editor).

    Life Cycle Assessment of Renewable Energy Sources. Springer, 2013. p. 1-12 (Green Energy and Technology).

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

  222. Published

    Improved Impossible Differential Attacks on Large-Block Rijndael. / Wang, Qingju; Gu, Dawu; Rijmen, Vincent; Liu, Ya; Chen, Jiazhe; Bogdanov, Andrey.

    Information Security and Cryptology – ICISC 2012: 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers. Springer, 2013. p. 126-140 (Lecture Notes in Computer Science, Vol. 7839).

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

  223. Incentives in Multi-dimensional Auctions under Information Asymmetry for Costs and Qualities. / Papakonstantinou, Athanasios; Bogetoft, Peter.

    Agent-Mediated Electronic Commerce: Designing Trading Strategies and Mechanisms for Electronic Markets. ed. / Ester David; Christopher Kiekintveld; Onn Shebory. Springer, 2013. p. 104–118 (Lecture Notes in Business Information Processing, Vol. 136).

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

  224. Published

    Influences of Morphology and Doping on the Photoactivity of TiO2 Nanostructures. / Barakat, N. A. M.; Kanjwal, Muzafar Ahmad.

    Structural Nanocomposites: Perspectives for Future Applications. ed. / James Njuguna. London : Springer, 2013. p. 105-141.

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

  225. Published

    Is Synthesizing MRI Contrast Useful for Inter-modality Analysis?. / Iglesias, Juan Eugenio; Konukoglu, Ender; Zikic, Darko; Glocker, Ben; Van Leemput, Koen; Fischl, Bruce.

    Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I. Springer, 2013. p. 631-638 (Lecture Notes in Computer Science, Vol. 8149).

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

  226. Published

    Lazy Mobile Intruders. / Mödersheim, Sebastian Alexander; Nielson, Flemming; Nielson, Hanne Riis.

    Principles of Security and Trust: Second International Conference, POST 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. 147-166 (Logical Methods in Computer Science, Vol. 7796).

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

  227. Published

    Lessons Learned in Designing User-configurable Modular Robotics. / Lund, Henrik Hautop .

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

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

  228. Published

    Life Cycle Assessment of Renewable Energy Sources. / Singh, Anoop (Editor); Pant, Deepak (Editor); Olsen, Stig Irving (Editor).

    Springer, 2013. 293 p. (Green Energy and Technology).

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

  229. Published

    Marine Gravity and Geoid from Satellite Altimetry. / Andersen, Ole Baltazar.

    Geoid Determination - Theory and Methods. ed. / Fernando Sansò; Michael G. Sideris. Springer, 2013. p. 401-451 (Lecture Notes in Earth Sciences, Vol. 110).

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

  230. Published

    Maximizing Entropy over Markov Processes. / Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej.

    Language and Automata Theory and Applications: 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings. Springer, 2013. p. 128-140 (Lecture Notes in Computer Science, Vol. 7810).

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

  231. Published

    Measuring Sandy Bottom Dynamics by Exploiting Depth from Stereo Video Sequences. / Musumeci, Rosaria E.; Farinella, Giovanni M.; Foti, Enrico; Battiato, Sebastiano; Petersen, Thor Ugelvig; Sumer, B. Mutlu.

    Image Analysis and Processing – ICIAP 2013. Vol. 8156 Springer, 2013. p. 420-430 (Lecture Notes in Computer Science, Vol. 8156).

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

  232. Published

    Medical Information Retrieval Enhanced with User's Query Expanded with Tag-Neighbors. / Durao, Frederico; Bayyapu, Karunakar Reddy; Xu, Guandong; Dolog, Peter; Lage, Ricardo.

    Handbook of Medical and Healthcare Technologies. Vol. Part I Springer, 2013. p. 17-40 .

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

  233. Published

    MITHYS: Mind The Hand You Shake - Protecting Mobile Devices from SSL Usage Vulnerabilities. / Conti, M.; Dragoni, Nicola; Gottardo, S.

    Security and Trust Management: 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings. Springer, 2013. p. 65-81 (Lecture Notes in Computer Science, Vol. 8203).

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

  234. Published

    MOCQL: A Declarative Language for Ad-Hoc Model Querying. / Störrle, Harald.

    Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings. Springer, 2013. p. 3-19 (Lecture Notes in Computer Science, Vol. 7949).

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

  235. Published

    Modeling Horizontal Localization of Complex Sounds in the Impaired and Aided Impaired Auditory System. / Le Goff, Nicolas; Buchholz, J. M.; Dau, Torsten.

    The Technology of Binaural Listening: Modern Acoustics and Signal Processing. ed. / Jens Blauert. Springer, 2013. p. 121-144.

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

  236. Published

    Modelling speech intelligibility in adverse conditions.. / Jørgensen, Søren; Dau, Torsten.

    Basic Aspects of Hearing: Advances in Experimental Medicine and Biology. Vol. 787 Springer, 2013. p. 343-351 (Advances in Experimental Medicine and Biology).

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

  237. Published

    Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems. / Ahlbrecht, Tobias; Bender-Saebelkampf, Christian; Brito, Maiquel; Christensen, Nicolai Christian; Dix, Jürgen; Franco, Mariana Ramos; Heller, Hendrik; Hess, Andreas Viktor; Heßler, Axel; Hübner, Jomi Fred; Jensen, Andreas Schmidt; Johnsen, Jannick Boese; Köster, Michael; Li, Chengqian; Liu, Lu; Morato, Marcelo Menezes; Ørum, Philip Bratt; Schlesinger, Federico; Schmitz, TiagoLuiz; Sichman, Jaime Simão; Souza, Kaio Siqueira; Uez, Daniela Maria; Villadsen, Jørgen; Werner, Sebastian; Woller, Øyvind Grønland; Zatelli, Maicon Rafael.

    Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Springer, 2013. p. 366-390 (Lecture Notes in Computer Science, Vol. 8245).

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

  238. Published

    Multilevel Flow Modeling Based Decision Support System and Its Task Organization. / Zhang, Xinxin; Lind, Morten; Ravn, Ole.

    Lecture Notes in Computer Science : Recent Trends in Applied Artificial Intelligence . Vol. 7906 Springer, 2013. p. 431-440.

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

  239. Published

    Next-Practise in University Research Based Open Innovation - From Push to Pull: Case Studies from Denmark. / Rønnow Lønholdt, Jens; Wilken Bengtsson, Mille ; Karlby, Lone Tolstrup; Skovgaard Lund, Dorthe; Møller, Carsten; Nielsen, Jacob; Schwarz, Annette Winkel; Ulbak, Kristoffer Amlani.

    Innovation through Knowledge Transfer 2012. Vol. 18 Springer, 2013. p. 61-77 (Smart Innovation, Systems and Technologies).

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

  240. Published

    Ni-Based Solid Oxide Cell Electrodes. / Mogensen, Mogens Bjerg; Holtappels, Peter.

    Solid Oxide Fuels Cells: Facts and Figures: Past, Present and Future Perspectives for SOFC Technologies. ed. / John T.S. Irvine; Paul Connor. Springer, 2013. p. 25-45 (Green Energy and Technology).

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

  241. Published

    On Feature Relevance in Image-Based Prediction Models: An Empirical Study. / Konukoglu, E.; Ganz, Melanie; Van Leemput, Koen; Sabuncu, M. R.

    Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Springer, 2013. p. 171-178 (Lecture Notes in Computer Science, Vol. 8184).

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

  242. 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

  243. 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

  244. 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

  245. 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

  246. 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

  247. 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

  248. 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

  249. 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

  250. 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

  251. 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

  252. Prototypical Implementation of a Remanufacturing Oriented Grinding Machine. / da Silva, Eraldo Jannone; Ometto, Aldo Roberto; Rozenfeld, Henrique; Silva, Diogo A. Lopes; Antelmi Pigosso, Daniela Cristina; Alves Reis, vinicius Ricco.

    Leveraging Technology for a Sustainable World: Proceedings of the 19th CIRP Conference on Life Cycle Engineering, University of California at Berkeley, Berkeley, USA, May 23 - 25, 2012. ed. / David A. Dornfeld; Barbara S. Linke. Springer, 2013. p. 257-262.

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

  253. Published

    Regional Energy Planning Tool for Renewable Integrated Low-Energy District Heating Systems : Environmental Assessment. / Tol, Hakan; Dincer, Ibrahim; Svendsen, Svend .

    Causes, Impacts and Solutions to Global Warming. Springer, 2013. p. 859-878.

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

  254. Published

    Reimplementing a Multi-Agent System in Python. / Villadsen, Jørgen; Jensen, Andreas Schmidt; Ettienne, Mikko Berggren; Vester, Steen; Andersen, Kenneth Balsiger; Frøsig, Andreas.

    Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers. ed. / Mehdi Dastani; Jomi F. Hübner; Brian Logan. Springer, 2013. p. 205-216 (Lecture Notes in Computer Science, Vol. 7837).

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

  255. Published

    Revisiting Weak Simulation for Substochastic Markov Chains. / Jansen, David N.; Song, Lei; Zhang, Lijun.

    Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer, 2013. p. 209-224 (Lecture Notes in Computer Science, Vol. 8054).

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

  256. Published

    Safety versus Security in the Quality Calculus. / Nielson, Hanne Riis; Nielson, Flemming.

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

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

  257. Published

    Satellite Remote Sensing in Offshore Wind Energy. / Hasager, Charlotte Bay; Badger, Merete; Astrup, Poul; Karagali, Ioanna.

    Handbook of Wind Power Systems. ed. / Panos M. Pardalos; Steffen Rebennack; Mario V. F. Pereira; Niko A. Iliadis; Vijay Pappu. Springer, 2013. p. 711-745 (Energy Systems).

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

  258. Published

    Secure IT Systems : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. / Nielson, Hanne Riis (Editor); Gollmann, Dieter (Editor).

    Springer, 2013. (Lecture Notes in Computer Science, Vol. 8208).

    Publication: ResearchBook – Annual report year: 2013

  259. Published

    Security Games for Cyber-Physical Systems. / Vigo, Roberto; Bruni, Alessandro; Yuksel, Ender.

    Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. Springer, 2013. p. 17-32 (Lecture Notes in Computer Science, Vol. 8208).

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

  260. Published

    Seeking Constructive Synergy: Design Science and the Constructive Research Approach. / Piirainen, Kalle; Gonzalez, Rafael A. .

    Design Science at the Intersection of Physical and Virtual Design - Proceedings of the 8th International Conference. Springer, 2013. p. 59-72 (Lecture Notes in Computer Science; No. 7939).

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

  261. Published

    Selected Areas in Cryptography : 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers. / Knudsen, Lars Ramkilde (Editor); Wu, Huapeng (Editor).

    Springer, 2013. (Lecture Notes in Computer Science, Vol. 7707).

    Publication: ResearchBook – Annual report year: 2013

  262. Published

    Sparse suffix tree construction in small space. / Bille, Philip; Fischer, Johannes; Gørtz, Inge Li; Kopelowitz, Tsvi; Sach, Benjamin; Vildhøj, Hjalte Wedel.

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

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

  263. Published

    State of the Art on Different Types of Electric Vehicles. / Soares, F. J. ; Almeida, P.M. Rocha Almeida; Lopes, J.A. Pecas; Garcia-Valle, Rodrigo; Marra, Francesco.

    Electric Vehicle Integration into Modern Power Networks. Springer, 2013. p. 1-13.

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

  264. Published

    Statistical Quality Assessment of Pre-fried Carrots Using Multispectral Imaging. / Sharifzadeh, Sara; Clemmensen, Line Katrine Harder; Løje, Hanne; Ersbøll, Bjarne Kjær.

    Image Analysis: 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings. Springer, 2013. p. 620-629 (Lecture Notes in Computer Science, Vol. 7944).

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

  265. Published

    Synthetic Aperture Radar Data Processing on an FPGA Multi-Core System. / Schleuniger, Pascal; Kusk, Anders; Dall, Jørgen; Karlsson, Sven .

    Architecture of Computing Systems – ARCS 2013: 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings. Springer, 2013. p. 74-85 (Lecture Notes in Computer Science, Vol. 7767).

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

  266. Published

    Systematic Approach to Formulate PSS Development Project Proposals in the Fuzzy Front End. / Barquet, Ana Paula B.; Antelmi Pigosso, Daniela Cristina; Rozenfeld, Henrique.

    Product-Service Integration for Sustainable Solutions: Proceedings of the 5th CIRP International Conference on Industrial Product-Service Systems, Bochum, Germany, March 14th - 15th, 2013. ed. / Horst Meier. Springer, 2013. p. 121-130 (Lecture Notes in Production Engineering).

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

  267. 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

  268. 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

  269. 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

  270. 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

  271. 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

  272. 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

  273. 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

  274. 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

  275. 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

  276. 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

  277. Upper Ontology for Multi-Agent Energy Systems’ Applications. / Santos, Gabriel; Pinto, Tiago; Vale, Zita; Morais, Hugo; Praca, Isabel.

    Distributed Computing and Artificial Intelligence: Advances in Intelligent Systems and Computing. ed. / Sigeru Omatu; Jose Neves. Vol. 217 Springer, 2013. p. 617-624.

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

  278. Published

    What Genes Tell about Iris Appearance. / Harder, Stine; Christoffersen, Susanne R.; Johansen, Peter; Børsting, Claus; Morling, Niels; Andersen, Jeppe D.; Dahl, Anders Lindbjerg; Paulsen, Rasmus Reinhold.

    Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging: Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers. Springer, 2013. p. 244-253 (Lecture Notes in Computer Science, Vol. 7766).

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

  279. Published

    XACML 3.0 in Answer Set Programming. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Springer, 2013. p. 89-105 (Lecture Notes in Computer Science, Vol. 7844).

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

  280. 2012
  281. Published

    A branch-and-price algorithm for the long-term home care scheduling problem. / Gamst, Mette; Jensen, Thomas Sejr.

    Operations Research Proceedings 2011: Selected Papers of the International Conference on Operations Research. ed. / Diethard Klatte; Hans-Jakob Lüthi; Karl Schmedders. Springer, 2012. p. 483-488 (Operations Research Proceedings).

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

  282. Published

    Absorption Kinetics of Insulin Mixtures after Subcutaneous Administration. / Rasmussen, Christian H.; Søeborg, Tue; Mosekilde, Erik; Colding-Jorgensen, Morten.

    Biosimulation in Biomedical Research, Health Care and Drug Development. Springer, 2012. p. 329-359.

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

  283. Published

    A generative model for probabilistic label fusion of multimodal data. / Iglesias, Juan Eugenio; Sabuncu, Mert Rory; Van Leemput, Koen.

    Multimodal Brain Image Analysis: Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings. Springer, 2012. p. 115–133 (Lecture Notes in Computer Science, Vol. 7509).

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

  284. Published

    A look back: 57 years of scientific computing. / Wasniewski, Jerzy.

    Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011. ed. / Roman Wyrzykowski ; Jack Dongarra; Konrad Karczewski; Jerzy Wasniewski. Springer, 2012. p. 1-9 (Lecture Notes in Computer Science, Vol. 7203).

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

  285. Published

    Automated Generation of Safety Requirements from Railway Interlocking Tables. / Haxthausen, Anne Elisabeth.

    Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer, 2012. p. 261-275 (Lecture Notes in Computer Science, Vol. 7610).

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

  286. Published

    Auto-tuning Dense Vector and Matrix-vector Operations for Fermi GPUs. / Sørensen, Hans Henrik Brandenborg.

    Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011. ed. / Roman Wyrzykowski; Jack Dongarra; Konrad Karczewski; Jerzy Wasniewski. Springer, 2012. p. 619-629 (Lecture Notes in Computer Science, Vol. 7203).

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

  287. Published

    Bayesian methods in structural bioinformatics. / Hamelryck, Thomas Wim (Editor); Mardia, Kanti (Editor); Ferkinghoff-Borg, Jesper (Editor).

    Springer, 2012. 385 p. (Statistics for Biology and Health, Springer).

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

  288. Published

    Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm. / Jansen, David N.; Nielson, Flemming; Zhang, Lijun.

    NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Springer, 2012. p. 326-340 (Lecture Notes in Computer Science, Vol. 7226).

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

  289. Published

    Bicliques for Preimages: Attacks on Skein-512 and the SHA-2 Family. / Khovratovich, Dmitry; Rechberger, Christian; Savelieva, Alexandra.

    Fast Software Encryption: 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers. Springer, 2012. p. 244-263 (Lecture Notes in Computer Science, Vol. 7549).

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

  290. 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-reviewBook – Annual report year: 2012

  291. Published

    Case Study on Printed Matter in Denmark. / Larsen, Henrik Fred.

    Global Risk-Based Management of Chemical Additives Volume 1: Production, Usage and Environmental Occurrence. Springer, 2012. p. 167-181 (The Handbook of Environmental Chemistry; No. 18).

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

  292. Published

    Climate impacts on the Baltic Sea: From science to policy. / Reckermann, Marcus (Editor); Brander, Keith (Editor); MacKenzie, Brian (Editor); Omstedt, Anders (Editor).

    Berlin : Springer, 2012. 216 p. (Springer Earth System Sciences).

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

  293. Published

    Collaborative Product/Service-Systems – On conceptualisation of PSS offerings and business nets. / Mougaard, Krestine; Neugebauer, Line Maria; McAloone, Tim C.; Bey, Niki; Andersen, Jakob Axel Bejbro.

    The Philosopher's Stone for Sustainability: Proceedings of the 4th CIRP International Conference on Industrial Product-Service Systems. ed. / Yoshiki Shimomura; Koji Komita. Springer, 2012.

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

  294. Comparison between 2PB and 4PB methodologies based on the dissipated energy approach. / Pettinari, Matteo; Sangiorgi, C.; Petretto, F.; Picariello, F.

    7th RILEM International conference on cracking in pavements: Mechanisms, modeling, testing, detection, prevention and case histories. Vol. 4 Springer, 2012. p. 31-39 (RILEM Bookseries).

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

  295. Published

    Complex Strategic Choices : Applying Systemic Planning for Strategic Decision Making. / Leleur, Steen.

    Springer, 2012. 168 p. (Decision Engineering).

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

  296. Published

    Concepts in Mechanism Based Modeling. / Lund, Ole; Laugesen, Jakob Lund; Mosekilde, Erik.

    Biosimulation in Biomedical Research, Health Care and Drug Development. Springer, 2012. p. 19-41.

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

  297. Published

    Conditional Epistemic Planning. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm.

    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-reviewArticle in proceedings – Annual report year: 2012

  298. Published

    Controlling Parametric Resonance : Induction and Stabilization of Unstable Motions. / Galeazzi, Roberto; Pettersen, Kristin Ytterstad.

    Parametric Resonance in Dynamical Systems. ed. / T.I. Fossen; H Nijmeijer. Vol. 4 Springer, 2012. p. 305-327.

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

  299. Published

    Crowd-induced vibrations of a steel footbridge in Reykjavík. / Ingólfsson, Einar Thór; Gudmundsson, G. V.; Živanović, S.; Pavic, A.

    Conference Proceedings of the Society for Experimental Mechanics Series. Springer, 2012.

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

  300. Published

    Data Acquisition and Flux Calculations. / Rebmann, C.; Kolle, O; Heinesch, B; Queck, R.; Ibrom, Andreas; Aubinet, M.

    Eddy Covariance: A Practical Guide to Measurement and Data Analysis. ed. / Marc Aubinet; Timo Vesala; Dario Papale. Springer, 2012. p. 59-84.

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

  301. Published

    Data Driven Constraints for the SVM. / Darkner, Sune; Clemmensen, Line Katrine Harder.

    Machine Learning in Medical Imaging: Third International Workshop, MLMI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Revised Selected Papers. Springer, 2012. p. 70-77 (Lecture Notes in Computer Science, Vol. 7588).

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

  302. Published

    Deciding Security for a Fragment of ASLan. / Mödersheim, Sebastian Alexander.

    Computer Security – ESORICS 2012: 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Springer, 2012. p. 127-144 (Lecture Notes in Computer Science, Vol. 7459).

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

  303. Published

    Decoding Complex Cognitive States Online by Manifold Regularization in Real-Time fMRI. / Hansen, Toke Jansen; Hansen, Lars Kai; Madsen, Kristoffer Hougaard.

    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. 76-83 (Lecture Notes in Computer Science, Vol. 7263).

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

  304. Published

    Designing competitions for education in robotics. / Andersen, Nils Axel; Ravn, Ole.

    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-reviewArticle in proceedings – Annual report year: 2012

  305. Published

    Design Principles for Synthesizable Processor Cores. / Schleuniger, Pascal; McKee, Sally A.; Karlsson, Sven .

    Architecture of Computing Systems – ARCS 2012: 25th International Conference Munich, Germany, February 28 – March 2, 2012 Proceedings. Springer, 2012. p. 111-122 (Lecture Notes in Computer Science, Vol. 7179).

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

  306. Published

    Detection of Parametric Roll on Ships. / Galeazzi, Roberto; Blanke, Mogens; Poulsen, Niels Kjølstad.

    Parametric Resonance in Dynamical Systems . ed. / Thor I. Fossen; Henk Nijmeijer. Springer, 2012. p. 17-43.

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

  307. Published

    Dry etching for flat panel displays. / Stamate, Eugen; Yeom, Geun Young.

    Handbook of Visual Display Technology. ed. / Janglin Chen; Wayne Cranton; Mark Fihn. Springer, 2012. p. 871-884.

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

  308. Ecodesign Maturity Model: the Ecodesign Practices. / Antelmi Pigosso, Daniela Cristina; Rozenfeld, Henrique.

    Design for Innovative Value Towards a Sustainable Society : Proceedings of EcoDesign 2011: 7th International Symposium on Environmentally Conscious Design and Inverse Manufacturing. ed. / Mitsutaka Matsumoto; Yasushi Umeda; Keijiro Masui; Shinichi Fukushige. Springer, 2012. p. 424-429.

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

  309. Effect of different wet oxidation pretreatment conditions on ethanol fermentation from corn stover. / Qiang, Zhang; Thomsen, Anne Belinda.

    Information technology and agricultural engineering. ed. / Egui Zhu; Sabu Sambath. Springer, 2012. p. 953-958 (Advances in Intelligent and Soft Computing, Vol. 134).

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

  310. Published

    Electric Vehicle Integration into Modern Power Networks. / Garcia-Valle, Rodrigo (Editor); Lopes, João A. Peças (Editor).

    Springer, 2012. 325 p.

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

  311. Published

    Emergence of Oscillatory Dynamics : Biosimulation in Biomedical Research, Health Care and Drug Development. / Laugesen, Jakob Lund; Mosekilde, Erik.

    Biosimulation in Biomedical Research, Health Care and Drug Development. Springer, 2012. p. 69-95.

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

  312. Published

    Emission control strategies for short-chain chloroparaffins in two semi-hypothetical case cities. / Eriksson, Eva; Revitt, M.; Lützhøft, Hans-Christian Holten; Viavattene, C.; Scholes, L.; Mikkelsen, Peter Steen.

    Urban environment: Proceedings of the 10th Urban Environment Symposium. ed. / Sébastien Rauch; Gregory M. Morrison. Springer, 2012. p. 213-223 (Alliance for Global Sustainability Bookseries; No. 19).

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

  313. Published

    Enabling multimode wireless access networks using remote radio heads. / Kardaras, Georgios; Soler, José; Dittmann, Lars.

    7th International ICST Conference on Broadband Communications, Networks, and Systems. Springer, 2012. p. 429-434 (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering).

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

  314. Published

    Estimating the Probabilities of Low-Weight Differential and Linear Approximations on PRESENT-like Ciphers. / Abdelraheem, Mohamed Ahmed.

    Information Security and Cryptology – ICISC 2012: 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers. Springer, 2012. p. 368-382 (Lecture Notes in Computer Science, Vol. 7839).

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

  315. Published

    Evaluation of Vertical Profiles in Mesoscale Meteorological Models Based on Observations for the COST728 Study of Winter 2003 PM Episodes in Europe. / Gryning, Sven-Erik; Batchvarova, Ekaterina; Quante, Marcus; Matthias, V.

    Air Pollution Modeling and its Application XXI. Dordrecht : Springer, 2012. p. 499-503.

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

  316. Published

    Fast and Cache-Oblivious Dynamic Programming with Local Dependencies. / Bille, Philip; Stöckel, Morten.

    Language and Automata Theory and Applications: 6th International Conference, LATA 2012 A Coruña, Spain, March 5-9, 2012 Proceedings. Springer, 2012. p. 131–142 (Lecture Notes in Computer Science, Vol. 7183).

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

  317. Published

    From Explicit to Symbolic Types for Communication Protocols in CCS. / Nielson, Hanne Riis; Nielson, Flemming; Kreiker, Jörg; Pilegaard, Henrik.

    Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Springer, 2012. p. 74-89 (Lecture Notes in Computer Science; No. 7000).

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

  318. Published

    From Genome Sequence to Taxonomy - A Skeptic’s View. / Özen, Asli Ismihan; Vesth, Tammi Camilla; Ussery, David.

    The Prokaryotes. ed. / Rosenberg E.2012 : Springer, 2012.

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

  319. Published

    From PA(X) to RPAM(X). / Markvorsen, Steen.

    Raising Public Awareness of Mathematics. Springer, 2012. p. 255-267.

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

  320. Published

    Gender Recognition Using Cognitive Modeling. / Fagertun, Jens; Andersen, Tobias; Paulsen, Rasmus Reinhold.

    Computer Vision – ECCV 2012: Workshops and Demonstrations, Part II. Springer, 2012. p. 300-308 (Lecture Notes in Computer Science, Vol. 7584).

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

  321. Published
  322. Published

    Hardware Support for Embedded Java. / Schoeberl, Martin.

    Distributed, Embedded and Real-time Java Systems. ed. / M. Teresa Higuera-Toledano; Andy J. Wellings. Springer, 2012. p. 159-176.

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

  323. Published

    Heuristic Optimization Techniques for Determining Optimal Reserve Structure of Power Generating Systems. / Ding, Yi; Goel, Lalit ; Wang, Peng; Sun, Yuanzhang; Loh, Poh Chiang ; Wu, Qiuwei.

    Recent Advances in System Reliability: Signatures, Multi-state Systems and Statistical Inference. ed. / Anatoly Lisnianski; Ilia Frenkel . Springer, 2012. p. 145-154 (Springer Series in Reliability Engineering).

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

  324. Published

    High-Performance Matrix-Vector Multiplication on the GPU. / Sørensen, Hans Henrik Brandenborg.

    Euro-Par 2011. Springer, 2012. p. 377-386 (Lecture Notes in Computer Science; No. 7155).

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

  325. 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.

    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-reviewArticle in proceedings – Annual report year: 2012

  326. Published

    Impacts of climate change, including acidification, on marine ecosystems and fisheries. / Brander, Keith ; Havenhand, Jon.

    Climate impacts on the Baltic Sea: From science to policy. ed. / Marcus Reckermann; Keith Brander; Brian MacKenzie; Anders Omstedt. Berlin : Springer, 2012. p. 129-160 (Springer Earth System Sciences).

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

  327. Published

    Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. / Ettienne, Mikko Berggren; Vester, Steen; Villadsen, Jørgen.

    Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011 Taipei, Taiwan, May 3, 2011 Revised Selected Papers. Springer, 2012. p. 185-196 (Lecture Notes in Artificial Intelligence; No. 7217).

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

  328. Published

    Incorporating Parameter Uncertainty in Bayesian Segmentation Models: Application to Hippocampal Subfield Volumetry. / Iglesias, J. E.; Sabuncu, M. R.; Van Leemput, Koen.

    Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012: 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III. Springer, 2012. p. 50-57 (Lecture Notes in Computer Science, Vol. 7512).

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

  329. Published

    Integral and Multidimensional Linear Distinguishers with Correlation Zero. / Bogdanov, Andrey; Leander, Gregor; Nyberg, Kaisa; Wang, Meiqin.

    Advances in Cryptology – ASIACRYPT 2012. ed. / Xiaoyun Wang; Kazue Sako. Springer, 2012. p. 244-261 (Lecture Notes in Computer Science, Vol. 7658).

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

  330. Published

    Jet-Based Local Image Descriptors. / Larsen, Anders Boesen Lindbo; Darkner, Sune; Dahl, Anders Lindbjerg; Pedersen, Kim Steenstrup.

    Computer Vision – ECCV 2012: Workshops and Demonstrations, Part III. Springer, 2012. p. 638-650 (Lecture Notes in Computer Science, Vol. 7584).

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

  331. Published

    Keeping Mathematical Awareness Alive. / Hansen, Vagn Lundsgaard.

    Raising Public Awareness of Mathematics. ed. / E. Behrends; N. Crato; J.F. Rodrigues. Springer, 2012. p. 387-396.

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

  332. Published

    Key-Alternating Ciphers in a Provable Setting: Encryption Using a Small Number of Public Permutations (Extended Abstract). / Bogdanov, Andrey; Knudsen, L.R.; Leander, Gregor; Standaert, Francois-Xavier; Steinberger, John; Tischhauser, E.

    Advances in Cryptology – CRYPTO 2012: 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings. Vol. 7417 Springer, 2012. p. 45-62 (Lecture Notes in Computer Science, Vol. 7417).

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

  333. Published

    Large-Scale Scientific Computing : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers. / Lirkov, Ivan (Editor); Margenov, Svetozar (Editor); Wasniewski, Jerzy (Editor).

    Springer, 2012. (Lecture Notes in Computer Science; No. 7116).

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

  334. Published

    Learning in real life. / Rasmussen, Lauge Baungaard.

    Enabling innovation: Innovation capacity - German and international views. Springer, 2012. p. 117-120.

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

  335. 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: ResearchBook – Annual report year: 2012

  336. Published

    Lernen in der Berufspraxis. / Rasmussen, Lauge Baungaard.

    Enabling innovation: Innovationsfähigkeit - deutsche und internationale Perspektiven. Springer, 2012. p. 121-125.

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

  337. Published

    Limits to Nonlinear Inversion. / Mosegaard, Klaus (Invited author).

    Applied Parallel and Scientific Computing. Proceedings of the PARA 2010 Meeting: Revised Selected Papers, Part I. Springer, 2012. p. 11-21 (Lecture Notes in Computer Science; No. Part 1, Vol. 7133).

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

  338. Published

    Longest Common Extensions via Fingerprinting. / Bille, Philip; Gørtz, Inge Li; Kristensen, Jesper.

    Language and Automata Theory and Applications: 6th International Conference, LATA 2012 A Coruña, Spain, March 5-9, 2012 Proceedings. Springer, 2012. p. 119-130 (Lecture Notes in Computer Science, Vol. 7183).

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

  339. Published

    Lung Tumor Segmentation Using Electric Flow Lines for Graph Cuts. / Hollensen, Christian; Cannon, George ; Cannon, Donald ; Bentzen, Søren ; Larsen, Rasmus.

    Image Analysis and Recognition: 9th International Conference, ICIAR 2012 Aveiro, Portugal, June 25-27, 2012 Proceedings, Part II. Springer, 2012. p. 206-213 (Lecture Notes in Computer Science; No. 7325).

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

  340. Published

    Mesh Processing in Medical Image Analysis : MeshMed 2012 Proceedings. / Levine, Joshua A. (Editor); Paulsen, Rasmus Reinhold (Editor); Zhang, Yongjie (Editor).

    Springer, 2012. (Lecture Notes in Computer Science, Vol. 7599).

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

  341. Published

    Meteorology and Wind Power. / Lundtang Petersen, Erik; Madsen, Peter Hauge.

    Encyclopedia of Sustainability Science and Technology. ed. / Robert A. Meyers. Springer, 2012.

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

  342. Published

    Mobile Context-Aware Support for Public Transportation Users. / von Buchwald, Esben; Larsen, Jakob Eg; Murray-Smith, Roderick.

    Mobile Context Awareness. ed. / Tom Lovett; Eamonn O'Neill. Springer, 2012. p. 133-142 .

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

  343. Published

    Model Checking as Static Analysis: Revisited. / Zhang, Fuyuan; Nielson, Flemming; Nielson, Hanne Riis.

    Integrated Formal Methods: 9th International Conference, IFM 2012 Pisa, Italy, June 18-21, 2012 Proceedings. Springer, 2012. p. 99-112 (Lecture Notes in Computer Science; No. 7321).

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

  344. Published

    Modeling in Biomedical Research and Health Care. / Dawids, Steen G.; Laugesen, Jakob L.; Mosekilde, Erik.

    Biosimulation in Biomedical Research, Health Care and Drug Development. ed. / Erik Mosekilde; Olga Sosnovtseva ; Amin Rostami-Hodjegan. Springer, 2012.

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

  345. Published

    Modeling of Thermo-Electro-Mechanical Manufacturing Processes with Applications in Metal Forming and Resistance Welding : Applications in Metal Forming and Resistance Welding. / Nielsen, Chris Valentin; Zhang, Wengi; Alves, Luis; Bay, Niels; Martins, Paulo F.

    Springer, 2012. 120 p. (Springer Briefs in Applied Sciences and Technology: Manufacturing and Surface Engineering).

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

  346. Published

    Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. / Abouzaid, Faisal; Mullins, John; Mazzara, Manuel; Dragoni, Nicola.

    Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings. Springer, 2012. p. 534-543 (Lecture Notes in Computer Science, Vol. 7327).

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

  347. Published

    Modelling Foundations and Applications : 8th European Conference, ECMFA 2012; Kgs. Lyngby, Denmark, July 2-5, 2012; Proceedings. / Vallecillo, Antonio (Editor); Tolvanen, Juha-Pekka (Editor); Kindler, Ekkart (Editor); Störrle, Harald (Editor); Kolovos, Dimitris (Editor).

    Springer, 2012. 446 p. (Lecture Notes in Computer Science, Vol. 7349).

    Publication: ResearchBook – Annual report year: 2012

  348. Published

    Modelling Local and Global Behaviour: Petri Nets and Event Coordination. / Kindler, Ekkart.

    Transactions on Petri Nets and Other Models of Concurrency VI. Springer, 2012. p. 71-93 (Lecture Notes in Computer Science, Vol. 7400).

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

  349. Published

    Molecular Electronic Structures of Transition Metal Complexes I. / Mingos, D.Michael P. (Editor); Day, Peter (Editor); Dahl, Jens Peder (Editor).

    Springer, 2012. 215 p. (Structure and Bonding, Vol. 142).

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

  350. Published

    Molecular Electronic Structures of Transition Metal Complexes II. / Mingos, David Michael P. (Editor); Day, Peter Arendt (Editor); Dahl, Jens Peder (Editor).

    Springer, 2012. 233 p. (Structure and Bonding, Vol. 143).

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

  351. Published

    Monte Carlo Methods for Inference in High-Dimensional Systems. / Ferkinghoff-Borg, Jesper.

    Bayesian Methods in Structural Bioinformatics. Springer, 2012. (Statistics for Biology and Health, Springer).

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

  352. Published

    New Level-3 BLAS Kernels for Cholesky Factorization. / Gustavson, Fred G.; Wasniewski, Jerzy; Herrero, José R.

    Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I. Springer, 2012. p. 60-69 (Lecture Notes in Computer Science, Vol. 7203).

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

  353. Published

    Next Generation Flexible and Cognitive Heterogeneous Optical Networks : Supporting the Evolution to the Future Internet. / Tomkos, Ioannis; Angelou, Marianna; Barroso, Ramón J. Durán; de Miguel, Ignacio; Toledo, Rubén M. Lorenzo; Siracusa, Domenico; Salvadori, Elio; Tymecki, Andrzej; Ye, Yabin ; Tafur Monroy, Idelfonso .

    The Future Internet: Future Internet Assembly 2012: From Promises to Reality. Springer, 2012. p. 225–236 (Lecture Notes in Computer Science, Vol. 7281).

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

  354. Published

    On the distribution of linear biases: Three instructive examples. / Abdelraheem, Mohamed Ahmed; Beelen, Peter ; Leander, Gregor; Ågren, Martin.

    Advances in Cryptology – CRYPTO 2012: 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings. Vol. 7417 Springer, 2012. p. 50-67 (Lecture Notes in Computer Science, Vol. 7417).

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

  355. Published

    Pipeline for Tracking Neural Progenitor Cells. / Vestergaard, Jacob Schack; Dahl, Anders Lindbjerg; Holm, Peter; Larsen, Rasmus.

    Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging: Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers. Springer, 2012. p. 155-164 (Lecture Notes in Computer Science, Vol. 7766).

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

  356. Published

    Post-Session Authentication. / Ahmed, Naveed; Jensen, Christian D.

    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-reviewArticle in proceedings – Annual report year: 2012

  357. Published

    Predicting the Appearance of Materials Using Lorenz-Mie Theory. / Frisvad, Jeppe Revall; Christensen, Niels Jørgen; Jensen, Henrik Wann .

    The Mie Theory: Basics and Applications. Springer, 2012. p. 101-133 (Springer Series in Optical Sciences; No. 169).

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

  358. Published

    PRINCE - A Low-Latency Block Cipher for Pervasive Computing Applications: Extended Abstract. / Borghoff, J.; Canteaut, Anne Michele; Guneysu, T.; Kavun, E.B.; Knezevic, M.; Knudsen, Lars Ramkilde; Leander, Gregor; Nikov, V.; Paar, C.; Rechberger, Christian.

    Advances in Cryptology – ASIACRYPT 2012: 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings. Springer, 2012. p. 208-225 (Lecture Notes in Computer Science, Vol. 7658).

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

  359. Published

    Privacy Penetration Testing: How to Establish Trust in Your Cloud Provider. / Probst, Christian W.; Sasse, M. Angela ; Pieters, Wolter; Dimkov, Trajce; Luysterborg, Erik; Arnaud, Michel.

    European Data Protection: In Good Health?. Springer, 2012. p. 251-265.

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

  360. Published

    Probability of Parametric Roll in Random Seaways. / Jensen, Jørgen Juncher.

    Parametric Resonance in Dynamical Systems. ed. / Thor I. Fossen; Henk Nijmeijer . Springer, 2012. p. 91-106.

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

  361. Published

    Real-Time Rendering of Teeth with No Preprocessing. / Larsen, Christian Thode; Frisvad, Jeppe Revall; Jensen, Peter Dahl Ejby; Bærentzen, Jakob Andreas.

    Advances in Visual Computing: Proceedings of ISVC 2012, Part II. ed. / G. Bebis; R. Boyle; B. Parvin; D. Koracin; F. Charless; W. Sen; C. Min-Hyung; S. Mantler; J. Schulze; D. Acevedo; K. Mueller; M. Papka. Springer, 2012. p. 334-345 (Lecture Notes in Computer Science, Vol. 7432).

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

  362. Published

    Restoring the Generalizability of SVM Based Decoding in High Dimensional Neuroimage Data. / Abrahamsen, Trine Julie; Hansen, Lars Kai.

    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. 256-263 (Lecture Notes in Computer Science, Vol. 7263).

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

  363. Published

    Scheduling of outbound luggage handling at airports. / Barth, Torben C.; Pisinger, David.

    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-reviewArticle in proceedings – Annual report year: 2012

  364. Published

    SC2: Secure Communication over Smart Cards : How to Secure Off-Card Matching in Security-by-Contract for Open Multi-application Smart Cards. / Dragoni, Nicola; Lostal, Eduardo; Papini, Davide; Fabra, Javier.

    Foundations and Practice of Security: 4th Canada-France MITACSWorkshop, FPS 2011 Paris, France, May 12-13, 2011 Revised Selected Papers. ed. / Joaquin Garcia-Alfaro; Pascal Lafourcade. Springer, 2012. p. 32-48 (Lecture Notes in Computer Science; No. 6888).

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

  365. Published

    Security, Privacy, and Applied Cryptography Engineering : Proceedings Second International Conference, SPACE 2012. / Bogdanov, Andrey (Editor); Sanadhya, Somitra (Editor).

    Springer, 2012. 185 p. (Lecture Notes in Computer Science, Vol. 7644).

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

  366. Published

    Segmenting Multiple Sclerosis Lesions using a Spatially Constrained K-Nearest Neighbour approach. / Lyksborg, Mark; Larsen, Rasmus; Sørensen, Per Soelberg; Blinkenberg, Morten ; Garde, Ellen ; Siebner, Hartwig R.; Dyrby, Tim Bjørn.

    ICIAR Proceedings: Springer Lecture Notes. Springer, 2012.

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

  367. Published

    Shear crack formation and propagation in fiber reinforced cementitious composites (FRCC). / Paegle, Ieva; Fischer, Gregor.

    High Performance Fiber Reinforced Cement Composites 6. Springer, 2012. (RILEM Bookseries).

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

  368. Simulation of flexible objects in robotics. / Fugl, Andreas Rune; Petersen, Henrik Gordon; Willatzen, Morten.

    Simulation, Modeling, and Programming for Autonomous Robots: Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings. Springer, 2012. p. 89-100 (Lecture Notes in Computer Science, Vol. 7628).

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

  369. Simultaneous estimation of material properties and pose for deformable objects from depth and color images. / Fugl, Andreas Rune; Jordt, Andreas; Petersen, Henrik Gordon; Willatzen, Morten; Koch, Reinhard.

    Pattern Recognition: Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings. Springer, 2012. p. 165-174 (Lecture Notes in Computer Science, Vol. 7476).

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

  370. Published

    Statistical Surface Recovery: A Study on Ear Canals. / Jensen, Rasmus Ramsbøl; Olesen, Oline Vinter; Paulsen, Rasmus Reinhold; van der Poel, Mike; Larsen, Rasmus.

    Mesh Processing in Medical Image Analysis: MeshMed 2012 Proceedings. Springer, 2012. p. 49-58 (Lecture Notes in Computer Science, Vol. 7599).

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

  371. Published

    Step-by-step towards PSS – Evaluating, Deciding and Executing. / Neugebauer, Line Maria; Mougaard, Krestine; McAloone, Tim C.; Andersen, Jakob Axel Bejbro; Bey, Niki.

    The Philosopher's Stone for Sustainability: Proceedings of the 4th CIRP International Conference on Industrial Product-Service Systems. ed. / Yoshiki Shimomura; Koji Kimita. Springer, 2012.

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

  372. Published

    Stochastic vehicle routing with recourse. / Gørtz, Inge Li; Nagarajan, Viswanath; Saket, Rishi.

    Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012. ed. / Artur Czumaj; Kurt Mehlhorn ; Andrew Pitts; Roger Wattenhofer. Springer, 2012. p. 411-423 (Lecture Notes in Computer Science, Vol. 7391).

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

  373. Published

    String Indexing for Patterns With Wildcards. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Vind, Søren Juhl.

    Algorithm Theory – SWAT 2012: 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings. ed. / Fedor V. Fornin; Petteri Kaski. Springer, 2012. p. 283-294 (Lecture Notes in Computer Science, Vol. 7357).

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

  374. Testing Library Specifications by Verifying Conformance Tests. / Kiniry, Joseph; Zimmerman, Daniel M.; Hyland, Ralph.

    Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Springer, 2012. p. 51-66 (Lecture Notes in Computer Science, Vol. 7305).

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

  375. Published

    The Approach to Model Building. / Laugesen, Jakob Lund; Mosekilde, Erik.

    Biosimulation in Biomedical Research, Health Care and Drug Development. Springer, 2012. p. 43-68.

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

  376. 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.

    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-reviewArticle in proceedings – Annual report year: 2012

  377. The Complex Relationship between ICT and Innovation in Services: A Literature Review. / Nardelli, Giulia.

    Nordic Contributions in IS Research. Proceedings. ed. / Christina Keller; Mikael Wiberg; Pär J. Ågerfalk; Jenny S.Z. Eriksson Lundström. Springer, 2012. p. 1-24 (Lecture Notes in Business Information Processing, Vol. 124).

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

  378. Published

    The Cyber-Physical Attacker. / Vigo, Roberto.

    Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE Magdeburg, Germany, September 25-28, 2012 Proceedings. Springer, 2012. p. 347-356 (Lecture Notes in Computer Science, Vol. 7613).

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

  379. Published

    The Internet Erlang Formula. / Iversen, Villy Bæk.

    Internet of Things, Smart Spaces, and Next Generation Networking: 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012 Proceedings. Springer, 2012. p. 328-337 (Lecture Notes in Computer Science, Vol. 7469).

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

  380. Published

    The Logic of XACML. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer, 2012. p. 205-222 (Lecture Notes in Computer Science, Vol. 7253).

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

  381. Published

    Theory of Security and Applications : Joint Workshop, TOSCA 2011 Saarbrücken, Germany, March 31 - April 1, 2011 Revised Selected Papers. / Mödersheim, Sebastian Alexander (Editor); Palamidessi, Catuscia (Editor).

    Springer, 2012. (Lecture Notes in Computer Science, Vol. 6993).

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

  382. Published

    Time-Resolved X-Ray Diffraction: The Dynamics of the Chemical Bond. / Møller, Klaus Braagaard; Henriksen, Niels Engholm.

    Molecular Electronic Structures of Transition Metal Complexes I. ed. / David Michael P. Mingos; Peter Day; Jens Peder Dahl. Springer, 2012. p. 185-211 (Structure & Bonding; No. 142).

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

  383. Published

    Time-Space Trade-offs for Longest Common Extensions. / Bille, Philip; Gortz, Inge Li; Sach, Benjamin; Vildhoj, Hjalte Wedel.

    Combinatorial Pattern Matching. ed. / Juha Kärkkäinen; Jens Stoye. Springer, 2012. p. 293-305 (Lecture Notes in Computer Science, Vol. 7354).

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

  384. Published

    Toward a Threat Model for Energy-Harvesting Wireless Sensor Networks. / Di Mauro, Alessio; Papini, Davide; Vigo, Roberto; Dragoni, Nicola.

    Networked Digital Technologies: 4th International Conference, NDT 2012 Dubai, UAE, April 24-26, 2012 Proceedings, Part II. Springer, 2012. p. 289-301 (Communications in Computer and Information Science, Vol. 294).

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

  385. Published

    Towards a General Probabilistic Model of Protein Structure: The Reference Ratio Method. / Frellsen, Jes; Mardia, Kanti V.; Borg, Mikael; Ferkinghoff-Borg, Jesper; Hamelryck, Thomas Wim.

    Bayesian Methods in Structural Bioinformatics. Springer, 2012. (Statistics for Biology and Health, Springer).

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

  386. Published

    Towards Symbolic Encryption Schemes. / Ahmed, Naveed; Jensen, Christian D.; Zenner, Erik.

    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-reviewArticle in proceedings – Annual report year: 2012

  387. Published

    Ultrafast Terahertz Dynamics and Switching in Quantum Dots. / Turchinovich, Dmitry; Hoffmann, Matthias C. .

    Quantum Dot Devices Quantum Dot Devices. ed. / Zhiming M. Wang. Springer, 2012. p. 223-249 (Lecture Notes in Nanoscale Science and Technology, Vol. 13).

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

  388. Published

    Uncertainty Quantification. / Richardson, A.D.; Aubinet, M.; Barr, A.G.; Hollinger, D.Y.; Ibrom, Andreas; Lasslop, G.; Reichstein, M.

    Eddy Covariance. A Practical Guide to Measurement and Data Analysis. ed. / Marc Aubinet; Timo Vesala; Dario Papale. Springer, 2012. p. 173-209.

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

  389. Published

    WDM Phase-Modulated Millimeter-Wave Fiber Systems. / Yu, Xianbin; Prince, Kamau; Gibbon, Timothy Braidwood; Tafur Monroy, Idelfonso.

    WDM Systems and Networks: Modeling, Simulation, Design and Engineering. Springer, 2012. p. 325-335 (Uden navn).

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

  390. 2011
  391. Published

    A Cryptanalysis of PRINTcipher: The Invariant Subspace Attack. / Leander, Gregor; Abdelraheem, Mohamed Ahmed; Alkhzaimi, Hoda A.; Zenner, Erik.

    Lecture Notes in Computer Science. Vol. 6841 Springer, 2011.

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

  392. Published

    A Deformable Model for Bringing Particles in Focus. / Dahl, Anders Lindbjerg; Jørgensen, Thomas Martini; Larsen, Rasmus.

    Computer Vision, Imaging and Computer Graphics. Theory and Applications: Computer Vision, Imaging and Computer Graphics. Theory and Applications Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2010, Angers, France, May 17-21, 2010. Springer, 2011. p. 81-95 (Communications in Computer and Information Science; No. 229).

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

  393. Published

    Advanced Microscopy of Microbial Cells. / Haagensen, Janus Anders Juul; Regenberg, Birgitte; Sternberg, Claus.

    Advances in Biochemical Engineering/Biotechnology. Vol. 124 Springer, 2011. p. 21-54 (Advances in Biochemical Engineering/Biotechnology).

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

  394. Published

    Advanced operational modal analysis methods for linear time periodic system identification. / Allen, Mathew S.; Chauhan, Shashank; Hansen, Morten Hartvig.

    Conference Proceedings of the Society for Experimental Mechanics Series. Vol. 4 New York : Springer, 2011. p. 31-44 (:Conference Proceedings of the Society for Experimental Mechanics Series; No. 4).

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

  395. Published

    Advances in Offshore Wind Resource Estimation. / Hasager, Charlotte Bay; Badger, Merete; Pena Diaz, Alfredo; Badger, Jake; Antoniou, Ioannis; Nielsen, Morten; Astrup, Poul; Courtney, Michael; Mikkelsen, Torben.

    Advances in Wind Energy Conversion Technology. Springer, 2011. p. 85-106 (Environmental Science and Engineering).

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

  396. A Generative Approach for Image-Based Modeling of Tumor Growth. / Menze, Bjoern H.; Van Leemput, Koen; Honkela, Antti; Konukoglu, Ender; Weber, Marc-André; Ayache, Nicholas; Golland, Polina.

    Information Processing in Medical Imaging: 22nd International Conference, IPMI 2011 Kloster Irsee, Germany, July 3-8, 2011 Proceedings. Springer, 2011. p. 735-747 (Lecture Notes in Computer Science; No. 6801).

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

  397. Published

    ALPHA: Proposal of Mapping QoS Parameters between UPnP Home Network and GMPLS Access. / Brewka, Lukasz Jerzy; Sköldström, Pontus; Gavler, Anders; Nordell, Viktor; Wessing, Henrik; Dittmann, Lars.

    Access Networks: 5th International ICST Conference on Access Networks, AccessNets 2010 and First ICST International Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, Budapest, Hungary, November 3-5, 2010: Revised Selected Papers. Vol. 63, 7 Springer, 2011. p. 226-239 (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering; No. 63).

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

  398. Published

    Analysing Protocol Stacks for Services. / Gao, Han; Nielson, Flemming; Nielson, Hanne Riis.

    Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. ed. / Martin Wirsing; Matthias Hölzl. Vol. 6582 Springer, 2011. p. 369-389 (Lecture Notes in Computer Science).

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

  399. Published

    Analysis of Seed Sorting Process by Estimation of Seed Motion Trajectories. / Buus, Ole Thomsen; Jørgensen, Johannes Ravn; Carstensen, Jens Michael.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011, Ystad, Sweden, May 2011. Proceedings. Springer, 2011. p. 273-284 (Lecture Notes in Computer Science, Vol. 6688).

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

  400. Published

    Analysis of Wind Turbine Loads. / Aagaard Madsen, Helge; Thomsen, Kenneth.

    Advances in Wind Energy Conversion Technology. Springer, 2011. p. 107-132 (Environmental Science and Engineering).

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

  401. Published

    An Automated System for the Detection and Diagnosis of Kidney Lesions in Children from Scintigraphy Images. / Landgren, Matilda; Sjöstrand, Karl; Ohlsson, Mattias; Ståhl, Daniel; Overgaard, Niels Christian; Åström, Kalle; Sixt, Rune; Edenbrandt, Lars.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 489-500 (Lecture Notes in Computer Science; No. 6688).

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

  402. Applications of hyperpolarized agents in solutions.. / Ardenkjær-Larsen, Jan Henrik; Jóhannesson, Haukur; Petersson, J Stefan; Wolber, Jan.

    Methods in molecular biology.. ed. / Leif Schröder. Vol. 771 Springer, 2011. p. 655-689.

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

  403. Published

    A Semantics-Based Approach to Retrieving Biomedical Information. / Andreasen, Troels; Bulskov, Henrik; Zambach, Sine; Lassen, Tine; Madsen, Bodil Nistrup; Jensen, Per Anker; Thomsen, Hanne Erdman; Nilsson, Jørgen Fischer.

    Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, 2011. p. 108-118 (Lecture Notes in Artificial Intelligence; No. 7022).

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

  404. Published

    A Smartphone Interface for a Wireless EEG Headset with Real-Time 3D Reconstruction. / Stopczynski, Arkadiusz; Larsen, Jakob Eg; Stahlhut, Carsten; Petersen, Michael Kai; Hansen, Lars Kai.

    Affective Computing and Intelligent Interaction: 4th International Conference, ACII 2011 Memphis, TN, USA, October 9-12, 2011 Proceedings, Part II. ed. / S. D ́Mello. Springer, 2011. p. 317-318 (Lecture Notes in Computer Science; No. 6975).

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

  405. Published

    Automata-Based CSL Model Checking. / Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger.

    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011 - Zurich, Switzerland, July 4-8, 2011 - Proceedings, Part II. Springer, 2011. p. 271-282 (Lecture Notes in Computer Science; No. 6756).

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

  406. Published

    Automatic Compartment Modelling and Segmentation for Dynamical Renal Scintigraphies. / Ståhl, Daniel; Åström, Kalle; Overgaard, Niels Christian; Landgren, Matilda; Sjöstrand, Karl; Edenbrandt, Lars.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 557-568 (Lecture Notes in Computer Science; No. 6688).

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

  407. Published

    Automatic Segmentation of Abdominal Adipose Tissue in MRI. / Mosbech, Thomas Hammershaimb; Pilgaard, Kasper; Vaag, Allan; Larsen, Rasmus.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 501-511 (Lecture Notes in Computer Science; No. 6688).

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

  408. Published

    Bisimulations Meet PCTL Equivalences for Probabilistic Automata. / Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.

    CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011 Aachen, Germany, September 6-9, 2011 Proceedings. Vol. 6901 Springer, 2011. p. 108-123 (Lecture Notes in Computer Science; No. 6901).

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

  409. Published

    Boundary Conditions for a New Type of Design Task : Understanding Product/Service-Systems. / McAloone, Tim C.

    The Future of Design Methodology. ed. / Herbert Birkhofer. London, UK : Springer, 2011. p. 113-124.

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

  410. Published

    C2 - Block Cipher. / Knudsen, Lars Ramkilde; Leander, Gregor.

    Encyclopedia of Cryptography and Security. 2. ed. Springer, 2011. p. 179-180.

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

  411. Published

    Capacitated Vehicle Routing with Non-Uniform Speeds. / Gørtz, Inge Li; Molinaro, Marco; Nagarajan, Viswanath; Ravi, R.

    Lecture Notes in Computer Science: The 15th Conference on Integer Programming and Combinatorial Optimization. Vol. 6655/2011 Berlin : Springer, 2011. p. 235-247 (Lecture Notes in Computer Science).

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

  412. Published

    Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. / Yang, Fan; Aotani, Tomoyuki; Masuhara, Hidehiko; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 - Proceedings. Vol. 6721 Springer, 2011. p. 202-218 (Lecture Notes in Computer Science).

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

  413. Published

    Cryptanalysis of ARMADILLO2. / Abdelraheem, Mohamed Ahmed; Blondeau, Céline; Naya-Plasencia, María; Videau, Marion; Zenner, Erik.

    Advances in Cryptology. ed. / Dong Hoon Lee; Xiaoyun Wang. Springer, 2011. p. 308-326 (Lecture Notes in Computer Science; No. 7073).

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

  414. Cryptanalysis of the Light-Weight Cipher A2U2. / Abdelraheem, Mohamed Ahmed; Borghoff, Julia; Zenner, Erik; David, Mathieu.

    Cryptography and Coding: 13th IMA International Conference, IMACC 2011, Oxford, UK, December 2011, Proceedings. ed. / Liqun Chen. Vol. LNCS 7089 Springer, 2011. p. 375-390.

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

  415. Published

    Decoding algorithms. / Peters, Christiane.

    Encyclopedia of Cryptography and Security. ed. / Henk C.A. van Tilborg; Sushil Jajodia. Springer, 2011.

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

  416. Published

    Deterministic Differential Properties of the Compression Function of BMW. / Guo, Jian; Thomsen, Søren Steffen.

    Selected Areas in Cryptography 2010: 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, Revised Selected Papers. ed. / Alex Biryukov; Guang Gong; Douglas R. Stinson. Vol. 6544 Springer, 2011. p. 338-350 (Lecture Notes in Computer Science).

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

  417. Published

    Differential cryptanalysis of round-reduced PRINTcipher: Computing roots of permutations. / Abdelraheem, Mohamed Ahmed; Leander, Gregor; Zenner, Erik.

    Lecture Notes in Computer Science. Vol. 6733 Springer, 2011.

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

  418. Published

    Diffie-Hellman without Difficulty. / Mödersheim, Sebastian Alexander.

    Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011. ed. / Gilles Barthe; Anupam Datta; Sandro Etalle . Springer, 2011. p. 214-229 (Lecture Notes in Computer Science).

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

  419. Double SP-Functions: Enhanced Generalized Feistel Networks : Extended Abstract. / Bogdanov, Andrey; Shibutani, Kyoji.

    Information Security and Privacy. Proceedings. Springer, 2011. p. 106-119 (Lecture Notes in Computer Science, Vol. 6812).

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

  420. Ecodesign Maturity Model: criteria for methods and tools classification. / Antelmi Pigosso, Daniela Cristina; Rozenfeld, H.; Seliger, G.

    Advances in Sustainable Manufacturing: Proceedings of the 8th Global Conference on Sustainable Manufacturing. ed. / Günther Seliger; Marwan M.K. Khraisheh; I.S. Jawahir. Springer, 2011. p. 241-245.

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

  421. Published

    Edge emitters with external cavities : Chapter 15.1. / Chi, Mingjun; Petersen, Paul Michael.

    Landolt-Börnstein: Numerical Data and Functional Relationships in Science and Technology-New Series: VIII/1B3, Laser Systems. Vol. 3 Berlin : Springer, 2011. p. 245-257.

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

  422. Published

    Edge-Matching Problems with Rotations. / Ebbesen, Martin; Fischer, Paul; Witt, Carsten.

    Fundamentals of Computation Theory: 18th International Symposium, FCT 2011 Oslo, Norway, August 22-25, 2011 Proceedings. Springer, 2011. p. 114-125 (Lecture Notes in Computer Science; No. 6914).

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

  423. Published

    Efficient Hyperelastic Regularization for Registration. / Darkner, Sune; Hansen, Michael Sass; Larsen, Rasmus; Hansen, Mads Fogtmann.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 295-305 (Lecture Notes in Computer Science; No. 6688).

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

  424. Published

    Estimation of Damping for one of the new European Court Towers in Luxembourg. / Brincker, Rune; Brandt, Anders; Georgakis, Christos; Roldsgaard, Joan Hee; Schilz, Dietmar.

    Civil Engineering Topics: Proceedings of the 29th IMAC, A Conference on Structural Dynamics. ed. / Tom Proulox. Vol. 4 Springer, 2011. p. 373-381.

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

  425. ETLMR: A Highly Scalable Dimensional ETL Framework Based on MapReduce. / Liu, Xiufeng; Thomsen, Christian; Bach Pedersen, Torben .

    DataWarehousing and Knowledge Discovery. Proceedings. ed. / Alfredo Cuzzocrea; Umeshwar Dayal. Springer, 2011. p. 96-111 (Lecture Notes in Computer Science, Vol. 6862).

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

  426. Published

    Examples of Vector Velocity Imaging. / Hansen, Peter M.; Pedersen, Mads M.; Hansen, Kristoffer L.; Nielsen, Michael B.; Jensen, Jørgen Arendt.

    IFMBE Proceedings. ed. / K Dremstrup; S Rees; M. Ø Jensen. Vol. 34 Springer, 2011. p. 77-80.

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

  427. Published

    Finite Element Implementation of a Structurally-Motivated Constitutive Relation for the Human Abdominal Aortic Wall with and without Aneurysms. / Enevoldsen, Marie Sand; Henneberg, Kaj-Åge; Lönn, L; Jensen, Jørgen Arendt.

    IFMBE Proceedings. ed. / Kim Dremstrup; Steve Rees; Morten Ølgaard Jensen. Vol. 34 Springer, 2011. p. 13-16.

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

  428. Published

    Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth; Kjær, Andreas A.; Le Bliguet, Marie.

    FM 2011: Formal Methods: 17th International Symposium on Formal Methods Limerick, Ireland, June 20-24, 2011 Proceedings. Springer, 2011. p. 118-132 (Lecture Notes in Computer Science; No. 6664).

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

  429. Published

    Galois Connections for Flow Algebras. / Filipiuk, Piotr; Terepeta, Michal Tomasz; Nielson, Hanne Riis; Nielson, Flemming.

    Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011 Reykjavik, Iceland, June 6-9, 2011 Proceedings. Springer, 2011. p. 138-152 (Lecture Notes in Computer Science; No. 6722).

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

  430. Published

    Good Friends, Bad News - Affect and Virality in Twitter. / Hansen, Lars Kai; Arvidsson, Adam; Nielsen, Finn Årup; Colleoni, Elanor; Etter, Michael.

    Future Information Technology: 6th International Conference, FutureTech 2011 - Loutraki, Greece, June 28-30, 2011 - Proceedings, Part II. Springer, 2011. (Communications in Computer and Information Science; No. 185).

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

  431. Published

    Hill climbing algorithms and trivium. / Borghoff, Julia; Knudsen, Lars Ramkilde; Matusiewicz, Krystian.

    Lecture Notes in Computer Science. Vol. 6544 Springer, 2011. p. 57-73 (Lecture Notes in Computer Science).

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

  432. Published

    Homotopic Object Reconstruction Using Natural Neighbor Barycentric Coordinates. / Sharma, Ojaswa; Anton, François.

    Transactions on Computational Science XIV: Special Issue on Voronoi Diagrams and Delaunay Triangulation. ed. / M. L. Gavrilova. Springer, 2011. p. 188-210 (Lecture Notes in Computer Science; No. 6970).

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

  433. Published

    Hybrid fiber reinforcement and crack formation in Cementitious Composite Materials. / Pereira, E.B.; Fischer, Gregor; Barros, J.A.O.

    High Performance Fiber Reinforced Cement Composites 6. Springer, 2011. (RILEM Bookseries).

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

  434. Hyperpolarized molecules in solution.. / Ardenkjær-Larsen, Jan Henrik; Jóhannesson, Haukur; Petersson, J Stefan; Wolber, Jan.

    Methods in molecular biology.. ed. / Leif Schröder; Cornelius Faber. Vol. 771 Springer, 2011. p. 205-226.

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

  435. Published

    Improved security analysis of Fugue-256. / Gauravaram, Praveen; Bagheri, Nasoor; Knudsen, Lars Ramkilde; Wei, Lei.

    Proceedings of Australasian Conference on Information Security and Privacy: ACISP 2011. Springer, 2011. p. 439-443 (Lecture Notes in Computer Science).

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

  436. Published

    Initial studies on the variations of load-displacement curves of in vivo human healthy heel pads. / Matteoli, Sara; Wilhjelm, Jens E.; Virga, Antonio; Corvi, Andrea; Torp-Perdersen, Søren T.

    IFMBE Proceedings. ed. / K Dremstrup; S Rees; M. Ø. Jensen. Vol. 34 Springer, 2011. p. 152-155.

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

  437. Published

    Is Engineering Design Disappearing from Design Research?. / Andreasen, Mogens Myrup; Howard, Thomas J.

    The Future of Design Methodology. Springer, 2011. p. 21-34.

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

  438. Published

    Locating Depots for Capacitated Vehicle Routing. / Gørtz, Inge Li; Nagarajan, Viswanath.

    Approximation, Randomization, and Combinatorial Optimization: 14th InternationalWorkshop, APPROX 2011 and 15th InternationalWorkshop, RANDOM 2011 Princeton, NJ, USA, August 17-19, 2011 Proceedings. Vol. 6845 Springer, 2011. p. 230-241 (Lecture Notes in Computer Science).

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

  439. Published

    Magnetic Relaxation Phenomena. / Mørup, Steen; Gütlich, Philipp (Editor); Bill, Eckard (Editor); Trautwein, Alfred X. (Editor).

    Mössbauer Spectroscopy and Transition Metal Chemistry: Fundamentals and Applications. 1. ed. Berlin Heidelberg : Springer, 2011. p. 201-234.

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

  440. Published

    Mechanical interaction between concrete and structural reinforcement in the tension stiffening process. / Lárusson, Lárus Helgi; Fischer, Gregor; Jönsson, Jeppe.

    High Performance Fiber Reinforced Cement Composites 6. Springer, 2011. (RILEM Bookseries).

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

  441. Published

    Model Checking Algorithms for CTMDPs. / Buchholz, Peter; Hahn, Ernst Moritz; Hermanns, Holger; Zhang, Lijun.

    Computer Aided Verification: 23rd International Conference, CAV 2011 - Snowbird, UT, USA, July 14-20, 2011 - Proceedings. Springer, 2011. p. 225-242 (Lecture Notes in Computer Science; No. 6806).

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

  442. Published

    Modeling and Control for Islanding Operation of Active Distribution Systems. / Cha, Seung-Tae; Wu, Qiuwei; Saleem, Arshad; Østergaard, Jacob; Ding, Yi.

    Modeling and Control in Smart Grid: Towards Higher Penetration of Renewable Energy. Springer, 2011.

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

  443. Published

    Monitoring of cellular dynamics with electrochemical detection techniques. / Heiskanen, Arto; Emnéus, Jenny.

    Applications of Electrochemistry and Nanotechnology in Biology and Medicine I. Springer, 2011. p. 1-104 (Modern Aspects of Electrochemistry; No. 52).

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

  444. Published

    Non-linear Imaging using an Experimental Synthetic Aperture Real Time Ultrasound Scanner. / Rasmussen, Joachim; Du, Yigang; Jensen, Jørgen Arendt.

    IFMBE Proceedings. ed. / K. Dremstrup; S Rees; M. Ø Jensen. Vol. 34 Springer, 2011. p. 101-104.

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

  445. Published

    On Inferring Image Label Information Using Rank Minimization for Supervised Concept Embedding. / Bespalov, Dmitriy; Dahl, Anders Lindbjerg; Bai, Bing; Shokoufandeh, Ali.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 103-113 (Lecture Notes in Computer Science; No. 6688).

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

  446. Published

    On Linear Hulls, Statistical Saturation Attacks, PRESENT and a Cryptanalysis of PUFFIN. / Leander, Gregor.

    Lecture Notes in Computer Science. Vol. 6917 Springer, 2011. p. 303-322.

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

  447. Published

    On Stabilization in Herman’s Algorithm. / Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun.

    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011 - Zurich, Switzerland, July 4-8, 2011 - Proceedings, Part II. Springer, 2011. p. 466-477 (Lecture Notes in Computer Science; No. 6756).

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

  448. Published

    Performance Evaluation of a Synthetic Aperture Real-Time Ultrasound System. / Stuart, Matthias Bo; Tomov, Borislav Gueorguiev; Jensen, Jørgen Arendt.

    IFMBE Proceedings. ed. / Kim Dremstrup; Steve Rees; Morten Ølgaard Jensen. Vol. 34 Springer, 2011. p. 160-163.

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

  449. Published

    Photon Differentials in Space and Time. / Schjøth, Lars; Frisvad, Jeppe Revall; Erleben, Kenny; Sporring, Jon.

    Computer Vision, Imaging and Computer Graphics. ed. / Paul Richard; José Braz. Springer, 2011. p. 274-286 (Communications in Computer and Information Science; No. 229).

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

  450. Practical Attacks on the Maelstrom-0 Compression Function. / Kölbl, Stefan; Mendel, Florian.

    Applied Cryptography and Network Security: 9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011. Proceedings. Springer, 2011. p. 449-461 (Lecture Notes in Computer Science, Vol. 6715).

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

  451. Published

    Practical near-collisions on the compression function of BMW. / Leurent, Gaëtan; Thomsen, Søren Steffen.

    Lecture Notes in Computer Science. ed. / Antoine Joux. Vol. 6733 Springer, 2011. p. 238-251.

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

  452. Published

    Preliminary Experimental Verification of Synthetic Aperture Flow Imaging Using a Dual Stage Beamformer Approach. / Li, Ye; Jensen, Jørgen Arendt.

    IFMBE Proceedings. ed. / Kim Dremstrup; Steve Rees; Morten Ølgaard Jensen. Vol. 34 Springer, 2011. p. 53-56.

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

  453. Published

    PRESENT - Block Cipher. / Knudsen, Lars Ramkilde; Leander, Gregor.

    Encyclopedia of Cryptography and Security. ed. / Henk C.A. Tilborg; Sushil Jajodia. 2. ed. Springer, 2011. p. 953-955.

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

  454. Proposal of an Ecodesign Maturity Model: supporting Companies to improve Environmental Sustainability. / Antelmi Pigosso, Daniela Cristina; Rozenfeld, H.

    Glocalized Solutions for Sustainability in Manufacturing: Proceedings of the 18th CIRP International Conference on Life Cycle Engineering, Technische Universität Braunschweig, Braunschweig, Germany, May 2nd - 4th, 2011. ed. / Jürgen Hesselbach; Christoph Herrmann. Springer, 2011. p. 136-141.

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

  455. Published

    Querying Class-Relationship Logic in a Metalogic Framework. / Nilsson, Jørgen Fischer.

    Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, 2011. p. 96-107 (Lecture Notes in Artificial Intelligence; No. 7022).

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

  456. Published

    Range and geophysical corrections in coastal regions: and implications for mean sea surface determination. / Andersen, Ole Baltazar; Scharroo, Remko.

    Coastal Altimetry. ed. / S. Vignudelli; A. Kostianoy; P. Cipollini; J. Benveniste. Springer, 2011. p. 103-146.

    Publication: ResearchBook chapter – Annual report year: 2011

  457. Published

    Reachability for Finite-State Process Algebras Using Static Analysis. / Skrypnyuk, Nataliya; Nielson, Flemming.

    Reachability Problems: 5th InternationalWorkshop, RP 2011 Genoa, Italy, September 28-30, 2011, Proceedings. Vol. 6945 Springer, 2011. p. 231-244 (Lecture Notes in Computer Science).

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

  458. Really fast syndrome-based hashing. / Bernstein, Daniel J.; Lange, Tanja; Peters, Christiane; Schwabe, Peter.

    Progress in Cryptology: 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011. Proceedings. ed. / Abderrahmane Nitaj; David Pointcheval. Springer, 2011. p. 134-152 (Lecture Notes in Computer Science; No. 6767).

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

  459. Published

    Real Time Surface Registration for PET Motion Tracking. / Wilm, Jakob; Olesen, Oline Vinter; Paulsen, Rasmus Reinhold; Højgaard, Liselotte; Roed, Bjarne; Larsen, Rasmus.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 Ystad, Sweden, May 2011 Proceedings. Springer, 2011. p. 166-175 (Lecture Notes in Computer Science).

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

  460. Published

    Resonant Damping of Flexible Structures Under Random Excitation, in Computational Methods in Stochastic Dynamics. / Krenk, Steen; Høgsberg, Jan Becker.

    Computational Methods in Applied Sciences. Vol. 22 Springer, 2011.

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

  461. Published

    Salmonella. / Josefsen, Mathilde Hartmann; Löfström, Charlotta; Olsen, Katharina E.P.; Mølbak, Kåre; Hoorfar, Jeffrey.

    Molecular Detection of Human Bacterial Pathogens. ed. / Dongyou Liu. Springer, 2011. p. 1023-1035.

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

  462. Published

    Sensometrics. / Brockhoff, Per B.

    International Encyclopedia of Statistical Science. ed. / Miodrag Lovric. Vol. 19 Springer, 2011. p. 1302-1305.

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

  463. Published

    Smartphones Get Emotional: Mind Reading Images and Reconstructing the Neural Sources. / Petersen, Michael Kai; Stahlhut, Carsten; Stopczynski, Arkadiusz; Larsen, Jakob Eg; Hansen, Lars Kai.

    Affective Computing and Intelligent Interaction: 4th International Conference, ACII 2011 Memphis, TN, USA, October 9-12, 2011 Proceedings, Part II. ed. / S. D ́Mello. Vol. 2 Springer, 2011. p. 578-587 (Lecture Notes in Computer Science; No. 6975).

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

  464. Published

    Sparse Similarity-Based Fisherfaces. / Fagertun, Jens; Gomez, David Delgado; Hansen, Mads Fogtmann; Paulsen, Rasmus Reinhold.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 69-78 (Lecture Notes in Computer Science; No. 6688).

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

  465. Published

    Spongent: A lightweight hash function. / Bogdanov, Andrey; Knežević, Miroslav; Leander, Gregor; Toz, Deniz; Varici, Kerem; Verbauwhede, Ingrid.

    Cryptographic hardware and embedded systems - CHES 2011. Proceedings. Vol. 6917 Springer, 2011. p. 312-325 (Lecture Notes in Computer Science, Vol. 6917).

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

  466. Published

    State-of-the-Art Multi-Objective Optimisation of Manufacturing Processes Based on Thermo-Mechanical Simulations. / Tutum, Cem Celal; Hattel, Jesper Henri.

    Multi-objective Evolutionary Optimisation for Product Design and Manufacturing. ed. / Lihui Wang; Amos H.C. Ng; Kalyanmoy Deb. Vol. 1 Springer, 2011. p. 71-133.

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

  467. Published

    Substring Range Reporting. / Bille, Philip; Gørtz, Inge Li.

    Combinatorial Pattern Matching: 22nd Annual Symposium, CPM 2011 Palermo, Italy, June 27-29, 2011 Proceedings. Vol. 6661 Springer, 2011. p. 299-308 (Lecture Notes in Computer Science).

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

  468. Published

    Supercontinuum Light Sources for Hyperspectral Subsurface Laser Scattering : Applications for Food Inspection. / Nielsen, Otto Højager Attermann; Dahl, Anders Lindbjerg; Larsen, Rasmus; Møller, Flemming; Nielsen, Frederik Donbæk; Thomsen, Carsten L.; Aanæs, Henrik; Carstensen, Jens Michael.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 327-337 (Lecture Notes in Computer Science; No. 6688).

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

  469. Published

    Synthesis for PCTL in Parametric Markov Decision Processes. / Hahn, Ernst Moritz; Han, Tingting; Zhang, Lijun.

    NASA Formal Methods: Third International Symposium, NFM 2011 - Pasadena, CA, USA, April 18-20, 2011 - Proceedings. Springer, 2011. p. 146-161 (Lecture Notes in Computer Science; No. 6617).

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

  470. Published

    The ePNK: An Extensible Petri Net Tool for PNML. / Kindler, Ekkart.

    Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer, 2011. p. 318-327 (Lecture Notes in Computer Science; No. 6709).

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

  471. The ETLMR MapReduce-Based ETL Framework. / Liu, Xiufeng; Thomsen, Christian; Bach Pedersen, Torben .

    Scientific and Statistical Database Management. Proceedings. ed. / Judith Bayard Cushing; James French; Shawn Bowers. Springer, 2011. p. 586–588 (Lecture Notes in Computer Science, Vol. 6809).

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

  472. Published

    The Relevance Voxel Machine (RVoxM): A Bayesian Method for Image-Based Prediction. / Sabuncu, Mert R.; Van Leemput, Koen.

    Medical Image Computing and Computer-Assisted Intervention –MICCAI2011: 14th International Conference Toronto, Canada, September 18-22, 2011 Proceedings. Vol. 3 Springer, 2011. p. 99-106 (Lecture Notes in Computer Science; No. 6893).

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

  473. Published

    The Third Workshop on Behaviour Modelling - Foundations and Applications. / Roubtsova, Ella; McNeile, Ashley; Kindler, Ekkart; Aksit, Mehmet.

    Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 Birmingham, UK, June 6-9, 2011 Proceedings. Springer, 2011. p. 381-382 (Lecture Notes in Computer Science; No. 6698).

    Publication: ResearchArticle in proceedings – Annual report year: 2011

  474. Towards a Designer-Centred Methodology: Descriptive Considerations and Prescriptive Reflections. / Badke-Schaub, Petra; Daalhuizen, Jaap; Roozenburg, N.

    The Future of Design Methodology. ed. / H. Birkhofer. Springer, 2011. p. 181-197.

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

  475. Published

    Towards a Framework for Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth.

    Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers. Springer, 2011. p. 176-192 (Lecture Notes in Computer Science; No. 6662).

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

  476. Published

    Towards Formal Validation of Trust and Security of the Internet of Services. / Carbone, Roberto; Minea, Marius; Mödersheim, Sebastian Alexander; Ponta, Serena Elisa; Turuani, Mathieu; Viganò, Luca.

    The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises. Springer, 2011. p. 193-207 (Lecture Notes in Computer Science; No. 6656).

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

  477. Published

    Transactions on Computational Science IX : Special Issue on Voronoi Diagrams in Science and Engineering. / Anton, François (Editor).

    Springer, 2011. 203 p. (Lecture Notes in Computer Science; No. 6290).

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

  478. Published

    Trends in Controllable Oil Film Bearings. / Santos, Ilmar (Invited author).

    IUTAM Symposium on Emerging Trends in Rotordynamics. ed. / K. Gupta. Springer, 2011. p. 185-199 (IUTAM Bookseries; No. 25).

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

  479. Published

    Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings. / Wakeman, I. (Editor); Gudes, E. (Editor); Jensen, Christian D. (Editor); Crampton, J. (Editor).

    Trust Management V. Springer, 2011.

    Publication: ResearchBook chapter – Annual report year: 2011

  480. Published

    Ultrafast THz saturable absorption in doped semiconductors at room temperature. / Turchinovich, Dmitry; Hoffmann, M. V.

    Ultrafast Phenomena XVII. Springer, 2011.

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

  481. Published

    Visualisation for Stochastic Process Algebras: The Graphic Truth. / Smith, Michael James Andrew; Gilmore, Stephen.

    Computer Performance Engineering: 8th European Performance Engineering Workshop, EPEW 2011 Borrowdale, UK, October 12-13, 2011 Proceedings. Springer, 2011. p. 310-324 (Lecture Notes in Computer Science; No. 6977).

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

  482. Published

    Wild McEliece Incognito. / Bernstein, Daniel J.; Lange, Tanja; Peters, Christiane.

    Lecture Notes in Computer Science. Vol. 7071 Springer, 2011. p. 244-254.

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

  483. 2010
  484. Published

    A Course Programme in Mobile Robotics with Integrated Hands-on Exercises and Competitions. / Ravn, Ole; Andersen, Nils Axel.

    Trends in Intelligent Robotics: 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings. Vol. 103 Springer, 2010. p. 266-273.

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

  485. Published

    A Formal Model of Identity Mixer. / Camenisch, Jan; Mödersheim, Sebastian Alexander; Sommer, Dieter.

    Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems. Heidelberg : Springer, 2010. p. 198-214 (Lecture Notes in Computer Science; No. LNCS 6371).

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

  486. Published

    Application of the method of auxiliary sources in optical diffraction microscopy. / Karamehmedovic, Mirza; Sørensen, Mads Peter; Hansen, Poul-Erik; Lavrinenko, Andrei.

    Progress in Industrial Mathematics at ECMI 2008. 1. ed. Heidelberg, Dordrecht, London, New York : Springer, 2010. p. 899-905.

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

  487. Published

    ASLan++ — A Formal Security Specification Language for Distributed Systems. / Von Oheimb, David; Mödersheim, Sebastian Alexander.

    Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010 Graz, Austria, November 29 - December 1, 2010 Revised Papers. Springer, 2010. p. 1-22 (Lecture Notes in Computer Science; No. 6957).

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

  488. Published

    Aspects of Insider Threats. / Probst, Christian W.; Hunker, Jeffrey; Gollmann, Dieter; Bishop, Matt.

    Aspects of Insider Threats. Springer, 2010. p. 1-16.

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

  489. Published

    Au Nanoparticles for Applications in Analysis of Cellular and Biomolecular Recognitions. / Cao, Cuong; Wolff, Anders; Bang, Dang Duong.

    Proceedings of the 3rd International Conference on the Development of BME in Vietnam, 11-14th Jan 2010. Springer, 2010. p. 294-297 (IFMBE Proceedings).

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

  490. Published

    Bioinspired Computation in Combinatorial Optimization : Algorithms and Their Computational Complexity. / Neumann, Frank; Witt, Carsten.

    Springer, 2010. (Natural Computing Series).

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

  491. Published

    BredeQuery: Coordinate-Based Meta-analytic Search of Neuroscientific Literature from the SPM Environment. / Wilkowski, Bartlomiej; Szewczyk, Marcin Marek; Rasmussen, Peter Mondrup; Hansen, Lars Kai; Nielsen, Finn Årup.

    Biomedical Engineering Systems and Technologies: Communications in Computer and Information Science. Vol. 52 Berlin : Springer, 2010. p. 314-324.

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

  492. Published

    Capturing the Intention of Model Changes. / Könemann, Patrick.

    Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems. Vol. Part II Springer, 2010. p. 108-122 (Lecture Notes in Computer Science; No. 6395).

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

  493. Published

    Cryptanalysis of Tav-128 hash function. / Kumar, Ashish; Sanadhya, Somitra Kumar; Gauravaram, Praveen; Safkhani, Masoumeh; Naderi, Majid.

    Proceedings of Indocrypt 2010: 11th International Conference on Cryptology in India. ed. / Guang Gong; Kishan Chand Gupta. Springer, 2010. p. 118-130 (Lecture Notes in Computer Science, Vol. 6498).

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

  494. Published

    Cryptanalysis of the ESSENCE Family of Hash Functions. / Mouha, Nicky; Sekar, Gautham; Aumasson, Jean-Philippe; Peyrin, Thomas; Thomsen, Søren Steffen; Turan, Meltem Sönmez; Preneel, Bart.

    Information Security and Cryptology: 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers. Springer, 2010. p. 15-34 (Lecture Notes in Computer Science; No. 6151).

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

  495. Published

    Cryptographic Hash Functions. / Gauravaram, Praveen; Knudsen, Lars Ramkilde.

    Handbook of Information and Communication Security. ed. / Peter Stavroulakis; Mark Stamp. 1. ed. Berlin Heidelberg : Springer, 2010. p. 59-80 (Engineering).

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

  496. Published

    Design of an Enterobacteriaceae Pan-genome Microarray Chip. / Lukjancenko, Oksana; Ussery, David.

    CSBio 2010. Vol. 115 Springer, 2010. p. 174-189.

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

  497. Published

    Developing a Coding Scheme to Analyse Creativity in Highly-constrained Design Activities. / Dekoninck, Elies; Yue, Huang; Howard, Thomas J.; McMahon, Chris/A.

    Design Creativity 2010. Springer, 2010. p. 157-164.

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

  498. Differential Cache-Collision Timing Attacks on AES with Applications to Embedded CPUs. / Bogdanov, Andrey; Eisenbarth, Thomas; Paar, Christof; Wienecke, Malte.

    Topics in Cryptology - CT-RSA 2010. Proceedings. Springer, 2010. p. 235-251 (Lecture Notes in Computer Science, Vol. 5985).

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

  499. Published

    Differential Distinguishers for the Compression Function and Output Transformation of Hamsi-256. / Aumasson, Jean-Philippe; Käsper, Emilia; Knudsen, Lars Ramkilde; Matusiewicz, Krystian; Ødegård, Rune; Peyrin, Thomas; Schläffer, Martin.

    Proceedings of the 15th Australasian conference on Information security and privacy: July 5-7. Sydney, Australia : Springer, 2010. p. 87-103 (Lecture notes in computer science; No. 6168).

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

  500. Distributed online learning of central pattern generators in modular robots. / Christensen, David Johan; Spröwitz, Alexander; Ijspeert, Auke Jan.

    From Animals to Animats 11. ed. / R. Goebel; J. Siekmann; W. Wahlster. Springer, 2010. p. 402-412 (Lecture Notes in Computer Science; No. 6226).

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

  501. Evolution Over the Life Span of Complex Systems. / Pena, M.; Ibragimova, E.S.; Thompson, M.K.

    Global Product Development: Proceedings of the 20th CIRP Design Conference. ed. / Alain Bernard. Springer, 2010. p. 51-59.

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

  502. Published

    Fast Arc-Annotated Subsequence Matching in Linear Space. / Bille, Philip; Gørtz, Inge Li.

    SOFSEM 2010: Theory and Practice of Computer Science. Springer, 2010. p. 188-199 (Lecture Notes in Computer Science, Vol. 5901).

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

  503. Fractal Gene Regulatory Networks for Robust Locomotion Control of Modular Robots. / Zahadat, Payam; Christensen, David Johan; Schultz, Ulrik Pagh; Katebi, Serajeddin; Stoy, Kasper.

    From Animals to Animats 11. ed. / S Doncieux; B Girard; A Guillot; J Hallam; J-A Meyer; J-B Mouret. Springer, 2010. p. 544-554 (Lecture Notes in Computer Science; No. 6226).

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

  504. Published

    Gabor analysis for imaging. / Christensen, Ole; Feichtinger, Hans; Paukner, Stephan.

    Handbook in Imaging. Springer, 2010.

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

  505. Published

    Generating quality tetrahedral meshes from binary volumes. / Hansen, Mads Fogtmann; Bærentzen, Jakob Andreas; Larsen, Rasmus.

    Proceedings of the VISAPP. Springer, 2010.

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

  506. Published

    Genomic approaches in aquaculture and fisheries. / Cancela, M. Leonor; Bargelloni, Luca; Boudry, Pierre; Boulo, Viviane; Dias, Jorge; Huvet, Arnaud; Laize, Vincent; Lapegue, Sylvie; Leite, Ricardo; Mira, Sara; Eg Nielsen, Einar; Planas, Josep V.; Roher, Nerea; Sarropoulou, Elena; Volckaert, Filip A. M.; Cock, JM; TessmarRaible, K; Boyen, C; Viard, F.

    Introduction to Marine Genomics. ed. / J.M. Cock; K. Tessmar-Raible; C. Boyen; F. Viard. Dordrecht : Springer, 2010. p. 213-286.

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

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