Not finding it? Sign in to also search OpenAlex live.
-
TinyverseGP: Towards a Modular Cross-domain Benchmarking Framework for Genetic Programming2025 Genetic and Evolutionary Computation Conference Companion (GECCO 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 -
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''0citations
-
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''0citations
-
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 -
Weighted programming: a programming paradigm for specifying mathematical models2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
18citations -
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 -
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 -
Portable High-level Agent Programming with golog++2021 International Conference on Agents and Artificial Intelligence (ICAART) conference-paper Computer Science AI-based Problem Solving and Planning Open access
Victor Mataré, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer
0citations