skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Physical Sciences remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Logic for Locally Complete Abstract Interpretations
A Logic for Locally Complete Abstract Interpretations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Logic for Locally Complete Abstract Interpretations

Bruni, Roberto ; Giacobazzi, Roberto ; Gori, Roberta ; Ranzato, Francesco

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

IEEE

Sem texto completo

Citações Citado por
2
Alignment Completeness for Relational Hoare Logics
Alignment Completeness for Relational Hoare Logics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Alignment Completeness for Relational Hoare Logics

Nagasamudram, Ramana ; Naumann, David A.

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

IEEE

Sem texto completo

Citações Citado por
3
Software Reliability Modeling: Fundamentals and Applications
Software Reliability Modeling: Fundamentals and Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Reliability Modeling: Fundamentals and Applications

Yamada, Shigeru

Tokyo: Springer Japan 2013

Texto completo disponível

Citações Citado por
4
Asynchronous Extensions of HyperLTL
Asynchronous Extensions of HyperLTL
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Asynchronous Extensions of HyperLTL

Bozzelli, Laura ; Peron, Adriano ; Sanchez, Cesar

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

IEEE

Sem texto completo

Citações Citado por
5
A distributed operational view of Reversible Prime Event Structures
A distributed operational view of Reversible Prime Event Structures
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A distributed operational view of Reversible Prime Event Structures

Melgratti, Hernan ; Mezzina, Claudio Antares ; Michele Pinna, G.

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

IEEE

Sem texto completo

Citações Citado por
6
Categories of Nets
Categories of Nets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Categories of Nets

Baez, John C. ; Genovese, Fabrizio ; Master, Jade ; Shulman, Michael

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

IEEE

Sem texto completo

Citações Citado por
7
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics

Gazda, Maciej ; Hierons, Robert M.

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

IEEE

Sem texto completo

Citações Citado por
8
Compositional relational reasoning via operational game semantics
Compositional relational reasoning via operational game semantics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Compositional relational reasoning via operational game semantics

Jaber, Guilhem ; Murawski, Andrzej S.

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

IEEE

Sem texto completo

Citações Citado por
9
The Tapenade automatic differentiation tool: Principles, model, and specification
The Tapenade automatic differentiation tool: Principles, model, and specification
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Tapenade automatic differentiation tool: Principles, model, and specification

Hascoet, Laurent ; Pascual, Valérie

ACM transactions on mathematical software, 2013-04, Vol.39 (3), p.1-43 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
10
Symbolic Time and Space Tradeoffs for Probabilistic Verification
Symbolic Time and Space Tradeoffs for Probabilistic Verification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Symbolic Time and Space Tradeoffs for Probabilistic Verification

Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander

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

IEEE

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 (73.162)
  2. Revistas revisadas por pares (66.170)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (63.512)
  2. Anais de Congresso  (13.871)
  3. Book Chapters  (1.852)
  4. magazinearticle  (180)
  5. Livros  (136)
  6. Reports  (5)
  7. Resenhas  (2)
  8. Dissertações  (1)
  9. Web Resources  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1977  (141)
  2. 1977Até1988  (2.350)
  3. 1989Até2000  (12.961)
  4. 2001Até2013  (27.476)
  5. Após 2013  (37.220)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (4.953)
  2. Francês  (26)
  3. Russo  (23)
  4. Norueguês  (20)
  5. Português  (18)
  6. Alemão  (16)
  7. Chinês  (6)
  8. Espanhol  (4)
  9. Polonês  (2)
  10. Sueco  (2)
  11. Croatian  (2)
  12. Holandês  (2)
  13. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.