From

Institution

Field

Type

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

Reset

Papers matching “logical consequence” 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Generation of Complex Road Networks Using a Simplified Logical Description for the Validation of Automated Vehicles
2020 IEEE International Conference on Intelligent Transportation Systems (ITSC) conference-paper Engineering Autonomous Vehicle Technology and Safety Open access cited by 1 patent

Daniel Becker, Fabian Russ, Christian Geller, Lutz Eckstein

8

citations
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Formal Methods in Verification

Joost-Pieter Katoen

5

citations
Implementation of PWM-based Direct Instantaneous Torque Control with Duty Cycle Interlock for a Switched Reluctance Machine
2020 International Conference on Electrical Machines and Systems (ICEMS) conference-paper Engineering Electric Motor Design and Analysis

Anne von Hoegen, Annegret Woerndle, Rik W. De Doncker

5

citations
An On-the-Fly Method to Exchange Vector Clocks in Distributed-Memory Programs
2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Simon Schwitanski, Felix Tomski, Joachim Protze, Christian Terboven, Matthias Müller

4

citations
Road Network Variation Based on HD Map Analysis for the Simulative Safety Assurance of Automated Vehicles
2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME) conference-paper Engineering Autonomous Vehicle Technology and Safety Open access cited by 2 patents

Daniel Becker, Christian Geller, Lutz Eckstein

3

citations
A Systematic Exploration of Evolutionary Computation for the Design of Hardware-oriented Non-cryptographic Hash Functions
2024 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Evolutionary Algorithms and Applications Open access

Mujtaba Hassan, Jo Vliegen, Stjepan Picek, Nele Mentens

2

citations
4T Bitcell for Digital Compute-in-Memory
2025 IEEE Nordic Circuits and Systems Conference (NorCAS) conference-paper Engineering Low-power high-performance VLSI design

Florian Freye, Christian Lanius, Nils Mutert, Tobias Gemmeke

1

citations

7 results