Skip to main content

ResearchHubLoading navigation…

Loading ResearchHub…

Lecture Notes in Computer Science - ResearchHub

Explore the network

Research, people, journals and institutions — all in one place.

Explore

01Research 02Smart search 03Researchers 04Journals 05Institutions 06RHR Rankings 07ResearchHub platform 08Events

Work together

Turn ideas into projects, questions and reusable datasets.

Connect

01Projects 02Questions 03Datasets

Stay informed

Follow trends, opportunities and your research library.

Insights

01Research trends 02Opportunities 03Library 04Research services 05ResearchHub Pro 06Pricing

ResearchHub

Explore ResearchHub.

Personal

01Recommended research 02Research intelligence

Home Search Network Library Log in

ResearchHub

Research, connected

Explore the graph

X

Download ResearchHub

GET IT ONGoogle PlayComing soonDownload on theApp StoreComing soonEXPLORE IT ONAppGalleryComing soon

Research

Research Researchers Journals Institutions RHR Rankings

Contribute

Projects Questions Datasets Opportunities

Platform

ResearchHub platform About Blog Community Help API Licensing

Shopping

Contact and support

Need help, have a question, or want to contact the ResearchHub team?

Contact and support support@aresearch.uk

© 2026 ResearchHub. Built for responsible scholarly connection.

Help Article feed Privacy Terms Cookies This work is licensed under Creative Commons Attribution 4.0 InternationalCC BY 4.0

Privacy-aware community infrastructure

Journal

Lecture Notes in Computer Science

0302-9743 · Springer Nature Switzerland

135 verified public works

Browse all journals →

Formal Methods for Industrial Critical Systems

2027 · 0 citations

Software Architecture. ECSA 2026 Tracks and Workshops

2027 · 0 citations

Speech and Computer

2027 · 0 citations

Modeling Decisions for Artificial Intelligence

2027 · 0 citations

Speech and Computer

2027 · 0 citations

Reasoning About Concurrent Loops and Recursion with Rely-Guarantee Rules

2026 · 0 citations

Deductive Verification of a Patricia Trie with Creusot

2026 · 0 citations

A Formally Verified N-Dimensional Safety Shield for Autonomous Systems

2026 · 0 citations

Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware Development

2026 · 0 citations

Lazy Three-Way Model Merging in Cinco Cloud: A Lattice-Theoretic Approach

2026 · 0 citations

Consistency Proofs for Axiomatic Extensions: Translating VerCors’ Axiomatic Data Types Into Isabelle

2026 · 0 citations

Exploiting the Layout of a Railway Interlocking System for Path Reliability Evaluation

2026 · 0 citations

Domain-Specific 3D Visualization of Formal Models

2026 · 0 citations

Architecting Self-adaptive Systems with Learned and Symbolic Components

2026 · 1 citations

Investigating the Impact of API Design Techniques for Tools in Agentic Applications

2026 · 0 citations

Robust Bayes Acts Under Prior Perturbations: Contamination, Stability, and Selection Paths

2026 · 0 citations

Tool-Based Data Segregation: A Prevention Strategy Against Prompt Injection in AI Agents

2026 · 0 citations

Scaling Conversational Hungarian ASR: The BEA-Dialogue+ Corpus

2026 · 0 citations

Towards LLM-Assisted Architecture Recovery for Real-World ROS 2 Systems: An Agent-Based Multi-level Approach to Hierarchical Structural Architecture Reconstruction

2026 · 0 citations

Can LLMs Extract Architectural Design Decisions from Source Code Commits? A Preliminary Exploratory Study

2026 · 0 citations

YAMAS: Yet Another Machine Learning Automation System

2026 · 0 citations

K8sPCM: A Domain-Specific Language for Cloud-Native Performance Modeling Workflows

2026 · 0 citations

Persona-as-Configuration: Generative Stakeholder Reporting for Agricultural Floods

2026 · 0 citations

RunSoC 2.0: Scheduling and Allocating Automotive Software Tasks to Hardware Partitions in Heterogeneous MPSoCs

2026 · 0 citations

Effects of Dysarthria on Speech Prosody - A Case Study

2026 · 0 citations

AI Assistance for Architectural Decision Making: Domain-Driven Context and Prompt Engineering

2026 · 0 citations

Utilizing LLMs for Domain Specific Corpus Augmentation for Sorbian Languages

2026 · 0 citations

Understanding Personalization Gains in Whisper ASR

2026 · 0 citations

Feature Selection for Uplift Modeling Under a Budget Constraint Assumption

2026 · 0 citations

Cross-Lingual Dysarthria Detection: Rigorous Evaluation Methodology and Transfer Analysis Across Four Languages

2026 · 0 citations

Page 1 of 5Next