skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers
Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers

Peña, Ricardo ; Arts, Thomas Peña, Ricardo ; Arts, Thomas

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por
2
Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers
Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers

Arts, Thomas ; Mohnen, Markus Arts, Thomas ; Mohnen, Markus

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
3
Termination of term rewriting using dependency pairs
Termination of term rewriting using dependency pairs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Termination of term rewriting using dependency pairs

Arts, Thomas ; Giesl, Jürgen

Theoretical computer science, 2000-04, Vol.236 (1), p.133-178 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
4
Modelling of Autosar Libraries for Large Scale Testing
Modelling of Autosar Libraries for Large Scale Testing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modelling of Autosar Libraries for Large Scale Testing

Mostowski, Wojciech ; Arts, Thomas ; Hughes, John

Electronic Proceedings in Theoretical Computer Science, EPTCS, 2017-01, Vol.244 (Proc. MARS 2017), p.184-199

Open Publishing Association

Texto completo disponível

Citações Citado por
5
Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers

Pena, Ricardo ; Arts, Thomas

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
6
Modular Termination Proofs for Rewriting Using Dependency Pairs
Modular Termination Proofs for Rewriting Using Dependency Pairs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modular Termination Proofs for Rewriting Using Dependency Pairs

Giesl, Jürgen ; Arts, Thomas ; Ohlebusch, Enno

Journal of symbolic computation, 2002-07, Vol.34 (1), p.21-58 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
7
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service

Hughes, John ; Pierce, Benjamin C. ; Arts, Thomas ; Norell, Ulf

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2016, p.135-145

IEEE

Sem texto completo

Citações Citado por
8
Locality-Based Test Selection for Autonomous Agents
Locality-Based Test Selection for Autonomous Agents
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Locality-Based Test Selection for Autonomous Agents

Entekhabi, Sina ; Mostowski, Wojciech ; Mousavi, Mohammad Reza ; Arts, Thomas

Testing Software and Systems, 2022, p.73-89 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
9
Testing feature‐rich blockchains
Testing feature‐rich blockchains
Material Type:
Artigo 		Adicionar ao Meu Espaço

Testing feature‐rich blockchains

Arts, Thomas ; Svensson, Hans ; Benac Earle, Clara ; Fredlund, Lars‐Åke

Software, practice & experience, 2023-05, Vol.53 (5), p.1144-1173 [Periódico revisado por pares]

Bognor Regis: Wiley Subscription Services, Inc

Texto completo disponível

Citações Citado por
10
Safely Using the AUTOSAR End-to-End Protection Library
Safely Using the AUTOSAR End-to-End Protection Library
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Safely Using the AUTOSAR End-to-End Protection Library

Arts, Thomas ; Tonetta, Stefano

Computer Safety, Reliability, and Security, p.74-89 [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. Recursos Online (89)
  2. Revistas revisadas por pares (59)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (39)
  2. Book Chapters  (37)
  3. Artigos  (21)
  4. Livros  (4)
  5. Dissertações  (2)
  6. Conjunto de Dados  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (10)
  2. 1999Até2003  (51)
  3. 2004Até2009  (16)
  4. 2010Até2015  (24)
  5. Após 2015  (9)
  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.