Not finding it? Sign in to also search OpenAlex live.
-
Towards Timing Isolation for Mixed-Criticality Communication in Software-Defined Vehicles2025 IEEE International Automated Vehicle Validation Conference (IAVVC) conference-paper Computer Science Real-Time Systems Scheduling
Lóránt Meszlényi, Dominik Püllen, Stefan Kowalewski, Stefan Katzenbeisser, Alexandru Kampmann
1citations -
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Mini-Batching, Gradient-Clipping, First- versus Second-Order: What Works in Gradient-Based Coefficient Optimisation for Symbolic Regression?2023 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Evolutionary Algorithms and Applications Open access
Joe Harrison, Marco Virgolin, Tanja Alderliesten, Peter A. N. Bosman
8citations -
A broad kinase inhibitor library live cell imaging screen using liver, kidney and cardiac hiPSC-ICAM1-eGFP reporter lineages identifies liabilities for TNFα pathway modulation2025 Archives of Toxicology article Computer Science Computational Drug Discovery Methods Open access
Matthijs Vlasveld, Linda van den Berk, Janet Piñero, Palle Steen Helmke, Gerhard Franz Ecker, Rob Van Rossom, +5 more
1citations