Not finding it? Sign in to also search OpenAlex live.
-
TinyverseGP: Towards a Modular Cross-domain Benchmarking Framework for Genetic Programming2025 Proceedings of the Genetic and Evolutionary Computation Conference Companion conference-paper Computer Science Evolutionary Algorithms and Applications Open access
Roman Kalkreuth, Fabrício Olivetti de França, Anja Jankovič, Marie Anastacio, Zdeněk Vašíček, Holger H. Hoos
3citations -
Foundations for Entailment Checking in Quantitative Separation Logic2022 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
4citations -
Memristive ternary Łukasiewicz logic based on reading-based ratioed resistive states (3R)2025 Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences article Engineering Advanced Memory and Neural Computing Open access
Feng Liu, Leon Brackmann, Xianyue Zhao, Nan Du, Rainer Waser, Stephan Menzel
0citations -
Weighted programming: a programming paradigm for specifying mathematical models2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, Reasoning, and Knowledge Open access
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
18citations -
Converting networks to predictive logic models from perturbation signalling data with CellNOpt2020 bioRxiv (Cold Spring Harbor Laboratory) preprint Biochemistry, Genetics and Molecular Biology Gene Regulatory Network Analysis Open access
Enio Gjerga, Panuwat Trairatphisan, Attila Gábor, Hermann Koch, Francesco Ceccarelli, Aurélien J. F. Dugourd, +2 more
4citations -
Converting networks to predictive logic models from perturbation signalling data with CellNOpt2020 Bioinformatics article Biochemistry, Genetics and Molecular Biology Gene Regulatory Network Analysis Open access
Enio Gjerga, Panuwat Trairatphisan, Attila Gábor, Hermann Koch, Franceco Ceccarelli, Aurélien J. F. Dugourd, +2 more
37citations -
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