Articoli con mandati relativi all'accesso pubblico - Bart JacobsUlteriori informazioni
Disponibili pubblicamente: 8
Trace Semantics via Determinization
B Jacobs, A Silva, A Sokolova
Mandati: Austrian Science Fund
Exemplaric expressivity of modal logics
B Jacobs, A Sokolova
Journal of Logic and Computation 20 (5), 1041, 2010
Mandati: Austrian Science Fund
The microcosm principle and concurrency in coalgebra
I Hasuo, B Jacobs, A Sokolova
Foundations of Software Science and Computational Structures, 246-260, 2008
Mandati: Austrian Science Fund
Coalgebraic components in a many-sorted microcosm
I Hasuo, C Heunen, B Jacobs, A Sokolova
Algebra and Coalgebra in Computer Science, 64-80, 2009
Mandati: Austrian Science Fund
A channel-based perspective on conjugate priors
B Jacobs
Mathematical Structures in Computer Science 30 (1), 44-61, 2020
Mandati: European Commission
Affine monads and side-effect-freeness
B Jacobs
Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International …, 2016
Mandati: European Commission
Disintegration and Bayesian inversion, both abstractly and concretely
K Cho, B Jacobs
See arxiv. org/abs/1709.00322, 2017
Mandati: European Commission
Traces, executions and schedulers, coalgebraically
B Jacobs, A Sokolova
International Conference on Algebra and Coalgebra in Computer Science, 206-220, 2009
Mandati: Austrian Science Fund
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software