From

Institution

Field

Type

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

Reset

Papers matching “satisfiability” 196

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper)
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

6

citations
A Novel Malware Traffic Classification Method using Semi-Supervised Learning
2021 IEEE Vehicular Technology Conference conference-paper Computer Science Advanced Malware Detection Techniques

Yu Wang, Jie Yang, Haris Gacanin, Song Ci

6

citations
Deep Weisfeiler Leman
2021 Society for Industrial and Applied Mathematics eBooks conference-paper Computer Science Advanced Graph Theory Research Open access

Martin Grohe, Pascal Schweitzer, Daniel Wiebking

6

citations
Improved AI Planning for Cooperating Teams of Humans and Robots
2020 Zenodo (CERN European Organization for Nuclear Research) article Computer Science AI-based Problem Solving and Planning Open access

Stefan-Octavian Bezrucav, Burkhard J. Corves

6

citations
Determination of throughput guarantees for processor-based SmartNICs
2021 ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT) conference-paper Computer Science Network Packet Processing and Optimization

Johannes Krude, Jan Rüth, Daniel Schemmel, Felix Rath, Iohannes-Heorh Folbort, Klaus Wehrle

5

citations
Approximate Evaluation of First-Order Counting Queries
2021 Society for Industrial and Applied Mathematics eBooks conference-paper Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Peter Rossmanith

5

citations
Double Roman and double Italian domination
2021 Discussiones Mathematicae Graph Theory article Computer Science Advanced Graph Theory Research Open access

Lutz Volkmann

5

citations
Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler

5

citations
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
2020 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickaël Randour

4

citations
Nonnegative signed total Roman domination in graphs
2020 DOAJ (DOAJ: Directory of Open Access Journals) article Computer Science Advanced Graph Theory Research Open access

Nasrin Dehgardi, Lutz Volkmann

3

citations
Design study for a multicomponent transducer for wind turbine test benches
2020 Journal of sensors and sensor systems article Computer Science Sensor Technology and Measurement Systems Open access

Jonas Gnauert, Georg Jacobs, Stefan Kock, Dennis Bosse, Benjamin Janik

3

citations
From symbolic constraint automata to Promela
2022 Journal of Logical and Algebraic Methods in Programming article Computer Science Formal Methods in Verification Open access

Hui Juan Feng, Marcello Bonsangue, Benjamin Lion

2

citations
Software-defined Temporal Decoupling in Virtual Platforms
2021 IEEE International System-on-Chip Conference (SOCC) conference-paper Computer Science Embedded Systems Design Techniques

Lukas Jünger, Alexander Belke, Rainer Leupers

2

citations
Superpixel segmentations for thin sections: evaluation of methods to enable the generation of machine learning training data sets
2021 preprint Computer Science Advanced Neural Network Applications Open access

Jiaxin Yu, Florian Wellmann, Simon Virgo, Marven von Domarus, Mingze Jiang, Joyce Schmatz, +1 more

2

citations
On the Verification of Belief Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

2

citations
New bounds on the outer-independent total double Roman domination number
2023 Discrete Mathematics Algorithms and Applications article Computer Science Advanced Graph Theory Research

Seyed Mahmoud Sheikholeslami, L. Volkmann

2

citations
Over-the-Air Federated Learning Client Selection in Integrated Sensing, Computing and Communication
2024 IEEE International Conference on Communications workshops conference-paper Computer Science Privacy-Preserving Technologies in Data

Paul Zheng, Yao Pan Zhu, Anke Schmeink

2

citations
A Newton Method for Solving Locally Definite Multiparameter Eigenvalue Problems by Multi-index
2025 SIAM Journal on Matrix Analysis and Applications article Computer Science Matrix Theory and Algorithms Open access

Henrik Eisenmann

2

citations
Mixed-Integer Quadrangulation
2023 ACM eBooks book-chapter Computer Science Computational Geometry and Mesh Generation

David Bommes, Henrik Zimmer, Leif P. Kobbelt

2

citations
Average Age in Coordinate Decision-Making Wireless Systems Operating with FBL Codes
2021 Computing, Communications and IoT Applications (ComComAp) conference-paper Computer Science Age of Information Optimization

Zhiwei Bao, Yao Lin Zhu, Yulin Hu, Yunquan Dong, Anke Schmeink

2

citations
LExCI: A Framework for Reinforcement Learning with Embedded Systems
2023 RWTH Publications (RWTH Aachen) preprint Computer Science Reinforcement Learning in Robotics Open access

Kevin Badalian, Lucas Koch, Tobias Brinkmann, Mario Picerno, Marius Wegener, Sung-Yong Lee, +1 more

2

citations
Proving Non-Termination by Acceleration Driven Clause Learning
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

2

citations
More results on the signed double Roman k-domination in graphs
2025 Aequationes Mathematicae article Computer Science Advanced Graph Theory Research Open access

Michael A. Henning, Lutz Volkmann

2

citations
EC2Seq2Sql: Patient-trial matching with LLM agents
2026 PLoS ONE article Computer Science Machine Learning in Healthcare Open access cited by 1 patent

Liu Yang, Yongzhong Han, Liang Liu, Xiaoyan Jiang, Ying Li, Jihan Huang, +1 more

2

citations