A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “theorem proving” 6

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis
2022 conference-paper Engineering Safety Systems Engineering in Autonomy

Shahid Ali Khan, Waqar Ahmad, Osman Hasan

0

citations
Non-Local Extremum Seeking Based on the Divergence Theorem
2026 arXiv (Cornell University) preprint Engineering Extremum Seeking Control Systems Open access

Raik Suttner, Christian Ebenbauer, Sergey N. Dashkovskiy

0

citations
Fine-grained Expressivity of Graph Neural Networks
2023 arXiv (Cornell University) preprint Engineering Advanced Memory and Neural Computing Open access

Jan Böker, Ron Levie, Ningyuan Teresa Huang, Soledad Villar

4

citations
Correct and Sustainable Development Using Model-based Engineering and Formal Methods
2022 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC) conference-paper Engineering Safety Systems Engineering in Autonomy

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

6

citations
Cooperative Elliptic Positioning Through Single UAV During GNSS Outages
2024 IEEE Transactions on Wireless Communications article Engineering Robotics and Sensor-Based Localization cited by 1 patent

Yiming Li, Xinyuan Zhang, Xiaoshuai Li, Zhihe Chen, Yulin Hu, Junan Yang, +1 more

10

citations
Tangles and Hierarchical Clustering
2022 arXiv (Cornell University) preprint Engineering Automated Road and Building Extraction Open access

Eva Fluck

1

citations

6 results