skip to main content
Idioma:
Resultados 1 2 3 4 next page
Refinado por: Nome da Publicação: arXiv.org remover autor: Hsu, Justin remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Separated and Shared Effects in Higher-Order Languages
Separated and Shared Effects in Higher-Order Languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Separated and Shared Effects in Higher-Order Languages

Pedro H Azevedo de Amorim ; Hsu, Justin

arXiv.org, 2023-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
P4BID: Information Flow Control in P4
P4BID: Information Flow Control in P4
Material Type:
Artigo 		Adicionar ao Meu Espaço

P4BID: Information Flow Control in P4

Grewal, Karuna ; D'Antoni, Loris ; Hsu, Justin

arXiv.org, 2022-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Differentially Private Bayesian Programming
Differentially Private Bayesian Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Differentially Private Bayesian Programming

Barthe, Gilles ; Farina, Gian Pietro ; Gaboardi, Marco ; Emilio Jesùs Gallego Arias ; Gordon, Andy ; Hsu, Justin ; Strub, Pierre-Yves

arXiv.org, 2016-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Cutting the Cake: A Language for Fair Division
Cutting the Cake: A Language for Fair Division
Material Type:
Artigo 		Adicionar ao Meu Espaço

Cutting the Cake: A Language for Fair Division

Bertram, Noah ; Levinson, Alex ; Hsu, Justin

arXiv.org, 2023-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Symbolic Execution for Randomized Programs
Symbolic Execution for Randomized Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Symbolic Execution for Randomized Programs

Susag, Zachary ; Lahiri, Sumit ; Hsu, Justin ; Roy, Subhajit

arXiv.org, 2022-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Data-Driven Invariant Learning for Probabilistic Programs
Data-Driven Invariant Learning for Probabilistic Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Data-Driven Invariant Learning for Probabilistic Programs

Bao, Jialu ; Trivedi, Nitesh ; Pathak, Drashti ; Hsu, Justin ; Roy, Subhajit

arXiv.org, 2022-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
A Semantic Account of Metric Preservation
A Semantic Account of Metric Preservation
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Semantic Account of Metric Preservation

Azevedo de Amorim, Arthur ; Gaboardi, Marco ; Hsu, Justin ; Shin-ya Katsumata ; Cherigui, Ikram

arXiv.org, 2022-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
A Bunched Logic for Conditional Independence
A Bunched Logic for Conditional Independence
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Bunched Logic for Conditional Independence

Bao, Jialu ; Docherty, Simon ; Hsu, Justin ; Silva, Alexandra

arXiv.org, 2021-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
A Separation Logic for Negative Dependence
A Separation Logic for Negative Dependence
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Separation Logic for Negative Dependence

Bao, Jialu ; Gaboardi, Marco ; Hsu, Justin ; Tassarotti, Joseph

arXiv.org, 2021-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Learning Differentially Private Mechanisms
Learning Differentially Private Mechanisms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Learning Differentially Private Mechanisms

Roy, Subhajit ; Hsu, Justin ; Albarghouthi, Aws

arXiv.org, 2021-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2015  (2)
  2. 2015Até2016  (5)
  3. 2017Até2018  (10)
  4. 2019Até2021  (9)
  5. Após 2021  (6)
  6. Mais opções open sub menu

Base de Dados/Biblioteca 

  1. ROAD  (31)
  2. arXiv.org  (31)
  3. Free E- Journals  (31)
  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.