skip to main content
Idioma:
Refinado por: data de publicação: 2009Até2011 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
Fine-grained Concurrency with Separation Logic
Fine-grained Concurrency with Separation Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fine-grained Concurrency with Separation Logic

Kapoor, Kalpesh ; Lodaya, Kamal ; Reddy, Uday S.

Journal of philosophical logic, 2011-10, Vol.40 (5), p.583-632 [Periódico revisado por pares]

Dordrecht: Springer

Texto completo disponível

Citações Citado por
3
Parameterized Complexity Results for 1-safe Petri Nets
Parameterized Complexity Results for 1-safe Petri Nets
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Parameterized Complexity Results for 1-safe Petri Nets

Praveen, M. ; Lodaya, Kamal

CONCUR 2011 – Concurrency Theory, p.358-372 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
Around Dot Depth Two
Around Dot Depth Two
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Around Dot Depth Two

Lodaya, Kamal ; Pandya, Paritosh K. ; Shah, Simoni S.

Developments in Language Theory, p.303-315 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
5
LTL Can Be More Succinct
LTL Can Be More Succinct
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

LTL Can Be More Succinct

Lodaya, Kamal ; Sreejith, A V

Automated Technology for Verification and Analysis, p.245-258 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
6
Kleene Theorems for Product Systems
Kleene Theorems for Product Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Kleene Theorems for Product Systems

Lodaya, Kamal ; Mukund, Madhavan ; Phawade, Ramchandra

Descriptional Complexity of Formal Systems, p.235-247 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
7
Parameterized complexity results for 1-safe Petri nets
Parameterized complexity results for 1-safe Petri nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized complexity results for 1-safe Petri nets

Praveen, M ; Lodaya, Kamal

arXiv.org, 2011-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (3)
  2. Revistas revisadas por pares (6)

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

Buscando em bases de dados remotas. Favor aguardar.