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.

Crossref as a source of open bibliographic metadata
2022 preprint Computer Science Library Science and Information Systems Open access

Nees Jan van Eck, Ludo Waltman

36

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

31

citations
Expert Finding in Legal Community Question Answering
2022 Lecture notes in computer science conference-paper Computer Science Expert finding and Q&A systems

Arian Askari, Suzan Verberne, Gabriella Pasi

23

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Fabian Meyer, Marcel Hark, Jürgen Giesl

20

citations
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Romain Péchoux

17

citations
The Probabilistic Termination Tool Amber
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

15

citations
Benchmarks and Challenges in Pose Estimation for Egocentric Hand Interactions with Objects
2024 Lecture notes in computer science conference-paper Computer Science Hand Gesture Recognition Systems

Zicong Fan, Takehiko Ohkawa, Linlin Yang, Lin Nie, Zhishan Zhou, Shihao Zhou, +17 more

13

citations
Termination of Polynomial Loops
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Florian Frohn, Marcel Hark, Jürgen Giesl

12

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

Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer

10

citations
Generating Functions for Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler

9

citations
Lessons learned from ORCID DE —A project‐driven initiative to promote author identification in Germany
2024 Learned Publishing article Computer Science Library Science and Information Systems Open access

Heinz Pampel, Antonia Schrader, Paul Vierkant, Britta Dreyer, Stephanie Glagla‐Dietz, Jochen Schirrwagen, +1 more

8

citations
Energy-Efficient and High-Throughput CNN Inference on Embedded CPUs-GPUs MPSoCs
2022 Lecture notes in computer science conference-paper Computer Science Embedded Systems Design Techniques

Erqian Tang, Svetlana Minakova, Todor P. Stefanov

8

citations
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

7

citations
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

7

citations
A First-Order Logic with Frames
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

6

citations
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper)
2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

6

citations
Mixed Reality Agents for Automated Mentoring Processes
2022 Lecture notes in computer science conference-paper Computer Science Intelligent Tutoring Systems and Adaptive Learning

Benedikt Hensen, Danylo Bekhter, Dascha Blehm, Sebastian Meinberger, Ralf Klamma

6

citations
Predicting the Priority of Social Situations for Personal Assistant Agents
2021 Lecture notes in computer science conference-paper Computer Science Context-Aware Activity Recognition Systems Open access

Ilir Kola, Myrthe Lotte Tielman, Catholijn M. Jonker, M. Birna van Riemsdijk

5

citations
Infinite Probabilistic Databases
2022 Logical Methods in Computer Science article Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Peter Lindner

5

citations
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Florian Frohn, Jürgen Giesl

5

citations
Weakest Preexpectation Semantics for Bayesian Inference
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Marcin Szymczak, Joost-Pieter Katoen

5

citations
Towards a Quality Assurance and Quality Control Mechanism for Species List Building
2023 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access

Olaf Bánki, Donald Hobern, Markus Döring, Geoff Ower, Yuri Roskov, Diana Hernández-Robles, +3 more

5

citations
Verifying Sampling Algorithms via Distributional Invariants
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler

4

citations
Foundations for Entailment Checking in Quantitative Separation Logic
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more

4

citations
A high-precision hierarchical registration approach for stain- and scanner-independent colocalization on whole slide images in histopathology
2025 Health Information Science and Systems article Computer Science AI in cancer detection Open access

Tom Bisson, Michael M. Franz, Tim‐Rasmus Kiehl, Peter Boor, Peter Hufnagl, Norman Zerbe

4

citations