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

    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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  46. 2014
  47. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 3 4 5 6 7 8 ...11 Next
Download list: To download, please limit the number of search results to 1,000 or less.