Extended type-based information flow analysis for pi-calculus to support dynamically extensible security lattices.
Gryffin: An Algorithm for Bayesian Optimization of Categorical V ariables Informed by Expert Knowledge
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2roles
background 1polarities
background 1representative citing papers
Bayesian optimization automates the scientific discovery cycle by modeling observations with surrogate models and using acquisition functions to select experiments that balance known information with new exploration.
citing papers explorer
-
Type-based information flow analysis for $\pi$-calculus with a dynamically extensible security lattice
Extended type-based information flow analysis for pi-calculus to support dynamically extensible security lattices.
-
Efficient and Principled Scientific Discovery through Bayesian Optimization: A Tutorial
Bayesian optimization automates the scientific discovery cycle by modeling observations with surrogate models and using acquisition functions to select experiments that balance known information with new exploration.