skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover idioma: Japonês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Separating Regular Languages by Piecewise Testable and Unambiguous Languages
Separating Regular Languages by Piecewise Testable and Unambiguous Languages
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Separating Regular Languages by Piecewise Testable and Unambiguous Languages

Place, Thomas ; van Rooijen, Lorijn ; Zeitoun, Marc

Mathematical Foundations of Computer Science 2013, 2013, p.729-740 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
A Coalgebraic Perspective on Minimization and Determinization
A Coalgebraic Perspective on Minimization and Determinization
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Coalgebraic Perspective on Minimization and Determinization

Adámek, Jiří ; Bonchi, Filippo ; Hülsbusch, Mathias ; König, Barbara ; Milius, Stefan ; Silva, Alexandra

Foundations of Software Science and Computational Structures, p.58-73 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Canonical Structures for the Working Coq User
Canonical Structures for the Working Coq User
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Canonical Structures for the Working Coq User

Mahboubi, Assia ; Tassi, Enrico

Interactive Theorem Proving, p.19-34 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
An explicit formula for the free exponential modality of linear logic
An explicit formula for the free exponential modality of linear logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An explicit formula for the free exponential modality of linear logic

Melliès, Paul-André ; Tabareau, Nicolas ; Tasson, Christine

Mathematical Structures in Computer Science, 2009, p.247-260 [Periódico revisado por pares]

Cambridge University Press (CUP)

Texto completo disponível

Citações Citado por
5
Three SCC-Based Emptiness Checks for Generalized Büchi Automata
Three SCC-Based Emptiness Checks for Generalized Büchi Automata
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Three SCC-Based Emptiness Checks for Generalized Büchi Automata

Renault, Etienne ; Duret-Lutz, Alexandre ; Kordon, Fabrice ; Poitrenaud, Denis

Logic for Programming, Artificial Intelligence, and Reasoning, p.668-682 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets

Bouroulet, Roland ; Devillers, Raymond ; Klaudel, Hanna ; Pelz, Elisabeth ; Pommereau, Franck

Applications and Theory of Petri Nets, 2008, p.72-91 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Limit-Deterministic Büchi Automata for Linear Temporal Logic
Limit-Deterministic Büchi Automata for Linear Temporal Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Limit-Deterministic Büchi Automata for Linear Temporal Logic

Sickert, Salomon ; Esparza, Javier ; Jaax, Stefan ; Křetínský, Jan

Computer Aided Verification, p.312-332 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

Heule, Marijn J. H. ; Kullmann, Oliver ; Marek, Victor W.

Theory and Applications of Satisfiability Testing – SAT 2016, p.228-245 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
On-Line Monitoring for Temporal Logic Robustness
On-Line Monitoring for Temporal Logic Robustness
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On-Line Monitoring for Temporal Logic Robustness

Dokhanchi, Adel ; Hoxha, Bardh ; Fainekos, Georgios

Runtime Verification, p.231-246 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
JayHorn: A Framework for Verifying Java programs
JayHorn: A Framework for Verifying Java programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

JayHorn: A Framework for Verifying Java programs

Kahsai, Temesghen ; Rümmer, Philipp ; Sanchez, Huascar ; Schäf, Martin

Computer Aided Verification, 2016, p.352-358 [Periódico revisado por pares]

Cham: Springer International Publishing

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. Revistas revisadas por pares (180)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (94)
  2. Book Chapters  (76)
  3. Artigos  (10)
  4. Livros  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1995  (5)
  2. 1995Até1999  (18)
  3. 2000Até2003  (36)
  4. 2004Até2012  (22)
  5. Após 2012  (101)
  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.