skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Calculus for Trust Management
A Calculus for Trust Management
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Calculus for Trust Management

Carbone, Marco ; Nielsen, Mogens ; Sassone, Vladimiro Mahajan, Meena ; Lodaya, Kamal

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004, p.161-173 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
2
Actively Learning to Verify Safety for FIFO Automata
Actively Learning to Verify Safety for FIFO Automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Actively Learning to Verify Safety for FIFO Automata

Vardhan, Abhay ; Sen, Koushik ; Viswanathan, Mahesh ; Agha, Gul Mahajan, Meena ; Lodaya, Kamal

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004, p.494-505 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
3
Adaptive Stabilization of Reactive Protocols
Adaptive Stabilization of Reactive Protocols
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Adaptive Stabilization of Reactive Protocols

Kutten, Shay ; Patt-Shamir, Boaz Mahajan, Meena ; Lodaya, Kamal

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004, p.396-407 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
Adjunct Elimination Through Games in Static Ambient Logic: Extended Abstract
Adjunct Elimination Through Games in Static Ambient Logic: Extended Abstract
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Adjunct Elimination Through Games in Static Ambient Logic: Extended Abstract

Dawar, Anuj ; Gardner, Philippa ; Ghelli, Giorgio Mahajan, Meena ; Lodaya, Kamal

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, p.211-223

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
5
Agent-Time Epistemics and Coordination
Agent-Time Epistemics and Coordination
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Agent-Time Epistemics and Coordination

Ben-Zvi, Ido ; Moses, Yoram Lodaya, Kamal

Logic and Its Applications, p.97-108 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Algorithms as machines
Algorithms as machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algorithms as machines

Lodaya, Kamal

Resonance, 2009-04, Vol.14 (4), p.367-379 [Periódico revisado por pares]

India: Springer-Verlag

Texto completo disponível

Citações Citado por
7
Alternation in Equational Tree Automata Modulo XOR
Alternation in Equational Tree Automata Modulo XOR
Material Type:
Artigo 		Adicionar ao Meu Espaço

Alternation in Equational Tree Automata Modulo XOR

Verma, Kumar Neeraj Mahajan, Meena ; Lodaya, Kamal

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004, p.518-530 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
An Almost Linear Time Approximation Algorithm for the Permanent of a Random (0-1) Matrix
An Almost Linear Time Approximation Algorithm for the Permanent of a Random (0-1) Matrix
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Almost Linear Time Approximation Algorithm for the Permanent of a Random (0-1) Matrix

Fürer, Martin ; Kasiviswanathan, Shiva Prasad Mahajan, Meena ; Lodaya, Kamal

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004, p.263-274 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
9
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
Material Type:
Artigo 		Adicionar ao Meu Espaço

Analyzing Reachability for Some Petri Nets With Fast Growing Markings

Praveen, M. ; Lodaya, Kamal

Electronic notes in theoretical computer science, 2008-12, Vol.223, p.215-237

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Approximate Range Searching Using Binary Space Partitions
Approximate Range Searching Using Binary Space Partitions
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Approximate Range Searching Using Binary Space Partitions

de Berg, Mark ; Streppel, Micha Mahajan, Meena ; Lodaya, Kamal

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004, p.110-121 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (50)
  2. Artigos  (39)
  3. Anais de Congresso  (14)
  4. Resenhas  (5)
  5. Livros  (3)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2000  (6)
  2. 2000Até2005  (49)
  3. 2006Até2010  (6)
  4. 2011Até2016  (33)
  5. Após 2016  (11)
  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.