Latest Research in Logic in Computer Science
14 research papers · 2026 median publication year
Top Research Topics in Logic in Computer Science
- Software Engineering — 4 papers
- Artificial Intelligence — 2 papers
- Logic in Computer Science — 1 papers
- Digital Platforms and Economics — 1 papers
- Human-Computer Interaction — 1 papers
- Safety Systems Engineering in Autonomy — 1 papers
- Software Engineering Research — 1 papers
- Systems Engineering Methodologies and Applications — 1 papers
- Supply Chain Resilience and Risk Management — 1 papers
- Model-Driven Software Engineering Techniques — 1 papers
Highest-Cited Papers
- How Well Do LLMs Generate Taxonomies in the SE Domain? A Multi-perspective Evaluation Framework
- Verifiable Checks for Business Rule Consistency
- A Formalism-Aware Reward Loop for Handwritten UML-to-PlantUML Generation
- From Textual Requirements to Microservice Architectures - A Comprehensive Evaluation of LLM-Based Design Synthesis
- The Change-Driver Taxonomy
- ViSAGE: Constructing Self-Correcting Memories for Long-Form Video Understanding
- Real-time Spatial Retrieval Augmented Generation for Urban Environments
- Large Language Models for Software Engineering Diagrams: A Systematic Review of UML and ER modelling
- Designing a Visualization Atlas: Lessons & Reflections from The UK Co-Benefits Atlas for Climate Mitigation
- Don't Forget to Decide 'How Many Seconds Is Fast Enough' — Organizing Non-Functional Requirements With IPA's Non-Functional Requirements Grade (archived 2026-07-27)
- The ARDoCo Tool Landscape: REST API, TraceView, and TraceViz for Architecture Traceability
- Prompt-Strategy-Driven SysML-v2 Artefact Generation Using Large Language Models for Model-Based Systems Engineering
- Large Language Models for Risk Detection in E-commerce: Reliability, Semantic Alignment, and Managerial Insights
- A Roadmap for Tamed Interactions with Large Language Models