From

Institution

Field

Type

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

Reset

Papers matching “systems science” 375

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Supplemental Mobile Learner Support Through Moodle-Independent Assessment Bots
2021 Lecture notes in computer science conference-paper Computer Science Intelligent Tutoring Systems and Adaptive Learning

Alexander Tobias Neumann, Aaron David Conrardy, Ralf Klamma

3

citations
GraphWiseLearn: Personalized Learning Through Semantified TEL, Leveraging QA-Enhanced LLM-Generated Content
2025 Lecture notes in computer science conference-paper Computer Science Intelligent Tutoring Systems and Adaptive Learning

Wolfgang Fahl

3

citations
A General Completeness Theorem for Skip-Free Star Algebras
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Tobias Kappé, Todd Schmid

3

citations
Affiliations Metadata Roundtable 2025 - All Presentations
2025 report Computer Science Library Science and Information Systems Open access

Crossref, Amanda French, Nees Jan van Eck, Yvonne Campfens, Adam Day, Dominika Tkaczyk

2

citations
J-P: MDP. FP. PP
2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler

2

citations
Modular Automatic Complexity Analysis of Recursive Integer Programs
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Nils Lommen, Jürgen Giesl

2

citations
A Debugger for Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Alexander Hoppen, Thomas Noll

2

citations
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more

2

citations
Reasoning About Active Objects: A Sound and Complete Assertional Proof Method
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Frank S. de Boer, Stijn de Gouw

2

citations
In-Memory Indexed Caching for Distributed Data Processing
2022 Proceedings - IEEE International Parallel and Distributed Processing Symposium conference-paper Computer Science Advanced Database Systems and Queries Open access cited by 1 patent

Alexandru Uta, Bogdan Ghiț, Ankur Dave, Jan S. Rellermeyer, Peter A. Boncz

2

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

2

citations
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Jan-Christoph Kassing, Stefan Dollase, Jürgen Giesl

2

citations
Proving Termination of C Programs with Lists
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jera Hensel, Jürgen Giesl

2

citations
On Propositional Program Equivalence (Extended Abstract)
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Tobias Kappé

1

citations
BISE Student
2022 Business & Information Systems Engineering article Computer Science Library Science and Information Open access

Ali Sunyaev, Christof Weinhardt, Wil M. P. van der Aalst, Oliver Fast Hinz

1

citations
History-Based Reasoning About Behavioral Subtyping
2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer

1

citations
The Logic of Separation Logic: Models and Proofs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

1

citations
Dynamic Separation Logic
2023 Electronic Notes in Theoretical Informatics and Computer Science article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

1

citations
Weighted Automata for Exact Inference in Discrete Probabilistic Programs
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Dominik Geißler, Tobias Winkler

1

citations
Footprint Logic for Object-Oriented Components
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian

1

citations
Enabling Negotiating Agents to Explore Very Large Outcome Spaces
2022 Lecture notes in computer science conference-paper Computer Science Multi-Agent Systems and Negotiation Open access

Thimjo Koça, Catholijn M. Jonker, Tim Baarslag

1

citations
Analysis and Formal Specification of OpenJDK’s BitSet
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw

1

citations
Finding a Structure: Evaluating Different Modelling Languages Regarding Their Suitability of Designing Agent-Based Models
2021 Lecture notes in computer science conference-paper Computer Science Multi-Agent Systems and Negotiation

Poornima Belavadi, Laura Burbach, Martina Ziefle, André Sergej Calero Valdez

1

citations
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Ira Fesefeldt, Christoph Matheja, Thomas Noll

1

citations
Timestamped URLs as Persistent Identifiers
2020 Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft) conference-paper Computer Science Library Science and Information Systems Open access

Lars Gleim, Stefan Decker

1

citations