Not finding it? Sign in to also search OpenAlex live.
-
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)2022 arXiv (Cornell University) preprint 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
0citations -
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation2022 arXiv (Cornell University) preprint Computer Science Advanced Software Engineering Methodologies Open access
Danny Weyns, Ilias Gerostathopoulos, Barbora Bühnová, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparić, +11 more
0citations -
Ontology-based communication service for multi-stage production processes2022 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD) conference-paper Computer Science Semantic Web and Ontologies
Aleksandra Müller, Vincent Hutsch, Simon Storms, Werner Herfs
0citations -
Systematic Evaluation of High-Throughput PBK Modelling Strategies for the Prediction of Intravenous and Oral Pharmacokinetics in Humans2024 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Computational Drug Discovery Methods Open access
René Geci, Domenico Gadaleta, Marina García de Lomana, Rita Ortega-Vallbona, Erika Colombo, Eva Serrano‐Candelas, +3 more
0citations -
Dataset and R code from RDA WG Discipline-Specific Guidance on DMP - Online Survey2022 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Research Data Management Practices Open access
Briana E. Wham, Daniela Hausen, Ivonne Andres, Shannon Sheridan, Santosh Ilamparuthi, Yasemin Türkyilmaz-van der Velden
0citations