skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Lower and Upper Conditioning in Quantum Bayesian Theory
Lower and Upper Conditioning in Quantum Bayesian Theory
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Lower and Upper Conditioning in Quantum Bayesian Theory

Jacobs, Bart

Electronic proceedings in theoretical computer science, 2019, Vol.287 (Proc. QPL 2018), p.225-238

Open Publishing Association

Texto completo disponível

Citações Citado por
2
Multinomial and Hypergeometric Distributions in Markov Categories
Multinomial and Hypergeometric Distributions in Markov Categories
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Multinomial and Hypergeometric Distributions in Markov Categories

Jacobs, Bart

Electronic proceedings in theoretical computer science, 2021, Vol.351, p.98-115

Texto completo disponível

Citações Citado por
3
Learning from What's Right and Learning from What's Wrong
Learning from What's Right and Learning from What's Wrong
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Learning from What's Right and Learning from What's Wrong

Jacobs, Bart

Electronic proceedings in theoretical computer science, 2021, Vol.351, p.116-133

Texto completo disponível

Citações Citado por
4
Overdrawing Urns using Categories of Signed Probabilities
Overdrawing Urns using Categories of Signed Probabilities
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Overdrawing Urns using Categories of Signed Probabilities

Jacobs, Bart ; Stein, Dario

Electronic proceedings in theoretical computer science, 2023, Vol.397, p.172-189

Texto completo disponível

Citações Citado por
5
Measurable Spaces and Their Effect Logic
Measurable Spaces and Their Effect Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Measurable Spaces and Their Effect Logic

Jacobs, Bart

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.83-92

IEEE Computer Society

Texto completo disponível

Citações Citado por
6
Ghost Signals: Verifying Termination of Busy Waiting
Ghost Signals: Verifying Termination of Busy Waiting
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Ghost Signals: Verifying Termination of Busy Waiting

Reinhard, Tobias ; Jacobs, Bart

Springer Verlag 2021

Texto completo disponível

Citações Citado por
7
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming

Benoit, Tuur ; Jacobs, Bart

Springer 2019

Texto completo disponível

Citações Citado por
8
Dijkstra Monads in Monadic Computation
Dijkstra Monads in Monadic Computation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Dijkstra Monads in Monadic Computation

Jacobs, Bart

Coalgebraic Methods in Computer Science, p.135-150 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Deadlock-Free Monitors
Deadlock-Free Monitors
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Deadlock-Free Monitors

Hamin, Jafar ; Jacobs, Bart

Springer 2018

Texto completo disponível

Citações Citado por
10
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications

Vanspauwen, Gijs ; Jacobs, Bart

Software Engineering and Formal Methods, p.53-68 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (53)

Data de Publicação 

De até
Refinar
  1. Antes de2001  (10)
  2. 2001Até2005  (22)
  3. 2006Até2010  (21)
  4. 2011Até2016  (39)
  5. Após 2016  (15)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.