From

Institution

Field

Type

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

Reset

Papers matching “function systems” 74

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

TTCBF: A Truncated Taylor Control Barrier Function for High-Order Safety Constraints
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Jianye Xu, Bassam Alrifaee

0

citations
Optimal Fidelity Estimation from Binary Measurements for Discrete and Continuous Variable Systems
2024 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Omar Fawzi, Aadil Oufkir, Robert Salzmann

0

citations
Bridging the Gap to Next Generation Power System Planning and Operation with Quantum Computation
2024 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Priyanka Arkalgud Ganeshamurthy, Kumar Ghosh, Corey O’Meara, G. Cortiana, Jan Schiefelbein-Lach

1

citations
Software Languages for Assistive Systems
2023 SSRN Electronic Journal preprint Computer Science Model-Driven Software Engineering Techniques Open access

Judith Michael, Bernhard Rumpe⋆

3

citations
From Discrete to Continuous Variable Systems via Jordan--Schwinger Tomographic Transformation
2026 SSRN Electronic Journal preprint Computer Science Quantum Information and Cryptography Open access

Liubov A. Markovich, Alexey N. Rubtsov, Vladimir Man'ko

0

citations
Convolutional Neural Networks as 2-D systems
2023 arXiv (Cornell University) preprint Computer Science Neural Networks and Applications Open access

Dennis Gramlich, Patricia Pauli, Carsten W. Scherer, Frank Allgöwer, Christian Ebenbauer

3

citations
On Foundation Models for Dynamical Systems from Purely Synthetic Data
2024 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Andrés Felipe Posada-Moreno, Friedrich Solowjow, Sebastian Trimpe

1

citations
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Alessandro Riccardi, Thom Badings, Luca Laurenti, Alessandro Abate, Bart De Schutter

0

citations
Data Lakes: A Survey of Functions and Systems
2021 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Rihan Hai, Christos Koutras, Christoph Quix, Matthias Jarke

2

citations
Qubit-Efficient Randomized Quantum Algorithms for Linear Algebra
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Samson Wang, Sam McArdle, Mario Berta

2

citations
Data lake concept and systems: a survey.
2021 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Rihan Hai, Christoph Quix, Matthias Jarke

21

citations
Skyhook: Towards an Arrow-Native Storage System
2022 arXiv (Cornell University) preprint Computer Science Advanced Data Storage Technologies Open access

Jayjeet Chakraborty, Ivo Jimenez, Sebastiaan Alvarez Rodriguez, Alexandru Uta, Jeff LeFevre, Carlos Maltzahn

0

citations
BanffNET, a Deep Learning System for Comprehensive Histological Lesion Quantification in Kidney Transplant Biopsies
2026 medRxiv preprint Computer Science AI in cancer detection Open access

Giorgio Buzzanca, Chiara Pala, Junling He, Rianne Hofstraat, Alessandra Tammaro, Dominique van Midden, +41 more

2

citations
Can ChatGPT Generate Realistic Synthetic System Requirement Specifications? Results of a Case Study
2026 arXiv (Cornell University) preprint Computer Science Software Engineering Research Open access

Alex R. Mattukat, Florian M. Braun, Horst Lichter

0

citations
Can ChatGPT Generate Realistic Synthetic System Requirement Specifications? Results of a Case Study
2026 arXiv (Cornell University) preprint Computer Science Software Engineering Research Open access

Alex R. Mattukat, Florian M. Braun, Horst Lichter

0

citations
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen

1

citations
Quantum Physics using Weighted Model Counting
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Joon‐Hyung Lee, Alfons Laarman

1

citations
Stochastic Gradient Descent with Momentum: Analysis and Synthesis via Integral Quadratic Constraints
2026 arXiv (Cornell University) preprint Computer Science Stochastic Gradient Optimization Techniques Open access

Dennis Gramlich, Carsten W. Scherer, Christian Ebenbauer

0

citations
Schedulable Job-Level Dependencies for Cause-Effect Chains via Graph Neural Networks
2026 arXiv (Cornell University) preprint Computer Science Real-Time Systems Scheduling Open access

Silviu S. Craciunas, Christian Hakert, Jian-Jia Chen, Zdeněk Hanzálek, Paul Pop

0

citations
Exact Inference for Continuous-Time Gaussian Process Dynamics
2023 RWTH Publications (RWTH Aachen) preprint Computer Science Gaussian Processes and Bayesian Inference Open access

Katharina Ensinger, Nicholas Tagliapietra, Sebastian Ziesche, Sebastian Trimpe

0

citations
Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
2024 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

1

citations
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

0

citations
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Joost-Pieter Katoen

0

citations
Generalized LIMDDs: Succinctness and Canonicity for Decision Diagrams Modulo a Group
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Arend-Jan Quist, Alexis de Colnet, Thomas Reps, Alfons Laarman

0

citations
Global synchronization of topological signals with time-delayed interactions
2026 arXiv (Cornell University) preprint Computer Science Nonlinear Dynamics and Pattern Formation Open access

Wilfried Segnou, Thierry Njougouo, Diego Garlaschelli, Timoteo Carletti

0

citations