Bøker i Lecture Notes in Computer Science-serien

Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering;

This book constitutes the refereed proceedings of the 8th International Conference on Health Information Science, HIS 2019, held in Xi'an, China, in October 2019. The 14 full papers and 14 short papers presented were carefully reviewed and selected from 60 submissions.

This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2019, Ontologies, Databases, and Applications of Semantics, ODBASE 2019, and Cloud and Trusted Computing, C&TC, held as part of OTM 2019 in October 2019 in Rhodes, Greece.

This book constitutes the refereed proceedings of the Second International Workshop on Context-Aware Surgical Theaters, OR 2.0 2019, and the Second International Workshop on Machine Learning in Clinical Neuroimaging, MLCN 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019.

This open access book constitutes the refereed proceedings of the 17th International Conference on String Processing and Information Retrieval, ICOST 2019, held in New York City, NY, USA, in October 2019. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 24 submissions.

This volume constitutes the refereed proceedings of the 26th International Symposium on String Processing and Information Retrieval, SPIRE 2019, held in Segovia, Spain, in October 2019. The 28 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 59 submissions.

This book constitutes the refereed proceedings of the First International Workshop on Uncertainty for Safe Utilization of Machine Learning in Medical Imaging, UNSURE 2019, and the 8th International Workshop on Clinical Image-Based Procedures, CLIP 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019.

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on pointers and dataflow;

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.

This book constitutes the refereed proceedings of the First Challenge in Adolescent Brain Cognitive Development Neurocognitive Prediction, ABCD-NP 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019. 29 submissions were carefully reviewed and 24 of them were accepted.

This book constitutes the proceedings of the Second International Workshop on Predictive Intelligence in Medicine, PRIME 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019.

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.

The three-volume set LNCS 11857, 11858, and 11859 constitutes the refereed proceedings of the Second Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2019, held in Xi'an, China, in November 2019. The 165 revised full papers presented were carefully reviewed and selected from 412 submissions.

The three-volume set LNCS 11857, 11858, and 11859 constitutes the refereed proceedings of the Second Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2019, held in Xi'an, China, in November 2019. The 165 revised full papers presented were carefully reviewed and selected from 412 submissions.

The three-volume set LNCS 11857, 11858, and 11859 constitutes the refereed proceedings of the Second Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2019, held in Xi'an, China, in November 2019. The 165 revised full papers presented were carefully reviewed and selected from 412 submissions.

This book constitutes extended, revised, and selected papers from the 10th International Symposium of Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2018.

This book constitutes the refereed proceedings of the 13th International Conference on Provable Security, ProvSec 2019, held in Cairns, QLD, Australia, in October 2019. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives, including a special theme on "Practical Security."

This two-volume set of LNAI 11838 and LNAI 11839 constitutes the refereed proceedings of the 8th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2019, held in Dunhuang, China, in October 2019. The 85 full papers and 56 short papers presented were carefully reviewed and selected from 492 submissions.

This book constitutes the proceedings of the 16th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2019, held in Hohhot, China, in August 2019. The 22 full and 11 short papers presented in this volume were carefully reviewed and selected from 107 submissions.

This book constitutes the refereed proceedings of the 12th International Conference on Similarity Search and Applications, SISAP 2019, held in Newark, NJ, USA, in October 2019. The 12 full papers presented together with 18 short and 3 doctoral symposium papers were carefully reviewed and selected from 42 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019. The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions.

This 2-volume set constitutes the refereed proceedings of the 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019, held in Madrid, Spain, in July 2019. The 99 papers in these volumes were carefully reviewed and selected from 137 submissions.

This 2-volume set constitutes the refereed proceedings of the 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019, held in Madrid, Spain, in July 2019. The 99 papers in these volumes were carefully reviewed and selected from 137 submissions.

The two-volume set of LNCS 11778 and 11779 constitutes the refereed proceedings of the 18th International Semantic Web Conference, ISWC 2019, held in Auckland, New Zealand, in October 2019. The conference is organized in three tracks: for the Research Track 42 full papers were selected from 194 submissions;

The conference is organized in three tracks: for the Research Track 42 full papers were selected from 194 submissions;

The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.

This book constitutes the refereed proceedings of the 16th International Conference on Virtual Reality and Augmented Reality, EuroVR 2019, held in Tallinn, Estonia, in October 2019. The 11 full papers and 5 short papers presented together with 8 scientific posters were carefully reviewed and selected from 54 submissions.