skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover data de publicação: 2011Até2016 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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
3
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, 2014, Vol.LNCS-8446, p.135-150 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
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
5
States of Convex Sets
States of Convex Sets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

States of Convex Sets

Jacobs, Bart ; Westerbaan, Bas ; Westerbaan, Bram

Foundations of Software Science and Computation Structures, p.87-101 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
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

Springer 2015

Texto completo disponível

Citações Citado por
7
Healthiness from Duality
Healthiness from Duality
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Healthiness from Duality

Hino, Wataru ; Kobayashi, Hiroki ; Hasuo, Ichiro ; Jacobs, Bart

Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.682-691

ACM

Texto completo disponível

Citações Citado por
8
First Steps Towards Cumulative Inductive Types in CIC
First Steps Towards Cumulative Inductive Types in CIC
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

First Steps Towards Cumulative Inductive Types in CIC

Timany, Amin ; Jacobs, Bart

Springer International Publishing 2015

Texto completo disponível

Citações Citado por
9
Trace Semantics via Determinization
Trace Semantics via Determinization
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Trace Semantics via Determinization

Jacobs, Bart ; Silva, Alexandra ; Sokolova, Ana

Coalgebraic Methods in Computer Science, 2012, Vol.LNCS-7399, p.109-129 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Sound symbolic linking in the presence of preprocessing
Sound symbolic linking in the presence of preprocessing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Sound symbolic linking in the presence of preprocessing

Vanspauwen, Gijs ; Jacobs, Bart

Springer Berlin Heidelberg 2013

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

Data de Publicação 

De até
Refinar
  1. Antes de2010  (1)
  2. 2010Até2010  (1)
  3. 2011Até2011  (11)
  4. 2012Até2013  (10)
  5. Após 2013  (28)
  6. Mais opções open sub menu

Idioma 

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

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

Buscando em bases de dados remotas. Favor aguardar.