From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “operational semantics” 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Methodik zur Modularisierung und Komposition von Datenmodellen in der agilen Softwareentwicklung
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Model-Driven Software Engineering Techniques Open access

Achim Lindt

0

citations
Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt

0

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations
Efficient person detection with LiDAR sensors for mobile robots
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Neural Network Applications Open access

Dan Ping Jia

0

citations
Towards representing OpenMP in SPMD IR: Concepts and realization in MLIR
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

Frederic J. Malmendier

0

citations

7 results