skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso 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
Boogie : A modular reusable verifier for object-oriented programs
Boogie : A modular reusable verifier for object-oriented programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Boogie : A modular reusable verifier for object-oriented programs

BARNETT, Mike ; CHANG, Bor-Yuh Evan ; DELINE, Robert ; JACOBS, Bart ; LEINO, K. Rustan M

Lecture notes in computer science, 2006, p.364-387 [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

Citações Citado por
3
From Multisets over Distributions to Distributions over Multisets
From Multisets over Distributions to Distributions over Multisets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

From Multisets over Distributions to Distributions over Multisets

Jacobs, Bart

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13

IEEE

Sem texto completo

Citações Citado por
4
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
5
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
6
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
7
Privacy-Friendly Energy-Metering via Homomorphic Encryption
Privacy-Friendly Energy-Metering via Homomorphic Encryption
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Privacy-Friendly Energy-Metering via Homomorphic Encryption

Garcia, Flavio D. ; Jacobs, Bart

Security and Trust Management, p.226-238 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
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
9
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
10
Context-Free Languages via Coalgebraic Trace Semantics
Context-Free Languages via Coalgebraic Trace Semantics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Context-Free Languages via Coalgebraic Trace Semantics

Hasuo, Ichiro ; Jacobs, Bart

Algebra and Coalgebra in Computer Science, 2005, p.213-231 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

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. Recursos Online (105)
  2. Revistas revisadas por pares (75)

Data de Publicação 

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

Idioma 

  1. Inglês  (143)
  2. Japonês  (3)
  3. Holandês  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.