Not finding it? Sign in to also search OpenAlex live.
-
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 -
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 -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
End-to-end resource analysis for quantum interior point methods and portfolio optimization2022 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access
Alexander M. Dalzell, B. D. Clader, Grant Salton, Mario Berta, Cedric Yen-Yu Lin, David A. Bader, +5 more
3citations